Kahler structure of the total space near a Kahler fiber

Jian Chen

arxiv: 2606.18643 · v1 · pith:LAWLZXEGnew · submitted 2026-06-17 · 🧮 math.CV

Kahler structure of the total space near a Kahler fiber

Jian Chen This is my paper

Pith reviewed 2026-06-26 19:09 UTC · model grok-4.3

classification 🧮 math.CV

keywords Kähler manifoldsholomorphic submersionsflat sectionslocal systems(1,1)-formsKähler fiberscomplex manifoldstorsion-freeness

0 comments

The pith

The total space near a Kähler fiber is Kähler precisely when the local system of flat sections admits a (1,1)-type lifting.

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

This paper establishes an equivalent characterization of when the total space of a holomorphic submersion is Kähler near a given Kähler fiber. The characterization holds in an optimal way under the stated conditions on the manifolds involved. A reader would care because the result clarifies how the Kähler property transfers from a fiber to the nearby total space in a family. The argument proceeds by combining a lifting property for flat sections with facts about torsion-free structures and neighborhood criteria. This supplies a precise test for the Kähler condition in this local setting.

Core claim

We establish an equivalent characterization of the Kahlerness of the total space near a Kähler fiber, in an optimal manner. The proof combines a (1,1)-type lifting argument for flat sections of a local system, observations on torsion-freeness and a Kähler neighborhood criterion for compact Kähler submanifolds.

What carries the argument

The (1,1)-type lifting of the local system of flat sections, which serves as the exact condition equivalent to the total space being Kähler near the fiber.

If this is right

The Kähler property of the total space is completely determined by the existence of the (1,1)-type lifting.
Torsion-freeness of the relevant structures enters the equivalence in an essential way.
The neighborhood criterion for Kähler submanifolds can be applied directly once the lifting condition holds.
The characterization remains valid exactly in the local neighborhood of the Kähler fiber.

Where Pith is reading between the lines

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

If the lifting condition is preserved under small deformations of the submersion, the Kähler property would persist in a neighborhood of the original fiber.
The same lifting test might apply to non-compact base spaces if the compactness of the manifolds is relaxed while keeping the fiber Kähler.
One could check whether the criterion extends to cases with multiple Kähler fibers by verifying the lifting on each.

Load-bearing premise

The setup is a holomorphic submersion between compact complex manifolds that has at least one Kähler fiber and whose local system of flat sections admits a (1,1)-type lifting.

What would settle it

A holomorphic submersion between compact complex manifolds with a Kähler fiber where the (1,1)-type lifting exists but the total space is not Kähler near that fiber, or where the total space is Kähler near the fiber but the lifting fails to exist.

read the original abstract

Motivated by the Kodaira-Spencer local stability theorem for Kahler structures and by C. Li's study of Kahler structures on holomorphic submersions between compact complex manifolds, we establish an equivalent characterization of the Kahlerness of the total space near a Kahler fiber, in an optimal manner. The proof combines a (1,1)-type lifting argument for flat sections of a local system, observations on torsion-freeness and a Kahler neighborhood criterion for compact Kahler submanifolds.

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 paper claims an if-and-only-if characterization of when the total space is Kähler near a Kähler fiber in a holomorphic submersion, via a (1,1) lifting of flat sections plus torsion and neighborhood arguments.

read the letter

The core claim is a new equivalent condition for the total space to be Kähler near a given Kähler fiber. It takes the Kodaira-Spencer stability theorem and C. Li's work on submersions as starting points and adds a lifting argument for flat sections of the local system that preserves (1,1) type, together with torsion-freeness observations and a neighborhood criterion for compact Kähler submanifolds.

What stands out is the attempt to make the characterization optimal and directly usable inside deformation theory. If the lifting step works cleanly, it could give a practical test that earlier results did not supply.

The main limitation is that only the abstract is in front of us. The actual lifting construction, the precise role of the (1,1) condition on the local system, and whether the torsion-freeness and neighborhood steps close the equivalence without hidden choices are not visible. That leaves open whether the argument is circular or whether the optimality holds under the stated compactness and submersion hypotheses.

This is aimed at people already working on Kähler structures on families of compact complex manifolds. A reader who needs a concrete criterion to check Kähler-ness in deformations would get the most out of it.

The paper deserves a serious referee. The claim is narrow enough to be checked in detail, and the motivation from established theorems is clear. Once the full proof is read, it will be easy to see whether the lifting argument carries the weight it needs to.

