Regular representations of affine Kac-Moody algebras

✨

This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand the rules of a massive, infinite dance floor. In mathematics and physics, this "dance floor" is a complex shape called a Lie Group, and the dancers are symmetries (ways you can move or rotate the shape without breaking it).

For a long time, mathematicians knew how to describe the dance when the floor was small and finite (like a simple sphere). They had a perfect map called the Regular Representation, which listed every possible way the dancers could move together.

But what happens when the dance floor becomes infinite? This is the world of Affine Kac-Moody algebras. These are the symmetries of loops (think of a rubber band that can wiggle in infinite ways). The rules get messy, and the old maps don't work anymore.

This paper by Feigin and Parkhomenko is like building a new, magical map for this infinite dance floor. Here is the story of what they did, broken down into simple concepts:

1. The Problem: The Infinite Rubber Band

In the finite world, if you want to study the dance, you can look at a specific corner of the room (a "Borel subgroup") and see how the dancers move relative to that corner. It's like watching a parade from a fixed balcony.

But in the infinite world (loops), you can't just stand on a balcony. The "balcony" itself is stretching and twisting. The authors realized that to understand the whole infinite dance, you have to look at the boundary of the dance floor—the edge where the rubber band touches the ground. They call this the "submanifold $N$ ."

2. The Solution: The "Ghost" Construction

The authors use a clever trick called a Wakimoto construction. Think of this as building a complex machine out of simple, free-moving parts.

