Table of Contents
Fetching ...

Equivariant Chern character operators and Okounkov's conjecture

Mazen M. Alhwaimel, Zhenbo Qin

TL;DR

This work advances the understanding of equivariant Chern character operators on the torus-equivariant cohomology of Hilbert schemes ${(\,\mathbb{C}^2\,)}^{[n]}$ by connecting geometry to symmetric-function theory through deformed vertex operators and transformed Macdonald/Jack bases. It provides explicit expressions for the equivariant Chern character operators in low degree ($k=0,1,2$) and reveals their vertex-operator structure, while framing higher-degree terms via leading-term conjectures tied to generalized partitions. Using Ext-vertex operators, it partially verifies Okounkov's Conjecture in the equivariant setting: the reduced generating series for single insertions lies in $\mathbf{qMZV}[t_1,t_2]$ with weight bounds, and multi-insertion cases with $k_i\in\{0,1,2\}$ satisfy polynomial weight/degre constraints in a bi-bracket algebra. The paper also develops a theory of equivariant higher-order derivatives of Heisenberg and Chern character operators, delivering a closed form for $\mathfrak a_{-n}^{(k)}$ and establishing a universal leading-term pattern indexed by generalized partitions, with a key inductive result $f^{(k)}_{0,\lambda}=n^k k!$.

Abstract

In this paper, we study the Chern character operators on the equivariant cohomology of the Hilbert schemes of points in the complex affine plane $C^2$ with the action of the torus $(C^*)^2$, and partially verify Okounkov's Conjecture [Oko, Conjecture 2] in this setting. Our main idea is to apply the connection between the equivariant cohomology of these Hilbert schemes and the ring of symmetric functions, via the deformed vertex operators of Cheng and Wang [CW], (the integral form of) the Jack symmetric functions and the transformed Macdonald symmetric functions of Garsia and Haiman [GH, Hai].

Equivariant Chern character operators and Okounkov's conjecture

TL;DR

This work advances the understanding of equivariant Chern character operators on the torus-equivariant cohomology of Hilbert schemes by connecting geometry to symmetric-function theory through deformed vertex operators and transformed Macdonald/Jack bases. It provides explicit expressions for the equivariant Chern character operators in low degree () and reveals their vertex-operator structure, while framing higher-degree terms via leading-term conjectures tied to generalized partitions. Using Ext-vertex operators, it partially verifies Okounkov's Conjecture in the equivariant setting: the reduced generating series for single insertions lies in with weight bounds, and multi-insertion cases with satisfy polynomial weight/degre constraints in a bi-bracket algebra. The paper also develops a theory of equivariant higher-order derivatives of Heisenberg and Chern character operators, delivering a closed form for and establishing a universal leading-term pattern indexed by generalized partitions, with a key inductive result .

Abstract

In this paper, we study the Chern character operators on the equivariant cohomology of the Hilbert schemes of points in the complex affine plane with the action of the torus , and partially verify Okounkov's Conjecture [Oko, Conjecture 2] in this setting. Our main idea is to apply the connection between the equivariant cohomology of these Hilbert schemes and the ring of symmetric functions, via the deformed vertex operators of Cheng and Wang [CW], (the integral form of) the Jack symmetric functions and the transformed Macdonald symmetric functions of Garsia and Haiman [GH, Hai].

Paper Structure

This paper contains 8 sections, 22 theorems, 210 equations.

Key Result

Theorem 1.2

If $0 \le k \le 2$, then where $t_1^{\delta(\cdot)} \mathfrak a _{\lambda} = t_1^{\delta({\lambda})} \mathfrak a _{\lambda} = t_1^{\ell({\lambda}^-) - \ell({\lambda}^+)} \mathfrak a _{\lambda}$ for a generalized partition ${\lambda}$, and ${\lambda}^+$ and ${\lambda}^-$ are the positive and negative parts of ${\lambda}$

Theorems & Definitions (52)

  • Definition 1.1
  • Theorem 1.2
  • Conjecture 1.3
  • Theorem 1.4
  • Definition 1.5
  • Definition 2.1
  • Definition 2.2
  • Theorem 3.1
  • Definition 3.2
  • Example 3.3
  • ...and 42 more