diff 9a57a35..626fd2d projective_hodge_iitaka_v2.txt
diff --git a/projective_hodge_iitaka_v2.txt b/projective_hodge_iitaka_v2.txt index b8307e4..64025e1 100644 --- a/projective_hodge_iitaka_v2.txt +++ b/projective_hodge_iitaka_v2.txt @@ -12,38 +12,10 @@ zero. If F is the geometric generic fiber of f : X -> Z, then kappa(X) >= kappa(F) + kappa(Z). -CONTENTS - - 0. The theorem, in plain words - 1. Background you need - 1.1 Kodaira dimension - 1.2 Variations of Hodge structure and period maps - 1.3 The highest Hodge line and its extension - 1.4 The canonical bundle formula - 1.5 Weak positivity and log general type - 2. The shape of the proof - 3. Adjoint positivity for the highest Hodge line - 4. Rational minimality and fixed periods - 5. Numerical rank and tangential limits - 6. Rank loss on the boundary and the ramification divisor - 7. The period quotient and adjoint bigness - 8. Canonical bundle data and the least-index root cover - 9. Ordinary subadditivity - 10. Appendix: an integral projective proof of adjoint positivity - 11. Appendix: Chern intersections and Thom forms - References - - -READER'S GUIDE - -A reader new to the subject should start with Sections 0-2: the -theorem in plain words, the language, and the strategy on one page. -From there, Section 9 assembles the whole proof assuming the technical -steps of Sections 3-8, so a first-time reader can go straight from -Section 2 to Section 9 to see the shape, and only then dive into the -technical preparation. Sections 3-8 are the heart, proving adjoint -positivity (Theorem 3.1). Sections 10 and 11 give alternate proofs -of that step and can be skipped on a first pass. + + + + 0. THE THEOREM, IN PLAIN WORDS