The limits of Kahler manifolds under holomorphic deformations

Mu-Lin Li; Wanmin Liu

arxiv: 2406.14076 · v3 · submitted 2024-06-20 · 🧮 math.AG

The limits of Kahler manifolds under holomorphic deformations

Mu-Lin Li , Wanmin Liu This is my paper

Pith reviewed 2026-05-24 00:37 UTC · model grok-4.3

classification 🧮 math.AG

keywords Kähler manifoldsholomorphic deformationslimits of manifoldsKähler conditioncomplex geometrydeformation theoryalgebraic geometry

0 comments

The pith

The limit of Kähler manifolds under holomorphic deformation remains Kähler with mild assumptions on the central fiber.

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

This paper establishes that Kähler manifolds remain Kähler when taking limits in holomorphic deformation families, provided the central fiber meets mild metric and topological conditions. A sympathetic reader would value this because it allows the Kähler property to be inherited without extra verification in many deformation scenarios. It matters for understanding how geometric structures behave under degeneration in complex manifolds. The result clarifies the stability of the Kähler condition in such limits.

Core claim

With some mild assumptions on metric and topology of the central fiber, the limit of Kähler manifolds under holomorphic deformation is still Kähler.

What carries the argument

The preservation of the Kähler property through the holomorphic deformation limit, relying on the central fiber's conditions.

If this is right

The Kähler condition persists in the limit space for families meeting the assumptions.
Positivity properties tied to the Kähler form carry over to the limiting manifold.
Geometric results that require a Kähler structure apply directly to these deformation limits.

Where Pith is reading between the lines

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

The result may help identify closed subsets within spaces of complex structures where the Kähler property is stable.
Explicit computations on low-dimensional examples could clarify how the mild assumptions are verified in practice.

Load-bearing premise

The central fiber satisfies mild but unspecified assumptions on its metric and topology that suffice to keep the limit Kähler.

What would settle it

Constructing a holomorphic deformation of Kähler manifolds where the central fiber meets the mild assumptions but the limit manifold fails to admit a Kähler metric.

read the original abstract

With some mild assumptions on metric and topology of the central fiber, we prove that the limit of Kahler manifolds under holomorphic deformation is still Kahler.

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.

Desk Editor's Note private letter to a colleague

The abstract claims that Kähler manifolds stay Kähler in holomorphic deformation limits under unspecified mild assumptions on the central fiber, but supplies no proof or details so the claim cannot be checked.

read the letter

The one thing to know is that this paper asserts a stability result for the Kähler property in limits of holomorphic families, provided some mild metric and topological assumptions hold on the central fiber. The abstract gives no further information about what those assumptions are or how the argument works. In complex geometry this kind of statement would matter for moduli questions if the details checked out, but nothing here lets us see whether they do. The paper does not appear to engage with prior literature on deformation theory or Kähler classes in families, at least not in any visible way. No new technique, no explicit statement of the assumptions, and no outline of the proof are supplied. The central claim therefore rests entirely on an unstated step: whatever the mild assumptions are must be strong enough to keep the Kähler class from degenerating and to preserve the dd^c-lemma in the limit, yet weak enough to be useful. Without seeing those assumptions listed and verified, the logical gap between the family and the conclusion stays unbridgeable. This is not a finished piece of mathematics. It reads like a preliminary note or a title waiting for content. Specialists working on holomorphic deformations might glance at it out of curiosity, but no one can extract a usable result or a citable argument from what is written. I would not bring it to a reading group, would not cite it, and would not send it to referees until a complete manuscript with explicit assumptions and a verifiable proof is available.

Referee Report

2 major / 0 minor

Summary. The manuscript asserts that, with some mild assumptions on the metric and topology of the central fiber, the limit of Kähler manifolds under holomorphic deformation remains Kähler.

Significance. If a complete proof with explicitly stated assumptions were supplied, the result could clarify preservation of the Kähler condition in deformation families, a topic of interest in complex geometry. As written, however, the claim supplies neither the assumptions nor any derivation, so no assessment of significance is possible.

major comments (2)

