Pullback injectivity conjecture for forgetful charts of prestable curves

At least 4 years old · documented by

Let (g,n)≠(1,0)(g,n)\neq(1,0), and let d≥0d\geq 0 be fixed. For each m≥0m\geq 0, consider the forgetful morphism

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

It forgets the last mm markings without stabilizing the curve. Pullback 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^*\colon \mathrm{CH}^d(\mathfrak{M}_{g,n})\to\mathrm{CH}^d(\overline{\mathcal{M}}_{g,n+m})

is injective.

The images of the forgetful charts form an atlas of Mg,n\mathfrak{M}_{g,n}, with complements whose codimension grows with mm. The conjecture asserts that, in each fixed degree, sufficiently large stable-curve charts detect all Chow classes; the paper gives motivation and verifies cases in genus zero, but the general statement remains open.

References

Primary source

Younghan Bae and Johannes Schmitt, “Chow rings of stacks of prestable curves II”, arXiv:2107.09192 (2021).

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.