Notes on rational chain connectedness

Osamu Fujino

REVIEW 4 major objections 5 minor 1 cited by

Notes on rational chain connectedness

T0 review · 4 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Complex analytic klt singularities have resolution fibers that are rationally chain connected modulo the non-klt locus.

desk verdict Extends Hacon–McKernan to complex analytic spaces via the MMP; plausible and honest, but Lemma 5.2 leaves a Mori-fiber-space case unaddressed and depends on unpublished analytic MMP foundations. read the letter →

arxiv 2602.19415 v4 pith:3D6R32FJ submitted 2026-02-23 math.AG

Osamu Fujino This is my paper · ORCID

classification math.AG MSC 14E3014J1732S05

keywords rationalchainconnectednesscomplexanalyticspaceskltsingularitiesminimalmodelprogramnon-kltlocusprojectivemorphismdivisoriallogterminal

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a complex-analytic version of the rational chain connectedness theorem: for a normal complex variety X with an effective boundary Δ such that K_X+Δ is R-Cartier, a projective morphism f:X→S with -K_X f-big and -(K_X+Δ) f-semiample, every fiber of any bimeromorphic model of X is rationally chain connected modulo the preimage of the non-klt locus—that is, any two points of the fiber can be joined by a chain of rational curves whose end may lie over the singular locus. The immediate consequence is that the exceptional fibers of any resolution of a complex analytic kawamata log terminal singularity are rationally chain connected. The proof follows the broad strategy of the earlier algebraic theorem but replaces its heavy extension-theoretic estimates with a minimal model program run on a resolution, which the author presents as more accessible. If correct, this is the first full extension of the theorem to complex analytic spaces, and it shows the result is a byproduct of the MMP rather than of extension theorems.

What carries the argument

The engine of the proof is the rational-chain-connectedness criterion of Proposition 4.1 and Corollary 4.3: a projective variety is rationally chain connected modulo a subset V if and only if every dominant rational map to a projective variety either has uniruled target or has target dominated by V. The paper's new step is Lemma 5.2, which runs a (K_Y+Γ^b_τ)-minimal model program with ample scaling on a dlt resolution over X, then applies Lemma 4.4 or 4.6 to show that each component of the special fiber is rationally chain connected modulo its non-klt locus. The MMP is used as a black box from the analytic MMP literature; its role is to replace the extension-theoretic Kodaira-dimension estim

What would settle it

Find a projective morphism between complex analytic spaces for which the minimal model program with ample scaling (as stated in the cited preprint) fails to terminate, or exhibit a complex analytic klt singularity whose resolution exceptional fiber is not rationally chain connected—either would falsify the theorem or its proof.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: if X is a normal complex variety, Δ is an effective R-divisor with K_X+Δ R-Cartier, f:X→S is a projective morphism with -K_X f-big and -(K_X+Δ) f-semiample, and g:Y→X is any bimeromorphic morphism, then each connected component of every fiber of f∘g is rationally chain connected modulo g^{-1}Nklt(X,Δ). The theorem is the complex analytic analogue of the algebraic rational chain connectedness theorem. Its principal consequence, singled out in the abstract, is that the fibers of any resolution of singularities of a complex analytic kawamata log terminal singularity are rationally chain connected. The proof avoids the extension-theoretic estimate used in the al

Load-bearing premise

The proof relies on the existence and termination of the minimal model program with ample scaling for projective morphisms of complex analytic spaces (a statement from an unpublished preprint cited by the paper), and even the flips within that MMP are known to depend on extension theorems; if that MMP statement has hidden hypotheses or fails, the two-case dichotomy in the key lemma and the main theorem collapse.

Editorial extensions

If this is right

