GIT quotient conjecture for semistable syzygy points of canonical curves

Let gg and pp be integers, and let Hilb(Pg1)p,2ss\operatorname{Hilb}(\mathbb{P}^{g-1})_{p,2}^{\operatorname{ss}} denote the locus in the Hilbert scheme of genus gg canonically embedded curves whose (p,2)(p,2)-syzygy point is semistable. Let λ\lambda and δ\delta be the standard Hodge and boundary divisor classes on Mg\overline{\mathcal{M}}_g. Syzygy-GIT quotient conjecture. There is an isomorphism

Hilb(Pg1)p,2ss/!/SL(g)Projm0H0(Mg,m((8+4g(g1)(g2)g(gp1))λδ)).\operatorname{Hilb}(\mathbb{P}^{g-1})_{p,2}^{\operatorname{ss}}/\\!/\operatorname{SL}(g) \simeq \operatorname{Proj} \bigoplus_{m\geq 0} \mathrm{H}^0\left(\overline{\mathcal{M}}_g, m\left(\left(8+\frac{4}{g}-\frac{(g-1)(g-2)}{g(g-p-1)}\right)\lambda-\delta\right) \right).

This would give a GIT construction related to the Hassett–Keel program, but the source presents it as perhaps overly optimistic and does not establish the claimed isomorphism.

Sources & referencesView supporting material

Primary source

Maksym Fedorchuk, “Geometric invariant theory of syzygies, with applications to moduli spaces”, arXiv:1712.02776 (2018).

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.