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

About 3 years old · traced to

Let X=C4X=\mathbb{C}^4, let E=⨁i=1NOX⟨yi⟩E=\bigoplus_{i=1}^{N}\mathcal{O}_X\langle y_i\rangle and V=⨁i=1rOX⟨vi⟩V=\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=1∞Fn(λ1λ2λ3λ4)n−2(∫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 Fn∈HT4n−6(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.

References

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.