Pith. sign in

REVIEW 2 major objections 4 minor 43 references

Equivariant Chern character operators and Okounkov's conjecture

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read For degrees 0 through 2, the equivariant Chern character operator on Hilbert schemes of points in the affine plane equals a deformed-vertex operator, and this match partially verifies Okounkov's conjecture on q-analogues of multiple zeta…

desk verdict Solid self-contained vertex-operator result for k≤2, but the Okounkov verification leans on an unpublished preprint and is conditional. read the letter →

arxiv 2505.14626 v1 pith:WWO4YGYU submitted 2025-05-20 math.AG math.COmath.NTmath.RT

classification math.AGmath.COmath.NTmath.RT MSC 14C0511B6517B69
keywords HilbertschemesofpointsequivariantCherncharacteroperatorsOkounkov'sconjecturemultipleq-zetavaluesJacksymmetricfunctionsMacdonalddeformedvertexHeisenberg
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper aims to identify the equivariant Chern character operators $G_k(t_1,t_2)$ acting on the equivariant cohomology of Hilbert schemes of points in $\mathbb{C}^2$ with concrete vertex-operator expressions, and to use that identification to make progress on Okounkov's conjecture that certain reduced series are $q$-analogues of multiple zeta values. The main theorem proves the identification for $k=0,1,2$: $G_k(t_1,t_2)=t_2^k t_1^{\delta(\cdot)}B_k^{(\alpha)}|_{\alpha=-t_1/t_2}$, where the $B_k^{(\alpha)}$ are coefficients of an operator built from the deformed vertex operator introduced in [CW]. A direct consequence is that Okounkov's reduced single-operator series at $m=0$ lies in the algebra $\mathrm{qMZV}[t_1,t_2]$, with leading coefficient $(-1)^k[k+2]$; the multi-operator series lies in the larger algebra $\mathrm{qBD}[t_1,t_2]$. A sympathetic reader would care because the result connects cup-product geometry on Hilbert schemes to the combinatorics of symmetric functions and to concrete arithmetic $q$-series.

What carries the argument

The load-bearing object is the operator $B(q,t^{-1})$ formed from the zero mode of the deformed vertex operator $V(z;q,t,\tilde q,\tilde t)=\exp\big(\sum_{k\ge1}(q^k-\tilde q^k)z^k a_{-k}/k\big)\exp\big(\sum_{k\ge1}(\tilde t^k-t^k)z^{-k}a_k/k\big)$, normalized by $((1-q)(1-t^{-1}))^{-1}$. The paper proves in Lemma 4.2 that the integral form $J_\lambda(X;q,t)$ of the Macdonald symmetric function is an eigenfunction of this operator with eigenvalue $\sum_{\square} q^{a'(\square)}t^{-\ell'(\square)}$. Because this eigenvalue is exactly the equivariant Chern character weight at the torus-fixed point $\xi_\lambda$ of the Hilbert scheme, the operator $t_2^k t_1^{\delta(\cdot)}B_k^{(\alpha)}|_{\alpha=-t_1/t_2}$ reproduces $G_k$ up to degree $k=2$. The same operator calculus then feeds the trace computations via the Ext vertex operators $\Gamma_\pm(z)$, turning reduced series into coefficient extractions of $q$-bracket expressions.

What would settle it

