The Euler-characteristic discrepancy conjecture for degeneracy-locus Hilbert squares

Let m1m\geq1, let s{m+3,,2m+3}s\in\{m+3,\ldots,2m+3\}, and set n=2s2m3n=2s-2m-3. Let Mm,s\mathsf{M}_{m,s} be the degeneracy locus considered in the paper and let Zn,s,mZ_{n,s,m} be the associated variety. Euler-characteristic discrepancy conjecture. One has

etop(Hilb2(Mm,s))etop(Zn,s,m)=(1)dim(Mm,s)1s(2sm2s1)(2sm3s1).e_{\mathrm{top}}(\operatorname{Hilb}^2(\mathsf{M}_{m,s}))-e_{\mathrm{top}}(Z_{n,s,m})=(-1)^{\dim(\mathsf{M}_{m,s})}\frac{1}{s}\binom{2s-m-2}{s-1}\binom{2s-m-3}{s-1}.

The formula is motivated by explicit examples, where the discrepancy equals the number of contracted special fibres; its validity in the stated parameter range remains open.

Sources & referencesView supporting material

Primary source

Enrico Fatighenti, Francesco Meazzini, Giovanni Mongardi and Andrea T. Ricolfi, “Hilbert squares of degeneracy loci”, arXiv:2204.00437 (2022).

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.