The three-dimensional connected-generating-function odd qMZV conjecture

Let XX be a smooth threefold with equivariant Hilbert schemes and let chki\operatorname{ch}_{k_i} be Chern-character components. Define the normalized connected generating functions ichki ⁣\left\langle\prod_i\operatorname{ch}_{k_i}\right\rangle^{\!\circ} and the algebra

oqZ=Q[(qddq)lZ(2k+1)]k1,l0qMZV.\mathsf{oqZ}=\mathbb{Q}\left[\left(q\frac{d}{dq}\right)^lZ(2k+1)\right]_{k\geq1,\,l\geq0}\subset\mathsf{qMZV}.

Give the generators (qddq)lZ(2k+1)\left(q\frac{d}{dq}\right)^lZ(2k+1) 3D weight 2k+1+l2k+1+l and depth 11, and let oqZw,d\mathsf{oqZ}_{\leq w,\geq d} denote the part of 3D weight at most ww and depth at least dd.

Three-dimensional qMZV conjecture. Connected generating functions satisfy

ichki ⁣dkdQoqZ2+i(ki+1),d,\left\langle\prod_i\operatorname{ch}_{k_i}\right\rangle^{\!\circ}\in\sum_d\Bbbk_d\otimes_{\mathbb{Q}}\mathsf{oqZ}_{\leq 2+\sum_i(k_i+1),\geq d},

where the first subscript is an upper bound on 3D weight and the second specifies the depth bound.

This is a proposed structural description of connected three-dimensional Hilbert-scheme generating functions in terms of odd qq-zeta values and their derivatives. The surrounding text also proposes, separately, that oqZ\mathsf{oqZ} should be free on its generators; the candidate recorded here is the asserted containment for connected generating functions.

Sources & referencesView supporting material

Primary source

Andrei Okounkov, “Hilbert schemes and multiple q-zeta values”, arXiv:1404.3873 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.