[Paper Review] Extending generalized spin representations

Robin Lautenbacher, Ralf Köhl|arXiv (Cornell University)|Apr 29, 2017

Algebraic structures and combinatorial models3 references3 citations

TL;DR

This paper generalizes higher spin representations—specifically 3/2-spin and 5/2-spin—for simply laced split real Kac–Moody algebras using a coordinate-free approach. It constructs explicit maps $X_{3/2}$ and $X_{5/2}$ on $\mathfrak{h}^*$ and $\mathrm{Sym}^2(\mathfrak{h}^*)$ respectively, showing they satisfy the required (anti-)commutator relations with respect to the invariant bilinear form, thereby yielding finite-dimensional representations of the maximal compact subalgebra $\mathfrak{k}$. The key contribution is a characterization via Weyl group representations: only those $\mathfrak{h}^*$-modules without sign representation components can extend generalized spin representations.

ABSTRACT

We revisit the construction of higher spin representations by Kleinschmidt and Nicolai for E10, generalize it to arbitrary simply laced types, and provide a coordinate-free approach to the 3/2-spin and 5/2-spin representations. Moreover, we discuss the relationship between our findings and the representation theory of Sym(3) pointed out to us by Levy.

Motivation & Objective

• To extend generalized spin representations of $E_{10}$ to arbitrary simply laced types using a coordinate-free framework.
• To provide explicit, structure-based constructions of $\frac{3}{2}$-spin and $\frac{5}{2}$-spin representations for any simply laced split real Kac–Moody algebra.
• To clarify the role of Weyl group representations—particularly the absence of sign representations—in enabling such extensions.
• To offer a conceptual and accessible reformulation of prior results on $E_{10}$, making them applicable beyond the exceptional case.

Proposed method

• Constructs $X_{3/2}(\alpha) = -\alpha(\alpha|\cdot) + \frac{1}{2}\mathrm{id}_{\mathfrak{h}^*}$ as a map from real roots to endomorphisms of $\mathfrak{h}^*$, using the invariant bilinear form.
• Defines $X_{5/2}(\alpha) = \pi_\alpha \otimes \pi_\alpha - (\pi_\alpha \otimes \mathrm{id} + \mathrm{id} \otimes \pi_\alpha) + \frac{1}{2}\mathrm{id} \otimes \mathrm{id}$ on $\mathrm{Sym}^2(\mathfrak{h}^*)$, where $\pi_\alpha = \alpha(\alpha|\cdot)$.
• Verifies that these maps satisfy the required (anti-)commutator relations: $[X(\alpha), X(\beta)] = 0$ if $(\alpha|\beta) = 0$, and $\{X(\alpha), X(\beta)\} = X(\alpha \pm \beta)$ if $(\alpha|\beta) = \mp 1$ and $\alpha \pm \beta \in \lambda$.
• Interprets the maps as $X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}$, where $\rho$ is the Weyl group action on $\mathfrak{h}^*$ or $\mathrm{Sym}^2(\mathfrak{h}^*)$, linking the construction to representation theory.
• Uses the fact that the trivial and standard representations of $\mathrm{Sym}_3$ satisfy the necessary identity, while the sign representation does not, to characterize which $W$-modules can be used.
• Demonstrates that $\mathrm{Sym}^3(\mathfrak{h}^*)$ contains the sign representation and thus cannot support a $\frac{7}{2}$-spin extension, explaining the current gap in the theory.

Experimental results

Research questions

• RQ1 Can generalized spin representations of $E_{10}$ be extended to arbitrary simply laced Kac–Moody algebras using a coordinate-free method?
• RQ2 What conditions on a $W$-module $V$ ensure that the assignment $X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}_V$ yields a valid generalized spin representation?
• RQ3 Why do $\frac{3}{2}$- and $\frac{5}{2}$-spin representations exist, while $\frac{7}{2}$-spin representations remain elusive?
• RQ4 How does the absence of the sign representation in $\mathfrak{h}^*$ and $\mathrm{Sym}^2(\mathfrak{h}^*)$ relate to the existence of higher spin representations?
• RQ5 What is the structure of the set of positive real roots closed under partial sums, and how does it affect the extension of generalized spin representations?

Key findings

• The map $X_{3/2}(\alpha) = -\alpha(\alpha|\cdot) + \frac{1}{2}\mathrm{id}_{\mathfrak{h}^*}$ satisfies the required (anti-)commutator relations for all real roots $\alpha, \beta$ with $(\alpha|\beta) \in \{0, \pm1\}$, thus defining a finite-dimensional representation of the maximal compact subalgebra $\mathfrak{k}$.
• The map $X_{5/2}(\alpha) = \pi_\alpha \otimes \pi_\alpha - (\pi_\alpha \otimes \mathrm{id} + \mathrm{id} \otimes \pi_\alpha) + \frac{1}{2}\mathrm{id} \otimes \mathrm{id}$ on $\mathrm{Sym}^2(\mathfrak{h}^*)$ similarly satisfies the (anti-)commutator relations and yields a valid representation of $\mathfrak{k}$.
• The construction is equivalent to $X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}$, where $\rho$ is the Weyl group action on $\mathfrak{h}^*$ or $\mathrm{Sym}^2(\mathfrak{h}^*)$, and the representation is valid if and only if the $W$-module does not contain the sign representation as a component.
• The $\mathrm{Sym}^3(\mathfrak{h}^*)$ module contains the sign representation of $\mathrm{Sym}_3$, which obstructs the existence of a $\frac{7}{2}$-spin extension via this method, explaining the current lack of such representations.
• The method generalizes Kleinschmidt and Nicolai’s $E_{10}$ results to all simply laced types, providing a unified, coordinate-free framework for higher spin representations.
• The set of positive real roots closed under partial sums (i.e., iterated sums where each partial sum is a positive real root) coincides with the full set of positive real roots in finite and simply-laced affine cases, though its structure in general remains open.