The exceptional fibers of any resolution of a complex analytic klt singularity are rationally chain connected; this is the abstract's headline consequence.
For any divisorial log terminal pair, every fiber of any bimeromorphic morphism is rationally chain connected (Corollary 1.2).
A meromorphic map from a divisorial log terminal variety to a variety containing no rational curves is necessarily a morphism (Corollary 1.4).
The algebraic applications of the theorem survive: a projective klt pair with ample -(K_X+Δ) is rationally connected, and a projective variety with -K_X-Δ ample is rationally chain connected modulo Nklt(X,Δ) (Theorems 1.6 and Corollary 4.5).
The proof shows that, in the projective case, the same conclusion can be obtained with the algebraic minimal model program, so the extension theorem is not essential to the statement.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the proof treats the analytic MMP as a black box, any future strengthening of the MMP (for instance, to log canonical pairs) would automatically extend Theorem 1.1 to those pairs; the theorem is thus a bridge from MMP progress to the topology of singularities.
The theorem implies that the link of a complex analytic klt singularity is rationally chain connected, which may constrain the fundamental group and the intersection cohomology of the link.
A natural sharpness test is to search for a pair satisfying the numerical hypotheses where some resolution fiber fails to be rationally chain connected modulo the non-klt locus; the theorem predicts none exists, so any such example would refine the optimal hypotheses.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper does exactly what it claims: it moves Hacon–McKernan's rational chain connectedness theorem to projective morphisms of complex analytic spaces, and gets the expected corollary that resolution fibers of analytic klt singularities are rationally chain connected. The new thing is the proof route — an MMP rather than the extension-theorem machinery of HM2 — and a new Lemma 5.2 that breaks the induction step. The author is honest about what is inherited: Remark 5.3 admits the existence of flips still depends on extension theorems, and that the Kodaira-dimension part of [HM2, Thm 5.1(4)] is not addressed.

The exposition is on the whole clear. The proof of Lemma 4.4, which the reader flagged, is fine: the inclusion Exc(φ) ⊂ Supp Θ^b holds because Θ includes εE† with ε>0, so the support of Θ^b is the full support. No problem there.

The real soft spot is Lemma 5.2. The MMP step invokes [F5, Lemma 9.4], an unpublished analytic MMP statement, and the text's language “over X around f^{-1}(W)” is confusing: the base of the MMP should be S, with the compact subset W ⊆ S, not a subset of X. More importantly, the case division doesn't cover a Mori fiber space output. A standard MMP with scaling can terminate with a fibering contraction. If that happens and the strict transform of F° is horizontal over the base, the argument isn't the divisorial-contraction case and Lemma 4.6 doesn't obviously apply. The text doesn't explain why this can't happen. Since Theorem 5.1(6) rests on Lemma 5.2, this needs a precise verification.

Lemma 4.6 is also too compressed. Applying Lemma 4.4 to the general fiber of φ and then concluding rational chain connectedness modulo the non-klt locus on the whole resolution is not a one-step consequence; it needs a family argument or a clearer reduction. Right now it reads as a gap, though probably a fillable one.

Overall: the strategy is coherent and the central claim is plausible; it is a genuine extension of a known theorem, with a real new proof idea. If the analytic MMP input is solid, the result is correct. The paper deserves a serious referee, and the referee should focus on Lemma 5.2's MMP case analysis and Lemma 4.6.

Referee Report

4 major / 5 minor

Summary. The paper extends Hacon–McKernan's rational chain connectedness theorem from algebraic varieties to projective morphisms between complex analytic spaces. The main theorem (Theorem 1.1) asserts that, under suitable bigness and semiampleness conditions on −K_X and −(K_X+Δ), the fibers of any bimeromorphic model of X are rationally chain connected modulo the inverse image of the non-klt locus. The proof follows the HM2 strategy but replaces the extension-theoretic input with the minimal model program developed in the author's earlier work [F5]. The paper also derives several corollaries, including rational chain connectedness of fibers of resolutions of complex analytic klt singularities.

Significance. If the proof is correct, this is a substantial advance: it brings Hacon–McKernan's theorem into the complex analytic category and demonstrates that the MMP route can substitute for the direct use of extension theorems. The paper is clearly written and gives a useful self-contained review of the relevant criteria. A notable strength is the explicit identification of the analytic MMP input, even though that input is currently only available in an unpublished preprint by the same author. The central claim is plausible, but several load-bearing steps—especially in Lemma 5.2—are not fully justified or verified against the cited MMP statement.

major comments (4)