[Abstract] Abstract: the central claim depends on unspecified 'mild assumptions' on the central fiber's metric and topology; without an explicit list of these assumptions it is impossible to check whether they suffice to prevent degeneration of the Kähler class or failure of the dd^c-lemma in the limit.
[Abstract] Abstract: the text states that a proof exists but provides neither the proof, any lemmas, nor supporting calculations, rendering the soundness of the mathematics unverifiable.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the comments. We agree that the abstract is insufficiently precise and that the manuscript as submitted does not contain the explicit assumptions or the proof, both of which are required for a verifiable mathematical claim. We will revise the manuscript to address these deficiencies.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim depends on unspecified 'mild assumptions' on the central fiber's metric and topology; without an explicit list of these assumptions it is impossible to check whether they suffice to prevent degeneration of the Kähler class or failure of the dd^c-lemma in the limit.

Authors: We accept the criticism. The phrase 'mild assumptions' was left undefined in the submitted version. In the revision we will state the precise conditions on the metric and topology of the central fiber (including non-degeneration of the Kähler class and validity of the dd^c-lemma in the limit) and verify that they are sufficient for the claimed conclusion. revision: yes
Referee: [Abstract] Abstract: the text states that a proof exists but provides neither the proof, any lemmas, nor supporting calculations, rendering the soundness of the mathematics unverifiable.

Authors: The submitted text is only a one-sentence announcement. We agree that a complete argument, including the necessary lemmas and calculations, must be supplied. The revised manuscript will contain the full proof (or, at minimum, a detailed outline with all key steps) so that the mathematics can be checked. revision: yes

Circularity Check

0 steps flagged

No circularity; theorem stated without exhibited derivation chain

full rationale

The provided text consists solely of an abstract stating that, under unspecified mild assumptions on the metric and topology of the central fiber, the limit of Kähler manifolds under holomorphic deformation remains Kähler. No equations, derivation steps, self-citations, ansatzes, or fitted parameters are exhibited that could reduce the claimed result to its inputs by construction. Standard mathematical proofs in this area rely on background results from complex geometry; absent any load-bearing reduction to self-definition or self-citation, the derivation (if present in the full manuscript) is treated as self-contained. The vagueness of the assumptions affects result strength but does not create circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract supplies no information on free parameters, background axioms, or newly introduced entities.

pith-pipeline@v0.9.0 · 5527 in / 1087 out tokens · 32261 ms · 2026-05-24T00:37:40.110429+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.2 ... Assume that X0 equips with a metric ω satisfying ∂∂ω=0, ∂ω∧∂ω=0. h^{0,2}_∂(X0)=h^{0,2}_∂(Xt) ... Then X0 is a Kähler manifold.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lemma 3.11 ... construct closed positive (1,1)-current T on X0 with ∫ T^n_ac >0 ... using Barlet cycle space and parallel transport under ∇^{1,1}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 3 Pith papers

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

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.
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.
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

19 extracted references · 19 canonical work pages · cited by 2 Pith papers · 2 internal anchors

[1]

Cohomological aspects in complex non-K¨ ahler geometry, Lecture Notes in Mathematics, 2095

Angella, D. Cohomological aspects in complex non-K¨ ahler geometry, Lecture Notes in Mathematics, 2095. Springer, Cham, 2014

work page 2095
[2]

Two semi-continuity results for the algebraic dimension of compact complex manifolds, J

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

work page 2015
[3]

Compact complex surfaces, Springer- Verlag, 2004

Barth, W., Hulek, K., Peters, C., Van de Ven, A. Compact complex surfaces, Springer- Verlag, 2004

work page 2004
[4]

Conditions for the analyticity of certain sets , Michigan Math

Bishop, E. Conditions for the analyticity of certain sets , Michigan Math. J. 11 (1964), 289–304

work page 1964
[5]

On the volume of a line bundle , Internat

Boucksom, S. On the volume of a line bundle , Internat. J. Math. 13 (2002), no. 10, 1043–1063

work page 2002
[6]

On compact K¨ ahler surfaces, Ann

Buchdahl, N. On compact K¨ ahler surfaces, Ann. Inst. Fourier 49 (1999), no. 1, 287– 302

work page 1999
[7]

Obstructions to the existence of K¨ ahler structures on comp act complex manifolds, Proc

Chiose, I. Obstructions to the existence of K¨ ahler structures on comp act complex manifolds, Proc. Amer. Math. Soc. 142 (2014), no. 10, 3561–3568

work page 2014
[8]

Demailly, J-P., P˘ aun, M.Numerical characterization of the K¨ ahler cone of a compact K¨ ahler manifold, Ann. of Math. (2) 159 (2004), no. 3, 1247–1274

work page 2004
[9]

Closedness of the Douady spaces of compact Kahler spaces , Publ

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

work page 1978
[10]

On deformations of complex analytic structures, III

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

work page 1960
[11]

Courants k¨ ahl´ eriens et surfaces compactes, Ann

Lamari, A. Courants k¨ ahl´ eriens et surfaces compactes, Ann. Inst. Fourier (Grenoble) 49 (1999), no. 1, 263–285

work page 1999
[12]

On the Bott-Chern cohomology and balanced Hermitian nilmanifolds , Internat

Latorre, A., Ugarte, L., Villacampa, R. On the Bott-Chern cohomology and balanced Hermitian nilmanifolds , Internat. J. Math. 25 (2014), no. 6, 1450057, 24 pp

work page 2014
[13]

Bott-Chern-Aeppli, Dolbeault, and Fr¨ olicher on compact complex 3-folds Riv

McHugh, A. Bott-Chern-Aeppli, Dolbeault, and Fr¨ olicher on compact complex 3-folds Riv. Math. Univ. Parma (N.S.) 10 (2019), no. 1, 25–62

work page 2019
[14]

Deformation limits of projective manifolds: Hodge numbers and strongly Gauduchon metrics , Invent

Popovici, D. Deformation limits of projective manifolds: Hodge numbers and strongly Gauduchon metrics , Invent. Math. 194 (2013), no. 3, 515–534. 12 MU-LIN LI AND W ANMIN LIU

work page 2013
[15]

Limits of Moishezon Manifolds under Holomorphic Deformations

Popovici, D. Limits of Moishezon manifolds under holomorphic deformati ons, arXiv:1003.3605 [math.AG]

work page internal anchor Pith review Pith/arXiv arXiv
[16]

Deformation limit and bimeromorphic embedding of Moishezo n manifolds, Commun

Rao, S., Tsai, I-H. Deformation limit and bimeromorphic embedding of Moishezo n manifolds, Commun. Contemp. Math. 23 (2021), no. 8, 2050087, 50 pp

work page 2021
[17]

Autour de la cohomologie de Bott-Chern

Schweitzer, M. Autour de la cohomologie de Bott-Chern , preprint (2007), arXiv: 0709.3528v1 [math.AG]

work page internal anchor Pith review Pith/arXiv arXiv 2007
[18]

Every K3 Surface is K¨ ahler, Invent

Siu, Y. Every K3 Surface is K¨ ahler, Invent. Math. 73 (1983), 139–150

work page 1983
[19]

On the volume of a pseudo-eﬀective class and semi-positive pr operties of the Harder-Narasimhan ﬁltration on a compact Hermitian manifo ld, Ann

Wang, Z. On the volume of a pseudo-eﬀective class and semi-positive pr operties of the Harder-Narasimhan ﬁltration on a compact Hermitian manifo ld, Ann. Polon. Math. 117 (2016), no. 1, 41–58. School of Mathematics, Hunan University, China Email address : mulin@hnu.edu.cn Email address : wanminliu@gmail.com

work page 2016

[1] [1]

Cohomological aspects in complex non-K¨ ahler geometry, Lecture Notes in Mathematics, 2095

Angella, D. Cohomological aspects in complex non-K¨ ahler geometry, Lecture Notes in Mathematics, 2095. Springer, Cham, 2014

work page 2095

[2] [2]

Two semi-continuity results for the algebraic dimension of compact complex manifolds, J

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

work page 2015

[3] [3]

Compact complex surfaces, Springer- Verlag, 2004

Barth, W., Hulek, K., Peters, C., Van de Ven, A. Compact complex surfaces, Springer- Verlag, 2004

work page 2004

[4] [4]

Conditions for the analyticity of certain sets , Michigan Math

