Center of the affine $\mathfrak{gl}_{n|1}$ at the critical level and pseudo-differential operators

This paper establishes that the center of the affine Lie superalgebra $\widehat{\mathfrak{gl}}_{n|1}$ at the critical level is generated by coefficients of a specific pseudo-differential operator, identifying it with a Heisenberg coset of the regular W-superalgebra and deriving a character formula linked to plane partitions with a pit condition.

The Gist

Imagine you are trying to understand the "soul" or the "core rules" of a very complex, infinite mathematical machine called an affine Lie superalgebra (specifically one named $\widehat{\mathfrak{gl}}_{n|1}$). In the world of mathematics, this machine represents symmetries in a universe that mixes regular numbers with "ghost" numbers (supersymmetry).

The paper by Adamović, Feigin, and Nakatsuka is essentially a detective story. The authors are trying to find the Center of this machine.

What is the "Center"?

Think of the machine as a giant, chaotic orchestra. Most instruments (operators) clash with each other; if you play one, it changes how the others sound. However, the Center is a special set of "magic notes" that can be played at any time without disturbing the rest of the orchestra. These notes commute with everything. Finding these notes is crucial because they act like a map, helping mathematicians navigate the entire structure of the machine's representations (how it behaves when used in different contexts).

The Big Discovery: The "Pseudo-Differential" Recipe

For a long time, mathematicians knew how to find these magic notes for regular machines (without the "ghost" numbers). They used a famous recipe called the Harish-Chandra isomorphism, which turned complex algebra into simple polynomials.

This paper solves the mystery for the super machines (the ones with ghosts). The authors prove that the magic notes (the Center) are generated by the coefficients of a very specific, strange-looking mathematical object called a pseudo-differential operator.

The Analogy:
Imagine you have a recipe for a cake that involves mixing ingredients in a specific order.

