Abstract:We consider the following question: How much of the combinatorial structure determining properties of $\overline{\mathcal{M}_{0, n}}$ is ``intrinsic'' and how much new information do we obtain from using properties specific to this space? Our approach is to study the effect of the $S_n$-action. Apart from being a natural action to consider, it is known that this action does not extend to other wonderful compactifications associated to the $A_{n - 2}$ hyperplane arrangement. We find the differences in intersection patterns of faces on associahedra and permutohedra which characterize the failure to extend to other compactifications and show that this is reflected by most terms of degree $\ge 2$ of the cohomology/Chow ring. Even from a combinatorial perspective, terms of degree 1 are more naturally related to geometric properties. In particular, imposing $S_n$-invariance implies that many of the log concave sequences obtained from degree 1 Hodge--Riemann relations (and all of them for $n \le 2000$) on the Chow ring of $\overline{\mathcal{M}_{0, n}}$ can be restricted to those with a special recursive structure. A conjectural result implies that this is true for all $n$. Elements of these sequences can be expressed as polynomials in quantum Littlewood--Richardson coefficients multiplied by terms such as partition components, factorials, and multinomial coefficients. After dividing by binomial coefficients, polynomials with these numbers as coefficients can be interepreted in terms of volumes or resultants. Finally, we find a connection between the geometry of $\overline{\mathcal{M}_{0, n}}$ and higher degree Hodge--Riemann relations of other rings via Toeplitz matrices.

Recursive algorithm and log-concavity of representations on the cohomology of $\overline{\mathcal M}_{0,n}$

Representations on the cohomology of $\overline{\mathcal{M}}_{0,n}$

Log concavity of the Grothendieck class of $\overline{\mathcal M}_{0,n}$

On the equivariant log-concavity for the cohomology of the flag varieties

Extensions of tautological rings and motivic structures in the cohomology of $\overline{\mathcal{M}}_{g,n}$

Equivariant log-concavity and equivariant Kähler packages

Logarithmic tautological rings of the moduli spaces of curves

On the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$

Log-concavity of polynomials arising from equivariant cohomology

The ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs

Symmetries and intrinsic vs. extrinsic properties of $\overline{\mathcal{M}}_{0, n}$

On the Log-Concavity of Hilbert Series of Veronese Subrings and Ehrhart Series

Log-concavity with respect to the number of orbits for infinite tuples of commuting permutations

Holomorphic forms and non-tautological cycles on moduli spaces of curves

Recursive relations for the cohomology ring of moduli spaces of stable bundles

Real moduli space of stable rational curves revised

Explicit formulas for the Grothendieck class of $\overline{\mathcal M}_{0,n}$

Log-concavity for unimodal sequences

Weight two compactly supported cohomology of moduli spaces of curves

On the Chow and cohomology rings of moduli spaces of stable curves