Aluffi–Chen–Marcolli Conjecture

• The Aluffi–Chen–Marcolli Conjecture is a hypothesis that the Grothendieck class polynomial of the moduli space of stable n‑pointed genus‑0 curves has only real, negative zeros.
• It connects the geometric properties of smooth projective moduli spaces with combinatorial structures via the Feichtner–Yuzvinsky Chow ring and braid matroid nested-set constructions.
• Evidence from explicit formulas, asymptotic ultra‑log‑concavity, and small case verifications supports the conjecture, though its global real‑rootedness remains unresolved.

The Aluffi–Chen–Marcolli conjecture is the assertion that the Grothendieck class polynomial of the moduli space $\overline{\mathcal{M}}_{0,n}$ of stable $n$-pointed genus-$0$ curves is real-rooted. Since $\overline{\mathcal{M}}_{0,n}$ is smooth projective of dimension $n-3$ and only even cohomology is nonzero, the conjecture is equivalently a statement about the Poincaré polynomial

$$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$

If true, it would force all zeros to be real negative numbers and, by Newton’s inequalities, would imply ultra-log-concavity of the binomially normalized even Betti numbers. The same problem can be reformulated as the real-rootedness of the Hilbert series of the Feichtner–Yuzvinsky Chow ring of the braid matroid with minimal building set, thereby connecting $\overline{\mathcal{M}}_{0,n+1}$, nested-set combinatorics, and wonderful compactifications (Nascimento, 15 Sep 2025, Eur et al., 23 Apr 2025).

1. Statement in the Grothendieck ring and cohomological normalization

Let $\mathbb{L}=[\mathbb{A}^1]$ denote the Lefschetz–Tate motive in $K_0(\mathrm{Var})$. For $\overline{\mathcal{M}}_{0,n}$, one has

$n$0

Thus the Grothendieck class directly encodes the even Betti numbers, and the corresponding Poincaré polynomial is obtained by the identification $n$1 (Nascimento, 15 Sep 2025).

In the standard notation

$n$2

the conjecture states that this polynomial is real-rooted, equivalently that $n$3 has only real zeros. Because all coefficients are positive, real-rootedness forces all zeros to be real negative numbers.

The conjectural consequence most often emphasized is ultra-log-concavity. Writing $n$4 and

$n$5

Newton’s inequalities imply

$n$6

In this form, the conjecture concerns the log-concavity of the binomially normalized cohomology ranks. The normalization is intrinsic to the Newton-inequality mechanism and is the one used throughout the recent effective asymptotic work.

2. Equivalent formulation via braid matroids and Feichtner–Yuzvinsky Chow rings

A second formulation arises from the combinatorics of building sets. For a polymatroid $n$7 and a building set $n$8, the Feichtner–Yuzvinsky Chow ring is

$n$9

where $0$0 is generated by monomials indexed by non-$0$1-nested collections and by the linear relations $0$2 for each atom $0$3 of the lattice of flats. Its Hilbert series is

$0$4

(Eur et al., 23 Apr 2025).

For the braid matroid $0$5 with minimal building set $0$6, the relevant building set is the set of nonempty connected flats. In this case,

$0$7

Accordingly, the conjecture can be restated as the real-rootedness question for $0$8. This places the problem simultaneously in the geometry of $0$9, the combinatorics of nested sets, and the theory of Chow rings of wonderful compactifications.

Within this reformulation, several structural properties are already known. By the Kähler package and Hard Lefschetz, the polynomial is palindromic and unimodal. The braid/minimal case is also $\overline{\mathcal{M}}_{0,n}$0-positive. These properties are strictly weaker than real-rootedness, but they situate the conjecture inside the standard hierarchy

$\overline{\mathcal{M}}_{0,n}$1

The persistence of this package in the braid/minimal setting is one reason the conjecture is regarded as unusually rigid relative to general building-set constructions.

3. Explicit formulas, recurrences, and generating functions