[Lemma 5.2, Step 2] The application of [F5, Lemma 9.4] is under-specified and the base of the MMP is ambiguous. The proof says a (K_Y+Γ^b_{τ∘})-MMP is run over X around f^{-1}(W), but later checks nefness 'over f^{-1}(W)'. Since [F5] is an unpublished, self-cited preprint, the precise hypotheses of Lemma 9.4 must be stated or verified. If that lemma requires a Stein noetherian base W⊂S, then the MMP is over W and the nefness condition in case (A) should be over W, not over f^{-1}(W). As written, the text does not establish that the analytic MMP apparatus applies to this setup.
[Lemma 5.2, Step 2] The case distinction (A)/(B) is not exhaustive. A (K_{Y_m}+(Γ^b_{τ∘})_m)-MMP with scaling can terminate in a Mori fiber space, not only in a nef model or in a divisorial contraction contracting (F°)_m. The proof does not rule out this possibility. If a Mori fiber space occurs and (F°)_m is horizontal over the base, Lemma 4.6 cannot be applied as in Step 4, where (F°)_m is the exceptional divisor of a divisorial contraction. This missing case is load-bearing for Theorem 5.1(6).
[Lemma 4.4, verification of condition (4)] The assertion 'Exc(φ)⊂Supp Θ^b by construction' only gives a support inclusion. Condition (4) of Proposition 4.1 requires an effective big Q-Cartier divisor A on V with A≤Θ^b as divisors. The implication from assumption (d), Q≤Δ_W^b, to A≤Θ^b is not demonstrated. In particular, the exceptional part of φ^*Q may have coefficients not controlled by the mere support inclusion of Exc(φ). A detailed verification is needed here, since this condition is essential for the application of Corollary 4.3.
[Lemma 4.6] The proof of Lemma 4.6 is highly compressed. The sentence 'We now apply Lemma 4.4 to the general fiber of φ:X→W' does not specify which pair on the general fiber is used, how the birational morphism V→X restricts to that fiber, or why rational chain connectedness of the general fiber implies the asserted global statement on V modulo Nklt(V,Δ_V). Since Lemma 4.6 is used in Step 4 of Lemma 5.2, this gap needs to be filled.

minor comments (5)

[Section 2, Lemma 2.6] In the proof, after defining Θ, the expression for −(K_X+Θ) is correct, but the phrase 'which is f-ample' would benefit from a short justification: −(1−ε)(K_X+Δ) is f-nef and εA is f-ample, so the sum is f-ample.
[Section 4, Lemma 4.4] In the sentence 'Since Exc(φ)⊂Supp Θ^b by construction, condition (4) follows from assumption (d)', the argument is too terse even if the inclusion itself is true. Please add the divisor inequality explicitly.
[Section 5, Lemma 5.2, Step 3] The line 'the negativity lemma implies (E_{τ∘})_m = 0 over U' is stated without proof. Since this is a nontrivial point in the argument, a sentence explaining which divisors are compared and why the negativity lemma applies would improve readability.
[Throughout] The author's name 'M cKernan' is rendered with a nonstandard space; the standard formatting is 'McKernan'. This is likely a LaTeX artifact but should be corrected.
[Section 5, Theorem 5.1] In property (7), the phrase 'F_1 is rationally connected' follows from rational chain connectedness of a smooth variety; a reference to [K, Chapter IV.3.10] is already given, but the sentence could be clarified by saying that F_1 is smooth because it is a component of the SNC divisor π^{-1}(s).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central derivation reduces to an independent analytic MMP input, not to the theorem being proved.

full rationale

The paper's central claim, Theorem 1.1, is proved by converting the assumptions into a pair (X,†††) with K_X+††† ~_{Q,f} 0 and Nklt(X,†††) contained in Nklt(X,††), then invoking Theorem 5.1. Theorem 5.1 is in turn proved from Lemma 5.2, which runs a (K_Y+†††_{tau•})-MMP over X using [F5, Lemma 9.4] and then applies Lemma 4.4 or 4.6. None of these steps assumes the desired rational chain connectedness as an input: [F5] is an analytic minimal model program statement about existence and termination with scaling, independent of the target conclusion, and Lemmas 4.4/4.6 are derived from the Hacon–McKernan criterion (Proposition 4.1/Corollary 4.3) rather than from Theorem 1.1 or Theorem 5.1. There is no fitted parameter renamed as a prediction, no uniqueness theorem imported from the authors' prior work to force a choice, and no ansatz smuggled in by citation. Remark 5.3 explicitly concedes that the existence of flips depends on extension theorems; this is an external foundational dependence, not a circular reduction. The heavy reliance on the author's own preprints [F5] and [F7] is a real mathematical dependence, but because those results do not include the target statement and are parameter-free foundational inputs, it does not constitute circularity. No specific equation or derivation step reduces to its own input by construction, so the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters and no invented entities. The paper is a pure mathematics proof; its central claim rests on standard theorems plus a substantial analytic MMP foundation drawn from the author's own preprints.

