On Two Algebraic Realizations of Schubert Calculus

Technical Summary: On Two Algebraic Realizations of Schubert Calculus

Problem Statement
The paper addresses the need for a unified algebraic framework connecting Schubert calculus on complex Grassmannians $G(r, n)$, symmetric functions, exterior algebras, and the representation theory of symmetric groups. While Schubert calculus is traditionally understood through the intersection theory of cohomology classes on Grassmannians, the authors seek to formalize this theory through two complementary algebraic realizations: one based on differential operators acting on polynomial rings (bosonic) and another based on derivations acting on exterior algebras (fermionic). The goal is to bridge these realms to provide a systematic method for computing intersection numbers, Plücker degrees, and symmetric group character values.

Methodology
The authors develop parallel formalisms for the "bosonic" and "fermionic" aspects of Schubert calculus, linked by a finite-type version of the boson–fermion correspondence.

1. Bosonic Realization:

   • The framework is built on the polynomial ring $B = \mathbb{Q}[x_1, x_2, \dots]$ (infinite variables), identified with the cohomology of the infinite Grassmannian.
   • The ring is endowed with the action of the infinite Weyl algebra $A_\infty(\mathbb{Q})$, generated by multiplication operators $x_i$ (creation) and partial derivatives $\partial/\partial x_i$ (annihilation).
   • Schubert classes $\sigma_i$ are realized as specific differential operators $S_i(\tilde{\partial})$ acting on $B$. The total Chern class is represented by the exponential operator $\exp(\sum t_i \frac{1}{i} \frac{\partial}{\partial x_i})$.
   • Intersection integrals are computed as evaluations of these differential operators on Schur polynomials $S_\lambda(x)$.

2. Fermionic Realization:

   • The framework is built on the exterior algebra $\bigwedge V$ of the vector space $V = \mathbb{Q}[X]$ of polynomials in one indeterminate.
   • A distinguished "vacuum vector" $X_r(0) = X_{r-1} \wedge \dots \wedge X_0$ represents the fundamental class of the Grassmannian.
   • Cohomology classes are modeled by wedge monomials $X_r(\lambda)$, and operations are realized through Schubert derivations (Hasse–Schmidt derivations) $\sigma_+(z)$ and $\sigma_-(z)$.
   • The annihilation operators in this setting are derivations $\delta(X_{-i})$ defined on the exterior algebra, which act as finite-rank replacements for the partial derivatives $\partial/\partial x_i$.

3. The Bridge:

   • The two formalisms are connected via the boson–fermion correspondence. The evaluation of polynomials in $B$ against the vacuum vector in the exterior algebra corresponds to intersection with the fundamental class.
   • The paper investigates the commutation relations of the fermionic creation and annihilation operators. It demonstrates that while they satisfy the standard Heisenberg relations in the stable limit ($r \to \infty$), at finite rank they satisfy modified relations containing explicit boundary terms (projections $\rho_{i-1}$).

Key Contributions and Results

• Unified Differential Formulas: The paper establishes that classical formulas in Schubert calculus (Giambelli, Jacobi–Trudi, Pieri) arise from a single elementary determinantal identity (Lemma 2.5). This identity allows for the uniform derivation of Pieri-type identities in both the bosonic and fermionic settings.
• Differential Operators for Schubert Classes: The authors explicitly model the action of special Schubert classes $\sigma_i$ on homology as differential operators $S_i(\tilde{\partial})$. Consequently, intersection numbers are reduced to the evaluation of these operators on Schur polynomials.
• Plücker Degrees and Young Tableaux: A key result (Corollary 3.12) provides a formula for the Plücker degree $\omega_\lambda$ of a Schubert variety as the application of a high-order partial derivative to a Schur polynomial: $\omega_\lambda = \frac{\partial^d}{\partial x_1^d} S_\lambda(x)$. This explicitly links the degree of the Schubert variety to the number of standard Young tableaux of shape $\lambda$.
• Fermionic Character Values: A novel contribution (Theorem 4.30) is the realization of irreducible characters of the symmetric group $S_d$ as "fermionic integrals." Specifically, for a partition $\mu = (1^{m_1} 2^{m_2} \dots)$ and $\lambda \vdash d$, the character value $\chi^\lambda_\mu$ is obtained by applying a product of fermionic annihilation operators to the wedge monomial $X_r(\lambda)$ and extracting the coefficient of the vacuum vector:
  $$\delta(X_{-1})^{m_1} \delta(X_{-2})^{m_2} \cdots X_r(\lambda) = \chi^\lambda_\mu X_r(0)$$
• Boundary Corrections in Finite Rank: The paper details how the standard Heisenberg algebra relations fail at finite rank due to boundary terms. It proves that the commutator $[\delta(X_{-m}), \delta(X_n)]$ involves a projection operator $\rho_{m-1}$, which vanishes only in the stable limit, thereby explaining the emergence of the classical Heisenberg algebra from finite-rank exterior algebras.

Significance and Claims
The paper claims to provide a systematic and unified framework that connects Schubert calculus with the representation theory of symmetric groups and integrable systems. By treating intersection numbers as evaluations of differential operators (bosonic) and character values as vacuum coefficients of fermionic operators, the authors demonstrate that these seemingly distinct mathematical objects are manifestations of the same integration principle.

The authors modestly note that the fermionic approach to Schubert calculus on exterior algebras is still "unusual" and that the recovery of symmetric group characters via annihilation operators is a finding not previously documented in the literature. The work serves as a bridge between the geometric intersection theory of Grassmannians and the algebraic structures of symmetric functions and Lie algebras, offering explicit computational tools (such as the recursive formulas for degrees and the character formula) that avoid the construction of complex combinatorial objects like Specht modules.