REVIEW 5 major objections 5 minor 120 references
Minimal model program for normal pairs along log canonical locus in complex analytic setting
T0 review · 5 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read A finite minimal model program exists for complex analytic normal pairs under a disjointness condition.
desk verdict A genuinely new analytic MMP statement whose proof is mostly inherited from the author's algebraic paper and unpublished analytic foundations; the two truly new lemmas are real work. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central machinery is the analytic theory of quasi-log complex analytic spaces — spaces carrying a globally $\mathbb R$-Cartier divisor and a collection of qlc centers, formally imitating the structure of a simple normal crossing pair — together with the relative non-nef locus $\operatorname{NNef}(D/Z)$, the union of centres of prime divisors with positive asymptotic vanishing order with respect to $D$. The proof reduces the theorem to standard MMP ingredients — dlt blow-up (a bimeromorphic modification making the pair divisorially log terminal), the cone and contraction theorem, the base-point-free theorem, special termination, adjunction, and analytic existence of flips and good minimal models over a point — and then repeats the algebraic argument of [H23] almost verbatim. The main technical step needing new work is Lemma 3.11, which constructs an MMP by gluing local good minimal models over varying open subsets of the intermediate space, because global gluing of MMPs is not automatic for analytic spaces.
What would settle it
A concrete way to test the claim is to search for a normal pair over a Stein base satisfying all hypotheses of Theorem 4.7 whose canonical ring is not locally finitely generated, or to exhibit a failure of one of the cited analytic inputs, such as an lc pair over a Stein space with no flip and no good minimal model over a point; either would make the main theorem false.
Extended reading notes
Core claim
The central claim is Theorem 4.7: if $\pi\colon X\to Z$ is a projective morphism from a normal analytic variety $X$ to a Stein space $Z$, $W\subset Z$ is a compact subset satisfying condition (P), $(X,\Delta)$ is a normal pair, and $A$ is a $\pi$-ample $\mathbb R$-divisor such that $K_X+\Delta+A$ is globally $\mathbb R$-Cartier and $\pi$-pseudo-effective, then under the disjointness condition $\operatorname{NNef}(K_X+\Delta+A/Z)\cap \operatorname{Nlc}(X,\Delta)\cap \pi^{-1}(W)=\varnothing$ and the semi-ampleness of $(K_X+\Delta+A)|_{\operatorname{Nlc}(X,\Delta)}$ over a neighbourhood of $W$, one can shrink $Z$ around $W$ and run a finite $(K_X+\Delta+A)$-MMP over $Z$ around $W$ whose steps are represented by bimeromorphic contractions with relative Picard number dropping by one, whose non-biholomorphic locus avoids $\operatorname{Nlc}(X,\Delta)$, and which terminates with $K_{X_m}+B_m$ semi-ample over $Z$. If $X$ is $\mathbb Q$-factorial over $W$, every intermediate space is also $\mathbb Q$-factorial over $W$.
Load-bearing premise
The load-bearing premise is that the complex analytic versions of the standard minimal-model-program ingredients — special termination, adjunction, flips, and existence of good models over a point — are all correct as stated in the cited papers, several of which are preprints, and that the algebraic proof from the earlier paper transfers verbatim.
Editorial extensions
If this is right
- For any normal pair and $\pi$-ample divisor $A$ satisfying the disjointness and semi-ampleness hypotheses, a finite $(K_X+\Delta+A)$-MMP over $Z$ around $W$ exists and ends at a good minimal model, with every step avoiding the non-lc locus.
- The relative stable base locus ${\rm Bs}|K_X+\Delta+A/Z|_{\mathbb R}$ is disjoint from $\operatorname{Nlc}(X,\Delta)\cap \pi^{-1}(W)$, so the adjoint linear system is base-point-free along the non-lc locus.
- When $\Delta$ and $A$ are $\mathbb Q$-divisors, the canonical ring $\bigoplus_{m\ge 0}\pi_*\mathcal O_X(\lfloor m(K_X+\Delta+A)\rfloor)$ is locally finitely generated.
- Running a $(K_X+\Delta)$-MMP with scaling of a $\pi$-ample divisor produces a possibly infinite sequence whose numerical nef thresholds tend to zero and whose steps never meet the non-lc locus; with the additional hypotheses of Theorem 4.7 the sequence terminates at a good minimal model.
- For algebraic or analytic stacks, a $(K_X+B)$-MMP with scaling of a $\pi$-ample line bundle exists smooth-locally on the base and terminates at a good minimal model when the local hypotheses hold.
Reading between the lines
- If the cited analytic foundations are verified, the verbatim reduction to [H23] means the main theorem should be checkable line by line; until then, the result is formally conditional on those preprints.
- The semi-ampleness hypothesis on the restriction to the non-lc locus is likely removable: an analytic abundance theorem for lc pairs would supply it automatically, leaving only the disjointness condition as the hypothesis.
- Because each MMP step is obtained by gluing local outputs over open subsets of the base, the same method could patch outputs over finite Stein covers to obtain MMPs over bases that are not Stein; the stack-theoretic formulation in Section 5 is a first step in that direction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a complex analytic analog of the author's algebraic minimal model program for normal pairs along the log canonical locus. The main theorem (Theorem 4.7, stated as Theorem 1.1) asserts that, for a projective morphism from a normal analytic variety to a Stein space with a compact subset W satisfying property (P), and for a normal pair (X,∆) with a π-ample divisor A making K_X+∆+A globally R-Cartier and π-pseudo-effective, if the relative non-nef locus avoids Nlc(X,∆) over W and the restriction to Nlc(X,∆) is semi-ample over a neighborhood of W, then after shrinking Z around W there is a finite sequence of steps of a (K_X+∆+A)-MMP represented by bimeromorphic contractions with ρ-drop 1, avoiding Nlc(X,∆), ending in a semi-ample model. The paper also derives corollaries on stable base loci and finite generation, and a stack-theoretic formulation in Section 5. The two arguments developed in detail are Theorem 3.12, a quasi-log version of the MMP step with a bimeromorphic contraction, and Lemma 4.5, which reduces λ_i-limit statements for MMPs to the klt case. Most other results are proved by asserting that the algebraic arguments from [H23] 'work with no changes,' relying on complex analytic analogs of special termination, adjunction, lc flips, and existence of good minimal models, cited from preprints [EH24a], [EH24b], [F22b], and [F25b].
Significance. If the cited analytic foundations are correct, Theorem 4.7 is a substantial extension of the MMP beyond the log canonical category in the complex analytic setting, and the corollaries on non-vanishing of stable base loci and finite generation of relative canonical rings would be new and useful. The paper is clearly written and contains two genuinely analytic arguments of independent interest, Theorem 3.12 and Lemma 4.5, with detailed proofs. However, the central theorem is not proved in the manuscript: it is reduced verbatim to the algebraic proof in [H23] plus a list of unpublished analytic statements. The significance of the paper is therefore conditional on the correctness and availability of those external results. The reader cannot verify the main theorem from this paper alone, and the paper does not isolate which properties of the analytic setting (e.g., Q-factoriality over W, special termination over Stein neighborhoods) are used in each step.
major comments (5)
- [Theorem 4.7 (proof)] The proof of the main theorem is the single sentence 'The argument of [H23, Proof of Theorem 5.3] works with no changes.' This is load-bearing because the algebraic proof of [H23, Theorem 5.3] uses special termination, adjunction, lc flips, and existence of good minimal models, whose complex analytic analogs are not proved here but cited from [EH24a, Subsection 3.6], [F22b, Theorem 4.4], and [F25b, Theorems 1.5 and 1.7], all of which are preprints. The paper proves Theorem 3.12 and Lemma 4.5 in detail, but the remaining steps of Theorem 4.7 are not verified to transfer to the analytic setting, for example the gluing of MMP steps over shrinkings and the preservation of Q-factoriality over W. The author should either provide complete analytic proofs of the cited statements or state them as explicit assumptions with precise references; as written, Theorem 4.7 is conditional.
- [Lemma 3.11, Step 1] The construction of each flip invokes [F25b, Theorem 1.7] to produce an lc pair (X_1, Δ_1) with a small bimeromorphic morphism to V''_1 such that K_{X_1}+Δ_1 is ample over V''_1. The hypotheses of [F25b, Theorem 1.7] are not stated, and the paper does not check that (X''_1, Δ''_1) satisfies them after shrinking, in particular whether Q-factoriality or dlt-ness over W is required and whether it is preserved. Since the MMP in Definition 3.3 allows arbitrary normal analytic X_i and the non-biholomorphic locus is only required to avoid Nlc(X,Δ), a gap here would invalidate every step. Please state the precise theorem used and verify its hypotheses are satisfied at each step of the MMP.
- [Theorem 4.6 (proof)] The proof of Theorem 4.6 relies on 'the complex analytic analog of the special termination of MMP ([F07b])' cited to [EH24a, Subsection 3.6]. Special termination is a delicate statement that can fail in the non-Q-factorial, non-compact analytic category, and the paper's own Lemma 3.8 shows that controlling exceptional divisors over W requires additional arguments. The author should state the special termination theorem with its hypotheses (e.g., whether the pair is Q-factorial over W, whether the boundary is dlt, whether termination holds over a neighborhood of W) and either prove it or give a precise reference to an available preprint with the proof. Without this, the induction in Theorem 4.7 has no verified analytic foundation.
- [Lemma 4.5] Lemma 4.5 reduces the λ_i-limit statement to Theorem 4.4 by applying [F25a, Proof of Lemma 4.25] to obtain a Q-divisor perturbation (Y, Δ') → [X, ω'] and then Lemma 2.20 to obtain a normal pair (X, Γ) with K_X+Γ ∼_{R,Z} ω + (1/2)A. The line 'We may regard X_1 → ... as a sequence of steps of a (K_X+Γ+1/2A)-MMP over Z around W with scaling of 1/2A' is nontrivial: the original MMP is for the quasi-log space (ω+A), while Theorem 4.4 applies to normal pairs, and one must check that the extremal contractions of the two MMPs coincide after the perturbation. The author should justify this identification, for example by showing the same extremal rays are contracted and the same λ_i values are obtained.
- [Introduction / References] The paper is almost entirely a translation of the author's algebraic paper [H23], with the main theorem and many auxiliary results proved by assertions that 'the argument works with no changes.' While this can be acceptable when the analytic analogs are published, here the decisive inputs are preprints by the same research group ([EH24a], [EH24b], [F25b]) and unpublished notes ([F22b]). The author should provide a table or list of each cited analytic result with its exact statement and location, and indicate which are published or under review. Without this, the reader cannot separate the author's contribution from the external preprints, and the main theorem is not verifiable from the manuscript itself.
minor comments (5)
- [Theorem 5.1] The conclusion states 'there exists a sequence of a (K_X + ∆)-MMP over Z around z with scaling of H', but the setup and proof concern a (K_{X_1}+B_1)-MMP, i.e., a (K_X+∆+A)-MMP; the statement should be corrected to match the proof.
- [Remark 3.4] The sentence 'ρ(X/Z; W ) − ρ(X/Z; W ) = 1' appears to contain a typo; it should presumably be ρ(X/Z; W ) − ρ(V/Z; W ) = 1 or ρ(X/Z; W ) − ρ(X'/Z; W ) = 1.
- [Corollary 4.12] The condition 'NNef(K_X + ∆ + A/Z) ∩ Nlc(X, ∆) ∩ = ∅' is missing the relevant subset; it should specify the intersection with π^{-1}(W) or with the whole fiber over Z, consistent with the other statements.
- [Lemma 3.8] The phrase 'We set W_j as the inverse image of W to X_j' is ambiguous; it should say 'the inverse image of W under the morphism X_j → Z' or 'the inverse image of W in V', since X_j is obtained by base change over Z_j.
- [Theorem 2.10] The proof of Theorem 2.10 says 'the argument of [H23, Proof of Theorem 2.14] works with no changes,' but the definition of the intersection number (D·C) and the reduction to a Stein neighborhood may require analytic justifications; adding a one-sentence reference to [F22a] for the numerical intersection would help the reader.
Circularity Check
Main theorem's proof is deferred verbatim to the author's [H23] and to co-authored analytic preprints; load-bearing self-citation, but no construction-level circularity.
-
self citation load bearing
[Theorem 4.7, proof (Section 4.2)]
"The argument of [H23, Proof of Theorem 5.3] works with no changes."
The headline theorem is introduced as 'the complex analytic analog of the previous result by the author [H23]', and the proof is not carried out: the reader is told to rerun the author's algebraic proof. Since [H23] is the same author's prior result, the load-bearing derivation of the main analytic theorem is a self-citation. It is not an equation-level tautology because the analytic setting adds the (P)-condition and quasi-log analytic inputs, but the core induction is inherited verbatim rather than independently established here.
-
self citation load bearing
[Theorem 4.6, proof (Section 4.2)]
"we need the complex analytic analog of the special termination of MMP ([F07b]), adjunction for quasi-log scheme ([F17, Theorem 6.1.2 (i)]), and the base point free theorem for R-Cartier divisors on quasi-log scheme ([H23, Theorem 2.23]). These are known as given in [EH24a, Subsection 3.6], [F22b, Theorem 4.4], and Theorem 2.16."
The engine for Theorem 4.7 is the MMP construction in Theorem 4.6, and this passage identifies analytic special termination and adjunction as enabling inputs, citing [EH24a] (a preprint co-authored by the present author) rather than proving them. If those analytic inputs or the cited lc-flip/good-minimal-model theorems fail, the steps in Lemma 3.11 and Theorem 3.12 cannot be run. The citations are to independent prior work whose assumptions do not include the target theorem, so this is the load-bearing self-citation pattern, not a definitional circle.
full rationale
There is no fitted-parameter or definitional circularity: no theorem is obtained by substituting its conclusion into its hypotheses, and no quantity is predicted from data to which it was fitted. The concern is the self-citation pattern. Theorem 4.7 is proved by the sentence 'The argument of [H23, Proof of Theorem 5.3] works with no changes,' and the introduction says the proofs are 'almost the same as in the algebraic case.' Theorem 4.6 explicitly outsources special termination, adjunction, and base-point-freeness to [EH24a], [F22b], and Theorem 2.16; [EH24a] is a preprint by Enokizono and Hashizume. These are external results with assumptions that do not include the target theorem, so the paper is not logically circular in the strict sense. However, the analytic proof is not self-contained: it reduces to the author's prior algebraic proof and to the author's unpublished analytic inputs, and a gap in any of them would invalidate the main theorem. The paper does contain independent analytic work (Theorem 3.12 and Lemma 4.5 are proved in detail where the algebraic argument fails), so the central claim has content beyond the citations. On the rubric's self-citation pattern, this merits 4 rather than 6 or 8: the result is not forced by a self-citation chain alone, but the derivation's key analytic engine is a load-bearing self-citation.
Assumptions & free parameters
assumptions (5)
- domain assumption Dlt blow-up theorem for projective morphisms between complex analytic spaces (Fujino [F22a, Theorem 1.27])
- domain assumption Base point free theorem and cone and contraction theorem for quasi-log complex analytic spaces (Fujino [F22b, Theorems 6.1 and 9.2])
- domain assumption Existence of lc flips, good minimal models over a point, and special termination in the complex analytic setting (Enokizono-Hashizume [EH24a, Theorem 1.2, Theorem 3.15, Subsection 3.6]; Fujino [F25b, Theorems 1.5 and 1.7])
- domain assumption Canonical bundle formula and subadjunction in the complex analytic setting (Fujino [F22a, Theorem 21.4]; Fujino-Hashizume [FH23])
- domain assumption The algebraic results and proofs of [H23] apply 'with no changes' to the analytic setting except where noted
Cite this review
Pith. "Pith review of Minimal model program for normal pairs along log canonical locus in complex analytic setting." pith.science (2026). https://pith.science/paper/V7T7KUKE
@misc{pith2026250104057,
author = {Pith},
title = {Pith review of: Minimal model program for normal pairs along log canonical locus in complex analytic setting},
year = {2026},
howpublished = {\url{https://pith.science/paper/V7T7KUKE}},
note = {Machine review of arXiv:2501.04057}
}
read the original abstract
We establish the minimal model theory for normal pairs along log canonical locus in the complex analytic setting. This is the complex analytic analog of the previous result by the author.
Reference graph
Works this paper leans on
-
[1]
Ambro, Quasi-log varieties, Trudy Mat
F. Ambro, Quasi-log varieties, Trudy Mat. Inst. Steklova 240 (2003), 220--239
2003
-
[2]
Abramovich, K
D. Abramovich, K. Karu, Weak semistable reduction in characteristic 0 , Invent. math. 139 (2000), no. 2, 241--273
2000
-
[3]
Ambro, Shokurov's boundary property, J
F. Ambro, Shokurov's boundary property, J. Differential Geom. 67 (2004), no. 2, 229--255
2004
-
[4]
Ambro, The moduli b -divisor of an lc trivial fibration, Compos
F. Ambro, The moduli b -divisor of an lc trivial fibration, Compos. Math. 141 (2005), no. 2, 385--403
2005
-
[5]
Artebani, J
M. Artebani, J. Hausen, A. Laface, On Cox rings of K3 surfaces, Compos. Math. 146 (2010), no. 4, 964--998
2010
-
[6]
Ambro, J
F. Ambro, J. Koll\'ar, Minimal models of semi-log-canonical pairs. In Moduli of K-stable varieties, Springer INdAM Ser., 31 , Springer, Cham (2019), 1--13
2019
-
[7]
Araujo, Rationally connected varieties, http://preprint.impa.br/FullText/Araujo_Wed_Oct_27_16_20_11_EDT_2004.html/GHS_preprint.pdf
C. Araujo, Rationally connected varieties, http://preprint.impa.br/FullText/Araujo_Wed_Oct_27_16_20_11_EDT_2004.html/GHS_preprint.pdf
-
[8]
Birkar, Log minimal models according to Shokurov, Algebra Number Theory 3 (2009), no
C. Birkar, Log minimal models according to Shokurov, Algebra Number Theory 3 (2009), no. 8, 951--958
2009
Show all 120 references
-
[9]
Birkar, On existence of log minimal models I\!I, J
C. Birkar, On existence of log minimal models I\!I, J. Reine Angew Math. 658 (2011), 99--113
2011
-
[10]
Birkar, Existence of log canonical flips and a special LMMP, Publ
C. Birkar, Existence of log canonical flips and a special LMMP, Publ. Math. Inst. Hautes \'Etudes Sci. 115 (2012), no. 1, 325--368
2012
-
[11]
Birkar, Anti-pluricanonical systems on Fano varieties, Ann
C. Birkar, Anti-pluricanonical systems on Fano varieties, Ann. of Math., 19 (2019), no. 2, 345--463
2019
-
[12]
Birkar, Boundedness and volume of generalised pairs, preprint (2021), arXiv:2103.14935v2
C. Birkar, Boundedness and volume of generalised pairs, preprint (2021), arXiv:2103.14935v2
2021 arXiv
-
[13]
Birkar, P
C. Birkar, P. Cascini, C. D. Hacon, J. M c Kernan, Existence of minimal models for varieties of log general type, J. Amer. Math. Soc. 23 (2010), no. 2, 405--468
2010
-
[14]
Birkar, Z
C. Birkar, Z. Hu, Polarized pairs, log minimal models, and Zariski decompositions, Nagoya Math. J. 215 (2014), 203--224
2014
-
[15]
Birkar, Z
C. Birkar, Z. Hu, Log canonical pairs with good augmented base loci, Compos. Math. 150 (2014), no. 4,579--592
2014
-
[16]
Boucksom, J.-P
S. Boucksom, J.-P. Demailly, M. P a un, T. Peternell, The pseudo-effective cone of a compact K\"ahler manifold and varieties of negative Kodaira dimension, J. Algebraic. Geom., 22 (2013), no. 2, 201--248
2013
-
[17]
Birkar, D
C. Birkar, D. Q. Zhang, Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs, Publ. Math. Inst. Hautes \'Etudes Sci. 123 (2016), no. 1, 283--331
2016
-
[18]
Boucksom, A
S. Boucksom, A. Broustet, G. Pacienza, Uniruledness of stable base loci of adjoint linear systems via Mori theory, Math. Z. 275 (2013), no. 1--2, 499--507
2013
-
[19]
Cascini, D
C. Cascini, D. Q. Zhang, Effective finite generation for adjoint rings, Ann. Inst. Fourier (Grenoble) 64 (2014), no. 1, 127--144
2014
-
[20]
Campana, V
F. Campana, V. Koziarz, M. P a un, Numerical character of the effectivity of adjoint line bundle, Ann. Inst. Fourier 62 (2012), no. 1, 107--119
2012
-
[21]
S. R. Choi, The geography of log models and its applications, PhD Thesis, Johns Hopkins University, 2008
2008
-
[22]
Corti, Adjunction of log divisors, in Flips and abundance for algebraic threefolds , Ast\'erisque 211 (1992), 171--182
A. Corti, Adjunction of log divisors, in Flips and abundance for algebraic threefolds , Ast\'erisque 211 (1992), 171--182
1992
-
[23]
Corti, V, Lazi\'c, New outlook of minimal model program, II, Math
A. Corti, V, Lazi\'c, New outlook of minimal model program, II, Math. Ann. 356 (2013), no. 2, 617--633
2013
-
[24]
Demailly, C
J.-P. Demailly, C. D. Hacon, M. P a un, Extension theorems, non-vanishing and the existence of good minimal models, Acta Math. 210 (2013), no. 2, 203--259
2013
-
[25]
Eckl, Numerical analogues of the Kodaira dimension and the abundance conjecture, Manuscripta Math
T. Eckl, Numerical analogues of the Kodaira dimension and the abundance conjecture, Manuscripta Math. 150 (2016), no. 3-4, 337--356
2016
-
[26]
Enokizono, K
M. Enokizono, K. Hashizume, Minimal model program for log canonical pairs on complex analytic spaces, preprint (2024)
2024
-
[27]
Enokizono, K
M. Enokizono, K. Hashizume, On termination of minimal model program for log canonical pairs on complex analytic spaces, preprint (2024)
2024
-
[28]
Filipazzi, J
S. Filipazzi, J. Moraga, Strong ( ,n) -Complements for Semi-Stable Morphisms, Doc. Math. 25 (2020), 1953--1996
2020
-
[29]
Floris, V
E. Floris, V. Lazi\'c, On the B-semiampleness conjecture, \'Epijournal de G\'eom\'etrie Alg\'ebrique 3 (2019), epiga:5063
2019
-
[30]
Fujino, Non-vanishing theorem for log canonical pairs, J
O. Fujino, Non-vanishing theorem for log canonical pairs, J. Algebraic Geom. 20 (2011), no. 4, 771--783
2011
-
[31]
Fujino, Note on toric varieties from Mori theoretic viewpoint,
O. Fujino, Note on toric varieties from Mori theoretic viewpoint,
-
[32]
Fujino, Base Point Free Theorem of Reid-Fukuda Type, J
O. Fujino, Base Point Free Theorem of Reid-Fukuda Type, J. Math. Sci. Univ. Tokyo 7 (2000), 1--5
2000
-
[33]
Fujino, What is log terminal? In Flips for 3 -folds and 4 -folds, Oxford University Press (2007)
O. Fujino, What is log terminal? In Flips for 3 -folds and 4 -folds, Oxford University Press (2007)
2007
-
[34]
Fujino, Special termination and reduction to pl flips
O. Fujino, Special termination and reduction to pl flips. In Flips for 3 -folds and 4 -folds, Oxford University Press (2007)
2007
-
[35]
Fujino, Finite generation of the log canonical ring in dimension four, Kyoto J
O. Fujino, Finite generation of the log canonical ring in dimension four, Kyoto J. Math. 50 (2010), no. 4, 671--684
2010
-
[36]
Fujino, Effective base point free theorem for log canonical pairs-Koll\'ar type theorem, Tohoku Math
O. Fujino, Effective base point free theorem for log canonical pairs-Koll\'ar type theorem, Tohoku Math. J. 61 (2009), 475--481
2009
-
[37]
Fujino, Fundamental theorems for the log minimal model program, Publ
O. Fujino, Fundamental theorems for the log minimal model program, Publ. Res. Inst. Math. Sci. 47 (2011), no. 3, 727--789
2011
-
[38]
Fujino, Basepoint-free theorems: saturation, b -divisors, and canonical bundle formula, Algebra Number Theory 6 (2012), no
O. Fujino, Basepoint-free theorems: saturation, b -divisors, and canonical bundle formula, Algebra Number Theory 6 (2012), no. 4, 797--823
2012
-
[39]
Fujino, Notes on the weak positivity theorems, preprint (2015)
O. Fujino, Notes on the weak positivity theorems, preprint (2015)
2015
-
[40]
Fujino, Some remarks on the minimal model program for log canonical pairs, J
O. Fujino, Some remarks on the minimal model program for log canonical pairs, J. Math. Sci. Univ. Tokyo 22 (2015), no. 1, 149--192
2015
-
[41]
Fujino, Fundamental theorems for semi log canonical pairs, Algebraic Geom
O. Fujino, Fundamental theorems for semi log canonical pairs, Algebraic Geom. 1 (2014), no. 2, 194--228
2014
-
[42]
Fujino, Basepoint-free theorem of Reid--Fukuda type for quasi-log schemes
O. Fujino, Basepoint-free theorem of Reid--Fukuda type for quasi-log schemes. Publ. Res. Inst. Math. Sci. 52 (2016), no. 1, 63--81
2016
-
[43]
Fujino, Foundations of the minimal model program , MSJ Mem
O. Fujino, Foundations of the minimal model program , MSJ Mem. 35, Mathematical Society of Japan, Tokyo, 2017
2017
-
[44]
Fujino, Corrigendum: On subadditivity of the logarithmic Kodaira dimension, J
O. Fujino, Corrigendum: On subadditivity of the logarithmic Kodaira dimension, J. Math. Soc. Japan 72 (2020), no. 4, 1181--1187
2020
-
[45]
Fujino, Minimal model program for projective morphisms between complex analytic spaces, preprint (2022), arXiv:2201.11315v1
O. Fujino, Minimal model program for projective morphisms between complex analytic spaces, preprint (2022), arXiv:2201.11315v1
2022 arXiv
-
[46]
Fujino, On quasi-log structure for complex analytic spaces, preprint (2022), arXiv:2209.11401v3
O. Fujino, On quasi-log structure for complex analytic spaces, preprint (2022), arXiv:2209.11401v3
2022 arXiv
-
[47]
Fujino, Cone and contraction theorem for projective morphisms between complex analytic spaces, MSJ Mem
O. Fujino, Cone and contraction theorem for projective morphisms between complex analytic spaces, MSJ Mem. 42, Mathematical Society of Japan, Tokyo, 2024
2024
-
[48]
Fujino, Cone theorem and Mori hyperbolicity, J
O. Fujino, Cone theorem and Mori hyperbolicity, J. Differential Geom. 129 (2025), no. 3, 617--693
2025
-
[49]
Fujino, On finiteness of relative pluricanonical representations, preprint (2025)
O. Fujino, On finiteness of relative pluricanonical representations, preprint (2025)
2025
-
[50]
Fujino, Y
O. Fujino, Y. Gongyo, On canonical bundle formulas and subadjunctions, Michigan Math. J. 61 (2012), no. 2, 255--264
2012
-
[51]
Fujino, Y
O. Fujino, Y. Gongyo, Log pluricanonical representations and abundance conjecture, Compos. Math. 150 (2014) no. 4, 593--620
2014
-
[52]
Fujino, Y
O. Fujino, Y. Gongyo, On the moduli b-divisors of lc-trivial fibrations, Ann. Inst. Fourier 64 (2014), no. 4, 1721--1735
2014
-
[53]
Fujino, Y
O. Fujino, Y. Gongyo, On log canonical rings, Adv. Stud. Pure Math., 74 (2017), Higher dimensional algebraic geometry in honour of Professor Yujiro Kawamata's sixtieth birthday, 159--169,
2017
-
[54]
Fujino, Y
O. Fujino, Y. Gongyo, On the miduli b-divisors of lc-trivial fibrations, Annakes de I'nstitut Fourier, 64 (2014), no. 4, 1721--1735
2014
-
[55]
Fujino, K
O. Fujino, K. Hashizume, Adjunction and inversion of adjunction, Nagoya Math. J. 249 (2023), 119--147
2023
-
[56]
Fujino, S
O. Fujino, S. Mori, A canonical bundle formula, J. Differential Geom. 56 (2000), no. 1, 167--188
2000
-
[57]
Fujino, K
O. Fujino, K. Schwede, S. Takagi, Supplements to non-lc ideal sheaves. RIMS Kokyuroku Bessatsu, B24, Res. Inst. Math. Sci. (RIMS), Kyoto, 2011, 1--46
2011
-
[58]
Fukuda, A base point free theorem of Reid type
S. Fukuda, A base point free theorem of Reid type. II, Proc. Japan Acad. Ser. A Math. Sci. 75 (1999), no. 3, 32--34
1999
-
[59]
Fukuda, On numerically effective log canonical divisors, Int
S. Fukuda, On numerically effective log canonical divisors, Int. J. Math. Math. Sci. 30 (2002), no. 9, 521--531
2002
-
[60]
Gongyo, On the minimal model theory for dlt pairs of numerical log kodaira dimension zero, Math
Y. Gongyo, On the minimal model theory for dlt pairs of numerical log kodaira dimension zero, Math. Res. Lett., 18 (2011) , no. 5, 991--1000
2011
-
[61]
Gongyo, Remarks on the non-vanishing conjecture, Adv
Y. Gongyo, Remarks on the non-vanishing conjecture, Adv. Stud. Pure Math. 65 (2015), Algebraic geometry in East Asia--Taipei 2011, 107--116
2015
-
[62]
Gongyo, B
Y. Gongyo, B. Lehmann, Reduction maps and minimal model theory, Compos. Math. 149 (2013), no. 2, 295--308
2013
-
[63]
Graber, J
T. Graber, J. Harris, J. Starr, Families of rationally connected varieties, J. Amer. Math. Soc. 16 (2003), no. 1, 57--67
2003
-
[64]
C. D. Hacon, J. M c Kernan, C. Xu, On the birational automorphisms of varieties of general type, Ann. of Math. (2) 177 (2013), no. 3, 1077--1111
2013
-
[65]
C. D. Hacon, J. M c Kernan, C. Xu, ACC for log canonical thresholds, Ann. of Math. (2) 180 (2014), no. 2, 523--571
2014
-
[66]
C. D. Hacon, J. M c Kernan, C. Xu, Boundedness of moduli of varieties of general type, J. Eur. Math. Soc. 20 (2018), no. 4, 865--901
2018
-
[67]
C. D. Hacon, J. Liu, Existence of flips for generalized lc pairs, to appear in Camb. J. Math
-
[68]
C. D. Hacon, J. Moraga, On weak Zariski decompositions and termination of flips, to appear in Math. Res. Lett
-
[69]
C. D. Hacon, C. Xu, Existence of log canonical closures, Invent. Math. 192 (2013), no. 1, 161--195
2013
-
[70]
C. D. Hacon, C. Xu, Boundedness of log Calabi-Yau pairs of Fano type, Math. Res. Lett. 22 (2015), no. 6, 1699--1716
2015
-
[71]
C. D. Hacon, C. Xu, On finiteness of B -representation and semi-log canonical abundance, Adv, Stud. Pure. Math. 70 (2016), Minimal Models and extremal rays--Kyoto, 2011, 361--378
2016
-
[72]
J. Han, Z. Li, Weak Zariski decompositions and log terminal models for generalized polarized pairs, Math. Z. (2022)
2022
-
[73]
J. Han, W. Liu, On a generalized canonical bundle formula for generically finite morphisms, Ann. Inst. Fourier (Grenoble) 71 (2021), no. 5, 2047--2077
2021
-
[74]
Hartshorne, Algebraic geometry , Graduate Texts in Mathematics, No
R. Hartshorne, Algebraic geometry , Graduate Texts in Mathematics, No. 52 . Springer-Verlag, New York-Heidelberg, 1977
1977
-
[75]
Hashizume, Remarks on the abundance conjecture, preprint (2015), arXiv:1509.04626
K. Hashizume, Remarks on the abundance conjecture, preprint (2015), arXiv:1509.04626
2015 arXiv
-
[76]
Hashizume, Minimal model theory for relatively trivial log canonical pairs, Ann
K. Hashizume, Minimal model theory for relatively trivial log canonical pairs, Ann. Inst. Fourier (Grenoble) 68 (2018), no. 5, 2069--2107
2018
-
[77]
Hashizume, Remarks on special kinds of the relative log minimal model program, Manuscripta Math
K. Hashizume, Remarks on special kinds of the relative log minimal model program, Manuscripta Math. 160 (2019), no. 3, 285--314
2019
-
[78]
Hashizume, A class of singularity of arbitrary pairs and log canonicalizations, Asian J
K. Hashizume, A class of singularity of arbitrary pairs and log canonicalizations, Asian J. Math, 24 (2020), no. 2, 207--238
2020
-
[79]
Hashizume, Relations between two log minimal models of log canonical pairs, Int
K. Hashizume, Relations between two log minimal models of log canonical pairs, Int. J. Math. 31 (2020), no. 13, 2050103
2020
-
[80]
Hashizume, Finiteness of log abundant log canonical pairs in log minimal model program with scaling, preprint (2020), arXiv:2005.12253v3
K. Hashizume, Finiteness of log abundant log canonical pairs in log minimal model program with scaling, preprint (2020), arXiv:2005.12253v3
2020 arXiv
-
[81]
Hashizume, Non-vanishing theorem for generalized log canonical pairs with a polarization, Selecta Math
K. Hashizume, Non-vanishing theorem for generalized log canonical pairs with a polarization, Selecta Math. (2022)
2022
-
[82]
Hashizume, Minimal model program for normal pairs along log canonical locus, to appear in Forum Math
K. Hashizume, Minimal model program for normal pairs along log canonical locus, to appear in Forum Math. Sigma
-
[83]
Hashizume, Z
K. Hashizume, Z. Hu, On minimal model theory for log abundant lc pairs, J. Reine Angew. Math., 767 (2020), 109--159
2020
-
[84]
Hu, Log abundance of the moduli b-divisors of lc-trivial fibrations, arXiv:2003.14379v3
Z. Hu, Log abundance of the moduli b-divisors of lc-trivial fibrations, arXiv:2003.14379v3
2003 arXiv
-
[85]
Hu, private conversation
Z. Hu, private conversation
-
[86]
Hu, Log canonical pairs with boundaries containing ample divisors, preprint (2017), arXiv:1712.07219
Z. Hu, Log canonical pairs with boundaries containing ample divisors, preprint (2017), arXiv:1712.07219
2017 arXiv
-
[87]
Iitaka, Algebraic geometry: an introduction to the birational geometry of algebraic varieties, Springer-Verlag, 1982
S. Iitaka, Algebraic geometry: an introduction to the birational geometry of algebraic varieties, Springer-Verlag, 1982
1982
-
[88]
Kawamata, Pluricanonical systems on minimal algebraic varieties, Invent
Y. Kawamata, Pluricanonical systems on minimal algebraic varieties, Invent. Math. 79 (1985), no. 3, 567--588
1985
-
[89]
Kawakita, Inversion of adjunction on log canonicity, Invent
M. Kawakita, Inversion of adjunction on log canonicity, Invent. Math. 167 (2007), no. 1, 129--133
2007
-
[90]
Koll\'ar, Effective base point freeness, Math
J. Koll\'ar, Effective base point freeness, Math. Ann. 296 (1993), no. 4,595--605
1993
-
[91]
Koll\'ar,Adjunction and discrepancies, in Flips and abundance for algebraic threefolds , Ast\'erisque 211 (1992), 183--192
J. Koll\'ar,Adjunction and discrepancies, in Flips and abundance for algebraic threefolds , Ast\'erisque 211 (1992), 183--192
1992
-
[92]
Kawamata, Variation of mixed Hodge structures and the positivity for algebraic fiber spaces, Adv
Y. Kawamata, Variation of mixed Hodge structures and the positivity for algebraic fiber spaces, Adv. Stud. Pure Math. 65 (2015), Algebraic geometry in East Asia--Taipei 2011, 27--57
2015
-
[93]
Kawamata, On the abundance theorem in the case of numerical Kodaira dimension zero, Amer
Y. Kawamata, On the abundance theorem in the case of numerical Kodaira dimension zero, Amer. J. Math. 135 (2013), no. 1, 115--124
2013
-
[94]
S. Keel, K. Matsuki, J. M c Kernan, Log abundance theorem for threefolds, Duke Math. J. 75 (1994), no. 1, 99--119
1994
-
[95]
Koll\'ar, Rational curves on algebraic varieties , Ergebnisse der Mathematik und ihrer Grenzgebiete
J. Koll\'ar, Rational curves on algebraic varieties , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 32 , Springer-Verlag, Berlin
-
[96]
Koll\'ar, Singularities of the Minimal Model Program , Cambridge Tracts in Mathematics 200
J. Koll\'ar, Singularities of the Minimal Model Program , Cambridge Tracts in Mathematics 200 . Cambridge University Press, Cambridge, 2013
2013
-
[97]
Koll\'ar, Log-plurigenera in stable families , Peking Math J
J. Koll\'ar, Log-plurigenera in stable families , Peking Math J. 1 (2018) no. 1, 81--107
2018
-
[98]
Koll\'ar, Relative MMP without Q -factoriality, Electronic Research Archive 29 (2021), no
J. Koll\'ar, Relative MMP without Q -factoriality, Electronic Research Archive 29 (2021), no. 5, 3193--3203
2021
-
[99]
Koll\'ar, S
J. Koll\'ar, S. Kov\'acs, Log canonical singularities are Du Bois, J. Amer. Math. Soc. 23 (2010), no. 3, 791--813
2010
-
[100]
Koll\'ar, S
J. Koll\'ar, S. Mori, Birational geometry of algebraic varieties . With the collaboration of C. H. Clemens and A. Corti. Translated from the 1998 Japanese original. Cambridge Tracts in Mathematics 134 . Cambridge University Press, Cambridge, 1998
1998
-
[101]
C. J. Lai, Varieties fibered by good minimal models, Math. Ann. 350 (2011), no. 3, 533--547
2011
-
[102]
Li, Boundedness of the vase varieties of certain fibrations, preprint (2020), arXiv:2002.06565v2
Z. Li, Boundedness of the vase varieties of certain fibrations, preprint (2020), arXiv:2002.06565v2
2020 arXiv
-
[103]
S. Lyu, T. Murayama, The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero, preprint (2022), arXiv:2209.08732v2
2022
-
[104]
Lazi\'c, T
V. Lazi\'c, T. Peternell, Abundance for varieties with many differential forms, preprint (2016), arXiv:1601.01602
2016 arXiv
-
[105]
Lazi\'c, T
V. Lazi\'c, T. Peternell, On generalized abundance, I, Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, 353--389
2020
-
[106]
Lazi\'c, N
V. Lazi\'c, N. Tsakanikas, Special MMP for log canonical generalised pairs, with an appendix joint with Xiaowei Jiang, Selecta Math. (N.S.) (2022), Article no. 89
2022
-
[107]
Lazi\'c, N
V. Lazi\'c, N. Tsakanikas, On the existence of minimal models for log canonical pairs, to appear in Publ. Res. Inst. Math. Sci
-
[108]
Lesieutre, The diminished base locus is not always closed, Compositio Math
J. Lesieutre, The diminished base locus is not always closed, Compositio Math. 150 (2014), 1729--1741
2014
-
[109]
Lesieutre, Notions of numerical Iitaka dimension do not coincide, preprint (2019), arXiv:1904.10832
J. Lesieutre, Notions of numerical Iitaka dimension do not coincide, preprint (2019), arXiv:1904.10832
2019 arXiv
-
[110]
Lehmann, Comparing numerical dimensions, Algebra Number Theory, 7 (2013), no
B. Lehmann, Comparing numerical dimensions, Algebra Number Theory, 7 (2013), no. 5, 1065--1100
2013
-
[111]
Lehmann, On Eckl's pseudo-effective reduction map, Trans
B. Lehmann, On Eckl's pseudo-effective reduction map, Trans. Amer. Math. Soc. 366 (2014), no. 3, 1525--1549
2014
-
[112]
Nakayama, Zariski-decomposition and abundance , MSJ Mem
N. Nakayama, Zariski-decomposition and abundance , MSJ Mem. 14 , Mathematical Society of Japan, Tokyo, 2004
2004
-
[113]
Okawa, On images of Mori dream spaces, Math, Ann
S. Okawa, On images of Mori dream spaces, Math, Ann. 364 (2016), no. 3-4, 1315--1342
2016
-
[114]
Reid, Commentary by M
M. Reid, Commentary by M. Reid, in 3-fold log flips, Appendix by Yujiro Kawamata: The minimal discrepancy coefficients of terminal singularities in dimension three, Russ. Acad. Sci., Izv., Math. 40 (1993), no. 1, 95--202
1993
-
[115]
V. V. Shokurov, Prelimiting flips, Tr. Mat. Inst. Steklova 240 (2003), Biratsion. Geom. Linein. Sist. Konechno Porozhdennye Algebry, 82--219; translation in Proc. Steklov Inst. Math. 2003, no. 1 (240), 75--213
2003
-
[116]
V. V. Shokurov, 3-fold log flips, Appendix by Yujiro Kawamata: The minimal discrepancy coefficients of terminal singularities in dimension three, Russ. Acad. Sci., Izv., Math. 40 (1993), no. 1, 95--202
1993
-
[117]
Shiffman, Extending analytic subvarieties, Symposium on Several Complex Variables , Lecture Notes in Mathematics, Springer, Park City, Utah, USA 1970, 208--222
B. Shiffman, Extending analytic subvarieties, Symposium on Several Complex Variables , Lecture Notes in Mathematics, Springer, Park City, Utah, USA 1970, 208--222
1970
-
[118]
Tsakanikas, Z
N. Tsakanikas, Z. Xie, Comparison and uniruledness of asymptotic base loci, to appear in Michigan Math. J
-
[119]
V. V. Shokurov, 3 -fold log models, Algebraic geometry, 4. J. Math. Sci. 81 (1996), no. 3, 2667--2699
1996
-
[120]
Viehweg, D
E. Viehweg, D. Q. Zhang, Effective Iitaka fibrations, J. Algebraic Geom., 18 (2009), 711--730
2009
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.