We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Algebraic Geometry

Title: A refined Weyl character formula for comodules on $\operatorname{GL}(2,A)$

Abstract: Let $A$ be any commutative unital ring and let $\operatorname{GL}(2,A)$ be the general linear group scheme on $A$ of rank $2$. We study the representation theory of $\operatorname{GL}(2,A)$ and the symmetric powers $\operatorname{Sym}^d(V)$, where $(V, \Delta)$ is the standard right comodule on $\operatorname{GL}(2,A)$. We prove a refined Weyl character formula for $\operatorname{Sym}^d(V)$. There is for any integer $d \geq 1$ a (canonical) refined weight space decomposition $\operatorname{Sym}^d(V) \cong \oplus_i \operatorname{Sym}^d(V)^i$ where each direct summand $\operatorname{Sym}^d(V)^i$ is a comodule on $N \subseteq \operatorname{GL}(2,A)$. Here $N$ is the schematic normalizer of the diagonal torus $T \subseteq \operatorname{GL}(2,A)$. We prove a character formula for the direct summands of $\operatorname{Sym}^d(V)$ for any integer $d \geq 1$. This refined Weyl character formula implies the classical Weyl character formula. As a Corollary we get a refined Weyl character formula for the pull back $\operatorname{Sym}^d(V \otimes K)$ as a comodule on $\operatorname{GL}(2,K)$ where $K$ is any field. We also calculate explicit examples involving the symmetric powers, symmetric tensors and their duals. The refined weight space decomposition exists in general for group schemes such as $\operatorname{GL}(n,A)$ and $\operatorname{SL}(n,A)$. The study may have applications to the study of groups $G$ such as $\operatorname{SL}(n,k)$ and $\operatorname{GL}(n,k)$ and quotients $G/H$ where $k$ is an arbitrary field (or a Dedekind domain) and $H \subseteq G$ is a closed subgroup. The refined weight space decomposition of $S_{\lambda}(V)$ has a relation with irreducible module over a field of positiv characteristic. In an example I prove it recovers the irreducible module $V(\lambda) \subsetneq S_{\lambda}(V)$.
Subjects: Algebraic Geometry (math.AG); Group Theory (math.GR); Representation Theory (math.RT)
MSC classes: 14M15, 14M17, 14L15, 14G40, 14A30, 20C20,
Cite as: arXiv:2405.09210 [math.AG]
  (or arXiv:2405.09210v3 [math.AG] for this version)

Submission history

From: Helge Maakestad Dr. [view email]
[v1] Wed, 15 May 2024 09:32:41 GMT (29kb)
[v2] Fri, 17 May 2024 08:35:04 GMT (29kb)
[v3] Sun, 26 May 2024 07:57:44 GMT (29kb)

Link back to: arXiv, form interface, contact.