-
Decomposition of the rank 3 Kac-Moody Lie algebra $F$ with respect to the rank 2 hyperbolic subalgebra $Fib$
Authors:
Diego Penta
Abstract:
In 1983 Feingold-Frenkel studied the structure of a rank 3 hyperbolic Kac-Moody algebra $\mathcal{F}$ containing the affine KM algebra $A^{(1)}_1$. In 2004 Feingold-Nicolai showed that $\mathcal{F}$ contains all rank 2 hyperbolic KM algebras with symmetric Cartan matrices, $A=\left[\begin{array}{cc} 2 & -a \\ -a & 2 \\ \end{array}\right], a\geq 3$. The case when $a=3$ is called $\mathcal{F}ib$ bec…
▽ More
In 1983 Feingold-Frenkel studied the structure of a rank 3 hyperbolic Kac-Moody algebra $\mathcal{F}$ containing the affine KM algebra $A^{(1)}_1$. In 2004 Feingold-Nicolai showed that $\mathcal{F}$ contains all rank 2 hyperbolic KM algebras with symmetric Cartan matrices, $A=\left[\begin{array}{cc} 2 & -a \\ -a & 2 \\ \end{array}\right], a\geq 3$. The case when $a=3$ is called $\mathcal{F}ib$ because of its connection with the Fibonacci numbers (Feingold 1980). Some important structural results about $\mathcal{F}$ come from the decomposition with respect to its affine subalgebra $A^{(1)}_1$. Here we study the decomposition of $\mathcal{F}$ with respect to its subalgebra $\mathcal{F}ib$. We find that $\mathcal{F}$ has a grading by $\mathcal{F}ib$-level, and prove that each graded piece, $\mathcal{F}ib(m)$ for $m\in\mathbb{Z}$, is an integrable $\mathcal{F}ib$-module. We show that for $|m|>2$, $\mathcal{F}ib(m)$ completely reduces as a direct sum of highest- and lowest-weight modules, and for $|m|\leq 2$, $\mathcal{F}ib(m)$ contains one irreducible non-standard quotient module $V^{Λ_m}=V(m)\Big/U(m)$. We then prove that the quotient $\mathcal{F}ib(m)\Big/V(m)$ completely reduces as a direct sum of one trivial module (on level 0), and standard modules. We give an algorithm for determining the inner multiplicities of any irreducible $\mathcal{F}ib$-module, in particular the non-standard modules on levels $|m|\leq 2$. We show that multiplicities of non-standard modules on levels $|m|=1,2$ do not follow the Kac-Peterson recursion, but instead appear to follow a recursion similar to Racah-Speiser. We then use results of Borcherds and Frenkel-Lepowsky-Meurman and construct vertex algebras from the root lattices of $\mathcal{F}$ and $\mathcal{F}ib$, and study the decomposition within this setting.
△ Less
Submitted 23 May, 2016;
originally announced May 2016.
-
Weyl group orbits on Kac--Moody root systems
Authors:
Lisa Carbone,
Alexander Conway,
Walter Freyn,
Diego Penta
Abstract:
Let $\mathcal{D}$ be a Dynkin diagram and let $Π=\{α_1,\dots ,α_{\ell}\}$ be the simple roots of the corresponding Kac--Moody root system. Let $\mathfrak{h}$ denote the Cartan subalgebra, let $W$ denote the Weyl group and let $Δ$ denote the set of all roots. The action of $W$ on $\mathfrak{h}$, and hence on $Δ$, is the discretization of the action of the Kac--Moody algebra. Understanding the orbit…
▽ More
Let $\mathcal{D}$ be a Dynkin diagram and let $Π=\{α_1,\dots ,α_{\ell}\}$ be the simple roots of the corresponding Kac--Moody root system. Let $\mathfrak{h}$ denote the Cartan subalgebra, let $W$ denote the Weyl group and let $Δ$ denote the set of all roots. The action of $W$ on $\mathfrak{h}$, and hence on $Δ$, is the discretization of the action of the Kac--Moody algebra. Understanding the orbit structure of $W$ on $Δ$ is crucial for many physical applications. We show that for $i\neq j$, the simple roots $α_i$ and $α_j$ are in the same $W$--orbit if and only if vertices $i$ and $j$ in the Dynkin diagram corresponding to $α_i$ and $α_j$ are connected by a path consisting only of single edges. We introduce the notion of `the Cayley graph $\mathcal{P}$ of the Weyl group action on real roots' whose connected components are in one-to-one correspondence with the disjoint orbits of $W$. For a symmetric hyperbolic generalized Cartan matrix $A$ of rank $\geq 4$ we prove that any 2 real roots of the same length lie in the same $W$--orbit. We show that if the generalized Cartan matrix $A$ contains zeros, then there are simple roots that are stabilized by simple root reflections in $W$, that is, $W$ does not act simply transitively on real roots. We give sufficient conditions in terms of the generalized Cartan matrix $A$ (equivalently ${\mathcal D}$) for $W$ to stabilize a real root. Using symmetry properties of the imaginary light cone in the hyperbolic case, we deduce that the number of $W$--orbits on imaginary roots on a hyperboloid of fixed radius is bounded above by the number of root lattice points on the hyperboloid that intersect the closure of the fundamental region for $W$.
△ Less
Submitted 17 June, 2015; v1 submitted 12 July, 2014;
originally announced July 2014.
-
Classification of hyperbolic Dynkin diagrams, root lengths and Weyl group orbits
Authors:
Lisa Carbone,
Sjuvon Chung,
Leigh Cobbs,
Robert McRae,
Debajyoti Nandi,
Yusra Naqvi,
Diego Penta
Abstract:
We give a criterion for a Dynkin diagram, equivalently a generalized Cartan matrix, to be symmetrizable. This criterion is easily checked on the Dynkin diagram. We obtain a simple proof that the maximal rank of a Dynkin diagram of compact hyperbolic type is 5, while the maximal rank of a symmetrizable Dynkin diagram of compact hyperbolic type is 4. Building on earlier classification results of K…
▽ More
We give a criterion for a Dynkin diagram, equivalently a generalized Cartan matrix, to be symmetrizable. This criterion is easily checked on the Dynkin diagram. We obtain a simple proof that the maximal rank of a Dynkin diagram of compact hyperbolic type is 5, while the maximal rank of a symmetrizable Dynkin diagram of compact hyperbolic type is 4. Building on earlier classification results of Kac, Kobayashi-Morita, Li and Saçlioglu, we present the 238 hyperbolic Dynkin diagrams in ranks 3-10, 142 of which are symmetrizable. For each symmetrizable hyperbolic generalized Cartan matrix, we give a symmetrization and hence the distinct lengths of real roots in the corresponding root system. For each such hyperbolic root system we determine the disjoint orbits of the action of the Weyl group on real roots. It follows that the maximal number of disjoint Weyl group orbits on real roots in a hyperbolic root system is 4.
△ Less
Submitted 2 March, 2010;
originally announced March 2010.