Expand the explicit coefficient formula (5.30) for $N=1$ to compute the coefficient of $t_1^3$ in $\langle\mathrm{ch}_3\rangle'_{0,t_1,t_2}$. The theorem predicts this coefficient is $- [5]$ plus a finite linear combination of lower-weight elements of $\mathrm{qMZV}$; finding a term outside $\mathrm{qMZV}$, or a leading bracket different from $-[5]$, would disprove the partial verification.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes Theorem 1.2: for $0\le k\le 2$, the operator $G_k(t_1,t_2)$ defined by equivariant cup product with the $k$-th equivariant Chern character of the tautological bundle equals $t_2^k t_1^{\delta(\cdot)} B_k^{(\alpha)}$ evaluated at $\alpha=-t_1/t_2$. Here $B(q,t^{-1})$ is the operator $\frac{1}{(1-q)(1-t^{-1})}(1-V_0(z;t,t^{-1},1,qt^{-1}))$, with $V$ the deformed vertex operator introduced in [CW], and $B_k^{(\alpha)}$ is the coefficient of $t_0^k$ after setting $q=e^{\alpha t_0}$, $t=e^{t_0}$. The proof passes through the Fock-space identification of $H'_X$ with symmetric functions: the integral form $J_\lambda(X;q,t)$ of the Macdonald polynomial is an eigenfunction of $B(q,t^{-1})$ with eigenvalue $\sum_{\square\in D_\lambda}q^{a'(\square)}t^{-\ell'(\square)}$, exactly the localization eigenvalue of the equivariant Chern character at the fixed point $\xi_\lambda$. With this identification in hand, the paper derives the partial verification Theorem 1.4: $\langle\mathrm{ch}_k\rangle'_{0,t_1,t_2}\in \mathrm{qMZV}[t_1,t_2]$ is a degree-$k$ symmetric homogeneous polynomial whose coefficients have weight at most $k+2$, and the coefficient of $t_1^k$ is $(-1)^k[k+2]$ plus lower-weight terms. For several operators with $k_i\in\{0,1,2\}$ and arbitrary $m$, the reduced series lies in $\mathrm{BD}(t_1,t_2)[m]$.

Load-bearing premise

The load-bearing premise is that the unpublished results quoted as [Qin3] correctly establish the needed qBD/qMZV membership for the coefficient series appearing in (5.24) and (5.30); if those results are wrong or do not apply to these expressions, the paper's partial verification of Okounkov's conjecture does not follow from the arguments presented.

Editorial extensions

If this is right

  • For a single Chern character operator, the reduced series at $m=0$ is a polynomial in $t_1,t_2$ with coefficients in $\mathrm{qMZV}$, so Okounkov's conjecture holds in that case (Theorem 1.4(ii)).
  • For $k_i\in\{0,1,2\}$, the full reduced series at arbitrary $m$ lands in $\mathrm{BD}(t_1,t_2)[m]$, meaning it is a polynomial in $m$ whose coefficients are bi-brackets.
  • The explicit formula (4.40) for $G_2$ gives the first beyond-boundary equivariant Chern character operator in closed vertex-operator form, extending the known non-equivariant formula.
  • The leading-term structure of $G_k$ predicted in Conjecture 1.3 is consistent with the leading coefficients computed from the vertex-operator side, giving a concrete target for all $k$.
  • The commutation calculus with $G_1$ yields the leading term $n^k k!\sum_{\ell(\lambda)=k+1,|\lambda|=-n}(-1)^{\ell(\lambda_+)}(t_1t_2)^{\ell(\lambda_-)-1}a_\lambda/\lambda!$ for the higher derivatives $a_{-n}^{(k)}$ (Proposition 6.5).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An extension the authors do not pursue is to test Conjecture 1.3 for $k=3$ by computing the leading term of $G_3$ through the same vertex-operator expansion; the paper notes that the exact identity (1.12) is unlikely to hold beyond $k=2$, so only the leading-term comparison is expected to survive.
  • If the companion results quoted as [Qin3] are written out and checked against (5.24) and (5.30), the same coefficient extraction may upgrade Theorem 1.4 from the single-operator $m=0$ case to the full Okounkov conjecture by tracking weights through the vertex-operator expansion.
  • The eigenfunction mechanism suggests a broader dictionary: any operator on $H'_X$ that is diagonal on the fixed-point basis with weights of the form $\sum_{\square} f(a'(\square),\ell'(\square))$ may be realizable as a zero mode of a deformed vertex operator, giving a constructive route to the higher Chern character operators.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies equivariant Chern character operators G_k(t_1,t_2) acting on the equivariant cohomology H'_X of the Hilbert schemes (C^2)^[n]. Its main structural result, Theorem 1.2, identifies G_k for 0 <= k <= 2 with the vertex-operator expression t_2^k t_1^{delta(.)} B_k^{(alpha)} evaluated at alpha = -t_1/t_2. The proof uses Jack/Macdonald eigenfunctions and the deformed vertex operators of Cheng--Wang. The paper then applies this identification to Okounkov's conjecture on reduced generating series of equivariant intersections, proving Theorem 1.4, a partial verification whose decisive qBD/qMZV membership steps are delegated to the unpublished preprint [Qin3]. A further section derives closed formulas for higher derivatives of equivariant Heisenberg operators, including the leading-term formula in Proposition 6.5.

