OpenAI reports orbifold Iitaka subadditivity

For a surjective connected-fiber holomorphic map from a smooth compact connected Fujiki-class-C manifold with rational simple-normal-crossing boundary to a normal compact irreducible complex space, the total log Kodaira dimension is at least the sum of the very general fiber log Kodaira dimension and Campana’s orbifold-base Kodaira dimension, including boundary coefficient one.

Curated contributions 1

Understand the problem ↓

OpenAI reports orbifold Iitaka subadditivity

  • Mathematics

For a surjective connected-fiber holomorphic map from a smooth compact connected Fujiki-class-C manifold with rational simple-normal-crossing boundary to a normal compact irreducible complex space, the total log Kodaira dimension is at least the sum of the very general fiber log Kodaira dimension and Campana’s orbifold-base Kodaira dimension, including boundary coefficient one.

AI involvementAI-led
ImportanceMajor
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

For a surjective connected-fiber holomorphic map from a smooth compact connected Fujiki-class-C manifold with rational simple-normal-crossing boundary to a normal compact irreducible complex space, the total log Kodaira dimension is at least the sum of the very general fiber log Kodaira dimension and Campana’s orbifold-base Kodaira dimension, including boundary coefficient one.

Why it matters

If correct, resolves Campana’s rational-SNC orbifold Iitaka subadditivity conjecture and yields ordinary and logarithmic subadditivity as consequences.

What counts as progress

Does the total log Kodaira dimension dominate the fiber and orbifold-base dimensions for the stated fibrations?

Website timeline

Publication dates and editorial changes.