Abstract:We define the logarithmic tautological rings of the moduli spaces of Deligne-Mumford stable curves (together with a set of additive generators lifting the decorated strata classes of the standard tautological rings). While these algebras are infinite dimensional, a connection to polyhedral combinatorics via a new theory of homological piecewise polynomials allows an effective study. A complete calculation is given in genus 0 via the algebra of piecewise polynomials on the cone stack of the associated Artin fan (lifting Keel's presentation of the Chow ring of $\overline{\mathcal{M}}_{0,n}$). Counterexamples to the simplest generalizations in genus 1 are presented. We show, however, that the structure of the log tautological rings is determined by the complete knowledge of all relations in the standard tautological rings of the moduli spaces of curves. In particular, Pixton's conjecture concerning relations in the standard tautological rings lifts to a complete conjecture for relations in the log tautological rings of the moduli spaces of curves. Several open questions are discussed. We develop the entire theory of logarithmic tautological classes in the context of arbitrary smooth normal crossings pairs $(X,D)$ with explicit formulas for intersection products. As a special case, we give an explicit set of additive generators of the full logarithmic Chow ring of $(X,D)$ in terms of Chow classes on the strata of $X$ and piecewise polynomials on the cone stack.

Logarithmic adic spaces: some foundational results

Foundations of Logarithmic Adic Spaces

Logarithmic Vanishing Theorems for Effective Q-Ample Divisors

Logarithmic A_ Inf-Cohomology

Recent Results on the Moduli Spaces of Riemann Surfaces

Logarithmic vanishing theorems on compact K\"{a}hler manifolds I

Some Foundational Results In Adic Geometry

Logarithmic differentials on discretely ringed adic spaces

Logarithmic Geometry and Moduli

Logarithmic geometry beyond fs

Logarithmic tautological rings of the moduli spaces of curves

Logarithmic A$_{\rm inf}$-cohomology

Logarithmic geometry and Frobenius

The Logarithmic Gauged Linear Sigma Model

Relative p-adic Hodge theory, II: Imperfect period rings

Logarithmic Comparison Theorems

Precise Asymptotics in the Law of the Logarithm for Random Fields in Hilbert Space

Adic spaces

Relative P-Adic Hodge Theory: Foundations

Logarithmic prismatic cohomology II

Logarithmic Donaldson–Thomas theory