arXiv subjects

Alex J. Feingold

Publications and source records attributed to Alex J. Feingold.

11 recordsLinked to original sources

arXiv2024

Decompositions of hyperbolic Kac-Moody algebras with respect to imaginary root groups

We propose a novel way to define imaginary root subgroups associated with (timelike) imaginary roots of hyperbolic Kac-Moody algebras. Using in an essential way the theory of unitary irreducible representation of covers of the group SO(2,1), these imaginary root subgroups act on the complex Kac-Moody algebra viewed as a Hilbert space. We illustrate our new view on Kac-Moody groups by considering the example of a rank-two hyperbolic algebra that is related to the Fibonacci numbers. We also point out some open issues and new avenues for further research, and briefly discuss the potential relevance of the present results for physics and current attempts at unification.

math.RT↗

arXiv2020

A Lightcone Embedding of the Twin Building of a Hyperbolic Kac-Moody Group

Let A be a symmetrizable hyperbolic generalized Cartan matrix with Kac-Moody algebra g = g(A) and (adjoint) Kac-Moody group G = G(A)=$\langle\exp(ad(t e_i)), \exp(ad(t f_i)) \,|\, t\in C\rangle$ where $e_i$ and $f_i$ are the simple root vectors. Let $(B^+, B^-, N)$ be the twin BN-pair naturally associated to G and let $(\mathcal B^+,\mathcal B^-)$ be the corresponding twin building with Weyl group W and natural G-action, which respects the usual W-valued distance and codistance functions. This work connects the twin building of G and the Kac-Moody algebra g in a new geometrical way. The Cartan-Chevalley involution, $ω$, of g has fixed point real subalgebra, k, the 'compact' (unitary) real form of g, and k contains the compact Cartan t = k $\cap$ h. We show that a real bilinear form $(\cdot,\cdot)$ is Lorentzian with signatures $(1, \infty)$ on k, and $(1, n -1)$ on t. We define $\{x\in {\rm k} \,|\, (x, x) \leq 0\}$ to be the lightcone of k, and similarly for t. Let K be the compact (unitary) real form of G, that is, the fixed point subgroup of the lifting of $ω$ to G. We construct a K-equivariant embedding of the twin building of G into the lightcone of the compact real form k of g. Our embedding gives a geometric model of part of the twin building, where each half consists of infinitely many copies of a W-tessellated hyperbolic space glued together along hyperplanes of the faces. Locally, at each such face, we find an $SU(2)$-orbit of chambers stabilized by $U(1)$ which is thus parametrized by a Riemann sphere $SU(2)/U(1)\cong S^2$. For n = 2 the twin building is a twin tree. In this case, we construct our embedding explicitly and we describe the action of the real root groups on the fundamental twin apartment. We also construct a spherical twin building at infinity, and construct an embedding of it into the set of rays on the boundary of the lightcone.

math.GR↗

arXiv2017

Hyperbolic Weyl groups and the four normed division algebras