assumptions (6)

domain assumption Existence and termination of (K+Γ^b)-MMP with ample scaling for projective morphisms of complex analytic spaces ([F5, Lemma 9.4]).
Used in Lemma 5.2, Step 2, to run the MMP that produces the dichotomy between Case (A) and Case (B); this is the main analytic foundational input.
standard math BDPP criterion: a smooth projective variety is uniruled iff its canonical divisor is not pseudo-effective (Theorem 2.12).
Invoked in Proposition 4.1 and Lemma 4.2 to convert non-uniruledness into pseudo-effectivity of the canonical class.
standard math The base of the maximal rationally connected fibration is not uniruled (Graber–Harris–Starr, Theorem 2.13).
Used in Lemma 4.2 to conclude that a variety whose MRC base is a point is rationally chain connected.
standard math Campana's twisted weak positivity / mixed ω-sheaves imply the Kodaira-dimension inequality in Theorem 3.1 and Theorem 3.3.
Provides the inequality κ(X, K_{X/Y}+Δ+επ^*H)≥dim Y, which is essential for Proposition 4.1 and Lemma 4.4.
standard math Hironaka and Bierstone–Milman resolution and simple normal crossing assumptions hold in the complex analytic setting ([BM], [H]).
Used throughout Theorem 5.1 to choose a resolution g:Y→X such that the exceptional locus and relevant divisors are SNC.
standard math The negativity lemma for analytic MMP contractions.
Invoked in Lemma 5.2, Case (A), to conclude (E_{τ∘})_m=0 over U and in Case (B) to compare discrepancies.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Notes on rational chain connectedness." pith.science (2026). https://pith.science/paper/3D6R32FJ

@misc{pith2026260219415,
  author       = {Pith},
  title        = {Pith review of: Notes on rational chain connectedness},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3D6R32FJ}},
  note         = {Machine review of arXiv:2602.19415}
}

read the original abstract

We extend Hacon--M\textsuperscript{c}Kernan's rational chain connectedness theorem to the complex analytic setting. As a consequence, we prove that the fibers of any resolution of singularities of complex analytic kawamata log terminal singularities are rationally chain connected. In contrast to the original approach, we avoid the use of extension theorems and instead rely on the minimal model program.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Hyperk\"ahler sixfolds, abelian fourfolds of Weil type and a Hodge class
math.AG 2026-07 conditional novelty 5.0 of 10

The Hodge–Weil classes of a general abelian fourfold of discriminant one are algebraic because they are pulled back from the second Chern class of a projective six-dimensional hyperkähler manifold containing its Kumme...

Reference graph

Works this paper leans on

19 extracted references · 2 linked inside Pith · cited by 1 Pith paper

[1]

Abramovich, J

D. Abramovich, J. Denef, K. Karu, Weak toroidalization over non-closed fields, Manuscripta Math. 142 (2013), no. 1-2, 257--271

2013
[2]

Abramovich, K

D. Abramovich, K. Karu, Weak semistable reduction in characteristic 0, Invent. Math. 139 (2000), no. 2, 241--273

2000
[3]

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
[4]

Bierstone, P

E. Bierstone, P. D. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (1997), no. 2, 207--302

1997
[5]

Boucksom, J.-P

S. Boucksom, J.-P. Demailly, M. P aun, 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
[6]

Debarre, Higher-dimensional algebraic geometry , Universitext

O. Debarre, Higher-dimensional algebraic geometry , Universitext. Springer-Verlag, New York, 2001

