Amy Bradford | arXiv Science

arXiv2026

Low-weight compactly supported cohomology of $\mathcal M_{g,n}^{ct}$ and the extended Torelli morphism

We study the weight zero and weight two graded pieces of the compactly supported cohomology of the moduli space $\mathcal M_{g,n}^{ct}$ of stable $n$-pointed curves of genus $g$ of compact type and show that they are computed by bridgeless graph complexes. In weight two, we construct a natural embedding of shifted weight zero cohomology from lower genus. For unmarked curves, we construct canonical classes represented by pinched odd wheel graphs and prove that distinct wheel monomials give linearly independent classes in the dual of $W_0H_c^{2g}(\mathcal M_g^{ct};\mathbb Q)$. By relating the bridgeless graph complex to the $K$-theory of graphs and the Quillen spectral sequence, we show that these classes remain linearly independent after pushforward along the extended Torelli morphism $\mathcal M_g^{ct}\to\mathcal A_g$. Finally, we prove that the realizations of the motivic Lie algebra arising from $\mathcal M_g$ and $\mathcal A_g$ have the same image in the weight zero compactly supported cohomology of $\mathcal M_g^{ct}$.

math.AG↗

arXiv2026

The fifteenth cohomology group of moduli spaces of stable curves

The new framework of semi-tautological extensions has allowed for explicit understanding of low-degree odd cohomology groups of moduli spaces of stable curves. Let $S^*_ω(\overline{\mathcal M}_{g,n}) \subset H^*(\overline{\mathcal M}_{g,n})$ denote the semi-tautological extension generated by $H^{11}(\overline{\mathcal M}_{1,11})$, that is, the smallest system of subrings of $H^*(\overline{\mathcal M}_{g,n})$ containing $H^{11}(\overline{\mathcal M}_{1,11})$ and the tautological subrings, which is also closed under pullbacks along forgetful maps and pushforwards along gluing maps. Recently, it has been shown that $H^{11}(\overline{\mathcal M}_{g,n}) = S^{11}_ω(\overline{\mathcal M}_{g,n})$ and $H^{13}(\overline{\mathcal M}_{g,n}) = S^{13}_ω(\overline{\mathcal M}_{g,n})$ for all $g$ and $n$. Meanwhile, $H^{15}(\overline{\mathcal M}_{1,n}) \neq S_ω^{15}(\overline{\mathcal M}_{1,n})$ for all $n \geq 15$. Nevertheless, we prove that $H^{15}(\overline{\mathcal M}_{2,n}) = S^{15}_ω(\overline{\mathcal M}_{2,n})$ for all $n$. Moreover, we determine all relations in $S_ω^{15}(\overline{\mathcal M}_{g,n})$ for all $g \geq 2$ and give explicit bases for this vector space in terms of decorated graphs. Conditional upon the conjectured dimension of $H^{15}(\overline{\mathcal M}_{3,14})$, we also prove that $H^{15}(\overline{\mathcal M}_{3,n}) = S^{15}_ω(\overline{\mathcal M}_{3,n})$ for all $n$. As an application, we prove $H^*(\overline{\mathcal M}_{g,n}) = RH^*(\overline{\mathcal M}_{g,n})$ for several new small pairs $(g,n)$.

math.AG↗