We study the Weyl groups of hyperbolic Kac-Moody algebras of `over-extended' type and ranks 3, 4, 6 and 10, which are intimately linked with the four normed division algebras K=R,C,H,O, respectively. A crucial role is played by integral lattices of the division algebras and associated discrete matrix groups. Our findings can be summarized by saying that the even subgroups, W^+, of the Kac-Moody Weyl groups, W, are isomorphic to generalized modular groups over K for the simply laced algebras, and to certain finite extensions thereof for the non-simply laced algebras. This hints at an extended theory of modular forms and functions.

math.RT↗

arXiv2017

Weyl groups of some hyperbolic Kac-Moody algebras

We use the theory of Clifford algebras and Vahlen groups to study Weyl groups of hyperbolic Kac-Moody algebras T_n^{++}, obtained by a process of double extension from a Cartan matrix of finite type T_n, whose corresponding generalized Cartan matrices are symmetric.

math.GR↗

arXiv2007

A new perspective on the Frenkel-Zhu fusion rule theorem

In this paper we prove a formula for fusion coefficients of affine Kac-Moody algebras first conjectured by Walton [Wal2], and rediscovered in [Fe]. It is a reformulation of the Frenkel-Zhu affine fusion rule theorem [FZ], written so that it can be seen as a beautiful generalization of the classical Parasarathy-Ranga Rao-Varadarajan tensor product theorem [PRV].

math.RT↗

arXiv2003

Fusion Rules for Affine Kac-Moody Algebras

This is an expository introduction to fusion rules for affine Kac-Moody algebras, with major focus on the algorithmic aspects of their computation and the relationship with tensor product decompositions. Many explicit examples are included with figures illustrating the rank 2 cases. New results relating fusion coefficients to tensor product coefficients are proved, and a conjecture is given which shows that the Frenkel-Zhu affine fusion rule theorem can be seen as a beautiful generalization of the Parasarathy-Ranga Rao-Varadarajan tensor product theorem. Previous work of the author and collaborators on a different approach to fusion rules from elementary group theory is also explained.

math.QA↗

arXiv2003

Subalgebras of Hyperbolic Kac-Moody Algebras

The hyperbolic (and more generally, Lorentzian) Kac-Moody (KM) Lie algebras $\cA$ of rank $r+2 > 2$ are shown to have a rich structure of indefinite KM subalgebras which can be described by specifying a subset of positive real roots of $\cA$ such that the difference of any two is not a root of $\cA$. Taking these as the simple roots of the subalgebra gives a Cartan matrix, generators and relations for the subalgebra. Applying this to the canonical example of a rank 3 hyperbolic KM algebra, $\cF$, we find that $\cF$ contains all of the simply laced rank 2 hyperbolics, as well as an infinite series of indefinite KM subalgebras of rank 3. It is shown that $\cA$ also contains Borcherds algebras, obtained by taking all of the root spaces of $\cA$ whose roots are in a hyperplane (or any proper subspace). This applies as well to the case of rank 2 hyperbolics, where the Borcherds algebras have all their roots on a line, giving the simplest possible examples.

math.QA↗

arXiv2001

Arithmetic partition sums and orbits of Z_n^k under the symmetric group S_k

We study M(n,k,r), the number of orbits of {(a_1,...,a_k)\in Z_n^k | a_1+...+a_k = r (mod n)} under the action of S_k. Equivalently, M(n,k,r) sums the partition numbers of an arithmetic sequence: M(n,k,r) = sum_{t \geq 0} p(n-1,k,r+nt), where p(a,b,t) denotes the number of partitions of t into at most b parts, each of which is at most a. We derive closed formulas and various identities for such arithmetic partition sums. These results have already appeared in Elashvili/Jibladze/Pataraia, Combinatorics of necklaces and "Hermite reciprocity", J. Alg. Combin. 10 (1999) 173-188, and the main result was also published by Von Sterneck in Sitzber. Akad. Wiss. Wien. Math. Naturw. Class. 111 (1902), 1567-1601 (see Lemma 2 and references in math.NT/9909121). Thanks to Don Zagier and Robin Chapman for bringing these references to our attention.

math.NT↗

arXiv2000

Type A fusion rules from elementary group theory

We show how the fusion rules for an affine Kac-Moody Lie algebra g of type A_{n-1}, n = 2 or 3, for all positive integral level k, can be obtained from elementary group theory. The orbits of the kth symmetric group, S_k, acting on k-tuples of integers modulo n, Z_n^k, are in one-to-one correspondence with a basis of the level k fusion algebra for g. If [a],[b],[c] are any three orbits, then S_k acts on T([a],[b],[c]) = {(x,y,z)\in [a]x[b]x[c] such that x+y+z=0}, which decomposes into a finite number, M([a],[b],[c]), of orbits under that action. Let N = N([a],[b],[c]) denote the fusion coefficient associated with that triple of elements of the fusion algebra. For n = 2 we prove that M([a],[b],[c]) = N, and for n = 3 we prove that M([a],[b],[c]) = N(N+1)/2. This extends previous work on the fusion rules of the Virasoro minimal models [Akman, Feingold, Weiner, Minimal model fusion rules from 2-groups, Letters in Math. Phys. 40 (1997), 159-169].

math.QA↗

arXiv1996

Minimal model fusion rules from 2-groups

The fusion rules for the $(p,q)$-minimal model representations of the Virasoro algebra are shown to come from the group $G = \boZ_2^{p+q-5}$ in the following manner. There is a partition $G = P_1 \cup ...\cup P_N$ into disjoint subsets and a bijection between $\{P_1,...,P_N\}$ and the sectors $\{S_1,...,S_N\}$ of the $(p,q)$-minimal model such that the fusion rules $S_i * S_j = \sum_k D(S_i,S_j,S_k) S_k$ correspond to $P_i * P_j = \sum_{k\in T(i,j)} P_k$ where $T(i,j) = \{k|\exists a\in P_i,\exists b\in P_j, a+b\in P_k\}$.

q-alg↗

arXiv1995

Spinor construction of the c = 1/2 minimal model

The usual spinor construction from one fermion yields four irreducible representations of the Virasoro algebra with central charge $c = 1/2$. The Neveu-Schwarz (NS) sector is the direct sum of an $h = 0$ and an $h = 1/2$ module, and the Ramond (R) sector is the direct sum of two copies of an $h = 1/16$ module. In addition to the fundamental fermions, which represent a Clifford algebra, and the Virasoro operators, there are infinitely many other vertex operators, in one-to-one correspondence with the vectors (states) in the NS sector. These give the NS sector the structure of a Vertex Operator SuperAlgebra, and the R sector the structure of a ${\bold Z}_2$-twisted module for that VOSA. Keeping both copies of the $h = 1/16$ modules in the R sector, we can define intertwining operators in one-to-one correspondence with the states in the R sector such that the usual Ising fusion rules for just three modules are replaced by a rule given by the group ${\bold Z}_4$. The main objective is to find a generalization of the VOSA Jacobi-Cauchy identity which is satisfied by these intertwining operators. There are several novel features of this new ``Matrix'' Jacobi-Cauchy Identity (MJCI), most of which come from the fact that correlation functions made from two intertwiners are hypergeometric functions. In order to relate and rationalize the correlation functions we use the Kummer quadratic transformation formulas, lifting the functions to a four-sheeted covering, branched over the usual three poles, where the Cauchy residue theorem can be applied. The six possible poles on the cover give six terms in the MJCI. Furthermore, we organize those functions into $2\times 4$ matrices and find the $2\times 2$ (fusion and braiding) matrices which relate them at the six poles. These results for intertwiners

hep-th↗