Shifted quantum toroidal algebra of type $\mathfrak{gl}_{1|1}$ and the Pieri rule of the super Macdonald polynomials

This paper establishes that the action of super charges in the shifted quantum toroidal algebra of type $\mathfrak{gl}_{1|1}$ on the level zero super Fock module yields a Pieri rule for super Macdonald polynomials, which is expressed via differential operators to derive supersymmetric Hamiltonians that recover previously known results.

The Gist

Imagine a vast, invisible library where every book represents a unique pattern of energy and matter. In the world of theoretical physics, mathematicians use special "polynomials" (complex algebraic formulas) to write the stories of these patterns. One famous set of books in this library is called Macdonald polynomials. They are like a master key that unlocks the secrets of how particles behave in certain quantum systems.

This paper introduces a new, more complicated version of these books called Super Macdonald polynomials. Think of these as the "Super" edition: they don't just describe regular particles (bosons); they also describe "ghostly" particles (fermions) that have a special "anti-social" rule: no two of them can ever occupy the exact same space at the same time.

Here is a breakdown of what the authors, Hiroaki Kanno, Ryo Ohkawa, and Jun'ichi Shiraishi, discovered, using simple analogies:

1. The New "Shifted" Library (The Algebra)

To understand these Super polynomials, the authors had to build a new kind of mathematical engine called a Quantum Toroidal Algebra.

• The Analogy: Imagine a standard library where books are arranged in neat, straight rows. This is the "unshifted" algebra used for the old Macdonald polynomials.
• The Twist: For the Super polynomials, the authors found that the library shelves are shifted. It's as if the rows of books are slightly offset from each other, or the floor is tilted. This "shift" makes the math much harder to navigate. The authors had to invent a new set of rules (a "shifted algebra") to keep the books from falling off the shelves. This shift is the central technical challenge they overcame.

2. The Rule of Adding a Box (The Pieri Rule)

In this mathematical world, you can change a pattern by adding or removing a single "box" (a unit of energy or a particle).

• The Analogy: Think of building a tower out of blocks. The Pieri Rule is the instruction manual that tells you exactly what happens to the tower's stability and shape when you snap one new block onto the top.
• The Discovery: The authors used their new "shifted" engine to derive the specific instructions for the Super polynomials. They figured out exactly how the "Super" tower reacts when you add a block. This rule is crucial because it acts as a bridge, connecting the abstract algebra to the actual physical formulas.

3. The Hamiltonians: The Energy Machines

In physics, a Hamiltonian is a machine that calculates the total energy of a system. If you know the energy, you know how the system moves and changes.

• The Analogy: Imagine the Super polynomials are a complex Rube Goldberg machine. The authors wanted to find the "switch" (the Hamiltonian) that turns the machine on and tells it exactly how to run.
• The Breakthrough: By using the "Pieri Rule" (the instruction manual for adding blocks), they reverse-engineered the switches. They found two pairs of these energy machines:
  1. Negative Mode Machines: These were easier to find. They turned out to be very similar to machines used for the old, non-Super polynomials, just with the settings flipped (like playing a song backward).
  2. Positive Mode Machines: These were much trickier. Because of the "shifted" nature of their library, these machines had to be built differently. The authors had to use a special "integral formula" (a complex mathematical recipe involving loops and sums) to construct them.

4. The "Ghost" Particles (Fermions)

The most interesting part of this paper is how it handles the "ghost" particles (fermions).

• The Analogy: In the old math, the energy machines were like simple gears. In this new Super math, the machines have "ghost gears" that interact in a very specific way. The authors found that the energy machines for the Super polynomials contain terms that look like anti-commutators.
• What that means: It's like saying, "If you push this ghost gear left, it forces the other ghost gear to push right." The authors showed that these energy machines are actually built by combining two "super charges" (special operators) that act like a push-pull mechanism. When you push and pull them together, the energy machine appears.

5. The Mirror Image (Involution)

The authors also looked at a "mirror" version of their math, where they swapped the parameters $q$ and $t$ for their inverses ($1/q$ and $1/t$).

• The Analogy: Imagine looking at the Super polynomials in a mirror. For the old, non-Super polynomials, the reflection looked exactly the same as the original.
• The Difference: For the Super polynomials, the reflection is different. The "ghost" particles behave differently in the mirror. The authors had to be very careful to show that their new "shifted" algebra correctly predicted these differences, proving that their new mathematical library is consistent even when viewed in the mirror.

Summary

In short, this paper is a guidebook for a new, more complex mathematical universe. The authors:

1. Built a new "shifted" engine to handle the complexity of "Super" particles.
2. Wrote the instruction manual (Pieri Rule) for how these particles interact.
3. Used that manual to build the energy machines (Hamiltonians) that govern the system.
4. Proved that these machines work correctly, even when the system is viewed in a mathematical mirror.

They didn't just guess the rules; they derived them from the fundamental "shifted" structure of the universe they were studying, ensuring that the math holds together perfectly.

Technical Summary

Technical Summary: Shifted Quantum Toroidal Algebra of Type $gl_{1|1}$ and the Pieri Rule of the Super Macdonald Polynomials

Problem Statement
The paper investigates the algebraic structure underlying the super Macdonald polynomials, $M_\Lambda(x, \theta; q, t)$, which are indexed by super partitions and form a basis for the level zero super Fock module of the quantum toroidal algebra $U_{q,t}(\widehat{\widehat{gl}}_{1|1})$. While the standard Macdonald polynomials are closely related to the representation theory of the $gl_1$ quantum toroidal algebra, the super case presents a crucial distinction: the relevant algebra is a shifted quantum toroidal algebra. This shift introduces technical challenges in the representation theory, particularly regarding the mode expansions of the Cartan currents and the construction of Hamiltonians. The authors aim to derive the Pieri rule for these polynomials from the action of the super charges of the shifted algebra and, subsequently, to reconstruct the supersymmetric Hamiltonians that diagonalize these polynomials.