The Old Way: Trying to describe the dance directly is like trying to describe a hurricane by tracking every single air molecule. It's impossible.
The New Way: Instead, they use "free fields." Imagine the dance floor is made of ghosts (mathematical particles that don't interact with each other) and strings (bosonic fields).
- They take these simple, non-interacting ghosts.
- They arrange them in a specific pattern (using something called Gauss decomposition, which is like sorting the dancers into neat rows and columns).
- Then, they apply a "magic spell" (a specific formula) that makes these simple ghosts behave exactly like the complex, wiggly dancers of the infinite loop group.

3. The "Left" and "Right" Dance

The paper focuses on a special kind of dance where the group acts on itself from two sides:

Left Action: Imagine someone pushing the dancers from the left side.
Right Action: Someone pushing them from the right.

In the finite world, these two pushes are independent. In this infinite world, the authors show how to build a machine where the "Left Push" and "Right Push" work perfectly together, even though they are made of different ingredients.

They create a "Fock space" (a special room for these ghost particles). Inside this room, they define the rules for the Left and Right pushes using formulas that look like exotic recipes:

Some ingredients are simple derivatives (like "how fast is the dancer moving?").
Some are exponential functions (like "multiply the speed by a magic number").
Some are "screening currents," which act like bouncers at a club. They ensure that only the "correct" dancers (those with the right mathematical properties) are allowed to stay in the room, filtering out the noise.

4. Why This Matters: The Topological Field Theory

Why do we care about this infinite dance?
The authors suggest this construction is a key ingredient for Topological Field Theory.

Analogy: Imagine you are trying to understand the shape of a piece of clay. If you squish it, stretch it, or twist it, the shape changes, but the holes in it (like a donut hole) stay the same. Topological Field Theory studies these unchangeable properties.
The "Regular Representation" built in this paper provides the mathematical engine to calculate these properties for complex, infinite systems. It's like finding the perfect lens to see the hidden holes in the universe.

Summary in a Nutshell

The Goal: Create a clear, working model for the symmetries of infinite loops (Affine Kac-Moody algebras).
The Method: Instead of fighting the complexity, they built the model out of simple, free-floating "ghost" particles (bosonic fields).
The Trick: They used "screening" operators (mathematical bouncers) to filter these ghosts so they behave exactly like the complex symmetries they wanted to study.
The Result: A new, powerful "map" (representation) that allows physicists and mathematicians to calculate properties of these infinite systems, potentially helping us understand the fundamental structure of space and time in topological physics.

In short, they took a chaotic, infinite mess and organized it into a neat, predictable machine made of simple parts, allowing us to finally "read" the dance of the infinite.

1. Problem Statement

The paper addresses the construction of regular representations for infinite-dimensional affine Kac-Moody algebras, specifically extending the concept of regular representations from finite-dimensional complex semisimple Lie groups to their loop group counterparts.

Finite-Dimensional Context: For a Lie group $G$ , the space of algebraic functions $C(G)$ carries a $G \times G$ action (left and right multiplication) and decomposes into $\bigoplus V \otimes V^*$ . The authors also consider distributions supported on a Borel subgroup $B$ , denoted $C_B(G)$ , which form a module over the Lie algebra $\mathfrak{g} \oplus \mathfrak{g}$ and belong to the category of highest weight representations.
The Challenge: Extending this to the affine case (loop groups $LG$) is non-trivial because standard machinery like local cohomologies does not directly apply to infinite-dimensional manifolds. The authors aim to construct a "regular" representation on the space of distributions on the loop group $LG$ (or a specific submanifold thereof) that realizes the action of the affine algebra $\hat{\mathfrak{g}} \oplus \hat{\mathfrak{g}}$ with specific central charges, analogous to the finite-dimensional case.

2. Methodology

The authors employ a combination of geometric intuition, free field realizations (Wakimoto construction), and the theory of vertex operators.

Geometric Analogy: They generalize the finite-dimensional construction where $C_B(G)$ is replaced by a space of distributions $C_N(LX)$ on the loop space $LX$ (where $X$ is a homogeneous space). Here, $N$ represents boundary values of analytic maps from a disk into $X$ .
Central Extensions and Cocycles: The construction relies on understanding central extensions of the loop algebra. By introducing 1-cocycles and 2-cocycles, they deform the action of the Lie algebra on the space of functions/distributions. This allows them to adjust the central charge (level) of the resulting affine algebra representation.
Free Field Realization (Wakimoto Type): The core technical tool is the realization of the affine algebra currents in terms of free bosonic fields (spin $(1,0)$ $(1, 0)$ ).
- They introduce conjugate pairs of bosonic fields (e.g., $a_i, {}^+a_i$ ) corresponding to coordinates and derivatives in a Gauss decomposition.
- They introduce additional free bosonic fields ( $\rho, \lambda$ ) to handle the central extension and the "screening" operators required to maintain the correct algebraic structure.
Gauss Decomposition: The coordinates for the free fields are derived from the Gauss decomposition of the underlying Lie group ( $SL(n+1, \mathbb{C})$ ), separating the group into lower triangular, diagonal, and upper triangular parts.

3. Key Contributions and Results

A. Finite-Dimensional Case ($SL(2)$ and $SL(3)$)

The authors first establish the regular representation for finite-dimensional algebras $\mathfrak{sl}(2, \mathbb{C})$ and $\mathfrak{sl}(3, \mathbb{C})$ using Gauss coordinates.

They define explicit differential operators for the left ( $L$ ) and right ( $R$ ) actions of the generators ( $E, H, F$ ) on the space of distributions.
These formulas serve as the classical limit for the affine constructions.

B. Affine $\widehat{\mathfrak{sl}}(2, \mathbb{C})$ Construction

The paper provides explicit formulas for the currents of $\widehat{\mathfrak{sl}}(2, \mathbb{C}) \oplus \widehat{\mathfrak{sl}}(2, \mathbb{C})$ acting on a Fock module generated by:

Three conjugate pairs of bosonic fields: $(a_1, {}^+a_1)$ , $(a_1, {}^+a_1)$ (redundant notation in text, likely distinct pairs for coordinates), and $(b, {}^+b)$ .
Central Charges: The left and right algebras act with levels $(m-g, -m-g)$ , where $g$ is the dual Coxeter number. For the diagonal subalgebra, the level is $-2g$ .
Vertex Operators: The construction yields vertex operators that map between tensor products of finite-dimensional representations and the infinite-dimensional Fock space.
Screening Operators: The authors identify "screening" currents (related to the difference between left and right actions) which are crucial for the semi-infinite cohomology of the algebra.

C. Affine $\widehat{\mathfrak{sl}}(3, \mathbb{C})$ and General $\widehat{\mathfrak{sl}}(n+1, \mathbb{C})$

The authors generalize the construction to higher ranks:

Field Content: They introduce a set of free bosonic fields corresponding to the positive roots of $\mathfrak{sl}(n+1)$ and additional scalar fields ( $\rho_i, \lambda_i$ ) related to the Cartan matrix.
Explicit Currents: They provide the full set of formulas for the left and right currents ( $LE_i, RE_i, LH_i, RH_i, LF_i, RF_i$ ) in terms of normal-ordered products of these free fields.
Parameter Independence: They demonstrate that while intermediate formulas depend on arbitrary parameters (like $\alpha$ ), a change of variables eliminates this dependence, ensuring the physical representation is well-defined.
Structure: The resulting representation is a direct sum of Fock modules $M_N$ , where the action of the algebra preserves the total "charge" of the modules.

D. Connection to Topological Field Theory

The authors note that the diagonal subalgebra $\widehat{\mathfrak{g}}_\Delta$ has a level of $-2g$ . This specific level is significant because it allows for the addition of "ghosts" to compute semi-infinite homology. The authors suggest this construction provides the space of fields for a version of $G/G$ topological field theory.

4. Significance

Unification of Representations: The paper successfully unifies the concept of regular representations (typically associated with finite groups) with the Wakimoto free-field realization (typically associated with conformal field theory and string theory).
Explicit Construction: It provides the first explicit, general formulas for the regular representation of affine Kac-Moody algebras $\widehat{\mathfrak{sl}}(n+1)$ acting on a space of distributions, covering both left and right actions simultaneously.
Topological Field Theory: By linking the central charge $-2g$ to semi-infinite cohomology, the work offers a concrete algebraic framework for constructing topological field theories based on the coset $G/G$ .
Vertex Operator Algebra: The construction elucidates the structure of vertex operators in the context of affine algebras, showing how the commutative algebra of functions on the group acts on the representation space.

In summary, Feigin and Parkhomenko provide a rigorous mathematical framework for realizing affine Kac-Moody algebras as operators on distribution spaces, bridging the gap between geometric representation theory and free-field conformal field theory.