Conditional good minimal models for compact Kähler fourfolds
Abstract
Assuming orbifold Iitaka subadditivity, the specified pseudo-effective fourfold minimal model program, and abundance for nef fourfold adjoints of nonnegative Kodaira dimension, we prove the existence of good minimal models for globally strongly ℚ-factorial compact Kähler klt fourfold pairs with effective rational boundary and analytically pseudo-effective actual ℚ-Cartier adjoint. The additional step is nonvanishing. We prove it by fibration arguments and, in algebraic dimension zero, by singular metrics, holomorphic foliations, and extension from a reduced boundary. The projective abundance argument used in the proof is included in full.
I Compact Kähler fourfolds
Introduction
The good minimal model problem asks whether a pseudo-effective canonical adjoint can be made nef and generated by its sections on a birational model. It joins two different questions: construction of a minimal model and abundance of its nef adjoint. In the compact Kähler category, the existence of the first pluricanonical section is itself a substantial part of the problem. Positivity is analytic, and even the passage from a cohomological identity to an identity of holomorphic line bundles must be kept explicit.
The projective minimal model program provides the birational framework [56, 9]. In dimension three the Kähler theory has developed through nonvanishing, minimal models and abundance [27, 47, 16, 17, 41]. Work on fourfolds and on pseudo-effective adjoints supplies further analytic and birational tools [19, 46]. Our concern is the precise additional nonvanishing argument needed when a pseudo-effective fourfold MMP and abundance after nonvanishing are available.
We make three explicit hypotheses, stated in Section 2: full orbifold Iitaka subadditivity in Fujiki class , the specified pseudo-effective klt fourfold MMP conditional on that subadditivity, and abundance for nef klt fourfold adjoints of nonnegative Kodaira dimension. Under these premises we resolve positively the good-minimal-model assertion in the following category.
Theorem 1.1 (Conditional good minimal models). Assume Assumptions 2.2, 2.3, and 2.4. Let be a normal connected compact Kähler fourfold, and let be an effective rational Weil divisor. Suppose that is klt, that its actual adjoint is -Cartier and analytically pseudo-effective, and that is globally strongly -factorial in the sense of Definition 2.1.
Then there are a normal connected globally strongly -factorial compact Kähler fourfold and a bimeromorphic map such that:
(i) extracts no prime divisor, and ;
(ii) is klt and its actual adjoint is -Cartier and analytically nef;
(iii) for every prime divisor over the models, with strict inequality for each prime on contracted by ;
(iv) for some , the Cartier line bundle is globally generated.
The exponent may depend on the pair. Zero boundary, smooth fourfolds and all numerical dimensions are included. Global strong -factoriality concerns all rank-one reflexive sheaves on the whole space; it is not an assumption of local analytic -factoriality on every open subset. The conclusion concerns the actual holomorphic adjoint line on the specified endpoint.
Assumption 2.3 already produces a nef minimal model with properties (i)–(iii). The new conclusion needed before Assumption 2.4 can be applied is the following.
Theorem 1.2 (Nonvanishing on the nef endpoint). Under Assumptions 2.2, 2.3, and 2.4, let be an ordinary klt pair on a normal connected globally strongly -factorial compact Kähler fourfold. If is effective and rational and the actual -Cartier adjoint is analytically nef, then .
Structure of the proof
The projective case uses conditional projective log abundance. We include its complete proof in Appendices A–I; Lemma 3.1 derives its precise logarithmic-Iitaka premise from Assumption 2.2. Thus the projective branch introduces no further conditional premise. For a nonprojective endpoint, rational quotients, the Albanese map and lower-dimensional nonvanishing reduce the problem to canonical nonvanishing on a smooth non-uniruled fourfold, principally with irregularity zero.
When algebraic dimension is positive, we first construct an actual canonical pullback model over a projective base. The construction uses sufficiently large ample twists, whose sections are already known, and steps of a single empty-boundary program. Relative rationality allows the twist to be chosen separately at each stage without changing that program. The base has dimension at most three. For a surface base, fiber powers convert subadditivity into the intersection inequality needed for nonvanishing. For a threefold base, the genus-one Hodge line and two modular forms give an explicit crepant klt adjoint on the base. Their common divisorial order is determined by one integrability calculation, including exceptional base valuations.
The algebraic-dimension-zero argument has four parts.
A nef ordinary klt adjoint has a metric of minimal singularities with zero Lelong numbers. The proof combines a volume-normalized capacity estimate, a differentiated Monge–Ampère equation and a Bochner transport estimate. The comparison at the end controls a concentrating residual measure on the same sublevel set.
If the divisorial locus is empty and no signed canonical frame exists, holomorphic forms produce a transverse spherical structure. A fixed point on the full compact convex set of positive currents and the compactification of its holonomy lead to a contradiction with algebraic dimension zero.
Relative analytic constructions produce nef reduced-boundary models while retaining actual line identities and the global reflexive-sheaf condition. The required dlt special termination is proved in the dimension order used by the construction.
Adjunction and gluing give a section on the whole reduced floor. In the nonprojective torsion case, the ambient Kähler class controls the pluricanonical scalars around gluing cycles. This extra structure is what makes the cycle argument finite.
Finally, finite divisorial support and hard Lefschetz with multiplier ideals extend a high power of the floor section if ambient nonvanishing were to fail. Two choices of reduced boundary, according to whether a signed meromorphic pluricanonical tensor exists, finish canonical nonvanishing. The result then returns to the original nef endpoint of the stipulated MMP.
Several of these constructions have a scope beyond their immediate use here: the metric lemma is dimension independent; the relative descent argument treats global reflexive sheaves directly; the genus-one calculation determines actual crepant orders; and the floor argument isolates the role of a single ambient Kähler class in nonprojective gluing. The long projective appendices are organized separately so that the nonprojective argument can be read with their precise theorem statement, while every new argument used by that theorem remains available in the same manuscript.
Figure 1 records these uses and the return to the original nef endpoint. In the projective appendices, Assumption B.1 is the lower-dimensional induction hypothesis, discharged in Appendix I.

