GIT quotient conjecture for semistable syzygy points of canonical curves

About 9 years old · traced to

Let gg and pp be integers, and let Hilb⁡(Pg−1)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 M‾g\overline{\mathcal{M}}_g. Syzygy-GIT quotient conjecture. There is an isomorphism

Hilb⁡(Pg−1)p,2ss⁡/!/SL⁡(g)≃Proj⁡⨁m≥0H0(M‾g,m((8+4g−(g−1)(g−2)g(g−p−1))λ−δ)).\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.

References

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.