The conjecture is supported by a substantial body of exact formulas. In the Grothendieck-ring formulation, Aluffi–Marcolli–Nascimento obtained the closed Stirling-number expression

$\overline{\mathcal{M}}_{0,n}$2

where $\overline{\mathcal{M}}_{0,n}$3 and $\overline{\mathcal{M}}_{0,n}$4 are Stirling numbers of the first and second kind. They also derived an explicit formula for the even Betti numbers. For $\overline{\mathcal{M}}_{0,n}$5, set

$\overline{\mathcal{M}}_{0,n}$6

Then

$\overline{\mathcal{M}}_{0,n}$7

with the empty product convention equal to $\overline{\mathcal{M}}_{0,n}$8 (Nascimento, 15 Sep 2025).

The building-set formalism produces a different family of exact identities. For arbitrary building sets, the Hilbert series admits incidence-algebra, chain, and nested-set formulas. In the braid/minimal specialization, these simplify to a new partition formula: $\overline{\mathcal{M}}_{0,n}$9 where

$n-3$0

The same framework recovers the Stirling-number identity, Getzler’s compositional inverse formula, Manin’s functional equation, and the quadratic recurrences of Keel and Manin (Eur et al., 23 Apr 2025).

If

$n-3$1

then the generating-function identities include

$n-3$2

and

$n-3$3

The recurrences uniquely determining $n-3$4 are likewise explicit. These formulas do not settle real-rootedness, but they provide the main computational and structural tools presently available.

4. Asymptotic results and effective ultra-log-concavity

The first major asymptotic result is the fixed-degree estimate

$n-3$5

valid for each fixed $n-3$6. Using this asymptotic together with generating-function methods originating in work of Keel, Getzler, and Manin, Aluffi–Chen–Marcolli proved that for every fixed $n-3$7 there exists $n-3$8 such that for all $n-3$9,

$$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$0

This established asymptotic ultra-log-concavity for fixed $$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$1, but without effective bounds on the threshold $$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$2 (Nascimento, 15 Sep 2025).

Recent work strengthens this by giving effective error control in a joint regime where $$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$3 grows with $$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$4. The refined asymptotic is

$$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$5

where the multiplicative $$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$6 comes with an effectively computable constant and threshold $$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$7. As a consequence, for all integers $$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$8 and

$$P_n(t)=\sum_{l=0}^{n-3}\mathrm{rk}\,H^{2l}(\overline{\mathcal{M}}_{0,n})\,t^l.$$9

the ultra-log-concavity inequality holds rigorously in the binomial normalization. By Poincaré duality, $\overline{\mathcal{M}}_{0,n+1}$0, so the same argument covers the complementary top-degree range (Nascimento, 15 Sep 2025).

The proof follows a dominant-term-plus-effective-tail strategy. The sum $\overline{\mathcal{M}}_{0,n+1}$1 is bounded by an integral in order to control $\overline{\mathcal{M}}_{0,n+1}$2; compositions $\overline{\mathcal{M}}_{0,n+1}$3 are counted using combinatorial bounds such as $\overline{\mathcal{M}}_{0,n+1}$4; Robbins’ sharpened Stirling formula compares the dominant $\overline{\mathcal{M}}_{0,n+1}$5 term with the $\overline{\mathcal{M}}_{0,n+1}$6 tail; and a maximum-term analysis shows that the tail is exponentially small when $\overline{\mathcal{M}}_{0,n+1}$7. This is the first genuinely effective progress toward the normalized log-concavity predicted by the conjecture.

5. Evidence, verified cases, and limits of generalization

For small values of $\overline{\mathcal{M}}_{0,n+1}$8, the braid/minimal polynomials can be written explicitly, and the initial cases are real-rooted (Eur et al., 23 Apr 2025).