Significance. If Theorem 1.2 stands, it is a valuable and concrete structural result: it gives explicit formulas (1.13), (1.14), and (4.40), with no fitted parameters, and it connects the first three equivariant Chern character operators to known vertex-operator constructions. The derivative formula in Theorem 6.4 and the leading-term statement in Proposition 6.5 also appear to be new and are derived self-containedly from Theorem 1.2. The Okounkov verification is explicitly partial, and the paper is honest about that; however, the advertised qBD/qMZV conclusions currently rest on the quoted results of [Qin3], which is not available for inspection. The theorems that are proved in the manuscript are presented with detailed computations, and I found no free parameters or circular definitions in the vertex-operator identification itself.

major comments (2)
  1. [Section 5, Theorem 5.9 and Theorem 5.11] The central verification of Okounkov's conjecture is not proved in this manuscript. After reducing the problem to the explicit coefficient extractions (5.24) and (5.30), the proofs of [ch_{k_1}...ch_{k_N}]'_{m,t_1,t_2} in BD(t_1,t_2)[m], of <ch_{k_1}...ch_{k_N}>'_{0,t_1,t_2} in qBD[t_1,t_2], and of the weight bounds are all delegated by one-line citations to [Qin3, Theorem 1.1, Theorem 1.3(i)-(ii), Remark 3.2]. [Qin3] is an unpublished preprint by one of the authors, and its statements and hypotheses are not reproduced. As it stands, Theorem 1.4 is conditional on external results whose applicability to (5.24) and (5.30) cannot be checked by the reader. This is a load-bearing dependency: without [Qin3], the paper's partial verification of Okounkov's conjecture does not follow from the presented arguments. The authors should either include full statements and proofs of the invoked results or reformulate the theorems as conditional statements.
  2. [Section 5, Theorem 5.11(ii)] The proof of the qMZV statement for <ch_k>'_{0,t_1,t_2} relies on the expansion 1 - (q)_infinity(\tilde q \tilde t^{-1} q)_infinity / ((\tilde q q)_infinity(\tilde t^{-1} q)_infinity) = -alpha z^2 \sum_{m>=0} h_m(alpha) z^m, together with the asserted properties that h_m(alpha) in qMZV[alpha], deg_alpha h_m = m, weight(h_m)=m+2, and the coefficient of alpha^m in h_m equals [m+2]. These properties are quoted from [Qin3, Remark 3.2] with no derivation. This expansion is exactly what converts the vertex-operator coefficient extraction into the qMZV membership and the stated leading coefficient (-1)^k[k+2], so it is load-bearing for Theorem 1.4(ii). The manuscript should supply a proof of this expansion and of the stated properties of h_m, or state the exact hypotheses under which [Qin3, Remark 3.2] applies.
minor comments (4)
  1. [Section 4, proof of Lemma 4.2] The word 'identificaition' appears twice in the proof of Lemma 4.2 and should be corrected to 'identification'.
  2. [Section 5, equation (5.16)] The expression (q;q)_infinity^{-1-(m+t_1+t_2)m/(t_1 t_2)} involves negative and non-integer exponents. Since the paper works with formal power series, a brief sentence stating that these powers are interpreted in Q(t_1,t_2)[[q]] would prevent ambiguity.
  3. [Section 1, Theorem 1.2 and Conjecture 1.3] The notation t_1^{delta(.)} is defined through Definition 3.4(i), but the introduction uses it before that definition is stated. An example of the action of t_1^{delta(.)} on a generalized partition would improve readability.
  4. [References] The reference [Qin3] is listed only as 'Preprint' with no date or availability information. If it is intended as a companion paper, the authors should provide a public identifier or include the relevant statements in the present paper; otherwise the reader cannot assess the quoted results.

Circularity Check

3 steps flagged · score 4.0 of 10

