oai-math-revised beta

Browse › Algebraic and complex geometry › 033 Iitaka subadditivity, variation, and logarithmic additivity

Projective Hodge lines and ordinary Iitaka subadditivity

OpenAI · September 27, 2026

Lean

Open PDFCite Report a problem Add a reference or comment Interested in working on this Start a discussion

Edit NOTES.md · Existing issues · Source on GitHub

Abstract

We prove the ordinary Iitaka subadditivity conjecture for surjective projective morphisms with connected fibers between smooth connected projective varieties over algebraically closed fields of characteristic zero. If F is the geometric generic fiber of $f:X\to Z$, then $\kappa(X)\geq\kappa(F)+\kappa(Z)$.

If the PDF does not display here, open it directly: Open PDF.

Notes

No notes yet. Add a reference, a comment or your name with the buttons above, or edit NOTES.md on GitHub.

Automatically collected notes (unreviewed)

work in progress

Collected automatically by AI tools (Claude Opus 5.5 and GPT-6 Astra, 2026-10-21) and not checked by a person. May be wrong or incomplete. Report an error.

Formalization

  • OpenAI, Family 033 Lean scope note (OpenAI math release, 2026-10-06). The family scope note covers only the reverse-additivity companion’s negative-fiber branch, not this paper’s main theorem. [family-level]

Possibly relevant literature (found by the agent, not checked)

Digests and expositions

  • AI Proved What?, Do the forms add up? (Episode 033, October 2026). AI-assisted family exposition outlining subadditivity, variation, additivity, and the limited Lean scope. [AI-generated per source] [family-level]

Elsewhere

Independent sites; their content is not reviewed here.

Cite

@misc{OAI:Projective-Hodge-lines-and-ordinary-Iitaka-subadditivity-September-27-2026,
  author = {{OpenAI}},
  title = {{Projective Hodge lines and ordinary Iitaka subadditivity}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Projective-Hodge-lines-and-ordinary-Iitaka-subadditivity-September-27-2026/paper.pdf}{OAI:Projective-Hodge-lines-and-ordinary-Iitaka-subadditivity-September-27-2026}},
  year = {2026}
}

Lean formalization

OpenAI provides Lean files for this family: lean/docs/033.md. The Lean statements have not been checked by people against the paper's claims.

Family 033: Iitaka subadditivity, variation, and logarithmic additivity

Proves Campana's orbifold Iitaka subadditivity conjecture for smooth Fujiki-class-$\mathcal C$ manifolds with rational simple-normal-crossing boundaries. For projective fibrations $f:U\to V$ of smooth complex quasi-projective varieties with connected fibers, general fiber F, and $\bar\kappa(V)\ge0$, proves Popa's inequality $\bar\kappa(U)\ge\kappa(F)+\max\{\bar\kappa(V),\mathop{\mathrm{Var}}\nolimits (f)\}$, where variation measures the whole geometric generic fiber.

Other papers in this family: