Center of affine $\mathfrak{sl}_{2|1}$ at the critical level

This paper determines the center of the universal affine vertex superalgebra $V^{\kappa_c}(\mathfrak{sl}_{2|1})$ at the critical level by proving it is isomorphic to the large level limit of a parafermion vertex algebra, thereby confirming a conjecture by Molev and Ragoucy and proposing a generalization for $\mathfrak{sl}_{n|m}$.

The Gist

Imagine the universe of mathematics as a vast, intricate city. In this city, there are special buildings called Vertex Algebras. These aren't made of brick and mortar; they are made of rules for how mathematical "particles" interact and transform.

This paper, written by Dražen Adamović and Shigenori Nakatsuka, is about exploring the center of a very specific, complex building in this city: the Affine Vertex Superalgebra associated with a structure called $sl_{2|1}$.

Here is the breakdown of their journey, using simple analogies:

1. The "Critical Level" (The Perfect Storm)

In this mathematical city, these buildings have a "dial" called a level (denoted by $k$ or $\kappa$).

• Normal Levels: For most settings of this dial, the building is "empty" in its center. It's like a house with no furniture in the middle room; the center is trivial.
• The Critical Level: There is one specific setting on the dial, called the critical level ($\kappa_c$), where something magical happens. Suddenly, the center of the building fills up with a rich, complex structure. This is the "Goldilocks zone" where the most interesting math happens.

The authors wanted to map out exactly what this "center" looks like for the $sl_{2|1}$ building.

2. The Mystery of the "Super" Building

The building they studied is a Superalgebra. Think of a normal algebra as a room with only chairs. A super algebra is a room with chairs and floating, invisible ghosts (representing "odd" or fermionic elements).

• For simple, non-super buildings (like $sl_2$), mathematicians already knew the layout of the center.
• For super buildings, it has been a mystery for decades. It's like trying to map a room where the furniture keeps changing shape and sometimes disappears. The center is so complex it might not even have a finite number of rules to describe it.

3. The Detective Work: Three Key Clues

To solve the mystery, the authors used three main detective tools:

Clue A: The "Mirror" (W-Superalgebras)
They realized that the center of their complex building ($V_{\kappa_c}$) is deeply connected to a "simplified" version of itself called a W-superalgebra ($W_{\kappa_c}$).

• The Analogy: Imagine you have a complex, 3D sculpture. It's hard to describe. But if you shine a specific light on it, it casts a 2D shadow that is much easier to draw. The authors found that at the critical level, the "shadow" (the W-superalgebra) is actually identical to a much simpler, well-known building called $gl_{1|1}$.
• The Surprise: They proved that the complex $sl_{2|1}$ center is isomorphic (mathematically identical) to the center of this simpler $gl_{1|1}$ building.

Clue B: The "Limit" (Parafermions)
They discovered that this center is also related to a structure called Parafermion Vertex Algebra.

• The Analogy: Imagine a machine that produces a pattern. If you turn the speed dial to infinity (the "large level limit"), the pattern settles into a stable, beautiful design. The authors proved that the center of their building is exactly this "infinite speed" version of the Parafermion algebra.

Clue C: The "Key" (Kazama-Suzuki Duality)
To connect these dots, they used a mathematical "duality" (a two-way translation key) called Kazama-Suzuki duality.

