pith. sign in

arxiv: 2407.18491 · v2 · submitted 2024-07-26 · 🧮 math.AG

Deformation rigidity for projective manifolds and isotriviality of smooth families

Mu-Lin Li , Xiao-Lei Liu This is my paper

Pith reviewed 2026-05-23 23:31 UTC · model grok-4.3

classification 🧮 math.AG
keywords deformation rigidityisotrivialityprojective manifoldssemiample canonical bundleKähler morphismParshin-Arakelov criterionbirational isotriviality
0
0 comments X

The pith

If the canonical line bundle of a projective manifold is semiample, then smooth Kähler families with generic fiber biholomorphic to it have all fibers identical.

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

The paper establishes that a proper smooth Kähler morphism from a complex manifold to the unit polydisc, where most fibers are biholomorphic to a fixed projective manifold S with semiample canonical bundle, must have every fiber biholomorphic to S. A sympathetic reader would care because this provides a rigidity result that prevents non-trivial deformations in such families. It also shows that birational isotriviality is the same as isotriviality under this condition and gives a new criterion for isotriviality of the Parshin-Arakelov type.

Core claim

Let π: X → Δ^m be a proper smooth Kähler morphism from a complex manifold X to the unit polydisc Δ^m. Suppose the fibers over the complement of a proper analytic subset are biholomorphic to a fixed projective manifold S. If the canonical line bundle of S is semiample, then all fibers over Δ^m are biholomorphic to S.

What carries the argument

the semiample condition on the canonical line bundle of the fixed projective manifold S, which enables the deformation rigidity conclusion for the family

If this is right

  • All fibers in the family are biholomorphic to S.
  • For smooth families with semiample canonical bundle on the generic fiber, birational isotriviality equals isotriviality.
  • A new Parshin-Arakelov type isotriviality criterion holds for these families.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This result may connect to questions about the structure of moduli spaces for varieties with semiample canonical bundles.
  • Extensions to bases other than the polydisc could be explored in future work.
  • The equivalence of birational and actual isotriviality might apply to classification problems in algebraic geometry.

Load-bearing premise

The assumption that the canonical line bundle of S is semiample is required for the isotriviality conclusion to hold.

What would settle it

A counterexample consisting of a smooth Kähler family over the polydisc where the generic fiber is biholomorphic to S with semiample canonical bundle, but some special fiber is not biholomorphic to S.

read the original abstract

Let $\pi\cln X\to \Delta^m$ be a proper smooth K\"ahler morphism from a complex manifold $X$ to the unit polydisc $\Delta^m$. Suppose the fibers over the complement of a proper analytic subset are biholomorphic to a fixed projective manifold $S$. If the canonical line bundle of $S$ is semiample, then we show that all fibers over $\Delta^m$ are biholomorphic to $S$. As an application, we obtain that for smooth families where the canonical line bundle of the generic fiber is semiample, birational isotriviality is equivalent to isotriviality. Moreover, we establish a new Parshin-Arakelov type isotriviality criterion.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves a deformation rigidity result: Let π: X → Δ^m be a proper smooth Kähler morphism from a complex manifold X to the unit polydisc. If the fibers over the complement of a proper analytic subset are biholomorphic to a fixed projective manifold S with semiample canonical bundle K_S, then all fibers over Δ^m are biholomorphic to S. Applications include the equivalence of birational isotriviality and isotriviality for smooth families with semiample canonical bundle on the generic fiber, plus a new Parshin-Arakelov type isotriviality criterion. The argument reduces via the Iitaka fibration of S to lower-dimensional rigidity results.

Significance. If the result holds, it gives a clean criterion for isotriviality in Kähler families of projective manifolds under the semiample hypothesis on K_S, by producing the Iitaka fibration and reducing the deformation problem to known rigidity statements on lower-dimensional bases. Properness of the morphism is used to extend holomorphic maps across the analytic subset. The equivalence between birational and actual isotriviality, together with the Parshin-Arakelov application, are direct consequences. The semiample hypothesis is explicitly load-bearing and not claimed to be removable.

