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

Download:

Current browse context:

math.RT

Change to browse by:

References & Citations

Bookmark

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

Mathematics > Representation Theory

Title: Branching problem on winding subalgebras of affine Kac-Moody algebras A^{(1)}_1 and A^{(2)}_2

Abstract: Consider an affine Kac-Moody algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$. Given $\Lambda$ in the set $P_+$ of dominant integral weights of $\mathfrak{g}$, we denote by $L(\Lambda)$ the integrable highest weight $\mathfrak{g}$-module with highest weight $\Lambda$. For $\mu\in \mathfrak{h}^*$, we denote by $L(\Lambda)_\mu$ the corresponding weight space. Consider the support $\Gamma(\mathfrak{g},\mathfrak{h})$ of the decompositions of the $L(\Lambda)$ as a $\mathfrak{h}$-module: $$ \Gamma(\mathfrak{g},\mathfrak{h})=\{(\Lambda,\mu)\,:\, L(\Lambda)_\mu\neq\{0\}\}. $$ Consider now the winding subalgebra $\mathfrak{g}[u]$ (for some positive integer $u$). The winding subalgebra $\mathfrak{g}[u]$ is isomorphic to $\mathfrak{g}$ but with a nontrivial embedding in $\mathfrak{g}$ depending on the parameter $u$. Given $\lambda$ in the set $\dot{P}_+$ of dominant integral weights of $\mathfrak{g}[u]$, we denote by $\dot{L}(\lambda)$ the integrable highest weight $\mathfrak{g}[u]$-module with highest weight $\lambda$. Then the $\mathfrak{g}$-module $L(\Lambda)$ decomposes as a direct sums of simple $\mathfrak{g}[u]$-modules $\dot{L}(\lambda)$ with finite multiplicities. In this paper, we are interested in the supports of this decomposition, i.e., the set of pairs $(\Lambda,\lambda)$ in $P_+ \times \dot{P}_+$ such that the integrable highest weight $\mathfrak{g}[u]$-modules $\dot{L}(\lambda)$ is a submodule of $L(\Lambda)$. We show that both $\Gamma(\mathfrak{g},\mathfrak{h})$ and $\Gamma(\mathfrak{g},\mathfrak{g}[u])$ are semigroups. Moreover, for the cases $A^{(1)}_1$ and $A^{(2)}_2$, we determine explicitly $\Gamma(\mathfrak{g},\mathfrak{h})$. Finally, we describe explicit subsets of $P_+ \times \dot{P}_+$ where the two semigroups coincide.
Comments: 29 pages
Subjects: Representation Theory (math.RT)
MSC classes: 17B67, 17B10 (primary), 22E65 (secondary)
Cite as: arXiv:1911.03316 [math.RT]
  (or arXiv:1911.03316v2 [math.RT] for this version)

Submission history

From: Khanh Nguyen Duc [view email]
[v1] Fri, 8 Nov 2019 15:15:42 GMT (18kb)
[v2] Thu, 2 Apr 2020 17:01:26 GMT (19kb)

Link back to: arXiv, form interface, contact.