Referee Report

0 major / 1 minor

Summary. The paper establishes an equivalent characterization of the Kähler property of the total space near a Kähler fiber for a holomorphic submersion between compact complex manifolds (with at least one Kähler fiber), under the assumption that the local system of flat sections admits a (1,1)-type lifting. The proof combines a (1,1)-type lifting argument for flat sections, observations on torsion-freeness, and a Kähler neighborhood criterion for compact Kähler submanifolds, building on the Kodaira-Spencer local stability theorem and C. Li's prior work on Kähler structures on holomorphic submersions.

Significance. If the claimed equivalence holds and is optimal as stated, the result supplies a concrete criterion for Kähler-ness of the total space in such families. This could aid in studying deformations and stability questions in complex geometry. The use of lifting arguments and neighborhood criteria is a potential strength, though the manuscript's reliance on cited theorems requires verification that the new characterization reduces cleanly without hidden post-hoc choices.

minor comments (1)

The abstract refers to 'an optimal manner' for the characterization; the manuscript should explicitly state the sense in which optimality is achieved (e.g., minimality of assumptions or sharpness of the equivalence) in the introduction or main theorem statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review. The provided summary accurately captures the main result of the manuscript. No specific major comments appear in the report, and we address the overall assessment below.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract and provided context describe a characterization of Kahlerness of the total space near a Kahler fiber, motivated by the external Kodaira-Spencer local stability theorem and C. Li's prior study on holomorphic submersions. The proof is stated to combine a (1,1)-type lifting argument, torsion-freeness observations, and a Kahler neighborhood criterion. No equations, definitions, or steps are supplied that reduce the claimed equivalent characterization to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The cited results are independent external theorems, and the new characterization is presented as building upon them rather than being equivalent to them by construction. Without the full manuscript text, no specific reduction can be exhibited, consistent with a finding of no circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard background results in complex geometry (Kähler metrics, holomorphic submersions, local systems) rather than new postulates or fitted constants.

axioms (2)

standard math Kodaira-Spencer local stability theorem for Kähler structures holds
Explicitly cited as motivation in the abstract.
standard math C. Li's results on Kähler structures on holomorphic submersions between compact complex manifolds are valid
Explicitly cited as motivation in the abstract.

pith-pipeline@v0.9.1-grok · 5595 in / 1244 out tokens · 30822 ms · 2026-06-26T19:09:08.188410+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 1 canonical work pages · 1 internal anchor

[1]

A. B. Altman, R. T. Hoobler, S. L. Kleiman, A note on the base change map for cohomology, Compositio Math. 27 (1973), no. 1, 25-38

1973
[2]

B a nic a , O

C. B a nic a , O. St a n a s il a , Algebraic methods in the global theory of complex spaces, Translated from the Romanian. Editura Academiei, Bucharest; John Wiley & Sons, London-New York-Sydney, 1976

1976
[3]

Barth, K

W. Barth, K. Hulek, C. Peters, A. Van de Ven, Compact complex surfaces, Second edition. 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], 4. Springer-Verlag, Berlin, 2004

2004
[4]

Criteria for a fiberwise Fujiki/Kahler family to be locally Moishezon/projective

J. Chen, Criteria for a fiberwise Fujiki/K\"ahler family to be locally Moishezon/projective, arXiv:2503.07548v3 https://arxiv.org/pdf/2503.07548v3

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

Grauert, R

H. Grauert, R. Remmert, Coherent analytic sheaves, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 265. Springer-Verlag, Berlin, 1984

1984
[6]

Grothendieck and J

A. Grothendieck and J. Dieudonn\'e, \'El\'ements de g\'eom\'etrie alg\'ebrique III: \'Etude cohomologique des faisceaux coh\'erents, Premi\`ere partie, Publ. Math. IHES 11, 20 (1961, 1964)

1961
[7]

Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, vol

R. Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, vol. 52, Springer, 1977

1977
[8]

Huybrechts, Lectures on K 3 surfaces, Cambridge Studies in Advanced Mathematics, vol

D. Huybrechts, Lectures on K 3 surfaces, Cambridge Studies in Advanced Mathematics, vol. 158, Cambridge University Press, 2016

2016
[9]

Kodaira and D

K. Kodaira and D. C. Spencer, On deformations of complex analytic structures. III. Stability theorems for complex structures, Annals of Mathematics (2), 71 (1960), 43-76