$\overline{\mathcal{M}}_{0,n+1}$9	$\mathbb{L}=[\mathbb{A}^1]$0	Consequence
$\mathbb{L}=[\mathbb{A}^1]$1	$\mathbb{L}=[\mathbb{A}^1]$2	one real zero, $\mathbb{L}=[\mathbb{A}^1]$3
$\mathbb{L}=[\mathbb{A}^1]$4	$\mathbb{L}=[\mathbb{A}^1]$5	discriminant $\mathbb{L}=[\mathbb{A}^1]$6, two real negative zeros
$\mathbb{L}=[\mathbb{A}^1]$7	$\mathbb{L}=[\mathbb{A}^1]$8	all zeros real and negative

These examples support the conjecture, and they are compatible with the broader geometric package already known in this setting: symmetry, unimodality, and $\mathbb{L}=[\mathbb{A}^1]$9-positivity.

At the same time, the broader universe of Chow rings attached to building sets behaves much less rigidly. There are examples of matroids and building sets for which the corresponding Hilbert series has non-log-concave coefficients. The paper establishing the general building-set formulas emphasizes that these counterexamples occur for other matroids and/or non-minimal building sets, and therefore do not contradict the Aluffi–Chen–Marcolli conjecture, which is restricted to braid matroids with minimal building sets (Eur et al., 23 Apr 2025).

This contrast is significant. It shows that real-rootedness and log-concavity are not formal consequences of the Feichtner–Yuzvinsky construction, nor of wonderful compactification geometry in general. A plausible implication is that the conjecture depends on special features of the braid/minimal case rather than on a universal positivity mechanism for building-set Chow rings.

6. Open problems, expected directions, and broader attributions

The full conjecture remains open: the real-rootedness of $K_0(\mathrm{Var})$0 for every $K_0(\mathrm{Var})$1 has not been established, and even unconditional ultra-log-concavity for the full range

$K_0(\mathrm{Var})$2

is still unknown. The recent effective result proves the inequality only for

$K_0(\mathrm{Var})$3

and, by symmetry, near the top degree. The same work observes that extending the effective range to

$K_0(\mathrm{Var})$4

would, for $K_0(\mathrm{Var})$5 large, settle ultra-log-concavity for the entire sequence, thereby providing strong evidence toward real-rootedness. Suggested avenues include sharper analytic-combinatorial estimates such as saddle-point methods, deeper operadic or polyhedral input involving associahedra and braid matroid Chow rings, and refined control of the generating functions introduced by Getzler and Manin (Nascimento, 15 Sep 2025).

The name “Aluffi–Chen–Marcolli conjecture” also appears in a distinct setting, namely Bost–Connes–Marcolli systems attached to Shimura varieties. In the Siegel modular variety case of degree $K_0(\mathrm{Var})$6, the relevant paper proves a phase transition at $K_0(\mathrm{Var})$7, uniqueness of the $K_0(\mathrm{Var})$8 state for $K_0(\mathrm{Var})$9, and explicit extremal Gibbs states for $\overline{\mathcal{M}}_{0,n}$0. That paper presents these thresholds as matching the general predictions attributed to the Aluffi–Chen–Marcolli conjecture for BCM systems attached to Shimura varieties (Abouamal, 2022). This broader attribution is conceptually separate from the real-rootedness problem for $\overline{\mathcal{M}}_{0,n}$1, but it indicates that the names Aluffi, Chen, and Marcolli are associated with more than one conjectural program at the interface of geometry, combinatorics, and arithmetic quantum statistical mechanics.

In its primary usage, however, the conjecture denotes the real-rootedness of the Poincaré polynomial of $\overline{\mathcal{M}}_{0,n}$2, or equivalently of the Hilbert series of the braid-matroid Feichtner–Yuzvinsky Chow ring with minimal building set. Its present status is therefore sharply defined: exact formulas and recurrences are abundant, asymptotic ultra-log-concavity is known in fixed degree and now effectively in a growing range, small cases are consistent with real-rootedness, but the global real-rootedness statement remains unresolved.