Link patterns and elliptic Hecke algebra

Technical Summary: Link Patterns and Elliptic Hecke Algebra

Problem Statement
The paper addresses the computation of equivariant elliptic characteristic classes for three distinct families of geometric objects: Schubert varieties in flag manifolds, matrix Schubert varieties, and Borel orbits of 2-nilpotent matrices. While these objects are indexed by permutations, partial permutations, and link patterns respectively, they share a common underlying algebraic structure governing their characteristic classes. The primary challenge is to unify the computation of these classes—specifically the Borisov-Libgober elliptic classes—across these different geometric settings and to extend the known methods from K-theory and motivic Chern classes to the elliptic setting. A specific difficulty arises because Schubert varieties are typically too singular for a direct application of the Borisov-Libgober construction without introducing deformation parameters (fractional line bundles) to handle boundary divisors.

Methodology
The author employs a combination of geometric resolution techniques and algebraic operator theory:

1. Geometric Framework: The study focuses on Borel orbits of 2-nilpotent matrices in $\text{Hom}(\mathbb{C}^m, \mathbb{C}^m)$. These orbits are indexed by "link patterns" (sequences of pairs representing matrix entries). The author utilizes Bott-Samelson type resolutions ($Z^w_{m,r}$) to desingularize the orbit closures. The elliptic classes are defined via the push-forward of the Borisov-Libgober class from these resolutions, ensuring the resulting class is "pure" (a section of a specific line bundle).
2. Algebraic Structure: The paper constructs a subalgebra $A_{m,r}$ of meromorphic functions generated by $\delta$-functions (derived from Jacobi theta functions). This algebra is graded by integral quadratic forms.
3. Elliptic Demazure Operators: The core mechanism is the introduction of elliptic Demazure-type operators, denoted $C^\mu_i$. These operators act on the algebra $A_{m,r}$ and depend on parameters $\mu$ (related to boundary divisor multiplicities) and an auxiliary variable $h$.
4. Purity Condition: A crucial technical constraint is the "purity" of the functions. The author demonstrates that for a pure function $f$, there exists a unique parameter $\mu$ such that the application of $C^\mu_i$ yields another pure function. This condition dictates the specific parameters required for the operators to be well-defined in the context of the geometric classes.
5. Inductive Construction: The elliptic class of a general link pattern is constructed inductively by applying a sequence of these operators to the class of a minimal orbit (the "starting point").

Key Contributions

• Unification of Geometric Objects: The paper establishes a unified framework where Schubert varieties, matrix Schubert varieties, and Borel orbits of 2-nilpotent matrices are treated as special cases of a single combinatorial structure (link patterns) acted upon by a specific algebra.
• Construction of the Elliptic Hecke Algebra: The author defines an algebra generated by operators $C^\mu_i$ that satisfy twisted braid relations (analogous to the Yang-Baxter equation) and a specific "flip relation." This algebra acts on the space of meromorphic functions representing the elliptic classes.
• The Flip Relation: A significant contribution is the identification and geometric proof of a "flip relation" (Equation 18/40). This identity relates the action of operators on different resolutions and ensures the independence of the resulting elliptic class from the choice of reduced word or resolution.
• Explicit Formulas for Link Patterns: The paper provides a recursive algorithm to compute the equivariant elliptic class $E\ell\ell(P)$ for any link pattern $P$. The class is defined as the result of applying a sequence of operators $C^\star_w$ to the minimal class $E\ell\ell(P^{\min}_{m,r})$.
• Specialization to Known Classes: The construction is shown to specialize correctly to:
  • The elliptic classes of Schubert varieties (recovering results from [RW20]).
  • The elliptic weight functions of [RTV19] (under specific variable substitutions).
  • Twisted motivic Chern classes and CSM classes of upper-triangular square-zero orbits.

Results

• Theorem 1.1 (Summary): The paper proves that for fixed integers $m$ and $r$, the algebra $A_{m,r}$ admits operations $C^\mu_i$ that satisfy braid and quadratic relations. For any pure element $f$, there is a unique $\mu$ preserving purity. The action of these operators permutes the Borisov-Libgober equivariant elliptic classes of 2-nilpotent Borel orbits.
• Independence of Presentation: Theorem 15.1 and Theorem 17.3 establish that the constructed elliptic class $E\ell\ell(P)$ is independent of the choice of the permutation $w$ and the reduced word used to represent the link pattern, provided the "purity" condition is maintained throughout the induction.
• Type Transformation: Theorem 12.3 describes how the "type" (the associated quadratic form) of the elliptic class transforms under the action of the operators, providing a combinatorial formula for the resulting line bundle.
• Geometric Proof of Identities: Section 16 provides a direct geometric proof of the flip relation using the localization theorem on a specific Bott-Samelson resolution of a 2-nilpotent orbit, confirming the algebraic identities derived from the four-term relation in [RTV19].

Significance and Claims
The paper claims that its primary significance lies not in introducing a fundamentally new elliptic algebra, but in demonstrating that the geometric study of Schubert varieties and 2-nilpotent orbits naturally leads to the construction of a Hecke-type algebra with parameters. By separating the algebraic properties from the specific geometry of the flag variety, the author clarifies the role of the parameters ($\mu$ and $h$) and the necessity of the "purity" condition.

The work extends previous methods developed for K-theoretic classes (specifically [RW22b] and [KW25]) to the elliptic setting. It unifies various elliptic invariants (weight functions, Schubert classes, motivic Chern classes) under a single operator calculus. The author notes that while the construction avoids direct analysis of canonical divisors for general orbits (relying instead on the algebraic properties of the operators), the resulting classes are consistent with the Borisov-Libgober definition and the theory of stable envelopes. The paper concludes that this approach offers a "uniform point of view" that sheds light on dualities previously proven in [RW22a].