minor comments (2)
  1. [Abstract] The abstract states the main theorem clearly but does not indicate the range of m or note that the result is local on the base; a parenthetical remark on the local nature would help readers.
  2. [Abstract] In the application paragraph, the phrase 'birational isotriviality is equivalent to isotriviality' would benefit from a one-sentence reminder of the precise definitions used for each term.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a theorem under the explicit hypothesis that the canonical bundle of S is semiample, then reduces the isotriviality question via the Iitaka fibration to lower-dimensional cases where standard rigidity results apply. The derivation relies on properness of the morphism and extension properties of holomorphic maps, none of which are defined in terms of the conclusion or fitted to the target data. No self-citation chain is invoked to justify a uniqueness claim, and no step renames a fitted quantity as a prediction. The argument is therefore self-contained against external benchmarks in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are identifiable. The semiample condition on the canonical bundle is a standard domain assumption rather than an ad-hoc invention.

pith-pipeline@v0.9.0 · 5645 in / 1240 out tokens · 24522 ms · 2026-05-23T23:31:08.239733+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

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

  1. Local isomorphisms for families of projective non-unruled manifolds

    math.AG 2026-05 unverdicted novelty 6.0

    Pointwise isomorphic smooth families of projective non-uniruled manifolds over a Riemann surface are locally isomorphic over a dense open subset of the base.

  2. Locally rigid implies globally rigid in Kahler geometry

    math.AG 2026-04 unverdicted novelty 5.0

    Local triviality at one point with non-uniruled fiber implies all fibers isomorphic in smooth families of compact Kähler manifolds over the disk.

  3. Locally rigid implies globally rigid in Kahler geometry

    math.AG 2026-04 unverdicted novelty 5.0

    Local triviality at one point in a family of non-uniruled compact Kahler manifolds implies all fibers are mutually isomorphic.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · cited by 2 Pith papers

  1. [1]

    S., Families of algebraic curves with fixed degeneracies , Izv

    Arakelov, Ju. S., Families of algebraic curves with fixed degeneracies , Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971), 1269-1293

    work page 1971

  2. [2]

    II (S´ em

    Barlet, D., Esapce analytique r´ eduit des cycles analytiques complexes compacts d’un espace analytique complexe de dimension finie , in Fonctions de Plusieurs Variables Complexes. II (S´ em. Franois Norguet, 1974-1975), Lecture Notes in Mat h. 482, Springer-Verlag, New York (1975), 1-158

    work page 1974

  3. [3]

    A., B¨ ohning, C., Graf von Bothmer, H.-C., Birationally isotrivial fiber spaces, Europ

    Bogomolov, F. A., B¨ ohning, C., Graf von Bothmer, H.-C., Birationally isotrivial fiber spaces, Europ. J. Math. 2 (2016), no.1, 45-54

    work page 2016

  4. [4]

    Barlet, D., Two semi-continuity results for the algebraic dimension of compact complex manifolds, J. Math. Sci. Univ. Tokyo 22 (2015), no. 1, 39-54. 20 MU-LIN LI, XIAO-LEI LIU

    work page 2015

  5. [5]

    205 (2010), no

    Boucksom, S., Eyssidieux, P., Guedj, V., Zeriahi, A., Monge-Amp` ere equations in big cohomology classes, Acta Math. 205 (2010), no. 2, 199-262

    work page 2010

  6. [6]

    Algebraic Geom

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

    work page 2013

  7. [7]

    Algebraic Geom

    Boucksom, S., Favre, C., Jonsson, M., Differentiability of volumes of divisors and a problem of Teissier , J. Algebraic Geom. 18 (2009), no. 2, 279-308

    work page 2009

  8. [8]

    F., Augmented base loci and restricted volumes on normal varieties , Math

    Boucksom, S., Cacciola, S., Lopez, A. F., Augmented base loci and restricted volumes on normal varieties , Math. Z. 278 (2014), no. 3-4, 979-985

    work page 2014

  9. [9]

    Bott, R., Homogeneous vector bundles , Ann. Math. 66 (1957), 203-248

    work page 1957

  10. [10]

    Buium, A., Differential algebra and Diophantine geometry , Chapter 2, Hermann, Paris, 1994

    work page 1994

  11. [11]

    N., Duality between the pseudoeffective and the movable cone on a projective manifold, With an appendix by S

    David, W. N., Duality between the pseudoeffective and the movable cone on a projective manifold, With an appendix by S. Boucksom, J. Amer. Math. Soc. 32 (2019 ), no. 3, 675-689

    work page 2019

  12. [12]

    Ein, L., Lazarsfeld, R., Mustata, M., Nakamaye, M., Pop a, M., Asymptotic invariants of base loci, Ann. Inst. Fourier (Grenoble) 56 (2006), no. 6, 1701-1734

    work page 2006

  13. [13]

    Berlin, Heidelberg: Springer 1991, 53- 80

    Esnault, H., Viehweg, E., Ample sheaves on moduli schemes , Algebraic Geometry and Analytic Geometry. Berlin, Heidelberg: Springer 1991, 53- 80

    work page 1991

  14. [14]

    Filipazzi, S., Svaldi, R., Invariance of plurigenera and boundedness for generalized pairs, Mat. Contemp. 47 (2020), 114-150

    work page 2020

  15. [15]

    Fujiki, A., Closedness of the Douady spaces of compact K¨ ahler spaces , Publ. Res. Inst. Math. Sci. 14 (1978/79), no. 1, 1-52

    work page 1978

  16. [16]

    Forster, O., Lectures on Riemann Surfaces , Graduate Texts in Mathematics, vol. 81. Springer, New York. Translated from the 1977 German origina l by Bruce Gilligan, Reprint of the 1981 English translation (1991)

    work page 1977

  17. [17]

    Huybrechts, D., Complex geometry An introduction , Universitext, Springer-Verlag, Berlin, 2005

    work page 2005

  18. [18]

    Hwang, J.-M., Mok, N., Rigidity of irreducible Hermitian symmetric spaces of the c ompact type under K¨ ahler deformation, Invent. Math. 131 (1998), no. 2, 393-418

    work page 1998

  19. [19]

    Hwang, J.-M., Mok, N., Deformation rigidity of the rational homogeneous space ass ociated to a long simple root , Ann. Scient. Ec. Norm. Sup. 35 (2002), no. 2, 173-184

    work page 2002

  20. [20]

    Hwang, J.-M., Mok, N., Prolongations of infinitesimal linear automorphisms of pro jective varieties and rigidity of rational homogeneous spaces of Pi card number 1 under K¨ ahler deformation, Invent. Math. 160 (2005), no. 3, 591-645

    work page 2005

  21. [21]

    Reine Angew

    Kawamata, Y., Minimal models and the Kodaira dimension of algebraic fiber s paces, J. Reine Angew. Math. 363 (1985), 1-46

    work page 1985

  22. [22]

    Kawamata, Y., Pluricanonical systems on minimal algebraic varieties , Invent. Math. 79 (1985), no. 3, 567-588

    work page 1985

  23. [23]

    Keel, S., Matsuki, K., McKernan, J., Log abundance theorem for threefolds , Duke Math. J. 75 (1994), 99-119

    work page 1994

  24. [24]

    Klimek, M., Pluripotential theory, London Mathematical Society Monographs, New Series,

    work page

  25. [25]

    Oxford Science Publications, 1991

    work page 1991

  26. [26]

    Kodaira, K., Spencer, D., On deformations of complex analytic structures, II , Ann. Math. 67 (1958), 403-466

    work page 1958

  27. [27]

    Stabi lity theorems for complex structures , Ann

    Kodaira, K., Spencer, D., On deformations of complex analytic structures, III. Stabi lity theorems for complex structures , Ann. Math. 71 (1960), 43-76

    work page 1960

  28. [28]

    10, Algebraic Geometry Sendai 85

    Koll´ ar, J.,Subadditivity of the Kodaira dimension: Fibers of general t ype, Advanced Stud- ies in Pure Math. 10, Algebraic Geometry Sendai 85. Kinokuni ya-North Holland, 1987, 361-398

    work page 1987

  29. [29]

    J., Smooth families over rational and elliptic curves , J

    Kov´ acs, S. J., Smooth families over rational and elliptic curves , J. Algebraic Geom. 5 (1996), no. 2, 369-385

    work page 1996

  30. [30]

    J., Logarithmic vanishing theorems and Arakelov-Parshin boun dedness for sin- gular varieties , Compositio Math

    Kov´ acs, S. J., Logarithmic vanishing theorems and Arakelov-Parshin boun dedness for sin- gular varieties , Compositio Math. 131 (2002), no. 3, 291-317

    work page 2002

  31. [31]

    J., Families of varieties of general type: the Shafarevich conj ecture and related problems, Higher dimensional varieties and rational points (Budape st, 2001), Bolyai Soc

    Kov´ acs, S. J., Families of varieties of general type: the Shafarevich conj ecture and related problems, Higher dimensional varieties and rational points (Budape st, 2001), Bolyai Soc. Math. Stud., vol. 12, Springer, Berlin, 2003, pp. 133-167

    work page 2001

  32. [32]

    Li, M.-L., A note on holomorphic families of Abelian varieties , Proc. Amer. Math. Soci. 150 (2022), no. 4, 1449-1454. 21

    work page 2022

  33. [33]

    Matsusaka, T., Mumford, D., Two fundamental theorems on deformations of polarized varieties, Amer. J. Math. 86 (1964), 668-684

    work page 1964

  34. [34]

    N., Algebraic curves over function fields I , Math

    Parshin, A. N., Algebraic curves over function fields I , Math. SSSR Izv. 2 (1968), 1145- 1170

    work page 1968

  35. [35]

    Popovici, D., Deformation limits of projective manifolds: Hodge numbers and strongly Gauduchon metrics , Invent. Math. 194 (2013), no. 3, 515-534

    work page 2013

  36. [36]

    Rao, S., Tsai, I., Deformation limit and bimeromorphic embedding of Moishezo n manifolds, Commun. Contemp. Math. 23 (2021), no. 8, Paper No. 2050087, 5 0 pp

    work page 2021

  37. [37]

    Rao, S., Tsai, I., Invariance of plurigenera and Chow-type lemma , Asian J. Math. 26 (2022), no. 4, 507-554

    work page 2022

  38. [38]

    Rao, S., Zhao, Q., Several special complex structures and their deformation p roperties, J. Geom. Anal. 28 (2018), no. 4, 2984-3047

    work page 2018

  39. [39]

    Siu, Y.-T., An effective Matsusaka big theorem , Ann. Inst. Fourier (Grenoble) 43 (1993), no. 5, 1387-1405

    work page 1993

  40. [40]

    Reine Angew

    Siu, Y.-T., Nondeformability of the complex projective space , J. Reine Angew. Math. 399 (1989), 208-219

    work page 1989

  41. [41]

    Siu, Y.-T., Invariance of plurigenera , Invent. Math. 134 (1998), no. 3, 661-673

    work page 1998

  42. [42]

    Siu, Y.-T., Extension of twisted pluricanonical sections with plurisu bharmonic weight and invariance of semipositively twisted plurigenera for mani folds not necessarily of general type, Complex geometry (G¨ ottingen, 2000), 223-277, Springer, Berlin, 2002

    work page 2000

  43. [43]

    Viehweg, E., Quasi-projective quotients by compact equivalence relati ons, Math. Ann. 289 (1991), no. 2, 297-314

    work page 1991

  44. [44]

    Notes, vol

    Viehweg, E., Positivity of direct image sheaves and applications to fami lies of higher di- mensional manifolds , School on Vanishing Theorems and Effective Results in Algeb raic Geometry (Trieste, 2000), ICTP Lect. Notes, vol. 6, Abdus Sa lam Int. Cent. Theoret. Phys., Trieste, 2001, pp. 249-284

    work page 2000

  45. [45]

    Algebraic Geom

    Viehweg, E., Zuo, K., On the isotriviality of families of projective manifolds ov er curves , J. Algebraic Geom. 10 (2001), no. 4, 781-799

    work page 2001

  46. [46]

    Viehweg, E., Zuo, K., Base spaces of non-isotrivial families of smooth minimal mo dels, Complex geometry (G¨ ottingen, 2000), Springer, Berlin, 20 02, pp. 279-328

    work page 2000

  47. [47]

    Voisin, C., Hodge theory and complex algebraic geometry. I. Translated from the French by Leila Schneps , Cambridge Studies in Advanced Mathematics, 76, Cambridge University Press, Cambridge, 2007

    work page 2007

  48. [48]

    172 (2023), no

    W ei, C., W u, L., Isotriviality of smooth families of varieties of general ty pe, Manuscripta Math. 172 (2023), no. 1-2, 139-168. School of Mathematics, Hunan University, China E-mail address: mulin@hnu.edu.cn School of Mathematical Sciences, Dalian University of Tech nology, China E-mail address: xlliu1124@dlut.edu.cn

    work page 2023