1960
[10]

Li, K\"ahler structures for holomorphic submersions, Pure Appl

C. Li, K\"ahler structures for holomorphic submersions, Pure Appl. Math. Q. 21 (2025), no.3, 1245-1268

2025
[11]

Markman and S

E. Markman and S. Mehrotra, Hilbert schemes of K3 surfaces are dense in moduli, Math. Nachr. 290 (2017), 876-884

2017
[12]

Matsumoto, A note on the differentiability of the distance function to regular submanifolds of Riemannian manifolds, Nihonkai Math

K. Matsumoto, A note on the differentiability of the distance function to regular submanifolds of Riemannian manifolds, Nihonkai Math. J. 3 (1992), no. 2, p. 81-85

1992
[13]

ahler currents on compact K\

J. Ning, Z. Wang and X. Zhou, On the extension of K\"ahler currents on compact K\"ahler manifolds: holomorphic retraction case, Ann. Fac. Sci. Toulouse Math. (6) 33 (2024), no. 1, p. 183-195

2024
[14]

All the authors of The Stacks project, The Stacks project https://stacks.math.columbia.edu

[1] [1]

A. B. Altman, R. T. Hoobler, S. L. Kleiman, A note on the base change map for cohomology, Compositio Math. 27 (1973), no. 1, 25-38

1973

[2] [2]

B a nic a , O

C. B a nic a , O. St a n a s il a , Algebraic methods in the global theory of complex spaces, Translated from the Romanian. Editura Academiei, Bucharest; John Wiley & Sons, London-New York-Sydney, 1976

1976

[3] [3]

Barth, K

W. Barth, K. Hulek, C. Peters, A. Van de Ven, Compact complex surfaces, Second edition. 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], 4. Springer-Verlag, Berlin, 2004

2004

[4] [4]

Criteria for a fiberwise Fujiki/Kahler family to be locally Moishezon/projective

J. Chen, Criteria for a fiberwise Fujiki/K\"ahler family to be locally Moishezon/projective, arXiv:2503.07548v3 https://arxiv.org/pdf/2503.07548v3

work page internal anchor Pith review Pith/arXiv arXiv

[5] [5]

Grauert, R

H. Grauert, R. Remmert, Coherent analytic sheaves, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 265. Springer-Verlag, Berlin, 1984

1984

[6] [6]

Grothendieck and J

A. Grothendieck and J. Dieudonn\'e, \'El\'ements de g\'eom\'etrie alg\'ebrique III: \'Etude cohomologique des faisceaux coh\'erents, Premi\`ere partie, Publ. Math. IHES 11, 20 (1961, 1964)

1961

[7] [7]

Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, vol

R. Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, vol. 52, Springer, 1977

1977

[8] [8]

Huybrechts, Lectures on K 3 surfaces, Cambridge Studies in Advanced Mathematics, vol

D. Huybrechts, Lectures on K 3 surfaces, Cambridge Studies in Advanced Mathematics, vol. 158, Cambridge University Press, 2016

2016

[9] [9]

Kodaira and D

K. Kodaira and D. C. Spencer, On deformations of complex analytic structures. III. Stability theorems for complex structures, Annals of Mathematics (2), 71 (1960), 43-76

1960

[10] [10]

Li, K\"ahler structures for holomorphic submersions, Pure Appl

C. Li, K\"ahler structures for holomorphic submersions, Pure Appl. Math. Q. 21 (2025), no.3, 1245-1268

2025

[11] [11]

Markman and S

E. Markman and S. Mehrotra, Hilbert schemes of K3 surfaces are dense in moduli, Math. Nachr. 290 (2017), 876-884

2017

[12] [12]

Matsumoto, A note on the differentiability of the distance function to regular submanifolds of Riemannian manifolds, Nihonkai Math

K. Matsumoto, A note on the differentiability of the distance function to regular submanifolds of Riemannian manifolds, Nihonkai Math. J. 3 (1992), no. 2, p. 81-85

1992

[13] [13]

ahler currents on compact K\

J. Ning, Z. Wang and X. Zhou, On the extension of K\"ahler currents on compact K\"ahler manifolds: holomorphic retraction case, Ann. Fac. Sci. Toulouse Math. (6) 33 (2024), no. 1, p. 183-195

2024

[14] [14]

All the authors of The Stacks project, The Stacks project https://stacks.math.columbia.edu