Bishop, E. Conditions for the analyticity of certain sets , Michigan Math. J. 11 (1964), 289–304

work page 1964

[5] [5]

On the volume of a line bundle , Internat

Boucksom, S. On the volume of a line bundle , Internat. J. Math. 13 (2002), no. 10, 1043–1063

work page 2002

[6] [6]

On compact K¨ ahler surfaces, Ann

Buchdahl, N. On compact K¨ ahler surfaces, Ann. Inst. Fourier 49 (1999), no. 1, 287– 302

work page 1999

[7] [7]

Obstructions to the existence of K¨ ahler structures on comp act complex manifolds, Proc

Chiose, I. Obstructions to the existence of K¨ ahler structures on comp act complex manifolds, Proc. Amer. Math. Soc. 142 (2014), no. 10, 3561–3568

work page 2014

[8] [8]

Demailly, J-P., P˘ aun, M.Numerical characterization of the K¨ ahler cone of a compact K¨ ahler manifold, Ann. of Math. (2) 159 (2004), no. 3, 1247–1274

work page 2004

[9] [9]

Closedness of the Douady spaces of compact Kahler spaces , Publ

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

work page 1978

[10] [10]

On deformations of complex analytic structures, III

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

work page 1960

[11] [11]

Courants k¨ ahl´ eriens et surfaces compactes, Ann

Lamari, A. Courants k¨ ahl´ eriens et surfaces compactes, Ann. Inst. Fourier (Grenoble) 49 (1999), no. 1, 263–285

work page 1999

[12] [12]

On the Bott-Chern cohomology and balanced Hermitian nilmanifolds , Internat

Latorre, A., Ugarte, L., Villacampa, R. On the Bott-Chern cohomology and balanced Hermitian nilmanifolds , Internat. J. Math. 25 (2014), no. 6, 1450057, 24 pp

work page 2014

[13] [13]

Bott-Chern-Aeppli, Dolbeault, and Fr¨ olicher on compact complex 3-folds Riv

McHugh, A. Bott-Chern-Aeppli, Dolbeault, and Fr¨ olicher on compact complex 3-folds Riv. Math. Univ. Parma (N.S.) 10 (2019), no. 1, 25–62

work page 2019

[14] [14]

Deformation limits of projective manifolds: Hodge numbers and strongly Gauduchon metrics , Invent

Popovici, D. Deformation limits of projective manifolds: Hodge numbers and strongly Gauduchon metrics , Invent. Math. 194 (2013), no. 3, 515–534. 12 MU-LIN LI AND W ANMIN LIU

work page 2013

[15] [15]

Limits of Moishezon Manifolds under Holomorphic Deformations

Popovici, D. Limits of Moishezon manifolds under holomorphic deformati ons, arXiv:1003.3605 [math.AG]

work page internal anchor Pith review Pith/arXiv arXiv

[16] [16]

Deformation limit and bimeromorphic embedding of Moishezo n manifolds, Commun

Rao, S., Tsai, I-H. Deformation limit and bimeromorphic embedding of Moishezo n manifolds, Commun. Contemp. Math. 23 (2021), no. 8, 2050087, 50 pp

work page 2021

[17] [17]

Autour de la cohomologie de Bott-Chern

Schweitzer, M. Autour de la cohomologie de Bott-Chern , preprint (2007), arXiv: 0709.3528v1 [math.AG]

work page internal anchor Pith review Pith/arXiv arXiv 2007

[18] [18]

Every K3 Surface is K¨ ahler, Invent

Siu, Y. Every K3 Surface is K¨ ahler, Invent. Math. 73 (1983), 139–150

work page 1983

[19] [19]

On the volume of a pseudo-eﬀective class and semi-positive pr operties of the Harder-Narasimhan ﬁltration on a compact Hermitian manifo ld, Ann

Wang, Z. On the volume of a pseudo-eﬀective class and semi-positive pr operties of the Harder-Narasimhan ﬁltration on a compact Hermitian manifo ld, Ann. Polon. Math. 117 (2016), no. 1, 41–58. School of Mathematics, Hunan University, China Email address : mulin@hnu.edu.cn Email address : wanminliu@gmail.com

work page 2016