2001
[7]

Fujino, Foundations of the minimal model program , MSJ Memoirs, 35

O. Fujino, Foundations of the minimal model program , MSJ Memoirs, 35. Mathematical Society of Japan, Tokyo, 2017

2017
[8]

Fujino, Notes on the weak positivity theorems, Algebraic varieties and automorphism groups , 73--118, Adv

O. Fujino, Notes on the weak positivity theorems, Algebraic varieties and automorphism groups , 73--118, Adv. Stud. Pure Math., 75, Math. Soc. Japan, Tokyo, 2017

2017

Show all 19 references

[9]

Fujino, On mixed- -sheaves, Asian J

O. Fujino, On mixed- -sheaves, Asian J. Math. 28 (2024), no. 2, 197--242

2024
[10]

Fujino, Cone theorem and Mori hyperbolicity, J

O. Fujino, Cone theorem and Mori hyperbolicity, J. Differential Geom. 129 (2025), no. 3, 617--693

2025
[11]

Fujino, Minimal model program for projective morphisms between complex analytic spaces, preprint (2022)

O. Fujino, Minimal model program for projective morphisms between complex analytic spaces, preprint (2022). arXiv:2201.11315 [math.AG]

2022 arXiv
[12]

Fujino, Cone and contraction theorem for projective morphisms between complex analytic spaces , MSJ Memoirs, 42

O. Fujino, Cone and contraction theorem for projective morphisms between complex analytic spaces , MSJ Memoirs, 42. Mathematical Society of Japan, Tokyo, 2024

2024
[13]

Fujino, On quasi-log structures for complex analytic spaces, preprint (2022)

O. Fujino, On quasi-log structures for complex analytic spaces, preprint (2022). arXiv:2209.11401 [math.AG]

2022 arXiv
[14]

Graber, J

T. Graber, J. Harris, J. Starr, Families of rationally connected varieties, J. Amer. Math. Soc. 16 (2003), no. 1, 57--67

2003
[15]

C. D. Hacon, J. M c Kernan, Boundedness of pluricanonical maps of varieties of general type, Invent. Math. 166 (2006), no. 1, 1--25

2006
[16]

C. D. Hacon, J. M c Kernan, On Shokurov's rational connectedness conjecture, Duke Math. J. 138 (2007), no. 1, 119--136

2007
[17]

C. D. Hacon, J. M c Kernan, Existence of minimal models for varieties of log general type. II, J. Amer. Math. Soc. 23 (2010), no. 2, 469--490

2010
[18]

Hironaka, Flattening theorem in complex-analytic geometry, Amer

H. Hironaka, Flattening theorem in complex-analytic geometry, Amer. J. Math. 97 (1975), 503--547

1975
[19]

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 [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], 32. Springer-Verlag, B...

1996

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [1]

Abramovich, J

D. Abramovich, J. Denef, K. Karu, Weak toroidalization over non-closed fields, Manuscripta Math. 142 (2013), no. 1-2, 257--271

2013

[2] [2]

Abramovich, K

D. Abramovich, K. Karu, Weak semistable reduction in characteristic 0, Invent. Math. 139 (2000), no. 2, 241--273

2000

[3] [3]

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

[4] [4]

Bierstone, P

E. Bierstone, P. D. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (1997), no. 2, 207--302

1997

[5] [5]

Boucksom, J.-P

S. Boucksom, J.-P. Demailly, M. P aun, 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

[6] [6]

Debarre, Higher-dimensional algebraic geometry , Universitext

O. Debarre, Higher-dimensional algebraic geometry , Universitext. Springer-Verlag, New York, 2001

2001

[7] [7]

Fujino, Foundations of the minimal model program , MSJ Memoirs, 35

O. Fujino, Foundations of the minimal model program , MSJ Memoirs, 35. Mathematical Society of Japan, Tokyo, 2017

2017

[8] [8]

Fujino, Notes on the weak positivity theorems, Algebraic varieties and automorphism groups , 73--118, Adv

O. Fujino, Notes on the weak positivity theorems, Algebraic varieties and automorphism groups , 73--118, Adv. Stud. Pure Math., 75, Math. Soc. Japan, Tokyo, 2017

2017