• The Analogy: Think of this as a Rosetta Stone. It allows them to translate the language of the complex $sl_{2|1}$ building into the language of the simpler $sl_2$ building. This translation revealed that the center is essentially the "coset" (what's left over) when you remove the "Heisenberg" part (a specific type of symmetry) from the infinite-level $sl_2$ building.

4. The Big Discovery (The Main Theorem)

The authors proved a "Main Theorem" that ties everything together. They showed that three seemingly different things are actually the same thing:

1. The center of the complex $sl_{2|1}$ building.
2. The center of its simplified "shadow" (the W-superalgebra).
3. The "infinite level limit" of the Parafermion algebra.

They also confirmed a long-standing guess (conjecture) by other mathematicians (Molev and Ragoucy) that specific mathematical formulas (called Segal-Sugawara vectors) generate this entire center.

5. The "Future Map" (A New Conjecture)

Having solved the puzzle for $sl_{2|1}$, the authors looked at the bigger picture. They proposed a general conjecture for a whole family of these super buildings ($sl_{n|m}$).

• The Analogy: They found the key to one lock. Now, they are suggesting that this same type of key (involving "hook-shaped" patterns and "corner" algebras) will open the doors to all similar, more complex buildings in the future.

Summary

In short, this paper is a mathematical detective story. The authors took a notoriously difficult, "ghost-filled" mathematical structure, used a clever "shadow" trick and a "translation key" (duality), and proved that its hidden center is actually a well-known, beautiful structure that appears when you push a specific dial to infinity. They solved a specific case and drew a map for how to solve the rest of the family.

Technical Summary

Technical Summary: Center of Affine $\mathfrak{sl}_{2|1}$ at the Critical Level

Problem Statement
The paper addresses the determination of the center $z(V_{\kappa_c}(\mathfrak{g}))$ of the universal affine vertex superalgebra associated with the basic classical simple Lie superalgebra $\mathfrak{g} = \mathfrak{sl}_{2|1}$ (and equivalently $\mathfrak{gl}_{2|1}$) at the critical level $\kappa_c$. While the center for simple Lie algebras at the critical level is well-understood via the Feigin–Frenkel duality (isomorphic to the principal $W$-algebra), the case for Lie superalgebras has remained largely mysterious and difficult due to the potential lack of finite generation. Previous systematic studies by Molev and Ragoucy [24] constructed higher-rank Segal–Sugawara vectors and conjectured they generate the center for $\mathfrak{gl}_{n|m}$, but this had only been proven for $\mathfrak{gl}_{1|1}$ [23]. This work aims to completely describe the center for $\mathfrak{sl}_{2|1}$ and $\mathfrak{gl}_{2|1}$, thereby verifying the Molev–Ragoucy conjecture in this specific case.

Methodology
The authors employ a multi-faceted approach combining quantum Hamiltonian reduction, Wakimoto free field realizations, and Kazama–Suzuki duality:

1. Relation via $W$-Superalgebras: The core strategy involves relating the center of the affine vertex superalgebra $V_{\kappa_c}(\mathfrak{g})$ to the center of the associated principal $W$-superalgebra $W_{\kappa_c}(\mathfrak{g})$. The latter is obtained via quantum Hamiltonian reduction.
2. Critical Level Isomorphism: A pivotal step is the discovery of a surprising isomorphism at the critical level: $W_{\kappa_c}(\mathfrak{sl}_{2|1}) \simeq V_{\kappa_c}(\mathfrak{gl}_{1|1})$. This allows the authors to utilize the recently established explicit description of $z(V_{\kappa_c}(\mathfrak{gl}_{1|1}))$ [2, 23] as a known upper bound for the center of interest.
3. Wakimoto Realization: The authors utilize Wakimoto-type free field realizations for both $V_{\kappa_c}(\mathfrak{gl}_{2|1})$ and $W_{\kappa_c}(\mathfrak{gl}_{2|1})$. By analyzing the semi-classical limit (associated graded algebra) of these realizations, they establish that the center of the affine algebra embeds into the center of the $W$-algebra.
4. Lower Bound Construction: To prove the embedding is an isomorphism, the authors construct a lower bound using higher-rank Segal–Sugawara vectors (as defined in [24]) and the structure of affine supersymmetric polynomials. They demonstrate that the associated graded algebra of the center contains the ring of affine supersymmetric polynomials $\Lambda_{2|1}^{\text{aff}}$.
5. Kazama–Suzuki Duality: The paper utilizes a "correct" form of Kazama–Suzuki duality, relating $W_{\kappa_c}(\mathfrak{sl}_{2|1})$ to a large level limit of a parafermion vertex algebra. This serves as the super-analogue of the Feigin–Frenkel duality.

Key Contributions and Results

• Main Theorem (Theorem 6.5 / Corollary 6.7): The paper establishes the following isomorphisms of commutative vertex algebras:
  $$z(V_{\kappa_c}(\mathfrak{g})) \simeq z(W_{\kappa_c}(\mathfrak{g})) \simeq K_{\infty}(\check{\mathfrak{g}})$$
  where $\mathfrak{g} = \mathfrak{sl}_{2|1}$ or $\mathfrak{gl}_{2|1}$, $\check{\mathfrak{g}} = \mathfrak{sl}_2$ or $\mathfrak{gl}_2$, and $K_{\infty}(\check{\mathfrak{g}})$ is the large level limit ($\ell \to \infty$) of the parafermion vertex algebra $K_\ell(\check{\mathfrak{g}})$.
• Verification of Conjectures:
  • The result confirms the conjecture of Molev and Ragoucy [24] for $\mathfrak{gl}_{2|1}$, proving that their constructed family of higher-rank Segal–Sugawara vectors generates the center.
  • It confirms the conjecture of Molev and Mukhin [23] regarding the associated graded algebra, showing it is isomorphic to the algebra of affine supersymmetric polynomials associated with the superspace $\mathbb{C}^{2|1}$.
• Coincidence of Centers: A byproduct of the proof is the demonstration that the centers of the affine vertex superalgebra and the principal $W$-superalgebra coincide at the critical level: $z(V_{\kappa_c}(\mathfrak{g})) \simeq z(W_{\kappa_c}(\mathfrak{g}))$.
• Inverse Hamiltonian Reduction: The authors provide an alternative realization of $V_{\kappa_c}(\mathfrak{sl}_{2|1})$ in terms of $W_{\kappa_c}(\mathfrak{sl}_{2|1})$ using inverse Hamiltonian reduction (Section 7), which induces an isomorphism between their centers. This offers a potential tool for constructing modules with arbitrary central characters.

Significance and Scope
The paper claims significance primarily in resolving a long-standing open problem for the specific case of $\mathfrak{sl}_{2|1}$ and $\mathfrak{gl}_{2|1}$. It provides the first explicit description of the Feigin–Frenkel center for a non-abelian Lie superalgebra beyond $\mathfrak{gl}_{1|1}$.

The authors position their work as a step toward a broader understanding of the Feigin–Frenkel center for general $\mathfrak{sl}_{n|m}$ ($n > m$). Based on the structural insights gained—specifically the role of Kazama–Suzuki duality and the relation to $W$-algebras associated with hook-type partitions—they propose a general conjecture. This conjecture posits that for $\mathfrak{g} = \mathfrak{sl}_{n|m}$, the center $z(V_{\kappa_c}(\mathfrak{g}))$ is isomorphic to the large level limit of the coset subalgebra (vertex algebra at the corner) $C_\infty(\mathfrak{g}, \mathcal{O}_{[n-m, 1^m]})$ associated with the nilpotent orbit corresponding to the hook partition $[n-m, 1^m]$.

The paper does not claim to have solved the general case for arbitrary $n, m$, but rather establishes the foundational isomorphism and structural framework for the $n=2, m=1$ case, suggesting a path forward for higher ranks. The work relies heavily on the specific simplifications available at the critical level, where the $W$-superalgebra structure becomes tractable enough to relate to known vertex algebras.