Table of Contents
Fetching ...

Hall algebra multiplication for stable envelopes on bow varieties

Tommaso Maria Botta, Richard Rimanyi

TL;DR

This work delivers an explicit formula for elliptic stable envelopes on type A Cherkis bow varieties by expressing them as shuffles of simple one-tie building blocks within an elliptic cohomology Hall algebra. It develops a unified framework across cohomology, K-theory, and elliptic cohomology, including a detailed treatment of D5 resolutions, parabolic induction, and the role of dynamical (Kähler) parameters. A central contribution is the W-tilde and W functions whose ordered products encode stable envelopes, together with wheel conditions ensuring consistency of the shuffle structure. The main result, proven by reduction to partial flag varieties and maximal resolutions, yields explicit formulas and shows that 3d mirror symmetry translates into theta-function identities (and Fay-type trisecant identities) among these expressions, providing concrete, computable identities for fixed-point data encoded by 01-matrices that share row/column sums. This work thus links bow-variety geometry, elliptic Hall algebras, and explicitly computable theta-function identities with potential applications to geometric representation theory and quantum group representations.

Abstract

Elliptic stable envelopes are fundamental components in the geometric realization of quantum group representations. We present a formula for elliptic stable envelopes on type A Cherkis bow varieties, as a product of simple basic objects in an elliptic cohomology Hall algebra. Combined with the 3d mirror symmetry property of elliptic stable envelopes, our result implies theta function identities for any pair of 01-matrices sharing the same row and column sums.

Hall algebra multiplication for stable envelopes on bow varieties

TL;DR

This work delivers an explicit formula for elliptic stable envelopes on type A Cherkis bow varieties by expressing them as shuffles of simple one-tie building blocks within an elliptic cohomology Hall algebra. It develops a unified framework across cohomology, K-theory, and elliptic cohomology, including a detailed treatment of D5 resolutions, parabolic induction, and the role of dynamical (Kähler) parameters. A central contribution is the W-tilde and W functions whose ordered products encode stable envelopes, together with wheel conditions ensuring consistency of the shuffle structure. The main result, proven by reduction to partial flag varieties and maximal resolutions, yields explicit formulas and shows that 3d mirror symmetry translates into theta-function identities (and Fay-type trisecant identities) among these expressions, providing concrete, computable identities for fixed-point data encoded by 01-matrices that share row/column sums. This work thus links bow-variety geometry, elliptic Hall algebras, and explicitly computable theta-function identities with potential applications to geometric representation theory and quantum group representations.

Abstract

Elliptic stable envelopes are fundamental components in the geometric realization of quantum group representations. We present a formula for elliptic stable envelopes on type A Cherkis bow varieties, as a product of simple basic objects in an elliptic cohomology Hall algebra. Combined with the 3d mirror symmetry property of elliptic stable envelopes, our result implies theta function identities for any pair of 01-matrices sharing the same row and column sums.

Paper Structure

This paper contains 50 sections, 30 theorems, 185 equations, 4 figures.

Key Result

Proposition 2.2

Assume that all the D5 charges $c_i$ are equal to one.

Figures (4)

  • Figure 1: The sizes of $\vartheta$ function identities obtained from 3d mirror symmetry for elliptic stable envelopes on 'small' bow varieties, cf. § \ref{['sec:mirror']}.
  • Figure 2: The combinatorics of the restriction map to a torus fixed point.
  • Figure 3: The Hanany-Witten interpretation of Definition \ref{['def:mirror fixed point']}.
  • Figure 4: The sizes of irreducible $\vartheta$ function identities Theorem \ref{['thm:mirror for Wt']} provides for small $r$ and $c$. Examples for those in blue are given below.

Theorems & Definitions (70)

  • Example 2.1
  • Proposition 2.2: BR23ji2024bow
  • Theorem 2.3
  • Proposition 2.4
  • Lemma 2.5
  • proof
  • Theorem 2.6: BR23
  • Definition 2.7
  • Lemma 2.8
  • proof
  • ...and 60 more