[Paper Review] Highest-Weight Theory for Truncated Current Lie Algebras

Benjamin J. Wilson|arXiv (Cornell University)|May 9, 2007

Algebraic structures and combinatorial models4 references4 citations

TL;DR

This paper develops a highest-weight representation theory for truncated current Lie algebras $ψ = σ \otimes \u03ba[t]/(t^{N+1})$, where $\sigma$ is a Lie algebra with a non-degenerately paired triangular decomposition. Using the Shapovalov form, it establishes a reducibility criterion for Verma modules: a Verma module $M(\Lambda)$ is reducible if and only if $\langle\Lambda, \mathbf{h}(\alpha) \otimes t^N\rangle = 0$ for some positive root $\alpha$ of $\sigma$, extending results to symmetrizable Kac-Moody, Heisenberg, and Virasoro algebras.

ABSTRACT

Let g denote a Lie algebra over a field of characteristic zero, and let T(g) denote the tensor product of g with a ring of truncated polynomials. The Lie algebra T(g) is called a truncated current Lie algebra, or in the special case when g is finite-dimensional and semisimple, a generalized Takiff algebra. In this paper a highest-weight theory for T(g) is developed when the underlying Lie algebra g possesses a triangular decomposition. The principal result is the reducibility criterion for the Verma modules of T(g) for a wide class of Lie algebras g, including the symmetrizable Kac-Moody Lie algebras, the Heisenberg algebra, and the Virasoro algebra. This is achieved through a study of the Shapovalov form.

Motivation & Objective

• To establish a highest-weight representation theory for truncated current Lie algebras $\hat{\mathfrak{g}} = \mathfrak{g} \otimes \Bbbk[t]/(t^{N+1})$ when $\mathfrak{g}$ admits a non-degenerately paired triangular decomposition.
• To determine the reducibility of Verma modules over $\hat{\mathfrak{g}}$ by analyzing the Shapovalov form.
• To extend known results on Verma module reducibility from finite-dimensional semisimple Lie algebras to broader classes, including symmetrizable Kac-Moody, Heisenberg, and Virasoro algebras.
• To provide a foundation for computing character formulae of irreducible exp-polynomial modules for loop algebras through affinization of highest-weight modules over $\hat{\mathfrak{g}}$.

Proposed method

• Constructs a triangular decomposition $\hat{\mathfrak{g}} = \hat{\mathfrak{g}}_- \oplus \hat{\mathfrak{h}} \oplus \hat{\mathfrak{g}}_+$ from the triangular decomposition $\mathfrak{g} = \mathfrak{g}_- \oplus \mathfrak{h} \oplus \mathfrak{g}_+$ of $\mathfrak{g}$, lifting the structure via tensor product with $\Bbbk[t]/(t^{N+1})$.
• Defines weight modules and highest-weight modules for $\hat{\mathfrak{g}}$ as $\hat{\mathfrak{h}}$-diagonalizable modules generated by a highest-weight vector annihilated by $\hat{\mathfrak{g}}_+$.
• Introduces the Shapovalov form on Verma modules and analyzes its degeneracy to determine reducibility.
• Applies the non-degenerate pairing $(-| -)_\alpha$ on root spaces $\mathfrak{g}^\alpha \times \mathfrak{g}^{-\alpha}$ and the associated element $\mathbf{h}(\alpha) \in \mathfrak{h}$ to define the pairing $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle$.
• Uses the structure of the basis $\{ \mathrm{y}(\mu) \}$ of the weight space and the ordering of root strings to analyze the matrix representation of the Shapovalov form $\mathbf{B}_\chi$.
• Demonstrates that the degeneracy of the Shapovalov form cannot be deduced from diagonal entries when the matrix is bilaterally infinite, as in the case of affine Kac-Moody algebras with imaginary root partitions.

Experimental results

Research questions

• RQ1 Under what conditions is a Verma module $M(\Lambda)$ for the truncated current algebra $\hat{\mathfrak{g}}$ reducible?
• RQ2 How does the Shapovalov form on $\hat{\mathfrak{g}}$ reflect the structure of the underlying Lie algebra $\mathfrak{g}$ with triangular decomposition?
• RQ3 Can the reducibility criterion for Verma modules over $\hat{\mathfrak{g}}$ be generalized beyond finite-dimensional semisimple Lie algebras?
• RQ4 What is the role of the highest-weight functional $\Lambda$ evaluated on $\mathbf{h}(\alpha) \otimes t^N$ in determining module reducibility?
• RQ5 Why does the standard diagonal-based degeneracy test fail for certain infinite-dimensional cases, such as those arising from imaginary root partitions in affine Kac-Moody algebras?

Key findings

• A Verma module $M(\Lambda)$ for $\hat{\mathfrak{g}}$ is reducible if and only if $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle = 0$ for some positive root $\alpha \in \Delta_+$ of $\mathfrak{g}$, providing a precise reducibility criterion.
• The result applies to a wide class of Lie algebras, including symmetrizable Kac-Moody Lie algebras, the Heisenberg algebra, and the Virasoro algebra, due to their non-degenerately paired triangular decompositions.
• The Shapovalov form is used to analyze the structure of Verma modules, and its degeneracy is tied to the vanishing of the pairing $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle$, which serves as the key invariant.
• For the case $\mathrm{N} = 1$, the matrix representation of the Shapovalov form $\mathbf{B}_\chi$ becomes bilaterally infinite, rendering diagonal-based degeneracy tests invalid, as shown by the counterexample of the shift operator $\Phi$ with zero diagonal entries.
• The method fails to deduce degeneracy of $\mathbf{B}_\chi$ from the degeneracy of its restrictions to finite subspaces $\text{span}(\mathcal{P}_L)$, highlighting a fundamental obstruction in infinite-dimensional settings.
• The framework enables the computation of character formulae for irreducible exp-polynomial modules of loop algebras via affinization of highest-weight modules over $\hat{\mathfrak{g}}$, with the reducibility criterion being essential for this program.