Search papers, labs, and topics across Lattice.
This paper constructs an integral tangent class for loopless matroids using Feichtner鈥揧uzvinsky building sets, which includes the top flat. The resulting tangent class not only specializes to the tangent bundle of the wonderful compactification in realizable cases but also recovers the Hilbert series of the Chow ring via Hirzebruch鈥揜iemann鈥揜och, while satisfying expected Chern-alpha lower bounds. Notably, the entire work was autonomously generated by an AI mathematical reasoning agent, showcasing the capabilities of AI in advancing mathematical research.
An AI agent autonomously solved a complex mathematical problem, producing results that align with established theories and demonstrating AI's potential in research.
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.
