matroid의 접선류와 아름다운 압축화

Tangent classes of matroids and wonderful compactifications

모든 루프가 없는 matroid M과 최상층을 포함하는 모든 Feichtner-Yuzvinsky 빌딩 집합 G에 대해, 정수 접선류 T_{M,G}^{\mathbb{Z}}를 K_{\mathbb{Z}}(M,G)에 속하게 구성합니다. 실현 가능한 경우, 이는 해당 아름다운 압축화의 접촉 다발 클래스에 특화되며, Hirzebruch-Riemann-Roch을 통해 Chow 링의 Hilbert 급수를 회복하며, 예상되는 Chern-alpha 하한 조건을 만족합니다. 본 논문은 첫 번째 저자가 arXiv:2606.22650에서 연구한 접선류 및 그 주요 속성을 재현합니다. 이 논문의 핵심 내용은 인간의 수학적 지침 없이 AI 수학 추론 에이전트인 Danus에 의해 자율적으로 생성되었습니다. Danus는 arXiv:2606.22650이 공개되기 전에 문제를 해결했으며, 이는 수학 연구에서 AI 에이전트의 잠재력을 보여줍니다. 우리는 Danus의 결과를 충실하게 재현하며, 편집상의 의견만을 추가했습니다. 이 실험은 부록 B에 자세히 기록되어 있습니다.

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.