pith. sign in

arxiv: 2605.19713 · v1 · pith:A2JQKGPSnew · submitted 2026-05-19 · 🧮 math.AG

Bogomolov Decomposition and Compact K{\"a}hler Manifolds of Algebraic Dimension Zero

Frederic Bruno Campana (FST) This is my paper

Pith reviewed 2026-05-20 02:12 UTC · model grok-4.3

classification 🧮 math.AG
keywords compact Kähler manifoldsalgebraic dimension zeroBogomolov decompositionKummer manifoldssimple manifoldsisogeniesholomorphically symplectic
0
0 comments X

The pith

Compact Kähler manifolds of algebraic dimension zero are essentially isogeneous to products of Kummer manifolds and simple factors.

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

The paper extends ideas from the Bogomolov decomposition to the setting of compact Kähler manifolds that have algebraic dimension zero. These manifolds admit no meromorphic map to a positive-dimensional projective variety. It establishes conditionally that they break down via isogenies into products of Kummer manifolds and simple ones, where simple means the general point lies outside any proper positive-dimensional subvariety. The simple factors are expected to be bimeromorphically symplectic. In dimension four the paper classifies strictly simple cases, those with no proper positive-dimensional subvarieties at all, as either étale quotients of tori or holomorphically symplectic.

Core claim

We prove conditionally that compact Kähler manifolds of algebraic dimension zero are essentially isogeneous to products of Kummer and simple ones, the latter being conjecturally bimeromorphically symplectic. Simple means its general point is not contained in a nontrivial subvariety. We also prove that four-dimensional strictly simple manifolds are either étale quotients of tori or holomorphically symplectic, where strictly simple means its only subvarieties are points and itself.

What carries the argument

Conditional isogeny decomposition of algebraic-dimension-zero Kähler manifolds into Kummer factors and simple factors, with simple defined by the absence of nontrivial subvarieties through a general point.

If this is right

  • The geometry of these manifolds reduces to the geometry of their Kummer and simple factors.
  • Four-dimensional strictly simple manifolds fall into two explicitly described classes.
  • If the conjectures on the simple factors hold, the manifolds become bimeromorphically symplectic in their simple parts.
  • The result supplies a structural theorem parallel to the classical Bogomolov decomposition but valid in the Kähler category.

Where Pith is reading between the lines

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

  • The decomposition may simplify questions about the fundamental group and Hodge structures on these manifolds.
  • It suggests a route to checking the symplectic conjecture by examining low-dimensional examples first.
  • Similar techniques might apply to other classes of non-algebraic Kähler manifolds beyond algebraic dimension zero.

Load-bearing premise

The decomposition and classification rest on background conjectures about the existence of suitable isogenies and the bimeromorphic symplectic property of the simple factors.

What would settle it

A concrete counterexample would be any compact Kähler manifold of algebraic dimension zero that cannot be realized as an isogeneous product of Kummer manifolds and simple manifolds, or a four-dimensional strictly simple manifold that is neither an étale torus quotient nor holomorphically symplectic.

read the original abstract

We prove conditionally that compact K\''ahler manifolds of algebraic dimension zero are (essentially) isogeneous to products of Kummer and `simple' ones, the latter being conjecturally bimeromorphically symplectic. `Simple' means: its general point is not contained in a nontrivial subvariety. We also prove that four-dimensional `strictly simple' manifolds are either \'etale quotients of tori or holomorphically symplectic. `Strictly simple' means: its only subvarieties are points and itself.

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 manuscript proves conditionally that compact Kähler manifolds of algebraic dimension zero are essentially isogenous to products of Kummer manifolds and 'simple' ones (general point not contained in a nontrivial subvariety). It further classifies four-dimensional strictly simple manifolds (only subvarieties are points and the manifold itself) as either étale quotients of tori or holomorphically symplectic.

Significance. If the conditional hypotheses hold, the result extends the Bogomolov decomposition to compact Kähler manifolds with algebraic dimension zero, providing a structural reduction to Kummer factors and conjecturally bimeromorphically symplectic simple factors. The separate treatment of the four-dimensional strictly simple case offers a concrete classification that could serve as a test case for broader conjectures in Kähler geometry.

minor comments (2)
  1. [Introduction] The introduction should explicitly enumerate the background conjectures on isogenies and the bimeromorphic symplectic property of simple factors (currently referenced only in the abstract) to make the conditional scope fully transparent to readers.
  2. [Section on dimension four] Notation for 'simple' versus 'strictly simple' is defined clearly in the abstract but should be restated with a short reminder at the beginning of the dimension-four classification section to aid navigation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive assessment. The referee's summary accurately reflects the conditional results on the Bogomolov decomposition for compact Kähler manifolds of algebraic dimension zero, as well as the classification in dimension four. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper presents a conditional result proving that compact Kähler manifolds of algebraic dimension zero are essentially isogeneous to products of Kummer and simple factors (conjecturally bimeromorphically symplectic), with an additional classification for four-dimensional strictly simple cases. The argument explicitly depends on background conjectures about isogenies and the bimeromorphic symplectic property rather than deriving these internally. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described structure; the reduction to the strictly simple case and the dimension-four classification rely on geometric arguments and prior literature without reducing the central claim to its own inputs by construction. The derivation is therefore self-contained under the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard domain assumptions from Kähler geometry and the conditional framework; no free parameters, new invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)
  • domain assumption Standard definitions and properties of algebraic dimension, isogenies, and Kähler manifolds from prior literature.
    Invoked implicitly to set up the decomposition statement.

pith-pipeline@v0.9.0 · 5609 in / 1227 out tokens · 43132 ms · 2026-05-20T02:12:37.098008+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages

  1. [1]

    Bakker-H

    B. Bakker-H. Guenancia-.C. Lehn. Algebraic approximat ion and the decom- position theorem for Kähler Calabi–Yau varieties. arXiv: 2 012.00441.v3

    work page

  2. [2]

    Bakker-C

    B. Bakker-C. Lehn. The global moduli theory of symplecti c varieties. J.für die reine und angewandte Mathematik 790 (2022), 223-265

    work page 2022

  3. [3]

    Barlet-J

    D. Barlet-J. Magnusson. Cycles Analytiques Complexes. Cours Spécialisés SMF 22 et 27 (2014 et 2025)

    work page 2014

  4. [4]

    W. Barth-C. Peters- A. Van de Ven. Compact Complex Surfac es. Ergeb. der Math. u.i. Grenzgebiete. 4. Springer Verlag (1984)

    work page 1984

  5. [5]

    Beauville

    A. Beauville. Variétés kählériennes dont la première cl asse de Chern est nulle. J. Diff. Geom. 18 (1983) 745–782

    work page 1983

  6. [6]

    Birkenhake-H

    C. Birkenhake-H. Lange. Complex tori. Progr. Math. 177. Birkhäuser (1999)

    work page 1999

  7. [7]

    Birkenhake-H

    C. Birkenhake-H. Lange. Complex Abelian varieties. Gru ndlehren der Math. Wissenschaften 302 (2004). Springer Verlag

    work page 2004

  8. [8]

    Bogomolov

    F.A. Bogomolov. Kähler manifold with trivial canonical class. Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974), 11–21; english translation: Mathe matics of the USSR-Izvestiya, 8(1), 1-9, 1974

    work page 1974

  9. [9]

    Bogomolov

    F.A. Bogomolov. Hamiltonian Kähler manifolds, Dokl. Ak ad. Nauk SSSR I Mat. 243 (1978), 1101-1104; english translation: Soviet Ma th. Doklady 19 (1978), 1462-1465

    work page 1978

  10. [10]

    Bogomolov

    F.A. Bogomolov. On the cohomology ring of a simple hyper kähler manifold (on the results of Verbitsky). Geometric And Functional Ana lysis. Vol. 6, No. 4 (1996), 612-618. (esp. Remark 1.10. p. 615)

    work page 1996

  11. [11]

    Brunella

    M. Brunella. Uniformisation of foliations by curves, i n Holomorphic dynamical systems, Lecture Notes in Math. 1998 (2010), 105-163

    work page 1998

  12. [12]

    F. Campana. Algébricité et compacité dans l’espace des cycles d’un espace analytique complexe, Math. Ann. 251 (1980) 7–18

    work page 1980

  13. [13]

    F. Campana. Réduction algébrique d’un morphisme faibl ement kählérien pro- pre et applications, Math. Ann. 256 (1981) 157-190

    work page 1981

  14. [14]

    F. Campana. Réduction d’Albanese d’un morphisme propr e et faiblement käh- lérien I. Compositio Mathematica, tome 54 (1985), p. 373-39 8, et II (groupes d’automorphismes relatifs) pp. 399-416

    work page 1985

  15. [15]

    F. Campana. Densité des variétés hamiltoniennes primi tives projectives. Comptes Rendus Acad. Sci.297 (1983), 413-416

    work page 1983

  16. [16]

    F. Campana. Orbifolds, special varieties, and classifi cation theory. Ann.Inst.Fourier 54 (2004), 499-630 et Appendice: 631-665

    work page 2004

  17. [17]

    F. Campana. Isotrivialité de certaines familles kählé riennes de variétés non projectives, Math. Z. 252 (2006) 147–156

    work page 2006

  18. [18]

    F. Campana. Numerical and Kodaira dimensions of cotang ent bundles. Ann. Fac. Sc. Toulouse 33 (2024), pp. 523-573 20 FRÉDÉRIC CAMPANA

    work page 2024

  19. [19]

    Campana-B

    F. Campana-B. Claudon-P. Eyssidieux. Représentation s linéaires des groupes Kählériens et de leurs analogues projectifs. J. Ecole Polyt echnique. (2014), 331-342

    work page 2014

  20. [20]

    Demailly-M

    F.Campana-J.P. Demailly-M. Verbitsky. Compact Kähle r Threefolds without nontrivial subvarieties. Algebraic Geometry 1 (2014) 131- 139

    work page 2014

  21. [21]

    Campana-A

    F. Campana-A. Höring-T. Peternell. Abundance for Kähl er threefolds, Ann. Sci. Éc. Norm. Supér. 49 (2016), 971–1025

    work page 2016

  22. [22]

    Campana-K

    F. Campana-K. Oguiso-T.Peternell. Non algebraic hype rkähler manifolds. J. Diff. Geom. 85 (2010), 397-424

    work page 2010

  23. [23]

    Campana-G

    F. Campana-G. Schumacher. A geometric algebraicity pr operty of the moduli space of compact Kähler manifolds with h2,0 = 1. Math. Zeitschrift. 204, 153- 155 (1990)

    work page 1990

  24. [24]

    J.Cao-M. Păun. Remarks on relative canonical bundles a nd algebraicity criteria for foliations in the Kähler context. arXiv 2502.02183

    work page arXiv

  25. [25]

    Demailly

    J.P. Demailly. Regularization of closed positive curr ents and intersection the- ory. J. Alg. Geom. 1 (1992), 361–409

    work page 1992

  26. [26]

    Demailly-T

    J.P. Demailly-T. Peternell-M. Schneider. Pseudo-effe ctive line bundles on com- pact Kähler manifolds. International Journal of Mathemati cs, Vol. 12, No. 6 (2001) 689-741

    work page 2001

  27. [27]

    Donaldson

    S. Donaldson. Anti self-dual Yang-Mills connections o ver algebraic surfaces and stable vector bundles. Proc. Lond. Math.Soc. 50 (1985), 1-26

    work page 1985

  28. [28]

    A. Fujiki. Closedness of the Douady spaces of compact Kä hler spaces. Publi- cations of the Research Institute for Mathematical Science s. 14 (1978), 1–52

    work page 1978

  29. [29]

    A. Fujiki. relative Algebraic reduction and relative A lbanese map for a fiber space in C. Publ. RIMS, Kyoto Univ. 19 (1983), 207-236

    work page 1983

  30. [30]

    A. Fujiki. On the structure of compact complex manifold s in C. Advanced Studies in Pure Mathematics 1, 1983 Algebraic Varieties and Analytic Vari- eties, 231-302

    work page 1983

  31. [31]

    A. Fujiki. Semisimple reductions of compact complex va rieties, Conference on complex analysis (Nancy, 1982), Inst. Elie Cartan 8, Univ . Nancy, Nancy (1983) 79–133

    work page 1982

  32. [32]

    E. Freitag. Über die Struktur der Funktionenkörper zu h yperabelschen Grup- pen. J.Reine u. Angew. Math. 247 (1971), 97-117

    work page 1971

  33. [33]

    Guenancia-M

    H. Guenancia-M. Păun. Bogomolov-Gieseker inequality for Log-terminal Käh- ler threefolds. arXiv 2405. 10004.v4

    work page

  34. [34]

    K. Kodaira. On Kähler varieties of restricted type.Ann . Math. 60 (1954), 28-48

    work page 1954

  35. [35]

    Kobayashi

    S. Kobayashi. Differential geometry of complex vector b undles. Kano Memorial Lectures. Publ. Math. Soc. Japan 15. Iwanami Shoten and Prin ceton Univ. Press(1987)

    work page 1987

  36. [36]

    Kollàr et al

    J. Kollàr et al. Flips and Abundance for algebraic three folds. Astérique 211. Soc. Math. France (1992)

    work page 1992

  37. [37]

    V.A. Krasnov. Compact complex manifolds without merom orphic functions (in Russian); Mat. Zametki 17 (1975) 119–122

    work page 1975

  38. [38]

    Lieberman

    D. Lieberman. Compacness of the Chow scheme. Fonctions de plusieurs vari- ables complexes III (1975-76). LNM 670 (1978), 140-186

    work page 1975

  39. [39]

    Y. Miyaoka. On the Kodaira dimension of minimal threefo lds. Math. Ann. 281 (1988), 325-332

    work page 1988

  40. [40]

    R. Moosa-A. Pillay. Definable Galois theory for bimerom orphic geome- try.arXiv: 2508.19524v2

    work page arXiv

  41. [41]

    W. Ou. A characterisation of uniruled compact Kähler ma nifolds. arXiv:2501.18088. 21

    work page arXiv

  42. [42]

    Y-T. Siu. Analyticity of sets associated to Lelong numb ers and the extension of closed positive currents; Invent. Math. 27 (1974) 53–156

    work page 1974

  43. [43]

    Takegoshi

    K. Takegoshi. On cohomology groups of nef line bundles t ensorized with mul- tiplier ideal sheaves on compact Kähler manifolds; Osaka J. Math. 34 (1997) 783–802

    work page 1997

  44. [44]

    K.Uhlenbeck-S-T. Yau. On the existence of Hermitian–Y ang–Mills connections in stable vector bundles. Communications on Pure and Applie d Mathematics, vol. 39 (1986), 257–293

    work page 1986

  45. [45]

    K. Ueno. Classification theory of algebraic varieties a nd compact complex spaces; Lecture Notes in Math. 439, Springer-Verlag, 1975

    work page 1975

  46. [46]

    Varouchas

    J. Varouchas. Kähler spaces and proper open morphisms, Math. Ann. 283 (1989), 13–52

    work page 1989

  47. [47]

    Verbitsky

    M. Verbitsky. Trianalytic subvarieties of the Hilbert scheme of points on a K3 surface. GAF A, Geom. funct. anal. Vol. 8 (1998) 732 – 782

    work page 1998

  48. [48]

    A. Weil. Introduction à l’étude des variétés Kählérien nes. Hermann. Actualités scientifiques et industrielles. Université Lorraine, Institut Elie Cartan, Nancy, France Email address : frederic.campana@univ-lorraine.fr

    work page