Weak Segre–Verlinde correspondence and symmetry for four-dimensional affine space

Let X=C4X=\mathbb{C}^4, let E=i=1NOXyiE=\bigoplus_{i=1}^{N}\mathcal{O}_X\langle y_i\rangle and V=i=1rOXviV=\bigoplus_{i=1}^{r}\mathcal{O}_X\langle v_i\rangle, and let αKT(X)\alpha\in K_{\mathsf{T}}(X). Weak Segre–Verlinde correspondence and symmetry. For some choice of signs o(L)o(\mathcal{L}),

SX(E,V;(1)Nq)=SX(V,E;(1)rq),{\mathcal{S}}_X(E,V;(-1)^Nq)={\mathcal{S}}_X(V,E;(-1)^rq),

and

SX,0(E,α;q)VX,0(E,α;(1)Nq)=n=1Fn(λ1λ2λ3λ4)n2(Xc3(X))2qn,{\mathcal{S}}_{X,0}(E,\alpha;q)-{\mathcal{V}}_{X,0}(E,\alpha;(-1)^Nq)=\sum_{n=1}^\infty \frac{F_n}{(\lambda_1\lambda_2\lambda_3\lambda_4)^{n-2}}\left(\int_X c_3(X)\right)^2q^n,

where FnHT4n6(pt)F_n\in H_{\mathsf{T}}^{4n-6}(\operatorname{pt}) depends on α\alpha through its rank and Chern classes. The conjecture is motivated by the surface case and was checked computationally in several low-degree and low-rank cases; a general proof is not supplied.

Sources & referencesView supporting material

Primary source

Arkadij Bojko and Jiahui Huang, “Equivariant Segre and Verlinde invariants for Quot schemes”, arXiv:2303.14266 (2023).

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.