Even-degree tautological cohomology conjecture for moduli spaces of curves

Let M‾g,n\overline{\mathcal{M}}_{g,n} be the moduli space of stable curves, let Hk(M‾g,n)H^k(\overline{\mathcal{M}}_{g,n}) denote its cohomology, and let RHk(M‾g,n)RH^k(\overline{\mathcal{M}}_{g,n}) denote the corresponding tautological cohomology. Even-degree tautological cohomology conjecture. For every even k≤20k\leq 20 and all g,ng,n, one has

Hk(M‾g,n)=RHk(M‾g,n).H^k(\overline{\mathcal{M}}_{g,n})=RH^k(\overline{\mathcal{M}}_{g,n}).

The claim is motivated by the expectation that even cohomology in this range is pure Tate, while known non-tautological algebraic cycles occur in degrees at least 2222; the source does not report a resolution.

References

Primary source

Hannah Larson, “Chow rings, cohomology rings, and point counts of moduli spaces of curves”, arXiv:2606.29656 (2026).

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.