Injectivity conjecture for forgetful charts of prestable curves

About 6 years old · traced to

Let (g,n)≠(1,0)(g,n)\neq(1,0), and fix d≥0d\geq 0. For a prestable curve with n+mn+m markings, forgetting the last mm markings defines a morphism

Fm:M‾g,n+m→Mg,n.F_m:\overline{\mathcal{M}}_{g,n+m}\to\mathfrak{M}_{g,n}.

Injectivity conjecture. There exists m0≥0m_0\geq 0 such that, for every m≥m0m\geq m_0, the pullback

Fm∗:CHd(Mg,n)→CHd(M‾g,n+m)F_m^*:\mathrm{CH}^d(\mathfrak{M}_{g,n})\to\mathrm{CH}^d(\overline{\mathcal{M}}_{g,n+m})

is injective.

The conjecture would make the Chow groups of stable-curve moduli spaces determine the Chow groups of the corresponding prestable-curve stacks. The source notes that, for sufficiently large mm, the image of FmF_m is open with complement of codimension ⌊m/2⌋+1\lfloor m/2\rfloor+1, but injectivity of the pullback remains conjectural.

References

Primary source

Younghan Bae and Johannes Schmitt, “Chow rings of stacks of prestable curves I”, arXiv:2012.09887 (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.