Theorem 1.4's qMZV conclusion is delegated to the same author's unpublished [Qin3]; the reduction to bracket extractions is independent, but the final Okounkov verification rests on load-bearing self-citation.

  1. self citation load bearing [Section 5, proof of Theorem 5.9 (after (5.24))]
    "By [Qin3, Theorem 1.1 and Theorem 1.3 (i)], [chk1 · · · chkN ]′ m,t1,t2 ∈ BD(t1, t2)[m] with both degree (inm) and weight at most PN i=1(ki + 2)."

    The BD(t1,t2)[m] membership for all N and m is the conclusion needed for Theorem 1.4(iii). The proof supplies only the coefficient extraction (5.24) and then cites the co-author's unpublished [Qin3] for the membership, degree bound, and weight bound. No verification that (5.24) satisfies [Qin3]'s hypotheses is given, and the preprint is not publicly checkable. The claim is therefore carried by the author's own unverified prior result rather than by the derivation in this paper.

  2. self citation load bearing [Section 5, proof of Theorem 5.11(i) (after (5.30))]
    "By (5.25) and [Qin3, Theorem 1.1 and Theorem 1.3 (ii)], we obtain ⟨chk1 · · · chkN ⟩′ 0,t1,t2 ∈ qBD(t1, t2) whose weight is at most PN i=1(ki + 2)."

    This is the decisive step for the qBD part of Theorem 1.4(i). The paper reduces the reduced series to the explicit expression (5.30), then imports from [Qin3] the qBD membership and weight bound. The cited theorem is from the same author's unpublished preprint and is not proven or stated in the present paper; the hypotheses are not checked against (5.30). Thus the partial verification of Okounkov's conjecture for arbitrary k1,...,kN at m=0 reduces to the self-citation.

1 more flagged steps
  1. self citation load bearing [Section 5, proof of Theorem 5.11(ii) (bottom of page 26 through page 27)]
    "in view of [Qin3, Remark 3.2], we conclude that 1− (q)∞(˜q˜t−1q)∞ (˜qq)∞(˜t−1q)∞ = −[2]αz 2 −[3](α−1)αz 3 −[4]α 3z4 −(1/2 [2]2 − 3/2 [4])α2z4 −[4]αz 4 +O(z 5) = −αz 2 · P∞ m=0 hm(α)zm where h m(α)∈qMZV[α] for each m≥0, deg α hm(α) =m, the weight of h m(α)∈qMZV[α] is m+2, and the coefficient of α m in h m(α) is equal to [m+2]."

    This step is the core of Theorem 1.4(ii): it places the single-operator reduced series in qMZV[t1,t2] and fixes the leading coefficient (−1)^k[k+2]. Both the explicit expansion and the bracketed qMZV interpretation with weight bounds and leading coefficient are imported from [Qin3, Remark 3.2], an unpublished preprint by one of the authors. The present paper does not prove the expansion or the qMZV membership, and does not demonstrate that the particular z- and α-extraction in (5.30) satisfies the conditions of that remark. Accordingly, the claimed partial verification of Okounkov's conjecture depends on an unverified self-citation.

full rationale

I found no fitted-input or definitional circularity. Theorem 1.2 (= Theorem 4.5) is derived by showing that both G_k and t2^k t1^δ B_k^(α)|_{α=−t1/t2} act diagonally on the Jλ(t1,t2) basis with the same Chern-character eigenvalues, using Lemmas 4.2-4.4; the eigenfunction comparison is legitimate and does not presuppose the conclusion. Lemma 5.10's reduction of ⟨chk1···chkN⟩'_{0,t1,t2} to the explicit coefficient expression (5.30) is also derived in the paper from trace identities and (1.7). The circularity burden lies entirely in the last step: Theorem 5.9 and Theorem 5.11 invoke [Qin3, Theorem 1.1, Theorem 1.3, Remark 3.2] for the decisive BD/qBD/qMZV memberships, weight bounds, and the leading coefficient [k+2]. [Qin3] is cited in the references as a preprint by the co-author Zhenbo Qin, it is not reproduced or verified in the present paper, and its hypotheses are not checked against (5.24)/(5.30). Because the central claim of the paper — the partial verification of Okounkov's Conjecture — depends on that unverified self-citation, the score is raised to 4. The vertex-operator identification and the trace reduction are independent content, so I would not go higher; there is no constructional equivalence or renamed fit.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper introduces no new free parameters or invented entities; all parameters are formal variables from the existing vertex-operator and symmetric-function framework. The main ledger issue is the heavy dependence on the unpublished same-author preprint [Qin3] for the Okounkov verification.

