Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 034. Log abundance and effective Iitaka fibrations
Family claims › Algebraic and complex geometry · lines 392–397
OpenAI@2026-10-07#rem:oai-034
Using logarithmic Iitaka subadditivity, proves log abundance in every dimension for normal compact Kähler log canonical pairs with effective rational boundary: an analytically nef -Cartier adjoint is semiample. It also proves projective log abundance over every algebraically closed field of characteristic zero and the effective Iitaka fibration conjecture for smooth projective varieties of nonnegative Kodaira dimension in that setting. A further result resolves the finite-rational-coefficient index conjecture for connected projective semi-log-canonical log Calabi–Yau pairs over such fields in each fixed dimension and for each fixed finite set of rational boundary coefficients, with a uniform index independent of the number of components.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 032. The rational Hodge conjecture for CM abelian varieties
- remark: Remark: Family 033. Campana's orbifold Iitaka conjecture and logarithmic subadditivity
- remark: Remark: Family 035. Threefold log abundance in numerical dimension one in characteristic p>3
- remark: Remark: Family 036. Numerical semiampleness and generalized minimal models
- remark: Remark: Family 037. The sharp ordinary-double-point volume gap
- remark: Remark: Family 038. Fujita's freeness conjecture
- remark: Remark: Family 039. Nagata's conjecture and maximal Seshadri constants
- remark: Remark: Family 040. Bloch's conjecture for complex surfaces