• The Ingredients: You have $n$ ingredients that subtract from a base ($\partial - u_1, \dots, \partial - u_n$) and one special ingredient that adds to it ($\partial + u_{n+1}$).
• The Trick: In this recipe, the last ingredient is in the denominator (it's like dividing by it).
• The Result: When you expand this recipe into a long list of terms, the "coefficients" (the numbers in front of the terms) are exactly the magic notes the authors were looking for.

They call this the Affine Harish-Chandra map. It's like a translator that takes the chaotic language of the infinite machine and translates it into a clear, organized language of polynomials.

The "Coset" Connection: The Shadow Play

How did they prove this? They didn't just look at the machine directly. They used a clever trick involving a "shadow" or a "coset."

• The Main Character: A complex algebra called a W-superalgebra.
• The Shadow: A simpler algebra called the Heisenberg coset.

The authors discovered that the "Center" of the main machine is actually identical to the "Center" of this simpler shadow. It's like realizing that the secret code hidden in a giant, locked vault is exactly the same as the code hidden in a small, open box next to it. By studying the simpler box, they could easily read the code for the vault.

The "Plane Partition" Surprise

Once they found the code, they wanted to know: "How many of these magic notes are there, and how do they grow?"

They derived a formula (a character formula) that counts these notes. Surprisingly, this formula matches the counting of plane partitions with a "pit" condition.

The Analogy:
Imagine stacking blocks in a 3D grid to build a pyramid (a plane partition).

• Normal Rule: You can stack blocks anywhere, as long as they don't float.
• The "Pit" Condition: Imagine you have a specific spot in the grid where you are forbidden to put a block. If you try to put a block there, the whole tower collapses.
• The Connection: The number of ways you can build these towers without hitting the "forbidden pit" is exactly the same as the number of magic notes in their mathematical machine.

This was a huge surprise because it connects abstract algebra (Lie algebras) to combinatorics (counting block towers).

The "Critical Level" vs. "Generic Levels"

The paper focuses on a very specific setting called the Critical Level.

• Generic Levels: Think of this as the machine running at normal speed. The rules are complex and the "magic notes" are hard to find.
• Critical Level: This is a specific, delicate speed (like a tightrope walker). At this exact speed, the machine simplifies, and the "magic notes" become visible and form a perfect, organized structure.

The authors also showed that even when the machine isn't at this critical speed, there is a "deformed" version of their recipe (using a parameter $\epsilon$) that still works, linking the normal world to the critical world.

Summary of the Achievement

1. Solved a Decades-Old Problem: They finally described the "Center" for this specific type of super-algebra, which had been an open question for a long time.
2. Found the Recipe: They proved the Center is generated by a specific pseudo-differential operator (the "recipe" with the subtraction and division).
3. Connected Worlds: They linked this algebra to "plane partitions with a pit," showing that the growth of these mathematical structures follows the same rules as stacking blocks with a forbidden hole.
4. Generalized the Theory: They showed how this works not just at the critical speed, but how it deforms to work at other speeds as well.

In short, the authors took a chaotic, infinite mathematical system, found its hidden "core rules" using a clever shadow-trick, and discovered that these rules are beautifully described by a simple recipe and a specific way of stacking blocks.

Technical Summary

Technical Summary: Center of the Affine $\mathfrak{gl}_{n|1}$ at the Critical Level and Pseudo-Differential Operators

Problem Statement
The paper addresses the long-standing open problem of describing the center of the universal enveloping algebra of basic-classical Lie superalgebras at the critical level. While the center of finite-dimensional reductive Lie algebras is well-understood via the Harish-Chandra isomorphism, and the affine analogue for simple Lie algebras (established by Feigin and Frenkel) identifies the center with the algebra of functions on the moduli of $\check{g}$-opers, the super-case has remained unresolved for decades. Specifically, the authors focus on the affine Lie superalgebra $\widehat{\mathfrak{gl}}_{n|1}$ at the critical level $\kappa_c$. The goal is to explicitly identify the center $z(V_{\kappa_c}(\mathfrak{gl}_{n|1}))$ of the associated affine vertex superalgebra and characterize its generators.

Methodology
The authors employ a multi-faceted approach combining vertex algebra theory, BRST reduction, and duality:

1. Identification with W-Superalgebras: The core strategy relies on identifying the center of the affine vertex algebra $V_{\kappa_c}(\mathfrak{gl}_{n|1})$ with the center of the regular W-superalgebra $W_{\kappa_c}(\mathfrak{gl}_{n|1})$. This reduction is facilitated by the Wakimoto realization and the properties of the BRST complex.
2. Heisenberg Coset Construction: The authors analyze the Heisenberg coset subalgebra $C_\kappa(\mathfrak{gl}_{n|1}) = \text{Com}(\pi_J, W_\kappa(\mathfrak{gl}_{n|1}))$, where $\pi_J$ is a Heisenberg vertex algebra generated by a specific field $J$. They prove that at the critical level, this coset coincides with the center of the W-superalgebra.
3. Feigin-Frenkel Duality and Reconstruction: To describe the structure of $W_\kappa(\mathfrak{gl}_{n|1})$, the authors utilize a duality (Kazama-Suzuki type coset construction) relating $W_\kappa(\mathfrak{gl}_{n|1})$ to the subregular W-algebra $W_{\check{\kappa}}(\mathfrak{gl}_n, \mathcal{O}_{sr})$ of the non-super algebra $\mathfrak{gl}_n$. This allows them to transfer known structural results from the subregular case to the super case.
4. Pseudo-Differential Operators: The authors construct explicit generators for the coset algebra using pseudo-differential operators. They define an operator $L_k$ involving the Heisenberg fields and show that its expansion coefficients lie within the coset and generate the algebra.
5. Combinatorial Analysis: The character of the center is derived by analyzing the generating function of the coset algebra, which is linked to the theory of plane partitions with specific "pit" conditions.

Key Contributions and Results

• Affine Harish-Chandra Isomorphism (Theorem A): The paper establishes that the center $z(V_{\kappa_c}(\mathfrak{gl}_{n|1}))$ is isomorphic to the subalgebra of the Heisenberg vertex algebra $\pi^0_{\mathfrak{h}}$ generated by the coefficients of the pseudo-differential operator:
  $$(\partial_z - u_1(z)) \cdots (\partial_z - u_n(z))(\partial_z + u_{n+1}(z))^{-1}$$
  where $u_i(z)$ correspond to the basis of the Cartan subalgebra. This result serves as the affine analogue of the Harish-Chandra isomorphism for the superalgebra $\mathfrak{gl}_{n|1}$.
• Graded Structure and Generators: The associated graded algebra of the center with respect to the Li filtration is shown to be isomorphic to the algebra of affine supersymmetric polynomials $\Lambda_{n|1}^{\text{aff}}$. The center is strongly generated by the higher Segal-Sugawara vectors constructed by Molev and Ragoucy.
• Character Formula (Theorem 7.1): A precise character formula for the center is derived. The $q$-character coincides with the generating function of plane partitions satisfying a specific pit condition $(2, n+1)$. This confirms a conjecture by Molev and Mukhin, generalizing the $n=1$ case.
• Generic Level Deformation (Theorem B): The authors extend their results beyond the critical level. They prove that the Heisenberg coset $C_\kappa(\mathfrak{gl}_{n|1})$ at generic levels is generated by the coefficients of a deformed pseudo-differential operator:
  $$(\partial_z + \epsilon t_1(z)) \cdots (\partial_z + \epsilon t_n(z))(\partial_z - \epsilon t_{n+1}(z))^\epsilon$$
  where $\epsilon = 1/(-1 + k + h^\vee)$. This provides a continuous deformation of the critical level structure.
• Duality and Large Level Limits: The paper clarifies the relationship between the critical level coset of $\mathfrak{gl}_{n|1}$ and the large level limit of the subregular W-algebra of $\mathfrak{gl}_n$, establishing an isomorphism between $C_{\kappa_c}(\mathfrak{gl}_{n|1})$ and the large level limit $C_\infty(\mathfrak{gl}_n, \mathcal{O}_{sr})$.

Significance
The paper resolves the problem of describing the center for the first non-trivial family of basic-classical Lie superalgebras ($\mathfrak{gl}_{n|1}$) using pseudo-differential operators. By establishing an affine analogue of the Harish-Chandra isomorphism in the super-setting, the work provides a "spectral decomposition" framework for the category of smooth $\widehat{\mathfrak{gl}}_{n|1}$-modules at the critical level, parametrized by these operators.

Furthermore, the derivation of the character formula links the representation theory of these affine superalgebras to the combinatorics of plane partitions with pit conditions, confirming existing conjectures in the field. The identification of the center with the Heisenberg coset and its deformation to generic levels suggests a broader structural pattern that may extend to other Lie superalgebras, motivating future work on regular W-superalgebras $W_{\kappa}(\mathfrak{gl}_{n|m})$ and their connections to super-opers and Gaudin models.