assumptions (7)
  • standard math Localization theorem identifies equivariant cohomology classes with fixed-point data; [xi_lambda] form a basis of H'_X.
    Used in Sections 1 and 4; standard in equivariant cohomology of torus actions with isolated fixed points.
  • standard math Grojnowski-Nakajima Heisenberg operators give an irreducible Fock space action on H'_X and a linear isomorphism with the ring of symmetric functions.
    Theorem 3.1 and equation (4.2); foundational for expressing operators in creation-annihilation form.
  • standard math The integral form J_lambda(X;q,t) of Macdonald symmetric functions is an eigenfunction of B(q,t^{-1}) with eigenvalue sum over cells q^{a'} t^{-l'}.
    Lemma 4.2, based on [GH, Hai, CW]. This is the spectral input for Theorem 1.2.
  • standard math The asymptotic expansion J_lambda(X;q,t)/(1-t)^{|lambda|} = J^{(alpha)}_lambda + (n(lambda')alpha+n(lambda))/2 J^{(alpha)}_lambda t0 + O(2) from [Mac].
    Used in Lemma 4.4 to extract B_1 and B_2 from the t0 expansion.
  • domain assumption The trace formula (5.15) from [Car2, Lemma 3] remains valid when the exponents m+t1+t2 and m/(t1t2) are formal, non-integer values.
    The paper says 'we will pretend that m+t1+t2 and m/(t1t2) are integers' before (5.15); analytic continuation is asserted, not proved.
  • domain assumption The Ext vertex operator formula W(L_m,z)=Gamma_-(z)^{m+t1+t2} Gamma_+(z)^{m/(t1t2)} and the eigenvalue a_{lambda,lambda} from [Car1] are correct in this sign convention.
    Remark 5.1 and Lemma 5.2; sign conventions differ from [Car1] and are only partially reconciled.
  • ad hoc to paper [Qin3, Theorem 1.1 and Theorem 1.3] and [Qin3, Remark 3.2] are correct and applicable to the expressions (5.24) and (5.30).
    These are the decisive inputs for Theorems 5.9 and 5.11; [Qin3] is an unpublished preprint by Z. Qin with no link or version supplied.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivariant Chern character operators and Okounkov's conjecture." pith.science (2026). https://pith.science/paper/WWO4YGYU

@misc{pith2026250514626,
  author       = {Pith},
  title        = {Pith review of: Equivariant Chern character operators and Okounkov's conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WWO4YGYU}},
  note         = {Machine review of arXiv:2505.14626}
}
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].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages

  1. [1]

    M. M. Alhwaimel, Toward Qin's Conjecture on Hilbert schemes of points and quasi-modular forms . Manuscripta Math. 176 , 31 (2025). https://doi.org/10.1007/s00229-025-01630-1

  2. [2]

    M. M. Alhwaimel, Z. Qin, Hilbert schemes of points on surfaces and multiple q -zeta values . Pure Appl. Math. Q. 20 (2024), 2615-2646

  3. [3]

    Bachmann, The algebra of bi-brackets and regularized multiple Eisenstein series

    H. Bachmann, The algebra of bi-brackets and regularized multiple Eisenstein series. J. Number Theory 200 (2019), 260-294

  4. [4]

    Bachmann, U

    H. Bachmann, U. K\" uhn, The algebra of generating functions for multiple divisor sums and applications to multiple zeta values . Ramanujan J. 40 (2016), 605-648

  5. [5]

    Bachmann, U

    H. Bachmann, U. K\" uhn, A dimension conjecture for q -analogues of multiple zeta values . Periods in Quantum Field Theory and Arithmetic, Springer Proceedings in Mathematics & Statistics 314 (2020), 237-258

  6. [6]

    A short note on a conjecture of Okounkov about a q-analogue of multiple zeta values

    H. Bachmann, U. K\" uhn, A short note on a conjecture of Okounkov about a q -analogue of multiple zeta values . arXiv:1407.6796

  7. [7]

    Bloch, A

    S. Bloch, A. Okounkov, The character of the infinite wedge representation . Adv. Math. 149 (2000), 1-60

  8. [8]

    Bradley, Multiple q -zeta values

    D. Bradley, Multiple q -zeta values . J. Algebra 283 (2005), 752-798

Show all 43 references
  1. [9]

    Bradley, On the sum formula for multiple q -zeta values

    D. Bradley, On the sum formula for multiple q -zeta values . Rocky Mountain J. Math. 37 (2007), 1427-1434

  2. [10]

    Briancon, Description de Hilb ^n C \ x, y\

    J. Briancon, Description de Hilb ^n C \ x, y\ . Invent. Math. 41 (1977), 45-89

  3. [11]

    Carlsson, Vertex operators and moduli spaces of sheaves

    E. Carlsson, Vertex operators and moduli spaces of sheaves . Ph.D thesis, Princeton University, 2008. arXiv:0906.1825v1

  4. [12]

    Carlsson, Vertex operators and quasimodularity of Chern numbers on the Hilbert scheme

    E. Carlsson, Vertex operators and quasimodularity of Chern numbers on the Hilbert scheme . Adv. Math. 229 (2012), 2888-2907

  5. [13]

    Carlsson, A

    E. Carlsson, A. Okounkov, Exts and Vertex Operators . Duke Math. J. 161 (2012), 1797-1815

  6. [14]

    Cheng, W

    S.-J. Cheng, W. Wang, The correlation functions of vertex operators and Macdonald polynomials . J. Algebraic Comb. 25 (2007), 43-56

  7. [15]

    Ellingsrud, S.A

    G. Ellingsrud, S.A. Str mme, On the homology of the Hilbert scheme of points in the plane . Invent. Math. 87 (1987), 343-352

  8. [16]

    Fogarty, Algebraic families on an algebraic surface

    J. Fogarty, Algebraic families on an algebraic surface . Amer. J. Math. 90 (1968), 511-521

  9. [17]

    Garsia, M

    A.M. Garsia, M. Haiman, A remarkable q, t -Catalan sequence and q -Lagrange inversion . J. Algebraic Comb. 5 (1996), 191-244

  10. [18]

    G\"ottsche, The Betti numbers of the Hilbert scheme of points on a smooth projective surface

    L. G\"ottsche, The Betti numbers of the Hilbert scheme of points on a smooth projective surface . Math. Ann. 286 (1990) 193--207

  11. [19]

    Grojnowski, Instantons and affine algebras I: the Hilbert scheme and vertex operators , Math

    I. Grojnowski, Instantons and affine algebras I: the Hilbert scheme and vertex operators , Math. Res. Lett. 3 (1996) 275--291

  12. [20]

    Haiman, Combinatorics, symmetric functions and Hilbert schemes

    M. Haiman, Combinatorics, symmetric functions and Hilbert schemes . Current Developments in Mathematics, no. 1 (2002), 39-111

  13. [21]

    Iarrobino, Punctual Hilbert schemes

    A. Iarrobino, Punctual Hilbert schemes . Bull. Amer. Math. Soc. 78 (1972), 819-823

  14. [22]

    Lehn, Chern classes of tautological sheaves on Hilbert schemes of points on surfaces , Invent

    M. Lehn, Chern classes of tautological sheaves on Hilbert schemes of points on surfaces , Invent. Math. 136 (1999) 157--207

  15. [23]

    W.-P. Li, Z. Qin and W. Wang, Vertex algebras and the cohomology ring structure of Hilbert schemes of points on surfaces . Math. Ann. 324 (2002), 105-133

  16. [24]

    W.-P. Li, Z. Qin and W. Wang, Hilbert schemes and W algebras . Intern. Math. Res. Notices 27 (2002), 1427-1456

  17. [25]

    W.-P. Li, Z. Qin, W. Wang, Hilbert schemes, integrable hierarchies, and Gromov-Witten theory . Intern. Math. Res. Notices 40 (2004), 2085-2104

  18. [26]

    W.-P. Li, Z. Qin, W. Wang, The cohomology rings of Hilbert schemes via Jack polynomials . CRM Proceedings and Lecture Notes 38 (2004), 249-258

  19. [27]

    I. G. Macdonald, Symmetric functions and Hall polynomials . 2nd Ed.. Clarendon Press, Oxford, 1995

  20. [28]

    Nakajima, Heisenberg algebra and Hilbert schemes of points on projective surfaces

    H. Nakajima, Heisenberg algebra and Hilbert schemes of points on projective surfaces . Ann. Math. 145 (1997), 379-388

  21. [29]

    Nakajima, Lectures on Hilbert schemes of points on surfaces

    H. Nakajima, Lectures on Hilbert schemes of points on surfaces . Univ. Lect. Ser. 18 . Amer. Math. Soc., RI, 1999

  22. [30]

    Nekrasov, A

    N. Nekrasov, A. Okounkov, Seiberg-Witten theory and random partitions , In The Unity of Mathematics (ed. by P. Etingof, V. Retakh, I. M. Singer). Progress in Mathematics 244 , Birkh\"auser, 2006

  23. [31]

    Okounkov, Hilbert schemes and multiple q -zeta values

    A. Okounkov, Hilbert schemes and multiple q -zeta values . Funct. Anal. Appl. 48 (2014), 138-144

  24. [32]

    Okounkov, R

    A. Okounkov, R. Pandharipande, Quantum cohomology of the Hilbert schemes of points in the plane . Invent. Math. 179 (2010), 523-557

  25. [33]

    Okounkov, R

    A. Okounkov, R. Pandharipande, The quantum differential equation of the Hilbert scheme of points in the plane . Transform. Groups 15 (2010), 965-982

  26. [34]

    Okuda, Y

    J. Okuda, Y. Takeyama, On relations for the multple q -zeta values . Ramanujan J. 14 (2007), 379-387

  27. [35]

    Qin, Hilbert schemes of points and infinite dimensional Lie algebras

    Z. Qin, Hilbert schemes of points and infinite dimensional Lie algebras . Mathematical Surveys and Monographs 228 , American Mathematical Society, Providence, RI, 2018

  28. [36]

    Qin, A quick survey from S-duality conjecture of Vafa-Witten to a conjecture of Okounkov

    Z. Qin, A quick survey from S-duality conjecture of Vafa-Witten to a conjecture of Okounkov . Presentation at the SQuaRE Workshop ``Moduli of sheaves on surfaces via Bridgeland stability", American Institute of Mathematics, San Jose, CA, 2022

  29. [37]

    Qin, Multiple q -zeta values and traces

    Z. Qin, Multiple q -zeta values and traces . Preprint

  30. [38]

    Z. Qin, F. Yu, On Okounkov's conjecture connecting Hilbert schemes of points and multiple q -zeta values . Intern. Math. Res. Notices 2018 , 321-361

  31. [39]

    Tang, Higher order derivatives of Heisenberg operators on the cohomology of the Hilbert schemes of points

    T. Tang, Higher order derivatives of Heisenberg operators on the cohomology of the Hilbert schemes of points . Undergraduate Summer Research Internship. Hong Kong University of Science and Technology and University of Missouri, 2019

  32. [40]

    Vasserot, Sur l'anneau de cohomologie du sch\'ema de Hilbert de C^2

    E. Vasserot, Sur l'anneau de cohomologie du sch\'ema de Hilbert de C^2 . C. R. Acad. Sci. Paris, S\'er. I Math. 332 (2001), 7-12

  33. [41]

    Zhao, Uniform approach to double shuffle and duality relations of various q -analogs of multiple zeta values via Rota-Baxter algebras

    J. Zhao, Uniform approach to double shuffle and duality relations of various q -analogs of multiple zeta values via Rota-Baxter algebras . in: Periods in Quantum Field Theory and Arithmetic, J.\ I.\ B.\ Gil, K.\ Ebrahimi-Fard and H.\ Gangl (eds.), ICMAT, Madrid, pp. 259-292, 2...

  34. [42]

    Zhou, On quasimodularity of some equivariant intersection numbers on the Hilbert schemes

    J. Zhou, On quasimodularity of some equivariant intersection numbers on the Hilbert schemes . Preprint. arXiv:1801.09090

  35. [43]

    Zudilin, Algebraic relations for multiple zeta values

    W. Zudilin, Algebraic relations for multiple zeta values . Russian Math. Surveys 58 (2003), 1-29

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.