# Tangent classes of matroids and wonderful compactifications

arXiv: https://arxiv.org/abs/2607.05835 · HTML: https://mlsanity.com/paper/2607.05835/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 17 references that are in the map.
- First posted on arXiv 7 Jul 2026.

## Builds on (most cited first, 1 of 1)

- [Automated Conjecture Resolution with Formal Verification](https://mlsanity.com/paper/2604.03789/) (2026)

## Abstract (arXiv)

For every loopless matroid M and every Feichtner--Yuzvinsky building set G containing the top flat, we construct an integral tangent class TM,G^mathbbZ∈ K_mathbbZ(M,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.