Veronica Arena,Samir Canning,Emily Clader,Richard Haburcak,Amy Q. Li,Siao Chi Mok,Carolina Tamborini
Abstract:We prove, for infinitely many values of $g$ and $n$, the existence of non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ of smooth, genus-$g$, $n$-pointed curves. In particular, when $n=0$, our results show that there exist non-tautological algebraic cohomology classes on $\mathcal{M}_g$ for $g=12$ and all $g \geq 16$. These results generalize the work of Graber--Pandharipande and van Zelm, who proved that the classes of particular loci of bielliptic curves are non-tautological and thereby exhibited the only previously-known non-tautological class on any $\mathcal{M}_g$: the bielliptic cycle on $\mathcal{M}_{12}$. We extend their work by using the existence of holomorphic forms on certain moduli spaces $\overline{\mathcal{M}}_{g,n}$ to produce non-tautological classes with nontrivial restriction to the interior, via which we conclude that the classes of many new double-cover loci are non-tautological.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Do non - tautological algebraic cohomology classes exist on the moduli space \(M_{g,n}\)? Specifically, the authors have proven that for infinitely many values of \(g\) and \(n\), there exist non - tautological algebraic cohomology classes on the moduli space \(M_{g,n}\) of smooth, \(n\)-pointed genus \(g\) curves. In particular, when \(n = 0\), their results show that for \(g=12\) and all \(g\geq16\), there exist non - tautological algebraic cohomology classes.
To explain this problem in more detail, we can summarize the following points:
1. **Background**:
- The moduli space \(M_{g,n}\) is a space consisting of equivalence classes of all smooth, \(n\)-pointed genus \(g\) curves.
- The tautological ring is a special sub - ring in the cohomology ring of \(M_{g,n}\), which contains many natural algebraic cycle classes.
- Non - tautological classes refer to cohomology classes that are not in the tautological ring.
2. **Importance of the problem**:
- Understanding the complete cohomology ring of the moduli space \(M_{g,n}\) is usually very difficult, and the tautological ring provides a sub - structure that can be studied.
- Knowing when the tautological ring is equal to the entire cohomology ring is an important problem, because this helps to understand the geometric and topological properties of the moduli space.
3. **Previous work**:
- Graber and Pandharipande [GP03] and van Zelm [vZ18] have proven that some classes of specific bi - elliptic curves are non - tautological.
- These results show that non - tautological classes exist in some cases, but previous work was limited to finite values of \(g\) and \(n\).
4. **Main contributions of this paper**:
- The authors extend these results by using the existence of holomorphic forms, proving that non - tautological classes exist for infinitely many values of \(g\) and \(n\).
- Specifically, they prove that for any \(m\geq0\), as long as \(g + m=12\) or \(g + m\geq16\), there exist non - tautological algebraic cycle classes in \(H^*(M_{g,2m})\).
5. **Methods**:
- The authors consider holomorphic forms on certain moduli spaces \(M_{g,n}\) and use these forms to construct non - tautological classes.
- They also use techniques such as classes on the boundary and the Kunneth decomposition of the diagonal to prove that these classes are non - tautological.
In summary, the main objective of this paper is to prove that non - tautological algebraic cohomology classes exist on the moduli space \(M_{g,n}\), and by introducing new techniques and methods, it extends existing results and provides new insights into understanding the cohomology structure of the moduli space.