Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity
Abstract
Assume logarithmic Iitaka subadditivity for surjective morphisms with connected fibers between smooth projective complex varieties with compatible reduced simple normal crossing boundaries. We prove log abundance for normal irreducible compact Kähler spaces in every dimension: for a log canonical pair with effective rational boundary and ℚ-Cartier, analytic nefness of implies semiampleness.
Introduction
The abundance problem asks when the numerical positivity of a log canonical bundle produces a holomorphic map. More precisely, a nef adjoint should have a positive multiple generated by global sections. On a compact Kähler space, nefness is an analytic condition on a cohomology class, whereas generation is a statement about an actual holomorphic line bundle. The distinction is essential in the nonprojective setting.
We prove log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity for smooth projective varieties with reduced boundary. The argument passes through a stronger birational statement: every pseudo-effective smooth log adjoint has a semiample positive part and an effective rational fixed divisor equal to its analytic divisorial negative part. This form both supports the induction and retains the line-bundle information needed for generation on the original space.
The assumption and the theorem
A compact Kähler space is a compact complex analytic space with a Kähler form in the sense of local strictly plurisubharmonic potentials on local embeddings. For a rational line bundle , analytic nefness means that belongs to the closure of the Kähler cone. Equivalently, fix a Kähler form and an integer for which is a line bundle. For every , that line has a smooth Hermitian metric satisfying
Smooth metrics and forms on a singular space are understood through local embeddings. We call semiample if an actual positive integral multiple is a holomorphic line bundle generated by its global sections.
Assumption 1.1 (Logarithmic Iitaka subadditivity). Let be a surjective morphism with connected fibers between smooth connected projective complex varieties. Let and be reduced effective simple normal crossing divisors, allowing zero divisors, such that
For a very general smooth fiber , put . Then
Here is reduced SNC and . The Iitaka dimension is when all positive integral systems are empty, with also for ; the zero divisor on a point has Iitaka dimension zero.
Theorem 1.2 (Log abundance for compact Kähler spaces). Assume Assumption 1.1. Let be a normal irreducible compact Kähler complex analytic space, and let be a rational divisor such that is log canonical and is rational Cartier. If is analytically nef, then it is semiample. Explicitly, there is an integer such that is Cartier and
is surjective at every point of .
The theorem includes every finite dimension and the zero-boundary case. Assumption 1.1 is used through the projective good-model theorem stated in Proposition 2.10. The cited proof of that projective theorem uses only its zero-boundary case, on a resolved projective Albanese fibration.
Context and relation to earlier work
In the minimal model program, abundance complements the construction of minimal models: the nef adjoint on a minimal model should determine a canonical fibration. For minimal projective threefolds, Miyaoka proved the case of numerical dimension one and Kawamata completed canonical abundance [49, 41]. Keel, Matsuki, and McKernan established log abundance for threefolds, with a subsequent published correction [43, 44]. In arbitrary dimension, Birkar, Cascini, Hacon, and McKernan established log terminal models for projective klt pairs with big boundary and pseudo-effective adjoint, and finite generation for big adjoints [6].
The compact Kähler history already points to the importance of simple spaces. Peternell’s threefold theorem isolated the possible case of a simple space not bimeromorphic to a finite quotient of a torus [57]; Demailly and Peternell subsequently proved canonical nonvanishing for nef terminal Kähler threefolds, including that case [23]. Höring and Peternell constructed minimal models for normal -factorial terminal compact Kähler threefolds with pseudo-effective canonical class [40]. The abundance argument of Campana, Höring, and Peternell required a correction [10, 11], and Das and Ou established log abundance for compact Kähler log canonical threefolds [20], Corollary 1.3.
With , Assumption 1.1 is Iitaka’s classical inequality for algebraic fiber spaces [14], Equation (1.0.1). Cao and Păun proved the analogous logarithmic inequality over an abelian base when the pair on the total space has an effective rational boundary and is klt [14], Theorem 1.1. Fujino’s corrected argument derives logarithmic subadditivity from the conjectured equality for smooth projective with reduced SNC [29, 30]. Hashizume proves the reduced-SNC subadditivity statement when the log canonical divisor of the very general fiber is abundant [39], Theorem 1.2]. Here the implication is used in the other direction: the projective companion [53] derives good models for pseudo-effective projective lc adjoints from Assumption 1.1, and those good models anchor the Kähler induction.
Hacon and Xie’s cone theorem, adjunction, relative positivity, and projective canonical bundle formula [37] provide the analytic inputs for our program constructions. Section 3 proves the restricted semi-ampleness, proper relative good-model, and finite-model statements needed here, following their dimension-induction strategy. The nef data remain globally nef on a fixed carrier, and the total generalized boundary is globally modified big. Actual rational lines make the selected ray contractions projective; ordinary projective analytic results [31] then construct their flips and the relative models. This produces a Kähler pullback description of the relevant Bott–Chern class. Generation of the prescribed holomorphic line requires the additional divisorial decomposition and boundary arguments. The fibration comparison and period positivity come from [55]; the boundary and lifting constructions adapt inputs in [52, 51]. The precise imported results are stated at their points of use.
The proof and its main constructions
For a pseudo-effective -class , records the least generic vanishing forced along prime divisors. Given a smooth compact Kähler manifold and a rational SNC boundary with pseudo-effective, the induction constructs a modification with smooth and
as an identity of rational holomorphic line bundles, with an effective rational divisor. Section 2 uses transfer rules, algebraic reduction, and generically finite covers to reduce the induction to projective manifolds, nontrivial fibrations, and simple spaces of algebraic dimension zero. Here simple means that no positive-dimensional proper compact subvariety passes through a very general point.
Section 3 supplies two program results. For the fibration case it contracts a known negative part while preserving the prescribed nef line. For the simple case it proves special termination for a chosen scaling and reaches a nef model when the pseudo-effective adjoint is rationally equivalent to a divisor supported on the reduced boundary, allowing negative coefficients. The termination argument uses lower-dimensional induction to construct one model on which an interval of perturbed adjoints is nef. On a common resolution their negative multiplicities are affine, whereas every nontrivial wall of the restricted program changes a slope. Hence only finitely many such walls occur.
Section 4 turns generation on separate strata into generation on the entire reduced dlt boundary, adapting Fujino’s method of admissible sections [28], Section 4. When a comparison is needed, a Mori contraction realizes Kollár’s residue comparison at the two coefficient-one points of a general fiber [45], Definition 13 and Proposition 14. On a common resolution, the pulled-back restrictions of the ambient Kähler class differ by a real linear combination of Chern classes of line bundles. On a stratum whose boundary dominates the image of the map defined by its semiample adjoint, restriction determines sections. For the remaining strata, we prove finite image for self-comparisons on sufficiently divisible pluricanonical systems using an invariant integral, period and lattice arguments, and a uniform cohomological bound for cyclic covers. Products over these finite images give compatible generating sections, used in both closing arguments.
Section 5 first reduces to fibrations whose very general fiber has log Kodaira dimension zero. On a prepared fibration , a relative generating form gives
where is a rational SNC boundary and is pulled back from a nef rational line on a projective quotient of . Fiber induction allows us to subtract the part of dominating from a positive current for . The resulting metric descends along connected smooth fibers; a zero among the nonnegative coefficients at primes dominating each base prime allows extension, proving pseudo-effective. If , the projective quotient is a point, so and lower-dimensional induction makes rationally equivalent to its negative divisor. For projective , a reduction via a chosen generalized program derived from Assumption 1.1 either lowers the positive base dimension, handled by secondary induction, or reaches a nef line that is big or torsion. At a stopping case, an intersection argument identifies the full negative divisor upstairs. A torsion positive part completes the decomposition directly. In the big nef case, Section 3 contracts that divisor while preserving the nef line; boundary generation, extension, and a new log canonical place at a hypothetical base locus prove semiampleness.
Section 6 proves, independently of Assumption 1.1, that a positive canonical power has a nonzero meromorphic section on every smooth connected simple compact Kähler manifold of algebraic dimension zero. Ou’s uniruledness and foliation results supply the cotangent slope control [56]. A point-threshold bound for big classes of volume one is contradicted using an auxiliary projective bundle over . The diagonal in its square produces a subsheaf occupying a fixed positive fraction of a symmetric cotangent power of that bundle. A second construction over the diagonal of forces determinant vanishing which, after restriction to a blowup of , violates the point bound.
Finally, Section 7 uses the meromorphic section to obtain, after resolving and enlarging to a reduced SNC boundary, a pseudo-effective adjoint with a signed representative supported there. Section 3 gives a nef dlt model, and Section 4 gives generation on its reduced boundary. Pseudo-effectivity of the canonical pullback and an intersection argument isolate positive-dimensional boundary fibers away from components whose signed coefficients are nonpositive. A local root construction adapted from [53], Proposition 3.3 separates the positive and negative divisor supports. An SNC Hodge-module calculation extends the lifting method of [51], Sections 10–12 to residual poles and kills every finite-order obstruction to lifting such a fiber. Douady space and Artin approximation give compact deformations leaving the boundary; compactness of the cycle-space components and relative compactness of bounded-volume cycles allow a Baire argument to produce a covering family. Simplicity forces the actual nef line to be torsion. The program comparison and Lemma 2.6 then permit subtraction of the added boundary, yielding the inductive decomposition.
Birational decompositions and the geometric reduction
The proof will produce a semiample line bundle on a smooth model, together with its entire fixed divisorial part. This section makes that statement precise and reduces the induction to two cases: spaces admitting a nontrivial fibration, and simple spaces of algebraic dimension zero.
The inductive decomposition and its negative part
We use additive notation for rational holomorphic line bundles. Thus means that and are holomorphically isomorphic for some positive integer . If a rational divisor occurs in such an identity, it denotes its associated rational line bundle. In contrast, and denote real Bott–Chern classes. Canonical comparisons are made with the usual local meromorphic canonical identifications. In particular, an identity of lines below contains more information than equality of their Chern classes.
Let be a smooth compact Kähler manifold and let be a pseudo-effective real -class. Fix a Kähler form . For a prime divisor , its minimal multiplicity is
Here ranges over closed currents, and is its generic Lelong number; one may equivalently use currents with analytic singularities. The limit is independent of . Boucksom’s divisorial decomposition is
The sum is a finite effective real divisor, and is modified nef: its minimal multiplicity at every prime is zero. We write and for and . These are the analytic notions, with small Kähler perturbations, throughout the paper. We use the foundational results in [7], Sections 2–3 and 5.
The induction asks for a decomposition that retains both the actual line bundle and this analytic negative divisor.
Definition 2.1. For , let be the following assertion. If is a connected smooth compact Kähler manifold of dimension , is a rational simple normal crossing boundary with coefficients in , and is pseudo-effective, then there is a smooth compact Kähler modification and an actual rational line identity
where is a rational divisor.
The next lemmas make this decomposition stable under further resolutions and allow exceptional resolution errors to be removed. They also provide the fixed-section statement needed to descend the case in which the positive part is torsion.
Lemma 2.2 (Negative-part calculus). Let be pseudo-effective on a smooth compact Kähler manifold. (i) Every positive current in contains the divisorial current . If , then
(ii) Minimal multiplicities are homogeneous and subadditive. In particular, if is nef, then
(iii) If is a smooth modification and is the strict transform of a prime , then
(iv) If is modified nef and is a resolution of a prime divisor, then is pseudo-effective.
Proof. The first assertion about currents follows from the definition of minimal multiplicity and Siu decomposition. Homogeneity and subadditivity follow by scaling and adding testing currents. The subtraction identity is the corresponding property in the big cone, followed by a small Kähler perturbation. More explicitly, for , subtract coefficientwise. In the big cone all positive currents contain this divisor, so subtracting it translates each minimal multiplicity by its coefficient. As , . The class of can be absorbed in a Kähler perturbation tending to zero (there are only finitely many components). This gives the upper bound for the asserted identity; subadditivity applied after adding gives the reverse bound. Weak compactness of positive currents gives pseudo-effectivity of the limit. This is also the subtraction property of the divisorial decomposition in [7].
For the strict-transform formula, pull almost-positive testing currents to . Near the generic point of , the map is an isomorphism, so the generic order is unchanged. This proves one inequality. Conversely, push a testing current on to . To control its negative error, write the error as a small multiple of the fixed positive current , and add a fixed smooth Kähler representative of for sufficiently large. The result is a positive test in a Kähler perturbation tending to zero. The pushforward of has no divisorial order at the generic point of , where is an isomorphism. Thus this test has the same generic order as the original one at . Regularization, if needed, returns to tests with analytic singularities. This proves the other inequality and the formula. It is the analytic form of the strict-transform comparison in [7].
Finally, choose analytic-singularity tests for a modified-nef class whose generic order at the chosen prime tends to zero. Subtract that generic divisorial order before restricting to a resolution of the prime. The remaining singular set does not contain its generic point, so restriction gives an almost-positive current there. The subtracted multiple and the Kähler error tend to zero. Taking the limit proves the last assertion; see also [7].
For a rational line on a normal compact Kähler space whose pullback to a smooth resolution is pseudo-effective, we also use minimal multiplicities for divisorial places. If appears on a smooth resolution , set
The strict-transform formula on a common smooth refinement makes this independent of the chosen resolution. When a real class is already on a fixed smooth model, continues to denote its coefficient in the negative part on that model.
Lemma 2.3 (Exceptional translation). Let be a proper bimeromorphic morphism from a smooth compact Kähler manifold to a normal compact Kähler space. Let be a real -class on represented by smooth local potentials, and let be a real -exceptional divisor. If is pseudo-effective, then is pseudo-effective and
Proof. It suffices by Lemma 2.2 to prove . Write
with no common component, and suppose . Its components are -exceptional. Put and . Normality gives . Let be the pullback of a Kähler form on , let be Kähler on , and set
The restriction property in Lemma 2.2 gives . The term is zero: on each component of , it contains factors pulled back from an image of dimension at most . Distinct effective divisors have nonnegative intersection against the semipositive and Kähler factors in . Hence
On the other hand, by the same dimension count, whereas . The mixed Hodge index theorem, applied first with Kähler factors and then by a semipositive limit, says that is negative semidefinite on . It follows that and that is in the radical of : the radical assertion follows from negative semidefiniteness on , and then from . But
Indeed, a component with image dimension has strictly positive integrand on a dense open. This is a contradiction. The mixed Hodge index statement used here is the mixed Hodge–Riemann relation [24]; the limit preserves the assertion that there is at most one positive direction.
Lemma 2.4 (Pulling up a known decomposition). Let be a pseudo-effective real -class on a smooth compact Kähler manifold, and suppose
For every smooth modification ,
In particular, this applies to the Chern classes of an actual rational line decomposition with a nef rational positive part.
Proof. Subadditivity and nefness give . By the strict-transform formula, the difference is effective and exceptional. Moreover is modified nef. Apply Lemma 2.3 to this class. It gives , proving the assertion.
Lemma 2.5 (Fixed sections). Let be a pseudo-effective rational line on a smooth compact Kähler manifold. Every section of an integral multiple satisfies
at every prime . If , with semiample and rational, then in every sufficiently divisible degree multiplication by the canonical section of identifies with .
Proof. The divisor current is a positive current in , so Lemma 2.2 gives the order bound. In the stated decomposition, every section therefore divides holomorphically by the canonical section of . Conversely, multiplication gives a section of . The actual rational line identity makes these operations inverse after clearing denominators.
Lemma 2.6 (Uniqueness when the positive part is torsion). Suppose , where is an effective rational divisor on a smooth compact Kähler manifold. Then the only positive current in is . If is a rational divisor and is pseudo-effective, then
The same conclusions hold if with torsion.
Proof. Write for the manifold. The assertion is immediate if , so assume . Every positive current in contains . The residual is positive with zero cohomology class, so its mass against a Kähler form to the power is zero. Thus it vanishes. For the second assertion, add to any positive current in . Uniqueness gives , and subtraction in Lemma 2.2 gives the asserted negative part. A torsion line has zero Chern class and becomes trivial after taking a positive multiple, so the last statement is the same argument.
Birational transfer of the decomposition
All modifications resolving spaces, maps, or ideals can be chosen projective. A projective modification of a compact Kähler space is Kähler; graphs between compact Kähler models can likewise be resolved by smooth compact Kähler manifolds. We use these standard analytic resolution and flattening results without further mention.
For log discrepancies our convention is
on a smooth model . In particular, on a log resolution of an lc pair, giving each new exceptional divisor coefficient one produces an effective exceptional error. The next proposition explains why this convention is harmless.
Proposition 2.7 (Resolution and descent). Let be a normal compact Kähler lc pair with rational boundary and rational Cartier adjoint . Let be a log resolution, and put
If is pseudo-effective and the conclusion of Definition 2.1 holds for , then there is a smooth compact Kähler modification with an actual rational line identity
where is a rational divisor. If is analytically nef, it is semiample on .
Proof. With compatible canonical choices there is an actual rational divisor identity
Suppose realizes the decomposition for the left side. Lemma 2.3, applied over , gives
Cancelling in the actual rational line identities proves the first assertion. This argument also shows that further resolutions using the reduced-exceptional convention do not change the assertion .
If is nef, its pullback is nef, so its negative part is zero. The semiample line in the decomposition is therefore itself, up to rational line isomorphism. Choose an actual Cartier multiple generated on . Normality gives , and projection formula identifies its sections with the sections downstairs. A base point downstairs would make every pullback section vanish on its nonempty fiber. There is no such point, so that multiple of is globally generated. □
The second transfer concerns a torsion positive part. Its proof uses the following local construction for finite maps, which will also be used for meromorphic sections and for covers of spaces of algebraic dimension zero.
Lemma 2.8 (Finite analytic norms and characteristic polynomials). Let be a finite surjective morphism of normal irreducible complex spaces, of degree , and let be a holomorphic line bundle on . A nonzero meromorphic section of has a nonzero meromorphic norm in , with
If is holomorphic, its norm is holomorphic. If, in addition, is nonzero at every point of , then its norm is nonzero at .
For a global meromorphic function on , there is a monic polynomial of degree with global meromorphic coefficient functions on such that after pulling the coefficients to .
Proof. At , choose a holomorphic frame of and put
The generic algebra is a product of finite field extensions of , of total dimension . The local meromorphic coefficient of belongs to this algebra. Since is irreducible and is not identically zero, its restriction is nonzero on every generic local component. Thus is nonzero in every field factor, and the determinant of multiplication by is nonzero. Under a change of frame by a unit , this determinant changes by . The determinants therefore glue to the asserted meromorphic section. The valuation formula for a norm over a discrete valuation ring gives the displayed divisor identity at every prime of the normal space .
If is holomorphic, then is integral over . Its norm is integral over and belongs to , hence belongs to by normality. This does not require to be locally free. If is nonzero at every point over , then is a unit in the finite semilocal algebra ; applying the same argument to shows that its norm is a unit in . For a meromorphic function , use instead the determinant of minus multiplication by its local coefficient. These monic polynomials agree on overlaps, and Cayley–Hamilton shows that they annihilate . All these constructions use fractions of local analytic germs, so they remain available when the global meromorphic functions on are constant.
We now descend a decomposition whose positive part is torsion, the form needed for a covering family on a space of algebraic dimension zero.
Proposition 2.9 (Descent of a purely negative decomposition). Let be a proper generically finite surjective morphism between connected smooth compact Kähler manifolds. Let be a pseudo-effective rational line on , and let be a rational divisor on . Suppose that on a smooth model over , the line is rationally linearly equivalent to its rational negative part. Then there is an effective rational divisor on such that
Proof. Replace by the smooth model in the hypothesis and pull back. Write . Pull back a positive current in and add . Lemma 2.6 gives . Put . Subtraction in Lemma 2.2 gives
In particular is the unique positive current in .
Choose so that and are integral and the latter is the divisor of a holomorphic section of . Factor through its normal Stein space:
The connected birational map descends to a holomorphic section of , by normality and projection formula. Lemma 2.8 gives a holomorphic section of whose divisor is
Thus is effective and satisfies .
Both and are positive divisor currents in , so uniqueness gives . We already know . If this inequality were strict at a prime , choose analytic-singularity tests for whose generic orders at tend to , and pull them to . For any prime dominating , the generic orders are multiplied by . The pulled-back Kähler errors can be enlarged to Kähler errors upstairs tending to zero. Consequently
contrary to . This proves .
We will also use Proposition 2.9 when is a modification and . Once the positive part of a decomposition is known to be torsion, it gives on the original smooth space; Lemma 2.4 then identifies the negative divisor upstairs with the pullback of .
The projective anchor and the two geometric cases
Proposition 2.10 (Projective good models). Under Assumption 1.1, every projective lc pair over with rational boundary and pseudo-effective rational Cartier adjoint has a good log minimal model. In particular, holds for projective manifolds in every dimension, and every nef rational lc adjoint on a projective variety is semiample as an actual rational line.
Proof. The good-model assertion is the rational-boundary consequence of the full argument in [53], Proposition 2.5, Theorem 9.6, and Section 10. That argument establishes the additional inductive and nonvanishing premises of its Proposition 2.5 before applying it, and proves a stronger real-boundary induction. Its only use of Assumption 1.1 is in its Lemma 6.1, on a resolved projective Albanese fibration with both boundaries zero. Thus its premise is precisely available here.
For clarity, its good-model conclusion gives on a common smooth projective resolution
as an actual rational divisor identity; the line on is semiample. This is the comparison in [53], Lemma 2.2. Algebraic nefness of a rational line on a projective variety implies analytic nefness, by adding arbitrarily small ample rational classes. Lemma 2.3 therefore identifies with the analytic negative part of the left side. On a smooth projective variety, analytic pseudo-effectivity of a divisor class agrees with algebraic pseudo-effectivity [8]; hence the good-model assertion applies to every projective instance of . This proves the stated form of . If the original adjoint is nef, the same comparison and normal descent give its semiampleness. □
The remainder of the paper proves the following two propositions. They are stated here so that the global induction can be completed before its technical components are developed. A compact space is simple if no positive-dimensional proper compact analytic subvariety passes through a very general point. We write for its algebraic dimension.
Proposition 2.11 (The fibration case). Assume Assumption 1.1. Fix and assume for . Let be a connected smooth compact Kähler manifold of dimension , let be a rational SNC boundary with coefficients in , and suppose is pseudo-effective. If admits a dominant meromorphic map to an irreducible compact space in Fujiki class , with , then the conclusion of holds for .
Proposition 2.12 (The simple case). Fix and assume for . Let be a connected smooth simple compact Kähler manifold of dimension with . For a rational SNC boundary with coefficients in and pseudo-effective, there is a smooth compact Kähler modification such that
and this negative part is a rational divisor. In particular, the conclusion of holds with torsion positive part.
Proposition 2.11 is proved in Section 5; it reduces the fibration to relative log Kodaira dimension zero and then descends the adjoint to its base. Proposition 2.12 is proved in Section 7, using the meromorphic nonvanishing theorem of Section 6. Both propositions use only in dimensions below .
Theorem 2.13 (Good divisorial decomposition). Under Assumption 1.1, the assertion holds for every finite .
Proof. We use Propositions 2.11 and 2.12, whose proofs occupy the rest of the paper. The assertion is immediate in dimension zero. Assume it in smaller dimensions and let be as in Definition 2.1 in dimension .
If , the Kähler Moishezon theorem makes projective, and Proposition 2.10 applies.
If , the algebraic reduction of is a dominant meromorphic map to a projective model of dimension [12]. Proposition 2.11 applies.
It remains to consider . If is simple, use Proposition 2.12. Otherwise Campana’s maximal covering-family theorem supplies a generically finite evaluation map from an incidence space which itself has a nontrivial fibration; see [13]. After resolving the incidence, the graph, and the base, we obtain a smooth compact Kähler source and maps
where is proper generically finite and is in class [27]. The algebraic dimension of is zero. Indeed, a meromorphic function on descends through the birational part of the normal Stein factorization of . Lemma 2.8 gives its characteristic polynomial over the finite part, with meromorphic coefficients on . These coefficients are constant because , so the function is constant on the irreducible space . Bimeromorphic modifications do not change this conclusion.
Choose a reduced SNC divisor containing the inverse image of , after a further resolution. Pullback of logarithmic differentials gives the actual rational identity
For example, this follows locally by pulling back logarithmic top forms for the reduced support of ; decreasing its coefficients to those of only increases the error. Thus the adjoint upstairs is pseudo-effective. Proposition 2.11 applies to . Its semiample positive part is torsion, since a nonconstant semiample map would give a nonconstant meromorphic function on . Proposition 2.9 now gives the required decomposition for . This exhausts the cases and proves the induction.
Proof of Theorem 1.2. Apply Theorem 2.13 on a log resolution of the given lc pair, with the reduced-exceptional boundary. The adjoint is pseudo-effective because the original one is nef. Proposition 2.7 then gives generation of an actual Cartier multiple at every point of the original normal space.
Programs with a fixed nef part and special termination
Fix a dimension , and assume for every . This section supplies two program constructions used in the induction. An ordinary dlt adjoint that is already the sum of a nef rational line and its divisorial negative part has a nef model, reached by contracting that negative part while preserving the nef line. A suitably chosen scaling of a pseudo-effective ordinary dlt adjoint starting on a smooth space has special termination. Its proof uses only on proper log canonical strata and compares two descriptions of negative multiplicities as the scaling parameter tends to zero. Along the way, cohomology transport supplies both the generic scaling directions and the exceptional splitting carried by the terminal models used in Section 4.
The restricted generalized model input is stated first for use in these ordinary constructions. Its proof occupies the last three subsections: polarization and descent, an already-projective relative construction, and the dimension induction. That proof is independent of the assumptions used for ordinary special termination.
Program inputs and descent of actual lines
A normal compact Kähler space is globally -factorial if every global Weil divisor has a positive Cartier multiple. It is globally strongly -factorial if every global coherent rank-one reflexive sheaf has an invertible reflexive power. The strong property implies the first one by applying it to the sheaf associated to a Weil divisor. Both properties concern global objects; the strong property makes no assertion about reflexive sheaves defined only on arbitrary analytic open subsets. For a rational line we write , and use the same braces for the class of a rational Cartier divisor. A trace of a rational line under a bimeromorphic map means its reflexive transform. Bott–Chern transforms will be used only along the detected birational steps described below; on first Chern classes they agree with reflexive transforms whenever the step is ordinary. All resolutions in the compact arguments below are smooth compact Kähler spaces, and their indicated maps to the spaces being resolved are projective. A common resolution is projective over each indicated model.
Definition 3.1 (A resolution adapted to log canonical strata). An effective rational dlt pair on a normal compact Kähler space satisfies the lc-strata resolution convention if it admits a projective log resolution with smooth compact Kähler source such that the strict boundary and the exceptional support together have distinct smooth components forming a simple normal crossing divisor. Writing
with compatible canonical choices, every -exceptional coefficient of is strictly less than one, and is an isomorphism at the general point of every log canonical center of .
This convention asserts the existence of one such resolution. It imposes no condition on later resolutions chosen for other purposes. The ordinary dlt models supplied below for the applications in Sections 4, 5, and 7 admit one by choosing a defining dlt resolution that preserves the simple normal crossing open set meeting the general points of all log canonical centers, and resolving any remaining data away from that open set.
An ordinary negative step for is a projective bimeromorphic divisorial contraction, or a diagram
of projective small bimeromorphic morphisms, with connected fibers and normal base, such that is -ample and, in the small case, the trace is -ample. The contracted curves on span one nonzero ray for degrees of global rational lines. We require this ray condition on the contracting side only. All spaces occurring in these steps are compact Kähler, and the working spaces are globally strongly -factorial. The boundary is pushed forward in a divisorial step and strictly transformed in a small step.
On a common smooth compact Kähler resolution, projective over and the next space with maps and , the natural meromorphic comparisons of canonical bundles give the actual rational-line comparison
Here and below these adjoint identities use the local meromorphic canonical identifications. In particular they do not choose a global meromorphic frame for an arbitrary line bundle. Negativity proves (2); moreover, its support contains the full inverse image of the non-isomorphism locus in the contraction base. Thus discrepancies increase strictly for a place whose center maps into that locus, and do not decrease elsewhere. This preserves klt and dlt singularities. These assertions, including strictness, are proved in [52], Lemma 7.3. Their proof is local over the contraction base and has no dimension restriction.
For use on strata, we record why the full support assertion holds for a detected small step. Choose a sufficiently divisible integer and the evaluation ideal
Outside the exceptional locus of , evaluation is an isomorphism. On a positive-dimensional projective fiber, every section vanishes: has negative degree on every fiber curve, and curves cover every positive-dimensional fiber component. Connectedness gives the same vanishing on the whole nontrivial fiber. Hence the zero set of is exactly the exceptional locus. On a common resolution principalizing , relative generation on the positive side identifies in (2) with the divisor of . Thus is the full inverse image of that locus. On a common resolution of a longer negative program, discrepancy monotonicity makes the cumulative comparison dominate this first-step divisor. These are support statements for the actual comparison, stronger than effectiveness and exceptionality alone.
We next state the restricted model inputs used in this section. A nef b-class is a Bott–Chern class that is globally nef on one fixed smooth compact Kähler carrier, with its linear traces on the other models. The generalized adjoint on is . Generalized klt, abbreviated gklt, means that all generalized log discrepancies, computed on that carrier, are positive. The modified-bigness hypothesis below concerns the whole boundary-plus-nef trace . We use the convention of [37], Definition 2.8: a modified-big trace is the pushforward of a big Bott–Chern class on a modification. The trace itself may be a current; the generalized adjoint is required to define a Bott–Chern class. For a proper map , let be the quotient map to . Relative pseudo-effectivity means , where is the absolute pseudo-effective cone. Equivalently, for Kähler classes , the class is pseudo-effective over if for every some makes big. This imposes no projectivity hypothesis on . For the actual relative line classes of an already projective map, this is the usual relative pseudo-effective cone.
Proposition 3.2 (Restricted Kähler model inputs). Let be an effective compact Kähler gklt pair of dimension , with globally strongly -factorial. Suppose that its nef b-data are globally nef on a fixed smooth carrier and that is globally modified big. Write .
(i) If is nef, there is a proper morphism with connected fibers to a normal compact Kähler space and a Kähler class such that .
(ii) For a proper morphism to a normal compact Kähler space, if is pseudo-effective over , there is a chosen good log terminal model over . It is nonextracting, compact Kähler and globally strongly -factorial. Its adjoint is nef over , and on a common projective resolution its comparison with is effective and exceptional over the new model, with strictly positive coefficient at every prime contracted from . The construction retains compatible forward Bott–Chern traces of the specified data on a common smooth carrier.
(iii) A compact polytope of these data on one fixed carrier has finitely many marked relative canonical models and relative weak log canonical models with normal compact Kähler targets.
The relative assertion applies to proper morphisms, without assuming that is projective. It is an assertion about a chosen model, not termination of every generalized flip sequence.
Proof. These are the semiampleness, proper relative model and finite-model assertions of Theorem 3.49, proved below by dimension induction independently of . Finite marked weak-model geography is recorded in Lemma 3.48. Projective analytic model constructions used in that induction are supplied by Proposition 3.25. None of these statements promotes an undetected generalized-ray contraction to a projective map.
We use separately the analytic cone theorem [37]: an -negative analytic extremal ray of an effective gklt adjoint has a rational curve generator with . Existence of the supporting contraction in the applications below follows from the nef assertion above. When an ordinary rational adjoint is negative on that ray, Lemma 3.16 and Proposition 3.18 give its projective contraction and ordinary flip. We call these detected ordinary steps.
The Bott–Chern transform through such a birational step has a concrete description which does not require the source to be smooth. Write the step as , with for a divisorial contraction, and let be its negative rational adjoint. For , choose the unique real number for which annihilates the contracted analytic ray. Every contracted curve is on that ray. Lemma 3.15 therefore gives a unique class on with , and we put
The rational-singularity and vanishing hypotheses of that lemma hold: slightly lowering the rational Cartier floor gives a klt adjoint still antiample over , and relative vanishing gives rational singularities on the base. On a common resolution, the pullback difference is times the adjoint comparison in (2); it is exceptional over the new model, and over both models in a flip. This defines a linear transform. For the Chern class of a rational line it agrees with its reflexive trace, by the coherent line comparison [52] and exceptional negativity. The already-projective relative program below only needs a ray for degrees of global rational lines; this Bott–Chern construction is used for its subsequent detected analytic-ray programs.
When such a class difference lies in an exceptional divisor span, we write it as for the representing real exceptional divisor . This divisor is unique: an exceptional divisor with zero class has zero degree on every contracted curve, and exceptional negativity applied to both signs makes it zero.
We also use local projective analytic results. For a projective analytic morphism over a Stein neighborhood of a compactum with Fujino’s property (P), relative klt base point freeness says that, if is a relatively nef Cartier line and is relatively ample for some positive integer , then all sufficiently high powers of are relatively generated after shrinking [31]. We use the finite negative-ray truncation in the relative cone theorem in the same setting. Finally, the multigraded adjoint finite-generation theorem applies to a projective morphism from a smooth space, for simultaneous effective SNC klt boundaries with a common relatively ample rational summand [18]. Finitely many smaller Stein neighborhoods suffice over a compact base.
Lemma 3.3 (Descent without changing a Cartier exponent). Let be a projective bimeromorphic contraction with normal target. Suppose an ordinary rational klt adjoint is -antiample. If a Cartier line has degree zero on every contracted curve, then is an invertible sheaf and evaluation is an isomorphism
The same conclusion holds for an ordinary dlt adjoint whose floor is rational Cartier and which is -antiample. In a flip, a line with zero contracted degree therefore has the same Cartier exponent on both sides, and the two lines are pullbacks of a line on the common base.
Proof. For dlt input, decrease the floor by a sufficiently small positive rational multiple. The resulting pair is klt and remains -antiample. For this klt pair the base point free hypothesis holds for , because has zero fiber degrees and the negative adjoint is relatively ample. Over a smaller base neighborhood every sufficiently high power of is therefore generated. The associated morphism is constant on each connected fiber: its tautological line has degree zero on every fiber curve, and every positive-dimensional projective image contains a curve. Its graph then factors through ; the graph projection is finite bimeromorphic and is normal. Descend two consecutive generated powers to lines . The line pulls back to . Projection formula identifies this quotient with , so these local descents and their evaluation maps agree on overlaps. Pull the descended line to the positive side of a flip. This is the argument of [52], Lemma 7.4. □
Relative klt programs and small models
The local finite-generation theorem also supplies an ordinary klt program over a compact base. We use it to obtain globally strongly -factorial small models of strata. The construction keeps track of degrees of global rational lines, which are the degrees needed for exact Cartier descent.
Proposition 3.4 (Relative klt programs over a compact base). Let be projective bimeromorphic, where is a normal compact Kähler space and is normal, compact Kähler, and globally strongly -factorial. Let be an effective rational klt pair with rational-line adjoint . There is a finite sequence of ordinary -negative steps over , all projective over , whose last adjoint is curve-nef over , meaning that it has nonnegative degree on every curve contracted over . Every working space is compact Kähler and globally strongly -factorial. On a common resolution the comparison from the first adjoint to the last is effective and exceptional over the last space.
Proof. We give the reduction to the local finite-generation input, including why it yields a single finite program over the compact base. Let be the finite-dimensional space of degrees of global rational lines on curves over , and put . If , then is already curve-nef. Assume . Choose rational lines whose degree classes form a basis and such that both and are relatively ample. Such a basis exists because the relatively ample classes whose sum with is also relatively ample form a nonempty open set containing sufficiently positive classes. Define the rational simplex of adjoints
We will choose a general direction with and . Its entire scaling segment lies in this simplex:
and it lies in the relative interior for .
We produce the klt representatives for these exact vertices on each sufficiently small Stein neighborhood separately. A relative Cartier line and its inverse have local effective representatives there: their proper direct images are coherent of generic rank one, so Cartan generation supplies nonzero local sections. This uses that is bimeromorphic. Represent each by a divided general free effective divisor , using a sufficiently divisible relatively generated multiple. These finitely many general divisors preserve klt with . Choose a relatively ample integral line , and local effective representatives , by the preceding argument. For one sufficiently small positive rational , all boundaries
are effective and klt. Their adjoints represent and , respectively, and is a common effective relatively ample summand. In particular, every rational adjoint in is relatively big.
On this Stein member, choose one simultaneous projective log resolution of the finite family. Give each exceptional prime a coefficient in , where the are its crepant coefficients for the vertex pairs. If is resolution-exceptional with resolution-ample, then subtracting a sufficiently small multiple of from the pullback of leaves a relatively ample rational divisor. A sufficiently small positive rational multiple of this divisor can be removed from every boundary while leaving all coefficients effective and below one; the strict exceptional margins ensure this along the exceptional primes. A divided general free representative of this common summand preserves the simultaneous SNC condition. The smooth multigraded theorem now applies to these vertices. Exceptional corrections leave the local adjoint rings unchanged by projection to a normal space; clearing the finitely many line identifications simultaneously makes them multiplicative. This is the reduction in [52], using [18].
Here are the two consequences of finite generation that we need. The normalized main relative Proj of any rational adjoint extracts no prime divisor, and its trace is a relatively ample rational line. Indeed, resolve the degree-one base ideal after a common Veronese and write
with tautological and relatively ample. Generation says that all sections in degree vanish at least along . If a component of were not -exceptional, relative generation of would supply a section with smaller vanishing there. If a -exceptional prime were not -exceptional, the same argument with would contradict . This proves nonextraction. There are also only finitely many marked normalized main Proj models, where the marking records their common bimeromorphic open over . To see this, choose finitely many homogeneous generators locally. Proj charts of each diagonal ring use homogeneous monomials as denominators; the supports of those monomials in the finite set of generators determine the degree-zero localizations and their gluing. Only finitely many support patterns occur. Normalization and taking the main component preserve this finiteness. A finite cover of the compact base gives finitely many global marked models, since marked local identifications agree on the common dense open and glue uniquely. These are [52], Lemmas 7.5 and 7.6.
For completeness, we construct the scaling program controlled by this finite list. On a working model, let be a relatively ample line. The closed curve cone in the dual of its global degree space has compact slice : for every line , both and are relatively ample for large, which bounds every coordinate. Local cone truncations on the finite Stein cover express the negative part of this slice, after any positive ample truncation, using finitely many actual curve classes. A negative extremal ray can therefore be separated by a rational nef support annihilating just that ray. A positive multiple of the support minus the klt adjoint is relatively ample. Relative base point freeness contracts exactly the ray. If the contraction is divisorial, its single exceptional prime and Lemma 3.3 prove the global strong property downstairs. If it is small, the relative Proj of the adjoint is its small positive model. For any global line on the negative model, killing its ray degree and applying the same lemma gives an actual rational identity
It transforms to the positive side, proving the global strong property there. This is the continuation construction of [52]; it also preserves projectivity over and compact Kählerness.
The transforms of continue to span the degree spaces: use pullback in a divisorial step and the preceding decomposition of each line in a small step. A line of zero global relative degrees stays so by Lemma 3.3; curves in the contraction bases can be lifted through projective morphisms. There are only countably many possible finite sequences of curve rays, and each determines its contractions and flips uniquely. We may therefore choose in the relative interior of so that it avoids all ties between independent ray degrees in advance. At a positive nef wall, write for the traces on the current model, and choose a preceding parameter for which is relatively ample. On the zero face of the normalized compact curve slice,
in degrees. Thus is uniformly negative on that face. Choose the positive ample truncation so that its compact remainder misses the face. The finite rational polyhedral test and the general choice of make the face a single ray . The wall class has a positive minimum on and is positive on every other truncated curve generator. Hence a sufficiently small open neighborhood of inside the annihilator consists of nef classes with zero face exactly .
Suppose first that has positive dimension. It is a rational hyperplane because is represented by an integral curve. Choose a rational simplex of support classes in that neighborhood containing the degree class of in its relative interior, and represent each vertex by a rational line . For each such , compactness gives an integer for which is relatively ample. Relative base point freeness contracts exactly and descends to a relatively ample rational line on the contraction base. These bases agree because the contracted curves agree. The difference between and the corresponding convex combination of these rational lines has zero relative degree. In the finite rational span of the lines involved, the degree map has rational kernel, since rational lines have rational degrees on integral curves. The difference is therefore a real combination of rational lines of zero relative degree. Lemma 3.3 descends these lines, and lifting curves from the base shows that their descents still have zero degree over . They do not affect relative ampleness. Convexity now shows that descends to a relatively ample real line class over . If , the same zero-degree descent applies to ; the contraction base has no curves over , hence is finite over , and relative ampleness is automatic.
After a flip, let be the pullback of this wall class to the positive side. For sufficiently small ,
is relatively ample over : the wall is pulled back from a relatively ample class on the contraction base, and is relatively ample over that base. After a divisorial contraction, openness of the ample cone on the base gives the same nonempty interval of relative ampleness.
Each working model is consequently one of the marked ample models already counted. Indeed, for a fixed finite prefix and an interior parameter , replace the direction and parameter by nearby rational ones. They remain in , and all strict signs in that prefix and the final relative ampleness persist; the associated relative section ring has this working model as its Proj. A repeated marked working model would have the same trace of , because all steps are nonextracting, and hence the same discrepancies. This contradicts the strict increase in (2) at an intervening nontrivial step. The finite list therefore forces termination. The last adjoint is curve-nef, since the continuation construction applies whenever it is not. Composing (2) proves the final comparison.
Corollary 3.5 (Small strong models). Let be an effective rational dlt pair on a normal compact Kähler space, with rational-line adjoint. Suppose that an effective rational Cartier divisor satisfies . There is a projective small morphism , with globally strongly -factorial and compact Kähler, which is crepant for the full adjoint and is an isomorphism over the smooth locus of . The transformed full pair is dlt. The same assertion for an ordinary klt pair allows .
Proof. Choose a small rational for which is effective and klt. On a projective log resolution , use the strict lowered boundary and give every exceptional prime a coefficient strictly between its crepant coefficient and , and at least zero. The resulting klt adjoint has the actual form
where every -exceptional prime has positive coefficient in . Apply Proposition 3.4 over . On its endpoint the trace is effective, exceptional over , and relatively nef. Negativity makes . Since all initially exceptional primes had positive coefficient, is small and the lowered adjoint is crepant. Restoring gives the full crepant identity.
A projective small morphism to a smooth germ is an isomorphism: transport a relatively ample line to the smooth germ, where it is Cartier; smallness makes the original line its pullback, contradicting relative ampleness on a nontrivial fiber. Thus is an isomorphism over an SNC open meeting all lc centers of the dlt pair. The full crepant comparison then proves dlt on .
Scaling toward zero and keeping a nef rational line
The next construction runs every positive truncation of an ordinary dlt scaling. It also explains why a sufficiently large multiple of a prescribed nef rational line forces every step to be trivial for that line. The integer that clears the line will be the same at every step.
For the detected ordinary scalings constructed below, let on the first space , with initial parameter , and let be its linear transform on a working model . Put . If the next step occurs at threshold , its ray is annihilated by and is negative for . The trace is nef on , which we call its working interval. If is nef, we set and stop. Working intervals are allowed to be degenerate; strict decrease of positive thresholds will be arranged only in the proof of special termination.
Lemma 3.6 (Positive truncations and a fixed nef line). Let be an effective rational dlt pair on a globally strongly -factorial compact Kähler -fold, and put .
For a sufficiently large Kähler class , there is an ordinary -program with scaling of , starting with Kähler. Every positive truncation is finite. If is pseudo-effective, the
program either reaches a nef adjoint or has positive thresholds tending to zero. If is not pseudo-effective, the program is finite and ends with a Mori fiber contraction.
(ii) Let be a nef rational line with Cartier, and choose with . The same alternatives hold for , according to pseudo-effectivity of , with enlarged if necessary. Every birational step is an ordinary -negative step on which is trivial, and the final Mori ray, if present, is also -trivial. The same line descends through every birational contraction and pulls back to its positive side. Its traces remain analytically nef; if is semiample, its same generated multiple and associated morphism are preserved, also through the final Mori contraction.
Proof. Write in the first case and in the second. Fix with Kähler. For each , choose a positive rational so small that, with ,
For use the presentations
omitting in the first case. Their b-data are globally nef on the fixed initial carrier, and their boundary-plus-nef traces are globally modified big. These are effective gklt data.
We first construct a step whenever the unscaled working trace is not nef. Choose a positive shift strictly below the current wall and use the gklt presentation of its current trace . The ray at the wall is -negative. On a compact slice of the analytic curve cone, the cone theorem makes the -negative part locally polyhedral after a sufficiently small positive Kähler truncation. Separating the chosen extremal ray from the other finitely many rays in that truncation gives a Kähler class such that is nef and its zero face is precisely this ray; see the supporting construction in Proposition 3.42. Add the pullback of this new Kähler class to the fixed nef carrier. The resulting adjoint still has globally nef data and modified-big boundary-plus-nef trace, so the nef assertion of Proposition 3.2 supplies its supporting contraction. This uses a new supporting direction on the current space; it does not require the trace of the original scaling direction to be Kähler. We verify a rational ordinary detector before asserting projectivity or constructing a flip. In the second case nefness of makes negative on the ray; the first case has this property directly. Lower the floor by a small rational amount, retaining negativity of , so that . The ordinary klt cone length bound gives a rational curve generator with
In the second case, if , integrality of gives , contradicting
Thus in that case the ray is -trivial. The lowered ordinary adjoint is a global rational detector. The detected projectivity and flip constructions in Lemma 3.16 and Proposition 3.18 supply the projective ordinary step. The difference of and a positive rational multiple of the lowered adjoint has zero contracted degree; exact descent in Lemma 3.3 shows that restoring the floor preserves the positive-side sign. This is the ordinary replacement of Proposition 3.19, and the full pair remains dlt by Equation (2).
In the second case, Lemma 3.3 descends the actual Cartier line without changing . Analytic nefness descends and pulls back under these projective contractions [37]. A generated multiple descends as a generated line by projection formula and pulls back as one. Thus the same length estimate and the same apply at the next step. The corresponding assertion on a final Mori ray follows from exactly the same estimate. For a semiample , the map of its fixed generated multiple is constant on each connected projective contracted fiber: otherwise its image contains a curve of positive degree. The map therefore factors through the normal contraction base, including in the fiber-type case.
The traces used in this construction are linear by the degree-zero descent description preceding Lemma 3.3. At a wall the scaled class is pulled back from its base. The comparison for an earlier parameter is a nonnegative multiple of the ordinary adjoint comparison. Consequently the gklt presentations on any fixed positive segment remain gklt along its program, and every working model is a weak model for a member of that segment. The finite marked weak-model assertion in Proposition 3.2 applies. A marked model cannot recur: its boundary trace would be the same, whereas a nontrivial intervening ordinary step strictly increases a discrepancy. There are therefore only finitely many steps with threshold at least .
For decreasing cutoffs, any already-constructed finite prefix remains valid. The floor perturbations cancel in the displayed classes and continue to cancel under their linear transforms; their nonpositive comparisons preserve the new gklt data. Starting at its last nef wall therefore extends the prefix to the smaller cutoff. This gives one compatible scaling program. A positive limiting threshold would lie in a finite positive truncation, so an infinite program has limit zero. Pseudoeffectivity excludes a negative Mori endpoint. If is not pseudo-effective, its pseudo-effective threshold in the initial Kähler direction is positive. Every nef working trace, together with its effective exceptional comparison, makes the initial scaled class pseudo-effective, so the scaling thresholds are bounded below by that positive number. The program is therefore finite. Its endpoint cannot be nef, since that comparison would make pseudo-effective; it is the stated Mori fiber contraction.
We call these programs detected ordinary scalings. Their steps are ordinary negative steps of one analytic extremal ray, with the linear Bott–Chern transform described above. The next lemma connects their nef working traces to the analytic negative part, including its limit at parameter zero.
Lemma 3.7 (Negative parts along a detected ordinary scaling). In a scaling from Lemma 3.6, write in its first case and in its second, and use the notation above. For a parameter in the working interval of , a common smooth resolution , gives
Here is an actual real exceptional divisor, and
For the limit statement, let be any rational line on a normal compact Kähler space whose pullback to a smooth resolution is pseudo-effective, and let be a Kähler class on . On any fixed smooth resolution and for every prime ,
Thus the same convergence holds for every divisorial place, after choosing a resolution on which it appears.
Proof. For in the working interval of , every earlier threshold is at least . Each earlier step is therefore negative or trivial for this parameter. Composing its comparisons gives (3). Since is nef, Lemma 2.3 identifies the exceptional divisor with the negative part.
On the fixed resolution , choose a Kähler class and such that is Kähler. Monotonicity of each minimal multiplicity under addition of a nef class gives
The left side tends to the right side by the definition using small Kähler perturbations. This proves the convergence on , and the same argument applies on a resolution representing any chosen divisorial place.
Proposition 3.8 (Contracting a known negative part). Let be an effective rational dlt pair on a globally strongly -factorial compact Kähler space, and put . Suppose there is an actual rational-line identity
where is analytically nef, is an effective rational Cartier divisor, and, on one smooth compact Kähler resolution projective over ,
There is a finite ordinary -negative program to a nef model which contracts precisely the prime components of among the primes of . Every step is -trivial, with a fixed Cartier exponent as in Lemma 3.6, and
If is semiample, then so is this actual last adjoint.
Proof. Lemma 2.4 makes the stated equality valid on any higher resolution. Choose as in Lemma 3.6. Adding leaves the same negative part. Indeed, on a smooth resolution write , , and . Subadditivity and homogeneity of negative multiplicities give
Thus .
Run the scaling for . Let be the strict transform on a fixed resolution of a prime component of . Its multiplicity in is positive. The limit in Lemma 3.7 makes its multiplicity positive for every sufficiently small positive parameter. If that prime still survived on the corresponding working model, (3) would make its multiplicity zero, because the comparison there is exceptional over that model. It must therefore be contracted after finitely many steps. The same conclusion holds if a nef endpoint is reached before taking the limit. There are only finitely many components of , so after a finite prefix all have disappeared.
Throughout the program descends and remains nef. The actual identity , with the codimension-one pushforward of , follows from the reflexive trace convention. Once , we have ; since is nef, the program stops. Conversely, a divisorial negative step can contract only a prime of : its ray is -trivial, so the effective divisor has negative degree on every contracted curve, and those curves are contained in its support. This proves the exact assertion about contracted primes.
The next lemma records the cohomology carried by a detected ordinary scaling that begins on a smooth space. Its surjectivity will let us choose one generic initial scaling direction for all later models. Its exceptional splitting will also carry the span of line classes to the terminal models used in Section 4.
Lemma 3.9 (Cohomology through ordinary steps). Let a finite prefix of one of the detected ordinary scalings constructed in Lemma 3.6 start on a smooth compact Kähler space, and let be any working space. For every smooth compact Kähler resolution projective over ,
The linear transform from the first space is surjective onto and , respectively. For a small correspondence between working spaces, the difference of the pulled-back classes and their transforms on a common resolution lies in the span of the primes exceptional over both spaces. Under the displayed decompositions, the Chern class of a global holomorphic line on is the sum of the pullback of a rational holomorphic line class on and an exceptional rational divisor class. In particular, passage to the exceptional quotient preserves the real span of line Chern classes.
Proof. For a modification of a smooth compact Kähler manifold, the degree-two modification theorem gives these decompositions, and the exceptional classes have type . Suppose they hold at one step. Its contraction base and both working spaces have rational singularities: slight lowering of the rational Cartier floor makes the ordinary pair klt, and the detected contraction has a base with rational singularities. These contractions are bimeromorphic, so a common resolution and Leray give for ; this verifies the additional hypothesis in Lemma 3.15.
The ray of this detected contraction is one ray for Bott–Chern degrees. This also suffices for degree-two classes. Indeed, pull a class to a smooth resolution and take its Hodge decomposition. By the decomposition already proved for this working model in (5), its -part is for a Bott–Chern class and an exceptional real divisor . The other Hodge components have zero degree on curves. On every -contracted curve the degree of is therefore zero, so both signs of negativity make . Lifting any curve of through the projective resolution now shows that and have the same curve degrees. Thus subtracting a multiple of from either a degree-two or a Bott–Chern class can annihilate every curve of the contracted fiber. By Lemma 3.15, a degree-two class, or a Bott–Chern class, with these zero degrees is pulled back from the base. Subtract a multiple of to make any given class annihilate that ray, descend the remainder, and use the trace to define its transform. On a common resolution the difference is a multiple of the exceptional adjoint comparison in (2). For a flip the two exceptional prime sets on that resolution are the same. For a divisorial contraction the target resolution has just the one additional exceptional prime of the step. The old decomposition therefore spans the new one and proves surjectivity of the transform.
The sums are direct. If the pullback of a class from is an exceptional divisor class, that divisor has zero degree on all curves over . Applying exceptional negativity to both signs makes the divisor zero; injectivity of pullback gives that the class is zero. The pullback injectivity in degree two and in Bott–Chern cohomology is also Lemma 3.15, applied to the resolution. Passing to higher smooth resolutions proves the assertion for every .
For the line assertion, let be a holomorphic line on , and put . Global strong -factoriality gives an invertible sheaf for some . The coherent evaluation comparison of [52] gives
Indeed , since the two sheaves agree at the general points of all divisors of . Local generators of in a frame of compare their evaluations with the pulled-back coefficients by meromorphic quotients. Those quotients agree on the isomorphism locus and hence glue; their zeros and poles are exceptional. Taking Chern classes proves the assertion without choosing a meromorphic section of . □
Before returning to special termination, we record the consequence used in the boundary argument: a lower-dimensional manifold of Kodaira dimension zero has a terminal torsion model carrying the preceding exceptional splitting.
Corollary 3.10 (Terminal models in Kodaira dimension zero). Let be a smooth compact Kähler -fold with and . A finite ordinary -negative program reaches a globally strongly -factorial compact Kähler terminal space whose actual canonical rational line is torsion. For every smooth compact Kähler resolution projective over , the decompositions in (4) and (5) hold.
Proof. A pluricanonical section makes pseudo-effective. By , on a smooth modification there is an actual identity
Lemma 2.5 identifies the divisible section spaces with those of . Hence ; a semiample line of Iitaka dimension zero has a trivial positive multiple. Proposition 2.9, applied with and , gives an effective rational divisor with . Lemma 2.4 then gives . Apply Proposition 3.8 with . It reaches a model with torsion canonical line. It is terminal: exceptional places over the initial smooth space have log discrepancy greater than 1, and a divisor contracted from that space starts with log discrepancy 1 and acquires a strict increase in (2). Finally apply Lemma 3.9. □
A comparison model for the restricted scaling
We now prepare the lower-dimensional argument that excludes an infinite sequence of small transformations on a log canonical stratum. We first construct a semiample small model when the negative multiplicities have centers away from the floor. We then make one model nef on an entire interval of perturbations. This interval is the precise lower-dimensional conclusion needed below.
Lemma 3.11 (A semiample small comparison model). Let be an effective rational dlt pair on a normal compact Kähler space of dimension . Suppose is a pseudo-effective rational line, and that an effective rational Cartier divisor satisfies . Assume for every divisorial place over that
There is a globally strongly -factorial compact Kähler dlt pair , small bimeromorphic with , whose adjoint is an actual semiample rational line. Over a neighborhood of the floor in , the comparison is a projective small crepant morphism .
For every there is a transformed class which is its pullback over . On a common smooth resolution , ,
where is a real divisor supported on primes exceptional over both spaces, and is disjoint from .
Proof. Resolve the dlt pair, giving new exceptional primes coefficient one. The resolved adjoint is the pullback of plus an effective exceptional divisor. Apply to this smooth pair. Lemma 2.3 subtracts the exceptional resolution error from its negative part. On a smooth higher model we obtain the actual identity
Every component of is exceptional over and has center disjoint from the floor, by Equation (6). Choose divisible enough that , , are integral and is generated. Lemma 2.5 shows that multiplication by the section of identifies the complete section spaces. Over a neighborhood of the floor, is absent upstairs. The line is generated there, and these sections descend to by normality. Thus is generated on a neighborhood of the entire floor.
Let be the normalized graph of the map defined by the complete system , and write for its morphism to projective space. The map is projective and is an isomorphism over . The rational line
is semiample. The generated moving system induces a morphism whose pullback of is . Choose a small positive rational for which is effective and klt. On a projective log resolution , give every exceptional prime a nonnegative coefficient strictly above its crepant coefficient for the lowered pair and strictly below . Its klt adjoint equals the pullback of plus an effective error positive on every prime exceptional over .
Run Proposition 3.4 over , and write for the endpoint morphism and . The surviving error is effective and has positive coefficient on every prime of exceptional over . Over , where , it is also exceptional and relatively nef, since the lowered adjoint is relatively nef and its other term is pulled back from . Local exceptional negativity makes it zero there. Hence is small over , and it is an isomorphism over the smooth part of by the argument in Corollary 3.5. Restore the floor. The full pair on is dlt near it, by the crepant small comparison and the SNC open, and is klt elsewhere. No exceptional prime has center meeting the floor, so is its strict transform and
Put . On a common smooth model , over , the maps and agree on the common dense open and hence everywhere by separatedness of . Thus . Define . This is an effective rational divisor, exceptional over and supported away from the floor. Pushing Equation (3.6) to gives
The global strong property on makes rational Cartier. The divisor is -exceptional and rationally linearly trivial. Exceptional negativity applied to both signs therefore gives .
Define . Adding the restored-boundary error gives
where is exceptional over , is supported away from the floor, and contains every prime exceptional for . It is rational Cartier by the global strong property. On , Lemma 2.4 gives
Exceptional translation for over then gives . The hypotheses of Proposition 3.8 are now satisfied. Each contracted curve lies in , since its -degree is zero and its -degree is negative. Nontrivial connected projective fibers are covered by curves, so this contraction and its positive replacement are unchanged over a neighborhood of the floor. The same assertion persists with the pushed-forward effective divisor at each step. All primes exceptional over are contracted and no prime coming from is contracted. The endpoint is therefore small with , has the asserted morphism over , and has semiample.
Pull from to . Although may be singular, its subsequent program consists of the detected ordinary analytic-ray steps in Proposition 3.8. At step , choose so that has degree zero on its contracted ray. All curves in a fiber have class on that same analytic ray. The working spaces have rational singularities after slightly lowering the Cartier floor, and relative vanishing gives rational singularities on the contraction base. Lemma 3.15 therefore descends this class uniquely to the base. Pull it to the positive side and add , defining . The pullback difference is times the ordinary adjoint comparison, hence is an actual real exceptional divisor class. No smooth-start cohomology splitting is needed for this construction.
Telescope these comparisons on a common resolution. The original map was a morphism, and was pulled back through it. Since and match in codimension one, the resulting divisor is exceptional over both. Each step is an isomorphism over the chosen neighborhood of the floor. There the class remains the pullback from ; the corresponding comparison divisor has zero class and is exceptional. Negativity applied to both signs makes it zero there. Thus its support is disjoint from the inverse image of , as claimed.
Lemma 3.12 (One nef model for an interval). Under the hypotheses of Lemma 3.11, let be any Kähler class on . There are a normal globally strongly -factorial compact Kähler space , small bimeromorphic with , a number , and transformed classes such that
On a common smooth resolution of and , the differences of pullbacks of and these transforms lie in the common exceptional span.
Proof. Let denote the semiample rational line from Lemma 3.11, and use its transform . On a common resolution , , let be the real divisor in the common exceptional span defined by
It is effective: is -nef, because is nef and the other term is pulled back from ; apply exceptional negativity. Its support is disjoint from . In particular is pseudo-effective, and its negative multiplicity at every prime of is zero. Indeed, , and Lemma 2.3 applied over gives .
Let be the rational Cartier trace of . Choose so small that is Kähler. For a fixed sufficiently small , consider on the boundary and the nef b-class represented on by . Its trace on is , so its generalized adjoint is
These are effective gklt data. Over the b-class descends to , so its generalized discrepancy contribution is zero there, and subtracting raises every zero log discrepancy of the dlt pair. Away from the floor the ordinary pair is klt; on one fixed log resolution its finitely many subunit coefficients stay subunit for small . This proves gklt. The generalized boundary is big. On a common resolution the pullback of the trace of minus is effective exceptional by the same negativity argument as for . The latter pullback is nef and big, so the trace is big; the remaining boundary is effective.
Choose an integer such that is generated, and let be the Stein factor of its morphism. Then is normal projective and for an ample generated Cartier line on . Set . The preceding preparation makes an effective gklt adjoint with globally nef b-data and globally modified-big boundary-plus-nef trace. It is pseudo-effective because is nef and is modified nef. Apply the proper relative assertion of Proposition 3.2 over . This produces a chosen nonextracting good log terminal model and a morphism , with nef over . The hypothesis here is properness: the semiample morphism need not be projective. Put
The relative construction preserves the actual line pulled back from , and its forward Bott–Chern transport preserves the displayed linear relation; these are the transforms of , .
The map is small. On a common projective resolution , , its comparison is
where is exceptional over and has positive coefficient at the strict transform of each prime contracted from . The forward trace is pseudo-effective, so exceptional translation gives
But is modified nef on ; the coefficient of at a strict prime of is zero. Thus no prime of is contracted. Nonextraction then proves smallness.
Fix . We claim that is absolutely nef. Otherwise the cone theorem for the effective gklt adjoint gives an -negative rational extremal generator such that
Indeed the cone summand on which is nonnegative also has nonnegative -degree, so a negative ray summand must account for any failure of nefness. If , ampleness of makes vertical over , contradicting relative nefness of . Otherwise Cartier integrality gives , contradicting
This proves the claim. Both and are nef. By convexity,
Thus works. The actual line has the same generated multiple as , since both are pulled back from . Its class is the transform of . The relative comparison and linear transport give exceptional-divisor comparisons for , . Since , , agree in codimension one, their final comparison divisors are exceptional over both and , as required.
Special termination
Theorem 3.13 (Special termination for a chosen dlt scaling). Assume for every . Let be an effective rational dlt pair on a smooth compact Kähler -fold, and suppose is pseudo-effective. There is a Kähler scaling direction , with Kähler, and a scaling as in Lemma 3.6, such that after finitely many steps the exceptional, flipping, and flipped loci are disjoint from the reduced floors of the working pairs.
Proof. We first choose a scaling with strict positive walls and Kähler interior classes. We then reduce the transformations on each log canonical stratum to small diagrams away from its smaller strata. Finally, the single nef interval supplied above rules out infinitely many such diagrams.
Choice of scaling. For every possible finite prefix of the detected ordinary truncation scalings from , Lemma 3.9 makes the transform of onto the working Bott–Chern space surjective. There are countably many such sequences: curve rays belong to countably many integral homology classes, and a ray determines its contraction and its flip uniquely. On each working space, two distinct curve rays with nonzero -degrees give a proper hyperplane of initial directions defined by
where the degrees use the traces on that working space. Whenever both rays define finite walls, this equation says that their wall parameters agree. Avoid all these hyperplanes, and also avoid whenever . A general Kähler direction, enlarged to make the initial scaled class Kähler, has these properties.
At a wall the scaled class is pulled back from the contraction base. Immediately after a flip, curves in an opposite-side fiber have positive -degree. Another negative ray at the same wall would satisfy the excluded wall equation with that opposite-side ray. Immediately after a divisorial contraction, lift any putative new wall curve through the projective morphism. Its lifted ray is distinct from the contracted ray and satisfies the same wall equation; if its -degree were zero, its -degree would also be zero. Both possibilities were excluded. Hence consecutive positive thresholds strictly decrease, and each working interval has nonempty interior. Its interior nef class is big: the class on is a positive Kähler perturbation of the pseudo-effective class , and bigness is preserved under the birational comparison. No rational curve can have zero interior degree. An -negative or -positive such curve would violate nefness at one of the two nearby parameters; the zero- case was excluded. The gklt presentation of a positive truncation and [36] therefore make the interior class Kähler. By Lemma 3.6, infinitely many thresholds would tend to zero.
Reduction to small transformations on a stratum. Suppose the sequence is infinite. The homological divisor count [52] discards all divisorial ambient steps after a finite prefix. We next reduce the remaining flips to small transformations on a stratum. For a working ambient pair , ordinary dlt adjunction on the normalization of an lc center gives an effective dlt pair and the actual rational-line residue identity
Its lc centers are the proper nested lc centers. The coefficients of these differents form a DCC set depending only on the original coefficients and the chain length. At one restriction they have the form
which preserves DCC under iteration. These assertions, including the actual residue comparisons, are [52]. Restricting (2) along a strict adjunction chain gives an effective comparison on strata, strictly positive for a place whose center maps into the ambient exceptional locus [52]. Both lemmas are dimension-free.
Identify a surviving lc center with its strict transform on the common isomorphism open. There are finitely many lc centers at each stage, and their surviving list stabilizes. A new zero-discrepancy place was already a zero-discrepancy place, and strictness keeps the general point of its center outside the surgery. Starting with the smallest centers, induct on their dimensions. Fix a surviving center and suppose the loci already avoid all its proper subcenters. We will prove that the loci eventually avoid this center as well. The induced diagrams on its normalized strata are then isomorphisms near their non-klt loci. On each stratum, let be the sum of the restrictions of the ambient floor components not used in its generic adjunction chain. Strong -factoriality of the ambient space makes rational Cartier, and the nested-center description gives . Slightly lowering this effective divisor makes the stratum pair klt.
After a further tail the induced transformations on this stratum are small and their boundary transforms agree. Indeed, a prime extracted in a restricted transformation has discrepancy strictly less than 1 before extraction: its new boundary is effective and strict comparison increases its discrepancy. Its center is away from the unchanged non-klt locus. At the start of this tail there are only finitely many such places. On a fixed compact log resolution, the positive SNC weights have a positive minimum, and the Jacobian inequality bounds every place below the strict cutoff 1; include also the finitely many nonexceptional positive-boundary primes. This is [52], with its lc assertion away from the non-klt locus. Discrepancies do not decrease, so all later extractions belonging to this same finite list. Repeated extraction of one place would give a strictly decreasing sequence of its boundary coefficients, contrary to the adjunction DCC property.
Once extractions stop, [52] makes divisorial contractions finite. Its dimension-free count is the dimension of the span of prime divisor cycles in of the compact -dimensional stratum. Restriction to the common isomorphism open uses Borel–Moore homology: removing codimension at least two from the target has no effect in this degree, while a lost prime has nonzero class by its positive Kähler volume. The count strictly drops. The coefficients on the finitely many matched boundary primes then stabilize by monotonicity and DCC. Neither morphism of a restricted diagram can still contract a divisor to the common intermediate space, since strict comparison would change the discrepancy of that matched divisor. The diagrams are therefore small, with identical boundary transforms.
We justify the passage from an isomorphic restricted diagram to absence of ambient surgery near the stratum, also in higher codimension. Its identified boundaries give the same adjunction data, not only isomorphic underlying spaces. Choose a common projective log resolution preserving the general points of the surviving lc centers, and restrict its adjoint comparisons along the strict adjunction chain described above. The generic point of each surviving center lies outside the surgery: a zero-discrepancy place remains such a place, whereas a center contained in the surgery would acquire strictly larger discrepancy. Thus the strict transform of the normalized stratum is not contained in the comparison support. For a zero-dimensional stratum this already excludes any intersection with the surgery, so suppose its dimension is positive. Its restriction is consequently a well-defined effective divisor. Strict adjunction identifies its class with the difference of the two pulled-back stratum adjoints. When the restricted diagram is an isomorphism with the same boundary, that difference is zero. An effective nonzero divisor on the compact Kähler resolution of has positive mass against a Kähler power, so the restricted divisor is zero.
If an ambient step nevertheless met the stratum, take the first such step. The full-support assertion following (2), and surjectivity of onto the stratum, force its comparison support to meet . Noncontainment makes this a nonzero effective restriction, and the cumulative comparison dominates it. This contradicts the vanishing just proved. Earlier steps are isomorphisms on a neighborhood of the stratum by the choice of this first step. The ambient diagram is therefore an isomorphism near the whole stratum. This verifies the support conclusion used in the induction on proper subcenters; for a higher-codimension stratum it is noncontainment in the support, not merely being different from a divisor component, that is needed.
Excluding the remaining walls. It remains to show that only finitely many of these small diagrams are nontrivial. Write for the first stratum in this last tail and for its adjoint. Let its restricted original scaling be . Choose an interior parameter on this working space, above the remaining walls, and set
It is Kähler, as the restriction of the interior ambient Kähler class. The exact change of parameter is
It applies for . The new walls strictly decrease toward zero, and the traces are nef on their successive restricted working intervals.
On a common resolution of a nontrivial small stratum step, let be the real exceptional divisor defined by
The strict adjoint comparison makes an effective nonzero divisor exceptional over both strata. Equality of the scaled pullbacks at its wall gives the exact Bott–Chern equality
For in a later working interval all preceding factors on the right are nonnegative. Telescoping on a common resolution expresses the pullback of as the pullback of its nef working trace plus an effective divisor exceptional over that working stratum. Lemma 2.3 identifies the latter divisor with the negative part.
Push the resulting positive currents to one fixed smooth resolution of and let . Closedness of the pseudo-effective cone proves that is pseudo-effective. The negative multiplicities converge valuation by valuation by the limit statement in Lemma 3.7. The comparison divisors have no strict prime of , since the maps are small. Their coefficients also vanish at every place whose center meets the floor: each finite composition is unchanged on a neighborhood of the floor by the induction on smaller centers. Passing to the limit proves (6).
The stratum has dimension less than , and the divisor constructed above is rational Cartier with support equal to its floor. Lemmas 3.11 and 3.12 give one small model on which all transformed classes of are nef for . On a common smooth resolution , , define the real divisor in the common exceptional span by
Uniqueness of the representing exceptional divisor makes coefficientwise affine in . It is effective on : is -nef because the class pulled back from is nef, so exceptional negativity applies. It is exceptional over as well. Lemma 2.3 gives
Every divisorial negative multiplicity is thus affine on this whole interval. This remains true on higher resolutions by Lemma 2.4.
Choose a nontrivial stratum wall . On a common resolution of , and the adjacent strata, their nef working models compute the same negative part on their respective open intervals. Their two affine expressions agree at . But (12) says that, at a prime with coefficient in , their difference is
Their slopes differ by . A single affine function on cannot agree with both on two open intervals. This contradiction excludes every such wall. Infinitely many walls would tend to zero, so the nontrivial diagrams on this stratum are finite.
There are finitely many surviving strata. Induction on their dimensions makes all sufficiently late ambient flipping and flipped loci disjoint from the floor. This proves the theorem.
Corollary 3.14 (A signed adjoint supported on the floor). Assume for every . In the situation of Theorem 3.13, suppose moreover that is rationally linearly equivalent, as an actual rational line, to a signed rational divisor supported on . The scaling can be chosen to reach a nef ordinary dlt model after finitely many steps.
Proof. The signed representation persists under codimension-one pushforward. A curve disjoint from the transformed floor has degree zero for each component in this representation, and hence for the transformed adjoint. Every negative operation must therefore meet the floor. After the finite prefix supplied by Theorem 3.13 no further negative operation is possible. The continuation in Lemma 3.6 makes the last adjoint nef.
Polarizations, ordinary replacements, and descent
The program constructions below use the analytic cone , dual to the nef cone in for spaces with rational singularities [18]. Degrees of global line bundles form a possibly smaller numerical space. We pass from the analytic cone to projective geometry by producing an actual relatively ample line. The ensuing descent statements apply on singular working models as well as on smooth initial spaces.
Lemma 3.15 (Degree-zero Bott–Chern descent). Let be a proper surjective morphism with connected fibers between normal compact complex spaces with rational singularities. Suppose either (i) is bimeromorphic and both spaces belong to Fujiki’s class C; or
(ii) is projective and an effective rational boundary makes klt with relatively nef and big.
Pullback is injective on both and . In either group its image consists exactly of the classes with degree zero on every curve contracted by .
Proof. These are, respectively, the two cases of [17]. The first case is birational descent between spaces with rational singularities and does not require a projectivity criterion. The second case uses relative vanishing for the ordinary rational klt pair and the projective relative curve space. In particular, it can be applied to a projective log-Fano contraction before invoking a canonical bundle formula.
In applications to an ordinary birational negative contraction, the rationality hypotheses are automatic. The source is locally klt. For a dlt pair, first decrease its rational Cartier floor slightly; relative antiampleness persists. Relative vanishing gives for [31]. Composing a resolution of with , the Leray spectral sequence proves that has rational singularities. The same reasoning works when the klt boundary is chosen separately on finitely many Stein base neighborhoods. For fiber-type contractions in case (ii), rationality of the base follows from [18]; thus that application also precedes any canonical bundle formula.
Lemma 3.16 (Projectivity from a rational line detecting the ray). Let be a proper contraction between normal compact Kähler spaces, with having rational singularities. Suppose is Kähler on and
is a nonzero ray. If a global rational line bundle has , then is relatively ample and is projective.
Proof. Fix a Kähler class on and normalize by . The resulting slice is compact. Its unique point on has negative -degree, so is negative on a neighborhood of that point in . On the complementary compact set, has a strictly positive minimum, while is bounded. For all sufficiently small , the class is therefore strictly positive on and is Kähler by cone duality.
Choose an integer making integral. Then
is Kähler. On a neighborhood in the base with a potential for , absorb that potential in a smooth metric on the same global line bundle . Its curvature is positive on the fibres. The analytic positive-line-bundle criterion and the fibrewise relative-ampleness criterion make relatively ample. The line bundle was global throughout, so no gluing of unrelated local polarizations is required.
An analytic contraction supplied by a supporting class therefore becomes projective as soon as one rational line has negative degree on its ray. For a small contraction, that same line will define the flip globally. The local ordinary adjoints used to prove finite generation need not glue; their section algebras will be Veronese subalgebras of one algebra.
Lemma 3.17 (Divisor representatives over a Stein base). Let be a projective surjective morphism with connected fibres between normal irreducible complex spaces, where is Stein, and let be a holomorphic line bundle on . If is bimeromorphic, has a holomorphic section which is not identically zero, and hence an effective Cartier divisor representative. More generally, after shrinking around any specified point, has a nonzero meromorphic section.
Proof. Suppose first that is bimeromorphic. Grauert’s proper direct-image theorem makes coherent. On the nonempty open subset where is an isomorphism, it is a line bundle. Choose . Cartan’s theorem A says that global sections generate , so one global section has nonzero image in . Under
it gives a section nonzero at the unique point above . Its zero divisor is effective Cartier and represents . The section may vanish elsewhere; only its meromorphic inverse is being used to obtain a meromorphic trivialization.
For the general case, fix and , and choose a -ample line bundle . Relative Serre generation, after shrinking to a Stein neighbourhood of , gives an integer for which both and are relatively generated. Their proper direct images are coherent. Cartan’s theorem A and the evaluation maps supply sections and of these two bundles which are both nonzero at . The quotient is the required nonzero meromorphic section of . At no point is assumed Stein.
Proposition 3.18 (A global algebra for a detected flip). Let be a gklt pair on a normal compact Kähler space which is globally strongly -factorial, and let be its adjoint class. Let be a projective small contraction onto a normal compact Kähler space. Suppose that the classes of all -vertical curves lie on one ray , that , and that a global line bundle satisfies .
Then is locally finitely generated. The relative of a sufficiently divisible Veronese is a projective small contraction , where is compact Kähler and globally strongly -factorial. The reflexive transform is a rational line bundle, with a positive power equal to the relatively ample tautological bundle. The transformed boundary and the same -nef datum define a gklt pair on , with relatively Kähler adjoint . This is the generalized flip, with the usual strict discrepancy increase at centres in either exceptional locus.
Moreover, if for an -vertical curve , then there is a unique such that
Every class on has the corresponding forward transport with an actual exceptional-divisor correction. No assertion of surjectivity on Bott–Chern groups is required.
Proof. Since has a global relatively ample bundle and all its vertical curves lie on , numerical invariance of ampleness on the projective fibres shows that is -ample.
A local rational ordinary adjoint. Fix and a relatively compact Stein neighbourhood . Take a projective log resolution carrying , and put . Write its actual structure boundary as , so
Every coefficient of is less than one. Apply Lemma 3.17 to obtain a Cartier representative of on . The same birational direct-image argument applies to the coherent rank-one reflexive canonical sheaf: it supplies a canonical form nonzero at a chosen point of the common smooth isomorphism locus. Use this meromorphic form on and its pullback to to choose compatible canonical representatives, and set
For every -vertical curve, its degree equals that of . Thus is -nef.
The relative bigness of uses the additional fact that is bimeromorphic: both the small contraction and the resolution are bimeromorphic. It does not follow from relative nefness alone. In fact every real Cartier divisor is relatively big for this projective bimeromorphic map over the Stein neighbourhood. Here is the required ample-plus-effective decomposition explicitly. Write , where , , and the are rational Cartier divisors in its finite Cartier span. Choose a -ample line bundle and a Cartier representative for it using Lemma 3.17. If is integral, apply the birational case of that lemma to . Its nonzero holomorphic section has an effective Cartier zero divisor , giving the actual relation . This use depends on being bimeromorphic; the section is allowed to vanish along exceptional fibres. Therefore
Here is -ample and , proving -bigness. For a map with positive-dimensional general fibres the direct image used above can be zero; no such bigness claim is made for that setting. Make the finitely many section choices on a slightly larger Stein neighbourhood, and now shrink so its closure is compact in that neighbourhood. Properness makes the inverse image of this closure compact. A log resolution of the finitely many resulting divisors therefore gives a uniform positive bound for the following choice. Choose small enough that is sub-klt. The divisor is relatively ample. Express it as a positive combination of rational ample divisors and take general members of sufficiently high multiples. Relative Bertini [18], applied on a log resolution of , gives an effective such that is sub-klt. The high multiples make the added coefficients arbitrarily small. All choices are made near the compact fibre; shrink once to retain them.
Put . Write the actual linear equivalence as . The bimeromorphic map identifies meromorphic function fields, so . Pushing down gives
in particular this divisor is real Cartier. Pulling back this same identity gives
Thus is klt. Any finitely many base line bundles in a relative linear equivalence can first be trivialized by shrinking . Record the resulting equality as
using the positive support of . After a further relatively compact shrinking, the displayed divisors have finitely many prime components: their locally finite supports meet a compact inverse image. Equality of coefficients in (14) is a finite rational affine system in . The klt condition is open within this system, as seen on one log resolution; the pullbacks of its adjoints vary linearly by the displayed identity. A nearby rational solution therefore gives a rational effective klt boundary and with
The individual local primes need not be -Cartier: the identity ensures that the total adjoint is -Cartier.
One global flip algebra. The adjoint in (15) is -antiample. Its ordinary flip and local finite generation follow from [31], Theorems 1.14 and 1.18. Clearing the displayed linear equivalence identifies a Veronese of its canonical algebra with a Veronese of over . Hence is locally finitely generated by [31], Lemma 2.26. The graded pieces are coherent. Over a connected normal base open the inverse image is irreducible; products of nonzero sections of line bundles are nonzero there. Thus its graded section algebra is an integral domain, without choosing any global meromorphic frame of . Compactness supplies one sufficiently divisible Veronese generated in degree one. Its relative Proj restricts to the ordinary flip over every such . It is therefore normal, locally klt, and small over , and has the global relatively ample bundle . On the common big open this bundle is . Reflexivity gives
This proves that is a rational line bundle before any assertion of factoriality. Relative positivity over the compact Kähler base makes compact Kähler.
For any global rank-one reflexive sheaf on , take its coherent reflexive transform on using a common resolution. Some is a line bundle. Choose so that , and clear its denominator to obtain an integral bundle numerically trivial over . The local rational klt pairs (15) have antiample adjoint, so Lemma 3.3 yields one global line bundle with . On , pull back , undo the rational twist , and compare on the common big open. After clearing the already established index of , reflexivity gives an invertible positive reflexive power of . This proves global strong factoriality.
The original generalized pair. The local log-Fano pairs above give for by [31], Theorem 5.2. They make locally klt, hence rational. Leray for a projective resolution then shows that is rational. Lemma 3.15(i) therefore gives , with injective pullback. Thus for a unique . Define ; it is relatively Kähler.
To construct its actual discrepancy divisor, let be the ideal defined by
Principalize on a common resolution , carrying . If , the tautological quotient gives the actual bundle identity
Hence is effective and exceptional over both sides, and . If is the original structure boundary, put . Then
Its pushforward is , and its discrepancies do not decrease. The local ordinary comparison in (15) with discrepancy divisor , so its strictness proves the stated strictness for as well. Thus the original pair remains gklt.
Finally, write any uniquely as and set . Its correction is the actual divisor . For a rational line , the number is rational. Applying Lemma 3.3 to a Cartier multiple of gives as actual rational lines. Reflexive extension on the common big open gives . Consequently the cohomological transport agrees with the reflexive transform on Chern classes.
Real boundaries and their linear transport
The rational ordinary step constructed below also determines the step for every sufficiently close real boundary. The relevant comparison is an identity of actual rational lines over the contraction base.
Proposition 3.19 (Ordinary real boundaries). Let be normal compact Kähler and globally Weil -factorial, with canonical sheaf a rational line bundle. Let be a real boundary with klt. Assume the rational ordinary-step result of Proposition 3.42 for and its subsequent models. Then every -negative extremal analytic ray has an ordinary step with projective contractions, compact Kähler models, and the expected opposite relative ample signs. Global Weil -factoriality is preserved; global strong -factoriality is preserved when imposed initially.
Proof. Put and fix a -negative extremal ray . On the finite positive support of , effectiveness, the klt condition and negativity on persist under small coefficient changes. Klt openness is checked on one log resolution of this support. Choose nearby effective rational klt boundaries and positive real numbers with
For take just . Every is a global rational line bundle. The rational-step theorem for provides a projective contraction onto a compact Kähler base, contracting exactly , with relatively ample. The base is rational by [18], so Lemma 3.15 gives ; use case (ii) when is of fiber type. Let be a rational curve spanning , and set . On every projective fibre, is numerically equivalent to the positive multiple . Numerical invariance of ampleness on that fibre, followed by the relative-ampleness criterion, makes relatively ample. The positive combination is relatively ample as a real line bundle. This also handles a fibre-type contraction.
Suppose henceforth that is birational. A Cartier multiple is numerically trivial over and is relatively ample. Lemma 3.3, applied to the rational klt pair gives a rational line bundle on with the actual identity
Here and below an identity of rational line bundles means an isomorphism after a common integral multiple. The descent lemma is used only for birational .
For a small , let be its rational -flip. The rational theorem supplies a global relatively ample adjoint and preserves the stated factoriality and canonical-sheaf conditions. The other transformed adjoints are therefore rational line bundles. Transform (3.15) on the common big open and extend by reflexivity to obtain
All are relatively ample, as is . Thus this same small map is the required ordinary real-boundary flip. The real ordinary discrepancy comparison proves that is klt and gives the strict increases at exceptional centres.
For a divisorial contraction, write with . Transforming (16) on the target and summing yields
This coefficient is positive. The same discrepancy comparison proves the required assertions. The ambient category was already preserved by the rational step in both cases.
For later use, let drive one of the birational steps just constructed, and write for its positive morphism (or the identity for a divisorial contraction). Lemma 3.15 gives the unique decomposition and forward transform
On a common resolution , , the ordinary comparison is an actual effective real divisor, exceptional over and over both sides for a flip. Hence . On Chern classes this is the reflexive transform, by the line identities in the proof above and Lemma 3.3. This construction gives forward transport without assuming surjectivity onto the next Bott–Chern group.
Actual real lines and relative numerical spaces
A second polarization argument will be used for maps whose fibers are Moishezon. It applies to a real combination of global line bundles, provided that its degrees on the fibers agree with a relatively Kähler class.
Lemma 3.20 (Polarization by an actual real line bundle). Let be a proper Moishezon map, where is a compact Kähler space. Suppose that and a relatively Kähler class satisfy
Then is relatively ample and is projective.
Proof. Let be an irreducible positive-dimensional subspace of a reduced fibre. It is Moishezon. Normalize and take a smooth projective modification , chosen so that an effective exceptional divisor has relatively ample. The pullback of the Kähler class from to its normalization is Kähler. Consequently is Kähler for sufficiently small . On the projective manifold the actual real line bundle has the same curve degrees as that Kähler class, and is therefore ample. For example, subtract a sufficiently small positive multiple of a fixed ample class from the Kähler class; the corresponding real line bundle is nef by the projective numerical criterion. Also is nef, and the decomposition
shows that it is big. Thus
The real Nakai–Moishezon criterion for proper algebraic spaces [34], applied to the algebraizations of the Moishezon fibres, proves that is ample on every reduced fibre. The criterion is insensitive to nilpotents and reducible components. In the coefficient space of the finitely many global line bundles occurring in , choose, for each fibre, a rational simplex containing in its interior whose vertices restrict to ample rational lines on that fibre. Openness of fibrewise ampleness for each of these finitely many rational lines gives a base neighbourhood on which the entire simplex is relatively ample. Choose finitely many such neighborhoods covering the base and intersect their coefficient neighborhoods of . Every rational point of the resulting neighborhood is relatively ample globally. A rational simplex in this intersection also expresses as a positive combination of relatively ample rational lines. Clearing the denominator of one rational point proves projectivity.
Remark 3.21. The proof uses only positivity of the top self-intersections of . Equality of curve degrees with does not assert equality of their higher intersection numbers or of their Bott–Chern classes.
The projective morphism needed for the relative program can be chosen on a smooth model of the rational quotient. Here the Hodge-theoretic polarization has an elementary construction, independent of any birational projectivity-descent assertion.
Lemma 3.22 (Smooth Hodge-theoretic polarization). Let be a surjective morphism with connected fibers between smooth compact Kähler manifolds. If is an isomorphism, then is projective. This applies when its general fiber is rationally connected.
Proof. We use the smooth argument of [15], Theorem 3.1, Step 1. Let . Choose a rational class close to a Kähler class. Write its Hodge decomposition as , where is Kähler and has types and . Hodge type and the projection formula give
Since pushforward is rational, the class
is rational and of type . Lefschetz’s theorem makes it the Chern class of a rational line. The displayed equality supplies a metric with positive curvature locally over , by adding a potential for the base class. Thus this line is relatively ample. For rationally connected general fibers, holomorphic two-forms are pulled back from the smooth base, so the hypothesis holds.
Lemma 3.23 (A rational Hodge correction over a smooth base). *Let be an already projective surjective morphism of normal compact Kähler spaces. Assume that is smooth, has globally strongly -factorial klt singularities, and, for a projective resolution , the morphism satisfies
Then every can be written
where is a finite real combination of global line bundles and . Proof. The composition is projective, since all the spaces are compact. Choose a -ample line bundle on , with integral Chern class . Set and
Thus is the positive degree of on a general fibre. The cohomological pushforward here is the usual pushforward between the smooth compact manifolds and , defined over and of Hodge bidegree .
Define a rational linear operator on degree-two cohomology by
Every class of type on is pulled back from , and the same holds for type . The projection formula therefore shows that kills both types. It preserves type . Consequently
By the Lefschetz theorem the image consists of rational Chern classes of global line bundles. Applying to gives
For example, express in a rational basis of and apply to each basis vector. This gives the required finite real combination .
Write with actual line bundles on . For each , let
It is a rank-one reflexive coherent sheaf. Strong -factoriality gives an integer for which is a line bundle on . The canonical identification over the isomorphism locus of gives
for an integral -exceptional divisor . One may obtain this comparison directly from the evaluation map for : the two coherent rank-one sheaves agree away from the exceptional locus, so their invertible transforms differ by an exceptional divisor. No global meromorphic frame of or of the canonical sheaf is required.
Set and . The preceding identities yield
The divisor is -exceptional and is numerically trivial on every -contracted curve. The exceptional negativity lemma applied in both signs gives . Injectivity of pullback by a resolution, or pushforward of the equality of currents, now gives .
The hypothesis of Lemma 3.23 persists on each projective globally strongly -factorial klt model over this fixed smooth base: on a common smooth resolution, holomorphic two-forms are invariant under modifications. Thus the lemma applies separately on every working model. It supplies real combinations of global lines; Lemma 3.17 supplies their Cartier-divisor representatives on sufficiently small Stein base neighborhoods.
Lemma 3.24 (The projective relative cone in Bott–Chern cohomology). Let be projective between normal compact Kähler spaces with rational singularities, and assume
Let denote the space of real combinations of -contracted curves modulo degrees of global line bundles, and let be their closed effective cone. Their analytic classes give an isomorphism onto the span of the face
where is any Kähler class on ; this isomorphism identifies with . In particular, relative extremal rays in the line space are extremal rays of the full analytic cone.
Proof. The assumed decomposition makes analytic equivalence and line-degree equivalence identical on combinations of vertical curves. Their map into the analytic numerical space is therefore well-defined and injective. We must show that its closed effective cone is the entire face, including its classes represented by positive currents.
Fix . For every , both and are Kähler for large . Positivity then shows that annihilates . Fix a global relatively ample line . If a real line has nonnegative degree on every vertical curve, the projective relative numerical criterion makes relatively ample for every . Its Chern class becomes Kähler after adding a sufficiently large multiple of . Therefore
Applying this to both signs of a relatively numerically trivial line shows that pairing with factors through the finite-dimensional space of relative line degrees. It is nonnegative on its nef cone. By duality for this projective relative space, it is represented by an element of . The decomposition in the statement makes its analytic image equal to . Conversely every vertical effective curve lies in , and finite-dimensional injectivity preserves closedness. This proves the cone equality and the extremality claim. □
Good models for already projective relative adjoints
Proposition 3.25 (Projective relative completion). Let be an already projective surjective morphism of normal compact Kähler spaces, with smooth. Let be an effective generalized klt pair with adjoint , carried by a projective resolution with smooth , so that
Suppose that there are an actual real line bundle and such that
Assume that is pseudo-effective over . Then there is a finite chosen -negative projective program over , with globally strongly -factorial compact Kähler working spaces, and a nonextracting endpoint such that
Here is the actual real-line transform of , is a projective connected-fibre morphism, is projective, and is an actual real line bundle ample over . Thus the class on in this formula is relatively Kähler over . The generalized pair on is gklt. On a common resolution the comparison with is effective and exceptional over , with strictly positive coefficient at the strict transform of every prime contracted from .
Proof. We reduce to fixed ordinary pairs, and construct one global program. Choose finitely many Stein open sets and semianalytic Stein compact subsets whose interiors cover . Such compacts are obtained by intersections with closed polydiscs in local embeddings of . In particular they satisfy condition (P) of [31]: the source is normal, the base is Stein, the compact is Stein, and its intersection with any analytic subset defined near it has finitely many connected components. This remains true on every normal projective model. Shrinking around preserves the finite cover.
Actual ordinary replacements. On each chart represent the finitely many line bundles in the data by Cartier divisors. For a projective map to a Stein space this can be done by twisting a line bundle and its prospective meromorphic frame by sufficiently positive relative lines and using nonzero sections. The generic-rank-one direct-image argument is an alternative only when the map is bimeromorphic. Relative bigness gives , with relatively ample and . For sufficiently small , is sub-klt near the compact inverse image. The line is relatively ample. General divided relative sections give an effective representative such that
All supports and coefficient margins are fixed near that compact. With compatible canonical representatives, push the finite principal-divisor expression for down and pull it back again. For this gives
In the last equality the chosen principal correction is included in the representative of . Thus is ordinary klt and its boundary is relatively big. Lemma 11.15 of [31], with its big part equal to and its remaining part zero, replaces it, in its actual real linear equivalence class, by a klt boundary with an effective general relatively ample rational summand. Its condition on non-klt centres is vacuous. Choose the reserved ample summand to be -linearly equivalent to a small rational multiple of a fixed global -ample line. Its later strict transform is consequently -Cartier by the transport of that global line, without a local factoriality claim.
We make these choices for a finite rational polytope of actual global line data. Start with a finite rational span containing , and add relatively ample rational lines spanning the global relative degree space. The above construction is valid in a neighbourhood of : retain a small part of the ample summand and use openness of ampleness and the strict klt inequalities. It is also valid along a segment from to a sufficiently positive adjoint, by adding divided general ample divisors. Use finitely many such representatives and one log resolution on each chart. More explicitly, represent a finite simplex inside the open ample neighbourhood used above; varying its positive coefficients represents all nearby global line parameters on the same finite support. Form the joint finite affine system consisting of the divisor identities on all charts, with common global line coordinates and separate boundary and principal-divisor coordinates. This system is rational. Allow all boundary coefficients to vary, including those originally contributed by the real boundary ; fix only the reserved rational ample part and the zero-support constraints. Its projection to the global line coordinates contains the just constructed neighbourhood, so it has a rational affine section. Choose that section sufficiently close to the constructed real affine lift, by rational approximation in its affine space of sections, so that the strict klt and effectiveness margins are retained along the compact segment. In the joint solution space the strict klt and effectiveness margins permit a rational polytope containing the scaling segment. This supplies on every chart a rational polytope of ordinary klt boundaries with a fixed effective relatively ample rational summand, representing the restrictions of the same global line parameters. These boundaries, including the scaling representatives, are fixed before the program starts. Their divisors need not agree on different charts.
One global scaling construction. Apply the global degree-space construction in the proof of Proposition 3.4 to and a general ample scaling direction in the chosen span. Here are the modifications that allow real line data and a nonbirational map to . The global relatively ample line still gives a compact normalized slice of the curve cone. The fixed ordinary chart pairs give finite negative-ray truncations. A general direction avoids equal wall parameters for independent ray-degree functionals, exactly as in that proof. A positive wall therefore selects a single ray in the global degree space. A rational nef support is represented by a global rational line; a large multiple minus the chartwise ordinary adjoint is relatively ample. Ordinary relative base point freeness contracts the ray using the evaluation of this one global line.
If the contraction is small, choose a global rational line having negative ray degree and construct its flip by its one global graded algebra. The local ordinary proof of Proposition 3.18 applies to this algebra: all curves of the contraction have proportional degrees for global lines, so the detector and the driving line are positively proportional over the contraction; ordinary rational replacement gives local finite generation. This part of that proof needs only the already projective contraction and these line degrees. It does not require a prior assertion about the full Bott–Chern cone. The relative Proj is the next global model. In a divisorial step the exceptional prime and Lemma 3.3 give the same continuation as in Proposition 3.4. Killing the degree of any global line by a rational multiple of the detector, then applying that lemma, preserves global strong -factoriality in both cases. The global lines continue to span the relative degree spaces. The rational support-simplex argument in that proposition makes the wall a descended relatively ample real line on its contraction base and gives a nonempty interval of ampleness immediately after each step. This argument uses relative line data and projectivity, not birationality of the map to .
We check explicitly the persistence of the ordinary pairs. Expand the line parameters in finitely many global rational lines. Their reflexive transforms are actual rational lines by the preceding strong property. Pushing forward the fixed principal-divisor identities gives
Hence these ordinary adjoints are -Cartier; no local factoriality of individual prime divisors is being assumed. On a common resolution their comparison minus the appropriate positive multiple of the detector comparison is exceptional and relatively numerically trivial. Negativity in both signs makes this difference zero. Every chosen step is consequently negative for the fixed ordinary pairs. They remain effective and klt, and their boundaries remain relatively big. The same equality of comparison divisors, after adding the fixed base pullback, preserves the generalized pair and its discrepancy inequalities.
For termination, every already constructed working model is a weak log canonical model on each chart of a boundary in the fixed polytope: choose a parameter in its nonempty ample scaling interval. Indeed, actual descent at a preceding wall makes the comparison for equal to times its -comparison. For a parameter in the current interval all preceding are at least , so these comparisons are effective. Theorem E of [31] gives finitely many marked models on each chart. That theorem does not require locally -factorial targets. There are therefore finitely many possible global marked working models. Indeed, isomorphisms between the restrictions of two existing marked models agree on their common dense open, and hence on overlaps. A repeated marked working model would have the same boundary transform and discrepancies, contrary to strict discrepancy increase at an intervening nontrivial step. The global program is finite. Relative pseudoeffectivity excludes a Mori fibre endpoint, so is nef over . This is a finite-cover argument for a single constructed program; it does not glue independent minimal models.
Semi ampleness and the global polarization. On the endpoint the fixed ordinary pair is klt, its effective boundary is relatively big, and its adjoint is nef over . Lemma 11.16 of [31] applies to this already existing weak model. More explicitly, Lemma 11.15 replaces the endpoint boundary by , where is relatively ample, , and the pair is klt. Theorem 8.3 then gives semiampleness near : its log canonical, klt-existence, real Cartier, ample-summand and nef-over-compact hypotheses have all been checked.
The actual equivalences identify these local semiample adjoints with restrictions of . Their ample models agree on overlaps by [31]. To retain a global polarization, shrink the initial parameter polytope around after the finite program: all its finitely many strict step signs persist, so the transformed ordinary boundaries remain klt and big. On each chart the pushforward of its initial common ample rational summand is effective and relatively big. Apply [31] to this common big rational part and the small endpoint boundary polytope. All pairs are klt, so the condition on non-klt centres is vacuous. The lemma gives a common general relatively ample rational summand by one -linearly trivial translation. In particular the rational parametrization is preserved; separate applications of Lemma 11.15 to individual parameters would not suffice here. In this finite rational span Theorem 11.17 of [31] makes the endpoint nef region a rational polytope. Intersect the finitely many inverse images of these regions and express as a positive combination of rational points in its minimal face. The corresponding global rational lines are semiample on every chart by the same ordinary base point free argument. After clearing denominators and taking common sufficiently divisible powers over the finite cover, each is relatively generated globally: generation on the charts is generation of its global coherent relative evaluation map. The product of these finitely many relative morphisms, followed by Stein factorization, gives a projective , a projective , and descended global lines whose positive combination is relatively ample. It realizes the glued ample model and gives . Adding back proves the asserted Bott–Chern identity. Composing the effective step comparisons proves the final discrepancy statement.
Corollary 3.26 (Semi ampleness on an existing projective model). Let be a projective morphism of normal compact Kähler spaces with globally strongly -factorial, and let be nef over . Suppose that on a finite Stein-compact cover satisfying condition (P), there are effective ordinary klt boundaries , big over the base, such that . Then has the projective relative semiample contraction and actual descended ample real line of Proposition 3.25. In particular this applies to any already existing weak model of the fixed ordinary chart pairs in that proof; one need not run a new program for the adjoint in question.
Proof. Lemma 11.15 and Theorem 8.3 of [31] give local semiampleness. For an existing weak model this is also Lemma 11.16. To globalize the polarization, take a finite rational span of the global lines defining . On each chart the ample part of the normalized boundary allows small perturbations in this span. The joint rational affine construction in the preceding proof gives a rational family with a common rational ample part; all boundary coefficients are allowed to vary. Theorem 11.17 then gives a rational nef region on each chart. The finite-intersection, rational-vertex and global-evaluation argument in that proof gives one projective contraction and its actual descended ample real line. Only its local ample models are identified by uniqueness.
Remark 3.27 (The two uses of projective completion). For a selective extraction over an already constructed weak model, the carrier map is projective bimeromorphic. The inherited exceptional splitting expresses the nef datum, modulo this base, by actual real lines. Relative nefness follows from the carrier datum, while relative bigness follows from birationality, using the ample-plus-effective construction in the ordinary replacement. The prepared adjoint is a base pullback plus an effective exceptional divisor supported on exactly the unwanted primes. Proposition 3.25 applies. On its endpoint the remaining error is effective, exceptional over the fixed base, and relatively nef; negativity makes it zero. Strict discrepancy improvement prevents contraction of a requested zero-error prime. The chosen extraction boundary must be effective and klt; in particular its prescribed primes have the usual admissible discrepancy range.
For the graph construction, suppose the already projective graph resolution has smooth source and
Then the global relative real line is , the base class is , and its carrier line is . Its relative degrees equal those of the prepared nef datum. That datum is nef and big on the prepared carrier, for example a pullback of its prepared Kähler class; thus is nef and big over . This bigness is a separate hypothesis check, since can have positive-dimensional general fibres. Effectivity of gives relative pseudoeffectivity. Apply the proposition over . The subsequent negativity argument must still remove ; only then is the endpoint adjoint the pullback of and good over the original base.
For transport of all classes, verify separately that all Bott–Chern classes on the graph carrier are real-line classes modulo , using the smooth rationally connected fibration and the inherited exceptional splitting on the lower-dimensional base model. Lemma 3.24 then identifies the relative degree rays with full Bott–Chern rays, so the detected-step transport applies. The driving identity involving alone does not give this additional property.
Corollary 3.28 (Ordinary projective Mori output). Let be an already projective surjective morphism of compact Kähler spaces, with smooth. Let be an effective ordinary real klt pair, and let . If is not pseudoeffective over , then its projective program over , with scaling of a relatively ample actual real line , terminates with a Mori fibre contraction. The initial scaling parameter is chosen so that is nef over . The working spaces are globally strongly -factorial and compact Kähler, and the actual line comparisons and integral descent of Proposition 3.25 apply.
Proof. The line is fixed; it need not be a general scaling direction. In particular several extremal rays may have the same wall parameter. Choose such that is still not pseudoeffective over . On the finite Stein-compact cover choose divided general effective representatives of so that all the resulting ordinary pairs representing , , are klt. For reserve a common effective relatively ample rational summand. The joint rational-family construction in Proposition 3.25 puts these fixed pairs in the polytopes required by Theorem E of [31].
Suppose a finite prefix has reached , and put , with . Its transformed is nef. Define
The feasible set is a nonempty closed interval. Inductively : all previous steps have nonpositive comparison for , so its transform is still not pseudoeffective. A first threshold at most would make this transform nef by convexity between the current and preceding thresholds, a contradiction.
There is a -negative extremal ray with . To see attainment without a generality assumption, let tend to . A ray negative for has positive -degree, because is nef. When , it is also negative for . The latter has fixed ordinary klt big-boundary representatives on the charts, since . Normalize each of these boundaries by [31] as , with relatively ample and the new pair klt. The -truncation of the cone theorem for gives finitely many rays negative for the entire adjoint in question. The finite cover therefore gives finitely many global negative rays. One of these rays attains the wall, as required.
Choose one such ray, even if the wall vanishes on other rays. The rational-support argument for an individual negative ray in Proposition 3.4 gives a global rational nef support annihilating exactly , and ordinary relative base point freeness contracts it. For the real ordinary boundary one may first choose a nearby rational klt boundary that is still negative on . The contraction therefore has a rational ordinary antiample adjoint. Its flip, when small, is constructed from one global detector algebra as above.
If the contraction is of fibre type, stop. Otherwise the wall has degree zero on . In the finite rational span of its actual line factors, this zero-degree subspace is rational: its defining functional has rational values on rational lines. Thus is a real combination of rational lines of zero ray degree. Lemma 3.3 descends those lines to the contraction base. Their combination is nef over , by lifting curves through the projective contraction. Pulling it to the positive side shows that the transformed wall stays nef. The next threshold therefore satisfies ; equality is permitted. No interval of ampleness between successive thresholds is required.
If is the ordinary -comparison on a common resolution, this actual wall descent gives, for every real ,
For the error is effective. This proves all the nonpositivity and fixed-pair persistence assertions used in the induction, including the lower bound on thresholds.
At every working model use the wall parameter , rather than an interior ample parameter. Since for every earlier step, the displayed comparisons show that is a weak log canonical model of the initial fixed chart pairs representing . Its trace is nef by definition. Theorem E counts all these marked weak log canonical models, including the ones at repeated wall parameters. The finite chart cover gives a finite global marked list. Repetition would contradict the strict ordinary -discrepancy increase at an intervening step. Thus this program with the specified is finite. Non-pseudoeffectivity excludes a nef endpoint for , so the last contraction is a Mori fibre contraction. The comparison at is crepant: such a step supplies no strict discrepancy improvement for , while it is still strictly negative for .
A restricted dimension induction
All generalized nef data in this subsection are globally nef on a fixed compact Kähler carrier. For the degree arguments we use weak NQC: a positive combination of rational degree-two classes having nonnegative degree on compact curves. Strong NQC implies this condition, and the contraction assertion admits this weak form [37]. The nef adjoint itself remains nef in Bott–Chern cohomology throughout. A modified-big boundary means the total trace is globally modified big. Relative assertions retain these absolute hypotheses. A marked model records its bimeromorphic map from the specified source; two markings agree only under an isomorphism commuting with those maps. Weak models below may be arbitrary normal compact Kähler weak log canonical models. Their generalized nef traces are understood as closed currents pushed forward from the fixed nef carrier; only the whole adjoint is required to be a Bott–Chern class. In particular no factoriality, and no separate Bott–Chern class for either or the nef trace, is required of an auxiliary weak target. This category contains both the working models and the adjunction strata used in special termination. Chosen program outputs remain globally strongly -factorial.
For dimension at most , write for semi ampleness of a nef gklt adjoint with modified-big boundary, including a Moishezon connected contraction onto a normal compact Kähler target. It makes no assertion that every such contraction is projective. Write for the NQC non-klt contraction assertion of [37], and for its big-adjoint case. The relative assertions are:
: a relatively pseudo-effective gklt adjoint over any proper map to a normal compact Kähler base , with the globally nef and modified-big data just specified, has a chosen nonextracting good log terminal model over . Its working space is globally strongly -factorial and compact Kähler; its connected relative canonical morphism has normal compact Kähler target and is Moishezon. From a smooth common carrier, all Bott–Chern classes have forward traces, and the chosen model has the rational degree-two and Bott–Chern exceptional splittings proved below.
: a compact polytope of these data on one fixed carrier has a polyhedral relative effective locus, finitely many relative canonical chambers with chosen good terminal models, and finitely many marked weak models, accounting for every weak model in the category specified above.
Passing to the proper image and then to its normal Stein factor allows all base maps to be taken surjective with connected fibres. These operations preserve the compact Kähler base category.
The independent inputs are the analytic cone theorem, the projective results of Proposition 3.25, relative vanishing, adjunction, relative-canonical positivity, the projective canonical bundle formula, and the nef-and-big Kähler criterion. The projective constructions use the actual-line lemmas of the preceding subsection. No assertion of termination of an arbitrary sequence of flips is used.
A fixed integral grid and cohomology transport
Lemma 3.29 (Integral degree-two descent for a locally log-Fano map). Let be a projective surjective morphism with connected fibres between normal complex analytic spaces. Assume that , that for , and that every point of has a neighbourhood on which there is a klt pair with ample over . Then is injective, and its image consists exactly of the integral classes having degree zero on every compact curve contracted by .
Proof. Properness, normality and connected fibres identify both and . Apply to the analytic exponential sequence. The local surjectivity of and the stated coherent vanishing give
Let have zero degrees on contracted curves. A germ of its edge image in is, under this isomorphism, represented after shrinking by an actual line bundle on . Equality of these germs means that, after further shrinking, and have the same class. In particular has degree zero on every curve in every fibre above this smaller neighbourhood.
On a sufficiently small Stein base neighbourhood, twisting by a relatively ample line and taking a quotient of two nonzero relative sections gives a meromorphic Cartier representative for . Thus the Cartier-divisor form of base point freeness applies. The line bundle is relatively nef, and is relatively ample for every real . The projective analytic base-point-free theorem applies to the Cartier line . Its conclusion is generation for every sufficiently large integer power, not only for a divisible subsequence [31], Theorems 6.2 and 6.5. Thus, over a further relatively compact neighbourhood, both and are relatively generated. A generated line of degree zero on every curve of a projective connected fibre defines a constant projective map on that fibre: the restriction of the generated line is the pullback of , and a positive-dimensional projective image contains a curve of positive degree. The corresponding relative image is therefore finite and bimeromorphic over the normal base, and is the base itself. Consequently
for line bundles on the neighbourhood in . Taking their quotient proves . Its germ in is zero, so the edge image of is zero.
The integral Leray spectral sequence, using , gives
Exactness at the middle term proves the assertion. The argument is integral throughout and does not discard torsion. The converse follows by restriction of a pulled-back class to a fibre. □
Lemma 3.30 (A fixed integral grid along existing crepant steps). Let be a compact Kähler space, and suppose that
where each has nonnegative degree on compact curves. Fix integers such that is the image of an integral cohomology class. Consider an existing sequence of projective birational steps
where is the identity for a divisorial step, satisfies Lemma 3.29, and is trivial on its contracted ray. Assume every -contracted curve has degree proportional to that ray for the classes in the display. Then the classes descend through and pull back through , the same integers remain integral multiples at every stage, and the transported classes remain nonnegative on curves. In particular, for every integral compact curve ,
Proof. Positivity of the coefficients and nonnegativity of the summands imply that every annihilates the contracted ray. Apply the integral descent lemma to the chosen integral lift of and pull its descended class back to . This keeps fixed. To verify nonnegativity, take a curve on . If it is contracted by , every descended summand has degree zero. Otherwise its image is a curve . The projective map has a compact curve mapping onto with positive degree: take a component of its inverse image dominating and intersect with sufficiently many relatively ample hyperplanes. Nonnegativity of the old summand on this curve implies nonnegativity on , hence on the curve on . This argument uses a positive-degree lift, not a degree-one section. Finally is a nonnegative integer, giving the stated lower bound.
Corollary 3.31 (Uniform crepancy parameter; no termination assertion). Suppose additionally that the working spaces are -dimensional klt spaces, that are nef, and that the ordinary canonical negative-ray length bound is available. For a fixed real number , every negative extremal ray chosen in an existing -program is -trivial. If the steps are projective ordinary canonical steps, Lemma 3.30 therefore applies inductively with this same value of .
If is not big and is big, then remains non-pseudo-effective along these crepant steps. Consequently a terminating such program ends with a Mori fibre contraction. This corollary does not assert that the requisite contractions exist or that the program terminates.
Proof. A negative ray is -negative because is nef. Choose its rational curve generator with the ordinary length bound. If its -degree were positive, then
a contradiction. The step is thus an ordinary canonical step with pulled back from its base, and the preceding lemma applies. On a common resolution the pullback of is the pullback of plus the effective canonical comparison. Thus it stays big. Equality of the crepant pullbacks of preserves its nonbigness. The identity
excludes pseudo-effectivity of its first summand. A nef endpoint is therefore impossible.
Lemma 3.32 (Cohomology splitting along detected steps). Let be a smooth compact Kähler manifold. Consider a finite sequence of divisorial contractions and small flips
between normal globally strongly -factorial compact Kähler spaces with rational singularities. Assume that every negative contraction is a projective contraction of one ray of the analytic cone, that has rational singularities, and that each small flip is the detected flip of a global rational line with . For a divisorial contraction assume the usual single exceptional prime. Then, for every projective smooth resolution ,
The first equality also holds over . There are compatible forward linear transforms on and on Bott–Chern cohomology. They are surjective, are isomorphisms for a small flip, and preserve rational degree-two classes. On a common resolution the pullback difference is an actual exceptional divisor class; for a flip it is exceptional over both spaces.
The exceptional quotient also takes the Chern class of a holomorphic line bundle on to a rational holomorphic line class on .
Proof. For a modification of a smooth compact Kähler manifold the two splittings are the degree-two modification formula. Suppose that they hold for . We use only the following birational descent fact: for a proper bimeromorphic map between normal compact spaces in Fujiki’s class with rational singularities, pullback is injective on and on Bott–Chern cohomology, and its image in either group consists of the classes having degree zero on every contracted curve. This is the bimeromorphic case of [17].
First note that a degree-two class has the same degrees on curves as a Bott–Chern class. Indeed, pull it to a smooth projective resolution and take the -part of its Hodge decomposition. The induction hypothesis writes that part as , with exceptional over . On every -contracted curve, and its and parts have degree zero. Hence has degree zero on every such curve. Exceptional negativity applied to both signs gives . Projective multisections lifting a curve of then show that and have the same degrees on every curve of .
Suppose first that is a small detected flip. Write and , and fix an integral curve on its negative ray. For set
By the preceding paragraph, vanishes on every -contracted curve. Thus it is for a unique . Define
For a Bott–Chern class, the same descent takes place in Bott–Chern cohomology, so the two transforms agree. The detected flip construction gives an effective rational divisor on a common projective resolution , such that
Consequently
If is rational, then is rational. Since the image of on real degree-two cohomology is the realification of a rational subspace, its unique preimage is rational as well. This proves rationality of .
The sets of prime divisors exceptional for and are identical: the two working spaces are small bimeromorphic. The old splitting and the displayed pullback identity therefore span
and similarly in bidegree . The sum is direct. If a pullback from equals an exceptional divisor class, that divisor has degree zero on all -contracted curves, so both signs of negativity make it zero; pullback injectivity then makes the original class zero. In particular the dimensions on the two sides agree, is injective by the old direct sum, and is surjective. The rational version follows either from the same argument or from realification.
For a divisorial contraction , let be its exceptional prime. Its degree on the contracted ray is negative: otherwise would be -nef, contrary to exceptional negativity. For any , subtract
and descend the result by the same birational cohomology lemma. This defines . On a common resolution its pullback difference is a multiple of the total transform of . The target’s exceptional prime set is the old one together with the strict transform of . The same spanning and directness argument gives the target splitting and surjectivity; its kernel is . Rationality is again immediate from the quotient of rational intersection numbers.
These arguments initially prove the splitting on a chosen common resolution. To obtain it on any projective smooth resolution , dominate that resolution and the chosen one by a smooth common projective resolution. Apply the smooth degree-two modification formula upstairs and push down to . An exceptional divisor pushes either to zero or to a divisor exceptional over . This proves spanning on ; negativity gives directness there.
Finally let be a holomorphic line on and put . Global strong -factoriality gives an for which is invertible. The coherent evaluation comparison gives
for an integral -exceptional divisor . This comparison is obtained from the coherent direct image and evaluation map; it does not assume that has a global meromorphic section. Dividing first Chern classes by proves the line assertion.
Corollary 3.33 (Stability under projective extraction). Let be a projective bimeromorphic morphism of normal compact Kähler spaces with rational singularities. Suppose that is globally strongly -factorial and that has the splitting property in the preceding lemma. Then has that property as well. More precisely, if are the prime divisors exceptional for , then
and the analogous statements hold over and in Bott–Chern cohomology.
Proof. Choose any projective smooth resolution . The composite is a projective resolution of . Its exceptional primes are exactly the -exceptional primes together with the strict transforms of the . Since every is -Cartier,
for a rational -exceptional divisor . Substitute these identities in the splitting for . The result spans by and the -exceptional divisor classes. Their sum is direct: an exceptional divisor whose class is a pullback has degree zero on every -contracted curve, and applying exceptional negativity to both signs makes the divisor zero. Pullback injectivity then applies. The same argument in bidegree and over proves the splitting property for .
Now expand , for , using the original -splitting and replace the as above. The difference between and a class in is -exceptional, and is therefore zero by the direct sum just proved. Thus the displayed formula for spans. Its directness follows from exceptional negativity for and pullback injectivity. The rational and Bott–Chern statements follow by the identical argument. The line bundle assertion of the preceding lemma uses only global strong -factoriality and hence applies to as well.
Support in the special-termination comparison. The following support comparison applies to the detected steps in the dimension induction. Let be a detected small negative step with maps and , and let be its negative detector. For a sufficiently divisible , put
The zero set of is exactly the exceptional locus of . Outside that locus is an isomorphism, so the evaluation map is surjective. On a positive-dimensional projective fibre, every section of vanishes: its restriction to each integral curve has negative degree, and those curves cover every positive-dimensional fibre component. Connectedness supplies the whole nontrivial fibre.
On a resolution principalizing , the detector comparison is a positive multiple of the effective divisor defined by . Consequently its support is the full inverse image of the exceptional locus. The driving adjoint differs from a positive real multiple of by a class pulled back from the contraction base. Its comparison divisor is therefore the same positive multiple of the detector comparison: their class difference is exceptional and zero, so both-sign negativity makes it zero as a divisor. The comparison for a longer negative program is at least this first-step divisor, by discrepancy monotonicity on a common resolution.
Suppose the beginning and end restrictions to a surviving normalized lc stratum are isomorphic and their strict adjunction data agree. The general point of this stratum avoids every intervening surgery: a zero-discrepancy place remains such a place, whereas strict comparison would increase its discrepancy if its center were contained in the exceptional locus. Thus its strict transform on a common resolution is not contained in the comparison support. Iterated strict adjunction identifies the restriction of the effective comparison with the difference of the identified adjoints, so its class is zero. A nonzero effective divisor on a positive-dimensional compact Kähler stratum has positive Kähler mass. The restricted divisor is therefore zero. If the first step meeting the stratum were nontrivial there, the full inverse-image support and surjectivity would make this restriction nonzero, a contradiction. For a zero-dimensional stratum, generic-point avoidance already excludes an intersection. The whole program is consequently an isomorphism near the stratum. This is the same strict-adjunction support argument used in the proof of Theorem 3.13; it does not use its lower-dimensional abundance assumption.
Proposition 3.34 (A uniform relative NQC bound). Let be an already projective surjective morphism with connected fibres between smooth compact Kähler manifolds, and suppose that
is an isomorphism. Let be a nef class with an expression
where has nonnegative degree on every curve vertical over . Let be a generalized klt adjoint. Consider its projective relative program for , under the projective local ordinary reduction described in the proof of Lemma 3.41.
If , triviality is immediate. Otherwise there are positive integers , chosen once on , and a number
such that, for , the entire relative program is -trivial. The same number works at every step.
Proof. Rational classes modulo the fixed base. Choose an -ample line bundle with integral Chern class , and put and . The rational operator
preserves type and kills types and . Indeed these latter classes are pulled back from , and the projection formula applies. Thus . By the Lefschetz theorem, choose an actual line bundle and an integer with
The original summands need not have type . Their base components account for this. Their weighted sum gives
The final assertion follows because is an injective Hodge map and the other terms have type . The identity is therefore also one of Bott–Chern classes. Each has nonnegative integral degree on every -vertical curve.
Induction across an actual contraction. Suppose at a finite stage we have actual line bundles , nef over , and
Assume also that is nef and that the transformed is generalized klt. These assertions hold initially. Let be a -negative extremal ray over . It is -negative because is nef. Lemma 3.23 and Lemma 3.24 identify the relative curve cone with the corresponding face of the full analytic cone, at the initial model and after every step. The analytic cone theorem therefore supplies a rational generator with
All are nonnegative integers. If , one of them is at least one, and hence . Therefore
a contradiction. We have and for every . Every curve contracted by the projective extremal contraction has class on when tested by global line bundles, so the same vanishing holds for all of them.
On each fixed Stein chart of , choose the effective real ordinary representative of the initial relatively ample nef datum once, before running the program. Its actual real linear equivalence to the fixed real line-bundle representative persists under pushforward. The Bott–Chern comparison with the generalized adjoint modulo the fixed base class persists separately by exceptional negativity, as detailed below. Thus every is, locally on , a contraction with an ordinary real klt log-Fano boundary. On a relatively compact base chart, rational approximation in the finite affine system of Cartier adjoint identities gives a rational effective klt boundary with the same antiample sign, as in Proposition 3.18. Lemma 3.3 therefore applies. Consequently
For a divisorial contraction set . For a flip , set . These are actual line bundles with the same integers . The descended Bott–Chern class
satisfies . It is nef by descent of nefness through the projective surjection ; its pullback to the next model is . This proves that the step is crepant for . Hence it is also a -negative step, and the original generalized pair remains gklt.
Finally each is nef over . For a -vertical curve , projectivity supplies a curve mapping onto it with some positive degree . Then
No assertion is required. Pullback preserves this relative nefness, so the induction applies on . Its curve degrees are again integers because the transported objects are line bundles, not because any curves were lifted with degree one. This proves the fixed bound through the whole program.
Remark 3.35 (Scope of the degree grid). The transported rational classes
have degrees in on curves vertical over the fixed smooth base . This relative assertion is exactly what the initial projective program requires. It does not assert nonnegativity of these individual classes on all curves of every birational model, and uses neither rational connectedness of resolution fibres nor Graber–Harris–Starr.
The negative-part comparison for a nef adjoint
We write for the divisorial negative part of a pseudo-effective class. We use its homogeneity, subadditivity, continuity after adding a vanishing Kähler perturbation, and the identities
for an effective -exceptional divisor . A nef class has zero negative part. These are the divisorial Zariski-decomposition properties of [7, 19]. No identity for arbitrary is assumed.
Lemma 3.36 (The absolute negative part after a relative program). Let be a projective resolution, let be nef on , let , and let be -exceptional. Put
Suppose that is a finite -negative program, possibly relative to another base, and denote its transformed class and divisor by and . Then
Proof. Take a common projective resolution , . The negativity comparison for the finite program is
This comparison is valid for a relative negative program: its proof uses the negativity of the contracted rays and the positive adjoint on each flipped side, not absolute nefness of the final adjoint. Since is effective and exceptional over , the exceptional identity and nefness of give
Pushing forward by proves the assertion. In particular, the negative part in this statement is absolute, even when the program that produced was relative.
Descent of the effective vertical divisor
Lemma 3.37 (Vertical numerical triviality). Let be a projective surjective morphism with connected fibres. Assume that is globally Weil -factorial. Let be an effective real Cartier divisor on , vertical over , such that
Then there is an effective real Cartier divisor on such that, as actual divisors,
Proof. For a prime divisor , write for the multiplicity of in , where ranges over the prime divisors dominating . These multiplicities may be computed over the smooth generic locus of , where is Cartier. Put
Only finitely many are nonzero, since any such is the image of a component of . Thus is a genuine effective Weil real divisor. Global Weil -factoriality makes this finite divisor real Cartier.
We first check equality over codimension one in . Work near a general point of and restrict to a transverse disk. Resolving the source, and cutting by general relative ample hypersurfaces if the relative dimension exceeds one, reduces to a projective surface over that disk with connected fibres. These operations can be performed over a relatively compact Stein neighbourhood; they do not require global sections on . The intersection matrix of the components of the special fibre is negative semidefinite, with kernel generated by the full fibre with its multiplicities. The restriction of has zero intersection with every fibre component. Its coefficients are therefore proportional to those multiplicities. Equivalently, all the ratios in the definition of are equal. When is birational this assertion over the generic point of is immediate.
Consequently
is a signed real Cartier divisor supported over a subset of codimension at least two in . Moreover, is numerically trivial over . We check that such a signed exceptional divisor is zero. The assertion is local on . Over a relatively compact Stein neighbourhood, take general relative ample hypersurfaces and resolve their intersection. They give a projective generically finite morphism . The cuts may be chosen to meet any prescribed component of in a nonzero divisorial trace. After normalization and Stein factorization, factors as a projective birational morphism followed by a finite morphism . The restricted divisor is exceptional for and numerically trivial over . Applying the ordinary exceptional negativity lemma to both and gives . The choice of the cuts therefore excludes every nonzero component of . Hence .
The surface argument above is also the usual proof of the degenerate-divisor negativity statement: after subtracting the minimum multiple of the full fibre, an effective residual fibre divisor omits a component and cannot be numerically trivial. Notice that projectivity of was a hypothesis; it was not deduced from factoriality.
The negative part on the lower-dimensional base
Lemma 3.38 (Detecting the negative part by pullback currents). Let be a surjective morphism. Suppose that is nef, is real Cartier, , and
Then .
Proof. Nefness gives . Fix a prime divisor and a prime divisor dominating it. Write and . At their generic smooth points, pullback of positive currents satisfies
Indeed, the divisorial term pulls back with multiplicity , and the residual current has zero generic Lelong number there.
Choose Kähler forms and a constant for which is Kähler. For , let be any positive current in the big class . Minimality of the multiplicity and monotonicity under adding a nef class give
Taking the infimum over , and then letting , gives
This proves the reverse inequality for every . All multiplicities are unchanged by resolving away from the generic points in question, so the same argument applies to the normal spaces under consideration.
The perturbation is necessary: at a pseudoeffective boundary class, the infimum over its exact positive currents need not equal its minimal multiplicity. The argument uses that equality only for the big perturbed classes.
Lemma 3.39 (Pullback when the positive part is nef). Suppose
For every projective resolution ,
Proof. Write . Since is nef, . Birational invariance gives , so is -exceptional. The positive part of is
and is modified nef. If , exceptional negativity in its covering-curve form provides a component of covered by curves contracted by , with [19]. A modified nef class has nonnegative intersection with a general member of a family of curves covering a prime divisor: use currents with arbitrarily small negative part and zero generic divisorial Lelong number, restrict to a general member, and let the negative bound tend to zero. But here
a contradiction. Thus .
Proposition 3.40 (Any lower-dimensional good model suffices). Suppose the initial relative program has the data in Lemma 3.36. Assume in addition that its class is nef and agrees with on a common resolution, and that there is an already projective connected-fibre morphism with
Suppose there is a projective small modification such that is globally Weil -factorial; the identity is allowed. Assume that the lower-dimensional adjoint has a good model: there are a normal compact Kähler space , a common projective resolution , , and a nef semiample class such that
Then is semiample on . If the contraction defining semiampleness of is Moishezon, the resulting contraction of is Moishezon as well. In particular, it is unnecessary to lift a program on to , or to require that a chosen program producing preserve at every intermediate step.
Proof. Nefness descends under the surjective morphism , so is nef. The class of is pulled back from , so is numerically trivial over . It is therefore vertical: an effective horizontal component would restrict to a nonzero effective divisor on a general projective fibre, with positive intersection against a suitable power of an ample class, contradicting numerical triviality. For a birational , verticality is automatic by dimension. First take a projective resolution of the main component of . The induced map is projective and has connected fibres. Pull back , , along , and pull back , along . All displayed class identities are preserved, and remains an effective vertical divisor. Lemma 3.36 gives before this modification. Because with nef, Lemma 3.39 then gives
We may therefore replace by and suppress the new superscripts in the rest of the proof. The good-model comparison now reads . No assertion that the crepant subboundary on is effective is needed: this space is used only for classes, currents and the effective divisor . The lower-dimensional generalized pair is the crepant pullback to the small model .
The class identity shows that is numerically trivial over . Lemma 3.37 gives an actual effective real Cartier divisor with . Injectivity of pullback yields
The established identity and Lemma 3.38 therefore give , and Lemma 3.39 gives
On the other hand is nef, so the exceptional-divisor identity applied to the good-model comparison gives
Thus as actual divisors. Subtracting them from the comparison proves the exact class equality
This proves the needed preservation of from the final good model, without an assumption about its intermediate models.
Choose a contraction to a normal compact Kähler space and a Kähler class on with . Taking a resolution of the main component of , and then a common projective resolution with , produces a projective modification and a holomorphic map satisfying
For every curve in a fibre of this equality implies is a point, since a Kähler class has positive degree on every nonconstant image curve. The fibres of the projective modification are connected projective complex spaces, hence are connected by chains of curves. Therefore is constant on each fibre of . The factorization theorem for a proper map onto a normal space gives a holomorphic map with . Pushing forward the class equality by gives
The maps from the main fibre-product component to have connected general fibres; their Stein factorizations are finite birational over the normal space , hence have connected fibres everywhere. Together with the connected fibres of , this shows that , and therefore , has connected fibres. This is the required semiampleness of .
Finally, is projective: it is obtained from the projective map by base change, followed by projective resolutions and the projective map . If is Moishezon, choose a projective surjection such that is projective. A component of dominating is projective and surjective over , and its map to is projective. This is a Moishezon witness for .
Lemma 3.41 (The contraction step in the dimension induction). Assume , and . Then and hold.
Proof. The big non-klt contraction. Apply the construction of [37], Section 3. On its smooth modification it writes
The induction over the jumping coefficients of the multiplier ideal reduces the new reduced stratum to dimension at most . The given contraction on the old non-klt subspace and provide the Moishezon maps of those strata. Every map that is promoted to a projective map in that construction contracts exactly the curves on which vanishes. On each such curve the actual real line bundle has degree . On a further projective common resolution , choose an effective exceptional divisor with relatively ample and choose sufficiently small. Use the decomposition
Here is Kähler, and the actual real line bundle has degree on every contracted curve. Restrict this decomposition to the smooth reduced components in the gluing construction. Lemma 3.20 then supplies precisely the relative ampleness needed in place of [37], Lemma 2.42, including the common-resolution step in its Claim 3.5. The uncorrected pullback is not being treated as a Kähler class.
The exact sequences of multiplier ideals, relative vanishing, finite pushouts, and extension from sufficiently thickened in that proof then apply unchanged. They give the birational Moishezon contraction in . In particular the gluing step uses neither generalized termination nor a projectivity criterion for an undetected ray.
Preparation for both cases of . The modified-big perturbation [37], Lemma 2.23 supplies a nef datum that dominates a Kähler class on its carrier. Subtracting a sufficiently small multiple of the pullback of a Kähler class still leaves a nef datum on that carrier. Thus is a gklt adjoint plus , and the cone argument of [37], Lemma 2.45 makes NQC. This preparation applies whether or not is big.
The nef-and-big case of . For a gklt pair the multiplier ideal is the unit ideal, so the preceding big non-klt assertion now applies and gives a birational contraction . On a projective resolution chosen projective over , relative Kawamata–Viehweg vanishing for the effective exceptional divisor gives for . Thus has rational singularities. Proper birational Bott–Chern descent [18], Lemma 8.7 gives . The descended adjoint is gklt, nef and big, and has no trivial curve. The criterion [36], Theorem 4.3 makes Kähler.
For completeness, the projectivity input in that criterion is restricted to a map between smooth compact Kähler manifolds with rationally connected general fibre: is the chosen smooth divisor on a resolution and is the resolution of the null-locus component. The smooth-source, smooth-base argument in [15], Theorem 3.1, Step 1 applies. Its subsequent relative program starts with this projective map. Thus this application of the criterion uses only the smooth-source, smooth-base projectivity argument and an already-projective relative program.
The non-big case of . Use a projective small factorialization and the modified-big perturbation of the pair. The non-pseudo-effectivity of gives an MRC fibration by [56]. Choose a smooth Kähler MRC base and a smooth modification such that is projective. Only the smooth case of [15], Theorem 3.1, Step 1 is needed: pullback identifies the holomorphic two-forms since the general fibre is rationally connected. Lemma 3.23 identifies any -class on , modulo a class pulled back from , with an actual real line bundle. Lemma 3.24 identifies its relative rays with rays of the analytic cone; both statements persist along the projective relative construction.
Write, as in [37], Theorem 4.1, Claim 4.1,
where is klt and is -exceptional. The modified-big replacement is chosen, as in the cited Claim 4.1, so that the nef datum on this smooth carrier is Kähler. If a further projective resolution is needed, subtract a sufficiently small effective exceptional divisor from its nef part and add that divisor to the subboundary; this preserves the adjoint and the klt inequalities. Choose using the uniform bound of Proposition 3.34. It makes the relative -program -trivial and preserves that choice through every step. This is a projective relative program from its first step: the nef data are represented by real line bundles modulo . Lemma 3.23 applies on every intermediate model over this fixed smooth base. More precisely, put and choose one actual global real line bundle with
The bundle is relatively ample, because is Kähler and is nef. On each of a fixed finite collection of relatively compact Stein charts of , choose an effective real divisor representing , with klt. The representatives can retain a positive relatively ample part in their boundaries. Here the equality is an actual real linear equivalence of line bundles; the equality with modulo is separately an equality of Bott–Chern classes.
Fix these ordinary pairs on the initial charts. Their actual linear equivalences and their Bott–Chern comparisons with modulo the fixed base class persist separately throughout a global relative program. Proposition 3.25 applies: the source is smooth, its adjoint is represented by an actual global real line modulo , its carrier nef part is relatively ample, and is pseudo-effective. It gives a finite program and a good relative endpoint. This is one global program controlled by fixed ordinary chart pairs. Its construction uses global line algebras, not a choice of unrelated local minimal models. Proposition 3.34 makes every step -trivial with the same value .
Here is an explicit ample-model comparison that gives the required descent of . Both and are nef over . Put and . Before the program starts, choose fixed ordinary representatives on the finite chart cover for all three relatively ample nef parts , , on one simultaneous log resolution. The -crepancy of the constructed program means its endpoint is a weak model for each of these three fixed ordinary adjoints. Their traces are nef. Corollary 3.26 therefore makes
semiample over . Their zero curves are exactly the common zero curves of and . Their projective ample-model contractions therefore have the same fibres: these fibres are connected by curves, and each contraction is constant on the fibres of the other. Identify the two normal targets, writing the common contraction as . If , with relatively Kähler over , subtraction gives
This is an equality of Bott–Chern classes, not merely of curve degrees. Since the initial program is -trivial, it is also -negative. From now on put and suppress the argument in and .
The maps and are projective. Moreover is projective: a relatively ample bundle for restricts to an ample bundle on every fibre of , and hence is -ample. Each is not big globally: pushing a big such class to would make big. If it were big over the smooth MRC base , relative-canonical positivity [37], together with the pseudo-effectivity of , would make it big globally. It is therefore not big over . This property persists to its relative semiample model, so its relative canonical morphism has . The projective canonical bundle formula [37] provides
with a gklt pair on and modified-big nef data. The class is nef by descent of nefness through the surjective projective map . Thus adding to the nef datum preserves the gklt condition and modified bigness: on a common carrier this addition is a nef pullback and preserves the existing big class.
Take a projective small factorialization and resolve the main component of . The resulting maps and are projective, and is compact Kähler. Pull back , and to , and and to . The pair on is gklt and its boundary-plus-nef class remains modified big. Lemma 3.36 first gives . Lemma 3.39 then gives . The new total space is used only as a carrier for this equality and for pullbacks of positive currents; no effective boundary on it is needed. Rename these spaces and . No additional relative program is needed for this modification.
The vertical-divisor descent and negative-part lemmas above now give actual effective divisors with
Apply to the generalized pair with adjoint . On a common resolution , of the resulting good model, write
The negative-part comparison proved above gives , and hence
Since is semiample, is semiample after descent through . Pulling back by and using the -trivial initial program gives semiampleness of on . The target is compact Kähler, and the resulting map is Moishezon, as follows by taking common projective modifications of the maps just constructed. The comparison uses only the chosen lower good model; no lower-dimensional program is lifted to .
Proposition 3.42 (A negative ray with an actual detector). Assume . Let be a gklt adjoint in dimension at most on a globally strongly -factorial compact Kähler space, with globally nef carrier data. Let be an -negative extremal ray of the full analytic cone. If an actual global rational line has , the ray has a projective contraction; a small contraction has its detected flip. The working models retain the strong factoriality and compact Kähler properties. In particular this applies to an ordinary rational adjoint with detector , and to ordinary real boundaries by Proposition 3.19. Proof. The local polyhedrality of the negative cone makes an exposed ray. Choose a nef support whose null analytic face is . Normalize the analytic cone by a Kähler class. On a neighbourhood of the point representing , the class is positive. On the remaining compact part of this slice, has a positive minimum. Consequently, for a sufficiently large , the class is Kähler. Thus is nef with precisely the null face . The gklt presentation with nef carrier datum increased by the pullback of has modified-big total boundary. Apply to construct its contraction. Lemma 3.16 makes the same global line relatively ample, and Proposition 3.18 constructs the flip when needed. For a divisorial contraction the exceptional-prime negativity and integral line descent give strong factoriality on the target: pull back a rank-one reflexive sheaf, remove its degree by a rational multiple of the exceptional divisor, descend the resulting line, and compare on the common big open. Local ordinary log-Fano replacement gives rational singularities by relative vanishing. The supporting target and projective flip are compact Kähler.
Relative good models and finite geography
Lemma 3.43 (Removing the preparation error). Let be a projective smooth preparation over with , where is -exceptional and has positive coefficient on every added prime. If is a chosen good log terminal model of over , then it induces a good log terminal model of over .
Proof. On a common projective resolution , , write with exceptional over . Put and . Then
The divisor is -nef because is nef over . Negativity gives , hence . Every added prime is therefore exceptional over . This proves nonextraction from and gives its effective exceptional comparison with . Strictness at any contracted prime of follows from strictness for the chosen log terminal model of , since has coefficient zero there. The same semiample endpoint makes the model good.
Lemma 3.44 (Recovering the uncontracted original primes). Let a gklt pair on have a nonextracting weak good model over . Assume is compact Kähler, globally strongly -factorial and has the exceptional splitting of Lemma 3.32. Then a projective crepant extraction gives a good log terminal model of the original pair. The exceptional splitting persists on .
Proof. On a common resolution write the actual comparison , where is -exceptional. There are finitely many primes of contracted by its marking. Let consist of those with coefficient zero in . Take a projective log resolution which contains all these valuations and dominates the fixed nef carrier. In the crepant structure boundary , the coefficient of each member of is its original effective boundary coefficient, hence lies in . Keep these coefficients unchanged. Increase each other -exceptional coefficient, if necessary from a negative value, to a number in . Keep all nonexceptional coefficients unchanged. The resulting effective klt boundary satisfies
where has precisely the unwanted exceptional primes as its support. The inherited splitting gives actual real-line representatives for every class modulo . Since is birational, the nef carrier datum is relatively big; the adjoint is relatively represented by and is pseudo-effective. Apply Proposition 3.25 over . Its projective endpoint has an effective relatively nef exceptional trace , so negativity gives . A prime outside cannot be contracted by an -negative birational program: on a general curve through its generic point the effective divisor has nonnegative degree. Thus all members of survive, and all unwanted exceptional primes disappear. No new prime is extracted by the program. It follows that is crepant and that the marking from contracts exactly primes with strictly positive original comparison coefficient. It is nonextracting and is therefore a log terminal model. The pullback of the semiample adjoint on makes it good. Finally apply Corollary 3.33.
Lemma 3.45 (A detector throughout the big-adjoint construction). Assume and . The big-adjoint construction of [37] gives a chosen good model in dimension using only detected steps. It also gives the case of in which is big for some , with the map to retained throughout.
Proof. After the smooth preparation in [37], write the adjoint as
Here denotes the reduced divisor with support ; this support is constant for sufficiently small positive and is independent of the chosen Kähler class [37]. At a nonterminal scaling step,
Consequently and . A component of the actual effective divisor supplies a global rational Cartier detector. The supporting contraction follows from , and its projectivity and flip follow from Proposition 3.18. This argument does not require to remain nef.
To apply to a gdlt presentation, lower its finitely many floor coefficients on the initial smooth carrier and add the same small class to the Kähler nef datum. The adjoint does not change, and the resulting gklt presentation persists through the same negative steps. The original gdlt presentation is retained for adjunction to the floor. Thus the special-termination proof of [37] applies with on its smooth lower-dimensional carrier. Its other inputs are adjunction, discrepancy monotonicity, and the local Cartier-index calculation. The last neighbourhood-isomorphism step uses the evaluation-ideal support argument in the support comparison above: the comparison of the first detected flip has support equal to the full inverse image of its exceptional locus, and later comparisons dominate it. One does not infer disjointness of images merely from a vanishing restriction of an arbitrary exceptional divisor. The theta induction of [37] now gives a weak model. Applying to its nef adjoint makes it good, and Lemma 3.44 gives the log terminal model. All its steps are detected or belong to the already-projective relative extraction in that lemma.
For completeness, the negative-part identity needed in this argument is only
not the stronger formula for an arbitrary pseudo-effective class. The comparison with a nef endpoint identifies its exceptional error with the negative part. The formula for follows by writing a Kähler form upstairs as , with positive on every exceptional prime, and applying the displayed identity to . Pushforward identifies the nonexceptional coefficients; supplies all exceptional primes. These are exactly the uses in the theta argument.
Now put and suppose is big for some . Fix smaller than the -degree of every compact integral curve on and enlarge so . Use the following direct preparation, which keeps the original unshifted globally nef datum. On a smooth projective carrier write
with the non-Kähler support property used in the big-class preparation. Here below denotes the reduced divisor formed by all -exceptional primes. Write . For small put
The new boundary is klt and is Kähler. Direct addition gives
Moreover . In every theta branch the cumulative added boundary satisfies , so
Thus the unshifted presentation is genuinely gklt with the original globally nef datum. This is the presentation used for the horizontal length bound. No base form is subtracted from an arbitrary newly prepared nef datum.
A horizontal negative ray would have -degree at least ; the bound would contradict . Every constructed step is therefore over . Its projective connected fibres are contracted by , so factors through its base and through the flip. The final finite extraction is also over .
The shifted nef endpoint is semiample by . Its zero face contains no horizontal curve: decompose such a curve by the unshifted adjoint’s cone theorem; nefness of the shifted class forces all summands into the zero face, and a summand of positive -degree again contradicts the length bound. The shifted class is big, so the connected semiampleness map is bimeromorphic. Its connected fibres are Moishezon and are connected by chains of compact curves. The preceding zero-face argument makes the map to constant on each such curve, hence on every fibre. The analytic factorization lemma therefore factors the map to through the semiampleness map. Subtracting from the normalized class on its target gives the required relative Kähler class for the unshifted adjoint. The effective resolution error from the preparation is removed by the usual negativity comparison, giving a model of the original data.
The forward traces and exceptional splittings persist by Lemma 3.32. In the last extraction, the newly extracted prime classes move from the old exceptional span into the pullback span; they are actual rational Cartier classes. Both-sign negativity proves directness as before.
Lemma 3.46 (Changing the base of a relatively trivial adjoint). *Suppose is projective, its general fibre is rationally connected, and a gklt adjoint satisfies . Assume the prepared nef datum is Kähler on a smooth carrier. Let be the chosen nonextracting good model supplied by over , with its exceptional cohomology splitting, and let . Then a single projective relative construction gives a weak good model of over with that splitting. Lemma 3.44 makes it log terminal. No step of the base program is lifted.
Proof. Take a common projective smooth resolution , and resolve the main component of , further dominating the prepared nef carrier; denote the resulting smooth space by . Its morphism is projective. Before constructing a program, verify algebraicity for all classes. The projective RC map and Lemma 3.23 express every class modulo by actual real lines. The splitting of the chosen expresses classes from , modulo , by exceptional divisor classes. Hence
Lemma 3.24 identifies the relative cone with the full analytic face. These properties and the exceptional splitting persist along the projective relative steps by Lemma 3.32.
Choose the effective gklt preparation on this final carrier. Its adjoint has the identity
where is pulled back from the actual effective base comparison and is exceptional over , with positive coefficient on every added prime. Its nef datum is nef and big on the prepared carrier. Modulo it is the actual real-line class . Thus every hypothesis of Proposition 3.25 holds, with the effective relative adjoint . Denote its global relative endpoint by and the strict transform of by .
On a common resolution , , the actual adjoint comparison has effective -exceptional error . The difference has zero Bott–Chern class and is -exceptional, because . Negativity in both signs makes it zero:
Choose a big common-isomorphism open for . Such an open exists because that map is nonextracting. On we have . Let be the induced projective birational map. The divisor is -nef, since the endpoint adjoint is nef over and the base class has zero degree on -fibres. Equation (*) gives
since is exceptional over . Negativity yields . Effectivity yields . This step removes the possible horizontal components of ; they were not assumed very exceptional at the start.
Now is supported over codimension at least two in . It is nef over , so very-exceptional negativity gives . The endpoint adjoint is the pullback of , hence is nef and good over . Its relative canonical morphism is Moishezon: it is the connected factor of the composite of the projective morphism to and the lower-dimensional Moishezon canonical morphism. Lemma 3.43 removes the added source-exceptional errors and proves nonextraction. All these operations are over .
The all-class invariant was established before the relative program; its preservation follows at each step from the same cone identification and forward cohomology splitting. If the construction has contracted any original prime crepantly, apply Lemma 3.44 to retain it. ☐
Lemma 3.47 (The global rational quotient over a fixed base). Assume and the case of in which a base shift makes the adjoint big. Then holds when no class , , is big.
Proof. First take the usual smooth carrier with effective gklt boundary and adjoint , where is effective exceptional with full exceptional support. Its boundary-plus-nef trace is big and its adjoint is not big, so its canonical class is not pseudo-effective. Take its global MRC and resolve the MRC graph and the fixed carrier, obtaining a projective map to a smooth compact Kähler with pseudo-effective. Perform the Kähler-nef-part preparation after these graph resolutions, preserving the maps to and . This order ensures that the final scaling datum is Kähler, rather than merely the nef pullback of an earlier Kähler datum. Write the resulting adjoint as
The global modified-big hypothesis makes a preliminary base shift unnecessary. Relative pseudo-effectivity is preserved. No base shift of is big, since pushing a big such class down would make a base shift of big. The fixed morphism is projective and has RC general fibres. All these preparations precede the next, fresh base shift.
Put and choose , where every integral curve on has -degree greater than . Set
Since is not big globally, relative-canonical positivity [37], Theorem 2.48(2), together with pseudo-effectivity of , shows that is not big over , whether or not it is globally pseudo-effective. The class is big over . Consequently cannot be pseudo-effective over : otherwise would be big over . The smooth projective RC Hodge projection represents every class modulo by an actual real line. The ordinary global klt adjoint is therefore relatively non-pseudo-effective. The projective ordinary Mori construction of Corollary 3.28, with scaling of the actual relatively ample real line represented by , terminates in a Mori fibre space. Lemma 3.23 and Lemma 3.24 identify every relative ray with a full analytic ray. Its nef b-data retain the fixed globally nef carrier .
First suppose is not pseudo-effective globally. The retained relative-canonical positivity theorem on , together with pseudo-effectivity of , then says that is not pseudo-effective over . The terminating relative program ends in a Mori contraction at a threshold . At every step its scaled zero ray has -degree negative. Inductively the map to is retained: if such a ray were horizontal, its -degree would exceed , while the gklt cone theorem for gives a rational generator of -degree at most , contradicting . Once , the step is negative or crepant for , so its gklt presentation persists. The same argument applies to the final Mori ray. This would be an -negative Mori contraction over , contradicting the preserved pseudo-effectivity over . Hence is pseudo-effective globally.
It is not big globally. Relative-canonical positivity now implies that it is not big over . Its pseudo-effective threshold for over is exactly one: for the class is big, while pseudo-effectivity for would make big because is big over . The same finite relative program therefore ends in a Mori contraction at threshold one. All birational steps, including any steps at threshold one, and the final zero ray are over by the preceding length argument with . For a zero ray with positive -degree, would again have degree less than . Thus carries a map to and . The class has zero degree on every -contracted curve. This is an ordinary projective log-Fano contraction: rationalize its effective real ordinary boundary, preserving klt and relative antiampleness. Relative vanishing gives rational singularities on , which is compact Kähler because it is projective over . Lemma 3.15 therefore gives an actual equality in Bott–Chern cohomology. This descent precedes the projective canonical bundle formula. That formula now provides gklt data for , globally nef on a carrier, whose total boundary is globally modified big. Relative pseudo-effectivity descends through the projective surjection , so applies over . Keep the base shift in this application. Use its chosen output in Lemma 3.46.
Steps at threshold one can be -crepant divisorial contractions. Consequently the composite constructed so far need only be a weak good model of the original prepared adjoint. Apply Lemma 3.44 to extract the finitely many original primes with zero comparison coefficient. This gives the strict log terminal model and preserves the cohomology invariant. The shift changes neither relative comparisons nor relative nefness. Lemma 3.43 removes the full-support preparation error and proves the claimed .
Finite geography and closing the induction
Lemma 3.48 (Canonical models first, weak models second). Assume and . Then holds for compact polytopes of globally nef b-data on a fixed carrier and globally modified-big boundary, over the fixed base.
Proof. First prove, by induction on the parameter-polytope dimension, polyhedrality of the effective locus, finite canonical-model chambers, and finitely many chosen terminal models on those chambers, following [37]. The zero-dimensional case uses and uniqueness of the canonical model; it does not yet assert finiteness of all weak models.
At a central point choose over . The transport invariant in supplies the traces of the whole nearby polytope on . Shrink so the finitely many strict exceptional inequalities remain strict. Add a common pullback from so that the central canonical class on is Kähler absolutely. On the boundary of the parameter polytope, apply the smaller-parameter induction over ; its existence input is , just proved independently. No projectivity of or Hodge projection over the possibly singular is used.
The central adjoint is zero over , so the relative effective locus is the radial cone on its boundary effective locus. Apply the cone-length estimate of [37] on the finitely chosen gklt terminal models , all of dimension . Write for the boundary-parameter adjoint, nef over , and for its relative canonical morphism. The cone theorem is not applied to the possibly lower-dimensional canonical targets .
Let and choose below the -degree of every compact integral curve in . Fix and for put
The same cone estimate shows more than nefness: for a sufficiently small , uniform on the finite list and the chosen radial interval, is nef. Indeed on a horizontal -negative rational ray its degree is greater than ; on the nonnegative part of the cone and on the vertical cone it is nonnegative. It follows for every class that
In particular its null curves are exactly those contracted by . The central data are crepant through these maps over ; thus the convex data defining remain gklt with globally modified-big boundary. Apply to . Its connected semiampleness map and both have Moishezon fibres, and each connected such fibre is connected by chains of compact curves. Equality of their contracted curves makes each map constant on the fibres of the other. The analytic factorization lemma identifies the two maps. Thus the selected relative canonical model is also the canonical model over on this radial interval. This proves local polyhedrality and the finite local list; compactness gives the global finite list of canonical models and chosen terminal models.
Uniform preparation preserving every weak model. Write for the adjoints in the parameter polytope. We first record why a weak model of these gklt data extracts no divisor. On a common resolution , put , using the actual structure-boundary comparison. The weak-model discrepancy inequalities give , and is -nef because is nef over the fixed base. Negativity therefore gives . An extracted prime on has coefficient one in the weak-model boundary, whereas its coefficient in the structure boundary of the gklt source is less than one; it would give a negative coefficient of . Hence there is no such prime. Consequently is -exceptional and the target is itself gklt.
Fix a parameter . The boundary plus nef part is globally modified big by hypothesis. The modified-big preparation [37] gives, on a fixed projective smooth carrier , an effective klt boundary , a Kähler class , and an effective -exceptional real divisor such that
Here is the effectivity detail in this use of the preparation. Its new nef datum dominates a Kähler form on a carrier. After resolving the new structure boundary, choose an effective exceptional divisor whose negative is relatively ample and subtract a sufficiently small multiple from the pulled-back datum to make it Kähler. Add the same multiple to the structure boundary, then replace its negative coefficients by zero and, if needed, add small positive coefficients on the remaining exceptional primes. All coefficients stay below one. Only exceptional coefficients have been increased; their increase is the divisor in (20).
On a sufficiently small closed polyhedral neighbourhood of put
These classes remain Kähler by openness, and the same and the same satisfy
Thus this is one affine family of gklt pairs on one smooth carrier, with a fixed effective boundary and Kähler nef data.
Let be any weak model at a parameter in this neighbourhood, and resolve the induced map by , . Its original comparison is
Since is nonextracting, every -exceptional prime is exceptional over . Hence is also -exceptional, and
This proves that is a weak model of the prepared pair. In detail, subtract the effective exceptional error on the right from its structure boundary on and push down to . The resulting boundary is precisely the transform of , it is effective, the adjoint is the already existing Bott–Chern class , and all discrepancies are at least those of the prepared gklt pair. This uses generalized data at the level of currents. On keep the nef datum , and subtract the displayed effective -exceptional error from the prepared structure boundary. Pushing forward by gives the boundary and the trace of this fixed nef b-class. Their sum with the canonical current represents the already existing locally exact adjoint ; the resolution identity defines its structure boundary. The generalized discrepancies have not decreased. This argument neither requires to be real Cartier nor asserts that the nef trace is separately a Bott–Chern class. It therefore applies to every Kähler weak target, including the adjunction strata used in special termination.
Every weak model occurs in the finite canonical list. Choose a small box in which spans that vector space and whose addition to the compact family stays inside the Kähler cone. For any above choose a Kähler class and define . Smooth-source cohomology puts in and gives an actual -exceptional real divisor with
Its negative is -nef, so by exceptional negativity. As extracts no divisors, is also -exceptional. Scale by a sufficiently small positive number so that lies in the fixed box. Adding this identity to (21) yields an effective -exceptional comparison with target class , which is Kähler over the original base. Thus is the canonical model of a member of this one enlarged prepared polytope. Its canonical-model list is finite by the first part of the geography proof. The induced list of maps from is therefore finite as well. A finite cover of the original compact parameter polytope completes the proof for all weak models.
Theorem 3.49 (The restricted package in every dimension). The assertions , , and hold in every finite dimension, for the globally nef carrier data and globally modified-big boundary traces specified above. All birational steps used to prove them are detected steps or belong to an already-projective relative construction with the stated relative-line algebraicity. A general semiample morphism is asserted to be Moishezon; projectivity is asserted only when the construction provides an actual relatively ample line.
Proof. The assertions in dimensions zero and one follow from degrees and factorization of maps of compact curves. Suppose the package holds in dimensions less than . Lemma 3.41 first proves and then . The former uses ; the nonbig part of the latter uses only a chosen model and the explicit negative-part comparison. In particular, no lower program is lifted.
With available, Proposition 3.42 constructs detected negative steps in dimension . Lemma 3.45, using the already known , gives the big-shift case of . Lemma 3.47 gives its remaining case, using and the projective graph construction. This proves over every proper compact Kähler base, with its chosen-model invariant. Lemma 3.48, whose hypotheses are both and , now proves .
It remains to prove when its nef NQC adjoint is not big. Take the projective dlt preparation in [37]. Its underlying space is klt and globally strongly -factorial, and is a big Bott–Chern class. Choose an NQC expression with positive coefficients and integral multiples of its rational degree-two summands. Corollary 3.31 provides a single number such that each negative ray of is -trivial. Choose a Kähler scaling class with nef. Every selected negative ray is ordinary -negative; the actual rational canonical line is its detector. Proposition 3.42 supplies its projective contraction or flip, and the fixed integral grid persists. The descended remains nef by projective descent of nefness. The driving class is non-pseudo-effective throughout, by the corollary. Its initial pseudo-effective scaling threshold is positive; choose a cutoff below that threshold. On the fixed initial carrier the compact segment of globally nef data
has modified-big total boundary. At its scaling parameter each working model is a marked weak model of a member of this segment. Each selected step is negative for the fixed driving adjoint, so its discrepancies do not decrease and increase at a valuation affected by that step. An infinite sequence would repeat a marked model by ; the cumulative nonzero effective comparison for the fixed adjoint would then contradict equality of that marking. Hence this program terminates. Non-pseudo-effectivity excludes a nef endpoint, leaving an -trivial ordinary Mori contraction .
For clarity, the remaining contraction argument uses only this already-projective map. Relative vanishing transports the multiplier ideal defining the non-klt closed subspace. Lemma 3.15 descends in Bott–Chern cohomology, and Lemma 3.29 descends its fixed rational NQC summands; projective multisections preserve their nonnegative degrees. Make the adjoint-preserving modified-big replacement of [37], Lemma 2.23 and Section 6, with a Kähler summand on the source, and restrict the given contraction to the resulting non-klt closed subspace, taking its Stein factor. If this non-klt subspace dominates , relative Nadel vanishing gives , and its given Moishezon contraction factors to the required contraction on . If it does not dominate, apply the projective canonical bundle formula. The multiplier-ideal calculation identifies the induced non-klt subspace on its lower-dimensional base and its Moishezon contraction. Thus applies there. Pullback and factorization through the projective modifications give the required Moishezon contraction on the original space. These are relative vanishing, canonical-bundle-formula and closed-subspace factorization operations; they require no further global program. This proves and completes the induction.
Corollary 3.50 (Finite positive parts of detected scalings). Let a gklt adjoint with globally nef carrier data be run with scaling of the trace of a Kähler class on a fixed smooth carrier. Suppose that every chosen negative analytic ray has an actual global rational line detector and that the total boundary trace on each positive scaling segment is globally modified big. Every segment whose scaling parameters lie in a fixed interval , with , is finite. If the driving adjoint is not pseudo-effective, the scaling terminates with a Mori fibre space.
Proof. Proposition 3.42 constructs each step and Lemma 3.32 supplies the forward traces from the fixed carrier. Each reached model at a scaling parameter is a marked weak model of that parameter’s adjoint. The compact parameter segment satisfies , so there are finitely many such markings. Strict increase for the fixed driving adjoint rules out repetition. If that adjoint is not pseudo-effective, the positive pseudo-effective scaling threshold gives a fixed positive cutoff containing every parameter of a continuing program. The finite program cannot end nef, hence ends with the claimed Mori map.
Generation along the dlt boundary
We prove that the restrictions of a nef adjoint to the separate log canonical strata fit together to generate its restriction to the whole reduced boundary. Semi-ampleness on the normal components does not by itself supply compatible sections on their union. The proof has three parts. A Mori contraction reduces the obstruction to restriction from a stratum to one comparison of residues. Crepant transport respects all lower residues. Finally a finiteness argument permits us to impose every comparison simultaneously by taking products of sections.
Throughout this section, and is assumed for every . We use ordinary dlt pairs with effective rational boundary. A stratum is an irreducible log canonical center; we also allow the ambient space itself when describing adjunction. A boundary stratum is a stratum contained in the reduced floor. An incidence is an inclusion of strata, and it is immediate when the smaller stratum has codimension one in the larger. On a crepant SNC model, a unit component is a boundary component of coefficient one, and a unit stratum is an irreducible component of an intersection of unit components. All residue comparisons are in a common divisible even adjoint degree.
Theorem 4.1 (Generation on the reduced boundary). Assume for every . Let be a normal irreducible compact Kähler dlt -fold with effective rational boundary . Suppose that is globally -factorial, that satisfies the lc-strata resolution convention of Definition 3.1, and that the actual -Cartier adjoint is analytically nef. Then the restriction of an actual positive Cartier multiple of to the whole reduced space is globally generated.
The assertion is vacuous if . The remainder of the section proves it when the floor is nonempty. The construction of compatible sections follows the admissible-section method of Fujino [28], Section 4; the main work here is to establish its restriction and finiteness inputs for strata of arbitrary dimension in the compact Kähler setting.
Adjunction, the semiample systems, and their comparisons
We first fix precisely which sections have to agree. The following local facts retain the actual line, including the residue identifications at every intersection.
Lemma 4.2 (Strata and descent of residues). For each stratum there is an effective rational boundary on the normal compact Kähler space such that is dlt and, in every sufficiently divisible even degree ,
This is the actual meromorphic iterated-residue identification. The prime components of are precisely the strata in an immediate incidence. Sections of on these components which have equal residues on every common lower stratum descend uniquely to a section of the restricted line on the entire reduced . The same statement applies to the components of .
Proof. Choose one resolution witnessing Definition 3.1, and write using the actual meromorphic identification. Its unit components are the strict transforms of the finitely many components of . Every component of an intersection of distinct maps birationally onto a stratum , because the map is an isomorphism at its general point. Conversely every stratum is obtained this way. The general SNC locus makes both the component and its index set unique. Compactness makes the collection finite. The empty intersection is itself. Write , so .
Here are the adjunction and normality details, including the facts used at deeper intersections. For a chosen set of indices, keep their coefficients one and allow each unused coefficient to be either one or . Write . Global -factoriality makes this an actual rational-line operation, and
The subtracted divisor is effective. All exceptional coefficients remain below one, and the remaining unit components are exactly the retained strict transforms. Successive SNC adjunction on gives
Here and below such a restriction equality means equality of the meromorphic residue maps in degree , and hence equality of the actual lines. If two orders of residue differ by an ordering sign, its -th power is one.
We induct on the number of chosen indices. At each stratum already constructed, we retain normality, effectivity of every weighted different, and the crepant SNC residue comparison on . For this chosen comparison the exceptional coefficients are below one, the unit components are the retained strict intersections, and the full-weight pair is dlt. These assertions hold for . Lowering unused unit components preserves dlt; lowering all of them makes the effective pair at the current stratum klt. It has rational singularities and is Cohen–Macaulay by the dimension-free floor-connectedness lemma [51] Lemma 2.1. If just one unused coefficient is retained, the unit divisor of the induced SNC boundary is a disjoint union of smooth divisors on . The same lemma gives
The fibers are connected, so the images of different connected components of cannot meet. Each component maps birationally to its image; the displayed equality, factored through finite normalization, makes that image normal. It is compact Kähler by restriction of the local Kähler potentials from .
For every allowed weight choice, push forward the SNC different to define the rational different on this new stratum. In codimension one, the residue of a local frame of the ambient invertible line identifies its divisorial adjoint with the restricted line. Reflexive extension on the normal stratum gives (22) everywhere. Pulling it back agrees with the original SNC residue on a dense open and therefore everywhere, proving crepancy as an actual meromorphic identification.
The different is effective. At a general point of any of its primes, the normal surface-slice calculation of [51] Lemma 6.2, which is stated in every dimension, preserves exactly the residue order and reduces it to adjunction on a normal surface germ with effective boundary and a smooth marked curve. For completeness, on a minimal resolution of that surface, write the crepant boundary as the effective strict transform plus an exceptional divisor . For each exceptional curve ,
Indeed , and adjunction gives ; minimality excludes a smooth rational exceptional -curve. The negative-definite exceptional intersection matrix gives : if with disjoint nonnegative parts and , then , contrary to the preceding inequalities. The strict transform is finite birational over the smooth marked curve, and hence isomorphic to it. Adjunction to that smooth strict transform thus has nonnegative coefficient. This is the original coefficient by the surface-slice residue calculation.
The full-weight pair is dlt and has the asserted floor. On an SNC model, at the general point of the center of a divisorial valuation , take normal parameters , giving an unmarked parameter boundary weight zero. The SNC discrepancy inequality is
Every . Thus a zero-discrepancy center is an intersection of unit components. Those intersections meet the isomorphism locus, while every exceptional component has coefficient below one. To produce a dlt resolution for the restricted map, principalize its nonisomorphism locus and resolve together with the ordered SNC boundary. That locus contains no entire log canonical center, so the displayed discrepancy inequality makes every new exceptional coefficient strictly below one. This is the dlt resolution criterion. It also identifies the unit primes downstairs with the next incident strata.
Finally let be the whole unit union on . Sections on its smooth components which agree on all their SNC intersections glue by the elementary equalizer for the coordinate ideals of an SNC union. Even iterated residues make the equalities independent of the chosen chain. Apply the floor-connectedness lemma to the full-weight pair and this full unit union. It gives . Projection formula therefore descends the glued section uniquely to the restricted invertible line on the reduced . The proof with gives the assertion for . □
Each boundary stratum has dimension less than . The class of is nef, since it is the restriction of the nef adjoint class. Proposition 2.7, applied using on a log resolution, makes the actual rational line semiample. Increase once for all so that is generated for every boundary stratum. Its map and Stein factorization give
where is normal projective, has connected fibers, and is ample. These are actual line identities. We call vertical if ; the empty floor is vertical. If dominates , then for every the restriction
is injective. Indeed, every section comes from ; if its pullback vanishes on , surjectivity makes it vanish at every point of .
Fix a Kähler class on , and let be its restriction to each stratum. For boundary strata of the same dimension, an arrow is a proper bimeromorphic comparison with a projective resolution whose source is smooth and compact Kähler,
such that the two pulled-back adjoint lines are equal as invertible subsheaves of meromorphic -pluricanonical forms on , and
Here is the real span of first Chern classes of holomorphic lines, with torsion removed. The degree-two formula for a smooth modification says that its new classes are exceptional divisor classes. It follows that (23) is independent of further resolution and is preserved by composition. These arrows therefore form a groupoid on the finite set of strata of each dimension. An arrow transports sections by
Normality gives existence and uniqueness. Transport commutes with multiplication and identifies the complete systems and their Stein targets in (4.2). The equality of meromorphic lines defines this transport of adjoint sections; the class congruence will control self-arrows when the floor is vertical.
One residue comparison suffices for restriction
The only obstruction to extending a section from is its possible variation among the connected components of a general floor fiber. We show that all these components meet one general Mori fiber, whose floor is connected or consists of two points. Thus at most one residue comparison is needed.
Lemma 4.3 (Restriction and a Mori link). For each positive-dimensional boundary stratum , there is either no comparison or one arrow between two components of , allowing a component to be compared with itself, with the following property. In all sufficiently large divisible degrees , a section of extends to if its two residues agree under that arrow. With no arrow, every such section extends. The degree bound is uniform over sections. When present, the arrow compares the two coefficient-one points on general fibers of a projective Mori contraction on a bimeromorphic compact Kähler model of .
Proof. We use the dimension-free torsion-free restriction lemma [51]. In its notation, for an effective compact Kähler lc pair , klt away from its reduced floor , and a connected map to a normal compact base from which an actual positive adjoint multiple is pulled back, it asserts that is torsion-free. The ideal sequence gives
For and , if is vertical, has proper support and is zero. Serre vanishing for the kernel of , tensored with , extends every restriction in a uniform large-degree tail. If dominates, the same display says that a section extends as soon as its values are constant on the reduced floor fiber over a dense open of : its class in the torsion-free then vanishes, and the local lifts glue. They are unique because dominates , so is injective. This uses neither reduced special scheme fibers nor base change at their points.
Suppose now that dominates . There is an effective rational Cartier divisor with : restrict to the globally -Cartier floor primes of not containing . For small rational , is effective klt. Apply Corollary 3.5 to obtain a projective small strong -factorialization , crepant also for the full pair. Write for its full boundary and . The full adjoint
is the actual semiample rational line pulled back from , and the lowered klt adjoint is . Put , choose with Cartier and generated, and take . Consider
On a general fiber of the map to , its class is . This is the negative of a nonzero effective divisor because the floor dominates , so its pairing with a Kähler power is negative. If were pseudo-effective, a positive current representing it would restrict to a positive current on almost every resolved smooth fiber, contradicting this pairing. Thus is not pseudo-effective.
Apply Lemma 3.6 to the lowered klt pair and the nef rational line . Its -program with Kähler scaling has ordinary -negative steps, is finite, and ends in a projective Mori contraction. Every step, including the final Mori ray, is -trivial. The same actual Cartier line descends at each birational step. Consequently its semiample map to the fixed base persists on every working model. That map is constant on each connected final Mori fiber and hence factors through the Mori contraction. We obtain
Both maps have connected fibers. The full adjoint on each model is the trace of . On a common resolution of a birational step, its natural meromorphic canonical comparison is an exceptional divisor with zero class, since the two actual lines descend from the same line on the contraction base. Exceptional negativity applied to both signs makes that divisor zero. Thus the full pair remains crepant, including its meromorphic adjoint identifications. The full transformed pair is effective lc and is klt away from its full floor : there it agrees with the transformed lowered klt pair. The program is nonextracting, so the transformed divisor has . Since the full adjoint is pulled back from , the lowered adjoint on a -fiber is . Hence is relatively ample over .
Compare the connected components of a general floor fiber on the original small model and on . On a common projective log resolution the full crepant subboundary is the same. Its unit union maps to both floors with connected fibers by [51]. Proper closed surjections with connected fibers preserve connected components, also after restricting over a point of . Thus the connected components of the two underlying floor fibers correspond.
Every connected component of the floor fiber on meets one common general Mori fiber. Indeed is surjective because is the support of the relatively ample . Apply Equation (24) to . Surjectivity of the floor makes injective; the displayed torsion-free cokernel then makes torsion-free. Let
be the Stein factorization. The finite space is reduced, and every irreducible component of dominates . To see the last implication algebraically, a vertical minimal prime of a finite reduced algebra over a domain would give, by prime avoidance, a nonzero element killed by a nonzero element of the domain. After shrinking to a dense open, the fiber-dimension theorem gives every component of dimension . The fiber is irreducible of that dimension: a resolution of still has connected fibers over , and a general one is smooth and connected and surjects onto . Finiteness now makes each component of dominate . Consequently each connected component of meets for the same general .
The reduced general fiber of is irreducible by the same resolution argument. If , the support of the effective ample Cartier multiple of , whose support is , is connected. One elementary proof, valid even if is not normal, cuts by general hyperplanes to an integral projective surface. If the ample divisor split into disjoint nonzero Cartier parts , their pullbacks to a resolution would be orthogonal, while the projection formula gives for both . Thus both , contradicting the surface Hodge index theorem. If , choose the fiber also off the singular, boundary intersection, and ramification loci. It is a smooth connected curve and
There is a unit point, so . Its floor has one or two points; if there are two they exhaust the horizontal boundary. In every connected case the preceding common-fiber observation makes the general floor fiber connected, so no comparison is needed. In the remaining case the two unit points represent all its connected components.
Normalize the horizontal floor primes and take their Stein factorizations over . If there are two primes, each finite Stein map has degree one and is an isomorphism over normal ; their main fiber product gives a proper bimeromorphic comparison. If there is one prime, its normal Stein space is a double cover of . The exchange on its general fiber extends over the branch locus: the reduced horizontal non-diagonal component of the double fiber product has finite birational projections to the normal cover and hence both projections are isomorphisms. Its graph lifts to the normalized prime. Composing with the program graphs transports the comparison to two original normal floor primes, possibly the same one. All graph projections are projective, and the primes survive birationally because the program extracts no divisors.
This comparison is crepant as a meromorphic residue identity. On a smooth ruled open, order the markings after an étale local cover, choose a base volume , and put the markings at . A pulled-back -pluriadjoint frame has the form
Its two residues are and , which agree. This is the two-marking Poincaré-residue comparison of [45], Section 3, Definition 13 and Proposition 14. On a resolved graph both restricted actual lines are pulled back from ; their meromorphic embeddings agree on this dense open and hence everywhere, including along exceptional primes. Equal residues therefore give a constant value on the entire general floor fiber. The horizontal consequence of Equation (24) extends the section. Normality descends it from the small model. Its restriction is the prescribed section on the original reduced floor, since every original floor prime is covered birationally and the two restrictions agree after that pullback.
It remains to check Equation (23). Let be a common smooth resolution of the parent and Mori models and let be the two maps from a resolved branch graph. The resolution of the Mori model is an isomorphism near a general entire fiber: its centers have codimension at least two, hence cannot dominate the ruling base. Every holomorphic two-form on comes from the base on that ruled open. In fact its vertical one-form terms vanish on , and its remaining coefficients are constant on that compact fiber. Thus kills , and also by conjugation. This rational Hodge map on degree two has image of type . The Lefschetz theorem puts its real image in . Apply this to the pulled-back parent class . The link is therefore an arrow as defined above.
Transport respects every lower residue
An arrow can contract a divisor to a higher-codimension stratum. The next local observation explains how to compare residues even in that case. All valuations in its proof are local monomial valuations in an SNC chart.
Lemma 4.4 (Unit strata above an SNC stratum). Let be a projective log resolution of a dlt pair, with crepant SNC subboundary on the smooth . Let be a unit stratum and let be its center. Then is a dlt stratum. There is a unit stratum such that and is birational. In the iterated residue comparison along , the normal logarithmic Jacobian is .
Proof. The center is a dlt stratum by the SNC discrepancy calculation in the proof of Lemma 4.2. Work over the generic SNC part of , of codimension , with normal coordinates for the unit divisors. The zero-discrepancy divisorial valuations centered there are exactly the primitive rational monomial rays in . Here is a local verification that also fixes their normalization. The discrepancy inequality in the proof of Lemma 4.2 says on every log-smooth model that the center of a zero-discrepancy valuation is exactly a unit stratum: an additional unmarked normal parameter, or a parameter with coefficient below one, would give positive discrepancy. Blow up that stratum. If the positive normal orders of the valuation are , the chart indexed by a smallest order replaces these by and the positive members of . The exceptional divisor is again unit, and the center is exactly the new unit stratum. While there is more than one positive order their sum decreases. Eventually the center is the generic point of one unit divisor, where a normalized divisorial valuation has order one. Reversing these ordinary toric blowups proves monomiality and primitive normalization. Conversely this subtraction algorithm for any primitive positive integer vector terminates at order one, and reversing it extracts that monomial valuation. Comparison on a common graph gives uniqueness of the valuation with those weights and of its center on any model.
For a unit component meeting the inverse image of the generic SNC part of , put
If the unit components through a unit stratum meeting that inverse image are , define
The source carries its standard lattice . For the fixed resolution , these cones subdivide the orthant over its interior. On rational rays, sends a monomial valuation on to the same normalized valuation on , so it is injective on each cone. Interiors of different cones are disjoint, because the center and the weights of a monomial valuation on are unique. Every rational ray in the orthant occurs: view its valuation on and use the same SNC description there. There are only finitely many cones over the generic part of ; density of rational rays therefore gives coverage. Taking subsets of unit components gives the faces, and uniqueness of valuations also on faces identifies intersections as common faces. Consequently is a face of an -dimensional cone with the same downstairs center, for a unit stratum .
Let be the unit components through . The integer matrix of this full cone is unimodular. Indeed every positive primitive integral vector in the source cone is the normalized vector of a divisorial valuation, so its image is primitive. If a prime divided , a nonzero kernel vector modulo that prime, lifted to a positive primitive integral vector, would have nonprimitive image. Hence . The strata and have the same dimension. We next prove that their generically finite map has degree one. In local coordinates at a general point of ,
where the are units, the are normal coordinates, and are coordinates along the stratum. The tangential map is generically étale in characteristic zero. Since is integral, replace by where the are units, the are normal coordinates, and are coordinates along the stratum. The tangential map is generically étale in characteristic zero. Since is integral, replace by . Then , and the map consisting of and the downstairs tangential coordinates is locally biholomorphic at a general étale point of . Two distinct points over a general point of would therefore give two lifts of nearby target points whose normals approach with any fixed positive rate vector in the interior of this cone. Varying the nonzero leading coefficients fills an open set of nearby torus points, so such a target can be chosen in the locus where is an isomorphism. This contradiction proves that is birational. Finally, after taking residue along , the normal coefficient of is times that of ; terms differentiating the units vanish in that residue. Since , the even pluriresidue removes the sign.
Lemma 4.5 (Preservation of lower restrictions). Fix and . For each boundary stratum of dimension at most , let . Suppose these sections agree under the residue restriction for every incidence, and that every arrow in dimensions below carries its source section to its target section. For any -arrow and every component of ,
Moreover verticality of is invariant under -arrows.
Proof. The assertions are immediate for , when every floor is empty. For , choose a common log resolution , of the arrow. For a target floor prime , start with its strict transform . It is a unit stratum and maps birationally to . Its source center is a stratum by Lemma 4.4. If is not birational, that lemma replaces by a unit stratum inside it which maps birationally onto the same source center. The target center may then shrink. If the map to that center is not birational, apply the lemma on the target side, and continue alternately. Each necessary replacement strictly decreases dimension. The process therefore ends with one unit stratum mapping birationally to lower strata on the two sides.
The image in the common system base remains unchanged throughout. Indeed the two maps from the resolved graph to the Stein targets are identified by the arrow, and a replacement keeps its entire image on the side then being treated. Initially the image was . The terminal comparison of and is an arrow: restricting the actual meromorphic identification to iterated residues gives crepancy, with the logarithmic determinant sign removed by Lemma 4.4; restricting the line Chern classes in Equation (23) gives the same condition modulo . Lower invariance thus identifies the transported and assigned residues on .
This equality determines the entire section on . The Stein map of is the Stein factor of , because the line induced on that Stein space is ample; its target is finite over . The image of in this target is a closed irreducible subset of full dimension, since it still maps onto , and therefore is the whole target. Both sections on come from it. Equality after restriction to proves equality on .
The same construction shows that the image of every target floor prime in the system base is the image of a lower source stratum, and the reverse statement follows from the inverse arrow. A floor dominates the system base on one side exactly when it does on the other. This proves the last assertion.
Finite actions on vertical strata
Once lower-dimensional sections are compatible and invariant, Lemma 4.5 preserves their restrictions under every arrow. If dominates , injectivity of restriction forces any such transported extension to equal the assigned extension. Thus only vertical strata require the following argument for finite image.
Proposition 4.6 (Finite image of self-arrows). Let be a boundary stratum with vertical. For all sufficiently large divisible , the self-arrows of have finite image on .
For , a pluricanonical eigenform with becomes the -th power of a holomorphic top form on a smooth resolution of a cyclic root cover, so the auxiliary proposition below makes its eigenvalue a root of unity. A uniform bound on the middle Betti numbers of selected resolutions of these covers in the fixed degree will then bound the possible orders; boundedness of the representation will give finite image. The auxiliary proposition uses the polarization congruence in (23).
Top-form scalars
Proposition 4.7 (A polarized top-form scalar). Let be a smooth connected compact Kähler manifold of dimension , and let be bimeromorphic. Suppose that on a common smooth resolution the two pullbacks of some Kähler class on differ by an element of . If and , then is a root of unity.
We first control the canonical Iitaka base; this step uses and the top form, with no polarization congruence. To specify that base, let be a smooth connected compact Kähler -fold with and . A pluricanonical section makes pseudo-effective, so gives a smooth modification and
Choose sufficiently divisible that the connected semiample map and its Stein target satisfy
where is normal projective and is ample, and that Lemma 2.5 identifies every graded piece in
This is the full section ring of the ample line , so . Passing to a further divisible Veronese gives the same Proj. We call the canonical Iitaka base. A bimeromorphic self-map of acts on this graded ring and therefore induces an automorphism of .
Lemma 4.8 (Finite action on the canonical Iitaka base). Let be a smooth connected compact Kähler manifold of dimension , let , and let be bimeromorphic with . The induced automorphism of the canonical Iitaka base , for a sufficiently divisible as above, has finite order.
Proof. The top form gives , so the preceding construction applies. The assertion is immediate for a point base. Otherwise use above, and write also for its pullback to . For each positive integer the canonical integral on is positive, continuous, and invariant under bimeromorphic change of variables. Choose such that is very ample. The powers of and their inverses are bounded on the corresponding degree , which defines . This linear action is semisimple with eigenvalues of absolute value one. Also , by integration of . Hence the finite measure
is invariant under ; exceptional sets have measure zero here.
Suppose that has infinite order. In the projective linear group of this degree, the algebraic closure of a power of is then a positive-dimensional torus , acting faithfully on . Indeed a bounded linear operator is diagonalizable, and the connected algebraic closure of a cyclic diagonal group is a torus. We will obtain a contradiction from any nontrivial one-parameter subgroup of .
Let be a dense Zariski open in the smooth locus where is smooth and the relative top form obtained from is nonzero. Put . A general fiber of an Iitaka map has . It has a nonzero holomorphic top form here, so : two such forms would have a nonconstant ratio and give positive Iitaka dimension. If is a local holomorphic volume frame on and is the relative top form, fiber integration writes the measure as
The coefficient is smooth and strictly positive after this shrink. We include , when the top Hodge line is the one-dimensional degree-zero line.
Set
Invariance of under makes the smooth positive densities agree on overlaps, extending the density in Equation (25) to . This open is invariant under . Its complement is the intersection of the closed algebraic sets , which is closed algebraic by Noetherianity. Its algebraic stabilizer contains the cyclic group generated by , and therefore contains its algebraic closure. Choose a one-parameter subgroup which acts nontrivially, and a general whole orbit in . The -invariance of the domain supplies this whole orbit. We now construct a horizontal period metric on and prove that its restriction to the orbit vanishes.
For a smooth Kähler family a total Kähler class polarizes the primitive real variation in middle cohomology. On a simply connected open of , take the smallest real subvariation of the full middle cohomology containing the line of top forms and its conjugate. It is the intersection of the flat real Hodge subspaces with this property; finite dimensionality reduces the intersection to a finite one. This construction commutes with restriction and continuation: in a flat trivialization the condition of being a Hodge subspace, and of containing the indicated line, is a real analytic equality for the Hodge projections, so equality on one open continues on the simply connected cover. The primitive variation is one such subvariation, so the smallest one lies in primitive middle cohomology. Its polarization is the middle cup pairing with the usual sign, independent of the total Kähler class, because no power of that class occurs in the middle primitive pairing. The horizontal period metric of this polarized real variation is therefore intrinsic.
This possibly degenerate metric extends consistently to . To compare the metrics on an overlap of two translates of , shrink the overlap further so that a resolution of the fiberwise birational graph is a smooth family over it. The two pullbacks on middle cohomology are flat Hodge embeddings into the cohomology of this common resolution and carry the top lines to the same line. The smallest subvariation there is the pullback of the smallest subvariation on either side: it is contained in both images, and applying the inverse embedding gives the reverse inclusion. Projection formula identifies their middle cup polarizations. Their horizontal metrics therefore agree on this smaller open and, by continuity, on the overlap.
We claim that the period metric restricts to zero on every whole orbit of this one-parameter subgroup in ; constant orbits are immediate. For a nonconstant orbit, pull it back under . The negative upper bound for holomorphic sectional curvature in horizontal directions of a period domain, together with the curvature inequality for a pulled-back curve metric, applies to its local period representations; it holds for real polarizations as well [35]. On a disk of radius centered at an arbitrary point, translate the center to and write the pulled-back metric as , continuous and smooth where positive, with curvature . Compare it with
Direct calculation gives . If the maximum of exceeded one, it would occur where in the interior, since diverges at the boundary and is bounded on the closed disk. At that point,
a contradiction. Thus the Ahlfors–Schwarz comparison gives [2]. Letting forces the metric to vanish on . The argument is local and allows zeros of the induced metric, so the local representations just constructed suffice. Consequently their period maps are locally constant along each such orbit. In any holomorphic volume frame the logarithm of the coefficient in Equation (25) is harmonic along each orbit: the top Hodge line is flat there, and is a nonzero holomorphic multiple of a flat generator.
This is incompatible with finite mass. Diagonalize the one-parameter action in projective coordinates, and choose two coordinates nonzero at a general point with different weights, of difference . A small smooth transverse slice on which their ratio is one gives a holomorphic local biholomorphism onto its image
with fibers of size at most : the ratio at is . The entire factor is allowed because is invariant. In the product frame , write with coefficient . For fixed , is harmonic on . Its circular mean at is . Jensen’s inequality therefore gives, with an irrelevant positive normalization,
Tonelli’s theorem contradicts the finite mass of , which is at most by the bounded covering degree. This proves that has finite order.
After a power, the scalar problem can thus be restricted to a fiber with Kodaira dimension zero. The polarization congruence then passes to that fiber; the next two lattice arguments control its nonprojective factors. In the next lemma, the hypothesis on the origin of the model is what provides the degree-two exceptional splitting; rational singularities alone are not used for that splitting.
Lemma 4.9 (The scalar on a symplectic factor). Let be a terminal compact Kähler primitive symplectic space of dimension , obtained from a smooth model by the program of Corollary 3.10. Let be bimeromorphic and let . Suppose there is a class whose two pullbacks on a common resolved graph of differ by real line Chern classes, and such that on some projective resolution with smooth compact Kähler source
where is an exceptional real divisor and is a smooth closed semipositive -form, strictly positive on a nonempty open. Then the scalar in is a root of unity.
Proof. We use the pure Hodge structure on and its rational Beauville–Bogomolov form , up to positive rational scale. This form is positive on the real symplectic plane and Lorentzian on ; see [5], Lemma 2.1, Definition 5.2, and Lemmas 5.3 and 5.7. The pullback and identifications for these rational singularities, extension of the two-form [42], Corollary 1.8, and Lemma 3.9 give
Indeed that program lemma gives the real equality with a direct exceptional sum; the and summands compare by form extension, and all the summands in the resulting equality are rational.
Let be the rational span of the -exceptional prime classes. Identify with by Equation (26), and define the lattice
This amounts to quotienting the integral lattice by its saturated exceptional sublattice. The lattice is independent of a refinement : integral Gysin satisfies , and the smooth degree-two modification formula says that is exceptional and that the new exceptional span is of the old one plus the -exceptional span. A common smooth refinement therefore identifies the quotient lattices from any two resolutions over .
The form trivializes . On a resolution of the graph of , with projections , the divisors of the two pulled-back volume forms agree. Terminality says that their positive components are exactly the exceptional primes. Thus the exceptional lists for the two projections are identical; in particular is small in both directions. Let be their common exceptional rational span, and let
Both maps carry onto the image of integral graph cohomology in this quotient. Hence
is a rational Hodge automorphism of preserving .
It also preserves . The two symplectic forms pull back up to the scalar , and integration of their top powers gives . Use the usual positive normalization of . For classes , the differences between and are exceptional for both projections. Expand into two terms, each with one such exceptional factor and one factor pulled back by the appropriate projection. Projection formula makes both pairings with zero. This is precisely the part of the Beauville–Bogomolov formula. The symplectic plane is preserved isometrically because , and the Hodge decomposition is orthogonal. Thus is a -isometry.
The class in the statement has . Since is nef over , exceptional negativity applied to the divisor , with , gives . Pair with the positive normalization . Exceptional classes pair to zero with by projection formula, and hence for some constant
Every term is nonnegative. The first is strictly positive on the common open where is positive and the symplectic form is nondegenerate.
Set and . Lefschetz (1, 1) on , together with the line-trace assertion of Lemma 3.9, identifies with the rational span of line Chern classes. It is -invariant because is a rational Hodge automorphism. The same line-trace assertion applied to the graph congruence gives . The line survives in ; our immediate aim is to prove that all eigenvalues on this quotient have absolute value one. Write , the positive real two-plane. There are three possibilities for the restriction of the Lorentz form to .
If is negative definite, its orthogonal projection of to is fixed by and has positive square by Equation (4.7). On , the invariant space is positive definite and its complement is negative definite. All eigenvalues there have absolute value one. If contains a positive vector, it is nondegenerate with one positive direction. Its orthogonal complement is the positive plane plus a negative-definite space, giving the same conclusion. In either case .
In the remaining case is negative semidefinite with radical a rational isotropic line . The lattice action on is . On the form is the positive plane plus a negative-definite space, and the quotient is dual to . The invariant flag therefore shows that all eigenvalues on have absolute value one; this argument also allows unipotent parts. In all cases the eigenvalues on have absolute value one. The rational quotient carries the preserved lattice
where the intersection is saturated. Thus is an algebraic integer and all its algebraic conjugates have absolute value one. Kronecker’s theorem makes it a root of unity.
Lemma 4.10 (The scalar on a torus). Let be the integral Hodge automorphism of induced by an automorphism of a compact complex torus . Suppose a positive Hermitian class satisfies . Then is a root of unity.
Proof. Put and . For each eigenvalue of , let be its generalized eigenspace and set , . Complex conjugation gives .
For , project to the block , with understood for real . This projection preserves . Indeed the Chinese-remainder projectors onto the generalized spaces are polynomials in with algebraic coefficients. Apply them to the two tensor slots separately and then alternate. The resulting maps are algebraic linear combinations of rational Hodge maps on ; these preserve rational classes, hence by Lefschetz (1,1). Separate slot projections avoid any collision of products of eigenvalues in degree two.
On this block has the single generalized eigenvalue . The inverse of there is a finite polynomial in its nilpotent part. Project the congruence for to the block and apply this inverse. It follows that its block belongs to . Positivity says that this block is a perfect tensor between and , pairing their opposite Hodge types: in a basis of the relevant matrices are positive-definite principal Hermitian blocks. For real the corresponding alternating tensor is nondegenerate.
The intersection of this block with is defined over . Nondegeneracy is the nonvanishing of a determinant, so it contains a nondegenerate tensor with algebraic coefficients. For any Galois automorphism , the conjugate tensor remains in , hence is still of type for the given Hodge decomposition, and is perfect between and . Opposite-type perfection yields
This does not replace by , and assumes no Galois invariance of the Hodge decomposition.
The top-form scalar is the algebraic integer , also when generalized eigenspaces are nontrivial. For any Galois automorphism , reindex by the image roots and pair complex conjugates:
For the second equality uses Equation (27) with ; the other terms vanish. The last equality is unimodularity of the integral action. Kronecker’s theorem now proves the assertion. □
Proof of Proposition 4.7. Apply Lemma 4.8. After a power, acts trivially on the canonical Iitaka base. Use the modification and the map in its construction, and restrict over a general point where the graph and the fibration are smooth and the fiber meets the isomorphism locus of . Dividing by a local base volume gives a nonzero top form on the smooth compact fiber , which has ; its returning map scales the form by the corresponding power of . A point fiber gives scalar one. For a positive-dimensional fiber, let be a Kähler form representing the class in the proposition and put . This is a smooth semipositive form, strictly positive on the dense open where is an isomorphism. Pulling the original graph congruence to and restricting to the fiber shows that the two pullbacks of on a common resolved graph of the returning map of differ by real line classes. This weaker positivity suffices below.
Since , Corollary 3.10, using , supplies a terminal compact Kähler minimal model of with torsion canonical line. The descended nonzero reflexive top form trivializes itself. Indeed a power of that form, in a trivialization of a multiple of , is a nonzero holomorphic function on the compact connected , hence a nonzero constant. On a graph resolution of the returning map the two divisors of this volume form agree; terminality makes their positive components exactly the exceptional primes. The returning map on is therefore small in both directions.
The Kähler Beauville–Bogomolov decomposition [4], Theorem A supplies a finite cover, étale in codimension one, of of the form
where is a torus, the are primitive symplectic factors, and is the product of the strict Calabi–Yau factors of dimension at least three. One-dimensional factors are elliptic curves and are absorbed into ; two-dimensional factors are placed among the symplectic ones. An absent factor is a point and contributes scalar one. Reflexive forms on these klt spaces can be computed on resolutions by [42], Corollary 1.8. A power of the small returning map lifts bimeromorphically to . To justify this, purity makes the restriction of the cover over finite étale [4], Section 3.2, before Lemma 3.7. This restriction is connected and, after choosing base points, determines a finite-index subgroup of , well-defined up to conjugacy. Remove the codimension-two exceptional sets from the smooth loci. Removing an analytic subset of complex codimension at least two from a manifold does not change its fundamental group. The compact normal connected is reduced and paracompact, with bounded local tangent dimension. Its analytic pair therefore has a real analytic embedding [1], Theorem 1 and a compatible locally finite triangulation [48], Section 3, Theorem 1. Compactness makes the triangulation finite; barycentric subdivision gives the smooth locus finite CW homotopy type, so its fundamental group is finitely generated. There are only finitely many subgroups of the fixed index of the cover. A power preserves the conjugacy class of its covering subgroup, so it lifts on this open, and normalization over the proper graph extends the lift bimeromorphically. We may take further powers throughout.
We explain why the factors can be considered separately. All holomorphic one-forms on come from . Their pullbacks show on the smooth open that the torus coordinate of the map depends only on the torus coordinate. Modulo the ideal generated by positive-degree torus forms, the two-forms have basis the symplectic forms . Write . The highest nonzero power of has order ; thus the locus where its full power vanishes is the union of the coordinate hyperplanes. The map permutes these hyperplanes and hence the lines , matching their nilpotence orders . No torus two-form can be added to an image of , since wedging that term with the -th power of the corresponding target symplectic form would contradict that nilpotence order. The kernels of the forms now show that each symplectic coordinate depends only on the corresponding symplectic factor. Take a power to remove the permutations.
If is positive-dimensional, it has no holomorphic form of degree : the form algebra of a strict factor has only degrees zero and its top degree, and no factor has dimension one. In the pullback of the volume form of , the component with one differential outside and all the others in therefore vanishes. The derivative in the directions has full rank, because the whole map is bimeromorphic and the other coordinates have just been separated. Its cofactors then force the derivative of the coordinate in outside directions to vanish. Thus that coordinate also depends only on . These conclusions on a dense smooth open give factor bimeromorphic maps by taking their proper graphs. Their degrees are one because their product has degree one.
The scalar for is a root of unity by projective pluricanonical finiteness. In detail, of a smooth compact Kähler resolution of vanishes by the strict-factor form algebra and reflexive extension. Rational approximation of a Kähler class and Kodaira’s theorem make this resolution projective. Thus is Moishezon; it is projective by the Kähler projectivity criterion for rational singularities [50], Corollary 6’. Its canonical line is trivial and its returning comparison is crepant, as seen from the volume form. Chow’s theorem algebraizes its proper analytic graph. The projective log pluricanonical representation theorem [32], Theorem 1.1 gives finite scalar image.
We spell out how the polarizing class reaches the other factors without asserting a cohomology splitting for the singular product . Choose projective resolutions of its factors with smooth compact Kähler sources, and form the smooth compact Kähler product
Resolve the map together with . This gives a smooth compact Kähler space , a modification , and a morphism . Put . It is smooth semipositive and strictly positive on a dense open, since is generically finite. Put . The smooth modification formula gives for an exceptional real divisor . The graph congruence for pulls to the cover and, by Gysin pushforward, gives the graph congruence for modulo real line classes; the exceptional differences are themselves line classes. Pass to a common refinement and use the product of resolutions of the separated factor graphs to compute this congruence; refinements change it only by exceptional line classes. The restriction of to one factor slice is independent of the other coordinates, by Künneth on the smooth product . Restricting the product graph therefore compares to itself modulo line classes on the factor graph.
Choose the factor slice generally so that it meets the open where is strictly positive and meets each -exceptional center in codimension at least two, or avoids that center. This is possible by the fiber dimension theorem applied to each center and the projection to the other factors. On the resolved strict transform of this slice, the restriction is still semipositive and strictly positive on an open, and the restriction of is exceptional over the factor. Thus the pullback of differs from only by the class of an exceptional real divisor. This gives both the required positivity and the congruence on each smooth factor model.
For a symplectic factor, its symplectic volume trivializes its canonical line. Canonical singularities preserve the canonical ring on resolution, so a smooth resolution has Kodaira dimension zero. Its dimension is . Corollary 3.10, using , runs from that resolution to a terminal model. It is still primitive symplectic: the unique two-form extends, and its top power trivializes the canonical line and is nondegenerate on the smooth locus; irregularity and the form algebra are unchanged. Take a common projective resolution of this terminal model carrying the pullback of . Lemma 3.9 decomposes its class as the pullback of a class on the terminal model plus the class of an exceptional real divisor. The line-trace assertion of that lemma sends the line Chern classes in the factor graph congruence to rational line classes on the terminal model. Pushing through the exceptional quotient therefore shows that the returning graph compares to itself modulo line classes. These are the hypotheses of Lemma 4.9. That lemma makes the scalar on its two-form, and therefore on its top form, a root of unity.
For the torus, push the semipositive form to the torus as a positive current and average it over translations. The average is a smooth invariant positive Hermitian representative: for every nonzero tangent direction its average is strictly positive because the original form is strictly positive on an open. A bimeromorphic map of a torus is an affine holomorphic automorphism; its linear part preserves the integral lattice. The comparison modulo and Lemma 4.10 make its top-form scalar a root of unity. The product of the factor scalars is the appropriate power of . It is a root of unity, and hence so is .
Finite image on vertical strata
Proof of Proposition 4.6. Put and , so sections of are meromorphic -pluricanonical forms. Let
The integral is computed on the regular locus, or on any resolution by change of variables. This is a vector space: for the elementary power inequality preserves integrability under sums. On a log resolution an adjoint section is locally
It is integrable if vanishes on every unit component; smaller coefficients cause no obstruction. Every unit valuation has center in . Thus contains pullbacks of base sections vanishing along . For large these define birationally: multiply one nonzero section of a high ample power vanishing on that proper subset by a complete very ample system. If is a point, verticality forces and a nonzero section is integrable. In particular .
The function is continuous on and positive away from zero. In an integrable basis, the densities of bounded linear combinations are dominated by a constant times the sum of the basis densities, proving continuity by dominated convergence. Its invariance under arrows makes the action and its inverse uniformly bounded in any norm on . Moreover this representation detects the representation on all of . If an arrow acts identically on , it acts identically on because that system is birational. For and any other section , the ratio comes from the rational function field of . The arrow fixes both this ratio and , and hence fixes .
Take an eigenform for the transport of one self-arrow, with eigenvalue . In the orientation fixed above, ; put , so . Form the full normalized analytic cyclic root cover of this meromorphic pluriform and take a projective resolution of all its components. Locally, if in a meromorphic canonical frame, the cover is the normalization of , and its tautological top form is . These descriptions glue when the frame changes. The finite analytic normalization and this full-root construction are also described in the proof of [51 Lemma 7.1]. On the smooth compact Kähler resolution of the full cover, let be the composite map. Change of variables gives
A meromorphic top form with finite local norm has no pole, by the one-variable integral transverse to a putative pole. Thus is holomorphic. Choosing lifts bimeromorphically to the full cover, possibly permuting components, with .
The lift preserves a Kähler class modulo . A sufficiently large multiple of the pullback of , plus a relatively ample line class for the finite cover and its projective resolution, is Kähler on . Pulling up Equation (23) compares the first summand, and the changes of the relatively ample classes are line classes. After a power fixes one connected component, that component has dimension , so Proposition 4.7 applies there. It follows that , and hence , is a root of unity.
The possible orders are bounded in this fixed degree . We give the parameter argument because pointwise torsion alone would not make a bounded group finite. Fix a smooth resolution of and an effective divisor clearing the poles of a basis of . Put , the projective parameter space of lines of forms under our quotient convention. The universal section on belongs to
Pull the parameter space back by the finite coordinate-power map . Its pullback of is , so the displayed line now has an -th root . The cyclic algebra , with multiplication defined by the universal section, defines a finite locally free family of rank . Every parameter is a nonzero form. Each fiber is therefore reduced: its algebra is torsion-free over the smooth and is generically squarefree. Every fiber component meets the inverse image of the nonvanishing locus of the universal section; there the cover is finite étale. Normalize and resolve the normalization projectively. The composite can be chosen to be an isomorphism over . Put . The locus is proper analytic by the proper fiber-dimension theorem: every component of the total family meets , and its general fiber has dimension . Remove this locus and the critical values of the resolved map. Over the remaining dense open the family is smooth and proper, and each fiber is the disjoint union of smooth resolutions of the corresponding root-cover components, because every component meets the locus where is an isomorphism. Proper smooth transport makes the sum of their middle Betti numbers constant there. Resolve the finitely many irreducible components of the proper analytic complement. On each such resolution pull back the original finite cyclic family, take its reduction, and normalize and resolve anew; restricting the previous normalization is not required. The parameter dimension decreases, so finitely many such steps cover all parameters. There is consequently a uniform bound for the middle Betti number of the entire disjoint union of selected smooth resolutions of every full cover. This does not assert a bound for arbitrary further resolutions.
On the disjoint union of the selected resolutions, let be the projections of a smooth resolved graph of the lift. The integral Gysin endomorphism on middle cohomology has as an eigenvalue: the nonzero holomorphic top form has a nonzero cohomology class, , and . If the order of is , its cyclotomic minimal polynomial therefore has degree . There are only finitely many such . Thus the eigenvalues on lie in a fixed finite set.
The bounded group on has compact closure in . Every element of that closure still has its eigenvalues in this finite set, by continuity of characteristic polynomials. On the identity component the characteristic polynomial must be that of the identity. A compact linear group is unitarizable, so an element all of whose eigenvalues are one is the identity. The identity component is trivial; a compact Lie group with this property is finite. The image on , and therefore on the full section space, is finite.
Compatible sections on the whole boundary
We now use restriction, transport, and finite self-arrow image to construct sections simultaneously on all boundary strata.
For and , a system of tuples in degree through dimension means a vector subspace
It is compatible if every tuple agrees under the residue restrictions for every incidence, and invariant if every arrow carries its source component to its target component. It generates if for every point of every stratum some tuple has nonzero value there. Compatibility and invariance are linear conditions. If such a system generates, the span of componentwise -th powers of its tuples gives a compatible invariant generating system in degree . Thus we may always pass to a sufficiently large divisible later degree.
Proposition 4.11 (Generating tuples). There is a degree and a compatible invariant generating system of tuples through dimension .
Proof. At the point strata use the same scalar in the canonical zero-form generator 1. The even residue convention identifies these generators along every path and under every point arrow. This gives the required system in dimension zero; if there are no points the empty system is understood.
Suppose the system has been constructed through dimension . Replace it by powers and their span in a common degree chosen so that Lemma 4.3 applies on every -stratum,
Proposition 4.6 applies on every vertical -stratum, and is generated for every -stratum . These conditions hold in a common divisible tail: there are finitely many strata, and the last condition is Serre’s theorem. For a -stratum , Lemma 4.2 glues the lower tuple to a section on its whole . Its residues satisfy the one link in Lemma 4.3, if that link is present, because the lower tuple is invariant. That lemma extends the section to .
Let be the vector space of all tuples through dimension whose lower part is in and whose new components restrict to that lower part. Call its elements pre-tuples. Its projection to is surjective, since the finitely many extensions can be chosen independently. This system already generates. To check a point , put . If , choose a floor point over and a lower tuple nonzero there. Every extension is the pullback of a section of , so it is nonzero at every point over , including . If , the chosen generation of supplies a base section nonzero at . It pulls back to a section vanishing on ; combine it with the zero lower tuple and zero components on the other new strata. This also treats an empty floor. Surjectivity to the lower system preserves generation at lower points.
We impose invariance in dimension . For a dominating floor, injectivity of restriction and Lemma 4.5 already make every pre-tuple invariant on that stratum. Verticality is invariant under arrows, so the remaining orbits consist entirely of vertical strata.
For each such orbit choose a representative , and let be the finite isotropy image on given by Proposition 4.6. For a pre-tuple with component , form the norm
Choose a common positive integer divisible by all , use , and transport it to each member of that orbit. This is independent of the chosen arrow: changing that arrow by an isotropy arrow merely permutes the factors in degree . No finiteness assertion in degree is needed. On strata with dominating floor use , and on all lower strata use the componentwise -th power of the assigned tuple.
The resulting tuple is compatible. By Lemma 4.5, every transported factor in a norm has exactly the prescribed lower restriction. The norm and its indicated power therefore restrict to the -th power of that restriction, the same value used on all lower strata and in all other orbits. It is invariant in dimension by construction, and remains invariant below it.
These tuples still generate. Fix a point in an orbit member. For each of the finitely many transported factors, choose a point over on a resolution of its comparison graph. Equality of the pulled-back invertible adjoint lines identifies the fiber values. The factor is nonzero at exactly when the representative component is nonzero at the corresponding point of . Evaluation at each such point is a nonzero linear functional on the generating space . A finite union of their proper kernels cannot cover a complex vector space. One pre-tuple makes all factors nonzero and gives a norm nonzero at . At a lower point a nonzero assigned value stays nonzero after its -th power. Taking the linear span of all the constructed tuples therefore gives a compatible invariant generating system in degree . This completes the induction on . □
Proof of Theorem 4.1. Take the system in Proposition 4.11. Its components on the prime components of agree on every common lower stratum, so Lemma 4.2 descends each tuple uniquely to a section of the actual line . At any , choose a prime component through and a tuple nonzero there. It is the pullback of the descended value in the same invertible line fiber at , so that value is nonzero. The finite-dimensional span of these descended sections generates at every point of the reduced . This is the claimed global generation of an actual Cartier multiple. □
Descent along a fibration
Throughout this section we assume Assumption 1.1.
We prove Proposition 2.11. Its geometric reduction leads to a fibration whose very general fiber has logarithmic Kodaira dimension zero. In sufficiently divisible degrees the log pluricanonical systems on that fiber are one-dimensional, and a relative generating form determines an adjoint line on the base. We prove the resulting rank-one proposition by a secondary induction on the positive base dimension: after proving pseudo-effectivity on the base, we either lower its dimension or lift a nef line and its entire fixed divisor. The last step proves generation of the remaining nef line.
Reduction to the rank-one case
Proposition 5.1 (The rank-one case). Assume Assumption 1.1. Fix and assume for every . Let be a smooth connected compact Kähler manifold of dimension , let be a rational SNC boundary, and suppose that is pseudo-effective. Suppose there are smooth compact Kähler manifolds , a modification , and a proper surjective holomorphic map with connected fibers such that
Assume that has SNC support and that, on a very general smooth fiber of ,
Then satisfies .
Proof of Proposition 2.11, assuming Proposition 5.1. We use the reduced-exceptional boundary after every source modification. The effective discrepancy identity in Proposition 2.7 preserves pseudo-effectivity, and that proposition transfers the resulting decomposition back to the original pair. A dominant meromorphic map to a space in class can be resolved on smooth compact Kähler models; taking Stein factorization gives connected fibers. These operations preserve the positive dimensions of the base and the fiber.
We first suppose . If , then is Moishezon and Kähler, hence projective, and Proposition 2.10 applies. Otherwise resolve the algebraic reduction as a fibration to a smooth projective variety of dimension . Put for the modified log adjoint. Its restriction to a very general smooth fiber is pseudo-effective. Indeed, one may choose a sequence of positive currents in , with analytic singularities and , and restrict all of them outside a countable union of proper analytic subsets of the base. By , the restricted adjoint has nonnegative Kodaira dimension.
That dimension must be zero. If it were positive, generic coherent base change would give a divisible for which has a fiber system with a positive-dimensional image on very general fibers. A sufficiently large ample twist of the coherent sheaf is generated at the generic point of the projective . Evaluation would therefore give two sections of , for one ample , whose ratio is nonconstant on a general -fiber. This ratio is a meromorphic function on . Every meromorphic function on factors through its algebraic reduction, a contradiction. Proposition 5.1 now applies.
Suppose next that , and resolve the fibration in the hypothesis as . The base may be replaced by a smooth compact Kähler model, and , since its meromorphic functions pull back to . Write . The same restriction argument and show that
on very general smooth fibers. If this integer is , the relative Iitaka construction of [55] gives, after the same source modifications, a factorization
with connected fibers, , and on a very general -fiber. The cited lemma applies to rational SNC boundaries on compact manifolds in class ; its conclusion concerns the restricted log adjoint, and does not require finite generation. A Kähler model of has algebraic dimension zero because it is dominated by . Thus , and Proposition 5.1 applies again.
It remains to exclude the possibility that is big. The stable-family comparison below requires a horizontal boundary with coefficients strictly less than one, so we first lower the boundary while keeping the restricted adjoint big. Let be the sum of the components of dominating . There is a rational such that is big for very general . To justify the uniform choice, exclude at once the generic base-change and image-dimension exceptional sets for all rational and all divisible degrees. On a fiber outside this countable union, openness of the big cone gives one such , and a single degree has full-dimensional image. Generic base change makes the same choice work very generally. The boundary is horizontal, rational SNC, and has all coefficients strictly less than one. The stable-family comparison [55] therefore supplies a proper generically finite cover , a surjection to a smooth projective variety, and a projective stable family with positive-dimensional general fiber, such that the main transform of is bimeromorphic to .
The main transform still has algebraic dimension zero. Normalize it and factor its proper generically finite map to through the normal Stein space. A meromorphic function descends through the birational part. Lemma 2.8 gives its characteristic polynomial over the finite part, with meromorphic coefficients on . Those coefficients are constant because , so irreducibility makes the function constant. Normalization and modifications preserve meromorphic functions. It follows also that , so the surjection from to the projective forces to be a point. But then the main transform is bimeromorphic to the product of with a positive-dimensional projective variety. Rational functions on that factor contradict algebraic dimension zero. This excludes the big case and completes the reduction.
The adjoint line on the base
We prepare the rank-one fibration and record exactly what the relative generating form supplies. The construction of the Hodge line and its positivity are those of [55]. The relative injection and the last assertion below are consequences of the local order calculation in that proof; they will be needed after the base is changed.
Lemma 5.2 (Prepared comparison). Let be a fibration with connected fibers from a smooth compact Kähler manifold to a smooth compact manifold in class . Assume is a rational SNC boundary and on very general smooth fibers. After modifications there is a diagram
with smooth compact Kähler, a fibration with connected fibers, and SNC. Every prime of whose -image has codimension at least two is -exceptional. There are a rational SNC boundary on , a surjection with connected fibers to a smooth projective variety, and a nef rational line on . Put
If , then is big for some rational ; if is a point, . There is a rational divisor on giving an actual rational line identity
These data satisfy the following properties.
(i) The horizontal part is effective. On a very general smooth fiber it is the zero divisor of a relative generating section of a divisible multiple of , divided by that multiple.
(ii) For each prime , let run over the primes of dominating , and put . Then
There is no assertion here about the sign at a prime whose image has codimension at least two.
(iii) For all degrees divisible by one positive integer, multiplication by the relative generating form identifies
and preserves ratios of sections. In the same degrees, for every proper holomorphic , there is a natural injection
(iv) Let be a further smooth modification included in another diagram with the preceding properties over the same reference , using the same source-boundary convention. Let be the base line produced by that diagram. Then, as actual rational lines,
Proof. The flattening construction of [55] gives the stated reference property, and preserves it after any finite sequence of further base modifications. Its source boundary is the one in [55]. We may resolve the discriminant and the horizontal divisor of the relative generator so that all relevant strata are smooth over the dense smooth log locus. Proposition 2.7 of [55] then gives and a rational parabolic Hodge line . A positive multiple of that line is the highest rank-one Hodge step of a complex summand of a pure real-polarizable variation with an integral lattice. Theorem 3.1 of [55] gives the factorization and the stated positivity, after a further modification and a positive rational rescaling. These are identities in , not merely identities of classes.
Here is the order computation that gives Equations (28)–(29). Choose a degree for which has generic rank one and all boundary denominators are cleared. Its reflexive hull is a line on the smooth . Let be a meromorphic relative generating form in a local frame of this line. At the generic point of a prime , choose a nonvanishing ordinary base volume , and set
The relative-times-base identification in this formula is taken in the -th canonical tensor power. The source is resolved over the generic point of , so all the primes needed for the divisorial test occur in this minimum. In the notation of the proof of [55], Proposition 2.7, the parabolic order is
Thus the corresponding local frame of has order . Comparing its pullback with the log adjoint form defines , with
Changing the generating form multiplies it by a meromorphic base function. This changes both and by its normalized base order and leaves the comparison invariant. The local comparisons therefore give the rational divisor and the line identity globally. Equation (5.5) proves Equation (5.2). Horizontally the comparison is precisely the zero divisor of the fiberwise log section, so it is effective and has the asserted restriction.
The same order computation proves the relative injection. In a divisible degree , a meromorphic base coefficient gives a regular base section at exactly when
Its corresponding upstairs orders at the primes are
Their simultaneous nonnegativity is equivalent to the preceding inequality. Conversely, an upstairs section restricts to a multiple of the generator on general connected fibers, so its ratio with the generator descends meromorphically to . The order inequalities make it regular outside codimension two on , and normality extends it. Consequently
Applying the left exact functor proves Equation (29). The reverse global comparison follows from the reference property: its only initially untested poles are on -contracted primes, all exceptional over ; pushing to , extending in codimension two, and pulling back with the reduced-exceptional boundary removes them. This is the global comparison in [55], Proposition 2.7.
Finally consider . The parabolic rational line pulls back under SNC modifications, as in the construction preceding [55], Theorem 3.1. The coefficient at an old strict transform is unchanged. Indeed the sheaf of regular relative adjoint forms inside the common meromorphic generator line is unchanged over the generic point of by the log modification formula. Equivalently, the old inequalities above already test all vertical primes there; in SNC coordinates logarithmic pullback preserves those inequalities, so new source exceptional primes impose no stronger one. This keeps unchanged in compatible frames, while parabolic pullback keeps unchanged. Over a new -exceptional prime every source prime is exceptional over : a pre-existing one had image of codimension at least two on , and a new one is exceptional by construction. All therefore have boundary coefficient one. The formula for then gives coefficient one on that new base prime. Thus
The usual log discrepancy formula for the SNC pair now gives , with effective and exceptional. Adding the pulled-back parabolic line proves Equation (30).
Lemma 5.3 (Pseudo-effectivity of the base line)
In the setting of Lemma 5.2, suppose , , is pseudo-effective, and holds for . Then
Proof. On a very general smooth fiber , use the model supplied by to write . Lemma 2.5 identifies the divisible section spaces with those of , so ; a semiample line of Kodaira dimension zero is torsion. Proposition 2.9, applied to the modification with zero added divisor, gives on , with rational. Lemma 2.5 then identifies the normalized zero divisor of the prepared relative generator with . Thus
We compare these fiber multiplicities with those on . For each of the finitely many components of , choose a countable sequence of small-Kähler-perturbation currents with analytic singularities whose generic orders at approach . Choose a common very general for these sequences and these components. The currents restrict positively after the same perturbations, and analytic singularities ensure that their orders along the components of are their generic orders along . Each restricted order is at least the corresponding perturbed minimal multiplicity on . Passing to the limit gives . This proves
Choose a positive curvature current for the rational line . Every such current contains its divisorial negative part, hence subtracting leaves a positive current. On the inverse image of a dense smooth open , with all vertical data removed, Equation (28) identifies the resulting singular metric with one on . In a frame pulled back from its weight is plurisubharmonic. It is constant on each compact connected smooth fiber, by the maximum principle (with the value allowed). Local holomorphic sections of the submersion show that these values form a plurisubharmonic weight on .
This weight extends across the missing divisors. At the generic point of any such divisor , choose for which , using Equation (5.2). At a general point of away from the other comparison divisors, the comparison after subtracting the horizontal part has neither a zero nor a pole. We can choose local coordinates, with the remaining vertical coordinates denoted by , in which
Indeed has maximal tangential rank generically and a local equation of is a unit times ; the unit has a local -th root. A smaller such chart covers a neighborhood of the base point. The upstairs plurisubharmonic weight is locally bounded above there, and the comparison unit is bounded. Hence the descended weight is locally bounded above near the generic point of . The removable singularity theorem for plurisubharmonic functions extends it across away from codimension two, and the Hartogs extension for plurisubharmonic functions extends it across the remaining analytic subset. The extensions respect the line transitions because they agree on the dense open. They give a positive singular metric on , which proves pseudo-effectivity.
Lemma 5.4 (A base of algebraic dimension zero). Under the assumptions of Lemma 5.3, if , then, on ,
Proof. The projective quotient in Lemma 5.2 is a point: otherwise its rational functions pull back nontrivially to . Thus and . By Lemma 5.3 and , its pullback to a smooth higher model is a semiample rational line plus its negative divisor. Every semiample line on a space of algebraic dimension zero is torsion, since its generated system has zero-dimensional image. Proposition 2.9, applied to this modification with zero added divisor, therefore gives Equation (31), including rationality of the divisor.
Projective programs under the assumption
The argument for a projective base uses a terminating program to reach a nef adjoint and, after decreasing the nef data, a program ending in a Mori fiber space. The conditional input is termination in the pseudo-effective case. We first state the exact program result and then derive that case from the projective good models in Proposition 2.10.
Proposition 5.5 (A conditional generalized program). Assume Assumption 1.1. Let be a projective generalized dlt rational pair, where is -factorial, , and the nef -divisor is determined by a nef rational Cartier divisor on a projective birational model. Put . There is a choice of -MMP with ample scaling which terminates. If is pseudo-effective, its endpoint has nef adjoint . If is not pseudo-effective, its endpoint has a Mori fiber contraction to a projective variety of smaller dimension. The birational steps and their endpoints stay -factorial generalized dlt, and the forward birational map extracts no divisors. In the pseudo-effective case, on a common resolution one has an actual rational divisor identity
For the pseudo-effective alternative, we first derive the relative weak Zariski decompositions used by the minimal-model existence theorem.
For a projective morphism, first replace its image by its normal Stein factor. We use the relative convention of [61]: a divisor is pseudo-effective over the base when its restriction to a very general fiber of this surjective morphism is pseudo-effective. An NQC weak Zariski decomposition of over the base is a birational equality , where is a nonnegative real combination of relatively nef rational Cartier divisors and . The decomposition below has rational Cartier parts.
Lemma 5.6 (Relative canonical decomposition). Assume Assumption 1.1. Let be a smooth quasi-projective complex variety and let be projective, with normal and quasi-projective.
If is pseudo-effective over , then on a normal variety with a projective birational morphism there are rational Cartier divisors such that
Proof. We use the construction in the proof of [54], Proposition 3.3. Its absolute input is a nef-plus-effective rational decomposition for the canonical divisor of a smooth projective variety with pseudo-effective canonical class. This is supplied here by Proposition 2.10 and its common-resolution comparison.
Replace the image of by its normal Stein factor. This does not change relative numerical classes or contracted curves, and now is surjective with connected fibers. Its very general fiber is smooth projective with pseudo-effective canonical divisor, hence is non-uniruled by [8], Theorem 0.2 and Corollary 0.3. Compactify the projective morphism and resolve away from . We obtain , with smooth projective and normal projective, unchanged over . If , is already projective and the absolute input proves the lemma.
Suppose , and let be a smooth projective resolution. Choose a sufficiently positive very ample divisor on and a general . The pulled-back systems on both and are base point free. Bertini makes and smooth nonempty reduced divisors. Their double covers
are smooth integral projective varieties. The canonical formulas are
The first line is big when is sufficiently positive. The rational map has the same very general fibers as . A covering family of rational curves on would either dominate a covering family of rational curves on , or cover its very general fibers by vertical rational curves. Both are impossible. Thus is non-uniruled and is pseudo-effective by BDPP.
Apply the absolute decomposition to . Moving the rational principal difference in the canonical formula into the nef part gives an actual rational divisor decomposition for a pullback of . Take a common equivariant resolution of that model and its conjugate under the covering involution. On this smooth projective resolution , average the two decompositions. We obtain
where and are invariant rational Cartier divisors.
Let be the finite quotient by the involution. The invariant composite induces a projective birational morphism , with normal and projective. An invariant rational divisor descends by dividing its coefficient at an upstairs prime by the ramification index. The descended divisor is rational Cartier when the original divisor is: after clearing denominators, choose one Cartier equation on a semilocal neighbourhood of the finite orbit above a point (a Cartier divisor is principal on a semilocal ring), and multiply all its translates. The product is invariant and has divisor equal to the group order times the original divisor. It descends to a local equation for a multiple of the downstairs divisor. This argument includes stabilizers and ramification primes.
Accordingly and for rational Cartier divisors on . Lifting curves through the finite map shows that is nef, and coefficientwise descent shows that is effective. Finite pullback is injective on rational divisors, so the displayed identity descends. Restrict it to . The term pulled back from is numerically trivial over , giving , as required. □
Proof of Proposition 5.5. Lemma 5.6 and [61], applied to the generalized pair with smooth, prove relative minimal-model existence for smooth varieties by dimension induction. The hypothesis of that theorem is relative smooth minimal-model existence one dimension lower; the lemma supplies its other hypothesis, an NQC weak Zariski decomposition. The induction begins in dimension zero. Then [61] supplies minimal models for every pseudo-effective NQC generalized lc pair in the relevant dimension. Their Theorem 2.7 gives existence in the Birkar–Shokurov sense.
The nef data in the statement are NQC, because a nef rational Cartier divisor is a positive multiple of a nef Cartier divisor. In the pseudo-effective case the preceding paragraph therefore gives the Birkar–Shokurov model required by [61]. In the other case, the non-pseudo-effective alternative of that theorem applies directly. To meet its scaling hypothesis, take an effective sufficiently positive ample rational divisor whose general components have sufficiently small coefficients. On a fixed log resolution carrying , these components are transverse to the boundary and preserve generalized log canonicity, while their ample class can be chosen large enough that is nef. The theorem supplies a terminating MMP starting on .
We verify the step types inductively. Suppose is -factorial generalized dlt. By [61], each birational step has the form
where contracts a negative extremal ray and is small and projective. Suppose is divisorial, and write for its ray. An exceptional prime has : otherwise it would be effective, exceptional, and -nef, contrary to negativity. There is only one exceptional prime. Indeed, a combination of two distinct exceptional primes can be chosen to have degree zero on ; negativity applied to both signs of that combination would make it zero.
We show directly that is -factorial. For a prime divisor on , let be its strict transform, choose a curve spanning , and put
Choose a positive integer for which is Cartier. Its line has degree zero on , so [63] gives an actual Cartier line on and an isomorphism
On an open set trivializing , the Cartier divisor is principal upstairs. Pushing this principal divisor identity down through the birational gives a principal divisor on that open set. Thus is rational Cartier. It follows that is an isomorphism: the pushforward of an -ample Cartier divisor is rational Cartier on , and its pullback is the original divisor because is small. It has degree zero on every contracted curve, so relative ampleness rules out positive-dimensional fibers; a finite birational map to the normal is an isomorphism. If is small, the relatively ample canonical model is the flip of [38]. Thus the chosen birational steps are divisorial contractions and flips. The underlying variety of a generalized dlt pair is klt, and these steps preserve the -factorial generalized dlt category [38] and Lemma 3.7]. They introduce no prime divisors on the new models. For completeness, on a common resolution of one step carrying , taking the difference of the two generalized discrepancy formulas cancels their common nef divisor. The resulting difference of the adjoint pullbacks is exceptional over the new model and anti-nef over it. The negativity lemma makes this difference effective. Composing these actual rational divisor comparisons gives with effective and exceptional over the endpoint. The endpoints in the two cases are the nef and Mori fiber endpoints supplied by the terminating program theorem. □
Reducing a projective base
The nef line supplied by the Hodge construction need not be semiample. A first projective program replaces by a nef transform. Positive Iitaka dimension gives either a smaller base or a big line. In nonpositive Iitaka dimension, rationally trivial nef data give a trivial line. In the remaining case, decreasing leads to a second program that lowers the base dimension while preserving the first nef line.
Lemma 5.7 (Projective base reduction). Assume Assumption 1.1 and the setting of Lemma 5.3, with projective of dimension . Then one of the following holds.
(i) After a smooth source modification with the reduced-exceptional boundary, there is a fibration to a smooth projective variety with and logarithmic Kodaira dimension zero on very general smooth fibers.
(ii) There are a normal -factorial projective variety , a birational contraction extracting no divisors, and a nef rational line on , either big or rationally trivial, such that on a common smooth resolution , ,
Here all the line comparisons are actual rational line identities.
Proof. The smooth pair with boundary and nef data determined by on is a rational -factorial generalized dlt pair. Its adjoint is pseudo-effective by Lemma 5.3. Proposition 5.5 gives a chosen terminating program with scaling to a -factorial generalized dlt model with nef transformed adjoint
Here is the trace of the nef b-divisor whose nef representative is on . On a common smooth resolution , , the actual comparison is
The program extracts no divisors. We use this particular model also when the nef data are rationally trivial.
If , Equation (33) preserves the divisible section spaces. For the nef is big, and the second alternative holds with and . If , the exact global comparison in Lemma 5.2 gives . Take the Iitaka fibration of on the source. Its projective image, followed by Stein factorization and a projective resolution, has dimension . The log adjoint on very general fibers has Kodaira dimension zero by the relative Iitaka construction [55 Lemma 2.6], including its persistence under the reduced-exceptional source convention. This is the first alternative. Suppose and . We may choose zero nef data in this rational equivalence class. The same generalized dlt model is then an ordinary dlt model and . Its adjoint is nef, so Proposition 2.10 makes semiample as an actual rational line. Since , a generated multiple has constant image and is trivial. Thus the second alternative holds with and .
It remains to suppose
Here . For a rational , put . We claim
Suppose otherwise for one , and choose an ample rational line on . We will find for which has an effective representative, forcing . Choose a rational and a small rational such that is big. This is possible because is nef and is big. Choose
rational.
The rational line is ample. A sufficiently high general member divided by its degree pulls back to a rational boundary transverse to with subunit coefficient. Applying the nonvanishing part of Proposition 2.10 to this ordinary projective log pair gives
A nonzero section defining restricts nontrivially to very general -fibers in a fixed divisible degree. The hypotheses of the weak-effectivity statement [55] Lemma 3.3 are now satisfied: the source is smooth in class , is rational SNC, the base is smooth projective, and a relative log system is nonzero. Applied to the big line , it gives
For
the rational interpolation is
Multiplying pullbacks of sections of by a section of the effective left-hand side yields . This contradicts Equation (34) and proves Equation (35).
We next run a program to fiber type while descending the actual nef line through every contraction. Choose the common resolution in Equation (33) to determine the nef data. The negativity lemma gives
Indeed its negative is -nef and exceptional. For every rational , Equation (33) gives
If were pseudo-effective, this equality and effectivity of the last two terms would make , and hence , pseudo-effective, contrary to Equation (35).
Fix rational , choose an integer with Cartier, and choose an integer . This coefficient will force every ray of the second program to have zero degree for the descended nef line. Decreasing the nef data to preserves generalized dlt singularities: on the displayed resolution the crepant boundary changes by , so discrepancies do not decrease. Add , determined as nef data on . It changes no discrepancies, and the resulting adjoint is
It is not pseudo-effective by the preceding paragraph. The non-pseudo-effective case of Proposition 5.5 therefore gives a chosen terminating program to a Mori fiber contraction in the -factorial generalized dlt category.
At any stage of this second program, let be the descended rational line, assuming inductively that it is nef and is Cartier, and write
An extremal ray negative for is negative for . The pair with adjoint is still generalized dlt: the added nef b-divisor descends to the current model, so removing it changes no discrepancy. The generalized length bound [38] gives a curve on that ray with . If , Cartier integrality would give
a contradiction. Thus . The exact contraction statement [63] descends the Cartier line along this contraction as an actual Cartier line. In a flip we pull that same line to the flipped side. The descended line is nef: every curve on the contraction base has a curve above it mapping with positive degree, so its degree is nonnegative; pullback preserves nefness. Consequently and nefness persist, and the argument applies inductively to all steps and to the final contraction. Each step is crepant for .
Let be the last birational model of this second program and let be the descended line on it. Crepancy for the , together with the absence of extraction, turns Equation (33) into Equation (32) on a common resolution, with an effective divisor exceptional over . The final contraction has connected fibers and, by the same exact descent,
for a rational line on the normal projective . If is a point, the second alternative holds with .
Assume . To obtain the first alternative, it remains to show that the log adjoint on the new very general fibers has Kodaira dimension zero. Resolve the base program by and , and prepare the source over , calling it . The diagram we use is
with composite . Equation (30) and Equation (32) give
To see the exceptionality, the error in (32) is already exceptional over , and every -exceptional prime is exceptional over as well: otherwise would extract a divisor over . For every degree divisible by one fixed integer, (29), exceptional descent, and projection formula now yield
Here by normality and . Generic coherent base change, simultaneously for the countably many divisible degrees, bounds the dimension of every such system on a very general -fiber by one. The log adjoint on that fiber is pseudo-effective by restriction of a countable sequence of perturbed currents with analytic singularities. Its dimension is less than , so the lower-dimensional supplies a nonzero section in some divisible degree. Taking a common multiple shows that the fiber log Kodaira dimension is zero. All maps in the composite have connected fibers; resolving and the source keeps this property and gives a smooth projective base of dimension . This is the first alternative.
The negative divisor upstairs
The next lemma lifts either base decomposition and determines the whole negative divisor on the source, including primes over subsets of codimension at least two in the base that the local comparison did not test.
Lemma 5.8 (Lifting the decomposition). Assume the setting of Lemma 5.3. Suppose one of the following additional conditions holds:
(i) and , with ;
(ii) there is a birational morphism to a normal -factorial projective variety and an identity
where is a nef rational line, either big or rationally trivial.
Then there is an effective rational divisor on and an actual rational line identity
where in the first case and in the rationally trivial part of the second case, and in the big part of the second case.
Proof. Use the chosen base identity in (28). In a rationally trivial case fix a rational trivialization of the positive line and put ; in the big case put . Define the rational divisor
The composed actual line identities give . The divisor may at first have signed coefficients. We first prove .
In a rationally trivial case a divisible multiple of the base line has a section whose normalized zero divisor is exactly . Its section under the exact global comparison has normalized zero divisor . Regularity of this section proves , also on the initially untested primes. In the big case choose a Kodaira decomposition
For rational ,
Fix a prime . A sufficiently divisible section of the ample summand can be chosen not to vanish at the generic point of ; its pullback has zero order at . Multiplication by the section of and then the global comparison gives a regular upstairs section. Its normalized order is
Letting proves . This applies to every prime in .
Nefness of now implies . Set , an effective real divisor. By Equation (5.6), is vertical. Moreover
is modified nef. We prove .
Let denote in the first case and in the second. Thus , and has connected fibers. If , let
Choose a Kähler class on (an ample class when is projective) and a Kähler form on . On define
In this pairing a divisor or rational line denotes its cohomology class. The exponent is nonnegative since . The restriction of a modified-nef class to a resolution of every prime is pseudo-effective. Applying this to and pairing on each component of gives . The -term vanishes by dimension, since it is a pullback from and . Summing with the coefficients of gives
We now separate images of codimension at least two, where the mixed Hodge index theorem gives strict negativity, from divisorial images, where only a multiple of the whole fiber can have square zero.
If , the mixed Hodge index theorem contradicts this inequality. In this form has positive square because , while by image dimension. The form is a limit of the mixed Hodge index forms obtained by replacing with ; it therefore has at most one positive direction. In the orthogonal complement of a positive-square vector it is negative semidefinite, with equality only in the radical of the whole form. But , since at least one component of has image dimension . Thus is not in the radical, and its square is strictly negative, contrary to Equation (38).
It remains to treat . Terms from primes whose image has smaller dimension vanish in this form, as do cross terms from different divisorial images. Fix a prime divisor and take all the primes dominating it. Write and . The divisor is rational Cartier, also when . Consequently
The first assertion is positivity of the proper intersection of distinct effective primes. The second pairs with the pulled-back divisor ; the additional base factor makes the intersection vanish by dimension. Components of mapping into a proper subset of make no contribution. The graph with edges is connected. Indeed over a very general point of the fiber is connected, all its points lie in the components , and an intersection contributes a positive entry precisely when it dominates .
For any real vector , the two displayed properties give the exact identity
Thus the block is negative semidefinite with kernel spanned by . Equation (38) forces every nonzero block of to equal a positive scalar multiple of . In particular then contains every prime over that divisorial image .
In the second case this is impossible. The morphism is an isomorphism over the generic point of , and is exceptional. Equation (5.2) therefore supplies a component over whose -coefficient is zero. Its -coefficient is zero as well, contradicting the preceding conclusion.
In the first case, the same zero minimum shows that each divisorial image of a nonzero block of is a component of . Here itself is modified nef. The class
is also modified nef on the smooth . To see this directly, choose small-perturbation positive currents for with zero generic divisorial Lelong numbers, wedge them with , and push forward. Such a current has no trace mass on a divisor, so its push has no mass on a base divisor: the inverse image is a union of divisors and subsets of higher codimension, all of zero trace mass. The pushed currents therefore have zero generic divisorial Lelong numbers. Their classes tend to the displayed class; a fixed smooth representative for the vanishing error converts this into the defining small-Kähler-perturbation condition for modified nefness. On the other hand, pushing the actual divisor in this formula kills the components with smaller image and gives a nonzero positive linear combination of the components of . Boucksom’s exceptionality of the components of a divisorial negative part says that no such combination is modified nef [7], Definition 3.10 and Theorem 3.12. This final contradiction proves , and hence Equation (37). □
Generation from a big nef line
The remaining nef part is pulled back from a big nef line on a projective variety. We use generation along the log canonical boundary to prove that the adjoint itself is semiample.
Proposition 5.9 (Generation from a big nef base line). *Assume for . Let be a globally -factorial dlt compact Kähler pair of dimension satisfying the resolution condition of Definition 3.1, with effective rational boundary and analytically nef adjoint . Suppose there are a smooth compact Kähler manifold , a projective resolution , a proper surjection to a normal projective variety, and a big nef rational line on such that
as actual rational lines. Then is semiample.
Proof. Put . We first prove the following assertion for every pair and diagram satisfying the hypotheses of this proposition:
Here is the intersection of the base loci of all positive Cartier multiples of . Once this is proved, a log canonical threshold at any remaining stable base locus will create a new floor there and give a contradiction.
Take a higher log resolution if needed and put
The equality defining uses the canonical meromorphic identification. The divisor is an SNC subboundary. The integral divisor is effective, -exceptional, and has no component in common with : a nonexceptional coefficient of is a coefficient of the effective , while every coefficient of is at most one. The image of is contained in . By Theorem 4.1, a divisible multiple of is globally generated on the whole reduced floor.
Suppose first that a component dominates . Pulling the floor sections to shows that is semiample. Semiampleness descends under a proper surjection to a normal space in this situation. Factor through its normal Stein factor . Projection formula descends generation through the connected-fiber map. For the finite map , at each choose a section of the generated pullback line avoiding every point of the finite fiber; finitely many evaluation kernels cannot cover the section space. Lemma 2.8 gives a norm section of a fixed power of the line on , nonzero at . These sections generate a fixed multiple of . Equation (39) and normal birational descent then give semiampleness of .
We may therefore assume that is vertical over . Choose a sufficiently divisible integer for which is generated, and consider the integral line
Although the expression on the right uses rational divisors, its sum is the integral line on the left. The restriction sequence is
The direct image of the last sheaf is supported on the proper analytic subset , so it is torsion. Consequently, the two assertions
will give surjectivity on global sections: torsion-freeness makes the connecting map to zero, and the -vanishing then removes the obstruction to lifting a global section.
We prove Equation (42) using analytic injectivity. Equation (39) identifies with in ; this comparison need not be an isomorphism of the corresponding integral lines. Fix a very ample line on and its Fubini–Study metric. A Kodaira decomposition of the big nef , given arbitrarily small weight as in the proof of Lemma 5.8, writes as a positive rational multiple of plus an effective rational divisor whose fixed singular contribution is arbitrarily small and whose remaining contribution is a general divided ample member. Choose the small weight below the log canonical threshold of its pullback relative to the klt SNC boundary , and choose the ample member generally. Then the resulting boundary on is klt. Choose a positive integer clearing all its denominators and realizing both the chosen Kodaira decomposition and the preceding rational-line comparison as line isomorphisms, in particular
The divisor metrics and the Fubini–Study metric define a singular Hermitian metric on . Its -th root is a metric on the actual line , with multiplier ideal and curvature dominating a positive multiple of the pullback Fubini–Study form. The same statements hold after every nonnegative twist by .
The injectivity theorem [33] applies on the compact Kähler : multiplication by the pullback of any nonzero section of a positive power of is injective on
into the correspondingly higher twist. Its assumptions are exactly the semipositive smooth metric on the multiplying line, the preceding positive lower curvature bound, and the trivial multiplier ideal. This injectivity implies (42). For the second assertion, the Leray edge map injects into . Multiplication by a section of a sufficiently high -power sends this subspace to zero, since Serre vanishing kills for large . Injectivity upstairs forces the original subspace to be zero. For the first assertion, suppose has a nonzero torsion subsheaf. A section of a sufficiently high power of annihilates a nonzero such subsheaf. After a further sufficiently large twist it has a nonzero global section, and Serre vanishing and Leray identify that section with a nonzero class in . Multiplication annihilates this class, again contradicting injectivity. This proves both assertions.
The resulting surjectivity extends the floor sections as follows. Pull any section of to , multiply by the canonical section of , and extend by this surjectivity. The extended section descends to , since by exceptionality and normality. On the strict transforms of the components of , division by the canonical section of recovers the prescribed section. The descended restriction therefore equals it on the whole reduced , since equality holds generically on every component. Since is generated, this proves (40).
We finish by showing that this stable base locus is empty. The base loci of factorial Cartier multiples form a descending sequence of compact analytic subsets and hence stabilize. Sections exist because is big and (39) descends their pullbacks. Choose a divisible degree whose base locus is , and let be its base ideal. If , the ideal is a unit near , while is klt outside . Its log canonical threshold
is therefore a positive rational number, attained by a divisor whose center is contained in . This follows directly on a simultaneous log resolution of the pair and the ideal: the threshold is the minimum of the positive rational discrepancies divided by the positive integral ideal orders.
Choose an integer and general divisors . On the same resolution their fixed part is the divisor of ; their free transforms are jointly transverse to the SNC data. Hence
is log canonical: the fixed part is at its log canonical threshold and the free components have coefficients . There is a new lc place centered in , and the new adjoint satisfies the actual identity
Apply [36], Theorem 3.3 to this compact Kähler lc rational pair. It gives a projective strongly -factorial dlt modification . Since the pair is lc, all extracted divisors have log discrepancy zero in our convention, so the modification is crepant. The source is again compact Kähler. Choose its defining dlt log resolution, with exceptional crepant coefficients strictly below one and an isomorphism at the general point of every lc stratum; resolving the remaining data away from those points gives the resolution required by Definition 3.1. The floor on has a point over the center of this lc place, hence over . The new nef adjoint is . On a common resolution with , it satisfies (39) with the big nef line . The previously proved assertion (40) therefore makes its stable base locus disjoint from its floor. On the other hand, normality and projection formula identify all divisible sections under , and give
This locus contains the stated floor point, a contradiction. Thus ; factorial stabilization provides an actual globally generated multiple of .
Completion of the rank-one case
Proof of Proposition 5.1. By Proposition 2.7 we can begin on the resolved source in the statement. We use a secondary induction on the positive base dimension . Apply Lemma 5.2 and then Lemma 5.3 to obtain the prepared data and the pseudo-effective line .
If , Lemma 5.4 and the first case of Lemma 5.8 give , which is already the required decomposition with trivial positive part. If is projective, apply Lemma 5.7. Its first alternative has a strictly smaller positive base dimension, so the secondary induction and birational transfer finish the proof. In its second alternative, take a common smooth base resolution in (32) and prepare the source over it. Equation (30) adds an effective divisor exceptional over the old base. It is also exceptional over , because the base program extracted no divisors. Thus the second case of Lemma 5.8 applies.
We have obtained
with nef. A rationally trivial finishes the proof. In the remaining case , where is proper and is big and nef on the projective . Apply Proposition 3.8 to this nef-plus-negative presentation. It gives a globally strongly -factorial dlt compact Kähler model with nef adjoint . The ordinary dlt endpoint has the resolution property of Definition 3.1. On a common smooth resolution , its exact positive-line comparison is
Proposition 5.9 makes semiample. Hence is semiample. Lemma 2.4 identifies , so this is precisely on . Finally Proposition 2.7 transfers the decomposition back through all the prepared source modifications.
Meromorphic nonvanishing on simple spaces
The simple case of the induction needs a divisor representing a multiple of the canonical bundle; its coefficients need not be nonnegative. The following result supplies precisely this starting point.
Theorem 6.1. Let be a smooth connected compact Kähler manifold. Suppose that and that no positive-dimensional proper compact analytic subvariety passes through a very general point of . Then has a nonzero meromorphic section for some integer .
The proof compares two ways of measuring poles. After normalizing a big class on to have volume one, its pole order at a very general point is bounded. We construct a projective bundle over whose volume grows linearly with a parameter . Restriction to the exceptional divisor of the diagonal in the square of this bundle then produces a high-rank subsheaf of a symmetric cotangent power. A second diagonal forces substantial vanishing of its determinant; descending that determinant produces a point pole of order comparable to , contradicting the point bound. The argument uses only meromorphic sections of line bundles; it does not require nonconstant meromorphic functions on .
For the proof, suppose that the conclusion fails. Write
We may assume : a compact complex curve is projective, and the assertion for a point is immediate. Throughout this Section, an inequality between real -classes is in pseudo-effective order: means that is pseudo-effective. For a divisor , denotes . Pullbacks of classes will occasionally be suppressed when the map is evident.
Line subsheaves and point poles
We first record the consequence of simplicity that controls all the determinant lines used below.
Lemma 6.2. Under the contrary hypothesis above, , the group is countable, and . If is a holomorphic line bundle and is nonzero, where , then
There is a complement of a countable union of proper analytic subsets of with the following further property. For every point in this complement, let
Every nonzero line map satisfies
Proof. If the Albanese map of is nonconstant, simplicity makes its image -dimensional: a positive-dimensional general fiber of smaller dimension would be a forbidden subvariety. At a point where the Albanese map has rank , some invariant one-forms have nonzero wedge after pullback. This gives a nonzero holomorphic section of , contrary to our assumption. Thus . The exponential sequence embeds into the countable group .
The manifold is not uniruled, by simplicity. Ou’s non-pseudo-effectivity criterion for the canonical class therefore gives [56]. We recall how the slope and foliation results in the same paper give the more precise inequality in (43). Let be any class in the full dual of the pseudo-effective cone, and use the slope
for torsion-free sheaves. If , the first Harder–Narasimhan piece has strictly positive slope. It is saturated and semistable. The tensor slope inequality shows that the bracket is zero: the minimum slope of its source is at least , whereas the maximum slope of its target is smaller than . Consequently is a foliation. Its dual has strictly negative maximum slope and is not pseudo-effective by [56]. Ou’s foliation theorem [56] makes this foliation the tangent foliation of a meromorphic fibration with compact general leaf closures. Its rank is strictly between zero and : rank would give . The general leaf closure is therefore a positive-dimensional proper subvariety through a general point, again contradicting simplicity.
We have proved . In its Harder–Narasimhan filtration all quotient slopes are now nonnegative, so . The tensor slope inequality [56] gives
Separation by the dual cone proves (43). For this is also immediate from the effective zero divisor of a nonzero map .
It remains to choose uniformly. For any vector bundle , independent global sections are generically pointwise independent. Indeed, choose a maximal pointwise independent subfamily on a dense open set. Expressing any other section in that family by minors gives meromorphic function coefficients. They are constant because , so maximality among a linearly independent family forces all its members to be pointwise independent. Thus evaluation on is injective away from a proper analytic subset (unless that vector space is zero, in which case there is no restriction). Apply this to for every and . There are countably many such bundles.
For outside the resulting exceptional set, write any line bundle on uniquely as , . A line map from this bundle to , restricted away from , extends over to a section of by Hartogs’ theorem. If , this section vanishes at , since . The choice of rules this out. Thus , and (43) yields
If a target has a finite filtration whose graded pieces are direct sums of the indicated cotangent tensors, take the first nonzero associated graded component of the line map and then a nonzero direct-sum component. The preceding argument applies with the tensor order of that component.
We will use several standard facts about volumes of real -classes. Our normalization is for a nef class on an -fold. Volume is continuous, homogeneous, monotone in pseudo-effective order, invariant under modification, and its -th root is concave on the big cone. Analytic Fujita approximation computes it by Kähler parts on smooth projective modifications. Here a smooth projective modification means a projective modification whose source is smooth; the sources used here are compact Kähler manifolds obtained by resolving coherent analytic ideals. For a smooth irreducible divisor and a big class , write for the numerical restricted volume. It is zero when is contained in the non-Kähler locus [62]; otherwise it is the supremum of the masses on of restrictions of Kähler currents with analytic singularities that are not generically singular on [16]. The divisorial derivative and its continuity on the big cone are
see [62]. We apply this formula only on smooth manifolds while the varying class is big.
Here is a useful precise form of the approximation in the restricted volume formula. Resolve the log-ideal singularities of a current restricted to . Its pullback is an effective real divisor plus a positive residual current with locally bounded potentials. The latter dominates a positive multiple of the pulled-back Kähler form. A current with locally bounded potentials has zero Lelong numbers, so Demailly regularization makes its class, after subtracting that multiple, nef [21]. On a projective modification there is an effective exceptional divisor whose negative is relatively ample. Subtracting a sufficiently small multiple of this divisor from the residual class therefore makes that class Kähler; add the same multiple to the divisor part. Round all divisor coefficients slightly upwards to rational numbers. Openness of the Kähler cone preserves the Kähler property. These changes can be arbitrarily small in top intersections, which compute the original mass by the bounded-potential product formula. Thus we may approximate a restricted mass by
Moreover, has at least the log-ideal orders of the original restriction on every further resolution. We will use this last property to turn poles into vanishing conditions. Only is made rational; the class and the horizontal part of remain real.
Lemma 6.3 (A point pole bound). Let be a smooth compact Kähler manifold of dimension , a big real -class, and . Suppose a smooth projective modification , which is an isomorphism near , admits a decomposition
where misses the point over . If the ordinary analytic Seshadri constant is at least , then, on the blowup with exceptional divisor ,
Proof. Set . Blowing up , the class is Kähler. The Fujita decomposition is unchanged near , so it supplies a Kähler current for that is smooth near . Its restriction there has class . The restricted volume is consequently : the current gives this lower bound, and the volume of the restricted class gives the opposite bound.
Let denote the left side of Equation (47). The classes are big for , since is big and the pseudo-effective cone is convex. The concave function satisfies, by Equation (45),
Its tangent line at must remain positive up to . Therefore
which is (47).
Fix a Kähler class on . The class is not big: a big holomorphic line bundle would make Moishezon, contrary to . For define
Then is a big real class, , , and as . Choose a smooth Fujita model with Kähler part satisfying
At a very general point of this model there is no positive-dimensional proper subvariety: its image would be one through a very general point of , and avoids the exceptional locus. The ordinary Seshadri formula for a Kähler class,
therefore gives . This is the ordinary nef/Kähler formula [60]; see also [16] and the Kähler cone criterion of [22]. We use this ordinary formula in both applications below. Lemma 6.3, with , now yields a constant depending only on such that, for a very general ,
Here and below positive constants denoted , may be decreased or increased from one occurrence to the next. They are independent of all parameters and choices of currents and modifications.
A projective bundle with controlled volume
We now produce a class whose volume grows, while its point pole threshold grows much more slowly. On , let and denote the pullbacks of and from the -th factor. Use the quotient convention and put
Thus for . The zero divisor of has class ; it is the section on which restricts to . In particular .
Lemma 6.4. For and above, assume that has no nonzero meromorphic section for every integer . Through a very general point of , the only positive-dimensional proper compact irreducible analytic subvarieties are the two factor slices. Through a very general point of , the only positive-dimensional compact irreducible analytic subvarieties are a fiber of , the full inverse images of the two factor slices, and itself.
Proof. Let be irreducible through a pair whose coordinates are very general in . Each projection image is a point or all of , by properness and simplicity. If exactly one is a point, is the corresponding full slice. If both projections are surjective, test their fibers at a general point of whose coordinates are still very general. A positive-dimensional fiber must be the full other factor. Thus either , or and both projections are generically finite.
We show that subvarieties of the latter kind cannot sweep . The space of compact -cycles on a compact Kähler manifold has countably many irreducible components, each compact [47], Theorem 1.1. On a component containing integral cycles generically finite over both factors, integrality holds on a dense open set and the two projection degrees remain positive, as can also be tested by intersection with pulled-back Kähler forms. Suppose the incidence over one such component dominates . Resolve the parameter space and the dominating incidence component, obtaining maps
between smooth spaces. For general , the fiber is smooth, compact, and bimeromorphic to the integral cycle, hence irreducible. Its maps are generically finite. Choose also so that meets the dense open set where is invertible and has rank . The first assertion follows from generic finiteness of , and the second from the assumed dominance in .
Our immediate aim is to turn this dominance into a meromorphic frame of . Its determinant would meromorphically trivialize , and hence also . On , the equal-rank bundle map
has a meromorphic inverse, given by its adjugate and determinant. For fixed , apply this inverse to and then apply . The result is a meromorphic section of . At a general point where has rank , the resulting map is surjective: in local coordinates , it is the derivative of in the parameter directions with fixed. Choose fixed vectors whose values there are independent. Their wedge is a nonzero meromorphic section of on the irreducible ; its inverse trivializes meromorphically.
Factor the proper generically finite map as
by Stein factorization. Here is normal and irreducible, the first map is a modification, and is finite of degree . Meromorphic sections descend across a modification of a normal space, so the section descends to a nonzero meromorphic section of . Lemma 2.8 gives a nonzero meromorphic section of . This norm is defined in local finite analytic fraction algebras, so it remains available even though the global meromorphic function field of is just . It contradicts our assumption.
Consequently the incidence image of each such cycle component is a proper compact analytic subset of . There are only countably many components, so their union misses a very general pair. This proves the assertion for .
Now let be irreducible through a very general point. Its image is a point, a full factor slice, or . If its generic relative dimension is one, it is the full inverse image of that image. Otherwise it is a multisection of the restricted -bundle. Over a slice or over , a multisection is a divisor with line bundle , . Its homogeneous equation has coefficients in
where is the relevant slice or , and a fixed-factor line is understood as constant. A single nonzero monomial cuts out only the axis sections and vertical divisors. A multisection not on axis therefore has two nonzero coefficients. Their quotient is a meromorphic section of a nonzero power of . Over a slice this is, up to inversion and a constant line, a positive power of . Over , restriction to a general factor slice gives the same conclusion. This is impossible. The axes themselves miss a very general point of , proving the claim.
Let tend to infinity through positive integers. For each sufficiently large , choose in Equation (48) so that , and use the resulting normalized class . Define the real class and the scale
Lemma 6.5. For these choices, is big and
at a very general point , where has exceptional divisor .
Proof. Pull to the Fujita model from Equation (49), and put on this pulled-back bundle. There is a further smooth projective modification and a Fujita decomposition of the pullback of whose Kähler part is exactly
where is Kähler and has degree on a general vertical line. The modification and the divisor part miss that line.
Here is the construction. It suffices to decompose as plus an effective divisor, clean on a whole general vertical line. Since is relatively ample, a small positive class of the form is Kähler for some . Choose so small that and the remaining horizontal part of is Kähler. Represent the remaining first as and then as . Regularize the pseudo-effective classes with analytic singularities, paying their arbitrarily small negative errors from that horizontal Kähler part. This gives two Kähler currents in , each smooth off its own axis and a proper horizontal analytic set. The maximum of their potentials is locally bounded along an entire general vertical line, since the two axes are disjoint. Analytic regularization preserving a smaller Kähler lower bound [7] gives a Kähler current with analytic singularities missing that line. Resolve its singularities and make the small Kähler adjustment described before Lemma 6.3. The divisor still misses a general vertical line, so the residual class has degree exactly there. Adding the other half of and the pullbacks of the divisor parts gives Equation (52). Its two summands are nef, with Kähler, so every mixed intersection used in the following bounds is nonnegative.
At a very general point of , Lemma 6.4 lists the possible positive-dimensional subvarieties: the vertical line, the strict transforms of the two full bundles over slices, and . They have multiplicity one there. By Equation (52) and nonnegativity of mixed intersections of nef classes, their top intersections are respectively bounded below by
For example, the middle line is the term containing one factor and factors from the varying ; pushforward of along a general vertical line is . The last line is the term with one and horizontal factors. These intersections give . The ordinary Seshadri formula and give at a very general : each possible dimension is at most , and every numerator in that formula is at least .
For the upper bound, subtract the axis . For put
The endpoint is pulled back from and has zero volume on the -fold . It is pseudo-effective, and is big by the preceding construction, so is big for . The restriction of to is
The restricted volume along is at most the volume of this restriction. For big classes on manifolds of dimensions ,
One can see this directly from the non-pluripolar product formula [9]: the envelope with minimal singularities of a sum on a product is the sum of the two envelopes, by testing the defining inequality on successive slices. Its top product has only the indicated binomial term. Since and , monotonicity and Equation (54) bound the restriction volume by
Integrating Equation (45) from to gives . Finally apply Lemma 6.3 with , , and . Both terms on the right of Equation (47) are at most , since . This proves Equation (51). ∎
A direct-image estimate
The next lemma bounds a Kähler volume upstairs in terms of a class on the base. Its determinant formula will let Lemma 6.2 control that base class. The base need not be projective, and the horizontal class is allowed to be real.
Lemma 6.6. Let be a surjective projective morphism of smooth connected compact Kähler manifolds, with and , . Suppose
is a Kähler class, where and . Put
on a general fiber. For sufficiently large divisible integers , let and . Here is an actual line bundle and means . Then
The limit in Equation (56) is a limit of real Bott–Chern classes.
Proof. The restriction of to each fiber is represented by the restriction of the Kähler form . The fiberwise criterion for relative ampleness makes relatively ample after clearing denominators. Relative Serre vanishing then kills the higher direct images for all sufficiently large divisible . Analytic Grothendieck–Riemann–Roch [46], in degrees zero and two, gives
The degree-zero pushforward is . Expanding shows that
because terms with at least two horizontal factors have negative fiber degree after pushforward. This proves the equality in Equation (56); the cohomological GRR equality is an equality in Bott–Chern cohomology by the -lemma on compact Kähler manifolds. Pushforward of the positive form is a positive closed -current, so is pseudo-effective.
To prove Equation (57), we need a nef class on the base. The class is presently only known to be pseudo-effective. We flatten to obtain a nef class above the base and compare it with the pullback of . Take a smooth projective flattening modification , the equidimensional main transform of , and a resolution . Write and for the maps and . The class
is nef. It is enough to show that the positive pushforward current representing this class has zero Lelong numbers. This current can be computed by integration on the cycle of the smooth form pulled back from . At a base point, cover the compact fiber by finitely many coordinate neighborhoods, each embedded in a product of base coordinates and ambient coordinates. In the mass over a base ball of radius , after wedging with a base Euclidean form to power , the integrand is bounded by a finite sum of projection volume forms using base coordinates and generic linear combinations of all coordinates of the ambient product, including the remaining base direction. These projections can be chosen finite on the neighborhoods: fixing the base coordinates leaves local dimension at most , by equidimensionality, and generic ambient coordinates finish a finite projection. After shrinking to compact subneighborhoods their degrees are bounded. Change of variables therefore bounds each integral by times the measure of the remaining coordinate range. On each compact subneighborhood these ranges, taken over closed base balls, are nested compact sets whose intersection is the image of the central fiber. That image has measure zero in the coordinates, because the fiber has dimension . Continuity of finite measure from above shows that the range measures tend to zero. Thus the mass is
This also covers , when it asserts absence of an atom. The pushforward current has zero Lelong numbers at every point, and Demailly regularization [21] proves that its class is nef.
Pushforward under gives . For a modification between smooth compact Kähler manifolds, the kernel of pushforward on real Bott–Chern -classes is generated by the classes of its exceptional prime divisors. Since , it follows that is an exceptional real divisor class. It is -nef because is nef. Apply relative negativity to this exceptional real divisor. Locally over the base, the usual proof for a projective modification cuts by general hyperplanes to a surface and uses the negative definite intersection matrix of exceptional curves; it forces every coefficient of a relatively nef exceptional divisor to be nonpositive. Thus
In particular
Choose a Kähler class on and put . For , set
These are mixed intersections of nef classes. The first two satisfy
The mixed nef inequalities make the sequence log-concave. Every is positive: on the dense open where is a local biholomorphism and is a submersion, is positive definite and has rank , so the defining top form is strictly positive. The successive ratios are therefore at most . Thus
Letting and using (58) proves (57). □
We will also use the determinant formula without its volume bound.
Corollary 6.7. Let be a smooth compact Kähler manifold and a holomorphic vector bundle of rank at least two. Write and . Suppose that a real class on satisfies
for a line bundle and integer . For a real class on and a real number ,
Proof. Choose a real class on so that is Kähler; relative ampleness of permits such a choice. Take numbers with rational. Adding to the pseudo-effective class in (59) makes it big. A Fujita decomposition on a smooth projective modification , with the divisor coefficients rounded upwards as in (46), has the form
where , is Kähler, and is rational. For divisible ,
Its determinant of rank consequently maps into . The assumed line inequality gives
Lemma 6.6 makes pseudo-effective. Adding the preceding pseudo-effective difference shows that is pseudo-effective. Let . This proves the corollary. In this argument only and the coefficients of are rational; , , and remain real classes.
Restriction to the diagonal
We now use the volume of to obtain a high-rank subsheaf of a symmetric cotangent power on . Distinguish the two copies of by bracketed indices and blow up their diagonal:
Thus ; its points are normal lines in . The dimensions are and , and has relative dimension . Put , so that . For define
The class is big, so and is big for . Restricting a Kähler current with analytic singularities to the fiber of the first projection at a very general gives the class . The current can be restricted for a general such , and Lemma 6.5 therefore gives
Write for . The restriction class is
Lemma 6.8. There are constants such that, for every sufficiently large , one can choose a rational number
and a Kähler current in with analytic singularities, not generically singular on , with the following property. On a smooth projective modification , its restricted mass has a rational-divisor approximation
which retains all log-ideal orders of . If is the natural map and
on a general fiber, then
Proof. First let be any rational number in with , and use the approximation in Equation (46) for any current used to compute this restricted volume. In Lemma 6.6, the data for Equation (61) are
For large divisible , the associated sheaves satisfy
The inclusion follows by pushing through . For the last inequality restrict the decomposition to a general -fiber: monotonicity of volume bounds the Kähler volume there by .
We claim that the class of Equation (56) satisfies
Here is the determinant calculation, including its vertical sign. The equality and the Künneth decomposition give . Hence, for some lines on and integer ,
where . Taking the determinant of the inclusion in Equation (64) gives a nonzero line map into , . It is first defined where is locally free and extends over the codimension-two complement. Filter this tensor using
A nonzero associated graded component has relative factors and cotangent factors from the first and second factors of , respectively, where and . Its relative degree is . Pushing the component to forces
A nonzero homogeneous monomial in , with exponent in the first factor, gives, on the two general slices,
by Lemma 6.2. Each coefficient on the right is at most . Since , we obtain
Lemma 6.6 supplies a limit of the entire determinant class divided by . The projective-bundle decomposition of Bott–Chern cohomology gives separate limits and of the two displayed components. Since
testing on a general vertical line gives . Equation (66) gives and . Use , , , , and . They give
which proves Equation (65).
Volume monotonicity, Lemma 6.5, and Equation (57) now imply
For the second inequality, approximate the mass of each current arbitrarily closely by and use , then take the supremum over currents. This proves it for rational ; continuity of divisorial restricted volume extends it to every .
At the class is on the boundary of the pseudo-effective cone, so its volume is zero. The product formula in Equation (54), modification invariance, and the derivative formula in Equation (45) yield
Choose a fixed small . The contribution of , by Equation (67), is at most . Fix small enough that this is less than half the last lower bound. The remaining interval has length at most , by Equation (60). Continuity therefore permits a rational such that
Choose a current with restricted mass at least three quarters of , and then an approximation as in Equation (62) with . The first inequality of Equation (67) gives , as claimed.
For the selected , , , , and , retain the natural map and put
where is sufficiently large and divisible. Here is a rational line, and Equation (64) gives . With and these selected data fixed, Equations (55) and (63) give
The limit is through divisible integers. Thus the first diagonal has produced a subsheaf occupying a fixed positive proportion of the symmetric power for all sufficiently large divisible . The remaining proof carries this rank bound to a modification of and converts it into a large common order of vanishing for the determinant map on that model.
A pole along the incidence
We next locate a large pole of the selected current along a smooth incidence submanifold of . This will impose vanishing conditions on the symmetric-power subsheaf in Equation (64).
Let , where is the diagonal in . Since , there is a canonical identification
For write . Inside consider
It meets in . The strict transform is ; it is smooth, of dimension . Its first projection is a smooth family over . Over its fiber is
and its intersection with in that fiber is the projective space of lines in , inside the projective space of lines in . These assertions follow either from the blowup of the section in this family or from the coordinates used below.
Let have exceptional divisor . Denote by the generic divisorial pole of along . Equivalently, it is the generic log-ideal order of along , with the coefficient of the logarithm included.
Lemma 6.9. The pole just defined satisfies
Proof. Remove from . Its residual positive current can be restricted to : for analytic singularities removal of the generic divisorial pole leaves a potential that is not identically on that divisor. Choose general enough for all restrictions and for Lemmas (44) and (45). On the bundle
this restriction is a positive current in the class
where . Indeed , the first projection to is constant on , and . Also , explaining the positive sign of the last term. The conormal bundle in Equation (71) has exact sequences
The first constant term is the conormal of in the first copy of , evaluated at . For the last term in Equation (72), the conormal of the strict transform of in is : in a blowup chart, a normal coordinate is divided by an exceptional coordinate, giving precisely the twist by for conormals. Equation (73) is the conormal sequence for ; the diagonal in has conormal , and the -normal direction is constant on . Filter a -fold tensor of by these sequences. A graded term has the form
For any nonzero line map into that tensor, take a nonzero graded component. Lemma 6.2 gives
since both and are pseudo-effective. Apply Corollary 6.7 to (71), with . We obtain
If , the conclusion is immediate. Otherwise , and gives
Use the point bound in (50). Since , its consequence
is bounded by a dimensional constant. This proves (70).
Determinant vanishing and cancellation
Blow up in the base of :
This is the bundle pulled to , since . In particular is smooth. Put
Extend the incidence ideal from to , and then to :
The products denote extension of ideals under the indicated maps. Figure 1 locates and this extension of the incidence ideal to .

Figure 1. Two geometric constructions used in the determinant estimate. On the left, the strict transform meets in the directions tangent to . Under the quotient convention, the displayed projectivized cotangent spaces parametrize tangent lines. On the right, is the Cartesian base change over , whose exceptional divisor is . The restricted incidence ideal extends to on . The ensuing local calculation identifies the normal parameter of among its generators.
The next lemma turns the pole bound in (70) into a common vanishing order for the coefficients of each determinant map.
Lemma 6.10. On a smooth projective modification one can choose an approximation
retaining the log-ideal orders of , such that the general fiber volume of over satisfies . Let be the natural map and put
For every sufficiently large divisible , write
for the inclusion and its nonzero determinant map. Here , and the determinant map extends across the complement of the locally free locus, which has codimension at least two. Localize a coordinate local ring of at the height-one prime of , obtaining a discrete valuation ring with uniformizer . In local frames over , define
Equivalently, is the minimum order of the maximal minors of ; it is independent of the frames. If is the canonical section of , then factors as
where is holomorphic. The common order satisfies
provided is sufficiently large.
Proof. Blow up and take a common smooth projective resolution with from (62). Pull back and . Subtracting a sufficiently small rational multiple of an effective exceptional divisor whose negative is relatively ample makes the pulled-back Kähler class Kähler on this resolution; add that multiple to the effective part. Further upward rational rounding may be arbitrarily small. This gives (75) with all original orders retained. Its general fiber intersection is as close to as desired, so arrange . Lemma 6.6 and the effective divisor give
We spell out the local order imposed on the polynomials in this inclusion. Near , use coordinates on the first , where and each have components and . Write the second coordinates as , with each having components. Then
In a blowup chart meeting the lines tangent to , take
Here , while the strict transform is . In particular,
On a chart of the blowup of , write and for . Along the general point of , the ideal is exactly
Here measures vanishing along , while the measure transverse fiber directions. Thus a term of transverse degree can contribute at most to the incidence order; the remaining order must come from its coefficient in . We now make this statement precise.
Suppose locally that the singularities of are , with the logarithmic normalization for which a divisorial coefficient is times the ideal order. If , then . The normal Taylor coefficients of degree less than vanish on a dense open set of , hence on locally. Thus also near a general point of . Restricting to and pulling to gives the corresponding order in (79). At its general center the displayed generators are regular coordinates. If is the exceptional divisor of their blowup, its valuation is the ordinary ideal-adic order:
The common resolution dominates this blowup. Pullback preserves the effective difference between and the resolved log divisor, and the later adjustments only increase the effective part. Thus has coefficient at least at this valuation. Every polynomial image of a section of has integral valuation at least . Locally bounded remainders have zero order at this valuation.
There are homogeneous coordinates along and transverse homogeneous coordinates in . Denote these two groups by and . For , a local polynomial in has the form
Work over the discrete valuation ring used to define , choosing the chart parameter as uniformizer, and let be its residue field. The coefficients lie in . (79) implies, monomial by monomial,
Indeed, on the chart , group the dehomogenized polynomial as
Put . At the general center of , order at least forces to be divisible by whenever . Otherwise its first nonzero reduction would be a nonzero polynomial over , which stays nonzero in ; in the associated graded ring it would give a nonzero term of total -degree less than . The transverse monomials there are independent. Comparing the internal polynomial coefficients over the base residue field now gives Equation (80).
We compare the number of monomials with the rank estimate in Equation (77). The ambient rank and the number of monomials of transverse degree are
For fixed , let count the monomials with . Summing instead over their internal degree gives
On the other hand, and Equation (77) show that the approximation on retains at least half the rank fraction in Equation (69):
Fix , depending only on , so small that, for each fixed and its selected data, fewer than monomials have transverse degree greater than for all sufficiently large divisible . For each remaining monomial, Equation (80) and Lemma 6.9 give
The last inequality holds once is large, since .
Over the same discrete valuation ring , the torsion-free sheaf becomes a free module of rank . Write its inclusion into the symmetric power as a matrix with the monomials as rows. Every maximal minor uses at least of the rows whose coefficients have order at least . All maximal minors therefore have order at least . By the definition of , this proves Equation (76). Dividing the determinant map by gives a holomorphic map at every point of codimension one: the coefficients have the required order along , and its local equation is a unit away from . Hartogs’ theorem extends the divided map across the remaining set of codimension at least two, giving the stated factorization through . □
Completion of the proof of Theorem 6.1. Fix sufficiently large for the preceding lemmas, with its chosen , , and modifications. Choose a very general point in the first factor of . The slice of above is
and is the pullback of . We choose so that Equation (44), Equation (50), the restrictions of the currents below, and all determinant maps for divisible can be tested on this slice. These exclude at most countably many proper analytic sets and the measure-zero exceptional sets for current restrictions.
Write the restricted determinant line as
Factoring the common zero of order from the determinant map gives a nonzero map whose source on is
The plus sign of follows because division of the map by the local equation of enlarges its source from to . Its target embeds into the -fold tensor of the restriction of . In particular we use the cotangent bundle of the original , with its restricted filtration
The same homogeneous-monomial calculation as in (66), now applying (44) to the second factor of , gives
More explicitly, if the chosen graded term has relative factors, the pushed polynomial has degree . Its exponent in , together with the relative factors and the cotangent order from the second factor of , is at most . The cotangent factors from the first factor of are constant. This proves the displayed inequality using the tensors of , without introducing or .
Apply Lemma 6.6 to the decomposition in (75). (56) shows that the limits of the restricted determinant components divided by exist; denote them by and . Divide (81) by , use (76), and pass to the closed pseudo-effective cone. We obtain
The pseudo-effective class in (56), restricted to the very general slice , is
Testing on a general vertical line gives . Let be the axis of with divisor class . On , its normal class is . Add an arbitrarily small Kähler class to the class in (83), and choose a Kähler current with analytic singularities in the resulting big class. Remove its generic divisorial pole along and restrict the residual current to . Adding back the removed nonnegative multiple of preserves pseudo-effectivity. Passing to the limit gives
The slope bound in (82) supplies the pseudo-effective class . Adding it to (84) cancels the entire normalized determinant class restricted to the axis, , leaving
Since , the point bound in (50) implies
The denominator is bounded independently of , because and . The numerator tends to infinity, because . Equation (85) is impossible for arbitrarily large .
For each , the choice of , the rational , the current , and the modifications precedes the limit in . The monomial cutoff depends only on , while the required lower bound for divisible may depend on the fixed data. We choose the very general points after those data are fixed. Thus every simultaneous general-point test above involves at most countably many conditions, and no bound depends on the point. The contradiction disproves the contrary hypothesis and proves Theorem 6.1.
Signed rigidity on simple spaces
The meromorphic section furnished by Theorem 6.1 need not have an effective divisor. We therefore need a boundary argument that retains both its zeroes and its poles. The result below supplies that argument.
Theorem 7.1 (Signed rigidity). Let be a dlt pair on a normal irreducible compact Kähler space, and suppose that the pair has the resolution property of Definition 3.1. Suppose also that is globally -factorial, that , that is simple, and that is reduced. Put , and assume the following.
(i) The rational line is analytically nef and has an actual rational linear equivalence
(ii) For some real , the pullback of the class to a projective resolution with smooth compact Kähler source is pseudo-effective.
(iii) The rational holomorphic line is semiample on the whole reduced analytic space : some Cartier multiple is generated at every point of .
Then is torsion. More precisely, for some positive integer , the holomorphic line is isomorphic to .
To apply this theorem in the proof of Proposition 2.12, Theorem 6.1 supplies a signed representative of the canonical bundle. After resolving, we enlarge the support of the transformed boundary and this signed canonical divisor to a reduced SNC divisor; the resulting adjoint remains pseudo-effective. Corollary 3.14 gives an ordinary dlt nef model whose adjoint has a signed representative supported on , supplying the first hypothesis. Theorem 4.1 supplies semiampleness on the whole reduced . On a common smooth resolution, simplicity excludes uniruledness, so Ou’s criterion [56] and exceptional translation for the canonical comparison give pseudo-effectivity of the pullback of . Thus the second hypothesis holds with . Once signed rigidity makes the actual line torsion, the program comparison and Lemma 2.6 let us subtract the added boundary and give the required decomposition for the original adjoint. The final subsection verifies these steps.
The signed construction in [53], Proposition 3.3 is the source of the root and separation operations used below. The lifting method is that of [51], Sections 10–12. We will establish the analytic form of the signed construction and the change to the lifting argument caused by its residual poles. The numerical argument first singles out positive-dimensional fibers in the positive boundary. We then lift those fibers through every finite boundary neighborhood and deform them to compact subspaces outside the boundary. An argument using the cycle space and Baire’s theorem turns these deformations into a covering family, which simplicity excludes.
The boundary detected by the nef class
If , the signed equivalence already gives . We may therefore assume in the constructions below that ; in particular .
Fix the data of Theorem 7.1, and write
where and are effective with disjoint prime supports. Choose a positive integer so that , , , and are Cartier, the given rational equivalence induces a fixed isomorphism
and is generated. Its sections give a morphism and an actual line isomorphism
Let . Choose a projective resolution as in the second hypothesis of the theorem, and a Kähler class on . The numerical dimension of the nef pullback is
The next argument is the Kähler form of [53], Lemma 3.2.
Lemma 7.2. If , then and . If , then . If and , then
and
For , the intersection in (87) is empty.
Proof. Choose a Kähler class on . We use Cartier intersection products downstairs, computed on a resolution by projection formula. These products detect . Indeed, on the chosen resolution the class is nef and big. Choose such that is nef and is pseudo-effective. Pairing these two inequalities successively with products of the nef classes , , and shows that
We may therefore use in all the tests defining .
Suppose first that . The pseudo-effective pullback in the theorem can be paired with nef products, so
Each summand on the right is nonnegative. For example, pull the generated line in Equation (86) and to a resolution of ; their representatives are semipositive and positive at general smooth points, respectively. Thus every summand is zero. When , a nonzero effective divisor has strictly positive -degree. Hence , and the signed equivalence gives .
Now let . For any irreducible effective cycle in , the mixed degree is positive exactly when . To see this, resolve and use a Fubini–Study representative for . Its generic rank is , and its wedge with the remaining Kähler factors is positive on a nonempty open set exactly in the asserted range. The vanishing in Equation (88) therefore gives . On the other hand,
All the component tests here are nonnegative, so a component with attains dimension . It remains to separate its intersections from a general fiber. On consider the form
The mixed Kähler Hodge index theorem, followed by approximation of the nef factors by Kähler classes, says that has at most one positive direction; see [24], Theorems A and C. Put . The definition of and Equation (88) give
Linear algebra now makes negative semidefinite on : a positive vector in , together with a suitable vector in the span of , would give two positive directions. In particular is negative semidefinite.
For , one has . This assertion uses the effective intersection cycle of the distinct -Cartier divisors on , and projection formula. It does not require their total transforms to intersect effectively. The two Cartier equations have a proper intersection: the dlt ambient space is klt, hence Cohen–Macaulay, after dropping the reduced boundary, and the distinct divisor equations form a regular sequence. The intersection cycle is consequently pure of codimension two, and each of its mixed nef degrees is nonnegative.
Write the coefficient vector as , with nonnegative vectors of disjoint supports. The signed equivalence and orthogonality to give . Thus
Negative semidefiniteness forces equality and . For every with , its row is a sum of nonnegative off-diagonal terms:
Each term is zero. Applying the generated-line degree test to the effective intersection cycles proves Equation (87). If , any nonempty intersection would have positive -degree, so these intersections are empty.
Finally, if , the nef volume criterion makes the rational line on big [22], Theorem 0.5. A big holomorphic line on a compact Kähler manifold has maximal Iitaka dimension. Hence , and birational invariance gives .
Thus, when , a positive component attaining image dimension has general fibers of dimension . Equation (87) makes those fibers disjoint from . The next construction prepares their normal directions and adjunction for infinitesimal lifting.
Local roots and residue with residual poles
We work for the rest of the signed argument in the range , with . Choose divisible by and by every nonzero integer , and put , a positive integer.
Lemma 7.3 (Analytic signed charts). For each , after shrinking an open neighborhood , choose a line together with an isomorphism . A comparison of two such roots on an overlap is power-compatible if its -th power commutes with these isomorphisms. If , one may take disjoint from this closed image and set ; the assertions below are then vacuous for the unique maps from the empty spaces. If , there are a Hausdorff normal analytic space of pure dimension , considered near a reduced Cartier divisor of pure dimension , a reduced Weil divisor with no component in common with , and maps
with the following properties.
(i) The map is proper, and is finite over , with . Its image covers the positive components over , and
The image of lies in . Near , the underlying sets satisfy
(ii) The pair is log canonical, and there is a fixed actual isomorphism of divisorial sheaves
The spaces and are Cohen–Macaulay. The support of is locally set-theoretically principal. Off , the space is klt and its canonical sheaf is invertible. The map is quasi-finite near .
(iii) Projective log resolutions of the total divisor data can be chosen with Kähler forms on neighborhoods of the compact sets over each compact fiber of . Power-compatible changes of the boundary root extend to isomorphisms of ambient germs that preserve the full ideal , the reduced divisor , and (90). Resolutions may be chosen functorially for these germ isomorphisms.
Here the nonempty space is a neighborhood of the whole compact fiber under consideration; no extension of to is asserted.
Proof. The empty branch follows by shrinking away from the closed image . We construct the nonempty charts in four stages: take roots and trivialize the remaining adjoint torsion, separate the positive and negative root divisors, retain the root line that controls the normal direction, and pass to an ordinary neighborhood of the compact fiber.
First consider an analytic open set on which the Cartier lines of , , and are trivial, and let be the functions representing their sections. Normalize the entire finite space
retaining all its components and the lifted action of that multiplies the three root coordinates. On an overlap, the functions change by holomorphic units. Local -th roots of those units give comparisons of the finite spaces that lift uniquely to their normalizations; different choices differ by . The quotient stacks of these normalized charts by glue to the simultaneous normalized root stack over , which we denote by . The zero divisors of the three root sections are denoted by . At a generic prime of multiplicity , a normalized chart of has ramification index and . Here or , so it divides . Thus each root divisor is generically reduced and Cartier. A Cartier divisor on a normal space satisfies Serre’s condition , so it is reduced. Log ramification with the full reduced boundary gives a log canonical pair and the rational equivalence
The ambient charts of are klt. Off the boundary this follows from the klt complement downstairs and the unramified charts. For a place centered in the Cartier boundary, dropping that boundary increases its log discrepancy by its strictly positive order; this also makes every zero-discrepancy place positive.
To turn the rational adjoint equivalence into an actual isomorphism, consider the integral reflexive sheaf on
It is torsion. Choose a periodicity , take the relative spectrum of its reflexive-power algebra, and normalize; write for this finite map, and retain for the pulled-back root divisors on the cover. At codimension one this is a cover for a unit , hence is unramified. Log canonicity, the klt ambient property, and reduced Cartier root divisors persist. The tautological evaluation of this algebra trivializes the reflexive pullback : it does so in codimension one, and the identity then extends reflexively. The evaluation is a sheaf morphism on the cover stack itself, so the resulting actual divisorial isomorphism
on the cover is equivariant on every atlas.
Next separate the positive and negative root divisors. Let be the normalization of the blowup of the ideal generated by their equations on the cover, and write for its map. This blowup embeds in a relative ; its normalization still has fibers of dimension at most one. Each exceptional prime therefore lies over a codimension-two positive-negative intersection. At its generic point the original dlt pair is a two-branch SNC pair. After extracting roots of units the normalized Kummer chart there has smooth coordinates , where and are the two corresponding multiplicities. On this chart is a line and its periodicity cover is unramified. The two-coordinate blowup calculation consequently applies at every exceptional generic point. If denotes its exceptional divisor, it gives reduced Cartier divisors
with . No such two-branch stratum is contained in , so is reduced and has no exceptional component. The full boundary is crepant and reduced. Its codimension-one equality with the pullback adjoint gives the discrepancy equality for every further valuation, hence log canonicity. The ambient charts after this blowup are still klt. Off the full boundary the blowup is an isomorphism to the old klt complement. A place of zero pair discrepancy centered in that boundary gains its strictly positive order when the effective Cartier boundary is dropped, while a place of positive pair discrepancy remains positive. The strict divisor is finite over : before normalization it lies in one section of the projective ratio coordinate, so its proper map has finite fibers, and normalization is finite.
On , put and, temporarily, . Write for the composite map, and define the retained root line
Near , the negative strict root section is a unit. The fixed adjoint isomorphism becomes , and the positive root section divided by that negative unit section is a section of with zero divisor . This line and section determine the Cartier divisor and its normal line; they must survive passage to an ordinary chart.
The pair consisting of and its displayed power isomorphism defines a map to the gerbe , which parametrizes -th roots of . Take the relative coarse space over this gerbe. On an atlas this quotients by the finite relative inertia kernel, the subgroup of each stabilizer acting trivially on . Thus the quotient retains the root character of . The deck transformations of the representable periodicity cover are not this inertia kernel and are not removed.
Both and its section descend through the kernel, so the reduced image remains Cartier and its full ideal descends. We retain for the reduced images. A finite-group norm of a local equation of the upstairs has precisely its image as zero set. Thus the reduced image is locally set-theoretically principal; it need not be Cartier. All divisorial ramification lies on the full boundary. Log ramification identifies the invariant log dualizing sheaf in codimension one with the downstairs one. Taking reflexive hulls and invariants of the equivariant adjoint isomorphism gives an actual descended isomorphism . Its ordinary pullback below is (90). Outside , the local finite quotient is quasi-étale, so its klt upstairs complement gives a klt downstairs complement by finite discrepancy comparison. Away from , dropping the Cartier divisor from the lc pair increases the log discrepancy of every place centered in by its strictly positive order. Thus the quotient charts are klt away from , and the same isomorphism makes their canonical sheaves invertible there. Off the separating blowup is an isomorphism, while the other operations are finite; hence the composite map to is quasi-finite near .
The same quotient preserves Cohen–Macaulayness of both the ambient space and . Before the quotient the ambient space is klt and hence Cohen–Macaulay, and is Cartier there. Locally its finite quotient ring, and the quotient ring of , are invariant direct summands of those finite Cohen–Macaulay rings. A system of parameters downstairs is one upstairs; the vanishing of lower local cohomology upstairs and the invariant projection give its vanishing for the downstairs direct summand. This proves the stated depth.
Removal of the relative inertia kernel also makes the strict positive divisor finite and representable over
Its root line is , and its image covers . The intersection maps to the positive-negative or positive-zero intersections: the only new component is the separating exceptional divisor. Before the quotient, the inverse image of is the support of . The finite quotient sends this full support to , and the equality of underlying sets persists under the ordinary base change below. The image of in consequently has dimension , by Lemma 7.2.
Finally we realize these stack data on an ordinary analytic neighborhood of the whole compact fiber. We use the dimension-free root-neighborhood result [51]. For a compact analytic subspace of a Hausdorff analytic space, that lemma extends a specified -th root of a line on to a root on a neighborhood. It also extends a specified power-compatible comparison of two roots uniquely as a germ about . Its proof is the analytic Kummer sequence and continuity of the cohomology of over neighborhoods of a compact set, in degrees two, one, and zero. Apply it to with the root prescribed by in (86). Apply the comparison clause also inside . Properness of allows a shrink of for which the comparison is defined along all of : remove the closed image of its complement. Pulling the relative coarse construction across this root over the whole neighborhood of gives the ordinary Hausdorff space . Here the chosen root defines a map from that neighborhood to , and the relative quotient is representable over the gerbe, so this pullback is an ordinary space. Finite invariant algebras glue its local quotient charts. The preceding finite representable map becomes the finite map , so is proper. The retained line on becomes , giving . Normalization and the periodicity cover are finite also in the analytic category. The separating blowup is projective. A common power of its equivariant relative ample line kills the bounded finite stabilizer characters and descends to the coarse quotient; relative ampleness is checked on fibers after the finite pullback. Thus these operations and a projective log resolution admit relative ample metrics. Adding a sufficiently large pullback of the ambient Kähler form gives Kähler forms near the compact sets in question. Finally, power-compatible root comparisons identify the full constructions as ambient germs. Smooth-functorial projective resolution of the same ordered divisor data preserves those identifications. This proves all assertions.
The residue assertions below are vacuous for an empty chart. Fix a nonempty chart of Lemma 7.3, write , and choose a projective log resolution . Write
The reduced divisor has simple normal crossings. The divisor may meet ; it has no component in common with . Thus retains the components over whose poles are not already counted by the reduced divisor . Let . The maps that will be used in the residue and lifting arguments are
Only the support spaces in the left column map to .
Lemma 7.4 (Residue with residual poles). For every , the fixed adjoint isomorphism gives a split injection
The injection and its retraction commute with the root germ comparisons. Under a product with a manifold they are the relative canonical constructions; for absolute canonical sheaves they are tensored with the canonical line of that additional factor.
Proof. The quotient retraction follows the construction of [51]; the residual divisor changes the comparison sheaf, which we now compute. Apply (90) to the rational section of , and denote the resulting fixed meromorphic adjoint form again by . Its pullback has at most a logarithmic pole along . This is the log discrepancy inequality for ; away from the inverse boundary, the klt ambient property and integrality of the orders remove a possible pole. We obtain
Residue on the reduced SNC divisor gives a morphism
in the derived category of .
The insertion counts a component common to and in the logarithmic divisor . The retraction compares with , so it must retain every component over ; it therefore uses the full divisor . We claim
The right side is invertible, since it is . A local frame pulls back with at most simple poles over : subtracting the effective Cartier from the lc boundary leaves the required lc order inequality. At a prime not over , the target is klt with invertible canonical sheaf, so its integral order is nonnegative. This proves the inclusion of the right side in . Conversely, orders at the strict transforms give at most a simple pole on each prime of and none on any other prime. Normality and reflexivity give the opposite inclusion.
For higher direct images this can be checked locally on . Choose an effective Cartier divisor whose support is , and a sufficiently small positive rational so that . There are only finitely many relevant components after shrinking about a compact fiber. The fractional support is SNC, and is -nef and -big. The latter can be seen directly after shrinking the target to a Stein open. Choose a -ample Cartier divisor . The coherent sheaf has generic rank one because is birational. Cartan’s Theorem A supplies a section nonzero at the generic points, giving an effective divisor on the inverse image. Thus , a relatively ample divisor plus an effective one, which is -big. Relative Kawamata–Viehweg vanishing for projective analytic morphisms with smooth source [31] gives for . This proves (94).
Projection formula gives the same comparison after adding . The quotient sequence therefore identifies
where and the quotient is a sheaf on the possibly nonreduced divisor . To justify the displayed derived statement, first push it by the exact closed immersion . There it is the quotient of the two acyclic comparisons. Closed pushforward detects cohomology sheaves, and canonical truncation yields the statement on .
There is a quotient morphism
Indeed and . This morphism need not be injective when and share a component. Compose its derived pushforward with the preceding isomorphism. The result retracts Equation (93): at each generic point of , its composite is the identity under the fixed residue convention. The composite is an endomorphism of the invertible sheaf in degree zero; since is reduced, agreement at every generic point implies agreement everywhere. Applying proves Equation (92). All maps use the fixed adjoint isomorphism, divisor ideals, and residue, so they commute with the germ comparisons. Relative canonical forms under products, followed by wedging with the canonical frame of the new factor, give the last assertion.
The localized Hodge argument
The target in Equation (92) contains the additional poles . The following version of the filtered SNC calculation incorporates them. In its application, we embed by the graph of in and use the projection to as the ambient map. This projection is submersive, while its restriction to the graph is the proper map ; it requires no extension of to . We will use the same graph construction after a change of parameter. The parameter is projective only in the last assertion below; the closed-stratum maps are proper Kähler maps.
Proposition 7.5. Let be a holomorphic map of complex manifolds, submersive near a reduced closed analytic subspace of pure dimension and codimension . Suppose is proper. Assume that locally is an SNC divisor in a smooth submanifold of codimension , and that a reduced divisor is simultaneously SNC and transverse to those support equations. Assume that the components and near have finite global smooth indexing, and that every closed stratum , with , is smooth and proper over and carries a global relative Kähler form. Empty or disconnected strata are allowed. Here and , with .
Use right -modules and finite-pole local cohomology, and put
Its order filtration is generated from , with for . For , the filtered direct image is strict at every level, and has a finite filtration by submodules, strict for , whose quotients are polarizable real pure Hodge modules. In particular,
Define the symbol morphism
If is smooth projective, then for every ample line on ,
This includes any coherent torsion in the kernel.
Proof. We verify the residual localization in the proof of [51]. We first identify the lowest order step and a filtration by the number of branch poles. Its graded pieces will be dual constant modules on smooth strata, to which proper Kähler direct image applies. The resulting strictness gives the injection at the lowest filtration step, and the graded de Rham complex on a projective base gives the symbol vanishing.
At a point of , choose simultaneous coordinates
Let be the coordinate volume form. The localization Čech complex for the displayed regular support equations has cohomology only in degree . Localizing this cohomology also in the 's gives . Successive finite Taylor divisions give its unique additive polar normal forms: finite sums of
where every displayed order is positive and is arbitrary, including empty. The coefficient is independent of exactly the variables occurring negatively. The normal form is an additive statement, not an -linear decomposition.
The simple fractions, with each displayed order equal to one, are exactly the image of . More explicitly, their unreduced representatives are
The regular-equation residue identifies their numerators modulo with the absolute dualizing sheaf of , twisted by . This map is injective. If the fraction has no remaining -pole, Taylor division says that its numerator modulo the 's is divisible by . Localization in the 's does not enlarge this kernel, because each is a nonzerodivisor modulo . This also proves the identification under changes of coordinates, including the determinant of the normal conormal frame.
Give a term of Equation (7.13) the excess
The right canonical action of a coordinate derivative is minus differentiation of the coefficient of . A derivative in a denominator variable increases its order by one with a nonzero scalar. Because the coefficient in the normal form is independent of those variables, every term of excess is obtained from a simple term by such derivatives. Conversely, order differentiations produce excess at most . Thus consists exactly of the finite sums of excess at most . This is the good order filtration generated from .
There is also an increasing filtration by the total number of branch poles. Intrinsically, its step of index is the sum of the images of support modules for subunions of the , localized along sublists of the , for which the total number of selected branches is at most . In the normal form it imposes . The induced double filtration therefore has
Here for and is for . Here , and empty intersections contribute zero. To check this formula, retain the polar type using exactly . Its normal denominators are the equations , the selected ’s, and the selected ’s. They are the regular equations of the smooth stratum , whose dimension is . Right closed transfer has no codimension shift in , and the excess counts exactly its normal derivative orders. Mayer–Vietoris boundary maps for the -subunions and the localization boundary for each selected identify these quotients intrinsically with the support module of that intersection. For the latter assertion, localization modulo the nonlocalized module in one transverse direction is its first local cohomology in that direction. A fixed order of the component labels fixes the residue signs, so the identifications glue. The smooth-support graded modules are regular holonomic, and their finite extension is regular holonomic as well.
The filtration has a real realization. Tensor the finite-pole de Rham comparisons for the regular support coordinates with the open localization comparison for the coordinates, whose one-coordinate factor is the cohomology of a punctured disk. These comparisons are natural for all sublists. The resulting real support and localization complexes complexify to the de Rham complexes just computed. The latter are perverse by regular holonomicity; exact and faithful complexification gives the same assertion for the real complexes. Their real perverse images then give . On a graded stratum of dimension , the real object is its dual constant object . Its first right filtration step is zero and its weight is , in agreement with Equation (97). Residue signs and constant normalizations preserve its real polarization. This is the real comparison in [51], Section 11.2, with the punctured-disk factors supplying the additional localization boundaries.
The proper-support check also survives localization. If a holomorphic germ vanishes on reduced , then
For a generator of , multiplication reduces its pole order or kills the class. Multiplication by also lowers the excess or kills the class, because the polar type always has . The -poles do not affect this argument. In particular every graded stratum stays in the proper support , and properness is needed only there.
We have now identified the order filtration, its real pure stratum pieces, and the proper support of each level. We next pass these data to the base. Apply Saito’s constant-source Kähler direct-image theorem [59], Theorem 1 and Remark 1.2 to each smooth closed stratum in Equation (97), using its stipulated relative Kähler form. The resulting degree- direct image of the step indexed by is strict and polarizable real pure of weight . In the submersion neighborhood, the level- relative right de Rham complex has term
The simultaneous excess and branch bounds show that passing to a -quotient commutes with taking each such level.
To prove strictness, use the finite spectral sequence
Its first-page terms and their level filtrations are strict pure objects by the preceding application. The differentials are real and filtration preserving, because the support and localization comparisons are real and natural. The first differential preserves weight, hence is a strict morphism of pure Hodge modules; its kernels and cokernels remain pure. A higher differential sends to for and strictly lowers weight. Such a real filtered map is zero. On distinct strict supports this follows from strict support; on the same dense smooth support a real map preserves both Hodge filtrations, and a source vector of type would have image in of a pure object of smaller weight, which is zero. Both the unfiltered and each level spectral sequence therefore degenerate at the second page. Their comparison is injective there. A least--step argument on the finite abutment proves injection at every level and strictness of its induced filtration. This is the strict-direct-image argument of [51], now justified for every graded term with -poles.
For , the relative complex is zero. For , its only term is in degree zero. The level injection gives Equation (7.11).
Suppose finally that is smooth projective. Each strict-support pure quotient just obtained is of exactly the type in [51]: a polarizable real pure direct-image piece arising from a dual constant on a smooth Kähler source. That lemma compares its actual right filtration with the Sabbah–Schnell pure component extending the same generic polarized real variation. Its proof uses uniqueness of the intermediate extension and the reconstruction of from the canonical -filtration, so it depends only on this pure piece, not on the divisor presentation of its source. It gives the negative-ample vanishing
for each pure quotient , by [58]. The finite strict filtration extends this vanishing to . Since its negative levels vanish, its degree-one graded right de Rham complex is exactly
Its negative hypercohomology after tensoring by is . It vanishes, which is Equation (96). This calculation does not assume that the kernel is locally free.
Lifting every finite boundary neighborhood
Return to the charts and resolution of Lemma 7.3 and Equation (91). On an empty chart the sheaves below are zero. On a nonempty chart put , an invertible ideal. For every integer and positive integer , put
These are sheaves on the underlying topological space of . Pushforward by has that meaning for ; it does not require a morphism from a thickening to . A local frame of gives a Laurent graded frame of for every . It is a frame on the associated graded, not an extension of a frame to .
Proposition 7.6 (All finite lifting orders). For every root chart, every , and every , the map of sheaves of complex vector spaces on
is surjective. The assertion holds on every parameter germ, including germs supported at special parameters.
Proof. The assertion is immediate for an empty chart. We induct on , simultaneously for all integer and all nonempty charts. The layer algebra and its connecting maps are the ones in [51]; we recall their construction to specify exactly which obstruction is to be killed.
Assume all smaller orders. The connecting map for
factors uniquely through a map
Indeed the smaller orders make surjective. For , the kernel comes from , by the leading-layer sequence. The order in degree lifts this kernel into , so the current connecting map kills it. For the leading map is the identity. Vanishing of all maps in (100) is equivalent to the surjectivity at the current order.
The maps form a degree- derivation on the Laurent graded algebra , with values in its first-cohomology module. On a parameter germ, choose a lift of a leading section to , and represent that lift locally by . Then . Their differences modulo represent . For another degree- section , the product difference is
The last term lies in . This proves the derivation rule. If are coordinates on , choose simultaneous representatives of their lifts to ; their differences lie in . Taylor’s formula modulo their squared differences gives, for any holomorphic ,
Both formulas hold on germs, without removing torsion in the target, and commute with the prescribed germ comparisons.
Put . An order- obstruction raises degree by , whereas the residue injection accepts degree . We therefore test leading sections of degree . Apply the split residue injection to define
Both arguments have degree , the degree of in (92). The next construction places these classes in a filtered direct-image module. For the identity graph, the calculation will give the undivided relation . Taking its degree-one symbol gives . We will globalize that symbol on a projective coordinate-power cover, where the boundary root is an ample line. The adjugate formula expresses the symbol across the ramification of this cover without dividing by its Jacobian determinant. The symbol vanishing will then kill the obstructions of the parameter coordinates on every stalk; the undivided relation will kill , and the derivation rule will recover the other degrees.
Let be a holomorphic map between coordinate opens of dimension , with coordinates on , transverse to every smooth closed stratum . The identity map is allowed. In , the graph support is an SNC divisor in a smooth complete intersection of codimension . The residual divisor remains transverse. After shrinking about a compact fiber, the finite-component Lemma 10.3 of [51] gives finite smooth indexing of the graph strata, and their relative Kähler forms restrict from the product neighborhood. Complete-intersection adjunction gives the canonical factor
whose coordinate frame we denote by . This is a ratio of canonical frames, with no inverse Jacobian. Pull the Čech representatives of to this graph and tensor by that frame. Proposition 7.5 places the resulting classes in , where is the degree-one direct-image module of the localized graph support.
Write and . Because the adjugate is polynomial in , the following identity remains meaningful where is singular:
We verify the change from [51] explicitly. Choose simultaneous representatives of the lifts to length
After pulling to , put , using the meromorphic form defined by Equation (90), and put , . On an overlap write . The insertion and give the precise pole bounds
Thus every quadratic or cross difference has no -pole, although it may retain a pole on . Such a term is zero in the support module localized along .
In that localized graph support module consider the finite generalized fractions
The -pole is already in the numerator. Each polar class is killed by a power of a reduced equation of , and each is a multiple of that equation. Changing to therefore has a finite geometric expansion on each class. The last line of Equation (102) kills all terms beyond the linear terms, and gives the exact equality
Let be the first cochain. Let be the cochain with the numerator of the -th summand and only denominator , and let have its additional denominator . The simple cochains , are cocycles representing , ; their possible triple-overlap errors are precisely the cross terms killed above. The normal residue frame in this identification is .
The numerator of , including its -poles, is independent of . Right differentiation therefore gives
The preceding fraction equality is . Multiplying by and using gives at the cochain level
These cochains are in the end term of the relative right de Rham complex, so a Čech coboundary there is a total coboundary. Passing to the direct image proves Equation (101), with placed after the right derivative as displayed. Passing to yields
For the undivided identity is
For there are no graph equations, and the same undivided cochain computation gives .
We now prove that the obstructions of the parameter coordinates vanish on every stalk, including an obstruction supported only at a special parameter. Suppose , and fix . We will use one compact graph over a projective parameter space, obtained by a parameter change unbranched above . The vanishing of Hom in Equation (96) applies to the entire coherent symbol kernel, and the local isomorphism above will detect vanishing on the full germ there. The construction of [51] gives a coordinate-power map, here of exponent ,
in suitably chosen coordinates, unbranched over . We spell out why its geometry also accommodates . Choose finitely many relatively compact parameter opens covering , with the chart resolutions defined on slightly larger opens. Empty charts contribute no strata. Properness of the nonempty supports leaves only finitely many closed smooth strata meeting the corresponding compact sets. A general tuple of coordinate hyperplanes is transverse to the maps of every such stratum, for every subtuple, and avoids . This follows by Sard’s theorem applied to the incidence with variable hyperplanes; varying each hyperplane supplies its normal direction. In these coordinates has image the tangent space to the intersection of its vanishing coordinate hyperplanes. The transversality condition is consequently
It gives the required simultaneous regular graph equations and SNC transverse residual divisors.
To obtain a single compact graph support, first form the compact graph . On it the pullback of has the specified root . Lemma 10.1 of [51] extends that root to a neighborhood of . Perform the full construction of Lemma 7.3 on this neighborhood, including the relative quotient and its ordinary pullback, and use the canonical sheaf relative to in the periodicity algebra; the absolute canonical factor is added only when taking graph residues. Resolve the same ordered total divisor data before imposing the graph equations. Near a compact graph slice, the root comparison lemma identifies this construction with the ordinary product of a local chart with a parameter open, as an ambient germ preserving the ideal and the adjoint form. Uniqueness of the comparison as a germ and properness of the graph allow a base shrink on which the identification holds on the entire slice. Normalization thus occurs before ramified graph base change. Smooth-functorial resolution preserves the product identification.
The graph cut in this resolved ambient space is compact, has pure dimension , and is locally an SNC divisor in a smooth complete intersection of codimension . Its ambient projection to is submersive near . Let be the reduced ambient resolved residual divisor, restricted to a neighborhood of . Under each product-germ identification it is ; its restriction to the graph complete intersection is the transverse residual cut. The chosen transversality makes simultaneously SNC with the graph support equations. All closed strata are compact and smooth; splitting their connected components leaves finitely many indices. The relative metric construction in Lemma 7.3 gives one Kähler form near , and hence the required forms on every stratum. Thus Proposition 7.5 applies to this single global graph. Write for its degree-one module.
Take . On a graph chart choose a frame of compatible with the downstairs frame of . The local rule
defines a global morphism . Here is the transition check, including the ramification locus. For changes of coordinates let and , and let the root frame change by . Locally descends from a holomorphic unit downstairs: its -th power does, and after choosing a local -th root of that unit the remaining ratio is a locally constant element of . Root germ compatibility and Equation (7.18) transform the downstairs column of s by . No derivative of appears, since multiplies outside . The absolute canonical factor changes by . Hence
The adjugate equality is polynomial in , so holds also when is singular. The last formula, together with the inverse change of the vector basis, is exactly the transition of Equation (104). The graph classes here are natural Čech pullbacks through ambient germs; no ramified base-change isomorphism for is used.
Equation (103) puts the image of this morphism in the first-symbol kernel. Since is ample, Equation (96) makes the morphism zero. At a point above , the map is locally biholomorphic and is invertible. The ambient germ comparison identifies the graph classes with the downstairs classes there. Thus as germs at , including any class supported there. The point was arbitrary, so these classes vanish on every chart.
The split injection in Lemma 7.4 and the invertible Laurent frame now give . For every leading section of degree , the classes vanish. Equation (7.22), the injection in Equation (7.11), and then the split residue injection give . When , the direct identity and the same two injections give this conclusion without a graph test. In particular, the derivation rule and characteristic zero give
For any local , the degree- section then gives . Every graded section is , so vanishes in every degree. This proves the current order and completes the induction.
Compact deformations and the signed theorem
We now turn the infinitesimal lifting into actual compact subspaces. The role of all the integer layers in Proposition 7.6 is that both the equations of a boundary fiber and a generator of its normal direction can be lifted compatibly. This is the analytic counterpart of the compact-family step in [53].
Lemma 7.7. Assume , set , and choose a positive component with . There is a nonempty open subset with the following property. For every , there are a disk about , a proper flat analytic family of compact subspaces of pure dimension , and a finite morphism
over , such that every nonzero fiber has image disjoint from , while is a limit of points in those images as the parameter tends to zero. Its schematic image is flat over the disk with pure -dimensional fibers, whose fundamental cycles form a bounded family in the cycle space of after shrinking the disk.
Proof. Choose a general point of the reduced image , outside the small image in (87) and the intersections with distinct component images. Work on one ordinary root chart over a neighborhood of that point. Its finite map has a component covering a nonempty open of . Shrink to a smooth open of , remove the images of components that do not dominate it, and remove the nonflat locus of the proper map . The last removal is proper by analytic generic flatness. The relevant is now flat over the smooth -fold , and its fibers avoid . They are compact of pure dimension . On the selected component the locus where it is singular or where has rank less than is proper. Removing its image, along with the preceding proper bad subsets, under the finite map leaves a nonempty open . Its points have preimages at smooth points of these fiber components.
Fix and a point above it in the compact fiber , for . Work on the single ordinary chart neighborhood of that fiber from Lemma 7.3. Take regular coordinates on centered at , extended to local coordinates of its smooth embedding in . Their pullbacks form a regular sequence on along , by flatness. In addition, is Cohen–Macaulay, so is Cohen–Macaulay of pure dimension .
Choose once and for all a Hausdorff open neighborhood of , disjoint from , on which is quasi-finite. Set . Proposition 7.6 lets us lift the finitely many ’s to compatible germs of sections of , , along . It also lifts the conormal frame to compatible germs along ; write for this system. At each order choose simultaneous representatives on a neighborhood of contained in . These neighborhoods may shrink with the order. The leading coefficient of is a unit frame, so it generates on each finite thickening. For , cut the lifted equations in the Cartier thickening , and map to . Denote the resulting subspace by . It is flat over the Artin analytic point , with closed fiber . Before cutting, multiplication by the Cartier generator identifies each successive -layer with ; this is the flatness criterion over . Quotienting by lifts of the closed-fiber regular sequence preserves flatness, by the local flatness criterion. Compatibility of the lifted equations gives compatible reductions of all .
Each of these is an embedded compact deformation in the same fixed neighborhood . To see why the shrinking representative neighborhoods cause no difficulty, the support of is the fixed compact set . Its ideal on its representative neighborhood glues with the unit ideal on , since the deformation is empty on their overlap away from . This realizes it as a closed subspace of . The ideal is coherent locally on both opens, and the family is proper over the Artin point because its support is compact.
The Douady space of compact subspaces of represents proper flat embedded families [25]. The compatible ’s thus define a formal arc in its analytic germ at . Embed that germ in a finite dimensional analytic coordinate space. The arc is a formal solution of its convergent defining equations. Analytic Artin approximation [3] gives a convergent arc agreeing modulo . Pull back the universal family and shrink its disk to obtain , proper and flat over , with closed fiber and the prescribed first normal displacement.
The family may be taken to have pure -dimensional fibers throughout the disk. Here is a local justification. The central fiber is Cohen–Macaulay of dimension . Flatness over the regular one-dimensional base makes its parameter a nonzerodivisor and gives the depth and dimension of the total local ring as along that fiber. Cohen–Macaulayness is open for analytic local rings, and properness allows a disk shrink for which it holds on the whole family. Every total component then meets the central fiber after shrinking, and flatness makes it dominate the disk; the dimension formula gives it dimension . Quotient by the nonzerodivisor at each parameter gives Cohen–Macaulay fibers of dimension . The analytic dimension formula and unmixedness of these local rings give the asserted purity.
Let be a local equation of . On it vanishes on the central fiber, so flatness writes it as . Agreement modulo with the formal deformation says that is a unit: this is precisely the lifted conormal generator. Finitely many such neighborhoods cover the compact . Properness of lets us shrink the disk so that they cover the entire family and all their ’s are units; remove the closed image of the complement. Thus a nonzero fiber misses . The neighborhood already misses , and the set equality in Lemma 7.3 gives . Hence the nonzero fiber images .
The induced map is proper: the source is proper over and the target is Hausdorff over it, so the graph is closed and the projection is proper. It is quasi-finite by the choice of , hence finite. It therefore preserves the dimension of every fiber component. Every total component through a central point dominates the disk by flatness, and its punctured part is dense. Thus every central point, including the point chosen above , is a limit of points of nonzero fibers of dimension .
Let be the schematic image of this finite map. Its algebra is the coherent image of . Multiplication by a nonzero germ from the disk is injective on , by flatness, and remains injective after the exact finite pushforward. It is therefore injective on the image algebra. That algebra is torsion-free, hence flat, over each local discrete valuation ring of the disk. Thus is a proper flat family of subspaces of . The finite map to its schematic image is surjective, also on each fiber as a map of supports. Each consequently has pure dimension . The Douady-to-cycle morphism, in the form recorded in [26], makes their fundamental cycles an analytic family in the cycle space of . The restriction to a smaller closed disk is compact. The volumes of these cycles against a Kähler form are bounded by continuity, proving the last assertion.
Proof of Theorem 7.1. The assertion is immediate in dimension zero, and the case follows directly from the signed equivalence. By Lemma 7.2, the case already gives , and contradicts . Suppose, therefore, that . Choose the positive in that lemma and put , so . We will contradict simplicity by using the compact deformations in Lemma 7.7.
Let be the Barlet space of nonzero effective compact -cycles on . It is a second-countable analytic space, hence has only countably many irreducible components . For compact Kähler its connected components, and therefore its irreducible components, are compact [26], Theorem 4.5. The universal support is a compact analytic subspace. Take all of its full irreducible components that contain an incidence point belonging to an integral -cycle disjoint from . There are countably many of these components, since each compact analytic has finitely many. Their evaluation images
are closed irreducible analytic subspaces of , by proper mapping. Each has a point outside . We use the full compact components here, including their fibers at limiting cycle parameters; the incidence over only the open set of cycles avoiding would not have a proper evaluation map.
These countably many closed images cover . Indeed, for , choose the family in Lemma 7.7 and a sequence in nonzero fiber images. Let be an integral component of the fundamental cycle of the schematic image fiber containing , taken with coefficient one. The cycles avoid , and their volumes are bounded by the volumes of the total image cycles. Bounded cycles on compact have relatively compact closure in [26], Proposition 2.10. The irreducible components of an analytic space are locally finite, so this compact closure meets only finitely many . After passing to a subsequence, the cycles lie in a fixed ; after a second subsequence, the points lie in a fixed full component . Its evaluation image is closed, so it contains . This proves the covering assertion.
The analytic space is locally compact and Baire. If no contained , each intersection with would be a proper closed analytic subset and hence nowhere dense. The countable cover just proved contradicts Baire. Consequently some contains . It also contains a point outside . An irreducible proper analytic subspace of the irreducible -fold that contains the prime divisor must equal , by dimension. It follows that .
Every point of this full incidence component lies on the support of the effective -cycle at its parameter, including limiting parameters. Thus its surjective evaluation supplies through every point of an irreducible compact component of such a cycle. Each has dimension , strictly between zero and . This contradicts simplicity. The intermediate range for is impossible, leaving . By the meaning of rational linear equivalence for the actual line , a positive Cartier multiple is the trivial holomorphic line.
The simple case of the induction
We now pass from the original pair to a reduced signed boundary and a nef model, and then subtract the added boundary from the torsion comparison.
Proof of Proposition 2.12. Let and be as in that proposition. A positive-dimensional compact complex curve is projective, so implies . By Theorem 6.1, a positive multiple of has a nonzero meromorphic section. It gives an actual rational equivalence for a signed rational divisor .
Choose a projective log resolution of the boundary and the support of this divisor. Let be the strict transform of together with every new exceptional prime with coefficient one. The resolution transfer in Proposition 2.7 gives the actual rational identity
The canonical pullback formula transforms to a signed representative of . Enlarge the reduced support of and this representative to a reduced SNC divisor . Then
In particular is pseudo-effective and has a signed rational representative supported on . Simplicity and algebraic dimension zero persist under these birational modifications.
Apply Corollary 3.14 to and . Equation (105) supplies pseudo-effectivity, and the signed representative is supported on the floor . Denote the resulting ordinary dlt nef model by , and put . As a working model of the program, is globally strongly -factorial, and the pair has the resolution property of Definition 3.1. The space is simple and compact Kähler with ; is reduced, is nef, and its actual signed representative is supported on . Theorem 4.1 makes semiample on the whole reduced floor.
We check the remaining pseudo-effectivity hypothesis of Theorem 7.1, with exactly . Take a common projective resolution , , with smooth compact Kähler. The manifold is still simple, hence not uniruled. Ou’s criterion [56] makes pseudo-effective; this implication uses no assumption about the absence of canonical sections. Since is globally strongly -factorial, is a rational line. Write its canonical comparison as an identity of actual rational lines
where both and are effective and -exceptional. Thus is pseudo-effective. Exceptional translation in Lemma 2.3 removes the effective -exceptional and proves that is pseudo-effective. Since as an actual rational line, this is precisely the resolution hypothesis for , with . Theorem 7.1 now gives .
On the same common resolution, enlarging it if necessary, the accumulated negative-step comparisons give
All identities here are identities of actual rational lines. Because is torsion, its pullback is nef with zero class. Lemma 2.3 therefore identifies . Put and . Pulling up Equation (105) gives , which is pseudo-effective. Apply Lemma 2.6 to Equation (106). A positive current for , plus , must be the unique current in the larger adjoint class. It follows that , and negative-part subtraction gives the actual identity
The divisor on the right is effective and rational. This is exactly Proposition 2.12 and the required instance of with torsion positive part.
References
- [1]Acquistapace, F., Broglia, F., & Tognoli, A. (1979). An embedding theorem for real analytic spaces. In Annali della Scuola Normale Superiore di Pisa. Classe di Scienze (Vol. 6, Number 3, pp. 415–426). https://www.numdam.org/item/ASNSP_1979_4_6_3_415_0/numdam.org/item/ASNSP_1979_4_6_3_415_0
- [2]Ahlfors, L. V. (1938). An extension of Schwarz's lemma. In Transactions of the American Mathematical Society (Vol. 43, Number 3, pp. 359–364). https://doi.org/10.2307/1990065
- [3]Michael Artin. On the solutions of analytic equations. Inventiones mathematicae, 5(4):277–291, 1968.DOI
- [4]Benjamin Bakker, Henri Guenancia, and Christian Lehn. Algebraic approximation and the decomposition theorem for Kähler Calabi–Yau varieties. Inventiones mathematicae, 228:1255–1308, 2022.DOI
- [5]Benjamin Bakker and Christian Lehn. The global moduli theory of symplectic varieties. Journal für die reine und angewandte Mathematik, 790:223–265, 2022.DOI
- [6]Caucher Birkar, Paolo Cascini, Christopher D. Hacon, and James McKernan. Existence of minimal models for varieties of log general type. Journal of the American Mathematical Society, 23(2):405–468, 2010.DOI
- [7]Sébastien Boucksom. Divisorial Zariski decompositions on compact complex manifolds. Annales scientifiques de l’École Normale Supérieure, 37(1):45–76, 2004.DOI
- [8]Boucksom, S., Demailly, J.-P., Păun, M., & Peternell, T. (2013). The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension. In Journal of Algebraic Geometry (Vol. 22, Number 2, pp. 201–248). https://doi.org/10.1090/S1056-3911-2012-00574-8
- [9]Sébastien Boucksom, Philippe Eyssidieux, Vincent Guedj, and Ahmed Zeriahi. Monge–Ampère equations in big cohomology classes. Acta Mathematica, 205:199–262, 2010.DOI
- [10]Campana, F., Höring, A., & Peternell, T. (2016). Abundance for Kähler threefolds. In Annales scientifiques de l'École Normale Supérieure (Vol. 49, Number 4, pp. 971–1025). https://doi.org/10.24033/asens.2301
- [11]Frédéric Campana, Andreas Höring, and Thomas Peternell. Erratum and addendum to the paper: Abundance for Kähler threefolds, 2023. arXiv:2304.10161v1.arxiv.org/abs/2304.10161v1
- [12]Frédéric Campana and Thomas Peternell. Recent developments in the classification theory of compact Kähler manifolds. In Michael Schneider and Yum-Tong Siu, editors, Several Complex Variables, volume 37 of Mathematical Sciences Research Institute Publications, pages 113–159. Cambridge University Press, 1999. MSRI electronic version.library.slmath.org/books/Book37/files/campana.pdf
- [13]Frédéric Bruno Campana. Bogomolov decomposition and compact Kähler manifolds of algebraic dimension zero, 2026. arXiv:2605.19713v2.arxiv.org/abs/2605.19713v2
- [14]Junyan Cao and Mihai Păun. Kodaira dimension of algebraic fiber spaces over abelian varieties. Inventiones mathematicae, 207(1):345–387, 2017. Numbered citations refer to arXiv:1504.01095v3.DOI
- [15]Claudon, B., & Höring, A. (2024). Projectivity criteria for Kähler morphisms. https://doi.org/10.48550/arXiv.2404.13927
- [16]Tristan C. Collins and Valentino Tosatti. Restricted volumes on Kähler manifolds. Annales de la Faculté des sciences de Toulouse: Mathématiques, 31(3):907–947, 2022.DOI
- [17]Das, O., & Hacon, C. (2026). Transcendental minimal model program for projective varieties. https://doi.org/10.48550/arXiv.2412.07650
- [18]Omprokash Das, Christopher Hacon, and Mihai Păun. On the 4-dimensional minimal model program for Kähler varieties. Advances in Mathematics, 443:109615, 2024. arXiv:2205.12205v3.DOI
- [19]Das, O., Hacon, C., & Yáñez, J. I. (2026). MMP for Generalized Pairs on Kähler 3-folds. https://doi.org/10.48550/arXiv.2305.00524
- [20]Omprokash Das and Wenhao Ou. On the log abundance for compact Kähler threefolds II. Proceedings of the London Mathematical Society, 132(3):e70141, 2026. Numbered citations refer to arXiv:2306.00671v4.DOI
- [21]Demailly, J.-P. (1992). Regularization of closed positive currents and intersection theory. In Journal of Algebraic Geometry (Vol. 1, pp. 361–409). https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/regularization.pdfwww-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/regularization.pdf
- [22]Demailly, J.-P., & Păun, M. (2004). Numerical characterization of the Kähler cone of a compact Kähler manifold. In Annals of Mathematics (Vol. 159, Number 3, pp. 1247–1274). https://doi.org/10.4007/annals.2004.159.1247
- [23]Jean-Pierre Demailly and Thomas Peternell. A Kawamata–Viehweg vanishing theorem on compact Kähler manifolds. Journal of Differential Geometry, 63(2):231–277, 2003. arXiv:math/0208021v1.arxiv.org/abs/math/0208021v1
- [24]Dinh, T.-C., & Nguyen, V.-A. (2006). The mixed Hodge–Riemann bilinear relations for compact Kähler manifolds. In Geometric and Functional Analysis (Vol. 16, Number 4, pp. 838–849). https://doi.org/10.1007/s00039-006-0572-9
- [25]Adrien Douady. Le problème des modules pour les sous-espaces analytiques compacts d’un espace analytique donné. Annales de l’Institut Fourier, 16(1):1–95, 1966.DOI
- [26]Akira Fujiki. Closedness of the Douady spaces of compact Kähler spaces. Publications of the Research Institute for Mathematical Sciences, 14(1):1–52, 1978.DOI
- [27]Fujiki, A. (1982). On the Douady space of a compact complex space in the category 𝒞. In Nagoya Mathematical Journal (Vol. 85, pp. 189–211). https://doi.org/10.1017/S002776300001970X
- [28]Osamu Fujino. Abundance theorem for semi log canonical threefolds. Duke Mathematical Journal, 102(3):513–532, 2000.DOI
- [29]Osamu Fujino. On subadditivity of the logarithmic Kodaira dimension. Journal of the Mathematical Society of Japan, 69(4):1565–1581, 2017. arXiv:1406.2759v8.DOI
- [30]Osamu Fujino. Corrigendum to “on subadditivity of the logarithmic Kodaira dimension”. Journal of the Mathematical Society of Japan, 72(4):1181–1187, 2020. arXiv:1904.11639v3.DOI
- [31]Osamu Fujino. Minimal model program for projective morphisms between complex analytic spaces, 2022. arXiv:2201.11315v1.DOI
- [32]Osamu Fujino and Yoshinori Gongyo. Log pluricanonical representations and the abundance conjecture. Compositio Mathematica, 150(4):593–620, 2014.DOI
- [33]Osamu Fujino and Shin-ichi Matsumura. Injectivity theorem for pseudo-effective line bundles and its applications. Transactions of the American Mathematical Society, Series B, 8:849–884, 2021.DOI
- [34]Osamu Fujino and Keisuke Miyamoto. Nakai–Moishezon ampleness criterion for real line bundles. Mathematische Annalen, 385(1–2):459–470, 2023. Numbered citations refer to arXiv:2101.00806v1, author version 0.09 of 29 November 2020.arxiv.org/abs/2101.00806v1
- [35]Phillip A. Griffiths and Wilfried Schmid. Locally homogeneous complex manifolds. Acta Mathematica, 123:253–302, 1969.DOI
- [36]Christopher Hacon, Yi Li, and Lingyao Xie. Fujiki class C varieties and a Kähler criterion, 2026. arXiv:2608.20588v1.DOI
- [37]Christopher Hacon and Lingyao Xie. On the Kähler MMP and the transcendental base-point-free theorem, 2026. arXiv:2607.24986v1.DOI
- [38]Han, J., & Li, Z. (2022). Weak Zariski decompositions and log terminal models for generalized pairs. In Mathematische Zeitschrift (Vol. 302, Number 2, pp. 707–741). https://doi.org/10.1007/s00209-022-03073-w
- [39]Kenta Hashizume. Log Iitaka conjecture for abundant log canonical fibrations. Proceedings of the Japan Academy, Series A, Mathematical Sciences, 96(10):87–92, 2020. Numbered citations refer to arXiv:1902.10923v2.DOI
- [40]Höring, A., & Peternell, T. (2016). Minimal models for Kähler threefolds. In Inventiones mathematicae (Vol. 203, Number 1, pp. 217–264). https://doi.org/10.1007/s00222-015-0592-x
- [41]Yujiro Kawamata. Abundance theorem for minimal threefolds. Inventiones mathematicae, 108(2):229–246, 1992.DOI
- [42]Stefan Kebekus and Christian Schnell. Extending holomorphic forms from the regular locus of a complex space to a resolution of singularities. Journal of the American Mathematical Society, 34(2):315–368, 2021. Numbered citations refer to arXiv:1811.03644v4.DOI
- [43]Sean Keel, Kenji Matsuki, and James McKernan. Log abundance theorem for threefolds. Duke Mathematical Journal, 75(1):99–119, 1994.math.purdue.edu/people/profile/matsuki.html
- [44]Sean Keel, Kenji Matsuki, and James McKernan. Corrections to: “log abundance theorem for threefolds”. Duke Mathematical Journal, 122(3):625–630, 2004.math.purdue.edu/people/profile/matsuki.html
- [45]János Kollár. Sources of log canonical centers, 2012. arXiv:1107.2863v3.arxiv.org/abs/1107.2863v3
- [46]Roni N. Levy. The Riemann–Roch theorem for complex spaces. Acta Mathematica, 158:149–188, 1987.DOI
- [47]David I. Lieberman. Compactness of the Chow scheme: applications to automorphisms and deformations of Kähler manifolds. In François Nor guet, editor, Fonctions de plusieurs variables complexes III, volume 670 of Lecture Notes in Mathematics, pages 140–186. Springer, 1978.DOI
- [48]S. Lojasiewicz. Triangulation of semi-analytic sets. Annali della Scuola Normale Superiore di Pisa - Scienze Fisiche e Matematiche, 18(4):449–474, 1964.numdam.org/item/ASNSP_1964_3_18_4_449_0
- [49]Yoichi Miyaoka. Abundance conjecture for 3-folds: case ν = 1. Compositio Mathematica, 68(2):203–220, 1988.numdam.org/item/CM_1988__68_2_203_0
- [50]Yoshinori Namikawa. Projectivity criterion of Moishezon spaces and density of projective symplectic varieties. International Journal of Mathematics, 13:125–135, 2002. arXiv:math/0101019v6.arxiv.org/abs/math/0101019v6
- [51]OpenAI. (2026). Abundance after nonvanishing for compact Kähler fourfolds. https://github.com/openai/math/blob/main/preprints/Abundance-after-nonvanishing-for-compact-Kahler-fourfolds-September-27-2026/paper.pdfgithub.com/openai/math/blob/main/preprints/Abundance-after-nonvanishing-for-compact-Kahler-fourfolds-September-27-2026/paper.pdf
- [52]OpenAI. (2026). Conditional good minimal models for compact Kähler fourfolds. https://github.com/openai/math/blob/main/preprints/Conditional-good-minimal-models-for-compact-Kahler-fourfolds-October-5-2026/paper.pdfgithub.com/openai/math/blob/main/preprints/Conditional-good-minimal-models-for-compact-Kahler-fourfolds-October-5-2026/paper.pdf
- [53]OpenAI. (2026). Log abundance in characteristic zero. https://github.com/openai/math/blob/main/preprints/Log-abundance-in-characteristic-zero-September-24-2026/paper.pdfgithub.com/openai/math/blob/main/preprints/Log-abundance-in-characteristic-zero-September-24-2026/paper.pdf
- [54]OpenAI. (2026). Minimal models and Mori fibre spaces for generalized log canonical ℚ-pairs. https://github.com/openai/math/blob/main/preprints/Minimal-models-and-Mori-fibre-spaces-for-generalized-log-canonical-Q-pairs-September-24-2026/paper.pdfgithub.com/openai/math/blob/main/preprints/Minimal-models-and-Mori-fibre-spaces-for-generalized-log-canonical-Q-pairs-September-24-2026/paper.pdf
- [55]OpenAI. (2026). Orbifold and logarithmic Iitaka subadditivity. https://github.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdfgithub.com/openai/math/blob/main/preprints/Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026/paper.pdf
- [56]Wenhao Ou. A characterization of uniruled compact Kähler manifolds, 2025. arXiv:2501.18088v1.arxiv.org/abs/2501.18088v1
- [57]Thomas Peternell. Towards a Mori theory on compact Kähler threefolds III. Bulletin de la Société Mathématique de France, 129(3):339–356, 2001.DOI
- [58]Sabbah, C., & Schnell, C. (2026). Pure complex Hodge modules. https://perso.pages.math.cnrs.fr/users/claude.sabbah/MHMProject/mhm.htmlperso.pages.math.cnrs.fr/users/claude.sabbah/MHMProject/mhm.html
- [59]Morihiko Saito. Some remarks on decomposition theorem for proper Kähler morphisms, 2022. arXiv:2204.09026v5.arxiv.org/abs/2204.09026v5
- [60]Valentino Tosatti. The Calabi–Yau theorem and Kähler currents. Advances in Theoretical and Mathematical Physics, 20(2):381–404, 2016.DOI
- [61]Nikolaos Tsakanikas and Lingyao Xie. Remarks on the existence of minimal models of log canonical generalized pairs. Mathematische Zeitschrift, 307, 2024. Article 20; arXiv:2301.09186v3.DOI
- [62]Duc-Viet Vu. Derivative of volumes of big cohomology classes, 2023. arXiv:2307.15909v1.arxiv.org/abs/2307.15909v1
- [63]Lingyao Xie. Contraction theorem for generalized pairs, 2022. arXiv:2211.10800v1.arxiv.org/abs/2211.10800v1