Extremal descendant integrals on moduli spaces of curves: An inequality discovered and proved in collaboration with AI
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917148680519680 |
|---|---|
| author | Schmitt, Johannes |
| author_facet | Schmitt, Johannes |
| contents | For the pure $ψ$-class intersection numbers $D(\textbf{e})=\langle τ_{e_1} \cdots τ_{e_n} \rangle_g$ on the moduli space $\overline{\mathcal{M}}_{g,n}$ of stable curves, we determine for which choices of $\textbf{e}=(e_1, \ldots, e_n)$ the value of $D(\textbf{e})$ becomes extremal. The intersection number is minimal for powers of a single $ψ$-class (i.e. all $e_i$ but one vanish), whereas maximal values are obtained for balanced vectors ($|e_i - e_j| \leq 1$ for all $i,j$). The proof uses the nefness of the $ψ$-classes combined with Khovanskii--Teissier log-concavity.
Apart from the mathematical content, this paper is also meant as an experiment in collaborations between human mathematicians and AI models: the proof of the above result was found and formulated by the AI models GPT-5 and Gemini 3 Pro. Large parts of the paper were drafted by Claude Opus 4.5, and a part of the argument was formalized in Lean with the help of Claude Code and GPT-5.2. The paper aims for maximal transparency on the authorship of different sections and the employed AI tools (including prompts and conversation logs). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_14575 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Extremal descendant integrals on moduli spaces of curves: An inequality discovered and proved in collaboration with AI Schmitt, Johannes Algebraic Geometry 14H10 (Primary) 14C17, 14N35, 05A20 (Secondary) For the pure $ψ$-class intersection numbers $D(\textbf{e})=\langle τ_{e_1} \cdots τ_{e_n} \rangle_g$ on the moduli space $\overline{\mathcal{M}}_{g,n}$ of stable curves, we determine for which choices of $\textbf{e}=(e_1, \ldots, e_n)$ the value of $D(\textbf{e})$ becomes extremal. The intersection number is minimal for powers of a single $ψ$-class (i.e. all $e_i$ but one vanish), whereas maximal values are obtained for balanced vectors ($|e_i - e_j| \leq 1$ for all $i,j$). The proof uses the nefness of the $ψ$-classes combined with Khovanskii--Teissier log-concavity. Apart from the mathematical content, this paper is also meant as an experiment in collaborations between human mathematicians and AI models: the proof of the above result was found and formulated by the AI models GPT-5 and Gemini 3 Pro. Large parts of the paper were drafted by Claude Opus 4.5, and a part of the argument was formalized in Lean with the help of Claude Code and GPT-5.2. The paper aims for maximal transparency on the authorship of different sections and the employed AI tools (including prompts and conversation logs). |
| title | Extremal descendant integrals on moduli spaces of curves: An inequality discovered and proved in collaboration with AI |
| topic | Algebraic Geometry 14H10 (Primary) 14C17, 14N35, 05A20 (Secondary) |
| url | https://arxiv.org/abs/2512.14575 |