Methodology
The authors employ the representation theory of the shifted quantum toroidal algebra $U_{q,t}(\widehat{\widehat{gl}}_{1|1})$. The methodology proceeds through the following steps:

1. Algebraic Setup: The paper reviews the defining relations of the shifted algebra, characterized by shift parameters $r_i$ ($r_1=-1, r_2=1$) in the anti-commutation relations of the currents $E_i(z)$ and $F_j(w)$. The level zero representation is constructed via an infinite tensor product of vector representations, leading to a basis labeled by super Young diagrams.
2. Pieri Rule Derivation: By analyzing the action of the zero modes and specific shifted modes of the super currents ($E_i(z)$ and $F_j(z)$) on the super Macdonald polynomials, the authors derive the Pieri rule. They express these actions in terms of differential operators acting on the bosonic power sums $p_k$ and fermionic power sums $\pi_k$.
3. Conjectures and Verification: The authors propose explicit operator formulas for specific modes of the currents (Conjectures 1.1 and 1.2).
   • Conjecture 1.1 provides expressions for $E_{1,0}, E_{2,0}, F_{1,+1},$ and $F_{2,-1}$ in terms of $p_k, \pi_k$ and their derivatives.
   • Conjecture 1.2 proposes integral representations for the higher modes $E_{2,1}$ and $F_{1,2}$ involving vertex operators and vacuum expectation values.
4. Hamiltonian Construction: The Hamiltonians $H_{i, \pm 1}$ are constructed as anti-commutators of the appropriate super charge modes (e.g., $[E_{2,0}, F_{2,-1}]_+$). The authors compute these anti-commutators using the proposed operator formulas to derive explicit expressions for the Hamiltonians.
5. Consistency Checks: The validity of the conjectures is checked by:
   • Verifying that the derived Hamiltonians commute with the super charges.
   • Comparing the bosonic parts of the derived Hamiltonians with known $(q,t)$-inverted Ruijsenaars-Macdonald Hamiltonians.
   • Explicitly checking the results against super Macdonald polynomials up to level 4 (Appendix A).
   • Demonstrating that the derived operators satisfy the required anti-commutation relations of the shifted algebra (Propositions 1.3 and 1.4).

Key Contributions and Results

• Pieri Rule in Differential Form: The paper establishes the Pieri rule for super Macdonald polynomials as linear differential operators in the power sums $p_k$ and $\pi_k$. A key finding is that while the zero modes of $E_i(z)$ have simple forms, the "nice" expressions for $F_i(z)$ correspond to shifted modes ($F_{1,+1}$ and $F_{2,-1}$) rather than the zero modes, a direct consequence of the algebra's shift.
• Derivation of Hamiltonians: The authors successfully derive the supersymmetric Hamiltonians $H_{i, \pm 1}$ from the anti-commutators of the super charges.
  • The negative mode Hamiltonians ($H_{1,-1}, H_{2,-1}$) are shown to consist of a bosonic part identical to the $(q,t)$-inverted Ruijsenaars-Macdonald Hamiltonian and a fermionic part that is bi-linear in fermions.
  • The positive mode Hamiltonians ($H_{1,+1}, H_{2,+1}$) are more complex. The authors show that their fermionic parts involve higher-order terms in fermionic variables (beyond bi-linear), distinguishing them qualitatively from the negative mode counterparts.
• Integral Representations: The paper proposes integral formulas for the higher modes $E_{2,1}$ and $F_{1,2}$ (Conjecture 1.2). These formulas utilize vertex operators and vacuum expectation values, mirroring the structure of integral formulas for Hamiltonians found in previous literature [16].
• Commutativity and Involution: The study confirms that the four Hamiltonians $H_{i, \pm 1}$ are mutually commuting. It also clarifies the relationship between these Hamiltonians and the parameter involution $\iota: (q,t) \to (q^{-1}, t^{-1})$. Unlike the standard Macdonald case, the super Macdonald polynomials are not invariant under $\iota$, and consequently, $H_{i, +1}$ is not simply the $\iota$-inversion of $H_{i, -1}$, despite their eigenvalues being related by this involution.
• Role of the Shift: The paper emphasizes that the "shifted" nature of the algebra is central to the results. The shift parameters affect the Cartan currents $K^+_i(z)$ but not $K^-_i(z)$, leading to the asymmetry between positive and negative modes and the necessity of dealing with shifted modes for simple operator expressions.

Significance
The paper claims that its primary significance lies in providing a unified algebraic derivation of the Pieri rule and the associated Hamiltonians for super Macdonald polynomials directly from the representation theory of the shifted quantum toroidal algebra $U_{q,t}(\widehat{\widehat{gl}}_{1|1})$.

By establishing the connection between the super charges of the shifted algebra and the differential operators acting on the super Fock space, the authors recover results previously obtained in the literature [1, 16] but within a more fundamental algebraic framework. The work highlights the specific technical challenges introduced by the shift in the algebra, particularly the non-trivial relationship between the positive and negative mode Hamiltonians and the structure of the fermionic terms. The proposed integral formulas for the higher modes offer a new perspective on the structure of these operators, suggesting a deeper connection to vertex operator algebras and free field realizations. The results serve as a consistency check for the shifted algebra's representation theory and provide explicit tools for further investigations into the BPS algebras associated with moduli spaces of instantons on the blow-up of $\mathbb{C}^2$.