# Iitaka subadditivity, variation, and logarithmic additivity > Twisting a family of shapes never destroys the forms its fibers and base contribute. Plain-English explainer, Lean status and sources. Canonical: https://closedform.nishachay.tech/e/openai-math-2026-033/ Last updated: 2026-10-11 **Twisting a family of shapes never destroys the forms its fibers and base contribute.** **Trust:** Formal proof listed · **Papers:** 5 · **First paper:** September 10, 2026 · **Field:** Algebraic and complex geometry · **Entry:** 033 *Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error. The Kodaira dimension measures how fast a shape's special forms multiply. Iitaka asked whether a family of shapes always has at least the fiber's plus the base's Kodaira dimension. These papers claim to prove that rule in full, including orbifold and open-space versions. They also claim Popa's stronger bound, which rewards fibers that really vary. Under extra smoothness they claim exact equality. ## At a glance - **First step:** 1971 (Shigeru Iitaka, the theory of divisor dimensions) - **Significance:** Major. If the proofs hold, they settle a central question of classification that was open in general for decades. - **Trust:** Formal proof listed - **Field:** Algebraic and complex geometry (5 papers) ## The explanation Take a curve shaped like a doughnut's surface, a torus. It carries exactly one special form of each degree, up to scale. The counts run 1, 1, 1, 1 and never grow. Now take a two-holed doughnut surface, which mathematicians call a curve of genus 2. In degrees 2, 3, 4 and 5 it carries 3, 5, 7 and 9 independent forms. The count grows like the degree itself. A sphere carries none at all. These forms are called pluricanonical forms. The Kodaira dimension records how fast their count grows. Growth like the degree to the power 1 gives Kodaira dimension 1, as for the genus-2 curve. Constant counts give 0, as for the torus. No forms at all give minus infinity, as for the sphere. A space whose count grows as fast as its own dimension allows is called of general type. Now multiply two genus-2 curves into a product. Its counts multiply too: 9, 25, 49 and 81 in degrees 2 to 5. That is 3², 5², 7² and 9². Growth like the degree squared gives Kodaira dimension 2, which is 1 plus 1. A product is the simplest fibration. A fibration is a space laid over a base, with one copy of a fiber above each base point. In a general fibration the fibers can twist and change from point to point. Iitaka asked whether twisting can ever destroy forms. His subadditivity question asks for this rule. The total space's Kodaira dimension is at least the fiber's plus the base's. A product meets it with equality. Iitaka set up the language in 1971. An explicit version for open spaces appeared in his 1977 note. Many special cases followed. Kawamata treated curve bases in 1982 and fibers with good minimal models in 1985. Viehweg handled bases of general type in 1983. Kollár handled fibers of general type in 1987. Birkar settled total dimension at most six in 2009. Each case drew its positivity from a different part of the fibration. No single method covered all of them. Earlier preprints by Tsuji and Maehara state general inequalities, but these papers do not use them[1]. This family of five papers claims to prove the full rule and several stronger forms. The main paper covers Campana's orbifold version[2]. It counts multiple fibers, where the fiber above a point is repeated[3]. It also allows open spaces, where forms may have poles along a removed boundary[4]. The open version uses the logarithmic Kodaira dimension. The complex plane with one point removed shows why that matters. It has logarithmic Kodaira dimension 0. The sphere that completes it, by adding two points, has minus infinity[5]. A second paper claims Popa's stronger inequality[6]. It counts the directions in which the fibers truly vary. When that number beats the base's term, it can replace it. That paper needs a base with logarithmic Kodaira dimension at least 0[6]. A third claims the reverse inequality, and so exact equality, when the family is smooth over the open base[7]. The single obstacle was finding enough global forms. They must keep the growth of the fibers and of the base at once[8]. The papers split each fiber into a part of general type and a part with Kodaira dimension 0[9]. A part with Kodaira dimension 0 carries just one form in the relevant degrees. A line of Hodge classes records how that one form changes along the base. These are measurements of a fiber's shape, built from its forms. The papers claim this line carries enough positivity[10]. It comes through a second map, to a space that tracks how fibers change[11]. A fifth paper supplies a related positivity result for compact Kähler fibrations[12]. The rules give lower bounds, not values. They do not compute the Kodaira dimension of any particular space. The fiber in each statement is a very general one, chosen away from a countable set of bad points[13]. The equality result needs smooth boundary pieces over the open base[14]. The same holds wherever those pieces cross. How sure is this? A computer proof checker called Lean has checked one branch of the equality theorem. It covers a very general base point whose fiber has logarithmic Kodaira dimension minus infinity. Then the total space has minus infinity too, and its logarithmic pluricanonical forms of positive degree all vanish. The other branches of that theorem are outside the check. So are the subadditivity, orbifold and variation theorems. No specialist review has been published. **What it doesn't show.** This does not compute the Kodaira dimension of any particular space; it only bounds it. ## Where it came from This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026. ## Hype check Only one branch of the equality theorem has a Lean proof. The subadditivity, orbifold and variation claims rest on long unchecked arguments, and no specialist review is published. ## Words used - **Pluricanonical form:** A special kind of form on a shape; counting them in each degree measures the shape's complexity. - **Kodaira dimension:** The growth rate of the count of pluricanonical forms, from minus infinity up to the shape's dimension. - **Fibration:** A space laid over a base, with one fiber above each base point. - **General type:** A shape whose form count grows as fast as its dimension allows. - **Logarithmic Kodaira dimension:** The Kodaira dimension of an open space, allowing poles along the removed boundary. - **Orbifold base:** Campana's base that also records fibers repeated with a multiplicity. - **Variation:** The number of independent directions in which the fibers truly change. - **Hodge line:** A line of measurements, built from one special form on each fiber, that tracks how that form changes across the family. ## The original papers (5) - [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf) - September 26, 2026 - [Logarithmic Kodaira dimension and whole-fiber variation](https://github.com/openai/math/blob/main/preprints/Logarithmic-Kodaira-dimension-and-whole-fiber-variation-September-26-2026/paper.pdf) - September 26, 2026 - [The reverse logarithmic Kodaira inequality and additivity](https://github.com/openai/math/blob/main/preprints/The-reverse-logarithmic-Kodaira-inequality-and-additivity-September-26-2026/paper.pdf) - September 26, 2026 - [Projective Hodge lines and ordinary Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Projective-Hodge-lines-and-ordinary-Iitaka-subadditivity-September-27-2026/paper.pdf) - September 27, 2026 - [B-semiampleness for compact log-smooth Kähler fibrations](https://github.com/openai/math/blob/main/preprints/B-semiampleness-for-compact-log-smooth-Kahler-fibrations-September-10-2026/paper.pdf) - September 10, 2026 - [Lean notes](https://github.com/openai/math/blob/main/lean/docs/033.md) ## Quoted lines from the paper (14) [1] From [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf): > Neither preprint statement is a proof input here. [2] From [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf): > This is a positive resolution of Campana's orbifold Iitaka conjecture in its rational SNC, Fujiki-class-$\mathcal C$ formulation, including coefficient one. [3] From [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf): > Multiple fibers carry information that the ordinary base omits. [4] From [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf): > The logarithmic version permits poles along reduced boundary divisors and therefore applies to open varieties. [5] From [Logarithmic Kodaira dimension and whole-fiber variation](https://github.com/openai/math/blob/main/preprints/Logarithmic-Kodaira-dimension-and-whole-fiber-variation-September-26-2026/paper.pdf): > For example, $\kbar(\C^*)=0$, whereas its smooth projective compactification $\mathbf P^1$ has Kodaira dimension $-\infty$. [6] From [Logarithmic Kodaira dimension and whole-fiber variation](https://github.com/openai/math/blob/main/preprints/Logarithmic-Kodaira-dimension-and-whole-fiber-variation-September-26-2026/paper.pdf): > This proves Popa's Conjecture 3.8 in the formulation on page 6 of his author version dated 13 June 2023. [7] From [The reverse logarithmic Kodaira inequality and additivity](https://github.com/openai/math/blob/main/preprints/The-reverse-logarithmic-Kodaira-inequality-and-additivity-September-26-2026/paper.pdf): > This gives a positive resolution of Popa's logarithmic additivity conjecture in its projective reduced-SNC, stratum-smooth formulation. [8] From [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf): > The lower bound requires global pluricanonical forms that retain the growth of both the fibers and the base. [9] From [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf): > A sufficiently divisible pluricanonical system on $G$ is one-dimensional. [10] From [Projective Hodge lines and ordinary Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Projective-Hodge-lines-and-ordinary-Iitaka-subadditivity-September-27-2026/paper.pdf): > The main step in the proof is a positivity statement for the entire highest Hodge line of a rationally polarized variation. [11] From [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf): > The first concerns the line $M$: the period map, which records how the Hodge structures of the covers vary, supplies a second fibration $p:W\to S$, with $S$ smooth projective, and a nef rational line bundle $P$ such that \[ M=p^*P,\qquad K_S+aP\ \text{is big} \] for some positive rational $a$. [12] From [B-semiampleness for compact log-smooth Kähler fibrations](https://github.com/openai/math/blob/main/preprints/B-semiampleness-for-compact-log-smooth-Kahler-fibrations-September-10-2026/paper.pdf): > We resolve the compact log-smooth case of this K\"ahler b-semiampleness question. [13] From [Orbifold and logarithmic Iitaka subadditivity](https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf): > Here a very general fiber is chosen outside a countable union of proper closed analytic subsets, including the critical values and the exceptional images of boundary strata. [14] From [The reverse logarithmic Kodaira inequality and additivity](https://github.com/openai/math/blob/main/preprints/The-reverse-logarithmic-Kodaira-inequality-and-additivity-September-26-2026/paper.pdf): > We call this \emph{stratum smoothness over $V$}. ## Other sources - [S. Iitaka, “On D-dimensions of algebraic varieties”, Journal of the Mathematical Society of Japan 23 (1971), 356–373; and “Classification of Algebraic Varieties”, Proceedings of the Japan Academy 53 (1977), 103–105](https://doi.org/10.2969/jmsj/02320356) - [Y. Kawamata, “Kodaira dimension of algebraic fiber spaces over curves”, Inventiones Mathematicae 66 (1982), 57–71](https://doi.org/10.1007/BF01404756) - [E. Viehweg, “Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces”, Advanced Studies in Pure Mathematics 1 (1983), 329–353](https://doi.org/10.2969/aspm/00110329) - [J. Kollár, “Subadditivity of the Kodaira dimension: fibers of general type”, Advanced Studies in Pure Mathematics 10 (1987), 361–398](https://doi.org/10.2969/aspm/01010361) - [C. Birkar, “The Iitaka conjecture C_{n,m} in dimension six”, Compositio Mathematica 145 (2009), 1442–1446](https://doi.org/10.1112/S0010437X09004187) - [F. Campana, “Orbifoldes géométriques spéciales et classification biméromorphe des variétés kählériennes compactes”, Journal of the Institute of Mathematics of Jussieu 10 (2011), 809–934](https://doi.org/10.1017/S1474748010000101) - [M. Popa, “Conjectures on the Kodaira dimension”, in Higher Dimensional Algebraic Geometry (Cambridge University Press, 2025), 19–28](https://people.math.harvard.edu/~mpopa/papers/kodaira.pdf) - [H. Tsuji, “Global generation of the direct images of relative pluricanonical systems”, arXiv:1012.0884 (2010)](https://arxiv.org/abs/1012.0884v1) - [K. Maehara, “Iitaka–Viehweg conjectures C and C++”, arXiv:0910.0604 (2010)](https://arxiv.org/abs/0910.0604v3) - [openai/math release notes (2026): model provenance and review status](https://github.com/openai/math/blob/main/README.md): “manuscripts and supporting proof artifacts produced by an internal OpenAI model” - [Y. Kawamata, “Minimal models and the Kodaira dimension of algebraic fiber spaces”, Journal für die reine und angewandte Mathematik 363 (1985), 1–46](https://doi.org/10.1515/crll.1985.363.1) ## Related - [Bloch’s conjecture for complex surfaces](https://closedform.nishachay.tech/e/openai-math-2026-040/) - Algebraic and complex geometry - [Shafarevich counterexamples in dimension two and with large fundamental group](https://closedform.nishachay.tech/e/openai-math-2026-046/) - Algebraic and complex geometry - [Zariski cancellation and affine fibrations over the complex numbers](https://closedform.nishachay.tech/e/openai-math-2026-047/) - Algebraic and complex geometry - [Counterexamples to Zariski’s multiplicity conjecture](https://closedform.nishachay.tech/e/openai-math-2026-059/) - Algebraic and complex geometry - [The Global Spherical Shell conjecture](https://closedform.nishachay.tech/e/openai-math-2026-060/) - Algebraic and complex geometry - [Algebraic and complex geometry](https://closedform.nishachay.tech/science/mathematics/algebraic-and-complex-geometry/) - Field · 36 results - [Open since the 1970s](https://closedform.nishachay.tech/open-since/1970s/) - Era · 63 results - [Lean-checked results](https://closedform.nishachay.tech/trust/lean-checked/) - Trust · 242 results - [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20033%5D%20)