Injectivity conjecture for forgetful charts of prestable curves

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

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

Injectivity conjecture. There exists m00m_0\geq 0 such that, for every mm0m\geq m_0, the pullback

Fm:CHd(Mg,n)CHd(Mg,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.

Sources & referencesView supporting material

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.