arXiv++ Combinatorics

We construct, over every finite field, representable matroids whose Kazhdan-Lusztig polynomials are not unimodal. In particular, the conjectures that all Kazhdan-Lusztig polynomials of matroids are log-concave and that they are real-rooted are both false. Our examples are obtained by deleting points from finite projective geometries. More generally, we prove that, under a half-rank degree condition in each contraction quotient, the Kazhdan-Lusztig polynomial of every contraction enumerates the subspaces whose projective points lie in the corresponding deleted set, while the $Z$-polynomial agrees with that of the full projective geometry.

For every loopless matroid $M$ and every Feichtner--Yuzvinsky building set $\mathcal{G}$ containing the top flat, we construct an integral tangent class $T_{M,\mathcal{G}}^{\mathbb{Z}}\in K_{\mathbb{Z}}(M,\mathcal{G})$; in the realizable case it specializes to the class of the tangent bundle of the corresponding wonderful compactification, it recovers the Hilbert series of the Chow ring through Hirzebruch--Riemann--Roch, and it satisfies the expected Chern-alpha lower bounds. This reproduces the tangent class and its key properties studied by the first author in arXiv:2606.22650. The main body of this paper was produced autonomously, without human mathematical guidance, by Danus, an AI mathematical reasoning agent. Danus solved the problem before arXiv:2606.22650 was publicly available, demonstrating the potential of AI agents in mathematical research. We reproduce its output faithfully, adding only editorial comments; the experiment is documented in Appendix B.

Let \(M\) be a loopless matroid on a finite ground set \(E\), and let \(\G\) be a building set containing the top flat \(E\). We define a tangent class \(T_{M,\G}\) in the \(K\)-ring \(K(M,\G)\), which extends the tangent bundle class of the de Concini--Procesi wonderful model from realizable matroids to arbitrary matroids with building sets. The class \(T_{M,\G}\) satisfies a matroidal Hirzebruch--Riemann--Roch package. More precisely, its Hirzebruch class \[ \operatorname{ch}(λ_y T_{M,\G}^{\vee})\operatorname{td}(T_{M,\G}) \] specializes to the Todd class and computes the Chow polynomial of \((M,\G)\). In the realizable case, these identities agree with the usual tangent-bundle computations on the corresponding wonderful model. As an application, we prove Chern-number inequalities for \(T_{M,\G}\), including a Miyaoka--Yau type inequality with respect to the hyperplane class.

The Chow polynomial of a matroid is a fundamental invariant whose coefficients exhibit strong positivity properties, including $γ$-positivity. We interpret the normalized Chow coefficients as a probability distribution and establish new inequalities for its central moments. As consequences, we obtain bounds on the number of flags of flats and inequalities on the roots of the Chow polynomial. We further relate these moment inequalities to algebraic geometry via the Hirzebruch $χ_y$-genus. This yields new inequalities for matroidal Chern numbers. In particular, for any matroid of rank $d+1$, we prove that $c_1c_{d-1}\le c_d$, with equality if and only if $d=1$ or the simplification of the matroid is Boolean.

For a loopless matroid $M$, we construct a $K$-class $T_M\in K(X_{M})$. When $M$ is realizable, $T_M$ recovers the $K$-class of the tangent bundle of the wonderful compactification $W_L$. We derive two formulas for the total Chern class of $T_M$ and prove that the associated Todd class agrees with the Todd class appearing in the matroid Hirzebruch--Riemann--Roch formula. We define a "fake effective cone" so that big and nef divisors in a matroid can be characterized in a manner analogous to how the effective cone characterizes big and nef divisors in classical algebraic geometry. Finally, we define the classes $β_S$ and study their properties.