Figure 1. Reading map under Assumptions 2.2–2.4. Lemma 3.1 derives the sole premise of Theorem A.2 from Assumption 2.2, so the projective appendices add no independent conditional input. The groupings indicate uses in this proof, not the full scope of the component lemmas. Assumption 2.4 also enters intermediate constructions. All routes return nonvanishing to the original nef pair before its final application on that endpoint.
Conventions and the three hypotheses
All spaces are over , unless a statement in the projective appendices explicitly specifies another field of characteristic zero. A compact Kähler space means a complex analytic space with a Kähler form given by local smooth strictly plurisubharmonic potentials on local embeddings. Our spaces are normal and connected, hence irreducible. Smooth compact Kähler resolutions and resolutions of meromorphic maps are obtained by projective modifications. We use the usual resolution and Kähler modification theorems [45, 74].
Actual adjoints and positivity
The canonical object on a normal space is its reflexive canonical sheaf . For an effective rational Weil divisor , the notation is an actual rational holomorphic line bundle when, for some positive integer clearing the coefficients of ,
is invertible. Its positive tensor powers define . Here , and divisorial sheaves and their products are interpreted reflexively. An identity means an isomorphism of actual holomorphic line bundles after a common positive integral multiple. Numerical equivalence alone is never used to infer this identity.
Canonical divisor calculations can be performed with compatible local canonical divisors on a common smooth model . We use log discrepancies
The pair is klt if these numbers are positive for every prime divisor over , including primes on . In particular the boundary coefficients are less than one. We do not assume at the outset that a positive canonical power has a nonzero meromorphic section.
The adjoint is analytically pseudo-effective if is represented by a closed positive -current with local potentials. It is analytically nef if this class is in the closure of the Kähler cone in real Bott–Chern cohomology. Equivalently, for a fixed Kähler form and every , the line bundle has a smooth Hermitian metric whose curvature, divided by , is bounded below by . On singular spaces the forms and potentials are understood through local embeddings. Nonnegativity on compact curves is a consequence of nefness, not its definition.
The Iitaka dimension is if all positive Cartier multiples have zero sections. Otherwise it is the maximum dimension of the images of their complete linear systems. A rational line bundle is semiample if some positive Cartier multiple is globally generated. In particular, a semiample rational line of Iitaka dimension zero is torsion as an actual rational line bundle. We write for algebraic dimension, and on smooth compact Kähler models.
Definition 2.1 (Global strong -factoriality). A normal compact space is globally strongly -factorial if every coherent rank-one reflexive sheaf on the whole has an invertible positive reflexive power .
Definition 2.1 is a condition on global sheaves. It does not assert the same condition on every analytic open subset. Smooth spaces satisfy it. The constructions below retain this global condition when it is required; local analytic factoriality is not inserted as an intermediate assumption.
Orbifold subadditivity
We give the model convention in the first hypothesis because the distinction between the invariant base and the base on an arbitrary model is used in the proof.
For a smooth compact space with an effective rational SNC boundary having coefficients in , set
for every prime divisor . Thus the multiplicity off the boundary is one; finite multiplicities need not be integers. If is a surjective morphism with connected fibers and smooth base, put
Only divisors dominating enter the minimum; the convention is . The sum has finite support. This is the inf-multiplicity convention.
An elementary equivalence of smooth source/base fibrations is a commuting bimeromorphic diagram
where the maps are proper holomorphic modifications, , and is an orbifold morphism: for every prime on and every prime on with ,
Infinite multiplicities are compared in the usual order, with . All boundaries in these diagrams are rational SNC boundaries in . Equivalence is generated by these diagrams with arrows allowed in either direction, not by arbitrary boundary changes on a fixed space. Define
For an initially normal possibly singular base, first resolve that base and the main fiber product. On the resulting smooth source use the strict transform of the original boundary plus the full reduced exceptional divisor, and resolve the total support to SNC. These modifications are isomorphisms over very general base points. The invariant is independent of these choices.
A smooth-base fibration is neat if there is a proper bimeromorphic orbifold morphism of its source pair to a smooth pair, with the boundary pushing forward, which contracts every source prime mapping to codimension at least two in the given base. The hypothesis below includes existence of suitable neat models and the formula
Assumption 2.2 (Full orbifold Iitaka subadditivity). Let be a smooth compact connected manifold in Fujiki class , let be an effective rational SNC boundary with coefficients in , and let be a surjective holomorphic map with connected fibers onto a normal compact irreducible complex space. In arbitrary dimensions,
where is a very general smooth fiber with SNC boundary restriction, and the invariant base is defined by (2)–(5).
Here very general means outside a countable union of proper closed analytic subsets, as well as the critical values and unsuitable boundary-stratum loci. The zero boundary is allowed, a point has Kodaira dimension zero, and a sum with is . Neither source nor base need be projective. There is no abundance, positivity or good-model premise in Assumption 2.2. The displayed statement is the orbifold subadditivity theorem of [63], Theorem 1.1. For later use, on a smooth base the invariant is at least , by effectivity of the orbifold boundaries and smooth birational invariance.
The pseudo-effective fourfold program
The closed analytic cone consists of positive closed bidimension- currents, modulo their pairings with all real Bott–Chern -classes. We use its negative extremal rays in the following hypothesis.
Assumption 2.3 (Pseudo-effective fourfold MMP). Assume Assumption 2.2. Start from an ordinary klt pair , where is a normal irreducible globally strongly -factorial compact Kähler fourfold, is effective and rational, and the actual adjoint is -Cartier and analytically pseudo-effective. No initial modification is inserted. The following program exists and terminates.
At every non-nef stage there is a nonzero -negative extremal ray of , and every such ray may be chosen. It has a nef supporting class with
For every chosen ray there is a projective surjective bimeromorphic contraction with connected fibers , where is normal compact Kähler, , and is relatively ample. For some Kähler class on ,
A divisorial contraction gives the next pair by pushforward. For a small contraction the canonical log-canonical-positive flip is the relative analytic Proj of
for a sufficiently divisible positive Cartier index . This algebra is locally finitely generated. Its Proj is normal and its map to is projective, small and has connected fibers. The boundary is strictly transformed; the new actual adjoint is relatively ample, and its divisible Cartier multiple is the tautological line bundle. Passing to a Veronese does not change the model.
Each new pair is klt, compact Kähler and globally strongly -factorial, with -Cartier analytically pseudo-effective actual adjoint. Every nonterminal finite prefix can be extended. Every program so obtained has finitely many steps, irrespective of the choices of negative rays. It ends at an analytically nef pair. The composite map extracts no prime and satisfies the minimal-model discrepancy inequalities, weakly for every prime over the models and strictly for every original prime contracted.
Assumption 2.3 is supplied by [62] in the stated pseudo-effective subcase, without an orbifold Iitaka hypothesis. The assumption gives neither a first plurisection nor semiampleness. It includes no non-pseudo-effective program and no dlt or generalized-pair extension. Fiber-type contractions are not stopping outcomes in this program. The Cartier index may change at every stage; no positive-side relative Bott–Chern dimension or identification of absolute Bott–Chern spaces across a flip is assumed. Trivial flops, inserted blowups and arbitrary birational walks are not steps of the program. These distinctions matter when auxiliary boundaries are used below.
Abundance after nonvanishing
Assumption 2.4 (Effective fourfold abundance). Let be a normal connected compact Kähler fourfold and an effective rational boundary such that is klt and the actual adjoint is -Cartier. If is analytically nef and , then a positive Cartier multiple of is globally generated.
Assumption 2.4 is the abundance-after-nonvanishing theorem of [61], Theorem 1.1. It needs no strong factoriality hypothesis and includes the actual torsion conclusion when . Its nonvanishing premise is explicit. No auxiliary statement from its proof is granted separately.
The proof uses all three hypotheses. Apart from them, established literature is invoked at its stated scope. The separate projective abundance theorem used in the Moishezon branch is proved in Appendices A–I; Lemma 3.1 establishes its sole subadditivity premise from Assumption 2.2.
Reductions to canonical nonvanishing
We first discharge the hypothesis of the projective theorem proved in the appendices. We then reduce the remaining problem to canonical nonvanishing on a smooth compact Kähler fourfold of irregularity zero. Throughout, a fibration means a surjective holomorphic map with connected fibers. Smooth source and target spaces do not mean that the map is everywhere a submersion.
The projective case
Lemma 3.1 (The logarithmic premise). Assumption 2.2 implies the following statement. Let be a fibration between smooth connected complex projective varieties, and let be reduced effective simple normal crossing divisors, possibly zero, such that
For a very general smooth fiber , with , one has
The usual convention for a summand applies.
Proof. It suffices to prove
because Assumption 2.2 can then be applied to the original pair . We construct a neat model in the precise equivalence class occurring in that assumption.
Flatten by a projective modification of its base and resolve that base, obtaining with smooth projective. The main strict transform before resolving the source can be taken equidimensional over . Indeed, start with the flat strict transform provided by flattening and then base-change to the smooth resolved base. Flatness persists; the unchanged smooth connected generic fiber is irreducible, and flatness rules out vertical components. The main space consequently has pure fibers of dimension . Resolve it and its boundary to obtain a commuting diagram
Here is a projective birational morphism, is smooth projective, and has connected fibers: its general fiber is connected, so Stein factorization over the normal base has trivial finite factor. Set equal to the strict transform of plus the full reduced -exceptional divisor, and arrange that its support is simple normal crossing.
This is an allowed orbifold modification of the source pair. It pushes to . If a prime upstairs has positive pullback order over a coefficient-one prime of , it is either that prime’s strict transform or a -exceptional prime; in both cases its coefficient upstairs is one. Thus the infinite-multiplicity condition in the definition of an orbifold morphism is satisfied.
Moreover, witnesses neatness. Let be a divisor whose image in has codimension . In the equidimensional main space its image has dimension at most
Its image in therefore has codimension at least two, so is -exceptional. Subsequent resolutions preserve this argument.
Let be the orbifold base divisor on . Every component of a pullback over a prime of belongs to : this follows from (7) if it is not exceptional over , and from the definition of otherwise. The multiplicity assigned to each such source component is infinite. Consequently
There is also an effective -exceptional divisor such that
for compatible canonical divisors. Above the boundary, this is the nonnegativity of log discrepancies of the simple normal crossing pair ; away from the boundary, it is the nonnegativity of the ordinary discrepancies of the smooth space . Equivalently, a blowup of a smooth center of codimension contained in boundary components contributes if the center lies in the boundary, and otherwise, both nonnegative.
The neat-model formula in Assumption 2.2, followed by (10) and (11), now gives
This proves (9). In particular, the infimum in the definition of the invariant has been computed on an allowed neat model, rather than replaced by the divisor of an arbitrary base model.
Corollary 3.2 (Projective abundance in the present setting). Under Assumption 2.2, a nef -Cartier adjoint of a normal projective log canonical pair over , with effective rational boundary, is semiample.
Proof. Lemma 3.1 is exactly the logarithmic-Iitaka hypothesis of Theorem A.2. Apply that theorem, whose full proof is included in the appendices.
In particular, the Moishezon case of Theorem 1.2 is settled. A compact Kähler Moishezon space with rational singularities is projective by Namikawa’s criterion [60]. Analytic klt singularities are rational; this follows as well from relative vanishing on a projective log resolution [31]. Thus a Moishezon klt endpoint of Assumption 2.3 is projective. Its rational analytic boundary and adjoint are algebraic by Chow’s theorem and GAGA, and analytic nefness implies nonnegative degree on every curve. Corollary 3.2 applies to its actual adjoint line.
Lower-dimensional inputs and restriction to fibers
We use smooth compact Kähler resolutions of spaces, pairs, and graphs. The resolution and Kähler-modification theorems ensure that these can be obtained by projective modifications and remain Kähler [45, 74]. A space in Fujiki class has a smooth compact Kähler model. The quantities , , and for smooth compact Kähler are bimeromorphic invariants.
We recall precisely the lower-dimensional nonvanishing facts used below. A smooth non-uniruled compact Kähler manifold of dimension at most three has nonnegative canonical Kodaira dimension. In nonprojective dimension three this is [47], Corollary 1.4. More explicitly, take a terminal minimal model by Höring–Peternell and apply canonical nonvanishing [27], Theorem 0.3 to its nef canonical class. Terminal discrepancy comparison pulls its plurisections back to the smooth model. In the projective case, the klt minimal model program and log abundance in dimensions at most three imply nonvanishing for every effective rational klt pair with pseudo-effective adjoint [53], [51], [52]. Finally, Ou’s Theorem 1.1 identifies non-uniruledness of a smooth compact Kähler manifold with analytic pseudo-effectivity of its canonical class [64]. These inputs have no four-dimensional nonvanishing conclusion.
We will repeatedly use the following elementary parameter observation. Let be a proper fibration between smooth compact complex manifolds, and let a pseudo-effective rational adjoint on have a closed positive representative with local potentials. Its restriction to a smooth fiber is defined and positive for almost every parameter: local plurisubharmonic potentials restrict unless they are identically minus infinity, and Fubini excludes the latter event for almost every parameter. This full-measure set meets the complement of any countable union of proper analytic subsets. If the lower-dimensional results give nonvanishing on those fibers, a fixed multiple has sections generically. Indeed, on a connected smooth parameter open set the loci
for divisible positive integers , are analytic jumping loci by proper semicontinuity. If every one were proper, their union would have measure zero. Some such locus is therefore the whole open set. Generic base change gives a direct image of positive rank. The same reasoning allows all required very-general smoothness and boundary conditions to be imposed simultaneously.
The uniruled and irregular cases
Lemma 3.3 (The uniruled reduction). Assume Assumption 2.2. Let be a non-Moishezon compact Kähler klt fourfold with effective rational boundary and pseudo-effective -Cartier adjoint . If a smooth compact Kähler resolution of is uniruled, then .
Proof. Take the almost-holomorphic rational-chain quotient of a smooth resolution of . Campana’s rational quotient theorem in class gives a quotient with base in that class and very general fibers rationally connected after resolution [14], Theorem 2.6. Resolve the quotient and the pair simultaneously to a fibration
with smooth compact Kähler. The very general fibers are projective: rational-chain-connected manifolds in class are Moishezon by Campana’s algebraic connectedness criterion [13], and a smooth Kähler Moishezon manifold is projective. They are then rationally connected.
The quotient base is not uniruled; see also [64], Lemma 8.10. For completeness, suppose otherwise and choose a covering rational curve through a very general point of . Pull the fibration back to its normalization and resolve the main component, obtaining a smooth compact Kähler space over with rationally connected very general fiber. Such a fiber has no holomorphic one- or two-forms. A global two-form on restricts to zero on those fibers; the relative differential sequence over the smooth locus then places it in the base-one-form times relative-one-form piece. Its restriction there is again zero, so the two-form vanishes on a dense open and hence everywhere. Thus . Rational approximation of a Kähler class, followed by Kodaira’s criterion, makes projective. The Graber–Harris–Starr theorem supplies a section of [39].
The chosen base point can be taken so that its original quotient fiber is not contained in any of the countably many analytic exceptional sets in the very-general quotient property. This follows from the proper fiber-dimension theorem on the resolved quotient. Consequently the rational curve is contained in none of the corresponding bad parameter sets. Choose two distinct good parameters on it. In each smooth projective rationally connected fiber, rational chains join a very general point to the point of the section. The section joins these two chains. Their projection to is a rational chain joining points of different very general rational-quotient fibers, where the original almost-holomorphic quotient is defined. This contradicts the quotient property. Hence is not uniruled. Its dimension is positive, since a point quotient would make Moishezon, and is at most three; the fiber dimension is likewise between one and three.
On the simultaneous log resolution write
where is simple normal crossing and is -exceptional. Concretely, take the nonnegative part of the crepant log pullback boundary; its negative part becomes . The adjoint in (12) is pseudo-effective. At a very general smooth fiber we can impose the klt simple normal crossing restriction and also restrict its positive current, by the parameter observation above. Projective nonvanishing in dimension at most three gives . The non-uniruled base similarly satisfies .
For a smooth base, the invariant orbifold-base dimension is at least its ordinary canonical Kodaira dimension: on every equivalent smooth model the orbifold divisor is effective, and the smooth canonical Kodaira dimension is birationally invariant. Assumption 2.2 therefore gives . A resulting section pushes through (12) to a section of a positive multiple of . The exceptional pole allowance disappears away from a codimension-two subset of the normal target, and reflexive extension fills that subset.
Lemma 3.4 (Irregular canonical nonvanishing). Assume Assumption 2.2. If is a smooth non-uniruled compact Kähler fourfold with , then .
Proof. Resolve the Stein-factor base of the Albanese map and its main pullback. This gives a fibration on smooth compact Kähler models, with a positive-dimensional smooth base mapping generically with full rank to the Albanese torus. A suitable wedge of the invariant one-forms on that torus pulls back to a nonzero section of . The very general fiber has dimension at most three; if its dimension is zero, it is a point. The pseudo-effective canonical class of the total space restricts to the canonical class of almost every smooth fiber. Lower-dimensional canonical nonvanishing and the parameter observation supply on very general fibers. Assumption 2.2, with zero boundary, now gives canonical nonvanishing on the resolved total space and hence on .
Proposition 3.5 (Canonical reduction). Under the three assumptions of the main theorem, it is enough for Theorem 1.2 to prove canonical nonvanishing for every smooth non-uniruled non-Moishezon compact Kähler fourfold with .
Proof. Let be the nef klt endpoint in Theorem 1.2, and put . The Moishezon case was settled by Corollary 3.2. Let be a smooth compact Kähler resolution in the remaining case. If is uniruled, Lemma 3.3 applies. Otherwise Ou’s theorem makes pseudo-effective. A section of a divisible canonical power on pushes to the corresponding reflexive canonical power on , and multiplication by the effective boundary section, at a common multiple, gives a section of . Thus canonical nonvanishing on suffices. Lemma 3.4 handles , leaving exactly the stated case.
Once nonvanishing on this original endpoint is established, Assumption 2.4 makes its adjoint semiample. Its other good-minimal-model and discrepancy properties have already been supplied by Assumption 2.3. None of the auxiliary models constructed later needs to replace this endpoint.
Positive algebraic dimension
Proposition 4.1. Assume Assumptions 2.2, 2.3, and 2.4. Let be a smooth non-uniruled compact Kähler fourfold with and . Then .
The first step constructs an actual canonical pullback over a projective base. We then prove nonvanishing of that base line in each of its three possible dimensions.
A contraction index bound
Lemma 4.2 (A local rationality bound). Let be an ordinary rational klt pair on a normal -dimensional compact Kähler space, with actual -Cartier adjoint . Let be a projective bimeromorphic morphism with connected fibers to a normal compact Kähler space. Assume that is relatively ample and that all contracted curves have class in one -negative ray of . Let be an integer such that is Cartier, and let be a line bundle with . For any nontrivial fiber of ,
No local analytic -factoriality is required. In particular, this applies to the contractions in Assumption 2.3, with .
Proof. Every curve in has nonzero class, since a Kähler class has positive degree on it, and its class belongs to . Therefore
is independent of . The restriction of to the projective fiber is numerically a positive multiple of the relatively ample rational line . It is thus ample on , and the openness of fiberwise ampleness makes relatively ample after shrinking around the image point of .
Work over a small Stein neighborhood of that point, with compactum equal to the point. At , the restriction of is numerically trivial, hence nef but not ample on the nontrivial fiber. Fujino’s relative rationality theorem applies to this finite positive threshold: in lowest terms its denominator is at most [32], Theorem 4.3.1. The non-lc-locus condition is empty for a klt pair, and the singleton compactum satisfies the required local condition on the Stein base. The relative numerical space over it is finite dimensional, as is also seen by restriction to the projective fiber. The theorem consequently gives , which implies (13).
The line-bundle formulation is expressly permitted by [32], Remark 4.3.4; the nearby ampleness assertion is [32], Lemma 2.2.4. Canonical divisors in that theorem may be handled locally, in its formal canonical-class convention. Alternatively, over the Stein neighborhood the proper direct image of a rank-one canonical sheaf is coherent of rank one, since the contraction is bimeromorphic. Cartan’s theorem supplies a generically nonzero section, hence a meromorphic canonical representative there. This requires no global meromorphic canonical frame on the compact source and no local -factoriality. The Cartier index used in the bound belongs to this stage alone.
An actual canonical pullback
Put . Resolve a map defined by algebraically independent meromorphic functions on . Stein factorization has a projective base, since its finite map has projective image. Resolving that base and the main graph, we may replace by a smooth compact Kähler model on which there is a fibration
The generic fibers remain connected through these modifications; Stein factorization over the normal resolved base gives connected fibers everywhere. Fix a very ample line bundle on .
Since is pseudo-effective and , the restriction and parameter argument in Section 3 gives for some positive integer . Coherence and ample twisting on the projective base imply that has a nonzero global section for every sufficiently large integer . Thus there is such that
Proposition 4.3 (The pullback model). There are a canonical globally strongly -factorial compact Kähler fourfold , a normal projective variety of dimension , a fibration , and an actual rational line bundle , such that
The space is obtained from the current smooth by a finite empty-boundary -program allowed by Assumption 2.3, and remains pseudo-effective.
Proof. At a stage of the empty-boundary program that still maps to , write and . All these stages are canonical. Indeed, a common projective resolution of a negative canonical step gives the comparison
with exceptional over the after model. The comparison follows from the projective analytic negativity lemma over the contraction base: there is no extraction, and canonical negativity supplies the relative sign. For flips both sides and their common resolution are projective over that base. Compatible local canonical comparisons glue to the intrinsic discrepancy divisor in (16). Discrepancies therefore do not decrease. Starting from smooth , this preserves canonicity. The remaining category and pseudo-effectivity properties are part of Assumption 2.3.
Choose a Cartier index for , and choose an integer
This choice is made anew at the current stage. The actual line has an effective rational klt boundary representative: take a general divisor in a sufficiently high free multiple of and divide by that multiple. On a fixed log resolution the system has no fixed exceptional component, and Bertini makes the chosen member transverse to the exceptional strata; its small coefficient preserves klt. Its adjoint is pseudo-effective because is pseudo-effective and is semipositive.
If this adjoint is not analytically nef, Assumption 2.3 supplies an extremal ray on which is negative. Since is the pullback of a semipositive form, the ray is also -negative. Take its contraction and its negative step for the empty-boundary program. In fact
Otherwise Lemma 4.2, with and , gives
on any curve of a nontrivial contraction fiber, contrary to (17).
Every connected projective fiber of the contraction maps to a point under . If its image had positive dimension, some curve in that fiber would map nontrivially to the projective base and have positive -degree. Proper descent over the normal contraction target therefore factors through it. In a flip, composition with the positive-side morphism gives . Thus the actual pullback line , not merely its numerical class, continues to be the pullback of the fixed .
Repeat this procedure as long as the selected twist is not nef. Every step actually taken is a step of the single empty-boundary -program starting from . The changing integers select rays; they do not change that program’s boundary. If the procedure were infinite, it would contradict the arbitrary termination assertion in Assumption 2.3. It therefore reaches a stage at which its selected is nef. In particular, if the canonical program reaches a nef canonical class, the selected semipositive twist is nef there as well.
For this final value of , (14) already gave a section on the original . Clear the finitely many Cartier indices of the chosen program. Since no step extracts a prime and all maps agree to , that section pushes through every step as a section of the corresponding actual twisted canonical power. Reflexive extension across codimension two on each normal target justifies the pushforward. Hence before abundance is invoked. Assumption 2.4, applied to the klt representative above, makes this actual line semiample.
Set , choose a free integral multiple , and let be its morphism. Take the Stein factorization of . The variety is normal and finite over the projective image, hence projective. Let and be the induced maps. We have because is surjective, and because is projective. Define
The defining evaluation isomorphism for and the actual identity prove (15).
Choose a smooth projective resolution , and resolve the main graph to obtain a smooth compact Kähler with and a fibration . Put . Canonicity and the fixed actual isomorphism in (15) give
This is an identity of rational line bundles; all further resolutions use its canonical transform. Pullback of holomorphic one-forms gives .
The rational line is pseudo-effective. To see this with the analytic definition, pull a positive representative of , with local potentials, to . The map is dominant, so its plurisubharmonic potentials do not become identically minus infinity. If is a Kähler form on , then
is a closed positive -current. The projection formula puts its class in , where the degree-zero closed current is the positive constant volume of a smooth general fiber. Division by proves the assertion. Since is projective, this also gives numerical divisor pseudo-effectivity [][12].
It remains to prove . A section then pulls back through (20), multiplied by the effective exceptional section, to a canonical plurisection on , and hence on . If , the smooth projective curve has , so it is ; a pseudo-effective rational line on it has nonnegative degree and has a section at a divisible multiple. The two remaining dimensions require more information from the fibration.
A surface base and fiber powers
Assume . Fix a sufficiently divisible positive integer for (20). On very general smooth fibers one has
At least one section is supplied by the effective divisor . If for a fixed divisible the generic dimension were at least two, generic base change and ample twisting of would give two sections whose ratio is nonconstant on a general fiber. Together with meromorphic functions from the two-dimensional projective base this would give algebraic dimension at least three, contrary to . The analytic jumping loci for the countably many ’s can be excluded simultaneously, proving (21).
Lemma 4.4 (A base intersection inequality). There are nonnegative rational numbers , indexed by the finitely many -exceptional curves on , such that
for every ample divisor on .
Proof. Choose a dense open set of over which is smooth and the generator supplied by (20) is not identically zero on any fiber. This requires deleting a proper analytic subset: a horizontal divisor cannot contain a whole fiber over a divisor in the base without being vertical, by the fiber-dimension theorem; the remaining degeneracies are proper analytic images or jumping loci. Include all -exceptional curves among the finitely many complementary curves.
For each such curve , fix a component of dominating , write
and make these choices before choosing any ample test curve or fiber power. If is not exceptional over , take with . Indeed, over a general point of its image divisor in the normal , a local equation pulls back under the holomorphic to a divisor on dominating that base divisor. The strict transform of one such component has zero coefficient in the -exceptional . For an exceptional , set
Replace by a sufficiently large very ample multiple and choose a smooth member of genus at least one. It can be chosen transverse to all complementary curves at their general points, avoiding their finitely many excluded points and any isolated bad base points. Moreover, is smooth by Bertini for the pulled-back free system, and connected because has connected fibers. To retain (21), choose through one parameter where all those countably many equalities hold. A high enough linear system through that point is free away from it; on its fiber is a submersion, so the same Bertini conclusion holds there. Each jumping locus then cuts a proper analytic subset of . Thus very general fibers of satisfy all the equalities in (21).
By adjunction,
At each , a general point of the chosen component over admits coordinates on and a parameter on in which
in that chart. A unit in the pullback equation is absorbed into . Such charts exist over general points of : the map is generically submersive, and its intersections with the other divisorial supports have smaller generic fiber dimension. Properness and the fiber-dimension theorem allow the exceptional base points to be discarded before is chosen. These choices are independent of the next integer .
For , take the main component of the -fold fiber product of over , and a smooth compact Kähler resolution of it. Over the good open set this fiber product is smooth with connected fibers , hence has a unique main component. It is an analytic subspace of a product of compact Kähler spaces; the required Kähler resolution and connected-fiber morphism to follow as above. The general fiber has a canonical section by (21), and . Assumption 2.2, with zero boundary and in dimension , gives a nonzero section of for some . By taking a power, make divisible by and all indices in use. It may depend on and .
Over good parameters, the product formula and (21) make the fiberwise pluriform space one-dimensional. The chosen section is therefore the product of the relative generators in (24), times a base pluriform and a scalar base coefficient. This coefficient is a section on the good open of the line
Indeed, its quotient by the displayed product is constant on very general fibers; local submersion sections and analytic continuation give meromorphic descent to that open. Evaluation at points where the product does not vanish identically on the fiber makes the descended coefficient holomorphic there.
We compute its order at a missing point . In (25), a frame of maps, up to a unit, to
On a normalization branch of the local -fold product we have , , where . Multiplying the relative factors by one base factor , and using , gives order
along . This smooth normalization branch belongs to the main component, being a closure of points with . The global pluriform on has no pole at its generic divisor, by birational comparison. Its scalar coefficient , pulled back by , therefore extends meromorphically, with
In particular,
There is no pole allowance at a nonexceptional base curve, where . The exceptional allowances are exactly , with the fixed in (23).
The nonzero meromorphic coefficient in (26), with these pole bounds, implies
Divide by and let , keeping fixed. Since is a positive multiple of , this proves (22).
Take the surface Zariski decomposition [4]
where is nef, has negative-definite support if nonzero, and is orthogonal to every component of . The negative-part linear equations give rational coefficients, so remains an actual rational line. For a -exceptional curve , . If belongs to , orthogonality gives ; otherwise both and are nonnegative, and their sum is zero. Hence every such is orthogonal to .
If , the equality makes a divisible multiple of torsion, so is zero in . If , the nef line is big. Either case supplies sections of a positive multiple of . In the remaining case, and . Test (22) on ample classes approaching . The exceptional terms and vanish, giving . For large divisible ,
since . Serre duality gives for large : the divisor has negative degree against a fixed ample divisor. Thus ; multiplication by the section of proves .
A threefold base and genus-one orders
Assume . The general fibers of are smooth connected genus-one curves. Indeed, the singular locus of normal has dimension at most two, so misses a general fiber; generic smoothness then applies, and (15) makes its canonical line torsion. Also all components of in (20) are vertical over : their images on have dimension at most two.
Choose one integer , divisible by 12, that clears the Cartier data and the actual isomorphism in (15). It clears (20) on every smooth model subsequently used. In fact, the pullback of a local frame of the Cartier line , regarded on the regular locus as an -pluriform, has integral orders on every resolution. Those orders are precisely . There is thus no need to choose a new index after a base blowup.
The actual Hodge line and its growth
Shrink to a dense open , also viewed on , on which the family is smooth and agrees with its resolution. Let be its line of holomorphic fiberwise one-forms. It is a holomorphic line by Grauert base change; periods against local integral cycles are holomorphic. Give it the Hodge norm, so that is, up to a fixed convention, the fiber integral of .
Evaluation is an isomorphism: a nonzero holomorphic one-form on a smooth genus-one curve has no zero. Its -th power, together with the fixed actual pullback identity, gives an isomorphism of pullbacks of lines on . Applying and yields the actual identification
It is compatible on all birational base models over their common open. No section of the genus-one fibration is needed: its first integral cohomology, periods, and invariant differentials are defined without an origin. In particular, (31) leaves no unspecified flat line factor.
Let and be the classical modular forms of weights four and twelve for [68], Chapter VII. A local symplectic period basis gives a parameter in the upper half-plane and a normalized Hodge frame with periods . The weight transformation laws compensate the frame transformation, so these forms define sections of and . Define sections of by
where the tensor powers of the normalized frame are understood.
Near a general point of a complementary prime divisor on any smooth base model, let be its equation. There are positive constants , locally uniform in the remaining coordinates, such that
Here is the full growth argument. In the standard fundamental domain the normalized frame has squared norm proportional to . Both scalar modular forms are bounded there, has no zero in the upper half-plane, and at the cusp. On the compact part their joint norm has a positive minimum; at the cusp the term supplies the same positive lower bound. This also covers the case where is identically zero on the given family.
For the upper bound, restrict to punctured disks transverse to the prime, with the other parameters in a small compact set and with inside . Lift the period map to universal covers. Schwarz–Pick makes it distance-decreasing for the hyperbolic metrics. The radial hyperbolic distance in a punctured disk, from a fixed radius to , is . Starting period representatives at that radius can be chosen in a bounded part of the fundamental domain, uniformly in angle and the other parameters, by compactness inside the smooth locus. Since changes by at most hyperbolic distance, both and its inverse are bounded by powers of along the lifted radial paths. Returning to the fundamental domain preserves such a bound, because for ,
The bounded scalar modular forms and the Hodge-frame norm now prove the upper inequality in (33).
The integration threshold and meromorphic extension
Fix a prime , a local parameter at its general point, and a frame of . On a simultaneous log resolution of and , recompute by the canonical comparison in (20). Define
The minimum is taken over components above the general point of . It is positive because .
Lemma 4.5 (The divisorial order identity). The sections extend meromorphically to . If
omitting an identically zero section, then
The same identity holds on every subsequent smooth base model, using its actual line and the fixed integer .
Proof. First identify the weighted integrability threshold of the frame:
Multiply by a local -canonical base frame. Under (20), the resulting total-space pluriform has divisor . On a smooth good fiber it is the -th tensor of a one-form, up to a scalar, so integrating its -density along the fiber gives times the smooth base coordinate density. Fubini and change of variables therefore identify the weighted base integral with the total-space integral. In simple normal crossing coordinates the latter has, at a component , a factor
Such a factor is integrable exactly when . Choose the point of generally to exclude components not dominating it, and use properness for a finite covering of its inverse image. The conditions are exactly those in (34), proving (36).
We next establish a polynomial lower bound on the Hodge norm of , without assuming meromorphic extension of the modular coefficients. Choose one component above general , of multiplicity and coefficient in . At a general point of , the map has local coordinates
on the base, with one further fiber coordinate on the source. The map is submersive there, units have been absorbed into , and no other divisorial support meets the chart. The total pluriform associated with is a unit times . After division by the base pluriform, its relative coefficient is a unit times . Integrating on a fixed smaller disk in the -coordinate gives
These charts are available above every point of outside a proper analytic subset. Indeed, the non-submersive locus and intersections with the removed supports are proper subsets of ; those that dominate have strictly smaller generic fiber dimension. Properness and the fiber-dimension theorem show that a general fiber of is not exhausted by them. We also omit the singular and intersection loci of complementary base divisors.
On the punctured chart, write . Combining (33) with (37) gives an upper bound for by a fixed power of , after absorbing a logarithmic power into an arbitrarily small additional power. Thus has at most a pole across general . The integer pole allowance can be fixed for that prime because the exponent in (37) depends on the one fixed component . There are finitely many complementary prime divisors. Twist by their bounded pole allowances; both sections are then holomorphic away from an analytic set of codimension at least two. Hartogs extension on the smooth gives global meromorphic sections of the original .
At a general point of , the two meromorphic scalar coefficients satisfy
Equation (33) therefore gives
The supremum of the exponents for which the weighted expression is integrable is consequently : it is integrable for strictly smaller , and the lower bound makes it nonintegrable for strictly larger . Its possible behavior at the endpoint does not change the supremum. Comparison with (36) proves (35). At a good divisor the identity is immediate.
On a further smooth base modification the same argument uses its canonical line and a simultaneous resolution of the total space. The integer still clears the actual identity, as explained above. The sections agree on the common open by (31), and hence over the meromorphic field. Thus the calculation applies with the same on every model needed below.
For a prime that is not exceptional over , one also has
Indeed, as in the surface argument, a component of the inverse image of its image divisor on is a divisor on dominating it. Its strict transform has coefficient zero in and positive integral pullback multiplicity. It is one of the components tested in (34). No such upper bound is required for a base-exceptional prime.
A klt adjoint on the original base
Resolve the meromorphic pencil by projective blowups of , and then resolve the divisorial supports, including the exceptional locus over . A constant pencil is allowed. If is such a smooth modification, its actual line is
Consequently both section divisors transform by their pullbacks minus the same relative canonical Jacobian term. Resolving the pencil and subtracting its full signed fixed divisor therefore leaves a free moving system; subsequent blowups pull back that free system and preserve its freeness.
Rename this smooth model . Its fixed divisor is , with simple normal crossing support. A general complex linear combination of has
where is a general member of the free moving system, possibly zero. Bertini makes it smooth, reduced, and transverse to all the chosen strata, with no fixed component. Every coefficient of this simple normal crossing divisor is strictly less than one: the fixed coefficients are , and the moving coefficient is . The fixed coefficients over exceptional primes may be negative.
Regard downstairs as a rational section of the rank-one reflexive difference , and define
Equation (39) shows that . There is an actual rational-linear identity
To verify both this identity and crepancy, choose over the rational function field a frame of and a rational canonical form , and write . With canonical divisor chosen by ,
The right side is Cartier. Pull it back to and subtract ; the result is precisely , with the canonical Jacobian term in (40). Thus
for compatible rational divisor representatives. This proves that is klt: is its simple normal crossing crepant boundary with every coefficient less than one. Only the sum has been proved -Cartier; a separate -Gorenstein hypothesis on was not used.
Finally put . It is an effective rational klt simple normal crossing boundary, and
The exceptionality follows from : negative coefficients of the crepant boundary occur only over ’s codimension-two locus. This adjoint is numerically pseudo-effective on the smooth projective threefold . Projective klt threefold nonvanishing, in the scope recalled in Section 3, gives a section of a positive multiple of . Push it to . The exceptional pole allowance disappears in codimension one, and normality extends the section of the actual line across codimension two, after taking a common multiple. Hence , as required.
Proof of Proposition 4.1. Proposition 4.3 gives (20) with pseudo-effective and . The curve, surface, and threefold arguments above each give in the corresponding dimension. Pull a divisible section back to and multiply by the section of in (20). This gives a nonzero canonical plurisection on , and smooth birational invariance gives .
Minimal singularities of nef klt adjoints
We prove the metric statement needed in the remaining nonprojective case. The proof does not require sections of a positive twist. We use , and identify the class of a line bundle with its curvature class; thus the usual factor in its first Chern class is understood. Weights on a rational line bundle mean weights obtained by taking a root of a metric on a fixed Cartier power. All the line identifications below are actual rational line-bundle identifications.
Lemma 5.1 (Minimal metric of a nef klt adjoint). Let be a compact Kähler log resolution of a normal compact Kähler klt pair , where is rational and is a nef rational line bundle. Then a semipositive metric with minimal singularities on
has zero Lelong numbers at every point of .
Proof. We may suppose that is connected. The assertion is immediate in dimension zero, so write .
The proof is by contradiction from a positive Lelong number. We construct the normalized Monge–Ampère family (54) and transport its tail to obtain (86). Keeping the potentially concentrating residual measure, we compare on the same sublevel set to obtain (89). We then take at fixed ; the upper Lelong estimate (90) contradicts the lower bound (93) as $t\to 0.
Resolution data and regularized measures
The log pullback gives
with simple normal crossings support. Choose a smooth weight on , pulled back from downstairs, and write for its curvature. Fix Kähler forms on and on , and a smooth probability volume on . On a singular space, smooth forms and weights are understood through smooth local potentials.
For , put
Analytic nefness gives a smooth function such that is semipositive and positive definite on a dense open set. Indeed one can spend only half the available in the nef approximation downstairs. Consequently
The second equality follows from the dimension of the image of an exceptional divisor and the fact that is pulled back.
Nefness and weak compactness give a positive current in . Let
The weight has minimal singularities. Suppose, for a contradiction, that its Lelong number is positive at a point. In local coordinates centered at that point, choose such that
In a local frame for , write for its canonical section and . Set . The actual identification (45) defines a global volume : locally its density is , with the coordinate volume associated with the canonical frame. Choose smooth weights on and set
These local expressions respect the line transitions. The measures are smooth and positive, and their densities converge almost everywhere to that of . The simple normal crossings description and give constants and such that
for some fixed . To obtain the second assertion, take small enough for the finitely many negative coefficients in (45). Fix
Let along a sequence, and for each take . We shall choose
The class of is Kähler, although the chosen smooth representative need not be positive. After choosing , choose a smooth -psh function such that
The maximum is bounded and -psh. Regularization with arbitrarily small curvature loss gives smooth approximants because the bounded potential has no positive Lelong numbers [22]. A smooth convex regularized maximum with , and the upper bound from Hartogs’ lemma, give the stated pointwise bounds. Finally choose . Additional smallness requirements on and will be imposed below, in this order. None of these data depends on the parameter .
For , solve
Here and below denotes a probability measure. The Aubin–Yau theorem applies in the Kähler class [2, 76]. More precisely, the positive coefficient is the negative- case of [3], Theorem 7.14; it gives uniqueness and an invertible linearized operator. Thus depends smoothly on .
A capacity estimate independent of the class volume
We first establish estimates uniform in , , , , whenever the displayed conditions hold. All the representatives have a common upper bound by a fixed multiple of . We use the following standard uniform integrability consequence of Skoda’s theorem and semicontinuity of complex singularity exponents: for fixed , there are such that
One obtains uniformity by compactness of normalized quasi-psh functions, local Skoda integrability at each limit, and Demailly–Kollár semicontinuity [70, 26].
Put , with the same envelope convention as in (48). For each of our Kähler classes, is bounded and . Define the normalized capacity by
We suppress the subscript when there is no ambiguity. In particular, . There are constants , independent of the class volume , such that
for every Borel set , with the usual value zero on the right when the capacity is zero. Here is the normalization argument. For a compact nonpluripolar set , let be the upper regularization of the global -psh extremal with obstacle zero on , and put . The compact Kähler extremal theory gives a bounded function, at most zero on outside a pluripolar set, maximal outside , with Monge–Ampère mass carried by [40], Sections 5–7.
These statements also hold for our possibly nonpositive smooth representative. Indeed the defining family has a bounded competitor. If its supremum were unbounded, sup-normalization, quasi-psh compactness and a rapidly convergent weighted sum would produce a quasi-psh pole on , contradicting nonpluripolarity. The obstacle constraint survives upper regularization outside a pluripolar set. A quasi-everywhere constraint gives the same envelope: mix a competitor with arbitrarily small weight on a nonpositive -psh function having a pole on the exceptional pluripolar set, whose existence is the global pluripolarity theorem in a Kähler class. Finally local balayage off proves maximality there. This explains why no normalization is being assumed.
By its defining property and sup-normalization,
If , then
is admissible in (56). Positivity of mixed products and the mass support of give
In particular . The volume has canceled exactly. The function satisfies (55), and is at most on almost everywhere. Hence . If the capacity is less than one, (58) implies ; capacity one is absorbed in the constant. Hölder and (51) prove (57). Pluripolar compact sets have zero volume, and inner approximation proves the Borel-set assertion.
Initial comparison and a uniformly small shell
First,
Otherwise normalize by its supremum and take an almost-everywhere convergent subsequence using quasi-psh compactness. The limits are finite almost everywhere. The measures also subconverge almost everywhere to a density positive almost everywhere, including when . Since , Fatou’s lemma applied to (54) would make its total mass tend to infinity. This contradicts .
Fix
For a capacity test and , put
Since , the set satisfies . On , for ,
We used , , and . The Bedford–Taylor comparison principle on this same set and mixed-product positivity therefore give
For completeness, write . A fixed in (60) first makes uniformly small for large . Then (57) gives, after enlarging a uniform constant,
Choose an initial so that , and successively take . Each step halves , and the sum of the increments is bounded by a geometric series. Monotonicity gives zero capacity above the limiting level. The resulting almost everywhere inequality extends to the quasi-psh representatives. Thus
Since , and has a uniform lower bound by (53), we obtain
In particular, and have two-sided pointwise bounds depending on , , but independent of the extra smallness of , , and independent of the permissible choice of .
In the rest of the proof, means a quantity tending to zero as , uniformly in and , after the choices specified below. We can choose one fixed large for which
To see the uniformity, consider any sequence with , allowing both and to vary. A subsequence of converges in and almost everywhere to a -psh function bounded above by . Moreover,
The asserted tail estimate follows by taking . Absolute continuity for , the uniform bound for , and (54) now imply that the shell
has mass for . At , the whole tail has -mass . At a general , only the bounded-shell assertion has so far been proved.
Differentiating the Monge–Ampère equation
Set
Differentiating both sides of (54) gives
Also
At a minimum of , the last equation in (65) and give . If , then ; the maximum principle gives
Consequently
For every fixed , integration by parts on the compact manifold gives
Choose a fixed so large that , and put
The last identity is spatial: at a fixed value of , is closed, so no parameter derivative of enters it.
The order of the smallness choices
Set
and let be the canonical section of . We impose
We verify that these choices respect the order already prescribed.
For fixed , Equations (53), (59), and (66) give a bound for before choosing , , or . The signed trace integral is
At , its numerator is zero by (47), and its denominator is positive for this fixed . Choose , still at most , so that times the modulus of (71) is at most . Now choose as in (53).
It remains to control an absolute trace, not just its signed integral. The regularization satisfies
For fixed , the measures are controlled uniformly in by a multiple of ordinary -capacity. Here is a direct way to make the dependence explicit. We have and , for constants fixed at this stage. Take , enlarging it if necessary, and set . Then , , and . Thus
The capacity of tubes shrinking to a divisor tends to zero. The factor on the right of (72) is uniformly bounded and tends uniformly to zero outside any fixed such tube. Consequently the negative part of the trace integral tends to zero uniformly in as , at this fixed , , . The elementary inequality
then proves the first assertion of (70), with an error , after decreasing .
For the second assertion, observe that , with convergence to one almost everywhere. At this stage . Uniform integrability from (51) gives the assertion, again with an error at most after decreasing . We have therefore chosen , then , then , for every , ; all errors are , and all choices are independent of .
A Bochner estimate with a residual term
Choose a smooth nondecreasing cutoff with
Choose a smooth convex function on and a constant such that
Define
It is bounded above on . Since , the lower bound for and (66) give, with fixed positive constants,
On , use the following weight on :
The divisor weights are pluriharmonic on this open set. Therefore
We used and .
We claim that there is an -valued section on such that
The residual derivative in this assertion is essential: the curvature lower bound in (76) is not semipositive.
Identify -valued sections with top-degree forms valued in . Choose a complete Kähler form on , using logarithmic cusp terms along the simple normal crossings divisor, and use the complete metrics , . Let
This is a closed square-integrable -form for fixed parameters. For a -closed -form in the domain of , complete-metric Bochner–Kodaira and (76) yield
For clarity, on -forms the curvature contribution of is bounded below by , because . The positive rank-one curvature term controls contraction with . Cauchy–Schwarz in that direction gives (78), since is bounded on the shell. The squared top-form density of in the weight is exactly . This density, and hence the estimate’s constant, is independent of the complete base metric. Approximation on a complete Kähler manifold justifies the indicated weak tests; see [23], Sections 4–5.
The integral in (78) is by the shell estimate. Apply the Riesz representation theorem to the functional defined on pairs
After extending this bounded functional, and projecting its second component to the closed subspace , we obtain
Although the initial tests were closed, this is an equation against all appropriate tests. Indeed, orthogonal projection of a test to preserves its adjoint domain and adjoint value: the range of from -forms is contained in that kernel. It also preserves its pairings with the closed forms , .
Let . The norms of top-degree -forms are unchanged by the base metric, while the -norms increase to the norm for . For a countable decreasing sequence of ’s, weak compactness in each preceding norm and a diagonal subsequence give limits satisfying (79) for . Monotone convergence of the norms preserves its bound.
Finally, the ratio of the -density for sections to the density is
The same comparison applies to derivative norms measured with . Since , this proves (77).
For fixed parameters, its smooth positive weights imply ordinary bounds on and its displayed derivative up to the divisor. To extend the derivative distributionally, use simple normal crossings cutoffs whose derivatives are on tubes of volume . Their derivative norms are bounded. The boundary error is bounded by this fixed bound times the norm of on the shrinking tubes, and tends to zero by absolute continuity. Thus extends as its distributional derivative across the divisor. Ellipticity on sections gives
The nonholomorphic logarithm and one-sided transport
Write for this subsection and put . For a smooth section, set
where the Hermitian pairing is linear in the first variable. In a holomorphic frame normal for the line metric at the point, direct differentiation gives
The last line is evaluated in that normal frame, or equivalently using the Chern derivatives. Its first summand is nonnegative; its negative summand is controlled by . Thus no estimate for the positive term is required.
Integrate (82) against the positive form in (69). By (74) and (77), the negative-gradient contribution is at most
The curvature cost is bounded by the first error in (70). For the two exact terms, integration by parts differentiates only , since is closed. Using , their absolute value is at most
The second integral is bounded by (68) and . Approximation by smooth sections in justifies these calculations for (81): the logarithm has bounded first and second derivatives as a function of the section, and the derivative products converge in for fixed smooth data. We conclude
The second assertion follows from (69) by integration by parts.
We can replace in the last integral by . First the globally Lipschitz radial function , followed by Cauchy–Schwarz, gives
Here pays for the second Cauchy–Schwarz factor. Next,
so the second error in (70) pays for this replacement.
Set
The preceding estimate, , and the shell support of the bounded nonnegative function give
The section need not be chosen smoothly in : its estimate was used separately at each , whereas the left side here depends only on the smooth family (54). At the integral is by the initial tail estimate. Integrating (85) up to proves, uniformly in ,
Canceling the residual measure on the comparison set
Work now at . Take a smooth cutoff which is zero for , one for , and lies between zero and one. The smooth positive measure has mass , with uniformly in , by (86). Solve the prescribed-volume equation [76]
The complementary part of has . Therefore
Choose with . We may assume for all the remaining 's. We prove a uniform estimate
Put , and for an arbitrary capacity test and , put
Again . On precisely this same set , comparison and positivity give
Since , the residual measure cancels on . Taking the supremum over yields
There is no comparison of residual masses on different sets.
To start the iteration uniformly, note that , so . Equations (55) and (62), followed by Hölder with (51), make uniformly small as . A fixed in (89) therefore makes its capacity uniformly small. Combining with (57), the same quadratic iteration used after (60) applies; the allowed upper bound is at least . It proves (88) with a constant independent of .
The fixed- limit and Lelong contradiction
Fix one sufficiently small , and let . Quasi-psh compactness, (62), and give a subsequence converging in and almost everywhere to -psh functions . Since , Equation (88) gives
The last constant is independent of : the normalized potentials have a common lower curvature bound, so their Lelong numbers are uniformly bounded, for example by (55). The additive constant is allowed to depend on and does not affect Lelong numbers.
At fixed , (53) gives in . Choose the subsequence also to converge almost everywhere. Since , Fatou’s lemma in (54) at gives
Writing , Hölder and the second moment in (51) yield
By (49), this implies near the chosen point
Add a local smooth potential for to make plurisubharmonic. Its exponential is subharmonic, and the smooth addition changes the following estimates only by bounded factors. For sufficiently close to zero, the submean inequality on gives
where the second inequality uses (92) and on that ball. Hence
The coefficient is positive and independent of , contradicting (90) as . Thus has zero Lelong numbers everywhere. Any two metrics with minimal singularities differ by bounded weights, so the conclusion holds for every such metric on .
The empty divisorial locus
The obstruction considered in this section is the absence of a meromorphic pluricanonical section, including one with poles. We keep this distinction throughout: a rational line bundle on a nonalgebraic compact complex space need not have a global meromorphic frame.
Proposition 6.1. Assume Assumption 2.2. Let be a normal compact Kähler fourfold with klt singularities, and suppose that the actual rational canonical line bundle is analytically nef. Suppose that contains no prime divisors. Let be a smooth compact Kähler log resolution. If and is analytically pseudo-effective, then some positive tensor power of has a nonzero meromorphic section.
We prove the proposition by contradiction. Until the end of the section, assume its hypotheses and, in addition, assume that
where is the sheaf of meromorphic functions. Put
Here is the rational exceptional discrepancy divisor, and the middle identity is an identity of actual rational line bundles, using the canonical comparison on the isomorphism locus of . No sign is imposed on . Every prime divisor on is -exceptional, because has none. We use the weight convention , so a metric weight on has curvature class .
Virtual vanishings and holomorphic forms
The starting Euler-characteristic/Hodge-theoretic route to holomorphic forms was informed by the related forms strategy of Vikash [75]. That work considers smooth minimal fourfolds without effective divisors or surfaces. The present normal klt setting has different hypotheses, and the required vanishings and forms construction are proved below.
Lemma 6.2. Let be a proper surjective generically finite morphism, where is a connected smooth compact Kähler manifold. Then
and no positive tensor power of has a nonzero meromorphic section. These conclusions also hold after any further smooth compact Kähler modification or finite cover followed by resolution.
Proof. First consider meromorphic functions and tensors. A proper generically finite map of normal complex spaces factors, by Stein factorization, as a proper modification followed by a finite map. Meromorphic functions on a modification descend to the normal target, and finite maps have local meromorphic traces and norms. These constructions use local meromorphic function fields and therefore do not require a global meromorphic frame.
If is a meromorphic function on , its characteristic polynomial over , computed on the finite part of the factorization, has meromorphic coefficients on . These coefficients are constant because . Thus satisfies a polynomial with constant coefficients. Connectedness then makes constant, and .
Suppose that is a nonzero meromorphic section of . Over a coordinate neighborhood , choose a nowhere vanishing local frame of . The differential pullback is a holomorphic pluricanonical tensor, generically nonzero, so is a meromorphic function over ; zeros of the Jacobian merely contribute a meromorphic divisor to this quotient. If is the generic degree of , its norm is the coefficient of a meromorphic section of ; replacing by divides the norm by . The local sections consequently glue and are nonzero. This contradicts (94). The ordinary Jacobian formula
proves pseudo-effectivity of .
It remains to prove . If , the Albanese map has a positive-dimensional image. Let be its Stein factorization onto its normal image. The space is finite over a subvariety of a torus. On a smooth compact Kähler model of , the pullbacks of suitable ambient one-forms have a nonzero wedge of degree . Hence . On every neat smooth model used to compute the invariant base in Assumption 2.2, the orbifold boundary is effective; birational invariance of ordinary Kodaira dimension therefore gives
This comparison concerns the invariant base term, not a boundary on an arbitrarily chosen initial model.
Choose a positive singular metric on . Its local potentials restrict to almost every smooth fiber of , by local integrability and Fubini’s theorem. We may choose such a fiber outside the countably many proper analytic subsets excluded by the very-general-fiber convention in Assumption 2.2. If is that fiber, then is pseudo-effective and . Ordinary canonical nonvanishing for smooth compact Kähler manifolds of dimension at most three gives . In dimension three this follows from the Kähler threefold minimal model theorem and abundance for nef normal compact Kähler threefold pairs; see [47, 21]. In dimensions at most two it is the classical curve and surface statement. Applying Assumption 2.2 to and gives
contrary to the absence of a meromorphic pluricanonical section on . The same proof applies to any further morphism of the stated kind.
In particular, . Moreover,
Indeed, if in real cohomology, a multiple of has torsion integral first Chern class. After a further multiple that class vanishes. The exponential sequence and make that line bundle trivial. Equation (94) would then give a meromorphic section of a positive multiple of .
Lemma 6.3. For every holomorphic vector bundle on ,
for every sufficiently large positive integer divisible by the index of . Furthermore,
Proof. Choose an integer such that is a line bundle. A section of is a morphism . Among all nonzero sections with , choose a tuple , of twists , which is generically independent and has maximal possible cardinality. If there are no such sections the assertion is immediate. Otherwise . Let be the saturation of the image of the corresponding direct sum of line bundles. Every further section lies in generically, by maximality, and hence everywhere as a map into this saturated subsheaf.
A further nonzero section of twist replaces at least one while preserving generic independence. The two determinants are nonzero sections, respectively, of
where determinants are reflexive. Their ratio is a nonzero meromorphic section of . For , this is a positive multiple of . After clearing denominators in , multiplication by its canonical meromorphic divisor section converts it into a meromorphic section of a positive multiple of , contradicting (94). This proves the eventual vanishing without choosing a meromorphic frame of .
By Lemma 5.1, has a semipositive metric with zero Lelong numbers everywhere. The multiplier ideal of every positive integral multiple of this metric is trivial by Skoda integrability [70]. The hard Lefschetz theorem with multiplier ideals [28] (Theorem 0.1) therefore gives, for every , a surjection
for divisible . The source is zero for all sufficiently large such . Riemann–Roch makes a polynomial in ; its vanishing on all these multiples implies that its constant term is zero. Serre duality in dimension four yields .
Equation (94) gives , and Lemma 6.2 gives . If , then all of is of type . Approximating a Kähler class by a rational one and applying the Kodaira embedding theorem would make projective, contrary to . Thus . Finally, Hodge symmetry and the Euler characteristic identity give .
A saturated integrable conormal line
Write . Choose . Holomorphic forms on are closed, and because it is a canonical section. Thus has rank two wherever it is nonzero. The kernel of is integrable there, and its saturated conormal is a rank-two subsheaf
All determinants and line factors below are taken reflexively. The form is a nonzero section of , so
for an effective divisor .
We use the natural identification , obtained by contraction with a local volume form. Global linearly independent three-forms are generically independent: coefficients of a dependence relative to a maximal generically independent tuple are global meromorphic functions, hence constants. The same observation applies to their projections into .
If and are the -valued vector fields associated with two three-forms, then is a section of , so it is zero. Since the form induced by on the rank-two quotient of is nondegenerate at a general point, the projections of all these vector fields to have rank at most one. On the other hand, two generically independent tangent vector fields would have a nonzero wedge in
Removing the divisor factor would give a prohibited meromorphic canonical section. The space of global three-forms has dimension at least two, so we can choose associated vector fields such that is nonzero and tangent to the kernel of , while is not tangent. Denote their three-forms by .
Let be the saturation of the line defined by the nonzero -valued one-form
It follows that
for a divisor (its divisorial zero divisor). Saturation makes a reflexive rank-one sheaf, hence a line bundle on . Its inclusion in is a subbundle away from a set of codimension at least two. Likewise, all the rank-two sheaves and quotients just used are vector bundles at general points of every prime divisor.
The rank-two identity
turns into a section of . Saturating its image produces a line factor , where is a divisor; by the determinant identity the other factor is .
Lemma 6.4. The line is an integrable saturated conormal. On a dense open set, its line is the intersection of the degree-one wedge annihilators of and .
Proof. Work first on the complement of a codimension-at-least-two set where , , and the line factors above are bundles. Let be the integrable distribution annihilated by . Lie derivative along defines the partial Bott connection on . Its second fundamental form for is a morphism
For clarity, this is tensorial in both variables: for and a local section of , the terms introduced by replacing by are multiples of , while the additional term in is .
If the composite of with the second line factor of is nonzero, it is a nonzero section of the line bundle of class
If that composite vanishes and , it factors through the first line factor and gives a nonzero section of class
These sections extend across the omitted set by reflexivity and Hartogs’ theorem. Removing their divisor factors gives a nonzero meromorphic section of or , respectively, contradicting (94). Thus .
In local Frobenius coordinates for , write its transverse coordinates as and a frame of as . Vanishing of says that the ratio , where defined, is constant along the plaques of . After multiplication by an invertible local function, the frame is therefore a one-form on the two-dimensional transversal. Every rank-one conormal on a smooth surface is integrable. The resulting Frobenius identity extends to the entire regular locus of by holomorphic equality, including general points of divisorial zeros of the original forms.
The wedge annihilator of in degree one is . The annihilator of is the hyperplane of one-forms vanishing on . Since is not tangent to , their intersection is a line. It contains , which both wedges to zero with and evaluates to zero on . Hence that line is . □
Lemma 6.5. For every closed positive -current in the class , one has
on the open subset where is an isomorphism onto a smooth open subset of . In particular,
on a dense open subset with analytic complement.
Proof. Off the singular set of the saturated codimension-one foliation, whose codimension is at least two, holomorphic first integrals give frames for . If on an overlap, then belongs to : differentiating the transition identity gives . Consequently the first Chern cocycle wedges to zero with both and there.
These vanishings extend in Dolbeault cohomology to all of . Indeed, for a locally free sheaf on a smooth manifold and an analytic set of codimension at least two, for , by depth and Hartogs’ theorem. The local-to-global sequence for cohomology with support therefore gives an injection . Apply it to and . We obtain
We next dispose of the exceptional divisor terms. Fix a Kähler form on . For every exceptional prime on ,
Here and below integration on a prime divisor can be computed on a smooth resolution. To see the assertion, rationality of klt singularities gives , hence . Resolve and the image , and resolve the graph so that the resulting smooth compact Kähler space maps to a smooth model of . Functoriality of restriction makes the classes of and pullbacks from and , respectively. Conjugation and compact Kähler Hodge theory give the corresponding pullback assertions for their de Rham classes. The class of restricts from as well. Since , the degree-six products in (105) vanish.
By (100) and (95), modulo exceptional divisor classes. Combining (104) and (105) gives
The integrands are nonnegative: is decomposable wherever nonzero, and every three-form on a four-dimensional vector space is decomposable. The form is strictly positive on the isomorphism locus. Thus the zero-mass equalities imply (102) there.
This positivity argument applies to currents as well as smooth forms. Locally, write the coefficient matrix of as a positive semidefinite matrix of Radon–Nikodym derivatives with respect to its trace measure. The two wedge equalities imply, almost everywhere for that measure, that each one-form direction of the matrix annihilates both and by wedge product. Lemma 6.4 identifies their intersection with . This proves (103).
Index charts and a closed transverse current
We will repeatedly use the following local integrability fact. All integrals in its proof are computed in fixed smooth coordinate volumes.
Lemma 6.6. Let be a proper generically finite holomorphic map between smooth complex manifolds of the same dimension. Let be a plurisubharmonic function on such that for every . Then
The assertion is locally uniform for a family of functions for which all the indicated exponential integrals downstairs are locally uniformly bounded.
Proof. Take relatively compact coordinate charts upstairs and downstairs so that maps the former into the latter. Let be the local holomorphic Jacobian determinant; it is not identically zero. A sufficiently small negative power of is locally integrable. Choose large enough that is integrable on the chosen compact set. Hölder’s inequality gives
Change of variables bounds the first factor by the degree of times the corresponding exponential integral downstairs, up to fixed coordinate-volume constants. Covering compact sets by finitely many charts proves both assertions.
A positive closed -current with zero Lelong numbers has no mass on any proper analytic subset. We recall precisely the form used here. The Skoda–El Mir extension theorem says that restricting such a current off an analytic set and then extending by zero gives a closed current. The difference is a positive closed current supported on that set. The support theorem reduces it to its divisorial components, whose coefficients are the corresponding generic Lelong numbers, so the difference is zero. These current-theoretic facts, together with Skoda integrability and Siu decomposition below, are used in their ordinary smooth-manifold forms; see [25].
Lemma 6.7. Let be a positive current in with zero Lelong numbers everywhere. Choose local plurisubharmonic metric weights for on . On the isomorphism locus of , write in the corresponding local canonical frame . The expression
has a canonical extension to a nonzero positive closed -current on . This extension has no mass on proper analytic subsets and satisfies
The weights are understood with a fixed global additive normalization when is compared for different currents.
Proof. We first specify the extension through the singular model. Cover by neighborhoods on which a Cartier pluricanonical power has a nowhere vanishing frame. Take the ordinary local index cover defined by a root of that frame, and normalize. The cover is quasi-étale and klt, by the index-cover discrepancy formula; in particular it has rational singularities. On its smooth locus the root is a canonical frame.
Resolve a main component of , obtaining a diagram
Here is proper and generically finite. The resolution is chosen isomorphic over the dense smooth open where the index cover is unramified and is an isomorphism. The coefficient in the root frame is an ordinary holomorphic one-form on that open. It extends reflexively to by Hartogs’ theorem, since the complement of the relevant smooth locus downstairs has codimension at least two. The extension theorem for rational complex spaces then extends it holomorphically to ; we use [50], Corollary 1.8. We continue to write for this holomorphic form and for the pulled metric weight in the root frame.
Zero Lelong numbers downstairs give for every . By Lemma 6.6, the same is true on . In particular the pulled weight has zero Lelong numbers, and the pulled curvature has no analytic-subset mass. The upstairs expression in (106) has coefficients for every finite . This holds also after multiplication by : on a compact set is bounded above, while is bounded by a constant times .
Define on as of this expression divided by . On the good open this is the original formula. It is independent of the root frame: if , then and . A pushforward of the indicated coefficient forms has no mass on the analytic complement, because its inverse image is a proper analytic subset and hence has zero smooth volume upstairs. Consequently these local pushforwards agree on overlaps and define a global positive current. It is nonzero since is generally nonzero.
We now prove closedness, rather than assuming that a transverse-looking density is closed. On , the saturation of the line defined by gives an integrable codimension-one conormal. Integrability holds first on the good open by Lemma 6.4 and then everywhere by holomorphic equality. Its singular set has codimension at least two. On a regular foliated chart, including one through a divisorial zero of , write
with a holomorphic submersion and holomorphic. Lemma 6.5 gives on the good part where . It holds on the whole chart because the positive closed curvature has no mass on the remaining analytic set.
In coordinates , positivity shows that the only coefficient of is its coefficient. Closedness of that current makes this coefficient independent, as a distribution, of every and . Thus it is the pullback of a positive measure on the -disc. Taking a one-variable subharmonic potential and then solving the pluriharmonic difference on a smaller polydisc gives
With , the upstairs current becomes
Its is positive. More explicitly, only differentiation in the directions survives wedging with , and
on the regular foliated chart. This is a distributional identity; the one-variable coefficient is locally integrable, and no transverse derivative of it contributes to the displayed wedge.
We give the extension estimate across . On a relatively compact coordinate ball, choose smooth cutoffs equal to zero on an -tube around and equal to one outside a -tube, with
They may be constructed by smoothing the distance cutoffs. The tubes have volume . To justify the bound also when is singular, use locally finite area for its analytic components and monotonicity to bound the number of disjoint balls of radius centered on each component by , where is its complex dimension. Enlarging this cover to the tube gives volume ; a compact subset meets finitely many local components.
If denotes either or upstairs and , then for any fixed smooth test form the second-derivative cutoff terms are bounded by
Terms with only one derivative are smaller. Testing (110) against times a positive test form and passing to the limit therefore proves on all of .
Proper pushforward commutes with , so is a global positive exact -current on . Pairing with the square of a Kähler form gives zero; positivity then makes it the zero current. On the good open the chart maps are local biholomorphisms. All branch contributions to the pushforward are positive, so each upstairs Hessian in (110) vanishes there separately. Since almost everywhere, the holomorphic derivatives vanish there, and hence on every regular foliated chart by holomorphic continuation. Thus
Equations (109) and (112) imply, on these charts,
For the second identity, the coefficient depending only on causes no derivative after wedging with , while the remaining is pluriharmonic in the leaf directions. The first- and second-derivative versions of (111) extend both identities across .
Finally choose a smooth reference metric on , with local weights and curvature . The difference is a global function downstairs. The local pushforwards defining agree: upstairs they are locally integrable by the exponential estimates, they agree on the good open, and they have no analytic-subset mass. Closedness and the last displayed identities give the global current identity
It proves (107).
Hodge index and the space of positive currents
Lemma 6.8. Let be a smooth compact Kähler fourfold, with Kähler form , and let be a positive closed -current with no divisorial mass. Then
Proof. Regularization with analytic singularities gives currents and numbers such that and at every point; see [11], Theorem 2.1(ii). In particular the analytic pole sets of have codimension at least two. Resolve these pole sets by a projective modification . For , the pulled positive current has a decomposition
where is an effective exceptional real divisor and is nef. With the usual smooth-remainder version of analytic regularization, is represented by a smooth semipositive form. The bounded-remainder version gives a positive residual current with bounded potentials, which is nef by a further regularization.
Since , the projection formula gives
Consequently
The inequality pairs a pseudo-effective class with three nef classes. It follows by approximating the nef factors by Kähler classes and pairing with a positive current. Passing to the limit proves the lemma. In particular, no positivity of the self-intersection of the exceptional divisor has been used.
For a Kähler form on , write
The Hodge index theorem says that this quadratic form has signature . We use its following elementary consequence: two nonzero classes with nonnegative square, positive pairing with , and zero mutual pairing must both lie on the same isotropic ray.
Choose the zero-Lelong current supplied by Lemma 5.1, and let be the current of Lemma 6.7. The nef class has nonnegative square, and Lemma 6.8 applies to . Both classes have positive mass against ; (96) is used here. Their mutual pairing is zero by (107). Thus
In fact,
To check the stronger assertion, choose Kähler representatives of . Their positive squares have mass against tending to zero by (116). Their cohomology classes tend to , whereas their currents tend weakly to zero, because their positive masses tend to zero. Thus the limiting cohomology class is zero.
Lemma 6.9. Every positive closed current in has zero Lelong numbers everywhere.
Proof. Suppose has a positive Lelong number at a point, and let be its blowup. The pullback has a positive generic Lelong number on the exceptional divisor. Write its Siu decomposition as
where has no divisorial mass and the sum is not zero. Fix a Kähler form on , and set . The class is nef, nonzero, and . Pairing (118) with gives zero. All terms are nonnegative, since a nef class paired with a positive current and two Kähler classes has nonnegative intersection. Therefore
Lemma 6.8 and Hodge index give with ; this includes when . Comparing masses in (118) gives , because the divisorial sum has positive mass. Hence
The real span of the integral classes is a finite-dimensional, hence closed, subspace. The convergent series in (119) therefore places the rational class in that real span. Choose a finite subset of these integral classes forming a basis of the span. Solving the corresponding rational linear system shows that a rational vector in their real span is in their rational span. Thus, for some rational divisor with finite support,
After clearing denominators and integral torsion, the difference line bundle has zero integral first Chern class. By Lemma 6.2, , so the exponential sequence makes this difference line bundle trivial. A positive multiple of consequently has a nonzero meromorphic section. The discrepancy identity for converts it to a meromorphic section of a positive multiple of , contradicting Lemma 6.2. □
The normalized-current fixed-point construction is inspired by Touzet’s method [73]. The singular extension, including continuity on the higher charts, is proved here.
Lemma 6.10. There is a positive current such that, on all the smooth index charts constructed in Lemma 6.7,
for one constant . On these charts is smooth and
Proof. Fix a smooth reference weight for , with curvature , and a smooth probability volume on . The set
is nonempty, compact, and convex in the weak topology of currents. Its mass against is fixed. Write , uniquely normalized by . Thus all local weights used for have a fixed common additive normalization.
By Lemma 6.9, the construction of Lemma 6.7 applies to every . Applying Hodge index as in (115) shows that is a positive multiple of . Define
This is a selfmap of .
We verify continuity, including on the higher charts. If weakly, compactness for quasi-plurisubharmonic functions with fixed lower curvature bound and the chosen normalization gives in . Indeed every subsequential limit has the same and normalization as . On a coordinate chart the metric weights are plurisubharmonic and converge in . All complex singularity exponents of the limit are infinite, by Lemma 6.9 and Skoda integrability. The effective semicontinuity theorem [26], Theorem 0.2(2), consequently gives locally uniform bounds for for every fixed , and in fact convergence of these exponentials in on smaller neighborhoods.
Apply (105) on the fixed proper chart diagrams. It gives locally uniform upstairs bounds for every inverse exponential power as well. After extraction, the weights converge almost everywhere off the exceptional and critical analytic sets. Pullback preserves almost-everywhere convergence there, because the chart maps are local biholomorphisms; the omitted analytic sets have measure zero. Uniform bounds for some then give convergence in of the densities defining upstairs. Proper pushforward gives downstairs. The argument applies to each subsequence and so proves continuity for the whole sequence. Their masses also converge, and the limiting mass is positive. Thus is continuous. The Schauder–Tychonoff fixed-point theorem yields a fixed point.
Let be the positive normalization factor in (121) at this fixed point. Its equality holds upstairs on the good locus, giving (119). Both sides extend with no analytic-subset mass, so the equality holds on each entire smooth higher chart.
Taking a smooth Euclidean trace on a smaller coordinate ball gives a scalar Poisson equation whose right side belongs to every finite , because is holomorphic and all inverse exponential moments of are finite. Interior elliptic regularity gives for every finite . Choosing gives continuous first derivatives, after which the semilinear equation and ordinary elliptic bootstrap make smooth. On a regular foliated chart, (109) and (112) give . Therefore there. Both sides are now smooth on the entire higher chart, and the identity extends by density. This proves (120). □
Spherical developing maps and boundary meridians
Fix the current given by Lemma 6.10. On a smooth higher chart put
Equations (119) and (120) imply
Indeed differentiating gives the first identity, while gives the second. Consequently the matrix-valued one-form
is skew-Hermitian, trace-free, and satisfies . On a simply connected small ball it therefore has the form with valued in .
The map
is holomorphic. In fact, , because has type ; hence the line spanned by is a holomorphic line. This argument remains valid at zeros of . For the Fubini–Study normalization , the usual unitary-frame computation gives . Thus, with ,
on the higher chart, where the right side is pulled back from .
Choose a connected dense open subset with analytic complement such that identifies with a smooth open subset of , the relevant forms have their generic ranks, and is nowhere zero on . The index charts are unramified over , and their resolutions can be chosen isomorphic there. Equation (126) gives local holomorphic submersions from to . Two such submersions with the same pullback form differ locally by a constant element of . Indeed their kernels agree, so one factors locally through the other on a transverse disc; the resulting local holomorphic isometry of the round sphere is the restriction of a projective unitary transformation. The transformation is unique on each connected overlap because the image of a submersion contains an open subset.
These local maps and their constant transitions give a developing map and a monodromy homomorphism
The developing map is nonconstant and is equivariant for .
Lemma 6.11. Let be a smooth space with a proper generically finite map to that is unramified over , and let be the inverse image of . After any further modification supported outside , the monodromy of a small meridian about every prime divisor in the complement of has finite order.
Proof. The assertion is local at a general point of a boundary prime . Choose a small disc transverse to at a smooth point not on another boundary component, with contained in . Choose an original proper higher chart over a neighborhood of the image point in , take its fiber product with , and resolve a main component. The resulting map is proper and generically finite, and is unramified over . Near every point of there is an ambient holomorphic map to : compose its map to the original higher chart with the map constructed in (125). Over the good open these maps agree with the developing germs up to constant projective unitary transformations.
A component of the inverse image of dominating is a curve, finite over . Its normalization has a point over , and its local map to can be written, after changing a parameter, as for some positive integer . For a sufficiently small circle in the -disc, the lifted loop stays inside one neighborhood on which an ambient map to is defined. Continuing this ambient map around the lifted loop returns the same germ. On the punctured part, is locally biholomorphic, so this is the analytic continuation of the original developing germ around the -th power of the meridian. A projective unitary transformation fixing that germ must be the identity, since it is a submersive ambient germ on the good open. Thus the meridian has monodromy whose -th power is the identity. It is essential here to use the ambient germ: even if the transverse disc happens to be tangent to the foliation, the argument does not infer identity of holonomy merely from its action on the values of the map along that disc. The same fiber-product construction applies after the further modifications specified in the statement.
We record the compactification fact in the precise analytic category needed here.
Lemma 6.12. Let be a smooth compact Kähler manifold and a simple normal crossing divisor. Every finite unramified cover of extends to a finite normal cover of . It has a smooth compact Kähler resolution which is unchanged over the original cover, and whose complement of that cover can be made a simple normal crossing divisor.
Proof. Near a point of , choose a polydisc on which its complement is . Each connected finite cover is described by a finite-index subgroup of its fundamental group . Such a subgroup contains for some . The cover is consequently dominated by the coordinate power cover
It extends across the coordinate hyperplanes as the normal quotient of the full polydisc power cover by the corresponding finite subgroup of its deck group. The normal finite extensions glue uniquely: an isomorphism on the dense punctured locus extends between the normal finite algebras, equivalently by their integral closures. This gives a finite normal cover .
For completeness, a finite source over a compact Kähler space is Kähler in the local-embedding sense. Over finitely many small base neighborhoods choose relative embeddings of the finite source into products with affine spaces, with relative coordinates . Choose a smooth partition of unity on the base and put
on the source, extending each summand by zero outside its support. This is a smooth function on the complex space. At a point where , use the corresponding relative embedding. The other relative coordinate functions have local holomorphic extensions to its ambient space. On vertical tangent directions the Levi form of is and is strictly positive. The terms arising from derivatives of the partition have a base-direction factor. A sufficiently large multiple of the pulled base Kähler form dominates their horizontal and mixed contributions. Compactness allows one such multiple on the finite cover. Thus
has strictly plurisubharmonic local potentials in the chosen ambient embeddings and defines a Kähler form on the normal source. Finally take a projective resolution and then an embedded resolution of the boundary, both unchanged over the smooth covered open. Projective modifications of compact Kähler spaces remain Kähler, by the usual relative ample curvature construction. This proves the claim.
Resolve by a projective modification, unchanged on , so that the complement is a simple normal crossing divisor. The fundamental group of is finitely generated: a complement of this kind in a compact smooth manifold has the homotopy type of a finite complex, or one may retract onto a compact manifold with corners obtained by removing sufficiently small tubular neighborhoods. The group is linear, for example through the adjoint embedding into . Selberg's lemma therefore gives a finite-index torsion-free subgroup of . Take the connected finite unramified cover associated with its inverse image in . By Lemma 6.12, it is contained in a smooth compact Kähler manifold , with simple normal crossing complement, and there is a proper generically finite morphism . Its monodromy image is torsion-free.
Every boundary meridian of has finite-order monodromy by Lemma 6.11, hence trivial monodromy. The inclusion induces a surjection of fundamental groups whose kernel is normally generated by those meridians. One way to see both assertions is to put loops and homotopies in general position relative to the normal crossing divisor: loops avoid it, and a homotopy meets its smooth part in finitely many transverse points, each contributing a meridian; it avoids the intersections of components. Consequently the representation descends to
Finite holonomy and the contradiction
Lemma 6.13. Let be a connected smooth compact Kähler manifold such that and for every connected finite étale cover . Every representation with torsion-free image has trivial image.
Proof. Let be the image, and take its complex Zariski closure in , regarded as a linear algebraic group through the adjoint representation.
If this closure is all of , apply the semisimple Shafarevich theorem [15], Theorem 1. Its hypotheses are exactly a smooth compact Kähler source and a representation Zariski dense in a semisimple linear group; for torsion-free image the Shafarevich base is normal projective of general type, and the representation factors through a smooth model of that base. Algebraic dimension zero forces this base to be a point: a positive-dimensional projective base would supply a nonconstant meromorphic function on . Factorization through a point makes trivial, contradicting its supposed Zariski density.
If the Zariski closure is proper, its identity component is solvable, by the classification of proper connected algebraic subgroups of . Thus is virtually solvable. Pass to a finite-index subgroup whose image is solvable and let be the corresponding finite étale cover. For every further finite-index subgroup of , its abelianization is finite: it is the first integral homology of a compact Kähler finite cover with , hence is finitely generated of rank .
Now induct along the derived series of . The quotient is an image of , so it is finite. Its preimage has finite index in ; that subgroup again has finite abelianization, making finite. Repeating gives finite successive indices down to the identity, because the derived series has finite length. Thus , and then , is finite. A finite torsion-free group is trivial. □
Lemma 6.2 supplies the hypotheses of Lemma 6.13 for and all its finite étale covers. The representation (128) is therefore trivial. The developing map descends to a single-valued nonconstant holomorphic map
We finish by proving its meromorphic extension, rather than appealing to compactness of the target. Over a neighborhood in , form the proper generically finite higher charts used in Lemma 6.11. Each small ball upstairs has an ambient sphere map obtained by composition from (125). On the good part of the ball this map and the lift of have the same transverse round metric, so they differ by a constant projective unitary transformation. The good part, being the complement of a proper analytic subset in a ball, is connected; uniqueness on submersive germs makes that transformation constant throughout it. After this transformation the ambient map extends the lift of . The extensions agree on intersections by density and glue to a holomorphic map on the higher chart.
Choose a scalar projective coordinate on . Composing with these extensions gives a meromorphic function on each proper generically finite chart. Its meromorphic trace, divided by the chart degree, is a meromorphic function on the base neighborhood. To define the trace, first descend through the proper modification in the chart’s Stein factorization and then take the ordinary trace of the finite normal map. On the good open every branch is the same pullback of the chosen coordinate of , so its trace is exactly the degree times that coordinate. The resulting local meromorphic functions on consequently agree on overlaps and give a global meromorphic extension of the coordinate of . It is nonconstant, contradicting from Lemma 6.2.
This contradiction proves Proposition 6.1.
Birational constructions and reduced-boundary models
This section supplies the ordinary dlt constructions needed in the algebraic-dimension-zero argument. We prove special termination through dimension four, using arbitrary klt termination through dimension three, and then apply Assumption 2.3 only to ordinary effective klt fourfold pairs. In particular, arbitrary dlt fourfold termination is not an input.
Conventions, comparison, and integral descent
All pairs in this section are ordinary rational pairs with effective boundary and rationally invertible adjoint. Auxiliary programs start on normal globally strongly -factorial compact Kähler spaces. Thus every global coherent rank-one reflexive sheaf has an invertible reflexive power. This condition will be used for global sheaves; no claim of -factoriality on arbitrary analytic open subsets is made. Divisors over a space mean divisorial places represented on proper modifications, identified on common higher models. This convention does not distinguish places by their action on global meromorphic functions.
Definition 7.1 (Elementary birational steps). An elementary step for an adjoint is either a nontrivial projective bimeromorphic divisorial contraction, with the pair pushed forward, or a diagram
whose morphisms are projective, bimeromorphic, and small, with strict transform boundary on . The base is normal compact Kähler, and the source and next space are normal globally strongly -factorial compact Kähler spaces. All curves contracted by the negative morphism span one nonzero ray for degrees of global rational line bundles. The line is relatively ample; in a small step is relatively ample. No positive-side Bott–Chern rank condition is imposed in this definition.
A projective morphism here has a relatively ample holomorphic line bundle. In the relative constructions, “relatively nef” means nonnegative degree on curves in its fibers. Absolute nefness continues to mean analytic nefness.
We use common projective resolutions and the natural meromorphic comparisons of canonical bundles, defined by Jacobians in local canonical frames, together with boundary pullback. No global meromorphic canonical frame is presumed. A global rank-one reflexive sheaf is transported through a bimeromorphic correspondence by pullback to a common resolution, proper direct image, and double dual. For a small correspondence this is the unique reflexive strict transform.
Lemma 7.2 (Exceptional comparison of global sheaves). Let be a projective modification of normal spaces and let be a global rank-one reflexive sheaf on . Suppose that is rationally invertible. Then, for some positive integer , an invertible sheaf on and an integral -exceptional Weil divisor satisfy
Proof. Choose so that the corresponding reflexive power of is invertible. This is , since the two sheaves agree where is an isomorphism, including the general points of all prime divisors of . Call this line . Evaluation of local sections of , and their images in , gives meromorphic comparisons with . These comparisons are the same on their common domain and hence define a divisorial comparison globally. Its orders vanish away from the exceptional primes. The resulting integral exceptional divisor gives (130) in codimension one and therefore everywhere by reflexivity. Local meromorphic generators are enough for this argument; it does not represent an arbitrary global line bundle by a global divisor.
We shall use the projective analytic negativity lemma [31, 56]: if a rational Cartier divisor on a projective bimeromorphic morphism is relatively nef and has nonpositive pushforward, it is nonpositive. The local-over-target proof of [56], Lemma 3.39 applies in this setting.
Lemma 7.3 (Comparison in an elementary step). On a common smooth projective resolution of an elementary step, with projections to the negative model and to the next model, the natural adjoint comparison is
Log discrepancies do not decrease. They increase strictly for a place whose center on either side is contained over the non-isomorphism locus in the contraction base. Consequently an elementary step preserves klt, respectively dlt, singularities.
Proof. The codimension-one comparison gives . The signs of the two adjoints make nef over the contraction base, and hence over the target of . Negativity gives .
In a small diagram the non-isomorphism sets in are the same on both sides. Otherwise, over a region where one side is an isomorphism, smallness identifies the other adjoint with a pullback, contradicting its relative ample sign on a contracted curve. A non-isomorphism fiber is positive-dimensional by normality. Over any such point, lift a negative curve to the common resolution. Its -degree is strictly negative, so the fiber meets . A connected projective fiber meeting the support of an effective relatively anti-nef Cartier divisor is contained in that support: if a component outside the support met it, a curve section through an intersection point would have positive intersection. Clearing denominators gives the same statement for . Thus contains the full fibers in question. Pullback to any higher model now proves strict increase at each specified place.
For dlt preservation use the characterization by log canonicity and an SNC open set meeting every lc center. A new discrepancy-zero place was already a zero place, and strictness keeps the general point of its center out of the subboundary. The SNC characterization, checked on global log resolutions, is therefore preserved. The klt assertion is immediate. Finally, on a globally strongly -factorial dlt pair, slightly decreasing the coefficients of the floor gives a klt pair: the floor is effective rational Cartier, and every discrepancy-zero place has center in it and positive order on its pullback.
We recall several analytic projective facts used in these arguments. Projective modifications and projective spaces over compact Kähler bases are Kähler, also for singular spaces. To see the needed positivity directly, give a relatively ample line a metric by local relative embeddings and Fubini–Study metrics on a finite base cover, scaling back from the relatively very ample powers. Patch weights on the actual line by a partition from the base. In a local embedding, the active coordinates and frame changes lift to ambient holomorphic germs. Base cutoffs have zero first and second derivatives in vertical directions, so the patched weight has positive Levi form on vertical Zariski tangent vectors. Add a large multiple of a pulled-back base Kähler potential. One multiplier works on compact regions: otherwise a sequence of unit tangent vectors on shrinking compact charts would limit to a vertical tangent vector contradicting the strict vertical positivity. The Zariski tangent spaces vary in a closed set in a fixed local embedding. Squared absolute values of defining equations adjust the extensions to strict ambient positivity. This also treats finite morphisms, for which the trivial line is relatively ample; compare [74].
Common resolutions in projective diagrams are obtained by graph or fiber products followed by projective log resolution. Relative ampleness composes after adding sufficiently large pullback multiples from below, locally over compacta. A curve on the base of a projective surjection has a curve lift: pull back to its normalization, a projective curve, and use relative generation and base twists to make the total space projective; then take curve sections. This justifies all curve lifts above and below. Individual projective fibers permit the usual curve sections and the projective Kleiman criterion.
The established local inputs are the relative klt cone and base point free theorems for projective analytic morphisms over Stein neighborhoods of compacta satisfying property (P), and the big-klt adjoint finite-generation theorem. We can take arbitrarily small compact coordinate neighborhoods cut out by balls or polydiscs, with Stein ambient neighborhoods and the required finite-component intersection property. We use the cone theorem with its finite negative-ray decomposition after a positive relatively ample truncation. We use base point freeness in the following integral form: if is relatively nef Cartier and is relatively ample for some positive integer , then every sufficiently high integral power of is relatively generated after shrinking. See [31], Theorems 6.2, 6.5, and 7.2.
Lemma 7.4 (Integral klt descent). Let be projective bimeromorphic with normal target. Suppose an ordinary klt adjoint is -antiample. If an integral line bundle has degree zero on every contracted curve, then is a line bundle and evaluation is an isomorphism
Proof. The line is relatively nef, and the base point free hypothesis holds by fiberwise ampleness. Locally over a smaller base neighborhood, all sufficiently high powers are generated. The induced maps are constant on each connected fiber, since their tautological lines have degree zero on every curve there. They factor through : the graph projection is finite bimeromorphic onto the normal base. The pulled-back tautological lines descend two consecutive powers of , and their quotient descends itself. The projection formula identifies the descent with and the pullback map with evaluation. These intrinsic identifications agree on overlaps.
Finite generation, nonextraction, and continuation
The finite-generation result we use is [19], Theorem 3.1: on a smooth space projective over the indicated analytic base, multigraded rings of rational adjoints with simultaneous SNC effective subunit boundaries and a common relatively ample rational part are locally finitely generated, after clearing denominators. The relevant sums are klt. All applications here are over bimeromorphic projective bases, so the relative bigness conditions hold. The analytic projective big-klt framework and finiteness of models are also described in [31], Theorem E. Neither citation is used as an arbitrary termination theorem over a nonprojective base.
We spell out the reduction to that theorem. Over a Stein base in the bimeromorphic case, the direct image of either sign of an actual line bundle is a coherent sheaf of generic rank one. Cartan generation therefore supplies a nonzero section after shrinking. Thus both signs have local-over-base effective meromorphic representatives. Local canonical representatives can be obtained in the same way, or from forms pulled back from general local projections downstairs.
For finitely many effective rational klt boundaries containing a common positive relatively ample part, take a simultaneous projective log resolution . Add effective exceptional corrections to their log pullbacks so that the resulting SNC boundaries are effective and have exceptional coefficients strictly between zero and one. Choose an effective exceptional divisor with resolution-ample, by composing the exceptional antiample choices for the successive blowups. If is the common effective ample part below, then is relatively ample for sufficiently small . A common small multiple can be removed from each while preserving effectiveness and subunit coefficients: the strict transforms contain the common part, and the exceptional coefficients have positive margins. Relatively ample summands may also be represented by divided free general divisors after relative generation, Stein sections, and analytic Bertini. The smooth theorem applies. Effective exceptional corrections leave the cleared adjoint rings unchanged by projection to a normal space. The finitely many actual bundle identifications can be powered and tensored simultaneously, so they identify the multigraded rings multiplicatively.
In particular, a single rational klt adjoint has locally finitely generated ring in this setting. Add a sufficiently small positive rational multiple of the sum of effective representatives of opposite relatively ample integral bundles. Their sum is actually linearly equivalent to zero. The addition supplies the common ample part and preserves klt on a fixed resolution near the compactum. This replacement uses the projective bimeromorphic Stein setting essentially.
Lemma 7.5 (Relative Proj extracts no divisors). Let be normal and projective bimeromorphic over a normal compact base . Let be a rational line whose cleared relative ring is locally finitely generated. The normalized main component of the relative Proj is projective bimeromorphic over ; extracts no divisors, and the reflexive trace of on is an actual relatively ample rational line.
Proof. Compactness permits a common divisible integer such that the relative ring of is generated in degree one. Resolve its base ideal and graph, and denote the maps to and by and . The map to Proj lifts to the normalization. There is an actual moving/fixed decomposition
where is the relatively ample tautological line on . Degree-one generation and projection show that every relative section of has vanishing at least .
First, is -exceptional. If a component mapped to a prime on , then would be an isomorphism at its general point. For large , relative ample generation of gives a local-over-base section having a pole at that prime relative to . Multiplying its pullback by the section of gives a section of whose vanishing is less than , a contradiction.
Second, every -exceptional prime is -exceptional. Otherwise relative generation of gives a section with a pole at the image prime. Add to obtain a section of . Since by normality, it comes from the original ring. As a section of the enlarged line it must vanish once along , whereas the chosen pole prevents that vanishing. Here the coefficient of at is zero by the first part. This is again a contradiction. Thus no divisor is extracted. Taking the trace of (132) gives as actual rational lines.
Lemma 7.6 (Finitely many marked models). For a rational polytope of actual adjoints satisfying the preceding local multigraded finite-generation hypotheses, only finitely many marked normalized main relative Proj models occur at rational parameters.
Proof. After a common Veronese and shrinking, choose finitely many homogeneous generators of the multigraded ring. Diagonal rings on rational degree rays are finitely generated by the semigroup argument for monomial degrees. Their Proj charts can be taken with homogeneous monomials as denominators. The subsets of generators that occur as supports of monomials on the specified positive degree ray form a finite pattern. Localization at such a monomial inverts exactly its support, and the multidegree-zero subring is the degree-zero localization of the diagonal ring. Intersections use unions of supports with the canonical localization maps. Thus parameters with the same pattern have the same charts and gluing. Taking the main component and normalization preserves finiteness. The base identification fixes the marking on the common bimeromorphic open. A finite collection of the smaller neighborhoods covers the compact base. If two marked models agree on each neighborhood, their identifications over the base agree on the common dense open, hence everywhere, and glue uniquely. There are consequently only finitely many global marked possibilities.
Proposition 7.7 (Relative continuation in the global strong category). Let be an effective rational klt or dlt pair satisfying the conventions above, and suppose is projective bimeromorphic over a normal compact Kähler space . If is not curve-nef over , there is an elementary negative step over . Its next space remains projective over , compact Kähler, and globally strongly -factorial, and the appropriate singularity type is preserved.
Proof. Use the finite-dimensional space of degrees of global rational line bundles on curves contracted over ; finite dimensionality follows from first Chern classes in finite-dimensional cohomology. For a fixed relatively ample , the closed curve cone has a compact slice of -degree one. Indeed, for every global line , both and are relatively ample for sufficiently large , so all coordinates on the normalized slice are bounded.
Choose a negative extremal ray. For dlt input decrease the floor coefficients rationally just enough to obtain a klt adjoint still negative on this ray; for klt input let . Cover the base by interiors of finitely many Stein compacta as above. Projecting the local cone decompositions to global degrees shows that, for each positive rational , the normalized slice lies in the convex hull of its compact part and finitely many points of actual contracted curves. A projected remainder stays in the global closed cone, and a remainder of zero -degree contributes zero. The stated convex hull is compact.
Choose so that the selected ray is strictly in the truncated negative region. It is therefore represented by an actual curve. Separating its point on the slice from the compact hull of the remaining generators and remainder gives a supporting nef class vanishing only on this ray. In the open set of such supports one can choose a rational global line in the rational annihilator of the ray, so that a positive multiple of minus is relatively ample. Strict positivity on the compact slice and fiberwise ampleness give this last assertion. Local klt base point freeness on the finite cover generates a common multiple of . Its section morphism and Stein factorization give a projective bimeromorphic contraction over , with normal target and connected fibers, contracting precisely the ray. The line is -ample by fiberwise ampleness. If an exceptional prime exists, it is rational Cartier and negativity gives strictly negative degree on the ray. All contracted curves lie in ; they cover the nontrivial fibers. There can be no second exceptional prime, since its negative ray degree would force the same curves, and hence , into it. For a global rank-one reflexive sheaf on , take its reflexive pullback to . It is rationally invertible. Add a rational multiple of to kill its ray degree and apply Lemma 7.4 after clearing denominators. The descended rational line agrees with the given sheaf off codimension two on and hence everywhere by reflexivity. Thus has the required global strong property.
If is small, apply the preceding finite generation over to . Lemma 7.5 gives a projective positive model with no extracted divisors; it is therefore small over . The transformed adjoint is relatively ample and rationally invertible. For any global line on , killing the ray degree and applying integral descent gives an actual rational identity
Smallness gives the corresponding identity on the positive model. Any global rank-one reflexive sheaf there first transports to , where a power is such an . Transforming back and using (133) proves the global strong property on the positive model. The positive morphism cannot be an isomorphism, since that would make a pullback from .
For dlt input the unperturbed adjoint has negative degree on the ray. Its version of (133) has , so its transform has the positive sign as well. Lemma 7.3 preserves the required singularities. All resulting spaces are projective bimeromorphic over and hence compact Kähler, so the construction can continue whenever relative curve-nefness fails.
Two finiteness counts and transversal adjunction
Lemma 7.8 (Divisorial count). A sequence of bimeromorphic transformations extracting no divisors between normal irreducible compact Kähler -folds contracts divisors only finitely often.
Proof. Count the dimension of the span of prime -cycle classes in . This is a finite nonnegative integer, since compact analytic spaces are triangulable and have finite-dimensional homology. Nonextraction provides common isomorphic opens whose complement in the target has dimension at most . The localization sequence identifies the target’s degree- homology with the Borel–Moore homology of that open. Restriction from the source maps its prime-cycle span onto the target’s span by strict transforms, killing the classes of lost primes. Each lost prime has nonzero class by its positive Kähler volume, so the count strictly drops.
For completeness, that volume detects a topological class also on a normal singular space. Kähler potentials with pluriharmonic differences determine a class in through the real-part sequence , with a fixed normalization. If pluriharmonicity is initially known only on the regular locus, pull the difference to a resolution. Its smooth pullback is pluriharmonic. Near the compact fiber over a point, choose holomorphic real-part primitives and adjust imaginary constants to make their values on that fiber agree. The real part is constant there, and each irreducible fiber germ forces the holomorphic primitive to be constant there. The primitives therefore agree on overlaps near the fiber. A finite cover and smaller neighborhoods glue them on a neighborhood of the whole fiber, and properness and normality descend them. Thus the original difference is locally a holomorphic real part. Resolving a compact prime cycle now evaluates the corresponding class power as the strictly positive integral of the pulled-back Kähler form. Its fundamental class pushes to the stated cycle class. □
Lemma 7.9 (Strict low-discrepancy counts). For a compact ordinary rational klt pair there exists such that every discrepancy is at least and only finitely many exceptional places have log discrepancy strictly less than . In particular all exceptional places of discrepancy at most one can be realized on a single projective SNC resolution. For a terminal pair with largest boundary coefficient (zero for empty boundary), the exceptional places of discrepancy strictly less than are finite. For an lc pair the first assertion has the same form when restricted to centers not contained in its non-klt locus.
Proof. On an SNC resolution let the log-pullback coefficients be , put , and take , with value one if the list is empty. For a place still exceptional over this resolution, choose at the general point of its center normal coordinates , the first defining the boundary components through the center. The top exterior Jacobian calculation gives
At most one differential saves one order by normal differentiation along the place. This proves the lower bound. A place in the strict cutoff must have center a stratum: an additional normal coordinate would give at least (or at least two if no boundary is present).
Blow up that closed stratum. Its new SNC weight is the sum of the passing weights, and the next center lies in the new exceptional component. Until the place is divisorial, only strata of codimension at least two can occur; each next weight increases by at least . The fixed strict cutoff bounds the chain length, and there are finitely many strata at each stage. The finitely many exceptionals already on the starting resolution complete the count. All these blowups can be made globally and projectively.
For a terminal pair, exceptional log-pullback coefficients are negative. The same calculation uses the strict cutoff ; non-stratum centers and centers involving such exceptional components cannot contribute new places below it. For the lc version take the minimum of one and the strictly positive weights. A center not contained in the non-klt locus meets no zero-weight component generically, so the same argument applies.
Lemma 7.10 (Transversal surface calculation). Let a normal analytic space carry an ordinary rational Weil boundary with rationally Cartier adjoint. At an analytically general point of a codimension-two irreducible locus, a general transversal surface cut is normal and the crepant formula on a simultaneous log resolution restricts to its exact surface crepant formula. For a coefficient-one prime, normalized divisorial adjunction is computed by normalized curve adjunction on this cut.
Proof. Choose local parameters along the locus from an embedding. Take a sufficiently general nearby common value, regular on the smooth locus, upstairs on a projective log resolution, and on all relevant smooth strata; discard images of nondominating strata. The cut upstairs is a smooth surface, with the required SNC support, and no component is exceptional. Codimension-two bad loci are cut to isolated points.
The surface downstairs has dimension two and is regular in codimension one. It is Cohen–Macaulay as well. Indeed the non-Cohen–Macaulay locus of a normal analytic space has codimension at least three, by the local depth/coherent Ext criterion and normality at height at most two. Thus at the chosen general point the parameters are a regular sequence. The cut is generically reduced and Cohen–Macaulay, hence reduced; Serre’s criterion gives normality. Read the restricted boundary transversely as a cycle and take its closure. Complete intersection adjunction off the isolated bad set, followed by reflexive extension, identifies the restricted rational adjoint with , using division by the same parameter volume form upstairs and downstairs. The restriction of the crepant formula has the correct nonexceptional coefficients. Any difference from the surface crepant formula is exceptional and relatively numerically zero, hence zero by both signs of negativity. This also restricts klt formulas, or dlt formulas from resolutions preserving an SNC good open, with their stated discrepancies.
For a coefficient-one prime, first subtract its smooth strict transform in the resolved formula, then take residue and push to its normalization. At general points over the chosen codimension-two locus, the cut of that strict transform is a smooth curve germ, finite and generically an isomorphism onto its branch of the reduced surface curve. It is therefore the curve normalization. Transversality preserves coefficient orders. Restricting first to the surface and then taking residue gives the same result. Only the indicated sums need be rational Cartier on the normalization; the individual canonical and boundary terms need not be.
Extraction of prescribed low places
Proposition 7.11 (Low extraction). Let be an ordinary rational klt pair on a normal globally strongly -factorial compact Kähler space. Any specified set of exceptional places of log discrepancy at most one can be extracted, and no other exceptional prime extracted, by a projective crepant morphism with effective klt boundary, where is normal, compact Kähler, and globally strongly -factorial.
Proof. The set is finite by Lemma 7.9. Choose a projective SNC resolution carrying it. Put an effective SNC klt boundary on , retaining the strict boundary and the crepant coefficients of the specified primes, and choosing every other exceptional coefficient strictly above its crepant value. With this gives
where is supported exactly on the undesired exceptionals.
Fix an -ample line and let be all exceptional primes of . On a small full-dimensional rational polytope in formal coefficient space consider
Choose small enough that the perturbation is relatively ample at every nonzero parameter, and then make the polytope small enough. On the finitely many Stein neighborhoods choose effective representatives of , , and . A small common positive multiple of the effective sum representing supplies a common ample part. Taking the other coefficients sufficiently small on a simultaneous resolution gives equivalent ordinary klt adjoints at the vertices. Lemmas 7.5 and 7.6 give finitely many marked normal relatively ample models over for all rational parameters.
For each model occurring arbitrarily near zero, take the affine spans of its parameter sets in successively smaller punctured neighborhoods. These nested affine spaces eventually stabilize. Discard models not accumulating at zero. If every eventual span were proper, finitely many proper affine subspaces would cover all sufficiently small rational points in the full-dimensional cone, which is impossible. Thus one marked model occurs arbitrarily near zero with full eventual affine span.
Choose affinely independent rational parameters for this model. Their actual ample adjoint traces solve a rational linear system for the traces of in the group of rank-one reflexive sheaves tensored with . All these traces are therefore actual rational line bundles. A sequence of its parameters tending to zero makes curve-nef over . Taking (136) in codimension one gives the actual identity , with effective exceptional. Negativity forces . No specified prime is lost. At a nonzero parameter defining , the relative system of a divisible power of contains the system of the ample perturbation, multiplied by the section of the corresponding power of and a base pullback. It embeds relatively at general points outside . Every specified prime has generic point there, including a discrepancy-one prime whose crepant boundary coefficient is zero. It cannot be contracted. Thus is crepant with precisely the prescribed exceptional primes and effective klt boundary.
Each surviving exceptional prime is rational Cartier by the traces of the . For an arbitrary global rank-one reflexive sheaf on , its trace on has an invertible power by the global strong hypothesis. Lemma 7.2 expresses the corresponding power upstairs as a pullback line with an integral exceptional correction. Clearing the rational Cartier denominators of that correction makes a further power invertible. This proves the global strong property. Projectivity over the compact Kähler base gives the remaining category assertions.
Arbitrary klt birational termination through dimension three
Proposition 7.12 (Terminal threefold termination). An arbitrary sequence of elementary birational steps for an effective rational terminal pair of dimension at most three is finite. Here terminal means that all exceptional log discrepancies are greater than one. No pseudo-effectivity hypothesis is required.
Proof. In dimensions at most two there are no nontrivial small diagrams, and Lemma 7.8 handles divisorial contractions. In dimension three discard a finite prefix to make all steps small. Terminality persists by Lemma 7.3. The underlying threefold singularities are ordinary terminal: deleting the effective rational Cartier boundary does not decrease discrepancies. In particular they are smooth at general curve points. This conclusion also holds for local analytic places. On a global resolution the exceptional coefficients for the empty boundary are negative; local places still exceptional over that smooth resolution have ordinary log discrepancy at least two.
Let be the largest boundary coefficient, or zero for empty boundary. The coefficient set is fixed under small steps. If , test each step whose positive side has a flipped curve contained in a coefficient- component. If , test every step with any flipped curve; a nontrivial positive side exists by the ample-sign argument in Lemma 7.3. Blowing up the generic point of that curve on the positive side gives an exceptional place with log discrepancy
where are nonnegative integral multiplicities. One can realize this place by the normalized blowup of the whole curve. Positivity and the fixed boundary denominators make the possible a finite set. For each such , the number of exceptional places with discrepancy strictly below is finite by Lemma 7.9. These counts do not increase. At a tested step its tested place had discrepancy strictly below before the step and equals afterwards, so the corresponding count drops. Only finitely many tested steps occur.
If , consider the normalizations of the finitely many coefficient- surfaces on the remaining tail. Both sides map birmeromorphically to the normalization of their common image in the contraction base. The positive map contracts no curve and is therefore an isomorphism. The negative normalization consequently maps projectively bimeromorphically to the next normalization, contracting a curve whenever the corresponding surface contains a flipping curve. These are compact Kähler surfaces. The cycle count leaves a tail on which no maximal-coefficient component contains a contracted curve on either side.
Remove all maximal-coefficient components from the boundary on this tail. The new adjoint is still negative, because an effective rational Cartier divisor has nonnegative degree on a curve not contained in it. Its one-ray identity with the original adjoint, obtained by Lemma 7.4, has a positive rational coefficient. Smallness then makes its transform relatively positive. Terminality persists after decreasing the boundary. Induct on the number of distinct positive boundary coefficients. The empty-boundary case was handled by testing every step, so the sequence is finite.
We require a uniform index statement to pass from klt to terminal pairs. The local terminal-point results used are the classical complex analytic threefold theorems of Mori–Reid and Kawamata. If a terminal point has canonical index , there is an exceptional place centered there with ordinary log discrepancy ; see [49]. Also, the index of every integral -Cartier Weil divisor germ divides , including when . For the latter statement, the analytic index-one cover is smooth or an isolated cDV hypersurface, with simply connected punctured small neighborhood. The connectivity theorem for isolated hypersurface links and the analytic Kummer sequence make its germ divisor class group torsion-free. Pulling up a -Cartier divisor therefore makes it principal, and the norm gives the divisibility downstairs. The small-discrepancy place can be detected globally on a compact terminal space: on a global resolution the empty-boundary exceptional coefficients are negative, so a local place still exceptional over the resolution has discrepancy at least two. A place of discrepancy must already be a component of its restricted exceptional divisor and hence a global exceptional place.
Lemma 7.13 (A surface estimate for a single extraction). Let extract only a prime from an effective rational klt threefold pair as in Proposition 7.11. Write its crepant boundary as , where . There is a contracted curve , not contained in , such that
Proof. First is -ample. Compare any -ample line with its rationally invertible trace downstairs. Their difference is a rational multiple of the unique exceptional prime , by Lemma 7.2. Negativity makes that multiple strictly negative, proving the assertion.
Divisorial adjunction of to the normalization gives an actual rational line of the form , with , even though need not be lc. We justify the sign, without requiring the individual terms on to be rational Cartier. Take residue along the smooth strict prime on a log resolution and push its restricted crepant boundary to . This identifies the actual restricted line in codimension one, then by reflexivity. Lemma 7.10 computes a tested coefficient on a klt normal surface germ with the reduced curve of all sliced branches of . Such a surface germ is a quotient of a smooth germ by a small finite group, by the analytic klt surface classification; see [56], Chapter 4.
On the smooth chart, adjunction to a normalized branch of a reduced plane curve has effective different: the conductor contribution from normalization and the intersections with other branches are nonnegative. More explicitly, hypersurface adjunction makes the plane curve dualizing sheaf a line, and finite duality identifies the normalization’s dualizing sheaf with its pullback multiplied by the conductor ideal. The quotient pullback of the reduced divisor is reduced. Frames of a Cartier log-adjoint power pull to the corresponding frames by the codimension-one étale property, and their meromorphic residues are related by pluricanonical pullback. Therefore the different downstairs pulls to the different upstairs plus the ramification divisor on the normalized branch. This proves .
On a minimal smooth resolution the restricted adjoint is with . Indeed is relatively nef by curve adjunction, negative definiteness, and the absence of exceptional smooth rational -curves. The correction is relatively anti-nef with effective pushforward; negativity applied to gives the sign.
If maps to a curve, take a general smooth fiber on , after Stein factorization. Its -degree is at least . If maps to a point, and are projective. The classification of smooth projective surfaces supplies moving curves covering with -degree at least : use ample curves if the minimal canonical class is nef, ruling fibers in the ruled case, or lines on , and general strict transforms; see [4]. In either case choose a curve not contained in the correction or in the finitely many excluded curves, including the inverse image of . It maps birationally to a curve and the effective correction has nonnegative degree there. This proves (139).
Proposition 7.14 (Uniform global reflexive index). Fix and an integer . For effective rational klt threefold pairs on normal globally strongly -factorial compact Kähler spaces, suppose every discrepancy is at least , at most exceptional places have discrepancy at most one, and every exceptional discrepancy greater than one is at least . There is an integer such that is invertible for every global rank-one reflexive sheaf on each such space.
Proof. For the underlying space is terminal with the ordinary exceptional discrepancy gap . The terminal-point statement above bounds every canonical index by . A global rank-one reflexive sheaf has -Cartier germs by the global strong hypothesis, so its local indices divide those canonical indices. Their bounded common multiple gives .
Induct on , seeking a multiple of previous bounds. If there is no low place use the previous case. Otherwise extract only a place of discrepancy by Proposition 7.11. The pair on has effective crepant boundary . Its exceptional places are exceptional downstairs, except that is no longer counted; all hypotheses hold with . Set .
For the curve in Lemma 7.13, crepancy and effectiveness of give
Let be a global rank-one reflexive sheaf on , and let denote its reflexive sheaf pullback. Distinguish this from the rational line pullback defined by an invertible power of . Their meromorphic comparison has the actual rational-line form
Both and are integral lines. Degree zero of the left side on gives
The numerator and denominator are integers. Put
Then and are multiples of , so is an integral line of zero degree on all contracted curves. Increase the crepant coefficient of by a sufficiently small positive rational number. The pair remains klt, and its adjoint is relatively antiample because is ample. Lemma 7.4 descends this integral line. Its descent agrees with away from the codimension-two center of the extraction, hence everywhere by reflexivity. This proves the induction.
Theorem 7.15 (Klt termination through dimension three). Every arbitrary sequence of elementary birational steps for effective rational klt pairs of dimension at most three is finite, without a pseudo-effectivity hypothesis. Proof. Only dimension three remains. Suppose there is an infinite sequence; after the cycle count all steps are small. The finite sets of exceptional places of discrepancy at most one are nonincreasing, so stabilize to a set . There is a uniform positive of the type in Proposition 7.14 on this tail. Indeed start with Lemma 7.9 on its first model. Only finitely many places lie below its strict cutoff ; outside their discrepancies are greater than one, with a positive minimum gap. Take the minimum of this gap, , and the positive starting discrepancy lower bound. All subsequent comparisons are nondecreasing.
The boundary denominators are fixed. Proposition 7.14 gives a common denominator for the actual adjoints on all models of the tail, and hence for all discrepancies by the crepant formulas. The nondecreasing values on , bounded above by one, therefore eventually become constant. Over the first model of this stabilized tail extract exactly crepantly. The resulting pair is terminal with effective boundary and is globally strongly -factorial.
Lift a flip over from its extracted terminal model . Run relative elementary steps over using Proposition 7.7. On a common projective resolution of any finite prefix ending at , denote the pulled-back adjoints of by respectively. The comparisons give
where is exceptional over and is exceptional over . The line is nef over . Over the divisor is nef and has nonpositive pushforward; negativity gives , before any termination is known. A lost prime of would have positive coefficient in , but zero coefficient in : this follows from smallness below for old primes and from constancy of discrepancies on for the extracted ones. Thus no prime is lost. The run stays small and terminal, so Proposition 7.12 makes it finite. Its endpoint has nef over .
At the endpoint negativity over applied to gives the opposite inequality, hence . Since the adjoint on is relatively ample, its projection from the common resolution is constant on the fibers over : otherwise a curve in a connected projective fiber would have positive pullback degree. Factoring the graph over the normal space gives a projective crepant morphism . It extracts the same places, by smallness below and the absence of lost primes, so the construction repeats.
Each nontrivial flip below forces a negative step in its lift, by lifting a negative curve. Infinitely many flips would concatenate to an infinite small terminal sequence with effective strictly transformed boundary, contrary to Proposition 7.12. This proves the theorem.
Adjunction and special termination for dlt pairs
Lemma 7.16 (Actual adjunction on normalized strata). Let be an ordinary effective rational dlt pair, and let be the normalization of an lc center, with map . A chain of coefficient-one primes through its generic SNC stratum gives an effective dlt adjunction pair and an actual rational-line identification
Its lc centers map to proper lc subcenters of the given center. If the ambient coefficients belong to a DCC subset of , the adjunction coefficients belong to a DCC set depending only on that set and the chain length. In sufficiently divisible even powers, the identification is the canonical meromorphic residue identification, independent of the resolution and of the order of the generic residues. No global strong -factoriality of is asserted. Proof. The lc centers are the images of the finitely many coefficient-one strata on a log resolution, and each is generically an SNC floor stratum. Order the floor components defining the chosen generic chain. Take a projective log resolution isomorphic over an SNC open meeting all lc centers. Successively restrict its crepant formula to the smooth strict strata by residue, then push the adjunction boundaries in codimension one to their normalizations. At each stage the SNC log pullback has coefficients at most one, and its rational adjoint is the restriction of the ambient actual line. Reflexive extension gives (144); any exceptional difference from the crepant comparison is numerically zero and vanishes by both signs of negativity. A discrepancy-zero stratum of a restricted formula comes from an ambient coefficient-one stratum whose image meets the good open. This gives the sub-dlt discrepancy and good-open properties, and identifies nested lc centers by the generic SNC calculation.
There is also a canonical meromorphic comparison, not merely an abstract equality of line classes. On a smooth strict stratum the residue of the ambient log-pullback frame has exactly the pole and zero orders of the remaining crepant boundary. It therefore gives the frame of the pushed adjunction in codimension one on the normalization. Extending the line identification reflexively and composing with the natural embedding of its divisorial adjoint sheaf into meromorphic pluricanonical tensors gives the claimed map. Different resolutions give the same map on the dense generic SNC stratum, and hence everywhere meromorphically. Permuting the residues changes only signs, removed in even degree. Sequential adjunction through normalized intermediate strata agrees with this strict-chain calculation by the same dense-open test. In particular all codimension-one boundary orders agree.
We prove effectivity and the DCC assertion at one restriction step; iteration then proves the statement. By Lemma 7.10, a tested different coefficient is a normalized-curve coefficient on a normal dlt surface with a coefficient-one branch. If the tested point is an lc center, the surface pair is SNC there. Indeed on a sliced log resolution preserving the good open, a zero center must lift to the intersection of two strict floor curves, with no exceptional locus through it; the resolution is an isomorphism there.
Otherwise deleting the boundary leaves a numerically klt surface germ. The Mumford numerical pullbacks of effective terms are effective by negative definiteness. We recall why this is ordinary klt even if rational Cartierness of the separate canonical term has not yet been established. On the minimal resolution of the singular germ, write
The numerical klt condition gives . Relative nefness of , from minimality and curve adjunction, gives and hence . For any nonzero effective integral exceptional cycle , set on its support and elsewhere. Off-diagonal entries of are nonnegative, so
Thus some supported has . Consequently has degree greater than and has zero by curve duality. Peeling off such components with the cycle exact sequences proves for every exceptional cycle . Grauert formal functions gives rationality; multiples of the full exceptional curve are cofinal with the maximal-ideal thickenings.
An integral multiple of the numerical pullback of any Weil divisor is now a line-bundle divisor on the resolution with all exceptional degrees zero. Its class restricts to zero in of the exceptional curve, by normalization and the degree description of the curve’s top cohomology. Continuity around the compact fiber, or topological proper base change, makes that class zero after shrinking. On the preimage of a small Stein neighborhood, by rationality. The exponential sequence makes this line actually trivial there. Pushing in codimension one proves that the original Weil divisor is rational Cartier; in particular the canonical divisor is. The numerical klt test is therefore the ordinary one.
The analytic log-terminal surface classification now realizes the germ as a smooth germ modulo a small finite group [56], Chapter 4. Pull up the full boundary by canonical pullback, which is étale in codimension one. No exceptional place over the origin on the chart has nonpositive discrepancy, by finite discrepancy comparison with positive ramification factor. The point blowup therefore tests total boundary multiplicity strictly below two. There is exactly one smooth coefficient-one branch. The finite group preserves it and acts faithfully on its tangent: finite actions linearize, and a nonidentity element with trivial tangential eigenvalue would be a quasi-reflection. Thus the group is cyclic of order , also the branch ramification index; is allowed.
Residue and ramification give for the branch alone. Other components of coefficients contribute intersection multiplicities on the chart. The different coefficient is consequently
The upper bound follows from the sub-lc resolution formula. This proves effectivity and hence the full dlt condition at this step. Positive elements of a nonnegative DCC set have a positive minimum, if any occur. The sums in (146) thus have a bounded number of positive terms, counted with multiplicity, and satisfy DCC. In a decreasing sequence of coefficients below one, is bounded as well, since is a lower bound. This proves DCC for each restriction and for its iterations. □
Lemma 7.17 (Strict comparison on strata). Suppose a small dlt elementary step preserves the generic points of an lc center and its chosen adjunction chain. The normalized strata on both sides map projectively bimeromorphically to the normalization of their common image in the contraction base. Their adjoints are relatively antiample and ample, respectively. On a common higher model their canonical pullback comparison satisfies
The resulting discrepancy increase is strictly positive at any place whose center on either stratum maps into the ambient exceptional locus on that side.
Proof. The morphisms are the restrictions of the ambient projective morphisms followed through finite normalizations. The relative ample signs restrict as stated. Choose a common ambient resolution preserving the generic SNC chain. By Lemma 7.3 its effective pullback difference has support containing the full fibers over the non-isomorphism set. Restrict the two crepant formulas along the common strict chain. The same coefficient-one terms are subtracted, and Lemma 7.16 identifies the remaining canonical comparisons. Their difference is precisely the restriction of that effective divisor. The stratum itself is not contained in its support, since its generic point is preserved. The full inverse image of any indicated center is contained in the support, so pullback gives strictly positive multiplicity at each such place. This proves both assertions for actual crepant boundaries, rather than only for restricted first Chern classes. □
Theorem 7.18 (Dlt special termination and modifications). The following hold for ordinary rational pairs in the analytic projective setting above.
(i) In dimension , any dlt elementary sequence has a tail whose exceptional loci on both sides are disjoint from every lc center. (ii) An ordinary rational lc pair of dimension on a normal compact Kähler space, with rationally invertible adjoint, has a projective crepant dlt modification whose total space is globally strongly -factorial and compact Kähler. The boundary is effective, and every exceptional prime has coefficient one.
(iii) For , every dlt elementary sequence is finite.
The bases of the elementary steps may vary. Assertion (iii) is not asserted in dimension four.
Proof. We induct simultaneously on dimension. The order within a dimension is (i), then (ii), then (iii) when . Dimension zero is immediate. In proving (i) in dimension , discard a prefix so that all steps are small, by Lemma 7.8. A zero-discrepancy place on a new space was already a zero place. Strictness in Lemma 7.3 excludes containment of its center in the exceptional locus. The finite lists of lc centers therefore stabilize, and the generic point of every remaining center is preserved at every subsequent step.
Induct increasingly on the dimension of a surviving center; the point case is already settled by preservation of its generic point. Normalize its successive transforms and use the same generic adjunction chain. By the smaller-center conclusion, the stratum diagrams and adjunction pairs are isomorphisms near their non-klt loci on a tail. Their discrepancies are nondecreasing by Lemma 7.17.
If a prime is extracted by a stratum transformation, it lies on the new side over the ambient exceptional locus. Its earlier discrepancy is strictly smaller than its new discrepancy, the latter being at most one by effectivity. At the start of this tail it therefore had discrepancy less than one and center outside the non-klt locus, since the diagrams are unchanged near that locus. Lemma 7.9 gives finitely many possible exceptional places; the possible nonexceptional positive-boundary primes add only finitely many. For each such place, repeated extraction would give a strictly decreasing sequence of boundary coefficients, by the strict comparisons. The fixed adjunction DCC set of Lemma 7.16 excludes infinitely many such occurrences. After discarding a prefix there are no stratum extractions.
The cycle count then leaves no prime contractions by stratum transformations either; for normal curves the diagrams are already isomorphisms. The primes now match. Their coefficients do not increase, and finite positive support and DCC stabilize the whole boundary. Neither morphism of a stratum diagram to can contract a prime on this tail: its generic point would lie over the ambient exceptional locus, and strict discrepancy increase would contradict the matched coefficients. Thus the stratum diagrams are small, allowing isomorphisms, and their effective pullback differences are exceptional over the positive stratum. If the stratum transformation is an isomorphism, its discrepancies agree, and strictness excludes any ambient exceptional intersection with the stratum. One may test a divisor over a point of such an intersection, or the point itself for a curve.
For each remaining nontrivial stratum diagram, its dimension is . Use the modification assertion already proved in dimension to start on a projective globally strong crepant dlt model of the negative stratum. Run relative elementary steps over by Proposition 7.7. The lower-dimensional termination assertion makes this run finite, with a relatively nef endpoint. On a common higher model write
where , , are the initial, endpoint, and positive-stratum adjoint pullbacks. The divisors are effective and exceptional over the respective endpoint sides. Both and are relatively nef, so negativity in both directions gives and . Relative ampleness on the positive stratum makes its projection constant on the connected projective fibers over the endpoint, as in the proof of Theorem 7.15. The graph therefore factors into a projective crepant morphism to that stratum. Remaining exceptional primes came from old exceptional primes, since there was no extraction upstairs and the stratum transformation was small; they retain coefficient one. This endpoint can start the next lift.
Each nontrivial stratum surgery forces at least one negative step in its lift. Its negative morphism is nontrivial as well, by smallness, matched boundary data, and the ample signs; lift a negative curve to see the assertion. Infinitely many surgeries would concatenate to an infinite lower-dimensional dlt elementary sequence across possibly varying bases, contrary to (iii) in dimension . This proves disjointness for the chosen center. There are finitely many centers, completing (i) in dimension .
For (ii), take a projective SNC resolution of the lc pair with boundary equal to the strict boundary plus the full reduced exceptional divisor. Its adjoint is the pullback of the original adjoint plus an effective exceptional correction, by log canonicity; the correction is supported in the floor. Run relative elementary steps over the original space. At every stage the same identity holds with the pushed-forward correction. If the run were infinite, (i) and the cycle count would leave a tail disjoint from the floor on both sides. The current adjoint could not have negative degree on a contracted curve there, since its correction is supported in the floor and its other term is a base pullback. Thus the run ends. Relative nefness and negativity kill its effective exceptional correction. The endpoint is crepant dlt and globally strongly -factorial by continuation. Every remaining exceptional prime came from an exceptional prime on the resolution and still has coefficient one. This proves (ii).
Finally, if , an infinite dlt sequence would, by (i) and the cycle count, have a small tail disjoint from the floor on both sides. Delete the floor. The resulting pair is klt, using the global strong condition and the dlt discrepancy characterization. The ample signs are unchanged by disjointness on both sides. This contradicts Theorem 7.15, proving (iii) and completing the induction.
A reduced-boundary model with a nef klt interval
Lemma 7.19 (Transport of canonical pseudo-effectivity). Suppose a bimeromorphic transformation of normal globally strongly -factorial spaces extracts no divisors, and a Cartier power of the canonical line on its source has a semipositive singular metric. Then a Cartier power of the canonical line on its target has such a metric as well.
Proof. Choose a common canonical power on the two spaces. On their isomorphic open, the actual canonical identification transports the metric. Nonextraction makes the complement of this open in the target have codimension at least two. In a local frame of the target line we must extend a psh weight over that complement.
Here is the local upper bound needed for this Hartogs argument on a normal germ. Take a finite local projection to a ball. Off the branch locus and the image of the missing set, the maximum of the weight on the finite fibers is psh. It extends across the branch locus while the fibers still avoid the missing set, by local upper boundedness. The bad image has codimension at least two, so psh Hartogs extension on the smooth ball extends this maximum there as well. It bounds the original weight on a dense analytic complement. The bound holds on its whole original domain by the disc test, using discs generically outside the excluded analytic sets through any tested point. Normality and the psh Riemann extension theorem on locally irreducible spaces now give the psh extension by upper regularization. These extensions respect the transition functions of the actual line. They define the required semipositive metric. For a related actual-line statement under rational singularities, see [46], Lemma 3.6.
Proposition 7.20 (Reduced-boundary model). *Assume Assumption 2.3. Let be an ordinary rational dlt fourfold pair with reduced boundary, on a normal irreducible globally strongly -factorial compact Kähler space. Assume that has a semipositive singular metric on a Cartier power. The boundary may be empty. There is a nonextracting bimeromorphic map such that:
(i) is normal, compact Kähler, globally strongly -factorial, and klt for zero boundary; remains pseudo-effective with such a semipositive metric.
(ii) The pushforward is reduced, is lc, and the actual rational line is analytically nef. There is a rational such that is klt and is analytically nef for every rational .
(iii) There is a projective crepant dlt modification
where is normal, compact Kähler, and globally strongly -factorial, and is reduced. The line is analytically nef. If , then .
(iv) On a simultaneous smooth compact Kähler projective resolution of the displayed models and boundaries, the line has a semipositive metric with minimal singularities and zero Lelong numbers everywhere.
The construction uses the fourfold MMP assumption only for ordinary effective klt pairs with pseudo-effective adjoint.
Proof. We give the two phases separately. In the first phase the current pair stays dlt with reduced boundary, and we make a step whenever has a negative extremal ray of the cone specified in Assumption 2.3. The underlying zero-boundary pair is klt by the dlt floor perturbation argument, and canonical pseudo-effectivity is retained by Lemma 7.19.
For a chosen negative ray, take a rational sufficiently close to one that it stays negative for . This is an effective klt pair, and its adjoint is pseudo-effective because is. Assumption 2.3 supplies the projective bimeromorphic ray step with its prescribed face, negative-side Bott–Chern rank, global strong condition, and Kähler category. The full adjoint has negative degree on this ray, hence the negative relative ample sign. Its one-ray degree-zero adjustment and Lemma 7.4, applied to the klt contraction, give the positive relative ample sign on a flip. Thus it is an elementary dlt step for the full adjoint, and Lemma 7.3 keeps the transformed pair dlt.
This first phase is finite. Otherwise the cycle count and Theorem 7.18(i) leave a small tail disjoint from the boundary on both sides. It is then a genuine zero-boundary -negative klt program. The same rays are -negative, as tested by their actual contracted curves; the contraction faces and negative-side Bott–Chern conditions are the ones already supplied. Both relative canonical signs are unchanged because the floor is disjoint from all fibers involved in the surgery. Moreover these are the actual canonical flips stipulated by the assumption: under a small map, direct images of common Cartier canonical powers agree as reflexive sheaves, and the positive canonical powers are relatively ample. They give the required relative canonical algebra and tautological line. The supporting-class existence for these zero-boundary negative rays is also supplied by the same assumption. This infinite tail would therefore be one of the programs excluded by its arbitrary termination clause, starting from its first zero-boundary klt model. No dlt fourfold termination assertion has been used.
At the end of phase one write . It has no negative extremal ray and, in particular, is nonnegative on curves. We justify this conclusion without asserting an absolute curve criterion for nefness. The normalized Kähler-mass slice of the positive closed current cone defining is compact for smooth Bott–Chern pairings. Indeed positive closed currents of unit mass have locally bounded order-zero coefficients by positivity and the Kähler mass; weak limits remain positive and closed. Their pairing image is compact in the product of the pairing coordinates, or in the finite-dimensional realization when used. Its positive cone with zero is closed, since the mass coordinate and normalized coordinates control every convergent sequence. Thus this is the full cone in the definition. A negative value of would give a negative minimum face of the compact convex slice and hence an extreme point, contradicting the absence of a negative extremal ray. Only curve nonnegativity is needed at this stage.
In the second phase we make -trivial steps of a single zero-boundary program. Maintain the properties that is nonnegative on curves, is lc, is klt, and is pseudo-effective. If some rational already has analytically nef, every rational does as well. Indeed these pairs are klt by interpolation between the zero-boundary klt pair and , and their adjoints are pseudo-effective. Their degrees are nonnegative by convexity between and the curve-nonnegative . A non-nef one would, by Assumption 2.3, have a negative ray with a projective contraction and an actual negative contracted curve, a contradiction. Closedness of the analytic nef cone then makes analytically nef as tends to one.
Suppose instead that every rational , , is non-nef. Choose current positive integers with and Cartier. Choose a rational so close to one that
The klt assumption gives a negative extremal ray for
Its contraction supplies an actual curve class. Since is nonnegative on curves, is -negative. Choose the prescribed contraction and step for this same ray now from the zero-boundary application of Assumption 2.3.
We claim . If this degree were positive, the Cartier line would be relatively ample on that contraction, since its fiber-curve degrees are a positive multiple of those of . Work over a Stein neighborhood with a property-(P) compactum containing a point with nontrivial fiber. The local projective analytic rationality theorem for the ample Cartier line and the klt canonical adjoint gives denominator at most for its positive finite relative nef threshold; see [32], Theorem 4.3.1 and Remark 4.3.4. All contracted curve degrees are proportional, so for a curve of the ray that threshold is exactly
The actual line data and canonical representatives needed for the theorem are available locally over this bimeromorphic Stein base, as in Section 7.2. On the other hand, negativity for the test boundary gives
contradicting (151). This proves the claim using only current-stage indices, with no uniform index assumption on the fourfold sequence.
By Lemma 7.4, a Cartier multiple of descends to an actual line on the contraction base. The pushed adjoint on a divisorial step, or the transformed adjoint on a small positive model, is the corresponding pullback by codimension-one identification and reflexivity. On a common projective model any remaining exceptional comparison is relatively numerically zero, and hence zero by negativity. Thus the step is crepant for the actual adjoint , and the pair stays lc. Curve nonnegativity on the next model follows by lifting each curve to a common model and using the equality of pullbacks. The zero-boundary klt and canonical pseudo-effective hypotheses persist by Assumption 2.3 and Lemma 7.19.
Repeat this procedure whenever no rational nef parameter exists. Every step is a prescribed -negative step of the same zero-boundary program. Arbitrary termination in Assumption 2.3 excludes indefinite repetition. We therefore reach the asserted and nef klt interval. Neither phase extracts divisors, so their composite is nonextracting.
Apply Theorem 7.18(ii) to to obtain (150). The boundary is the strict transform of plus coefficient-one exceptional primes, hence reduced. If is nonzero its strict transform is nonzero. Analytic nefness pulls back, giving that of .
Finally take the stated simultaneous resolution and write . For every rational in the nef klt interval, Lemma 5.1 applied to gives a semipositive metric with minimal singularities and zero Lelong numbers on . Add the metric of the effective rational divisor . This is a semipositive metric on the fixed actual line
A metric with minimal singularities on that line is no more singular than each of these metrics, up to an additive constant in weights. At every its Lelong number is therefore at most . The latter is finite and tends to zero as rational tends to one. All Lelong numbers of the minimal metric vanish. This proves (iv) and the proposition.
A section on the entire reduced boundary
This section proves the adjunction statement needed on the reduced-boundary model. The distinction between a section on one component and a section on the whole reduced boundary is essential. In particular, none of the gluing below follows merely from abundance on the normal components.
Proposition 8.1 (Whole-boundary nonvanishing). Let be the compact Kähler dlt fourfold supplied by Proposition 7.20, where is globally strongly -factorial and is reduced. Put
If the actual rational adjoint line bundle is analytically nef, then, for some positive integer for which is Cartier on ,
We prove the proposition by constructing sections on the normalized components with matching canonical residues. All adjunction boundaries in the argument are the full effective rational differents; their fractional parts are never discarded. All sufficiently divisible degrees will also be even. Evenness removes the sign obtained by interchanging two residue operations, but does not permit a change of the actual adjunction line bundle.
Adjunction and the descent locus
Write and let denote the normalization of a component. Dlt chain adjunction gives an effective rational dlt pair and an equality of actual rational line bundles
Here and below restriction includes pullback by the indicated normalization. Further adjunction is always performed with the full boundary in (154).
We use the good SNC opens and chain-adjunction construction of Lemma 7.16. Every lc center is generically a stratum of distinct coefficient-one primes. In the particular modification used here, this can also be seen by following a discrepancy-zero place from the starting SNC resolution: strict discrepancy increase over a nonisomorphism locus, as in Lemma 7.17, forces the general point of its center to remain unchanged at every step. The distinct primes at that stratum consequently remain distinct.
Keeping only one component in the ambient boundary gives a plt pair. Indeed, any exceptional place with zero log discrepancy for would also have zero log discrepancy for and would have its center generically in one of these unchanged SNC strata. For a single smooth coefficient-one branch there is no such exceptional zero-discrepancy place. Comparisons are legitimate because the components are effective rationally Cartier divisors. Adjunction for therefore supplies an effective rational klt pair on . In particular, has rational singularities. A Moishezon is projective by Namikawa’s theorem, since it is also compact Kähler [60].
Lemma 8.2 (Codimension-one matching suffices). The reduced space is and has only smooth points and ordinary double crossings in codimension one. Its codimension-one conductor branches are the normalizations of the primes of . They are paired between distinct components . For a sufficiently divisible even , a tuple
descends to if its restrictions agree on every paired normalized conductor surface under the canonical adjunction identifications.
Proof. First, both and are Cohen–Macaulay. The first assertion follows from klt rationality: decreasing the reduced dlt boundary makes the zero-boundary space klt. For the second, work locally and trivialise a Cartier multiple of the integral Weil divisor . The resulting normal cyclic index cover is étale in codimension one: divisorial orders in the defining equation are multiples of the index. The cover is klt by the finite canonical pullback and discrepancy formula, hence Cohen–Macaulay. The desired divisorial sheaf is an eigensummand of the pushforward of its structure sheaf, so is Cohen–Macaulay as well. Normality identifies the reduced ideal of with . The sequence
now shows that is Cohen–Macaulay, in particular .
For the codimension-one description, take general transverse surface germs in the dlt adjunction calculation. At a single coefficient-one branch the plt local model is a cyclic quotient of a smooth pair, and its boundary curve is smooth. At two coefficient-one branches, the different and the sub-lc condition give an ordinary double SNC point; these are precisely the generic deeper lc strata described above. The branches come from distinct primes. To lift the assertion about a single-branch transverse curve to regularity at the corresponding point of , note that the transverse boundary curve is generically reduced and has no embedded points by Cohen–Macaulayness. Its regularity lifts by lifting generators of the maximal ideal through the transverse parameters. This proves the asserted codimension-one description.
Let be a normalized conductor surface on . Chain adjunction gives
The matching branch on is the normalization of the same image, and the two normalizations agree. At a general SNC point the two iterated residue maps differ by the sign from interchanging two differentials. Their even powers are equal. On a common smooth model the two invertible pullback subsheaves of meromorphic pluricanonical forms are therefore equal: they have the same invertible domain and the same meromorphic map on a dense open. Thus this is an equality of the actual residue lines, not only a numerical comparison. The same argument applies to further normalized lc strata. Proper subcenters are generically deeper SNC strata, so the chains on either side identify the same further centers and the same even residue maps.
At an ordinary double point the usual two-branch local calculation glues sections precisely when their values agree on the intersection. Hence a matching tuple is a section of the ambient invertible restriction away from a subset of codimension at least two in . For a reduced analytic ring, regularity of a meromorphic element is tested in its height-one localizations. Applied after trivializing , this extends the section across the omitted subset. Equivalently, the class of the normalization-pushforward section modulo the invertible sheaf has support of codimension at least two and vanishes by the Hartogs criterion. The residue comparisons used here are the comparisons induced by the one ambient line bundle; no arbitrary scalar choices in adjunction enter the descent.
Lemma 8.3 (Systems on the normal components). Each is semiample as an actual rational line bundle. There is a holomorphic connected-fiber map to a normal projective variety and an ample rational line bundle such that
Proof. The normal compact Kähler threefold log-abundance theorem applies to the effective rational adjunction pair (155): its actual adjoint is analytically nef. One may first pass to a projective crepant dlt modification and use the -factorial dlt form of the theorem. We use here Das–Ou’s normal threefold theorem, together with their dlt-modification theorem [21], Corollary 1.3 [20, Theorem 5.2]. Generation on the modification descends by projection to the normal target. These inputs concern normal pairs; no nonnormal gluing assertion is being invoked.
For completeness, the passage to divisor representatives in these theorems does not impose an additional global-frame hypothesis. One can first produce a section of a power of as follows. If is projective, use projective threefold log abundance. Otherwise resolve it by a smooth compact Kähler space. If that space is non-uniruled, smooth threefold canonical nonvanishing gives a section which pushes to , since . If it is uniruled and non-Moishezon, take a resolved rational quotient. Its smooth non-uniruled compact Kähler base has nonnegative Kodaira dimension, and its very general smooth quotient fibers are projective of dimension at most two. On a simultaneous resolution of the pair, use the strict boundary and all reduced exceptional divisors as an effective SNC boundary . Log canonicity gives
This adjoint restricts pseudo-effectively on a very general quotient fiber. Projective log nonvanishing in dimensions one and two supplies fiberwise sections. Assumption 2.2, including unit coefficients and its invariant-base interpretation, now supplies a section upstairs exactly as in the rational-quotient reduction. It pushes to a section of an actual power of by normality and reflexivity. The rational-quotient and uniruledness inputs are used in their smooth compact Kähler scopes [14, 64].
Cancelling the boundary contribution in such a section gives a meromorphic pluricanonical tensor. Its divisor divided by its degree is a rational canonical representative, compatible with pullback to resolutions. The discrepancies are the local canonical discrepancies, and the divisible systems are still the actual systems of . Thus the divisor formulation of threefold abundance gives precisely the claimed semiampleness. The Stein factorization of a sufficiently high generated system yields (157).
Dominant clusters and a finite-product construction
Set and . At a vertex with , call a normalized conductor surface dominant when it surjects onto . By (156) and (157), this is equivalent to . On the opposite side of a matched conductor surface, the same equality forces , and the surface is dominant there too. Thus dominance is symmetric.
Form the finite graph whose vertices have and whose edges are the dominant conductor surfaces. Fix a connected component of this graph, called a cluster. It is enough to construct a nonzero matching tuple on this cluster which vanishes on every nondominant branch, including nondominant edges within the cluster; we then put zero on every other component. The finitely many nondominant images are proper subvarieties of the relevant . An ample power has a nonzero section vanishing on their union. An isolated vertex is therefore immediate. If , there are no nonempty nondominant branch images. If the cluster has an edge, then , since an edge is a surface. This also settles any vertex with .
We shall use normalized strata with the full chain adjunction
Each chosen object dominates the corresponding and has semiample . An arrow between objects means a -bimeromorphic comparison: on a common resolution, the actual adjunction lines and their meromorphic pluricanonical pullback maps agree. In sufficiently divisible even degrees, arrows consequently give isomorphisms of section spaces. These isomorphisms commute with multiplication.
Lemma 8.4 (Finite products of transported sections). Consider finitely many such objects and invertible arrows. Suppose that in one sufficiently divisible even degree the image of every group of loops on its section space is finite. At each object choose a nonzero section in that degree, obtained by restricting a base section which vanishes on the prescribed nondominant images. Then, in a common higher degree, there are nonzero sections at all objects, invariant under every arrow, and retaining the prescribed vanishing.
Proof. Fix one orbit of objects. At an object , take the set of all sections transported to from all chosen initial sections in that orbit, along all paths. The set is finite: there are finitely many starting objects, and two paths from the same object differ by a loop, whose image is finite. Arrows biject these finite sets. Multiply all their distinct members. The resulting section is nonzero because the object is irreducible, and the products are carried to one another because pullback is multiplicative. They have equal degree within the orbit. The initial section at occurs among its factors, so its prescribed zeros remain. Taking further powers makes the degrees equal across the finitely many orbits.
In each application with we shall verify that the invariant sections on the objects descend to sections of the node’s base polarization. This will also preserve the required vanishing: a dominating object’s section contains the pullback of the initial vanishing base section as a factor.
We record the residue calculation used to construct internal arrows. Suppose a log rational-curve fibration has, on its general fiber, two distinct coefficient-one points. The total horizontal weighted degree of the boundary is two, so there are no other horizontal markings. After ordering the points, choose a rational coordinate with them as zero and infinity. A local base frame of an adjoint power has, in relative log differentials, the form
where is constant on the compact general rational fiber. The residues at zero and infinity differ by , and hence agree for even . A change adds a base differential, which disappears in the top-form expression. This proves that pairing the two marks preserves restrictions of base sections. For two degree-one branches it gives a bimeromorphic map between their normalizations; for one degree-two branch it gives the involution exchanging the two generic sheets. The latter is defined by normalization of the other main component of the relative fiber square. Since the lines on a common resolution pull back the same base line, equality of the meromorphic residue maps on this dense open proves the full -crepant comparison.
Clusters containing a non-Moishezon vertex
We first describe the geometry of such a vertex; as before we omit its subscript and write , , and .
Lemma 8.5 (The rational-quotient surface). At a non-Moishezon vertex with a dominant conductor branch there is a diagram of compact Kähler spaces
in which is smooth and resolves the pair, is a smooth nonprojective compact Kähler surface, both and have connected fibers, the very general -fiber is , and every -exceptional divisor is vertical over . The horizontal crepant boundary on is effective, with weighted degree two on a general -fiber. Moreover and .
Proof. On an initial smooth projective log resolution of , restrict the crepant equality
to a very general smooth connected fiber of the map to . Its right side is trivial. Pair with the appropriate power of the pullback of a Kähler class from . Exceptional terms have zero pairing, because their images have codimension at least two on this general fiber, or they do not meet it. Strict boundary terms have nonnegative pairing; a dominant coefficient-one branch gives a strictly positive term. Hence the canonical class of this smooth fiber is not pseudo-effective. Ou’s theorem implies that the fiber is uniruled [64]. For this argument is applied to the total space.
Take the almost holomorphic rational quotient of the smooth Kähler resolution. Its fiber has positive dimension, since the rational curves through very general points of the fibers just considered are quotient-contracted [14]. Its base cannot have dimension at most one. Indeed, rational connectedness of the general quotient fibers and the differential sequence would then force every holomorphic two-form on a resolved total space to vanish. The Kähler projectivity criterion would make that total space projective, a contradiction. The quotient base is therefore a surface, and the general quotient fiber is a smooth rational curve. Those curves are vertical over , so factors meromorphically through the quotient. Resolving the graphs and the base gives (159). Stein factorization and very general connectedness give connected -fibers; the fibers of are connected as images of the connected fibers of .
If were projective, the rational-curve fibration would have Moishezon total space. For example, coherence and GAGA give meromorphic sections of generating its general fibers. Evaluation embeds the general smooth rational fiber, and these sections together with base functions give full algebraic dimension. Thus is nonprojective.
Every exceptional prime of the initial projective resolution of is projective over a compact curve or a point, hence Moishezon. It cannot dominate : a dominant generically finite map of surfaces preserves algebraic dimension, by the norm or characteristic-polynomial argument after finite Stein factorization. The strict transform of a Moishezon prime remains Moishezon. The further graph resolutions can be made isomorphisms over a general quotient-base open, so their new exceptional primes are vertical too. Consequently all horizontal crepant boundary terms are strict transforms of effective boundary components. Adjunction on the general rational fiber makes their weighted degrees sum to two.
A nonprojective compact Kähler surface has a nonzero holomorphic two-form, again by the Kähler projectivity criterion. Finally, if , then would be generically finite over a projective surface, forcing to be Moishezon and projective. Thus . □
We use two elementary consequences of nonprojectivity for surfaces. If is a smooth nonprojective compact Kähler surface, then the intersection form on
is nonpositive. Indeed, a positive-square vector in this rational subspace can be approximated by a rational one, with sign chosen to have positive Kähler degree. The corresponding line bundle has quadratic section growth by Riemann–Roch: its high powers have no top cohomology by Serre duality and the Kähler degree test. This would make Moishezon and hence projective. Moreover, if is a map to a projective curve, has no multisection. For a curve dominating , the class , with the rational fiber class and , would have positive square.
Lemma 8.6 (Horizontality, including fractional boundaries). Every dominant conductor branch at the non-Moishezon vertex of Lemma 8.5 is horizontal over . A cluster containing such a vertex consists entirely of non-Moishezon vertices. At a vertex there are at most two dominant branches, counted with their generic degrees over .
Proof. If , a vertical surface which dominates would have image a curve in dominating . This contradicts the preceding no-multisection observation. It remains to prove horizontality when , so that .
Choose a nonzero . On the general rational fiber write the distinct horizontal marked points and their coefficients as
Take a smooth compact Kähler generically finite base change splitting and ordering the markings. It can be constructed from a main component of a fiber product of the horizontal prime normalizations over , on the finite étale locus parametrizing an ordering of the distinct marks, and then resolved. Resolve the main component of the pulled-back rational fibration, obtaining
Let be the prime closures of the ordered generic sections. The very general rational fibers are unchanged by these resolutions.
For there is a meromorphic top form
where has horizontal divisor . This description is valid meromorphically even across degenerations. To see its local construction on the base, the coherent sheaf has generic rank one, because its restriction to a general rational fiber has degree zero and is trivial. Divide the canonical meromorphic section by the evaluation of a locally chosen generically nonzero direct-image section. Different choices change by a base function on the general fibers. Its logarithmic differential wedges to zero with the pulled-back top form of , so (160) is independent of the choices. Reversing changes its sign.
The rational vector lies in the convex hull of the vectors for . These are exactly the vertices of the rational polytope
Average a rational convex decomposition over the permutations which preserve the coefficients. After clearing denominators and multiplying by an even integer, we obtain nonnegative even integers and an integer such that
We also make divisible by all adjunction indices. The tensor
is a nonzero meromorphic -canonical tensor, invariant under the permutations of the ordered marks. Evenness removes the signs from reversed pairs. It therefore descends to . More explicitly, relative to the pullback of a local canonical power frame, its coefficient is the same on all generic sheets. Factoring through its finite Stein part, normalized trace descends this meromorphic coefficient, and modifications do not change meromorphic functions. Formula (158) shows that the descended tensor has exactly the allowed horizontal poles, of orders .
We must also control every vertical prime, including a prime whose image on is a point. Let be a vertical prime of , and choose a prime above it, with ramification index under . At its general point the tangential map is generically finite and separable, so the canonical Jacobian has order . Near a general point of the image in , take coordinates with vanishing on that image. Whether the image is a curve or a point,
In logarithmic differential coordinates at , the differential of this function retains that order. Both and the pullback of are at most logarithmic. A logarithmic top form has at most one simple pole. Writing in the frame, with its holomorphic coefficient, gives
Thus (162) has order at least , exactly paying the canonical ramification in descending an -canonical tensor. The descended tensor on is regular at .
Push it to . The horizontal pole orders are allowed by the effective boundary, and at vertical primes it is regular; hence normality gives a nonzero section of . Since is torsion, this section has no zeros: after trivializing a torsion power, a nonzero section is a nonzero holomorphic function on a connected compact normal space. A vertical floor prime would give a positive zero in the adjoint section, since its coefficient is one and the canonical tensor is regular there. This is impossible. Horizontality follows also for .
A horizontal conductor surface is generically finite over the nonprojective surface , so is non-Moishezon. A Moishezon neighbor would be projective, and its normalized conductor surfaces would be projective. Thus every vertex reached across a dominant edge remains non-Moishezon. Finally, each dominant branch has coefficient one and contributes its generic degree to the horizontal degree sum two. This proves the last claim.
At a non-Moishezon node, if there are two degree-one branches or one degree-two branch, we consequently have the internal arrows from (158), pairing the two marks over . They are over and preserve the restrictions of base sections. One degree-one branch requires no internal arrow.
Lemma 8.7 (Finite loop action for a surface with a curve system). Let be a normal non-Moishezon conductor surface in a cluster with . A group of -bimeromorphic loops on its semiample adjunction pair acts through a finite group on every sufficiently divisible adjoint section space.
Proof. Let be the normal connected-fiber system base of . It is a polarized projective curve. A sufficiently divisible system embeds , and the loop action induces automorphisms of preserving a fixed ample power. Take the smooth minimal compact Kähler surface in the bimeromorphic class of . Classical compact-surface theory will be used in its Kähler and elliptic-surface forms [4]. Here and ; bimeromorphic self-maps of this minimal surface of nonnegative Kodaira dimension are automorphisms. The map to is holomorphic on . Indeed, on a common resolved model no curve can dominate by the nonpositive Néron–Severi test, so the blowdowns to factor the map. Its general fibers are connected. Every meromorphic function on comes from : the function field has transcendence degree one and is algebraic over that of , so the function is constant on connected general smooth fibers and descends meromorphically.
Let be the general fiber class. It is nonzero, rational and isotropic. Since the intersection form on is nonpositive, . Adjunction gives genus one for a general smooth fiber. The induced cohomology group preserves the rational line . On
it preserves an integral lattice and the Hodge summands. The form is positive definite on real and negative definite on the remaining quotient by the Hodge index theorem. Reversing the latter sign gives an invariant positive definite norm. Its integral isometry group is finite. In particular the action on is finite.
The action on the base is also finite. For genus at least two this follows from finiteness of the curve automorphism group; for genus one the subgroup preserving a fixed ample line bundle is finite. Suppose . We claim . Restriction of holomorphic one-forms to a general smooth elliptic fiber is injective. Indeed, a form vanishing on one general fiber vanishes on all general fibers by constancy of periods, since holomorphic forms on a compact Kähler space are closed. It is then pulled back from a one-form on the smooth base open. This base form extends at a critical value: at a general point of a fiber divisor the local parameter is , and a pole or a nonremovable singularity cannot pull back to a regular form. There is no nonzero holomorphic one-form on . Thus . If equality held, the elliptic Albanese map would be nonconstant on a general elliptic fiber. A general Albanese fiber would then contain a curve dominating , contradicting the absence of multisections. This proves the claim.
It follows that
There are at least three critical values of the relatively minimal elliptic fibration. Otherwise the smooth base is with at most two points removed. Its universal cover is compact or parabolic, so the genus-one period map to the upper half-plane is constant. The integral linear monodromy is then finite. Kodaira’s singular-fiber and monodromy classification, including multiple fibers, bounds the Euler number of a fiber with finite linear monodromy by ten. The types and their multiples for , and for , have infinite monodromy. Euler addition with at most two critical values would therefore give , contrary to (165). The finite set of critical values is preserved by the base action, and an automorphism of fixing three points is the identity. The base image is finite in this final case too.
Pass to the finite-index kernel fixing both and all holomorphic top forms. Choose a nonzero holomorphic top form on . Any meromorphic -canonical tensor, divided by , is a meromorphic function and hence comes from . The kernel fixes it. It therefore fixes all the adjoint section spaces under their meromorphic canonical realizations. The original loop action has finite image.
Lemma 8.8 (Matching in non-Moishezon clusters with ). Such a cluster admits the required nonzero matching tuple, with zero restriction on every nondominant branch.
Proof. Use the dominant surfaces as objects, with conductor matchings and the internal arrows just constructed. Lemma 8.7 supplies loop finiteness, so Lemma 8.4 gives invariant nonzero sections in a common degree .
We verify their descent at each node. A degree-one branch is bimeromorphic to , so its general fibers over are connected. Its section of is therefore pulled back from on . When there are two such branches, the internal arrow makes these base sections identical. For a degree-two branch, resolve . Over a general , every component of the fiber dominates the connected smooth curve , with total degree two. Indeed, an exceptional or bad curve on cannot dominate , by the no-multisection observation. Divide the section by the pullback of a local frame of . This holomorphic function is constant on each compact connected component of the fiber. Invariance under the sheet-exchange arrow equates the two generic values. It descends meromorphically to , and then holomorphically: a meromorphic function on a normal base whose pullback by a proper surjection is regular has no pole, as can also be checked through finite Stein factorization.
Pull these base sections back to . Their restrictions match along dominant edges because the object sections do. They vanish on the prescribed nondominant images because the invariant object sections retain the initial vanishing factor and dominate . This gives the desired tuple.
Lemma 8.9 (Matching in non-Moishezon clusters with ). Such a cluster also admits a nonzero matching tuple.
Proof. All node adjoints are torsion. Choose a common sufficiently divisible even degree and a trivializing section at each node. Conductor comparison across an edge is multiplication by a nonzero constant on these sections. A graph with no cycles permits all comparisons to be solved by rescaling. In general it is enough to prove that the oriented product of these constants around each cycle is a root of unity, and then to take one further common power.
The graph has degree at most two by Lemma 8.6. At a node on a cycle, including a cycle formed by parallel edges, the two distinct branches must each have degree one over its . The section from the proof of Lemma 8.6 is now a power of : the two unit points exhaust the horizontal weighted degree. Its even residues on the two branches are the corresponding powers of the base top form . Following the cycle gives bimeromorphic identifications of the and hence isomorphisms of their smooth minimal models , since they have nonnegative Kodaira dimension. The cycle constant is the scalar on , or its inverse, for the resulting automorphism of one minimal model .
The existence of a single ambient Kähler class restricts this automorphism. Fix a Kähler form on . At the two branches of a cycle node, choose smooth branch resolutions and maps
where is bimeromorphic. Put
Each has positive square. In fact, the pulled-back ambient class on has positive square because the branch maps generically birationally onto its surface image in . Write with exceptional. Orthogonality and negative definiteness of exceptional surface classes give
Furthermore,
Indeed, the rational Hodge morphism
kills and . Holomorphic two-forms are basic on the smooth rational-fiber open, by the differential sequence and the absence of fiberwise one-forms; their restrictions to the two birational sections agree. Hence the rational image of this Hodge morphism has type , and is contained in the rational Néron–Severi space. Apply it to the ambient real class to obtain (167). Across a conductor edge the corresponding branch maps to agree on a common higher model. The transported therefore agree across that edge. Going around the cycle yields
The form on is nonpositive. If it is negative definite (including ), project orthogonally to . The result has positive square and is fixed by , by (168). The Hodge index theorem makes the complement of negative definite; the real summand is positive definite. Together these give a positive definite real norm on preserved by the integral action. The cyclic image is finite, so in particular its eigenvalues on are roots of unity. If has a radical, the Hodge index theorem makes it a rational invariant isotropic line. Its orthogonal quotient has the definite Hodge summands and integral lattice used in (164); the image on is again finite.
These exhaust the possibilities for . Since is proportional to , the nonzero form itself is an eigenform: its meromorphic ratio to its pullback has an th power which is constant, and hence is constant. Its eigenvalue, and thus the cycle constant, is a root of unity. Taking a common power over the finitely many cycles and then rescaling the node sections solves all conductor comparisons.
Projective clusters and log-trivial linking
Every remaining cluster consists of projective vertices. Indeed, Lemma 8.6 excludes a dominant edge from a non-Moishezon vertex to a Moishezon one, and a Moishezon vertex is projective by the klt-type and Namikawa argument above. All the strata and birational diagrams used in such a cluster are algebraic in characteristic zero.
For loop finiteness we use the projective -pluricanonical-representation theorem: for a projective lc pair with effective rational boundary and semiample rational adjoint, its -birational group acts with finite image on sufficiently divisible log-pluricanonical systems [33], Theorem 1.1. This applies to our normal projective stratum objects with their full adjunction boundaries. The remaining issue is to specify enough internal arrows so that the invariant object sections descend to the nodes. We give the required linking arguments.
Lemma 8.10 (Connected components of the non-klt locus). Let two effective projective lc pairs be crepant bimeromorphic, and suppose each is klt after decreasing its floor. On a common projective log resolution write their common crepant subboundary as , and put
Then is effective and exceptional for each projection, and maps with connected fibers onto the non-klt locus of either pair. In particular their floor supports have the same number of connected components.
Proof. Fix either projection . Nonexceptional coefficients are those of an effective subboundary, so the negative part contributing to is exceptional. The divisor
differs from the smooth klt adjoint by , a pullback from the base. It is thus relatively nef and big; relative bigness here uses that is birational. Relative Kawamata–Viehweg vanishing gives
[48]. Normality gives . The divisor sequence and (169) therefore give a surjection
It factors through , which injects into because has no component in . Thus is the structure sheaf of the reduced image of . This image is the non-klt locus. Stein factorization, or the absence of nontrivial fiberwise idempotents in this equality, shows that the fibers are connected. A proper surjection with connected fibers induces a bijection on connected components. The common gives the assertion for both projections. Since the pairs become klt after decreasing the floor, their non-klt loci are exactly their floor supports.
We also use the following elementary consequence of relative degree zero. Let be a rationally Cartier divisor on a connected projective fiber of a contraction, with for every contracted curve . If the fiber meets , its whole support is contained in . Otherwise a chain of projective curves joining the part in to a point outside it contains a curve not in which meets . Its intersection with is positive, a contradiction. We shall refer to this as the whole-fiber property. In particular, a vertical floor prime of degree zero which meets a fiber meets every horizontal floor component, since each horizontal component subjects onto the contraction base.
Lemma 8.11 (Log-trivial internal linking in dimension at most three). Let be a connected normal projective dlt pair of dimension at most three, with effective rational boundary, nonempty floor, and . Suppose the underlying space admits an effective rational klt pair. Then the normalized minimal lc centers, with chain adjunction, can be connected by -birational comparisons preserving the canonical residues of a common trivializing log-pluricanonical section in sufficiently divisible even degrees.
Proof. Take a projective small -factorialization for the underlying klt pair [9]. It is crepant for the full adjunction pair and isomorphic at general SNC stratum points. The full pair remains dlt, its centers correspond bimeromorphically, and the chain adjunctions and even residue maps correspond on common resolutions. We may therefore work on this -factorial model.
Proceed by dimension. In dimension one, a unit marking on a log-trivial curve forces a rational curve; there are at most two unit markings. For two markings the even residues of the logarithmic generator agree by (155). A single marking requires no comparison.
Suppose first that is connected. Each normalized floor component with full adjunction again has a dlt log-trivial pair, and it admits a klt pair by adjunction keeping only that component in the ambient boundary. Within it use induction if there are proper lc subcenters; otherwise that component is itself the minimal lc center. For two successive intersecting floor components choose a minimal lc center in their intersection. Such centers exist by ordinary dlt stratum adjunction; intersecting distinct unit primes meet in lc strata, as is also seen on a general transverse surface. The two even chain restrictions through this shared center agree. Connectedness of the floor then links all the minimal centers.
Suppose instead that the floor is disconnected. Decrease all its coefficients by one fixed small positive rational . The resulting pair is klt, and its adjoint is -linearly equivalent to , so is not pseudo-effective. The projective klt MMP in dimension at most three ends in a -factorial elementary Mori fiber space
[53, 9]. These steps are crepant for the full log-trivial pair. One may see this by transporting a trivializing pluricanonical tensor: there is no extraction, its divisor remains the negative of the corresponding multiple of the pushed full boundary, and the resulting pullback formulas agree. Equivalently, the exceptional comparison of the full, relatively numerically trivial adjoints is zero by negativity.
The pushed floor is relatively ample and supports the entire non-klt locus, because its decrease is klt. Lemma 8.10 shows that it is still disconnected. Some floor component is horizontal by relative ampleness. A vertical floor prime has degree zero on the Mori ray, since it misses a general fiber. By the whole-fiber property it contains every fiber it meets, and so meets every horizontal floor component. Every other vertical prime is likewise connected to the horizontal components. The presence of any vertical floor would consequently connect the entire floor. There are therefore no vertical floor primes.
Disconnectedness is now visible on a general fiber, since every component is horizontal. That fiber must be a curve. Indeed, on a normal projective Cohen–Macaulay fiber of dimension at least two an effective ample divisor has connected support. To check this, take a large Cartier multiple of it. Serre duality and Serre vanishing give for ; the divisor sequence then gives , implying connected support. The general fiber here is of klt type and hence Cohen–Macaulay, and the floor restricts to an effective ample divisor. Its restriction is lc and becomes klt after decreasing the floor, as can be checked on the restricted common log resolution.
The general fiber is consequently a rational curve with exactly two degree-one unit markings: it has a nonempty boundary and log-trivial adjoint, the total weighted degree is two, and disconnectededness gives two different horizontal components. Over a smooth projective model of we obtain a bimeromorphic model with these marks as zero and infinity. The trivializing tensor is, over the function field and hence meromorphically, a power of the two-pointed generator times a meromorphic pluricanonical tensor on . Resolving its divisor on , the crepant subboundary on the product is therefore
where may be signed, is log smooth, and has all coefficients at most one.
No vertical coefficient in (167) can equal one. Such a prime would connect the two sections by an SNC path of unit components. This path remains connected through unit components on a common resolution mapping to . Explicitly, when a smooth blowup separates two adjacent unit components at their general codimension-two crossing, its exceptional divisor has coefficient one and joins their strict transforms. Blowups not separating that crossing leave the connection. The image of the path would lie in the non-klt locus of and meet both disconnected floor components, a contradiction.
All vertical coefficients are therefore strictly below one. The log-smooth discrepancy formula now says that the only zero-log-discrepancy places are the two horizontal sections themselves. In fact zero places of a log-smooth subboundary with coefficients at most one are generated by its unit strata; here the two unit divisors are disjoint and there are no deeper unit strata. Both section valuations occur as divisors on the original pair, since its floor is disconnected. They are exactly its minimal lc centers. Pair them bimeromorphically through . Their residue restrictions from the common generator agree in even powers by (155). Since these restrictions trivialize their adjunction lines, equality as meromorphic tensors on a common resolution gives -crepancy. This finishes the disconnected case and the induction. □
Lemma 8.12 (Matching in projective clusters with ). Every projective cluster with has a nonzero matching tuple.
Proof. Use as objects the normalized minimal lc centers of the nodes, with their iterated full adjunction pairs. Their adjoints are torsion. Lemma 8.11 supplies internal arrows connecting all objects at a node and preserving even restrictions from a trivializing node section.
For a matched conductor surface choose a minimal lc center inside it. More precisely, choose a minimal ambient lc stratum contained in the double stratum. It is a minimal center for the chains on both sides: any further subcenter would again be a nested ambient stratum, by the generic SNC description. Its shared normalization gives an arrow between the two node objects, with the symmetric even residue comparison from .
The projective representation theorem gives finite loop images. Lemma 8.4 therefore provides nonzero invariant sections in a common degree. They are trivializing sections on the objects. At a fixed node, their scalar ratios to restrictions of one trivializing node section agree by the internal arrows, so one node section induces all of them. Across a conductor surface the two node restrictions are trivializations of the same torsion line. Their ratio is constant on that connected normal surface. It is one on the chosen minimal center by the even residue comparison, so it is one everywhere. The node sections thus match on every conductor surface. □
The preceding linking argument also explains the usual construction of pre-admissible sections; compare [37], Section 5 and [54]. We have given it here to retain the actual residue comparisons needed for the present ambient line.
Lemma 8.13 (Matching in projective clusters with ). Every projective cluster with admits a nonzero matching tuple vanishing on all nondominant branches.
Proof. At a node with a dominant branch, the general -fiber is a smooth connected rational curve. Indeed it has and a unit marking, so adjunction forces genus zero and horizontal weighted boundary degree two. Use dominant surface branches as objects. If there are two degree-one unit branches, or one degree-two unit branch, the two-mark calculation (155) gives their internal comparison or sheet-exchange involution over . These are -crepant and preserve restrictions of base sections. A single degree-one unit branch needs no internal comparison, even if other horizontal markings have fractional coefficients.
Combine these arrows with conductor matchings and apply the projective representation theorem and Lemma 8.4. At a degree-one object, a section descends to the base by the birational comparison. At a degree-two object, divide by a local base frame. Invariance under the involution equates the two generic values, so the ratio is a meromorphic base function; normality and properness give holomorphic descent. For two degree-one objects the internal arrow equates their descended sections. Pulling back gives the desired node sections. Conductor matchings and the retained initial vanishing factors give exactly the required matching and nondominant vanishing. □
Projective clusters with a curve system
It remains to treat . Fix a projective node with system map , where is a projective curve. On sufficiently general fibers, including fibers on simultaneous log resolutions, we have a connected normal projective dlt log surface
Normality follows from the general-slice and Cohen–Macaulay properties, and dlt follows from the restricted discrepancy formula and general transversality. Horizontal boundary components restrict reduced, while vertical components are absent on this general fiber. The floor curves are smooth and their intersections are ordinary double lc points. Effective curve adjunction shows that a floor curve meeting another is rational and meets the other floor curves at at most two points. If there are two points, its entire log boundary is precisely these two unit markings.
Lemma 8.14 (Disconnected floor on a general surface fiber). If in (168) is disconnected, it consists of exactly two disjoint floor curves and there is no deeper lc center in . The corresponding dominant floor data on admit an internal pairing over an intermediate projective surface with connected general fibers. Generically they are the two unit markings of log rational-curve fibers on a model crepant over . The two curves over a general are bimeromorphic to the same smooth connected curve . Globally the pairing is either between two surfaces or an involution of one surface.
Proof. Start on a projective crepant -factorial dlt model of . Decrease all floor coefficients by a fixed small rational and run the projective klt threefold MMP over . The decreased adjoint restricts to a negative multiple of the nonzero effective floor on a general fiber, so it is not relatively pseudo-effective. The program ends in a relatively elementary Mori fiber contraction
with -factorial. The full adjoint remains the actual pullback of at every step: all steps are over and extract no divisors, and negativity kills the exceptional relatively numerically trivial comparison. Thus the full lc data are crepant throughout. The transformed floor is relatively ample over and supports the full non-klt locus, since its decrease is klt. Both maps in (169) have connected fibers; for the second this also follows by pushing the structure sheaf of the connected system map through the first.
On a common smooth projective resolution of the general fibers and , the crepant subboundary is the same. Lemma 8.10, applied to these surfaces, shows that the floor support on remains disconnected. This application does not require that the transformed full pair be dlt: it is lc, and its decrease is klt, which are the hypotheses used in that lemma.
If , the floor on would be ample and connected. One may use the connected-support argument in the proof of Lemma 8.11, or the surface Hodge index theorem: a disjoint splitting of an ample rational divisor would give orthogonal classes with positive square. Consequently . A general Mori fiber over is rational, with total horizontal weighted boundary degree two and at least one unit marking. A vertical floor prime has degree zero on the Mori ray. If it dominates , the whole-fiber property gives, on a general , a full fiber over a point of , meeting every horizontal floor curve. Every other vertical floor contribution likewise joins the horizontal ones. All components restricted from a horizontal surface dominate for general , after discarding the finitely many nongeneral base values. Thus such a vertical floor prime would connect the entire floor of , which is impossible.
There are therefore no vertical floor contributions on general . Disconnectedness and the degree sum two force exactly two disjoint degree-one floor curves over . The curve is smooth and connected for general : the normal surface base has only isolated singularities, and generic smoothness and connected fibers apply.
We also need to exclude hidden deeper zero-discrepancy places. Choose the rational fiber coordinate over with these two curves as zero and infinity. This gives a bimeromorphic product model of . A divisible pluricanonical tensor trivializing its full log adjoint is, in relative notation,
where is a meromorphic -canonical tensor on . There are no other horizontal boundary terms because the two unit marks exhaust the degree. The crepant subboundary on the product is the two unit sections and vertical fibers with coefficients .
A coefficient-one vertical fiber would join the two sections by an SNC unit path. Successive point blowups preserve this path through unit components: a blowup at a crossing of two unit components inserts a unit exceptional curve. On a common resolution its image in would join the two disconnected floor curves inside the non-klt locus. Thus every vertical coefficient is strictly below one. The log-smooth discrepancy calculation now leaves only the two horizontal sections as zero-log-discrepancy places. They must both appear as divisors on , since its floor is disconnected. Hence its floor consists of those two curves and has no deeper lc center.
In particular, no zero-discrepancy place horizontal over is extracted or lost between and : restricting such a place to a general surface fiber would give another zero-discrepancy place there. The two Mori marks consequently correspond bimeromorphically to the original dominant floor data. Pair them over , using normalization of the degree-two cover when the two marks belong globally to one surface. The full crepant equalities over transport local base frames, and the even -residue calculation gives the asserted internal -comparison. □
Classify a node as type I if it has a deeper curve lc center dominating , and as type II otherwise. In type I the floor of the general surface fiber is connected and has crossings, by Lemma 8.14. Every dominant floor surface contains a deeper dominant center: every vertex of the connected floor graph meets another, and its crossings trace such centers. In type II the floor is either a single smooth curve, or the disconnected pair of that lemma. These types are constant across dominant edges. A shared surface has the same full adjunction on both sides; a further lc center which dominates the system curve on one side does so on the other, equivalently because its curve adjoint, the restriction of , has positive degree. The generic SNC nesting identifies the further center on both chains. Since every branch of a type I node contains such a center, the type propagates through the cluster.
Lemma 8.15 (Type II matching). A type II projective cluster with admits a nonzero matching tuple with the required nondominant vanishing.
Proof. Use dominant surface branches as objects. For a single smooth floor curve on a general fiber, the corresponding surface has connected general fibers over , so its sections come from . In the disconnected case use the internal arrows of Lemma 8.14. Over a general , the two curves are bimeromorphic to the connected curve . The values of a section relative to a local base frame are constant on each of them, and internal invariance equates the constants. This remains true when the two curves are in one global surface and the arrow is an involution. Thus invariant sections descend meromorphically and then holomorphically to , using normality and properness.
The projective representation theorem and Lemma 8.4 provide the invariant nonzero object sections. Their descended base sections pull back to node sections. Matching follows from the conductor arrows, and vanishing from the retained initial base factors.
Lemma 8.16 (Type I matching by flagged curves). A type I projective cluster with also admits a nonzero matching tuple with the required nondominant vanishing.
Proof. The objects now are normalized curve strata, flagged by the node , a dominant surface branch at that node, and a further normalized curve branch on dominating . The flag records the actual chain of residue maps. Give each curve its full effective adjunction boundary and the actual restricted line .
There are three kinds of arrows. First, identify the corresponding flags across a shared conductor surface. Second, identify the flags through the two surface branches at a deeper curve center within one node. The generic SNC calculation and even residues identify these chains. Third, consider a fixed and the curve Stein factor of . If a general connected fiber has two floor crossings, pair these two markings over that Stein curve. They give a bimeromorphic map between curve objects or an involution of one object. By the surface-fiber description preceding Lemma 8.14, this fiber is log rational with exactly these two unit points. Thus (158), now applied to the full adjunction on , gives a -crepant arrow preserving restrictions of base sections. A floor fiber curve with only one crossing requires no internal pairing of points.
These arrows connect all flagged crossing points over a general within a node. Indeed, the whole floor graph of is connected, each floor curve meets another at one or two points, the two crossings on a curve are paired by the third kind of arrow, and the two flags at a crossing are paired by the second. This connects the flags along every path in the connected graph.
All curve objects are projective lc pairs with semiample adjoints, so the projective representation theorem gives finite loop images. Apply Lemma 8.4, with initial sections pulled from the respective node bases and vanishing on the required nondominant images. In the common final degree, divide the invariant curve sections by a local pulled-back base frame. The preceding connectivity says that their values coincide on all flag sheets over a general . They therefore define one meromorphic base section. It is holomorphic, since its pullbacks to the finite dominating curve covers are holomorphic and the base is normal. Pulling it back gives a section on the node.
Across a dominant conductor surface , equality on a chosen dominant further curve implies equality of the two node restrictions on all of . To see this precisely, both restrictions are sections of the semiample actual line , hence are pulled from its connected-fiber Stein system base. That base is a curve, and the chosen curve stratum dominates it, since it dominates . Pullback of sections to that stratum is injective. The canonical even adjunction compares these pullbacks, which agree by the first kind of arrow; hence the original restrictions agree. Finally, the initial vanishing factors and dominance of the objects show that the node sections vanish on every nondominant branch. This proves the claim.
Completion of whole-boundary nonvanishing
Proof of Proposition 8.1. Take a cluster of vertices of maximal system dimension . If it is isolated, choose a nonzero high base section vanishing on all nondominant branch images, as explained above. Otherwise . A cluster containing a non-Moishezon vertex is entirely non-Moishezon and has ; Lemmas 8.8 and 8.9 handle its two possibilities. Every other cluster is projective. Lemmas 8.12, 8.13, 8.15, and 8.16 cover all its possibilities.
In each case we have, in one sufficiently divisible even degree, a nonzero tuple of node sections matching on dominant edges and vanishing on all nondominant branches. Put zero on components outside the chosen cluster and take a further common power if necessary so that is Cartier on the ambient . At every conductor surface either the two sections match by construction or both restrictions are zero. Lemma 8.2 therefore descends the tuple to an actual section of . It is nonzero because its restriction to a node in the chosen cluster is nonzero. This proves (153) on the whole reduced boundary.
Extension and completion in algebraic dimension zero
We now combine the preceding constructions. The point of using a reduced boundary is that its whole floor has a section by Proposition 8.1, while the zero-Lelong metric makes the obstruction to extending that section vanish if the ambient adjoint has no sections. We first isolate the elementary finiteness argument needed for this extension.
Finite divisorial support and eventual vanishing
Lemma 9.1. Let be a smooth compact Kähler manifold with . Then has finitely many prime divisors, and their cohomology classes are linearly independent over .
Proof. Suppose a finite collection of distinct prime divisors satisfies a nonzero rational relation in . Clearing denominators and then torsion gives a nonzero integral divisor with in integral cohomology. The exponential sequence and imply . Its canonical meromorphic section is then a meromorphic function with divisor . Since , every meromorphic function is constant, so , a contradiction. The classes are rational, so a real dependence would give a rational dependence by linear algebra. They are therefore linearly independent over ; their number is bounded by .
Lemma 9.2 (Eventual vanishing). Let be as in Lemma 9.1, and let be a rational holomorphic line bundle with . For every fixed holomorphic vector bundle ,
for all sufficiently large in any fixed sufficiently divisible sequence of integral multiples.
Proof. Assume the contrary. Interpret a section as a morphism ; this requires no meromorphic frame of . Among all such morphisms choose a tuple , with respective indices , whose generic rank is maximal. Let be the saturation of the image of their direct sum. Every further such morphism has image in : otherwise adding it would increase generic rank. A nonzero further section can replace at least one of the while preserving generic rank.
There are infinitely many increasing indices with a nonzero section, so one fixed replacement index works for infinitely many of them. Taking the nonzero determinant gives effective integral divisors in the actual line bundles
The determinant is interpreted reflexively; on the smooth space its double dual is a line bundle, and the wedge morphism extends to it.
By Lemma 9.1, all the effective divisors in (172) have the same finite set of possible prime components. Their coefficient vectors lie in . Such an infinite sequence has an infinite componentwise nondecreasing subsequence: successively pass to a constant or increasing subsequence in each coordinate. Choose two members with indices . Subtracting their divisors gives an effective divisor in the actual line , contrary to . This determinant argument is related to the nonvanishing method in [46].
Extension from a nonempty reduced boundary
Let be a smooth compact Kähler non-uniruled fourfold with , and let be a reduced SNC divisor. Apply Proposition 7.20. Write its nonextracting output as , with
Here is globally strongly -factorial and klt, remains pseudo-effective, is analytically nef, and is the projective crepant dlt auxiliary model with reduced boundary. The pullback of to a smooth resolution has a semipositive singular metric with zero Lelong numbers.
Proposition 9.3. In this situation, implies .
Proof. If , then . By Proposition 8.1, a positive Cartier multiple of has a nonzero section on the whole reduced divisor . Increase this multiple to clear the ambient index. We show that, under the contrary assumption , high powers of this section extend to .
Take a simultaneous projective compact Kähler log resolution also resolving the map to , and put
The support of is SNC and every coefficient is at most one; negative coefficients are allowed. All comparisons here are actual rational line-bundle comparisons. Normality and projection give . The space still has .
For every sufficiently divisible ,
Indeed, the nonexceptional coefficient-one components of are the strict transforms of the primes of . Every other coefficient-one component has center in , since is dlt and is klt away from . A holomorphic function vanishing on the reduced pulls back with order at least one along all of these components. Conversely, any poles allowed by negative coefficients of are exceptional. Normality and Hartogs extension remove them downstairs, while vanishing is required along each prime of . This proves (174), after the actual pullback line is removed by projection.
The low-degree Leray sequence therefore gives an injection
No vanishing of a higher direct image is needed for this injection. Write the line on the right as , where
For , give the metric obtained from the zero-Lelong semipositive metric on and the divisor metric of , taking roots of identified powers if necessary. Its curvature is semipositive and its multiplier ideal is trivial. To see the latter directly, the zero-Lelong weight has every finite local exponential integrability exponent by Skoda’s theorem. The SNC coefficients of are strictly below one, and hence their divisor weight has an integrability margin. Hölder’s inequality combines that margin with a sufficiently high finite exponent for the zero-Lelong weight.
Hard Lefschetz with multiplier ideals [28] gives a surjection
Its source vanishes for all large divisible by Lemma 9.2, applied to the fixed bundle . It follows from (178) that
The exact sequence for the reduced divisor now makes restriction of sections of onto surjective. High divisible powers of the nonzero floor section remain nonzero because is reduced, and therefore extend. Their extensions push to , since and . This contradicts .
Canonical nonvanishing
Theorem 9.4. Assume Assumptions 2.2, 2.3, and 2.4. If is a smooth compact Kähler non-uniruled fourfold with , then .
Proof. Suppose . The Albanese argument of Lemma 3.4 gives . Both persist on every smooth compact Kähler model used below. Their canonical classes are pseudo-effective by non-uniruledness [64]. We distinguish the existence of a nonzero meromorphic section of a positive canonical power. That property is birationally invariant on smooth spaces: Jacobian comparison gives it on a common resolution, and meromorphic tensors extend over codimension two.
No signed canonical frame. Suppose first that no positive power of has a nonzero meromorphic section. Resolve the finitely many prime divisors on , and on the resulting smooth model let be the reduced union of their strict transforms and all exceptional divisors, with SNC support. This union contains every prime of : each such prime is either exceptional or maps to a prime on . The union may be empty.
Apply Proposition 7.20. A section of a positive multiple of would, after pullback to a resolution and division by the meromorphic divisor factors, give a signed meromorphic pluricanonical tensor. Here is rational Cartier by the global strong condition, and the canonical comparison has a signed rational exceptional divisor. This is impossible. By Proposition 9.3, it follows that .
The space has no prime divisors: its map from extracts none, and the full prime support was included in . It is klt and has nef . Its smooth resolution has algebraic dimension zero, pseudo-effective canonical class, and no meromorphic pluricanonical tensor. These are precisely the hypotheses of Proposition 6.1, which excludes this case.
A signed canonical frame. Otherwise resolve the signed divisor of a meromorphic section of . On the resulting smooth model write the actual identity
where have SNC total support and no common prime. The pullback tensor includes the resolution discrepancy, so (177) is an actual canonical identity. Set , and again apply Proposition 7.20. Nonextraction and reflexive extension preserve
If , then , and pseudo-effectivity of forces . Indeed, after pullback to a resolution a nonzero effective rational Cartier divisor has strictly positive Kähler mass, whereas its negative cannot represent a pseudo-effective class.
If , Proposition 9.3 gives a section of a multiple of . The signed divisor representing is unique: two meromorphic sections of the same power differ by a meromorphic function, and . The section’s divisor is effective. Since and have disjoint support, we again obtain . Thus in both cases has nonvanishing.
Run Assumption 2.3 on the exact ordinary klt pair , and denote its nef endpoint by . Its input is globally strongly -factorial and its canonical class is pseudo-effective, as required. Canonical sections push forward through the nonextracting program. Applying Assumption 2.4 therefore makes semiample. Algebraic dimension zero forces the resulting map to have a point image, so is actually torsion.
It remains to return to a smooth canonical bundle. On a smooth compact Kähler resolution ,
for a possibly signed exceptional rational divisor . Let be a positive current in the pseudo-effective class . If is a Kähler form on , exceptionality gives
The measure is nonnegative and is strictly positive on the isomorphism locus. Hence is supported in the analytic exceptional/non-isomorphism locus. The support theorem for positive closed -currents expresses it as an effective real sum of divisorial currents [25]. By Lemma 9.1, the prime classes on are linearly independent. Comparison with (178) therefore forces every coefficient of to be nonnegative. The actual identity contradicts smooth birational invariance of Kodaira dimension and completes the proof.
The good minimal model
Proof of Theorems 1.2 and 1.1. The reduction in Proposition 3.5 treats the projective, uniruled and irregular cases and leaves smooth non-uniruled non-Moishezon fourfolds with . Positive algebraic dimension is handled by Proposition 4.1; algebraic dimension zero is handled by Theorem 9.4. The sections push to the actual adjoint of the nef pair exactly as in the reduction. This proves Theorem 1.2.
Finally start Assumption 2.3 from the original pair . Its endpoint is in the required global strong category, with nef actual adjoint, no extraction, and all the stated discrepancy inequalities. Theorem 1.2 gives a first section there. Assumption 2.4 then makes a positive Cartier multiple of that same endpoint adjoint globally generated. These are all the assertions of Theorem 1.1.
Projective abundance from logarithmic subadditivity
Conditional projective log abundance
Appendices A–I establish the conditional projective abundance theorem used in the main proof. Its logarithmic-Iitaka premise, Assumption A.1, follows from the reduction in Lemma 3.1. We give the complete argument, including its signed-boundary, current-theoretic, and Frobenius constructions.
The log abundance conjecture asserts that a nef log canonical divisor on a projective log canonical pair is semiample. Its conclusion turns a numerical positivity condition into a morphism defined by pluricanonical sections. In the minimal model program, abundance complements the existence of minimal models: a nef adjoint should determine the appropriate canonical fibration. The existence and finite-generation theorems for big klt adjoints are central foundations of this program [9]. The lower-dimensional reductions relevant here are developed in [44, 35].
These appendices prove the full rational-boundary assertion under one explicit subadditivity assumption. The result is a positive conditional resolution of the log abundance conjecture. It is not an unconditional abundance theorem.
The assumption and the theorem
Assumption A.1 (Logarithmic Iitaka subadditivity). Let be a surjective morphism with connected fibers between smooth connected projective complex varieties. Let be reduced effective simple normal crossing divisors, allowing zero boundaries, such that
For a very general smooth fiber , put . Then
Here is reduced with simple normal crossings and . The convention applies also when , and the zero divisor on a point has Iitaka dimension zero.
Assumption A.1 requires no nefness, abundance, bigness, or good-model hypothesis, and does not require to be smooth away from the boundary. The divisor may contain additional components. No fractional-boundary, orbifold, nonprojective, Hodge-conjectural, or arithmetic extension is assumed. In fact, the proof uses only , in the Albanese reduction in Appendix F.
Theorem A.2 (Conditional log abundance). Assume Assumption A.1. Let be an algebraically closed field of characteristic zero, and let be a normal projective log canonical pair over , where is an effective -divisor and is -Cartier. If is nef, then it is semiample: for some integer , the divisor is Cartier and is generated by its global sections.
Main constructions
The proof proceeds by simultaneous induction on smooth nonvanishing and existence of good log minimal models, as set out in Appendix B. Its principal constructions are as follows.
First, Appendices C–E prove an abundance criterion for a nef reduced dlt adjoint that has a signed rational representative supported on its boundary. Semiampleness on that boundary is supplied inductively. A normalized root construction separates its positive and negative parts. An infinitesimal obstruction is placed in the lowest piece of a projective Hodge-module direct image. Negative-ample vanishing on a finite cover of a root gerbe kills the obstruction. Algebraization then produces compact numerically trivial subvarieties, and nef reduction yields rational-linear descent to a big divisor on a base.
Second, Appendix F subjects a hypothetical smooth nonvanishing counterexample to geometric exclusions. Algebraic webs and positive currents force very-general proper subvarieties to be of general type. An ascending chain condition for the Lelong numbers of a fixed current at valuations of bounded discrepancy converts asymptotically small intersection gaps into exact zero gaps. This rules out canonical-class positive currents that are pulled back from a lower-dimensional base on a dense open, as well as moving curves of bounded normalized degree and genus.
Third, Appendices G and H compare two jet estimates. Moving base-locus estimates on a projective bundle over a product create a large Seshadri constant while the corresponding one-factor section orders remain small. After all geometric choices have been fixed, reduction modulo large primes converts these two estimates into incompatible determinant multiplicities. The Frobenius diagonal filtration and a uniform curve-slope bound are the numerical ingredients of this final comparison.
These constructions are proved below; they are not additional parts of Assumption A.1. Established results from the minimal model program, Hodge modules, and positivity theory are invoked with their hypotheses at the point of use. The order of the induction is important: the proof of smooth nonvanishing in dimension uses good models only in dimensions below . Appendix I closes the induction and transfers the complex conclusion to arbitrary algebraically closed fields of characteristic zero.
Conventions
A variety is integral. Canonical divisors are chosen compatibly on birational models. For a divisor on a smooth model , our log discrepancy is
Log canonicity means nonnegative log discrepancies, and klt means strictly positive log discrepancies. We use the usual dlt and slc conventions. A -Cartier divisor is nef if for every integral curve . Its numerical dimension, when nef, is
with ample. For non-nef pseudo-effective divisors, statements about numerical dimension use Nakayama’s , as specified in the relevant reduction. These notions are not interchanged without a hypothesis that justifies doing so.
The Iitaka dimension is the maximum dimension of the images of the complete systems of integral multiples, and is when all these systems are empty. Numerical and rational-linear equivalence are denoted by and , respectively. Unless a different base field is specified, the constructions are over . A very general point avoids a countable union of proper closed subvarieties.
The transfer to arbitrary algebraically closed characteristic-zero fields is made only after the complex argument has been completed.
The inductive framework
All varieties in this section are projective over . We first isolate the established minimal-model results that will be used, and explain exactly where the new signed-representative theorem enters the induction.
For an effective real boundary , a good log minimal model of is a log minimal model on which the adjoint divisor is semiample. For real divisors, semiampleness means real linear equivalence to the pullback of an ample real divisor by a contraction. We allow the usual definition of a log minimal model in which extracted prime divisors are included in its boundary with coefficient one. For a pseudo-effective divisor , we use for Nakayama’s numerical dimension. When is nef this agrees with the intersection-theoretic numerical dimension .
Fix an integer .
Assumption B.1 (Lower-dimensional good models). Every projective log canonical pair of dimension less than , with real boundary and pseudo-effective adjoint divisor, has a good log minimal model.
The dimension-zero case is immediate. Our inductive step will first prove smooth nonvanishing in dimension under Assumption B.1, and then apply Proposition B.6 below. The propositions on boundary restrictions and special termination preceding that reduction do not assume smooth nonvanishing in dimension .
Comparison and boundary restrictions
Lemma B.2 (Comparison with a nef model). Let be log canonical and let be a log minimal model. On a common resolution
there is an effective -exceptional divisor such that
If is nef, then . Consequently a nef rational adjoint is semiample whenever it has a good log minimal model. If is klt, its log minimal model is klt and extracts no divisors.
Proof. Put . Discrepancy improvement on divisors of gives , while is -nef because is nef. The negativity lemma therefore gives . At a prime of that is not -exceptional, the coefficient of is zero unless that prime is extracted on . In the latter case it equals the negative of its log discrepancy over . It is therefore nonpositive, and hence zero. Thus is -exceptional. If the source adjoint is nef, then is also -nef, so the negativity lemma gives .
Equality of the pullbacks transfers semiampleness, since a proper birational morphism onto a normal variety has direct image of its structure sheaf equal to the structure sheaf. More explicitly, global sections of a Cartier multiple and its pullback coincide; generation upstairs implies generation downstairs. Finally, for a klt source the coefficient at an extracted prime would be strictly negative, which is impossible. The remaining discrepancy inequalities show that the model is klt. ∎
Proposition B.3 (Semiampleness on the reduced boundary). Assume Assumption B.1. Let be a projective -factorial dlt -fold with reduced and nef. Then is semiample as a rational line bundle on the reduced scheme .
Proof. The ambient variety is klt. The reduced floor of a -factorial dlt pair is , and it has ordinary double crossings in codimension one; its irreducible components are normal. For the assertion one can work locally with the cyclic class cover of the -Cartier divisor . This cover is quasi-étale and klt, hence Cohen–Macaulay. The eigensheaf , being a direct summand of its finite direct image, is Cohen–Macaulay. The divisor sequence then shows that is Cohen–Macaulay.
Divisorial adjunction on the normalization gives lc pairs . The different includes the conductor with coefficient one. Removing that conductor contribution defines an effective boundary on ; together with it is an slc pair whose adjoint line bundle is . The divisible residue identifications hold in codimension one, with even powers eliminating residue signs at double crossings, and extend by .
Each normalized adjoint is nef and semiample by Assumption B.1 and Lemma B.2. Semiampleness descends from the normalization by the slc gluing theorem [33], Theorem 1.5, equivalently Theorem 4.3. This gives the required statement on the whole reduced scheme, not merely on its individual components.
The special termination needed below
Proposition B.4 (Special termination over a point). Assume Assumption B.1. Let be a projective -factorial dlt -fold with rational boundary and pseudo-effective adjoint. Choose an effective ample rational divisor such that is dlt and is nef. The LMMP for with scaling of has special termination: if the program is infinite, its flipping loci are eventually disjoint from the round-down of the boundary.
In particular, if at every stage the adjoint is rationally linearly equivalent to a signed divisor supported on that round-down, the program terminates at a log minimal model.
Proof. In an infinite ample-scaling program the scaling limit is zero: a positive limit is covered by the termination theorem for a dlt pair with an ample summand in the scaling divisor [8], Theorem 1.9(ii), equivalently Theorem 4.1(ii). Discard the finitely many divisorial contractions and write the flips as , with scaling numbers tending to zero. Fix a component of , write for its normal strict transform, and let be the normalization of its image in . Since the ambient contraction is small, is projective birational. The standard discrepancy argument makes an isomorphism in codimension one after finitely many steps [6], proof of Lemma 3.6.
Here are the precise auxiliary relative programs in that argument. Take a small projective -factorialization , and put
Adjunction gives a dlt pair , with , and is lc. The scaling divisor has no floor component, so its restriction is effective. The number is rational, being the ratio of intersections of rational divisors on the contracted rational curve. The globally nef divisor descends rationally linearly across . Indeed, for sufficiently small rational , the pair is klt and its negative adjoint is ample over . Relative basepoint freeness applies to a Cartier multiple of ; its numerical triviality and the connected fibers give descent. Restricting and pulling back yields
By [8], Theorem 1.1(3), a -LMMP over with scaling of a fresh ample divisor terminates. The theorem applies to the effective rational lc boundary , with rational Cartier and the driving pair -factorial dlt. Since the base map is birational, the endpoint is a log minimal model, not a Mori fiber space. Comparison with the relatively ample model identifies this endpoint with a small -factorialization , as in [8], Remarks 2.9–2.10.
These finite relative programs are genuine pieces of an absolute program with scaling of the transforms of . Throughout the -th piece, remains the pullback of a nef divisor on , hence is globally nef. Every contracted negative ray has positive -degree, so its global scaling threshold is exactly . The relative cone is a face of the absolute cone, cut out by the pullback of an ample divisor on the projective base ; its extremal rays are therefore absolute extremal rays. Thus the pieces concatenate as asserted in the cited remarks. Rescaling the initial scaling divisor by , if necessary, makes its sum with the initial boundary lc and nef.
If the concatenation were infinite, its positive scaling numbers would tend to zero. Its initial adjoint is pseudo-effective: for each late scaling value, pull back the corresponding nef scaled adjoint and use the effective comparison divisor for the preceding nonpositive steps, then take the limit. Assumption B.1 therefore gives an absolute log minimal model for that initial pair. The concatenation terminates by [8], Theorem 1.9(iii), since its zero limit is never attained. The floor-component argument of [6], Lemma 3.6 now gives special termination. No effective representative in dimension , nor any arbitrary relative good-model assertion, has been used.
For the final assertion, a curve disjoint from the round-down has degree zero against any signed divisor supported there. It therefore cannot generate an adjoint-negative flipping ray. Special termination rules out all sufficiently late flips. There are only finitely many divisorial contractions, since each lowers the Picard number, and pseudo-effectivity excludes a Mori fiber space as the endpoint. Thus the endpoint is nef.
A uniform trivial-perturbation argument
Lemma B.5. Let be a projective -factorial dlt rational pair, and suppose is nef. Set if the pair is klt and otherwise. Fix such that is Cartier. For every rational
every step of an LMMP for is -trivial. On all its models, the transform of is nef and its multiple by the same integer is Cartier.
Proof. Both and are effective klt boundaries. If is a ray negative for , nefness of shows that is also negative for . Choose a rational curve spanning this ray and satisfying the length bound
Writing and , we have
Our choice of gives . Since is a nonnegative integer, . For the driving klt contraction, the line bundle is numerically trivial over the contraction base. The line-bundle clause of the contraction theorem gives its descent as a line bundle, with no change of [29], Theorem 3.74(3). One may also see the unchanged index directly from relative basepoint freeness: two consecutive sufficiently large powers descend, so their quotient descends. For a flip, pull this descended line bundle back on the other side. The transformed is nef, and remains Cartier.
The driving boundary remains klt throughout its LMMP. The transformed remains effective and is smaller than the driving boundary, so it too is klt. The same estimate and the same integer apply inductively at every subsequent step.
Completion of the good-model step
Proposition B.6 (Inductive reduction to smooth nonvanishing). Assume Assumption B.1. Assume in addition that every smooth projective -fold with pseudo-effective canonical divisor has nonnegative Kodaira dimension. Then every projective lc -fold with real boundary and pseudo-effective adjoint has a good log minimal model. In particular, every nef rational lc adjoint in dimension is semiample.
Proof. Hashizume’s reduction gives nonvanishing and log minimal models for projective lc pairs with real boundary in dimensions at most [44], Theorem 1.4. Thus we may pass to a -factorial dlt log minimal model. Fix the support of its boundary, impose the rational affine constraints that its coefficient-one components remain equal to one, and take a sufficiently small rational polytope around the given boundary within those constraints. On a fixed log resolution witnessing dlt, the strict discrepancy inequalities remain strict in this neighborhood; thus its boundaries remain dlt. The rational-polytope theorem for nef adjoints [7], Remark 3.1 and Proposition 3.2(3), applied to all extremal rays and intersected with this neighborhood, expresses the given real boundary in a finite rational simplex of dlt boundaries with nef adjoints. It is enough to prove semiampleness for these rational adjoints. Their positive real combinations are semiample, using the product of the associated contractions. For a rational adjoint, real semiampleness can also be rationalized: the finite linear equations expressing its divisor and principal-divisor coefficients have rational data, so a real solution with positive coefficients has a rational solution with the same positivity.
We therefore work with a rational dlt pair and nef. Real nonvanishing gives rational nonvanishing in this case: retain the finitely many divisors and principal divisors in an effective real representative and solve the resulting rational linear system with nonnegative rational coefficients. If , lower-dimensional good models give a good minimal model by [35]. Lemma B.2 transfers semiampleness back to . It remains to treat
The non-pseudo-effective perturbation. Put in the klt case and in the other case. Suppose is not pseudo-effective for every sufficiently small . Choose rational as in Lemma B.5, and run the klt LMMP with scaling to a Mori fiber space
Existence and termination in the non-pseudo-effective case are the established klt results of [9]. The program is crepant for . The line-bundle descent in Lemma B.5, applied also to the final contraction, gives a nef rational divisor on with
The base has dimension less than $n. If is klt, the transformed original pair is klt as well. Ambro’s descent theorem [1], Theorem 0.2 gives an effective rational boundary such that is klt and
All its hypotheses hold: the total pair is globally klt and effective, is a projective contraction, and its adjoint is rationally linearly pulled back. In particular, this use requires no conjecture about semiampleness of a moduli divisor. Assumption B.1 and Lemma B.2 make semiample.
Otherwise is effective and relatively ample, since is relatively antiample. Some component of the floor therefore dominates . On a dlt blowup of the original lc pair , choose the strict transform of such a component. Adjunction produces an lc pair on whose nef adjoint is the pullback of . It is semiample by the lower-dimensional hypothesis. Semiampleness of a rational line bundle descends along a proper surjection: use the equality of sections for its connected-fiber Stein factor, and norms for the remaining finite morphism. For the latter assertion, a basepoint-free system has a section nonzero at every point of a chosen finite fiber; its norm is nonzero at the point downstairs. Hence is semiample also in this case. Crepancy transfers the conclusion back to .
The klt pseudo-effective perturbation. We next settle the klt case when is pseudo-effective for some small rational . Nonvanishing gives
Take a resolution with reduced SNC divisor consisting of all exceptionals and the strict support of . We have
Here every component of has positive coefficient in
Indeed, at strict boundary components the difference between coefficient one and a klt boundary coefficient is positive, and at exceptional components the coefficient contributed by the adjoint comparison is the positive log discrepancy. The pushforward is bounded coefficientwise by a fixed multiple of . Section spaces inject under birational pushforward, so
Take a -factorial dlt log minimal model of . Its boundary is reduced. On a common resolution, the comparison divisor in Lemma B.2 is exceptional over . Pushing the pullback of to therefore gives
For completeness, positivity at a component extracted on also holds: its log discrepancy over is zero, its center lies in , and the pullback of the full-support effective has positive order there. There is no comparison-divisor coefficient at a prime retained on . Effectivity and exceptionality in the comparison preserve the adjoint section ring, so the nef adjoint on still has Iitaka dimension zero.
The small-perturbation hypothesis of Theorem C.1 is now explicit. If , choose rational with . Then
If , pseudo-effectivity is immediate. Proposition B.3 supplies the required semiample-ness on . Theorem C.1 thus makes abundant. Its numerical dimension is zero, and its effective full-support representative forces , hence .
On a common resolution of , the effective pullback of is now exceptional over . It is nef because it is rationally linearly equivalent to the pullback of . The negativity lemma forces this divisor to vanish. Therefore and . Together with the preceding cases, this proves the klt good-model assertion in dimension : for a non-nef pseudo-effective klt adjoint, first take its klt log minimal model and apply what was just proved.
The remaining non-klt case. Finally suppose the original pair is not klt and a small floor perturbation is pseudo-effective. Choose rational so that both
are pseudo-effective klt adjoints. Their Iitaka dimensions are zero: nonvanishing gives the lower bound, and adding the effective perturbation bounds each by . The klt result just proved gives good models for both. Consequently their Nakayama numerical dimensions are zero. Since
and the last summand has an effective rational representative, monotonicity and homogeneity of give
The nef divisor is therefore numerically trivial. Nonvanishing is already available in this finishing step: write . For an ample divisor , the equality forces . Thus , without any additional nonvanishing or abundance premise.
All rational nef dlt adjoints are now semiample. The polytope reduction gives the real-boundary good-model assertion, and Lemma B.2 gives the final statement for every nef rational lc adjoint.
Geometry of a signed boundary representative
The next statement isolates the extension argument needed in the induction. Its boundary is reduced, but its prescribed representative need not be effective.
Theorem C.1 (Signed representative). Let be a projective -factorial dlt pair over , with reduced. Suppose that
and that
If is semiample as a rational line bundle on the reduced scheme , then is abundant:
The proof occupies this section, the Hodge-theoretic lifting argument of Proposition D.3, and the descent argument in Appendix E. No Iitaka subadditivity assumption is used in this theorem.
The positive boundary and its small intersections
Write
where and are effective with disjoint prime supports. Choose a positive integer such that , , and are integral Cartier divisors and
Increase so that is generated by global sections. Fix the resulting morphism
and let be the rational section of with divisor . Set and , and fix an ample Cartier divisor .
Lemma C.2. If , then is big. If , then and . In the remaining case , put . Every component of has -image of dimension at most , and some component of has image of dimension . Moreover,
when , the intersection in this formula is empty.
Proof. The assertion for is the numerical criterion for bigness of a nef divisor. Suppose . Intersecting the pseudo-effective class with a product of nef classes gives
Every summand on the right is nonnegative. Thus each is zero. For , ampleness gives , and the signed representative gives .
Now suppose . On a component of , the numerical dimension of equals its image dimension under . The preceding vanishing gives the upper bound . On the other hand,
so a positive-coefficient component attains that bound.
Consider the symmetric matrix
Its off-diagonal entries are nonnegative: distinct effective -Cartier divisors have effective intersection cycles. The mixed Hodge index theorem, obtained by approximation with ample classes and the ordinary Hodge index theorem on complete-intersection surfaces, says that the ambient intersection form has at most one positive direction. In this form, is isotropic, is orthogonal to every , and has strictly positive pairing with . Its orthogonal space therefore has negative semidefinite form. The same applies after pullback to a resolution, so this argument does not require to be smooth.
The signed relation implies . Write temporarily for the positive and negative coefficient vectors. Then
Negative semidefiniteness makes both sides zero and gives . The vanishing rows belonging to negative or zero coefficients show that each intersection of a positive component with a negative or zero component has zero -degree against . Semiamplemness on gives image dimension less than . If , an effective nonzero intersection has positive ample degree, proving emptiness.
We henceforth work in the case , and set .
A geometric package for infinitesimal lifting
The root gerbe
parametrizes -th roots of the indicated line bundle, without a chosen section. Its tautological line is denoted by , so is the pullback of . We use the same notation for further pullbacks of .
Proposition C.3. Choose divisible by and every nonzero integer , and set . There is a normal tame Deligne–Mumford stack , considered on a neighborhood of a reduced Cartier divisor of pure dimension , together with a morphism to and a reduced boundary having no component in common with , with the following properties.
(i) The pair is log canonical, and a fixed isomorphism of reflexive sheaves is given by
The support of is locally set-theoretically principal. The ambient space and are Cohen–Macaulay on scheme charts. Off , the ambient space is Gorenstein and the displayed isomorphism is ordinary Cartier adjunction data.
(ii) Put . Both and are Du Bois on scheme charts, the ideal is maximal Cohen–Macaulay, and
The identification agrees off with the residue convention specified by .
(iii) There is a finite representable morphism
whose image covers . The line is the pullback of . The image of in has dimension less than , whereas the image of has dimension .
(iv) There is a smooth projective bundle and a representable projective morphism . Writing and , the morphism factors through a closed embedding , and
(v) For a separated quasi-projective scheme chart that is étale and of finite type, put . The étale morphism extends compatibly to every nilpotent thickening in . The resulting are quasi-projective schemes, separated and quasi-finite over . All the adjunction and duality identifications are compatible with changes of étale chart.
Proof. Start with the normalized simultaneous root stack of the Cartier divisors , , and , taking an -th root of each divisor with its section. Empty divisors cause no difficulty. Write for the tautological root divisors. To check their reducedness, work at a generic prime where the downstairs multiplicity is . A normalized chart of has ramification index , and has order one. This applies to because divides . The divisors are Cartier; normality and their generic reducedness imply that they are reduced.
Log ramification gives a log canonical pair with this full reduced boundary and
Its ambient charts are klt. Indeed they are klt off the boundary, and decreasing all boundary coefficients slightly removes all zero-discrepancy places, as can be checked on a log resolution. The integral Weil class given by the difference of the two sides is torsion. Take the finite representable cover formed from its reflexive powers, with a chosen periodicity isomorphism, and normalize. On codimension-one charts this is the usual cover of a torsion line bundle, hence is etale there. The adjoint relation becomes a fixed linear equivalence; log canonicity, klt ambient singularities, and reduced Cartier boundary divisors persist. More explicitly, before taking this cover write . The torsion reflexive sheaf is
The relative spectrum of its reflexive-power algebra, with a chosen periodicity , has a tautological evaluation trivializing the pulled-back in codimension one. This is a morphism of sheaves on the cover stack itself. The resulting adjoint isomorphism is therefore equivariant on every atlas, rather than a separately chosen nonequivariant trivialization.
Blow up the ideal of and normalize. Locally the ideal has two generators, so the ordinary blowup embeds in a relative projective line. Its fibers, and those of its finite normalization, have dimension at most one. Every exceptional divisor therefore lies over a codimension-two component of the intersection. Such a component is a dlt stratum downstairs and is generically SNC. Separate normalized Kummer charts, followed by purity for the index cover at the smooth generic locus, give the same description upstairs.
It follows that the tautological exceptional divisor is reduced Cartier and
are disjoint reduced Cartier divisors, where denotes this normalized blowup. No codimension-two two-branch stratum is contained in , so is reduced Cartier without an exceptional component. The boundary
is crepant and log canonical. Write for this total boundary on a chart . The crepant equality establishes log canonicity for every valuation. Outside , the blowup is an isomorphism to the klt complement of the old boundary. Thus a divisor with has center in . As is effective Cartier, , and
Divisors with positive pair discrepancy remain positive after dropping the boundary. This proves that is klt, including at higher-codimension singular loci. Set and for the moment. Near , the disjoint divisor contributes its unit section, and the fixed linear equivalence becomes
The ambient charts remain klt and hence Cohen–Macaulay. Since all displayed boundary divisors are Cartier, this isomorphism also makes those charts Gorenstein.
The strict divisor is finite over . Before normalization it lies in the zero section of the projective ratio coordinate: its fibers over have at most one point. The morphism is proper, and normalization is finite. In particular a codimension-one point of lies over a codimension-two intersection downstairs. The generic SNC description above shows that is generically reduced. It is Cartier on the Cohen–Macaulay scheme , so it is reduced everywhere.
We next remove the root characters that will not be used. The line has -th power equal to the pullback of . It defines a morphism to the gerbe of -th roots of on . Take the relative coarse space over this gerbe and call it . On a trivializing chart this means quotienting by the kernel of the finite group character acting on the indicated root line. These are ordinary quasi-projective quotient schemes: the preceding covers are finite, the blowup is projective, and a finite quotient preserves quasi-projectivity. The chartwise construction patches.
Retain for their reduced images. Near , the pole section is a unit, so both the line of and its section descend through this kernel quotient. Thus remains Cartier. A finite-group norm of a local equation for the upstairs shows that its image is set-theoretically principal; we do not need reduced to be Cartier. The only divisorial ramification is on the boundary. Log ramification therefore preserves the lc pair and descends the equivariant adjoint isomorphism to . Cohen–Macaulayness of the ambient chart and of follows from the finite CM covers and their invariant direct summands. For clarity, the coarse kernel acts trivially on the retained root line, and hence on . Equivariance of the fixed adjoint isomorphism gives the same kernel character on . Taking invariants therefore descends the isomorphism, with log ramification identifying the invariant log dualizing sheaf. Off the descended adjoint isomorphism makes the canonical sheaf invertible, giving the claimed Gorenstein property there.
The reduced supports and are unions of log canonical centers: intersections of lc centers are again unions of lc centers. Hence both are Du Bois by [55], Theorems 1.4 and 1.7. For the more precise coherent statement, on one quotient chart write for the finite cover used above. Since is reduced,
Indeed an invariant function vanishes on the reduced quotient image precisely when its pullback vanishes on this reduced preimage. The sheaf on the right is maximal Cohen–Macaulay: upstairs it is invertible on a CM scheme, finite pushforward has the same depth over the quotient, and invariants are a direct summand in characteristic zero.
Finite-map duality with trace, followed by invariants, gives
This use of duality allows ramification and does not assert that itself is invertible. The last isomorphism is upstairs Cartier adjunction followed by descent of the line. Off it is the ordinary residue determined by the fixed ambient isomorphism. Normalized trace preserves that convention, proving compatibility on overlaps.
Restricted to , the root gerbe of is . The strict-divisor finiteness already proved, together with removal of the relative inertia kernel, makes finite and representable. Its image covers the positive boundary, and its root line is . Lemma C.2 gives all the asserted image-dimension bounds, including the bound for . The resulting is representable projective.
Its Stein algebra defines a finite stack over . There are enough vector bundles on to generate this coherent algebra as a module. Namely, decompose by the finitely many inertia characters, twist each summand by a power of to descend it to , and apply Serre generation. A vector-bundle surjection gives an embedding of in a vector bundle over . Its closure in the projective completion is still , since it is proper over the base. This gives and . The Stein construction supplies and the required line identities.
Finally, etale morphisms extend uniquely over nilpotent thickenings, compatibly as varies. The reduction is a scheme. The extension has trivial inertia and is an algebraic space. It is separated over : the chosen chart is separated, the morphism to the root gerbe is finite, and that gerbe has finite diagonal. Its finite-type geometric fibers over are zero-dimensional, and this is unchanged by nilpotents. Thus is separated and quasi-finite. Zariski’s main theorem embeds it in a scheme finite over , proving that it is a quasi-projective scheme. This completes the construction.
Hodge theory and formal lifting
We retain the geometric package of Proposition C.3. In particular, is a root gerbe, is its tautological line bundle, and
is a representable projective morphism followed by a smooth projective bundle. The Stein image is finite over , and . The reduced Cartier divisor has dimension . If , then are Du Bois, is maximal Cohen–Macaulay, and
where is an integer. Off , the fixed ambient isomorphism supplies these identifications by adjunction. We prove that functions and transverse parameters can be lifted through every infinitesimal neighborhood of .
A global vanishing statement
We use graded-polarizable mixed Hodge modules on ordinary complex algebraic varieties. The needed established results are projective strictness and the usual functorial operations [66] (Theorem 2.14 and Section 4), the comparison with the Du Bois complex and its coherent dual [67] (Theorem 0.2 and Corollary 0.3), and Kodaira–Saito vanishing [66] (Proposition 2.33). No Hodge-module theory on stacks is assumed. Our objects on smooth stacks will be compatible systems on scheme etale charts, whose filtered differential modules descend.
Throughout this section, differential modules are right modules with increasing filtration. The module itself is in degree zero in its Spencer de Rham complex. Thus, on a smooth chart , the term in degree of is
In particular, if , the lowest graded de Rham complex is the sheaf in degree zero.
Lemma D.1. Let be a compatible system of mixed Hodge modules in perverse degree zero on the scheme etale charts of . Suppose its support is finite over . Then, for every integer , every positive integer , and every ,
Here the graded de Rham complex is the descended coherent complex.
Proof. Because is finite on the support, its direct image has only perverse cohomology in degree zero. Denote that system on by . Projective strictness on the ordinary scheme charts gives
We first explain why this is a global identity of descended complexes, rather than a claim of local vanishing.
For right differential modules, the direct image is formed from the filtered transfer bimodule
with its order filtration, by derived tensor over and derived direct image. These operations may equivalently be performed on Rees modules. Applying de Rham on the base means further derived tensor with , whose filtration begins in degree zero. The filtered Spencer resolution, associativity of derived tensor, and projection formula identify the result with the direct image of de Rham upstairs: the transfer module tensored over the base differential operators with its structure sheaf is . These are canonical sheaf constructions on the etale site; the Spencer resolutions are locally free over differential operators. They therefore respect chart changes before passing to associated gradeds. Strictness and the concentration in perverse degree zero can be checked on the base charts by the ordinary projective direct-image theorem. Coherent cohomology on those charts is unchanged by using their etale sites. This proves (183) as an identity that computes global coherent hypercohomology. The same argument applies to the representable finite morphism used next.
There is a representable finite surjective morphism
defined by the power map and the root . In particular, . On the standard affine opens of choose the trivial root, obtaining scheme etale charts . On , the morphism factors through . Pull back on these charts and take perverse cohomology in degree zero. Functoriality and the chosen root identify these objects on overlaps, giving a system on the Zariski opens of .
For completeness, this is a global graded-polarizable mixed Hodge module on . The perverse, filtered, and weight data glue. The pure weight gradeds have strict-support decompositions, which glue by uniqueness. On a smooth connected dense stratum of an irreducible support, a polarization from a nonempty Zariski open extends as a flat pairing: the fundamental group of that open surjects onto the fundamental group of the stratum. Its Hodge compatibility extends by continuity; nondegeneracy and positivity persist for the extended flat pairing. Quasi-unipotence at the boundary is already supplied by the local Hodge modules. Saito’s extension theorem for polarizable variations [66], Section 3.b and uniqueness of strict-support extension identify this global pure object with the glued one. There is no additional boundary at infinity, since is projective. The weight extensions then give the stated mixed object.
The system is a retract of . To see this on a chart, use the whole base-changed finite cover. Over it is a disjoint union of copies of the corresponding affine coordinate chart of . The unit on unshifted constants and its dual trace, using smooth duality in equal dimensions, have composition multiplication by the degree. On the finite étale locus the trace is summation over sheets. On each connected smooth base chart, the shifted constant Hodge module is the rank-one intersection complex and has endomorphism ring ; its endomorphisms are determined on a dense open. Thus the composition equals the degree globally, with no additional term supported on the branch locus. Ramification is therefore allowed. Tensoring with , applying proper projection formula, and taking perverse cohomology in degree zero gives the claimed retraction, since finite direct image is perverse exact. Divide the trace by the degree. All maps are canonical under étale base change, so the retraction descends also on filtered differential modules.
Now apply the finite version of (183) and projection formula. The desired hypercohomology is a direct summand of
This is zero for by ordinary negative-ample Kodaira–Saito vanishing. One may apply it to the pure weight gradeds and then use the exact sequences of the weight filtration; the Hodge filtrations of those sequences are strict.
The lowest Hodge piece
Take a separated quasi-projective scheme étale chart , of finite type. Write , , and again for the induced projective morphism. For , put
All these constructions commute with étale restriction. The form a system supported on , to which Lemma D.1 applies.
Lemma D.2. The following identifications hold compatibly on the charts:
In a smooth ambient embedding of codimension , the underlying module of is , localized off . The lowest-piece inclusion is the adjunction, or Ext-to-support, inclusion off , extended by meromorphic localization.
Proof. The difference triangle for the constant objects of and , together with Du Bois comparison, identifies its degree-zero graded de Rham complex with . Coherent duality and the maximal-Cohen–Macaulay property therefore give
The shift cancels the dimension shift in the dualizing complex. In the smooth case this convention says ; its right differential module has lowest piece at index zero.
We spell out the passage from the complex to perverse cohomology. Let be the smallest filtration index occurring in any perverse cohomology object of , locally on a fixed chart. Such a lower bound exists because the complex is bounded and its filtrations are good. At index , the graded Spencer complex of every perverse cohomology object has only its degree-zero term. The spectral sequence from perverse truncation therefore has a single nonzero row and gives
If , this contradicts (184). Thus all these objects have . Applying the same argument at index zero gives , and gives zero for the lowest piece of the other perverse cohomology objects. No perversity assertion about the shifted constant complex is required.
For the unfiltered description, duality identifies the dual of the reduced constant complex, in the ambient , with
Its degree-zero module is the first nonzero support cohomology . The support of is locally set-theoretically principal in , by the construction. Invert a local defining function, lifted to ; this exact meromorphic localization realizes on the underlying module. It yields the asserted description of .
We also need compatibility of the two descriptions of its lowest piece. On the smooth locus of , filtered duality and smooth graph pushforward identify it with the ordinary dualizing sheaf included by residue. This is the Ext-to-support inclusion, with the normalization fixed by the ambient adjunction isomorphism. Naturality in smooth etale coordinates fixes the same scalar on every chart. Agreement extends over : the first support-cohomology module has no sections supported on a smaller-dimensional subset. For example, this follows from the Cousin resolution of the smooth dualizing sheaf, whose first term supported on is a sum of injective modules at its codimension- generic points. It extends across by localization. Hence the inclusion is the one stated in the lemma, not merely an abstract isomorphism of coherent sheaves.
Finally use a graph embedding followed by a smooth projection to compute . At filtration zero the relative Spencer complex has only its top term, namely the direct image of on the graph. Projective strictness gives
and identifies this sheaf with its actual submodule in the unfiltered degree-one direct image. The constructions used here are canonical on etale changes of charts.
Lifting through the infinitesimal neighborhoods
Let . The etale object extends uniquely and compatibly over every nilpotent thickening ; denote its extension by . These are quasi-projective schemes by Proposition C.3: they are separated and quasi-finite over , hence are open in schemes finite over the projective variety . Powers and quotients of below are pulled back to the respective thickenings.
Proposition D.3. For every such chart , every , and every , the transition
is surjective as a map of sheaves of abelian groups. Its kernel is , where . The statements are compatible with further etale changes of charts. On an affine chart, these transitions are also surjective on global sections.
Proof. Define
Here uses the underlying topological map. We do not assume that a thickening already has a ringed-space map to . The first graded layer is
The exact sequence for adjacent lengths has kernel , and its connecting homomorphism takes values in
Induct on , proving the assertion simultaneously for all . Assume all shorter transitions are surjective. A section of with zero length-one term comes from when . By induction it locally lifts from , so its connecting class is zero. Also is surjective. For the factorization is immediate. The obstruction therefore factors through a map on the graded algebra of length-one layers, with graded shift . Choose local lifts and take their Čech differences. The difference of a product is the sum of the two first-order differences; products of the errors vanish in the layer at issue. Thus is a -derivation from this graded algebra to the graded -module.
In degree zero, restrict it along . The resulting derivation factors through , hence defines a section of . These local sections descend to
The equality uses (182), Lemma D.2, and projection formula. For descent, lifts of functions pull back on the unique étale thickenings. Their Čech classes pull back by ordinary flat base change for the coherent obstruction sheaves on the reductions. Differentials pull back and generate under an étale map, proving the asserted compatibility.
Shrink and take étale coordinates , where , and a frame of . Its pullback is a conormal frame, denoted by . By induction lift the coordinates along modulo , and lift to . On an open cover of , lift these one step further, obtaining functions modulo and generators modulo . Formal étaleness of the coordinate map makes each a local map from to . On overlaps write
The reduced coefficients are Čech cocycles representing and in the chosen frames. Let denote the induced frame of .
Off , the fixed adjunction isomorphism gives
It therefore defines local dualizing sections . Under the trace inclusion , the identities
hold when the dualizing sheaves are realized in support cohomology. Indeed the first identity is the binomial expansion of ; its quadratic terms vanish because . The other two identities describe Cartier trace and the annihilator of the thickening.
Embed as a closed subscheme of a smooth open . The graph of the reduced map is closed in , by its properness over . Use this reduced graph for an ambient realization of . Each local graph lift maps , by Ext-to-support cohomology, to a section of the underlying graph module. We claim that
The reduced dualizing sections on the right use the inclusion of Lemma D.2.
Here is the local calculation, including the non-smooth case. Put . The Ext-to-support map identifies the dualizing sheaf of the thickening with its annihilator submodule in . One can obtain this from the support-cohomology spectral sequence: there is no support cohomology below , so in total degree the Ext group is the homomorphisms from the thickening’s structure sheaf into that first support-cohomology module. Thus the calculation does not require to be a local complete intersection in .
Lift locally to functions on . In , the graph inclusion on a thickness-dualizing section is the generalized fraction
This is successive support cohomology in the additional coordinate equations, or equivalently the Koszul residue for the graph. It may be computed etale-locally near the graph branch. After first taking support cohomology from , the translated new coordinates form a regular sequence, so their support cohomology is concentrated in their top number. Localization in either set of translated coordinates gives the same localization on this support-torsion module: the two translations differ nilpotently on every section.
Changing from to therefore gives a finite Taylor expansion on . Products of two differences in Equation (186) annihilate , again because . Its linear term uses
For a top differential form the right action satisfies
Consequently the doubled pole has the positive sign displayed in Equation (188). Together with Equation (187), this proves that identity. The calculation initially takes place off . The sections and identities extend meromorphically across in the unfiltered localized module; arbitrary finite pole orders there are allowed.
Now push by , using relative Spencer. If denotes the closed reduced graph embedding and the projection, closed direct image is perverse exact and . Thus degree-one holonomic differential-module cohomology of this Spencer direct image is precisely the underlying module of . The cochain lies in its top, degree-zero term, which has no outgoing relative Spencer differential. Its Cech difference is therefore a boundary in total degree one. A sufficiently refined ambient cover around the closed graph computes this assertion; all sheaves involved are supported there. The reduced cocycles in Equation (188) represent their classes inside , by Lemma D.2. Right differentiation in the -coordinates acts on the pushforward complex. Hence the right side of Equation (188) represents zero in the unfiltered module .
That right side lies in ; the term involving lies in . Since is an actual subsheaf of , its vanishing in is vanishing in . Taking the order-one symbol thus says that the global section of Equation (185) is killed by
after twisting by . This reasoning places no Hodge-filtration bound on the auxiliary cochain .
There is no term preceding degree in , because . Its degree- hypercohomology after the indicated twist is therefore precisely the space of global sections of the kernel of (189). Since , Lemma D.1 makes that space zero. We conclude that .
In a local coordinate and line trivialization, this says that every class is already zero in , hence in . Its actual differential-operator image is consequently zero, before taking symbols. The unfiltered relation now gives
Lowest-piece injectivity and imply . The degree-zero derivation is zero as well: it vanishes on , which surjects onto . Locally the whole graded length-one algebra is generated by that coefficient algebra and the conormal frame . Thus in every degree, proving the induction and all sheaf transitions.
Their kernels are the coherent sheaves . On an affine these have no first cohomology. The exact sequences of sheaves of abelian groups therefore also give surjectivity on global sections. Choosing lifts successively gives compatible formal lifts of any chosen functions on , and, when is trivialized, of its transverse conormal frame.
Compact null families and descent
We return to the setting of Theorem C.1, with , , and the geometric construction of Proposition C.3. The infinitesimal lifting result now turns a boundary fiber into a compact subvariety outside the entire boundary.
Proposition E.1. Assume the transition surjectivity of Proposition D.3. There is a dominating algebraic family of integral projective subvarieties of of dimension
whose general members avoid and on which is numerically trivial.
Proof. Choose a separated affine étale chart around a general point of a top-dimensional component of . Shrink it so that is trivial, this component of is smooth of pure dimension , and is flat over it. We may also ensure that does not meet , because the image of in has dimension less than . Choose a closed point of this open set and regular parameters on cutting out alone after further shrinking. Then
is projective of pure dimension , and the pulled-back parameters form a regular sequence along .
Put . Proposition D.3 gives surjections between all the sheaves as the length increases. Their transition kernels are coherent sheaves of the form . Since is affine, the surjections hold on global sections as well. We may therefore lift the parameters compatibly to all thickenings and lift the chosen conormal frame to a compatible element generating formally.
On , cut out the lifted parameters and denote the resulting closed subscheme by . Give it the structure of a scheme over
These schemes are compatible under reduction in . Their closed fiber is , and they are flat over . Indeed the powers of the Cartier generator identify the successive -layers of with , proving flatness before cutting. The local flatness criterion then shows that quotienting by lifts of a closed-fiber regular sequence preserves flatness.
The map is quasi-finite. It is proper as well: its reduction is the map from the projective scheme , and properness of a finite-type morphism is unchanged by nilpotent thickenings. Hence this map is finite. Let . Projective Grothendieck existence, including its full faithfulness, algebraizes the compatible finite algebra sheaves on to a finite algebra on ; multiplication and the unit algebraize by full faithfulness [72], Lemmas 30.24.1 and 30.24.3. Its relative spectrum is a finite morphism
with the prescribed reductions. The scheme is projective over . Formal flatness proves flatness along the closed fiber, and flatness is automatic on the generic fiber over , so is flat over .
The images of the pole and coefficient-zero boundary parts do not meet . Their inverse images in are closed and proper over , so they do not meet : a nonempty closed subset of a proper -scheme has specialization in the closed fiber. Away from these parts and the graph exceptional divisor, the root construction identifies the divisor of with . The formal generator therefore supplies compatible trivializations in which
Full faithfulness algebraizes this trivialization and the identity. Thus the generic fiber of avoids also the positive part of , and hence all of . Its finite image in has pure dimension . After a finite extension of , a component can be reduced and chosen geometrically integral.
It remains to show that these compact subvarieties cover , rather than merely a neighborhood of one point. Choose a positive component with image dimension , and a component of covering it. As the general chart and the point vary, images of points of contain a dense open subset of . Every such point is in the specialization of a -dimensional generic finite image constructed above. Indeed flatness over the discrete valuation ring rules out vertical components of , and the dimension formula shows that the closures of its generic components have special-fiber components of dimension . Their finite images retain that dimension.
Consider now all Hilbert schemes of -dimensional subvarieties of . Their geometrically integral loci whose members avoid admit a countable stratification by integral parameter spaces with irreducible universal families. Let be the irreducible closures in of the corresponding evaluation images. A generic image over a field extension determines a Hilbert point of one of these strata. Properness of the Hilbert scheme gives its specialization, so every point of the dense open subset of just described lies in some .
Over the uncountable field , an irreducible variety cannot have a dense open covered by countably many proper closed subsets. Therefore one contains . It also contains points outside , by its definition. Since is a prime divisor in the integral variety , the only proper irreducible closed subset containing it is itself. Consequently , giving a dominating family. On every member of this family, the rational section is regular and nowhere zero, since the member avoids . It trivializes , so is numerically trivial there. ∏का
Descent along the nef reduction
Lemma E.2. Let be a surjective projective morphism from a normal integral variety to a smooth projective variety, with geometrically connected integral generic fiber. Suppose all fibers have dimension at most . Let be a vertical -Cartier divisor that is relatively nef. Then
for a -divisor on .
Proof. If is a point, a vertical divisor is zero. If the relative dimension is zero, the fiber bound makes finite; its geometrically integral connected generic fiber makes it birational, and normality of makes it an isomorphism. Both cases are immediate. Assume henceforth that the base and the relative dimension are positive.
The fiber bound implies that every vertical prime divisor maps onto a prime divisor of . For each such base prime , write the full pullback as and let be the coefficient of along , including zero coefficients. Give coefficient in . Only finitely many coefficients are nonzero. Then
is effective, vertical, -Cartier, relatively nef, and misses at least one component over each base prime. We prove that .
If , choose a base prime below its support. Take a general complete-intersection curve in meeting that prime at a general point; when use itself. Its inverse image in is normal by normal Bertini. It is integral: generic geometric integrality gives the dominating component, and the fiber bound excludes additional vertical components. Next take general very ample hyperplanes upstairs. This produces a normal integral surface over the base curve with geometrically connected generic fiber. At the chosen general base point, the cuts retain curves in the residual support and in a missing component of the full pullback; these curves are distinct because the original components were distinct at the generic point of the base prime.
Resolve the surface. The pulled-back residual divisor is effective, vertical, and relatively nef. Its intersection with the full fiber is zero, whereas its intersection with each fiber component is nonnegative. Every one of the latter intersections is therefore zero. The intersection matrix of a connected surface fiber is negative semidefinite with kernel generated by the full fiber. Thus the residual part at the chosen point is a multiple of that full fiber. A missing component forces this multiple to be zero, contradicting the component in its support. Connectedness of the fiber follows from generic connectedness and Stein factorization over the normal base curve. □
Completion of the proof of Theorem C.1. Lemma C.2 handles and . In the remaining case, combine Propositions C.3, D.3, and E.1.
Apply the nef-reduction theorem to a Cartier multiple of [5] [Theorem 2.1]. It gives an almost holomorphic rational map with connected fibers, with numerically trivial on its compact general fibers, and with positive -degree on every noncontracted curve through a very general point of . Let its base dimension be . A compact -trivial -fold through such a point is contracted: otherwise general ample slices through the point yield a noncontracted curve of -degree zero. Hence
Resolve the graph, flatten the main component over a modification of the base, resolve that base, and normalize the main transform. We obtain projective morphisms
with birational, smooth, normal, and geometrically connected integral generic fiber of . All fibers have dimension at most . Indeed the flat main transform remains integral after the base modification by flatness and generic integrality, and finite normalization preserves the fiber-dimension bound. Normalization need not preserve flatness; only this bound is used.
The pullback has no horizontal component. To see this, restrict to a very general fiber of . The class of is numerically trivial there, and restricts to a pseudo-effective class. The latter assertion follows by restricting effective approximants, avoiding the countably many fibers contained in their supports. Its restricted class is . A negative nonzero effective divisor on a projective variety cannot be pseudo-effective, as intersection with an ample power shows. Thus the restriction of is zero. In particular would force , contrary to .
Consequently is vertical and is relatively nef, since . Lemma E.2 gives
for a -divisor on the smooth base. It is nef: every curve of is dominated by a curve of , on which the pullback has nonnegative degree. The intersection formula for a pullback gives . Combined with , this yields and . Therefore is big. Pulling back sections gives , and the general inequality for a nef divisor proves abundance.
Geometric exclusions for a nonvanishing counterexample
Throughout this section we assume the lower-dimensional good-model hypothesis of Assumption B.1. We suppose, towards a contradiction, that is smooth projective of dimension and
These properties persist on smooth projective birational models. All varieties in this section are complex. Numerical dimension for a pseudo-effective divisor means Nakayama’s numerical dimension ; for a nef divisor it agrees with the intersection definition used in Theorem C.1.
The Albanese reduction and algebraic webs
Lemma F.1. Every smooth projective birational model of has irregularity zero. Consequently, on such a model, or on a projective -factorial terminal birational model, numerical equivalence of rational divisors implies their -linear equivalence.
Proof. If , resolve the Stein factorization of the Albanese map to obtain a morphism with connected fibers, with smooth projective and . The map from to a subvariety of is generically finite. Wedges of invariant one-forms on the abelian variety therefore give a nonzero section of ; at the generic point, choose independent pulled-back one-forms. Thus . For a very general smooth fiber , the restriction of the pseudo-effective class is pseudo-effective. For example, restrict a positive current representing it to almost every fiber, or use effective approximations with arbitrarily small ample error. Adjunction identifies this restriction with . If has positive dimension, the induction hypothesis gives ; for a point the same assertion holds by convention. Applying Assumption A.1 with both boundaries empty gives , contradicting (190).
This is the only use of Assumption A.1 in the proof. Irregularity is a smooth birational invariant. Finally, when , a numerically trivial line bundle is torsion, since the group of numerically trivial line bundles modulo is finite. Clear denominators for rational divisors. On a terminal -factorial model, pull back to a smooth resolution and then descend the rational linear equivalence.
We use covering families of proper subvarieties through very general points. They can be parameterized in countably many algebraic families, using Hilbert schemes followed by resolution and stratification. After shrinking a parameter space, the domains form a smooth projective family with integral fibers and have a dominant evaluation map. If the fiber maps are generically finite onto their images, general ample cuts of the parameter space make the total evaluation generically finite and still dominant. We always resolve and compactify this evaluation when applying ramification. Invariance of plurigenera for smooth projective families [65], Theorem 1, permits the same construction for the Iitaka fibers of general members: choose a divisible pluricanonical system on the general member, spread it by base change, and resolve its relative rational map.
Lemma F.2 (Algebraic web quotient). Let a smooth projective variety be dominated generically finitely by the total space of a family with smooth integral projective general fibers. On a dense regular open, form the distribution generated by the tangent spaces of the fiber images, taking spans, saturation, and Lie brackets. Its general leaves are dense opens of algebraic subvarieties. Their closures are the general fibers of a rational map, which has connected general fiber after Stein factorization.
Proof. Shrink to an open where the evaluation has finitely many etale sheets, the parameter map is smooth, and the generated involutive distribution has constant rank. Its construction is algebraic: spans and brackets stabilize at the generic point after finitely many operations, and descend from the etale sheets. The nonempty open parts of the integral parameter fibers are connected. We use only chains of fiber-image steps lying in .
For , endpoints of chains of at most steps form a constructible set, by the algebraic fiber-product construction and Chevalley’s theorem. Every endpoint lies in the analytic leaf through . A locally closed smooth variety contained in an analytic leaf has dimension at most . Indeed, in a Frobenius chart the leaf meets at most countably many plaques: use finite plaque chains in a countable foliation atlas. The transverse coordinate map on any connected smooth piece then has countable image and is constant.
There is therefore a maximal dimension among the closures of all such endpoint loci; it is attained for some finite . The loci are nested because we allow at most steps, including the identity step. Choose an irreducible component of maximal dimension and a dense open of reachable points. For each etale sheet, restrict its fiber-equivalence relation to first coordinate in , and take the component through the diagonal section. Its second-image closure contains , hence , while its second image consists of endpoints reachable in at most steps. Maximality forces that closure to equal . At a general diagonal point, smoothness of the parameter map identifies its vertical tangent with the corresponding web tangent. Every web tangent is consequently tangent to , and so is every bracket. Hence , while the reverse inequality was proved above. A plaque is thus open in . The equations of , pulled back to the connected immersed leaf, vanish on a nonempty open and hence on the entire leaf. Its closure is exactly .
These rank-dimensional invariant subvarieties have countably many Hilbert or Chow parameter spaces. Tangency on the regular locus is an algebraic condition after stratification, so one such family dominates. An invariant irreducible variety meeting contains the leaf through any of its points in : the tangent vector fields preserve its reduced ideal, first on its smooth locus and then everywhere by closure. A rank-dimensional leaf closure is therefore unique through a general point. Assigning that closure gives the desired rational map. Resolve its graph and take the Stein factorization. □
For positive closed -currents we shall use this quotient in the following way. If a current vanishes on almost every parameter fiber away from a fixed removed divisor, it annihilates the corresponding fiber tangents on a dense open. In submersion coordinates, choose locally integrable plurisubharmonic potentials. Fubini’s theorem makes the pure fiber Hessian zero as a distribution; positivity then makes the mixed coefficients in fiber directions zero as well. A generically etale evaluation transfers this assertion to the target. Annihilation passes to brackets by the identities
Pullbacks by dominant morphisms and restrictions to almost every smooth parameter fiber are defined by the same local potentials.
The general-type exclusion
Proposition F.3. Every positive-dimensional proper subvariety through a very general point of is of general type on resolution. The assertion holds also on every projective birational model.
Proof. Otherwise take a covering family of nongeneral-type subvarieties, with smooth domains , and slice its parameters as above. Restricting the ramification formula of its generically finite total evaluation shows that dominates the restriction of the pulled-back by an effective divisor. Thus is pseudo-effective. The induction hypothesis gives a good minimal model of , so . Since is not of general type, its general Iitaka fibers have positive dimension and Kodaira dimension zero. Spreading these fibers gives another covering family with smooth domains , of dimension less than , and . Each has a good minimal model and .
Fix a positive current representing . After slicing and resolving the total evaluation of the ’s, its restriction to almost every parameter fiber, plus the effective restricted ramification divisor, is a positive current in . Every positive current in that class is supported on the fixed canonical divisor of . To see this, take a common resolution with its good minimal model. The latter has torsion canonical divisor, so the canonical divisor upstairs is effective exceptional. Intersection with a pullback of an ample class to the power forces any such positive current to vanish off the exceptional locus. The support theorem makes it divisorial, and independence of exceptional divisor classes, by negativity, fixes its coefficients. Pushing down proves the assertion on . The excluded support is algebraic in the family: it is the fixed divisor of a sufficiently divisible relative pluricanonical system after shrinking the parameter space.
It follows that annihilates the web distribution of the ’s on a dense open. If that distribution has full rank, is supported on a proper algebraic set. The support theorem for positive closed -currents expresses it as a finite nonnegative real combination of prime divisors [69, 24]. Its rational cohomology class then has a nonnegative rational representative: solve the finite rational linear system for the coefficients on the same face of the nonnegative orthant. Lemma F.1 converts numerical effectivity to -linear effectivity, a contradiction.
Otherwise Lemma F.2 gives a rational quotient with general smooth fiber on a smooth resolved graph, where . Its canonical divisor is pseudo-effective. The moving ’s still generate its tangent space at general points. Indeed the quotient is constant on every general web member, hence induces a rational map on their parameter space; restricting to a general quotient fiber preserves dominance of evaluation. A pluricanonical rational map of is constant along each such . Slice the parameters inside to make the total evaluation generically finite: ramification injects the restricted pluricanonical sections into sections of a multiple of , and these span a space of dimension at most one. Consequently their ratios are constant on . Their differentials vanish on the web and its brackets, so the pluricanonical map is constant on . Lower-dimensional nonvanishing therefore gives , and its good minimal model gives .
Now apply the numerical-zero-fiber reduction of Gongyo–Lehmann [38], Theorem 1.3 and Corollary 4.5. For a projective -factorial klt rational pair with a connected-fiber morphism and numerical dimension zero on the general fiber, that theorem produces a klt pair on a smooth birational base whose good-minimal-model existence is equivalent. Here the total space is the smooth graph, the boundary is zero, and the base has dimension less than . The required numerical dimension is , which is zero by the good model of ; thus the numerical-dimension qualification, with the corrected convention discussed in [30], Section 3 and Theorem 3.2, causes no issue. The induction hypothesis supplies the base good model, hence nonvanishing upstairs, contradicting (191). □
Corollary F.4. Let be a projective -factorial terminal birational model of . If a rational divisor has , then is big for every rational . Consequently, if is a supporting functional of the pseudo-effective cone with , then .
Proof. Resolve a moving subsystem of a multiple of . If its map is generically finite, is big and the assertion follows from pseudoeffectivity of . Otherwise its general fiber is a proper positive-dimensional subvariety through very general points and is of general type by Proposition F.3. The canonical divisor of the smooth resolution is relatively big, so adding a sufficiently large ample pullback from the image makes it big. Since that pullback is bounded by a multiple of the resolved moving subsystem, pushforward gives big for some . Convexity with the pseudo-effective , and then addition of the pseudo-effective , gives the assertion for every . A nonzero nonnegative functional on a closed convex cone is strictly positive on its interior. Applying it to proves the last assertion. □
Valuations and positive currents
For a positive closed -current on a smooth projective variety , let denote the generic Lelong number of its pullback at a divisorial valuation . The normalization is such that a reduced smooth divisor has generic number one. We write for log discrepancy.
Lemma F.5. For a fixed and a fixed , the set
satisfies the ascending chain condition.
Proof. We induct on the integer part of ; discrepancies over a smooth variety are positive integers. Suppose that a strictly increasing sequence exists, and discard initial terms so its members exceed a fixed positive number . Skoda integrability and change of variables give
at a general point of the center. Indeed every exponent smaller than is locally integrable, whereas integrability after pullback imposes the corresponding discrepancy bound. Hence all centers lie in the fixed proper Siu locus , which is algebraic by Siu analyticity and projectivity [69].
If, after passage to a subsequence, the centers lie in a fixed codimension-at-least-two subvariety, principalize its ideal. All lifted centers lie in the exceptional locus, where the relative canonical divisor has positive integral order. The discrepancy bound for the new smooth ambient space has therefore decreased by at least one. Pull back and apply induction.
Otherwise the centers lie in a fixed prime divisor of the Siu locus. Write with positive and with zero generic Lelong number along . The integers are bounded: the fixed effective divisor has positive log canonical threshold, and . Pass to a constant order. The residual numbers are still strictly increasing, and after discarding a term have a positive lower bound. (191) places their centers in a fixed Siu locus of , which does not contain . Their intersection with has codimension at least two, so the preceding case applies.
We also record the multiplier-ideal approximation used below [24], Theorems 5.11, 6.27, and 14.2. On a smooth projective variety, if is a real algebraic class, one can choose integral line bundles such that stays in a bounded, uniformly sufficiently ample set and is globally generated. Round the coefficients of in a fixed integral basis and add a fixed sufficiently positive integral class. Nadel vanishing and Castelnuovo–Mumford regularity give generation. For every divisorial valuation,
The local Bergman weight is bounded below by the original weight up to a constant; this inequality persists after pullback and gives (193). These are statements for a fixed current, not uniform assertions over all currents.
Proposition F.6. Let be a fixed projective -factorial terminal birational model of , with nonbig. A positive current in the pullback class of on a smooth resolution cannot, on a dense regular Zariski open, annihilate the tangent spaces of the general fibers of a rational fibration of positive relative dimension.
Proof. Suppose otherwise, and choose a connected-fiber quotient of minimal base dimension . If , the current vanishes on a dense open; the divisorial-current argument in Proposition F.3 contradicts (191). Thus . Resolve the graph and the space carrying the current:
Here are smooth projective and has connected general fiber. Flatten the main component over a modification of the base, resolve that base, normalize the main transform, and then resolve upstairs. Every vertical prime on the flat transform maps to a divisor of the base: a prime over base codimension would have generic fiber dimension at least , whereas all fibers have dimension at most . Consequently every vertical divisor on over base codimension at least two is exceptional over . This property persists under later resolutions and base modifications: a nonexceptional prime already maps onto a base prime and its generic image is unchanged. For divisors and numerical classes put
This strict pullback is well defined on numerical classes because is -factorial: numerical classes upstairs decompose into pulled-back classes from and exceptional classes. It preserves pseudoeffectivity. For a higher base model , its analogue satisfies , by computing on a common graph. It kills divisors exceptional over : otherwise a prime in such a pullback that dominates a divisor of would have center of codimension at least two on , contrary to the property just established.
Descent of the current. Let also denote the pulled-back current on . Shrink to a smooth open so that is smooth proper, the removed set contains no vertical divisor over , and the remaining open in every fiber is nonempty and connected. Away from that fixed removed algebraic set upstairs, descends to a positive current . Indeed in submersion coordinates the horizontal coefficient distributions are independent of fiber variables by closedness, and the open parts of general fibers are connected. They therefore glue to on . The difference is closed of order zero and supported on the removed algebraic set. The support theorem expresses it as a signed divisor sum; a closed order-zero -current supported in codimension at least two is zero. Its horizontal coefficients are nonnegative, since a pullback has zero generic Lelong number along a horizontal divisor.
Subtract those finitely many global Siu components from , obtaining a positive current that equals on all of . Choose a Kähler form representing an ample algebraic class and put . Fiber integration gives , constant on , by closedness. The projection formula therefore gives
The left side defines a global positive closed extension. Its class is real algebraic, since is the algebraic class minus real divisor classes and algebraic intersection and pushforward preserve such classes. Remove its divisorial parts along , and call the result . On a dense open . Their difference is again closed of order zero, so the same support theorem leaves only a signed divisor sum. It has nonnegative coefficients at every prime dominating a base prime. For the latter assertion, the generic local map is a transverse power map times a submersion. A current with zero generic Lelong number along the base prime has zero generic number at such an upstairs prime: local target balls of a radius equal to a fixed power of the source radius give the usual Lelong comparison. The only possible negative coefficients lie over base codimension at least two and are exceptional over . It follows that
Horizontal parts subtracted above merely contribute effective divisors to this difference.
A negative canonical direction on the base. Choose a nonzero supporting functional of the pseudo-effective cone at , and put . The corresponding functionals on higher smooth base models are movable classes by pseudo-effective/movable duality [12], Theorem 0.2. They annihilate base-exceptional divisors. Equation (193) gives .
Only finitely many prime divisors on have positive divisorial Lelong coefficient for . Otherwise their nonzero strict pullbacks are effective divisors on killed by , with pairwise disjoint prime supports. The supports are disjoint because a nonexceptional prime of cannot map into the intersection of two base primes. Only finitely many base primes have zero strict pullback, since their total pullbacks are supported in the finite exceptional locus of . In the finite-dimensional rational space of divisor classes, infinitely many remaining strict pullbacks have a rational relation. Its positive and negative sides are nonzero effective divisors with disjoint support; Lemma F.1 makes the relation -linear. They define a moving pencil killed by , contradicting Corollary F.4. We claim that
The smooth general fiber of is of general type by Proposition F.3. The relative-positivity theorem of Kovács–Patakfalvi [57] applies to a log canonical fiber space with smooth base, SNC total pair, and log-general-type geometric generic fiber; for a rational base divisor with , it gives relative subadditivity with the term . Here both spaces are smooth projective, the boundary is zero, and we take . Invariance of plurigenera on the smooth locus identifies the generic-fiber Kodaira dimension with that of . Thus
This is an established general-type-fiber theorem, not another use or strengthening of Assumption A.1. Choose compatible canonical divisors and set . For every sufficiently divisible , pushing forward an effective divisor gives . The resulting injection of sections preserves their ratios, so . Corollary F.4 now gives , proving (195).
Rational curves and an exact zero gap. Apply the multiplier approximation to on , and principalize by . If is its divisor, the class
is nef. Put . Since it kills exceptional divisors and stays bounded,
For a fixed ample on , polarize by plus a sufficiently small rational ample class on . Approximate by positive sums of covering-curve classes. Discard terms with nonnegative canonical degree. Some remaining covering curve has the ratio of polarization degree to anticanonical degree . Quantitative bend-and-break [59], Theorem 5, supplies rational curves through its general points with polarization degree at most times that ratio. Parameterization and uncountability give a covering family of rational curves satisfying
The general parametrized member is free in characteristic zero. Consequently , and
Here the upper bound follows from the fixed ample-degree bound in (197). Write . Every positive contact with an exceptional prime contributes a positive integer discrepancy times a positive integer contact degree to (198). Thus the number of such contacts, their discrepancies, and their contact degrees are uniformly bounded. Contacts with the finitely many strict transforms of divisorial Delong components of are bounded by their fixed degrees against . Subtracting these divisorial parts from leaves a positive current. Using (193) and (197) gives
The sum includes exceptional primes and those strict divisorial components; terms with zero contact are irrelevant.
Bounded ample degree gives only finitely many numerical classes of the integral cycles . Pass to one class. By Lemma F.5, the sums in (198) belong to an ACC set: there are a bounded number of terms, their nonnegative integral multiplicities are bounded, and all relevant discrepancies are bounded. Finite sums of this kind preserve ACC, by successively taking nonincreasing subsequences of their entries. The nonnegative gaps in (198) must therefore equal zero for some covering families. Otherwise a sequence tending to zero has a strictly decreasing positive subsequence, giving a strictly increasing sequence of the complementary sums.
For such a family the residual positive current restricts to degree zero on almost every , and hence vanishes there. Off its removed divisors it is the original current. The discussion following Lemma F.2 and that lemma itself yield a positive-relative-dimensional rational quotient of whose vertical directions are annihilated by on an open. Composing with gives a quotient of smaller base dimension whose vertical directions are annihilated by , contradicting the choice of . □
Excluding normalized bounded curves
Run a canonical LMMP on with scaling of a fixed very ample rational divisor . For rational , its positive-threshold stages give terminal -factorial models on which is nef, big, and semiample [9]. There are only finitely many divisorial contractions, since each lowers Picard number. Fix a late model after the last such contraction. All subsequent maps are small, and are canonical nonpositive birational maps. If the program terminates, use the last model repeatedly. Define
Since is not big, . In particular is nonbig. The transform is effective up to rational linear equivalence; all intersections below use general covering curves, which are not contained in a chosen such representative.
Lemma F.7 (Exceptional current comparison). Fix a positive current on a smooth resolution in the pullback class of . On a common smooth resolution of , write
where is exceptional over . Then for every prime on that resolution.
Proof. Pass to a common smooth model also dominating the fixed resolution carrying . Choose on the fixed resolution a sufficiently positive line bundle . For sufficiently divisible , multiplier approximation gives a globally generated . Pull this system to . A general member of its underlying effective divisor system has, at every specified prime , multiplicity ; global generation after removal of the ideal ensures no additional generic vanishing. Here the notation also denotes its pullback to . Put and . The first is effective, and both are -Cartier because is -factorial. Pushing the rational linear relation gives
Thus the exceptional divisor is rationally equivalent to
The two exceptional divisors are equal: their difference is numerically trivial and exceptional, so the negativity lemma applied with both signs makes it zero. Since is effective,
The last coefficient is fixed for this model and . Combining with (192), dividing by , and letting proves the assertion. The same proof can be made on each common model, so the comparison applies to all divisorial valuations needed later. No uniformity in of the fixed error is required. □
Proposition F.8. There are no sequences and covering families of curves on , with smooth projective domains , for which both
are bounded by a fixed constant. Degrees mean degrees on the domains, or equivalently intersection with their pushforward cycles.
Proof. Suppose such families exist. Slice their parameters and resolve total evaluation, the map to the fixed , the fixed smooth resolution carrying , and the common models comparing and . Denote the resulting generically finite dominant morphism by . The source is smooth near its complete general parameter fiber and has dimension , with parameter space of dimension . Rational maps from this smooth source to each required proper target extend at codimension-one points by the valuative criterion of properness. Their indeterminacy loci consequently have codimension at least two, and their images cannot dominate the parameter space. Shrink that space to avoid these finitely many images, and resolve and compactify preserving the remaining open. Equivalently, nontrivial smooth-center blowups have codimension-at-least-two centers; a codimension-one Cartier-center blowup is the identity. Thus the complete smooth general parameter fiber is still , unchanged as a curve, and its genus is unchanged.
For a prime of exceptional over , the restricted valuation of its function field is for a divisorial valuation over . The coefficient of in the ramification difference is
This follows by factoring through a model extracting and calculating the tame ramification of DVRs. It is positive and bounded away from zero: is terminal, so , and a fixed Cartier index of puts discrepancies in a fixed rational lattice. The remaining ramification coefficients are nonnegative. On the general parameter fiber,
The latter inequality follows from pseudoeffectivity and the covering property. Therefore the total ramification cost is bounded. Formula (200) bounds the number of positive exceptional contacts, their discrepancies, their ramification indices, and their integral contact degrees. Moreover lies in a fixed rational lattice inside a bounded interval, so takes only finitely many values.
The generic Lelong number of at is . Extract , remove its generic divisorial part, and use the transverse-power-map comparison for the zero-generic-number remainder. Lemma F.7 shows that these coefficients dominate the coefficients of the pulled-back canonical difference . Its support is exceptional over as well as , since the map between these models is small. Subtracting all exceptional divisorial parts of leaves a positive current. Consequently
All divisor contacts used here are nonnegative, since the curves cover the total space.
On the fixed smooth resolution , one has
because the relative canonical divisor is effective. Thus Lemma F.5 applies with a fixed bound. The sums in (201) form an ACC set, their number of terms and integral multiplicities being bounded. Pass to a fixed value of . Since , the exact-zero argument of (198) gives a family for which the left gap is zero.
The residual positive current then restricts to zero on almost every curve in that family. On the dense open away from the removed exceptional divisors it agrees with the original current. Its curve tangents therefore generate, by Lemma F.2, an annihilated rational fibration of positive relative dimension on . This contradicts Proposition F.6.
The signed alternative
Proposition F.9. On any model , let a signed rational divisor represent up to -linear equivalence. On a log resolution , let be the reduced SNC divisor consisting of its strict support and all exceptional divisors. Then is big.
Proof. Put , and suppose it is not big. It cannot have Iitaka dimension at least one: by Corollary F.4, would be big, and would then be big as well. Hence .
Run the dlt LMMP for with ample scaling. The divisor has a signed rational representative supported on the floor , and its transforms retain that property. Every negative flip must meet the floor: on its complement the representing rational section is nowhere vanishing, so the adjoint has zero degree on every complete curve there. By Proposition B.4, an infinite sequence would eventually have all flips disjoint from the floor, a contradiction. Divisional contractions are finite in number. Thus the program terminates at a -factorial dlt log minimal model .
The boundary is reduced, is pseudo-effective as the birational pushforward of , and the nef adjoint has a signed rational representative supported on . Its restriction to is semiample by Proposition B.3. Theorem C.1 applies, with the pseudo-effective perturbation , and gives abundance. Since the Iitaka dimension is at most zero, the numerical dimension is zero. Intersecting with an ample -fold product, and using pseudoeffectivity of , forces . The signed relation then gives .
On a common resolution, the pullback of is rationally equivalent to a signed divisor exceptional over . It is pseudo-effective. A positive current in that class has zero intersection with a pullback of an ample class on to the power , so is supported on the exceptional locus. The support theorem makes it effective divisorial, and independence of exceptional divisor classes by negativity says that the original signed coefficients are these nonnegative coefficients. Thus is -linearly effective, contradicting (190).
Very-general jet estimates
We retain the counterexample in Equation (190) and the induction hypothesis of Assumption B.1. Thus is smooth projective, is pseudo-effective, and , whereas good minimal models exist in smaller dimensions. We use Propositions F.3, F.8, and F.9. Dimension one is impossible, since a smooth curve with pseudo-effective canonical divisor has genus at least one. Hence .
Fix the late terminal -factorial model from Proposition F.8. Write and . The subsequent scaling models are small modifications of ; the transforms are effective up to -linear equivalence, and is nef, big, and semiample. Put
Here, in the volume on , denotes the original ample divisor. We have . Choose an integer with Cartier.
Normalization and two local tools
Fix a small rational number . An integer will be chosen after and before . As rational , choose positive integers with
Only rational weights are used for model constructions; volume functions in integrals are extended continuously to real weights. The positive part of is the nef semiample class
When emphasizing the weight, denote this axis model by and write for its transform of $A. All references to positive parts below mean these classes on their scaling models, or their pullbacks to common resolutions. Monotonicity of volume in pseudo-effective order gives
Indeed is pseudo-effective, and is effective up to equivalence. Consequently is bounded above and bounded away from zero, uniformly for , and tends uniformly to . More explicitly, for every fixed , once is sufficiently small depending on ,
The displayed constants are independent of . All unspecified constants in this section may depend on , but not on sufficiently small or on .
A family of curves with uniformly bounded geometric genus and -degree cannot cover the corresponding for arbitrarily small . In fact uniformly in , and
is bounded above and away from zero. Thus such curves would have uniformly bounded -degree divided by , contrary to Proposition F.8. We call this consequence the normalized curve exclusion.
The following numerical form of subadjunction is useful because an auxiliary pair need only be lc at the generic point of its center. All intersections with a divisor on a possibly nonnormal center mean intersections after normalization and resolution.
Lemma G.1 (Numerical subadjunction). Let be projective and -factorial klt, let be rational, and let be an lc center of at whose generic point the pair is lc. If , is a nef -Cartier class on , and is a resolution, then
Proof. The dlt modification for an arbitrary effective boundary [36], Theorem 2.10, applied after truncating coefficients exceeding one, gives
where is -factorial, is dlt, and is supported above the non-lc locus. Choose, over the generic point of , a minimal lc stratum, and denote its closure by . The divisor does not contain . Iterated dlt adjunction, including the effective restriction of , produces an effective divisor with
The pair is klt over the generic point of ; singularities elsewhere are not asserted to be klt. Factor through its Stein base . This is a klt-trivial fibration: generic klt, effectivity of the boundary, and connected fibers give the rank-one condition. The canonical bundle formula, in precisely this generically subklt form, gives a discriminant and a b-nef moduli b-divisor [34], Definition 3.1 and Theorem 3.5. The discriminant trace on is effective. To see the sign, over a generic base prime a divisor in its inverse image has multiplicity at least one and a nonnegative boundary coefficient; the lc threshold of the fiber is therefore at most one. Coefficients exceeding one in the discriminant cause no difficulty for the present inequality.
Intersect the resulting base formula with the pullback of . The moduli term is nonnegative: on a model where it is nef this is a nef intersection, and exceptional terms vanish on pushing down. The effective discriminant is also nonnegative. Finally the codimension-one ramification formula for the finite map , followed by projection, can only increase the canonical intersection. Discrepancy terms on resolutions have images of codimension at least two and pair trivially with the pulled-back . Dividing by the finite degree gives (205). □
Lemma G.2 (Tracking a moving base component). Let be nef, semiample, and big on a projective -fold . Work at very general smooth marked points . Choose levels
Suppose, in sufficiently large divisible degree , all the spaces
are nonzero, and the base locus of has a positive-dimensional component through . Then one obtains an algebraic family of integral components sweeping , of dimension , and a step for which is a component of both successive base loci. At its generic point the higher subseries has an isolated base component and vanishes to order at least , once is sufficiently large. Moreover
whenever is -factorial klt.
Proof. The base loci increase with the level. Following containing irreducible components through the marked point produces a nested chain of proper positive-dimensional subvarieties. There are only possible dimensions, so two successive components agree. For fixed degree, jet kernels form vector bundles after shrinking the marked-point parameter space. Components of their base loci spread after a finite parameter extension and further shrinking. We may fix the chosen step, dimension, and component on an irreducible parameter space . Its incidence dominates , because it contains the varying marked point.
Here is the multiplicity argument. Regard a local section of the higher kernel bundle as a varying element of the fixed vector space . A parameter derivative of order loses at most orders of vanishing along the moving diagonal. Thus, for , every such derivative belongs to the lower kernel and vanishes on the selected incidence . At a general smooth point of , the projection is smooth. Therefore the pure parameter directions, together with , span . In local coordinates over , this says that normal coordinates to can be chosen among parameter coordinates. Vanishing of all parameter derivatives of orders below is consequently equivalent there to membership in . Restricting to a parameter fiber proves generic multiplicity at least along , hence at least . This applies to a local basis of the higher kernel bundle, and therefore to every section of the higher subseries.
Put and ; the stronger bound permits this choice for sufficiently large . At the smooth generic point of , the base ideal is maximal-ideal primary and lies in the -th power of that maximal ideal. Cut by a general members of the subseries. Their local intersection multiplicity along is at least . For completeness, global excess base components do not invalidate this bound: at each cut discard components wholly contained in the base locus before the next intersection. None contains the generic point of , since is a base-locus component. The discarded cycles have nonnegative -degree by nefness. The remaining proper intersections therefore have total -degree at most . Since , this gives the first inequality.
The local threshold of this primary ideal is at most : the exceptional divisor of the blowup of its smooth closed point in the -dimensional transverse local scheme gives this bound. On a log resolution, a sufficiently long average of general members realizes the ideal threshold by an effective rational divisor . It is lc at the generic point of , with an lc center, and . Lemma G.1 gives the second inequality.
We record how these estimates give curves rather than merely bounded intersection numbers. Suppose a moving -fold is of general type, is nef and big, and
Effective birationality gives a uniform pluricanonical degree whose moving part, on a further resolution, is a big basepoint-free Cartier divisor defining a birational morphism [42], Theorem 4.0.1.
Thus . Mixed Hodge index gives
no lower bound on is needed here. For , cut by general members of . The resulting integral curves have bounded -degree and are birational to linear curve sections of a projective variety of bounded degree. Generic plane projection bounds their geometric genus. For , the canonical-degree bound already bounds the genus. The same argument works for a log smooth pair of log general type with reduced boundary, using coefficients in the fixed set in effective birationality.
If such components sweep an ambient space mapping to , and their curves project nonconstantly with -degree bounded by their -degree, we obtain forbidden covering curves on . Nonconstant projection follows by choosing the complete intersections generally for the big birational system. The curves can be parameterized in covering algebraic families: the components sweep, the choices can avoid any prescribed countable exceptional union, and Hilbert schemes and spaces of maps have only countably many components. We will use this consequence of Equation (207) repeatedly.
Proposition G.3 (Scalar jet bound). For sufficiently small , let be the positive part of , and put . At a very general point, every nonzero section of every divisible multiple has order at most . The same statement holds on a common resolution after adding an effective exceptional divisor that does not change the section spaces. Moreover
so in particular for small .
Proof. The volume bounds follow from pseudo-effectivity of :
Suppose the asserted order bound fails for arbitrarily small . Taking powers of the offending section permits arbitrarily large divisible degrees. Choose levels strictly between and , with equal gaps comparable to . All corresponding subseries are nonzero. The base point at the lowest level cannot be isolated: local Bezout for general members would exceed the total intersection . Lemma G.2 therefore supplies a moving proper positive-dimensional component .
The component is of general type by Proposition F.3. On the scaling model for , the effective transform of does not contain a general such component, and in effective order. Equations (207) consequently imply Equation (207) with constants uniform in ; the gap is bounded above and away from zero because is comparable to the fixed . The resulting bounded-genus, bounded-normalized-degree covering curves contradict Proposition F.8. Exceptional additions preserve sections and their orders at general points, proving the additional assertion.
The two-slot bundle
On , let
We use the convention that sections of are symmetric powers of the indicated direct sum. Fixing one base slot gives the one-slot bundle , with class , up to a constant line from the fixed slot. We call it a slice. The torus open in either bundle is the complement of its two axes.
Lemma G.4 (Models, volume, and weights). *Both the total class and the slice class have big semiample positive parts on -factorial klt models , with
where is bounded independently of small . Their volumes satisfy, respectively,
In particular both volumes are bounded above and below by positive constants times . For each rational weight, on common resolutions,
with the analogous one-term formula on slices. At a generic point of a base divisor of a slice, and on a general torus fiber, the full system has no fixed subtraction.
Proof. The product is -factorial. Indeed on a product resolution the Picard group has no cross term because the smooth models have irregularity zero; the two factorwise -factorial descent statements then apply. Products of canonical singularities are canonical, and the projective bundles are klt. The two disjoint Cartier axes form a plt boundary , and
The notation means , or on a slice.
For , put
Both endpoint weight systems are big, so there are effective rational representatives of containing neither axis. We first obtain a threshold bound independent of . Restrict to . Since , the coefficient
lies in . Thus the numerical classes , and their restrictions to either fixed axis, range over bounded segments independent of . On a fixed smooth resolution their effective pullbacks have uniformly bounded degree against a fixed very ample class. That degree bounds their multiplicity at every point, including the coefficients of exceptional components. Rational denominators do not enter this estimate. The smooth lc threshold is at least the reciprocal of maximal multiplicity.
On the fixed klt space, write the crepant boundary on its resolution as an SNC divisor with coefficients below one. The minimum of one and the positive numbers one minus its positive coefficients bounds its log discrepancies below by a fixed positive multiple of smooth log discrepancies. Therefore the preceding smooth bound gives a common threshold on the original space. The same reasoning on the axes gives, after decreasing , the same bound for both restricted divisors.
Now choose rational , independently of , and then take small enough that and . It follows that . Inversion of adjunction with the disjoint coefficient-one axes gives plt near them; away from them the threshold bound gives klt. Lowering their coefficients to consequently shows that
is klt. This choice respects the order: first , then , then sufficiently small with as in Equation (202). A direct calculation gives its adjoint class
The big klt adjoint has a good minimal model by [9]. Pushing the boundary to this model gives the stated and .
For the volumes, the weight- summand in degree has base classes and ; on a slice there is one such factor. The section decomposition and asymptotic Riemann–Roch give Equations (209)–(210) as Riemann sums. One can justify passage to the integral without assuming uniform asymptotic Riemann–Roch: partition into rational bins, compare weight classes in each bin by adding and subtracting the bin width times a fixed very ample divisor dominating both and , take divisible-degree limits, and then shrink the bins. Volume continuity gives the formulas. Equation (203) supplies their uniform bounds and, in particular, proves bigness used above. In the range of Equation (204), the bounds needed when choosing are explicitly
Their coefficients are independent of ; the smallness threshold for is allowed to depend on .
Compare a complete system on a common resolution with the subsystem at a fixed rational weight. The latter has fixed divisor consisting of its toric monomial and the base-model fixed differences. Subtracting the fixed divisor of the full system leaves an effective divisor ; its moving class is precisely the sum of the pullbacks of the indicated ’s. This proves Equation (211). The same comparison in individual sufficiently divisible degrees shows that every section at that weight, after the full fixed subtraction, contains the corresponding multiple of .
At a generic base-divisor point the small base-model maps are isomorphisms. The two endpoint systems are free there in divisible degree, so together they have no common zero on the projective-line fiber. The full system therefore has no fixed subtraction there. The same holds on a general fiber. Finally, when restricting Equation (211) to a component sweeping the torus open, choose a general component not contained in . There are only countably many rational weights, so these effective restrictions can be required simultaneously. □
For a nef -Cartier class on a projective variety and a smooth point , its Seshadri constant is
Proposition G.5 (Large two-slot Seshadri constant). For each fixed sufficiently small , there is an integer such that, for all sufficiently small rational and as in Equation (202), the positive part of Equation (208) has
at a very general smooth point of its torus open. In particular, for some sufficiently divisible integer , the complete system separates jets of order strictly greater than at such a point. The section spaces and these general-point jets agree on the original bundle and on common birational resolutions.
Proof. Write . Choose sufficiently large that the volume root in (209) admits levels above , with equal gap as large as needed below. This is possible uniformly for small , since the volume is bounded below by a positive constant times . Assume that the Seshadri assertion fails for arbitrarily small . Jet counts show that the systems at all these levels are nonzero in sufficiently large divisible degree. A curve through the marked point with degree-to-multiplicity ratio below the lowest level is contained in that system’s base locus. Such a curve exists from the assumed Seshadri bound, whether or not the infimum defining the constant is attained. Lemma G.2 supplies a moving proper component and both estimates (206).
For all moving components under consideration, the effective boundary of Lemma G.4 does not contain the component. Thus in effective order. Whenever is of general type, the curve construction following (207) and weight domination give a contradiction. We must also handle components that are not generically finite over a proper base image.
Restriction to a slice. Fix a general value of one slot projection of , and suppose the corresponding fiber component has . It is an isolated high base component for the restricted subseries on the opposite slice.
We give the local justification. On a common isomorphic torus open, let be the total high-series base ideal. Remove the other base components from a dense open of . On an ambient neighborhood of its generic point, . After restricting and its image to smooth opens, generic smoothness makes the general projection fiber generically reduced. A general fiber component meets , and the ideal of restricts to the ideal of at its generic point. Near that point, restriction to the slice therefore has support exactly ; the restricted ideal is maximal-ideal primary there. The inclusion in the -th power of the generic ideal of restricts to the -th power of the generic ideal of . The fixed differences of the full and slice models are units on a further common open, so dividing them out does not alter this statement. The restricted global sections are a subseries of the complete slice system after trivializing the fixed-slot lines. Thus the proof of Lemma G.2 applies to , using slice volume, with multiplicity at least .
These ’s may be chosen in families sweeping the opposite slice. Indeed the incidence of the -family dominates the total torus. Choose a general incidence point, not necessarily the original marked point, and then a general fiber of its first slot evaluation. Dominance gives the required dominant evaluation onto the opposite slice. Generic flatness permits the component choices just made. For each fixed , very general choices also avoid the exceptional sets for all rational weights.
Proper base images on a slice. If is generically finite over a proper positive-dimensional image in the remaining base, then , and hence , is of general type by Proposition F.3. The slice estimates, subadjunction, and weight domination give forbidden bounded curves.
Otherwise is saturated over its base image : on the original bundle it is the full projective-line bundle over . Put . The nef weight comparison gives
Indeed is effective on the resolved graph, so successive mixed nef intersections give . The latter is , since endpoint freeness gives fiber degree . If is a point, the lower bound contradicts the slice Bezout upper bound , after has been chosen to make large. In particular the coefficient used in this choice does not depend on .
Suppose . We construct a small adjoint on , since the ruled itself need not be of general type. In degree , expand every section of the high-vanishing slice subseries into its toric weights. At the generic point of , let be the ideal generated by the coefficients of the nonzero weight over all these sections. Put . All lie in : vanishing along the generic torus fiber says that the coefficient of every Laurent monomial vanishes to this order. Their sum is -primary. Otherwise its larger common zero germ, times the generic torus fiber, would contradict isolation of .
Work in the regular local ring at the generic point of , of dimension . Resolve the finitely many ideals simultaneously and consider the rational lc polytope
Include the exceptional divisor of the blowup of the closed point. Since every , it gives
The polytope is compact and has a positive rational maximum for . At a maximizing point, each coordinate participates with positive order in an active inequality; otherwise that coordinate could be increased. The corresponding lc center is contained in and contains the generic point of . Their intersection is contained in , which is locally. The intersection property for lc centers [55], Theorem 1.7, applied to the identity morphism on the lc open, therefore makes an lc center generically. To realize the ideals, choose an integer and general coefficient divisors from each system. Set . On the simultaneous resolution its fixed crepant coefficients are at most one, and its general moving divisors meet transversely with coefficients below one. Thus the pair is lc near the generic point of , and every active valuation remains an lc place. The intersection argument therefore applies to this actual effective rational divisor. It also applies when some maximizing coordinate is zero: the active valuation blocking that coordinate still has center in .
Set
Its class on the base is . Transform to the small scaling model for , which is unchanged at the generic point under consideration. There its class is . Lemma G.1, effective , and (212) give bounded adjoint intersection and bounded -degree for . Since is bounded by a dimension-dependent multiple of , these bounds are uniform in . The variety is of general type by Proposition F.3; normalized curve exclusion again gives a contradiction.
A slice multisection. The remaining proper positive-dimensional slice case is , with generically finite of degree over the whole base. Weight comparison and the slice degree bound give
so is bounded uniformly in . The closure of on the original bundle is neither axis. Its intersections with the two axes push to effective integral Weil divisors on , and the projective-bundle relation gives
At the appropriate endpoint weight , the difference contains the corresponding toric-axis intersection with coefficient . There is no full fixed subtraction above generic base-divisor points by Lemma G.4. Intersecting with and using mixed nef comparison yields
The other divisor has bounded degree for the same , because of (213) and
On a log resolution add the reduced strict support of and all exceptional divisors to the canonical divisor. This log canonical divisor is big by Proposition F.9. Its intersection with the pulled-back is bounded: exceptionals vanish under projection, and reduced support has degree no larger than . Log effective birationality and the curve construction therefore contradict normalized curve exclusion on the base itself.
Reduction to a correspondence. We have excluded fiber dimensions strictly between zero and over either slot. A full -dimensional fiber over one slot would mean that contains the whole opposite slice over its first image . Its fiber dimension over the other slot would then be , strictly between zero and , unless were the full total space. That is impossible. Hence projects generically finitely in both slots and . If either image is proper, general type and the total-space estimates give the previous curve contradiction. The same is true if is of general type. Only the case , dominant with bounded degree over both copies of , remains.
Moving branch divisors. Take the dominating algebraic family of these correspondences, resolving maps after shrinking the parameter space. Suppose a divisorial branch component of one projection moves. On a resolution , choose a ramified divisor above its generic point. There is a rational weight for which the effective difference does not contain . Indeed take a fixed free divisible degree of ; some section does not vanish generically on . Monomial-weight sections span that degree, so one of them does not vanish there. Only finitely many weights are tested in this fixed family; their model comparisons can be resolved simultaneously.
Let be the branch divisor on the corresponding small axis model. Nef comparison on , ramification into a terminal target, and pseudo-effectivity of its canonical divisor give
The ramification coefficient of is a positive integer, so is at least one; the other ramification and exceptional terms are nonnegative. The last bound is the total-space subadjunction estimate.
We spell out the adjunction needed for , without assuming globally lc. Terminal is smooth in codimension two. Thus normalization and conductor adjunction along give
in codimension one. On resolving , exceptional divisors map to codimension at least two and pair trivially with the pulled-back . Consequently, with ,
For the second line, a general moving is not a component of a fixed effective representative of , giving the first term; mixed Hodge index gives the second. The lower bound for and (214) give the final uniform constant.
A moving sweeps very general base points and is of general type by Proposition F.3. Equations (215)–(216) therefore give forbidden bounded curves. Branch components can be named after a finite parameter extension and shrinking. It follows that, for all sufficiently small , all divisorial branch components in the chosen family are fixed.
Fixed covers. For each such fixed , remove the fixed branch divisors and the singular locus from . Normalization and purity identify the covers over the resulting smooth open with finite étale covers. Their degrees are bounded. The topological fundamental group of a smooth complex quasi-projective variety is finitely generated, so it has only finitely many subgroups of bounded index. There are therefore only finitely many possible covers in each slot, up to isomorphism; their finite normalizations over are determined by these restrictions.
Some algebraic family of graphs of birational isomorphisms between two fixed covers must still dominate the base product. To justify the family assertion, parameterize the graphs by their Hilbert schemes, shrink for flatness and birationality of the two projections, and use countability of these parameter spaces together with the finite cover choices. Identify the two covers by one such birational isomorphism. The resulting birational selfmaps of a fixed cover move a general point densely through that cover, since their projected graphs dominate .
The cover is non-uniruled, being generically finite over the non-uniruled . Hanamura’s non-uniruled birational-group theorem gives a smooth projective birational model for which the reduced birational group is a group scheme, locally of finite type, and its identity component is an abelian variety [43], Theorems 2.1–2.2; see also [10]. After conjugating the maps to that model, shrink the irreducible parameter variety anew so that their graph closures are flat and both graph projections remain birational on every fiber. They then define a morphism to the represented birational scheme; because the parameter variety is reduced, this morphism factors through its reduction. Its connected image lies in a single component, hence in a translate of the identity component. Dominance of evaluation makes the corresponding abelian variety action generically transitive. Its orbit is an abelian-variety quotient, so the fixed cover is birational to an abelian variety.
This is impossible for the original counterexample. Resolve the generically finite rational map from that abelian variety to : on a smooth model , ramification gives
where is an effective divisor exceptional over the abelian variety. Let be a positive current in . The current is positive and represents . Intersecting with powers of the ample class pulled back from the abelian variety shows that this sum is supported on the exceptional locus. Its positive summand is therefore supported there as well, and the support theorem makes divisorial. Push forward this summand alone: is a positive divisorial current whose class is by the projection formula. Rationality of the numerical class supplies a rational effective representative, and irregularity zero turns numerical effectivity into nonvanishing, as in Lemma F.1. This contradicts .
All possible have now been excluded. This proves the Seshadri assertion. At a very general point the big semiampl[e] contraction is an isomorphism onto its image near that point. The jet interpretation of the Seshadri constant for the ample class downstairs gives the stated divisible jet-separating multiple. Complete systems agree under the model comparisons, so this conclusion transfers to the original torus open and to common resolutions.
Frobenius comparison and smooth nonvanishing
We now turn the two opposite jet estimates into a contradiction. The reduction to positive characteristic is used only for this comparison: no minimal-model statement or pseudo-effectivity assertion will be specialized to positive characteristic.
Theorem H.1 (The smooth nonvanishing step). Assume Assumption A.1 and the lower-dimensional real-boundary good-model hypothesis of Assumption B.1. If is a smooth projective complex variety of dimension and is pseudo-effective, then .
The assertion is immediate in dimension zero. On a smooth curve, pseudo-effectivity of gives , hence . We therefore suppose and argue by contradiction. We use the late terminal model , the divisors and , and the scaling models of the preceding section. Fix with Cartier, and write
As before, is a positive integer chosen so that as . Choose the rational number sufficiently small for Propositions G.3 and G.5, and also so that
The inequalities are strict. We next fix a sufficiently large integer as in Proposition G.5, and then fix a sufficiently small positive rational . In particular, we may require . All subsequent characteristic-zero choices will be made with these data fixed.
A small polarization and an actual moving curve
Choose a smooth common resolution of and the scaling model for . In this section , , also denote their pullbacks to , and
Let be the pullback of the nef semiample positive part of on its scaling model. The comparison of canonical pullbacks and moving parts gives
The maps are small by the choice of the late model, so every divisor exceptional over is also exceptional over . Indeed, the differences being discarded are exceptional over the scaling model, and the transform of is effective up to rational linear equivalence. Their intersections with therefore give the displayed equalities and inequality. For a fixed ample divisor , choose a sufficiently small positive rational and put . By continuity, after the preceding choices of and , we have
The canonical divisor of is pseudo-effective. Generic semipositivity, applied with empty boundary [18], Theorem 2.1, and restriction to a sufficiently general complete-intersection curve give the following fixed data. Choose such that is integral and sufficiently very ample, and choose a smooth complete-intersection flag
for which
Here and below slopes on mean degree divided by rank. One may obtain the flag by applying restriction to the finitely many Harder–Narasimhan quotients of .
Choose also a very general point , away from the exceptional loci, and let be its blowup, with exceptional divisor . Set
This divisor is big. Its sections, pushed to , are the scalar sections in Proposition G.3; the added exceptional part does not change them. If , then
for our sufficiently small . Thus every section of a sufficiently divisible multiple of has normalized order at at most .
It follows that is not pseudo-effective. Otherwise its convex combination with the big class would make big for some rational , giving a section of excessive order. Movable-curve duality [12], Theorem 2.2, therefore supplies an actual covering curve class on such that
For precision, the strict negative pairing can first be detected by a strongly movable curve: take the pushforward of a general complete intersection of very ample divisors on one fixed smooth birational model of . Fix this model, its divisors, and the resulting covering family. This choice is finite algebraic data, rather than a limiting real movable class. Positivity of follows from the strict inequality and pseudo-effectivity of .
Fixed jets and reduction modulo primes
On , let
with the symmetric-power convention for the projective bundle. Proposition G.5 gives a semiample big model whose Seshadri constant exceeds at a very general torus point. On the open set where its birational contraction is an isomorphism, the jet interpretation of the Seshadri constant consequently gives an integer such that generates jets of order at least at a fixed smooth torus point . Indeed, on the ample model choose a rational number strictly between and its Seshadri constant. On the blowup of the selected smooth point, the pullback of the ample class minus times the exceptional divisor is ample. Serre vanishing and the exceptional-divisor sequence then give jets of order for all sufficiently divisible large . Pulling sections back on the isomorphic open gives the asserted bound. Enlarge to clear every denominator, in particular that of , and fix finitely many sections realizing this jet surjection.
Spread the varieties, maps, divisors, flag, points, covering family, and these finitely many sections over an integral finitely generated -algebra of characteristic zero. Shrink its spectrum so that the relevant fibers and flag are smooth, the maps defining the covering family remain dominant, and the fixed jet evaluation remains surjective. Spread also the Harder–Narasimhan filtration of . Its quotients are vector bundles on the curve; their semistability is open, and their degrees are constant in the family. After another shrinking, Equation (219) holds on each reduction. Such an open set has closed points in arbitrarily large prime characteristics. We work over algebraic closures of their residue fields, retaining the notation .
In particular, all numbers in Equations (218) and (220) are unchanged. We use the spread covering family to test effective divisors after reduction. We do not assert that the characteristic-zero pseudo-effective cones, or the scaling models, specialize.
Choose a fixed sufficiently ample integral divisor on , also spread with suitable sections, and for a prime put
The difference belongs to a fixed finite set of rational divisor classes. The system
contains products of members of , multiplied by a filler nonvanishing at . To see that one suffices, write , where . The remainder systems have fiber degrees ; their finitely many monomial weights require only the finitely many line bundles for to have sections nonvanishing at the selected base points. A sufficiently ample has this property, and the chosen fillers can be spread at the same time.
Products of the fixed jet sections generate jets of order . Indeed each monomial of that degree or less is a product of monomials of degree at most ; multiply sections with these leading monomials and then eliminate successive higher-order terms. No factorial is divided out. Since
for all sufficiently large , the same system surjects onto the quotient of the local ring at by the -th powers of its regular parameters.
Full rank away from the diagonal
Let be relative Frobenius, and put
Primes on line bundles indicate the base twist, so . Projection formula gives an evaluation map
Its generic rank is .
Here is a coordinate verification of this assertion. Choose local frames of the projective-bundle axes and let be a torus coordinate at , with value . On its Frobenius fiber the relation is . Over the two base Frobenius fibers, the fiber-coordinate part of the quotient is free with basis . Project the jet surjection just obtained to its coefficient of . The monomial survives precisely when divides , in which case it becomes the nonzero scalar . The global section formula for the projective bundle has weights . Its surviving terms are exactly
They therefore span the tensor product of the two base Frobenius fibers. These have dimensions each, proving the rank assertion. The two base points used for this argument need not coincide with .
A small rank on the diagonal
Let
On this scheme the two copies of are canonically identified, since both descend from on the diagonal. All source twists in (222) restrict on to , with these identifications pulled back to . Consequently every column, after restriction to the diagonal and this common one-dimensional twist, is evaluated from a global section on of
The rank on the diagonal is therefore at most .
The first projection is finite flat of degree . Filter its direct image by powers of the ideal of the reduced diagonal. Étale-locally in smooth coordinates its algebra is
Its graded pieces, after the line twist, are thus the vector bundles
where is the degree- piece of the symmetric algebra of modulo -th powers. This coordinate calculation is also the canonical Frobenius filtration [71], Theorem 3.7. If , then
The sum is , rather than ; the second factor of will come from the bound for sections.
Lemma H.2 (Uniform slope bound). With all characteristic-zero choices fixed, uniformly for ,
The constant implicit in is independent of and .
Proof. Put . For a vector bundle on the smooth curve , write
Langer’s Frobenius-instability estimate [58], Corollary 2.5, states that
if is nef and is globally generated. The genus is fixed, so can be chosen with degree bounded independently of . (219) yields
with one fixed .
We need an estimate for tensor powers whose exponent grows with . For every ,
To prove this directly, twist by a line bundle of degree at most so that it is globally generated. This follows from Serre duality and the slope criterion for the vanishing of after subtracting any point. The -th tensor power is then globally generated with the corresponding -fold twist. Pull back any quotient of , take degrees, divide by , and let tend to infinity. The bounded genus term disappears, proving (226). Thus every quotient of a tensor power with has minimum slope at least .
Multiplication to the socle of the truncated polynomial algebra is a perfect pairing in complementary degrees. The top monomial transforms by , so, equivariantly,
The right side is a quotient of . Therefore
Since , their sum is bounded by the claimed expression, with slack in its coefficient . □
Lemma H.3 (Uniform section bound). For the bundles in Equation (223),
uniformly in . Consequently, for all sufficiently large ,
Proof. Choose , where bounds the error in Lemma H.2, and put . A bundle of rank and maximal slope at most has at most sections: evaluation at distinct points is injective. Its twist by has no sections if . The divisor sequences on the fixed flag give
One obtains this by successively summing the restriction inequalities; the remainders vanish for sufficiently negative ample twists at each stage. At most tuples contribute. Hence
The powers of cancel in the leading coefficient. All error constants are fixed before , and the same bound applies to every . Summing over the filtration and using Equation (224) gives
Now by Equations (216) and (218). This proves Equation (227). □
The determinant contradiction
Put . Choose columns of Equation (222) with nonzero determinant. Their determinant is a nonzero section of an external product of line bundles on . Indeed , and the column twists add the sums of their respective weights. Consequently, under numerical identification with the base twists,
The last equality is degree-one Grothendieck–Riemann–Roch for Frobenius [71], Lemma 4.2:
Here numerical identification through the base-field twist must not be confused with Frobenius pullback, which multiplies divisor classes by .
For , write . Direct calculation gives
This is pseudo-effective in characteristic zero because , is pseudo-effective, and are effective up to the indicated equivalence. Pairing with the fixed class therefore bounds by . This numerical inequality survives the spread: it concerns only intersections of fixed divisors with the fixed family. The difference between Equation (228) and is in a fixed finite-dimensional space, uniformly in the chosen columns.
Let be the twist of . For a nonzero section of , its effective divisor, strictly transformed on the blowup at , has nonnegative intersection with the spread moving curve. Dividing this inequality by and using Equations (220)–(229) yields
This bounds all sections on the reduction, not merely the sections spread from characteristic zero.
An external-product section can have order at at most the sum of the two maximal slot orders. To verify this despite possible cancellation, choose bases in each section space adapted to its filtration by order at . Their leading homogeneous terms are linearly independent within each degree. Tensor products of these terms are independent in each bidegree in the two disjoint sets of local parameters. Thus the first nonzero homogeneous part of a nonzero tensor cannot be cancelled beyond the sum of the slot maxima. Künneth’s formula identifies the external-product section space with this tensor product. In particular,
On the other hand, Equation (227) says that the matrix of the chosen columns has rank at most at . Trivialize its line bundles locally and perform invertible row and column operations on the constant matrix. At least of the resulting rows have every entry in the maximal ideal. Every term of the determinant consequently has order at least , so
This is a pointwise maximal-ideal estimate; no stronger assertion about an order along the whole diagonal is required. Equations (231) and (232) contradict for all sufficiently large .
We have made the choices in the order
In particular every constant suppressed in the estimates is fixed before the last prime tends to infinity. This contradiction excludes the assumed counterexample and proves Theorem H.1.
Completion and change of ground field
Proof of Theorem A.2 over . We prove existence of good log minimal models by dimension induction, in the form used in Proposition B.6. Dimension zero is immediate. Assume that good models exist in all smaller dimensions. The signed-representative argument (Theorem C.1), the exclusions, and the jet estimates are then available with exactly that lower-dimensional hypothesis. Theorem H.1 establishes smooth nonvanishing in the present dimension. Proposition B.6 therefore supplies the good-model statement in this dimension and closes the induction.
Apply this to the rational lc pair of Theorem A.2. On a common resolution of its dlt model and a good log minimal model, the pullbacks of the adjoints agree because the original adjoint is nef; this is the nef comparison in Lemma B.2. The pullback of is thus semiample. If is this resolution, normality gives . Choose a sufficiently divisible Cartier multiple whose pullback is globally generated. The projection formula identifies its sections with those of its pullback. Surjectivity of evaluation upstairs implies surjectivity downstairs: otherwise a base point downstairs would make every pulled-back section vanish on its nonempty fiber. Hence is semiample.
Proposition I.1 (Change of algebraically closed field). The conclusion of Theorem A.2 over implies its conclusion over every algebraically closed field of characteristic zero.
Proof. Let be defined over such a field . Choose a finitely generated subfield over which the projective variety, the rational boundary, a Cartier multiple of its adjoint, and a log resolution are all defined. After enlarging if necessary, these data base change to the given data. Let be its algebraic closure inside . It embeds into .
The discrepancies on the chosen resolution are unchanged by algebraically closed field extension. Since the resolution has simple normal crossing boundary, it tests log canonicity over both and .
Nefness is also invariant under such extensions. Indeed, a curve over an extension is represented by a point of a relative Hilbert scheme after its finite defining data have been spread over a finite-type parameter scheme. The degree of a fixed line bundle is constant in the resulting flat family. Specializing to a closed point over the algebraically closed smaller field preserves a negative degree, if one existed; some irreducible component of the specialized curve would then have negative degree. This contradicts nefness over that field. Conversely, curves over the smaller field remain available after extension. Thus the -model and its complex base change are nef.
The complex case supplies an integer , enlarged to a multiple of the Cartier index fixed over , for which the Cartier line bundle becomes globally generated over . Proper flat base change for sections identifies
The cokernel of the evaluation map for therefore becomes zero after the faithfully flat extension , and is already zero over . Base change from to preserves this surjectivity. The same integer proves the required semi-ampleness over . □
Together with Proposition I.1, the complex proof establishes Theorem A.2 in its stated generality.
References
- [1]Florin Ambro. The moduli b-divisor of an lc-trivial fibration. Compositio Mathematica, 141(2):385–403, 2005. Theorem 0.2.
- [2]Thierry Aubin. Équations du type Monge–Ampère sur les variétés kählériennes compactes. Bulletin des Sciences Mathématiques, 102(1):63–95, 1978.
- [3]Thierry Aubin. Some Nonlinear Problems in Riemannian Geometry. Springer Monographs in Mathematics. Springer-Verlag, Berlin, Heidelberg, 1998.DOI
- [4]Wolf P. Barth, Klaus Hulek, Chris A. M. Peters, and Antonius van de Ven. Compact Complex Surfaces, volume 4 of Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge. Springer-Verlag, Berlin, Heidelberg, second enlarged edition, 2004.
- [5]Thomas Bauer, Frédéric Campana, Thomas Eckl, Stefan Kebekus, Thomas Peternell, Sławomir Rams, Tomasz Szemberg, and Lorenz Wotzlaw. A reduction map for nef line bundles. In Complex Geometry: Collection of Papers Dedicated to Hans Grauert, pages 27–36. Springer, Berlin, 2002. Theorem 2.1 in arXiv version 1. Version cited: https://arxiv.org/abs/math/0106147v1.
- [6]Caucher Birkar. On existence of log minimal models. Compositio Mathematica, 146(4):919–928, 2010. Lemma 3.6 in the cited arXiv version. Version cited: https://arxiv.org/abs/0706.1792v3.
- [7]Caucher Birkar. On existence of log minimal models II. Journal für die reine und angewandte Mathematik, 658:99–113, 2011. Theorem 1.5 and Corollary 1.7 in the cited arXiv version. Version cited: https://arxiv.org/abs/0907.4170v1.
- [8]Caucher Birkar. Existence of log canonical flips and a special LMMP. Publications Mathématiques de l’IHÉS, 115:325–368, 2012. Theorem 1.9, restated as Theorem 4.1. Version cited: https://arxiv.org/abs/1104.4981v3.
- [9]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.arxiv.org/abs/math/0610203
- [10]Jérémy Blanc. Algebraic structures of groups of birational transformations. In Algebraic Groups: Structure and Actions, volume 94 of Proceedings of Symposia in Pure Mathematics, pages 17–30. American Mathematical Society, 2017. Theorems 3.8–3.9.
- [11]Sébastien Boucksom. Divisorial Zariski decompositions on compact complex manifolds. Annales scientifiques de l’École Normale Supérieure, 37(1):45–76, 2004.DOI
- [12]Sébastien Boucksom, Jean-Pierre Demailly, Mihai Păun, and Thomas Peternell. The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension. Journal of Algebraic Geometry, 22(2):201–248, 2013. The uniruledness equivalence in this source is stated for projective manifolds. Theorem locators refer to arXiv version 1: https://arxiv.org/abs/math/0405285v1.
- [13]Frédéric Campana. Coréduction algébrique d’un espace analytique faiblement kählérien compact. Inventiones Mathematicae, 63:187–223, 1981.
- [14]Frédéric Campana. Orbifolds, special varieties and classification theory: an appendix. Annales de l’Institut Fourier, 54(3):631–665, 2004.
- [15]Frédéric Campana, Benoît Claudon, and Philippe Eyssidieux. Représentations linéaires des groupes kählériens: factorisations et conjecture de Shafarevich linéaire. Compositio Mathematica, 151(2):351–376, 2015.
- [16]Frédéric Campana, Andreas Höring, and Thomas Peternell. Abundance for Kähler threefolds. Annales scientifiques de l’École Normale Supérieure, 49(4):971–1025, 2016.
- [17]Frédéric Campana, Andreas Höring, and Thomas Peternell. Erratum and addendum to the paper: Abundance for Kähler threefolds. https://arxiv.org/abs/2304.10161v1, 2023. Version 1, 20 April 2023.
- [18]Frédéric Campana and Mihai Păun. Orbifold generic semi-positivity: an application to families of canonically polarized manifolds. Annales de l’Institut Fourier, 65(2):835–861, 2015.
- [19]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.
- [21]Omprokash Das and Wenhao Ou. On the log abundance for compact Kähler threefolds II. https://arxiv.org/abs/2306.00671v4, 2025. Version 4, 12 June 2025; first submitted 2023.
- [22]Jean-Pierre Demailly. Regularization of closed positive currents and intersection theory. Journal of Algebraic Geometry, 1(3):361–409, 1992.
- [23]Jean-Pierre Demailly. L² vanishing theorems for positive line bundles and adjunction theory. In Fabrizio Catanese and Ciro Ciliberto, editors, Transcendental Methods in Algebraic Geometry, volume 1646 of Lecture Notes in Mathematics, pages 1–97. Springer, Berlin, Heidelberg, 1996.DOI
- [24]Jean-Pierre Demailly. Analytic Methods in Algebraic Geometry, volume 1 of Surveys of Modern Mathematics. International Press and Higher Education Press, Somerville, MA, and Beijing, 2012. Theorem numbering refers to the author manuscript dated July 2011. Version cited: https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/analmeth_book.pdf.
- [25]Jean-Pierre Demailly. Complex analytic and differential geometry. https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf, 2012. Online book, version of 21 June 2012.
- [26]Jean-Pierre Demailly and János Kollár. Semi-continuity of complex singularity exponents and Kähler–Einstein metrics on Fano orbifolds. Annales scientifiques de l’École Normale Supérieure, 34(4):525–556, 2001.
- [27]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.
- [28]Jean-Pierre Demailly, Thomas Peternell, and Michael Schneider. Pseudo-effective line bundles on compact Kähler manifolds. International Journal of Mathematics, 12(6):689–741, 2001.
- [29]Osamu Fujino. Introduction to the log minimal model program for log canonical pairs. Unpublished manuscript, https://www.math.kyoto-u.ac.jp/~fujino/MMP21.pdf, 2009. Version 6.01, January 8, 2009; Theorem 3.74(3), p. 109.arxiv.org/abs/0907.1506
- [30]Osamu Fujino. Corrigendum to “On subadditivity of the logarithmic Kodaira dimension”. Journal of the Mathematical Society of Japan, 72(4):1181–1187, 2020. Accepted author version: https://www.math.kyoto-u.ac.jp/~fujino/corrigendum-fujino.pdf.DOI
- [31]Osamu Fujino. Minimal model program for projective morphisms between complex analytic spaces. https://arxiv.org/abs/2201.11315v1, 2022. Version 1, 27 January 2022; theorem numbering follows this version.
- [32]Osamu Fujino. Cone and contraction theorem for projective morphisms between complex analytic spaces. https://www.math.kyoto-u.ac.jp/~fujino/cone-and-contraction.pdf, 2023. Author manuscript, version 0.00, 9 October 2023; Theorem 4.3.1 and Remark 4.3.4.
- [33]Osamu Fujino and Yoshinori Gongyo. Log pluricanonical representations and the abundance conjecture. Compositio Mathematica, 150(4):593–620, 2014. Theorem 1.1 (finiteness of log pluricanonical representations); Theorem 1.5, restated as Theorem 4.3 (projective slc gluing). Final author version: https://www.math.kyoto-u.ac.jp/~fujino/fg-comp-final.pdf.DOI
- [34]Osamu Fujino and Yoshinori Gongyo. On the moduli b-divisors of lc-trivial fibrations. Annales de l’Institut Fourier, 64(4):1721–1735, 2014.arxiv.org/abs/1210.5052
- [35]Osamu Fujino and Yoshinori Gongyo. On log canonical rings. In Higher Dimensional Algebraic Geometry in honour of Professor Yujiro Kawamata’s sixtieth birthday, volume 74 of Advanced Studies in Pure Mathematics, pages 159–169. Mathematical Society of Japan, Tokyo, 2017. Lemma 3.5. Final author version: https://www.math.kyoto-u.ac.jp/~fujino/log-ring-asp m.pdf.arxiv.org/abs/1302.5194
- [36]Osamu Fujino and Kenta Hashizume. Existence of log canonical modifications and its applications. European Journal of Mathematics, 9(1), 2023. Paper No. 13, 32 pp.; Theorem 2.10 in the accepted author version. Version cited: https://www.math.kyoto-u.ac.jp/~fujino/lc-model-fujino-hashizume-draft-7-EJM-rev-normalstylefile.pdf.arxiv.org/abs/2103.01417
- [37]Yoshinori Gongyo. Abundance theorem for numerically trivial log canonical divisors of semi-log canonical pairs. Journal of Algebraic Geometry, 22(3):549–564, 2013.arxiv.org/abs/1005.2796
- [38]Yoshinori Gongyo and Brian Lehmann. Reduction maps and minimal model theory. Compositio Mathematica, 149(2):295–308, 2013. Read with the numerical-dimension erratum on Lehmann’s research page. Erratum: https://sites.bc.edu/lehmann/research/. Final author version: https://www.ms.u-tokyo.ac.jp/~gongyo/papers/redmapsmmp-final.pdf.DOI
- [39]Tom Graber, Joe Harris, and Jason Starr. Families of rationally connected varieties. Journal of the American Mathematical Society, 16(1):57–67, 2003.
- [40]Vincent Guedj and Ahmed Zeriahi. Intrinsic capacities on compact Kähler manifolds. The Journal of Geometric Analysis, 15(4):607–639, 2005.
- [41]Henri Guenancia and Mihai Păun. Bogomolov–Gieseker inequality for log terminal Kähler threefolds. Communications on Pure and Applied Mathematics, 78(11):2206–2244, 2025. With an appendix by Frédéric Campana, Andreas Höring, and Thomas Peternell.DOI
- [42]Christopher D. Hacon, James McKernan, and Chenyang Xu. Boundedness of varieties of log general type. In Algebraic Geometry: Salt Lake City 2015, Part 1, volume 97.1 of Proceedings of Symposia in Pure Mathematics, pages 309–348. American Mathematical Society, 2018. Published Theorem 4.0.1; Theorem 3.0.1 in arXiv version 2. Published offprint: https://www.claymath.org/wp-content/uploads/2022/03/Hacon-AG2015.pdf.
- [43]Masaki Hanamura. Structure of birational automorphism groups, I: non-uniruled varieties. Inventiones Mathematicae, 93:383–403, 1988. Theorems 2.1–2.2; statements also reproduced in Blanc, Theorems 3.8–3.9.DOI
- [44]Kenta Hashizume. On the non-vanishing conjecture and existence of log minimal models. Publications of the Research Institute for Mathematical Sciences, 54(1):89–104, 2018. Theorem 1.4; arXiv version 4. Version cited: https://arxiv.org/abs/1609.00121v4.
- [45]Heisuke Hironaka. Bimeromorphic smoothing of a complex-analytic space. Acta Mathematica Vietnamica, 2(2):103–168, 1977.
- [46]Andreas Höring, Vladimir Lazić, and Christian Lehn. Nonvanishing results for Kähler varieties. https://arxiv.org/abs/2508.14634v2, 2025. Version 2, 21 October 2025.
- [47]Andreas Höring and Thomas Peternell. Minimal models for Kähler threefolds. Inventiones Mathematicae, 203(1):217–264, 2016.
- [48]Yujiro Kawamata. A generalization of Kodaira–Ramanujam’s vanishing theorem. Mathematische Annalen, 261(1):43–46, 1982. For the relative formulation used here, see also Kollár–Mori, Birational Geometry of Algebraic Varieties, Theorem 2.64.DOI
- [49]Yujiro Kawamata. The minimal discrepancy of a 3-fold terminal singularity. Russian Academy of Sciences. Izvestiya Mathematics, 40(1):193–195, 1993. Appendix to V. V. Shokurov, Three-fold log flips.
- [50]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.DOI
- [51]Sean Keel, Kenji Matsuki, and James McKernan. Log abundance theorem for threefolds. Duke Mathematical Journal, 75(1):99–119, 1994. Read with the 2004 corrections.DOI
- [52]Sean Keel, Kenji Matsuki, and James McKernan. Corrections to “Log abundance theorem for threefolds”. Duke Mathematical Journal, 122(3):625–630, 2004.DOI
- [53]János Kollár, editor. Flips and abundance for algebraic threefolds. Number 211 in Astérisque. Société Mathématique de France, 1992.
- [54]János Kollár. Sources of log canonical centers. In Minimal Models and Extremal Rays, volume 70 of Advanced Studies in Pure Mathematics, pages 29–48. Mathematical Society of Japan, Tokyo, 2016.
- [55]János Kollár and Sándor J. Kovács. Log canonical singularities are Du Bois. Journal of the American Mathematical Society, 23(3):791–813, 2010.
- [56]János Kollár and Shigefumi Mori. Birational Geometry of Algebraic Varieties, volume 134 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1998.DOI
- [57]Sándor J. Kovács and Zsolt Patakfalvi. Projectivity of the moduli space of stable log-varieties and subadditivity of log-Kodaira dimension. Journal of the American Mathematical Society, 30(4):959–1021, 2017. Theorem 9.9 in the author version. Version cited: https://sites.math.washington.edu/~kovacs/current/papers/Kovacs_Patakfalvi_Projectivity.pdf.DOI
- [58]Adrian Langer. Semistable sheaves in positive characteristic. Annals of Mathematics, 159(1):251–276, 2004.DOI
- [59]Yoichi Miyaoka and Shigefumi Mori. A numerical criterion for uniruledness. Annals of Mathematics, 124(1):65–69, 1986.DOI
- [60]Yoshinori Namikawa. Projectivity criterion of Moishezon spaces and density of projective symplectic varieties. International Journal of Mathematics, 13(2):125–135, 2002.
- [61]OpenAI. Abundance after nonvanishing for compact Kähler fourfolds. OpenAI Math Release preprint OAI:Abundance-after-nonvanishing-for-compact-Kahler-fourfolds-September-27-2026, 2026. Theorem 1.1; semi ampleness of the actual nef adjoint under nonnegative Kodaira dimension.
- [62]OpenAI. Finite ordinary minimal model programs on compact Kähler fourfolds. OpenAI Math Release preprint OAI:Finite-ordinary-minimal-model-programs-on-compact-Kahler-fourfolds-October-5-2026, 2026. Theorem 6.20; Proposition 3.4 and its proof.
- [63]OpenAI. Orbifold and logarithmic Iitaka subadditivity. OpenAI Math Release preprint OAI:Orbifold-and-logarithmic-Iitaka-subadditivity-September-26-2026, 2026. Theorem 1.1.
- [64]Wenhao Ou. A characterization of uniruled compact Kähler manifolds. https://arxiv.org/abs/2501.18088v1, 2025. Version 1, 30 January 2025.
- [65]Mihai Păun. Siu’s invariance of plurigenera: a one-tower proof. Journal of Differential Geometry, 76(3):485–493, 2007. Theorem 1.DOI
- [66]Morihiko Saito. Mixed Hodge modules. Publications of the Research Institute for Mathematical Sciences, 26(2):221–333, 1990.
- [67]Morihiko Saito. Mixed Hodge complexes on algebraic varieties. Mathematische Annalen, 316(2):283–331, 2000. Theorem 0.2 and Corollary 0.3 in arXiv version 1. Version cited: https://arxiv.org/abs/math/9906088v1.
- [68]Jean-Pierre Serre. A Course in Arithmetic, volume 7 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1973.DOI
- [69]Yum-Tong Siu. Analyticity of sets associated to Lelong numbers and the extension of closed positive currents. Inventiones Mathematicae, 27:53–156, 1974.DOI
- [70]Henri Skoda. Sous-ensembles analytiques d’ordre fini ou infini dans Cⁿ. Bulletin de la Société Mathématique de France, 100:353–408, 1972.DOI
- [71]Xiaotao Sun. Direct images of bundles under Frobenius morphism. Inventiones Mathematicae, 173(2):427–447, 2008. Theorem 3.7 and Lemma 4.2 cited from arXiv version 2. Version cited: https://arxiv.org/abs/math/0611360v2.
- [72]The Stacks Project Authors. The Stacks Project: Grothendieck’s existence theorem, I. https://stacks.math.columbia.edu/tag/087V, 2026. Tag 087V, Lemmas 30.24.1 and 30.24.3; accessed September 18, 2026.
- [73]Frédéric Touzet. Feuilletages holomorphes admettant une mesure transverse invariante. https://arxiv.org/abs/1409.3445v1, 2014.
- [74]Jean Varouchas. Kähler spaces and proper open morphisms. Mathematische Annalen, 283:13–52, 1989.DOI
- [75]Pisya Vikash. Classification of smooth minimal Kähler fourfolds without effective divisors and surfaces. https://arxiv.org/abs/2607.04536v1, 2026. Version 1, 5 July 2026.
- [76]Shing-Tung Yau. On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation, I. Communications on Pure and Applied Mathematics, 31(3):339–411, 1978.DOI