REVIEW 2 major objections 5 minor 43 references
Compact balanced threefolds and LCK manifolds with constant holomorphic sectional curvature
T0 review · 2 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read Constant holomorphic sectional curvature on compact balanced threefolds forces Kähler or Chern flat, and the non-Kähler LCK cases are Hopf manifolds.
desk verdict A strong paper: real progress on balanced threefolds, and the LCK theorems are convincing conditional on a cited uniformization that the authors should surface more carefully. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object for the LCK part is the conformal curvature identity $R_g = \frac{\beta_t}{2}G_g + \frac{1}{2}L_g(A)$, where $A = f_{i\bar j} - a f_i f_{\bar j}$ and $L_g$ is a linear map from Hermitian symmetric two-tensors to algebraic Kähler curvature tensors. Injectivity of $L_g$ turns the pointwise-constant condition into algebraic constraints, and on the Euclidean cover it reduces the problem to solving $f_{i\bar j} - a f_i f_{\bar j} = -(\beta_t/2)\delta_{ij}$, whose positive solutions are exactly $\xi = e^{-af} = \lambda Q_A$ with $Q_A>0$ and $A A<\frac14 I$. For the balanced threefold part, the central mechanism is the pointwise torsion normal form: at each point there is a unitary frame with only three complex torsion components $T^1_{23}=\tau_1$, $T^2_{31}=\tau_2$, $T^3_{12}=\tau_3$ nonzero, which makes the algebraic curvature-torsion identity collapse to $\operatorname{Re}\langle R(T),T\rangle = c|T|^2$. From that, the two square identities follow by integration by parts on the compact manifold.
What would settle it
Compute the two $L^2$ norms in Theorem 8.7 on any proposed compact balanced threefold with constant Chern holomorphic sectional curvature $c<0$: the identity $\|\nabla^{1,0}T\|_{L^2}^2 = 9c\|T\|_{L^2}^2 - 16\|\sigma\|_{L^2}^2$ forces $T=0$ and $\sigma=0$, so a metric with any nonzero Chern torsion would directly contradict Theorem 1.1. Equivalently, a compact strict LCK manifold with vanishing Tricerri-Vanhecke Bochner tensor whose universal cover is not $(\mathbb{C}^n\setminus\{0\},g_0)$ with deck transformations $\gamma(z)=r_\gamma U_\gamma z$ would break Proposition 5.1 and the LCK classification.
Extended reading notes
Core claim
The central claim is that constant holomorphic sectional curvature, in the Chern/Gauduchon/two-parameter sense, is rigid enough to classify the manifold. For compact balanced threefolds with $c\le 0$, two $L^2$ identities for the Chern torsion $T$ and the trace-free part $\sigma$ of the first Chern-Ricci form, namely $\|\nabla^{0,1}T\|_{L^2}^2 = 32\|\sigma\|_{L^2}^2 - c\|T\|_{L^2}^2$ and $\|\nabla^{1,0}T\|_{L^2}^2 = 9c\|T\|_{L^2}^2 - 16\|\sigma\|_{L^2}^2$, force $T=0$ and $\sigma=0$ when $c<0$, and Chern flatness when $c=0$. For LCK manifolds, lifting to the universal cover turns pointwise constancy into a conformal identity for a Kähler metric $g$; injectivity of the associated linear map makes $g$ Bochner-flat, and the uniformization of compact strict LCK Bochner-flat manifolds yields a Euclidean cover, where the automorphy of the conformal factor forces it to be $\lambda Q_A(z)$ with $Q_A(z)=|z|^2+z^T\!A z+\bar z^T\bar A\bar z$. That is exactly the admissible-metric form on isosceles Hopf manifolds, giving the exceptional case in the LCK theorems.
Load-bearing premise
The LCK part rests on a quoted uniformization theorem rather than a proof in this paper: every compact strictly locally conformally Kähler manifold whose conformally invariant Bochner curvature component vanishes must be, up to scaling, holomorphically isometric to punctured Euclidean space with linear similarity deck transformations.
Editorial extensions
If this is right
- If Theorem 1.1 is right, the constant Chern holomorphic sectional curvature conjecture is settled for every compact balanced threefold in the nonpositive range: $c=0$ gives Chern flatness and $c<0$ gives a Kähler, locally complex hyperbolic metric.
- If Theorem 1.2 is right, a compact LCK manifold with pointwise constant Gauduchon holomorphic sectional curvature and parameter outside $\{-1,3\}$ must be Kähler, and the only non-Kähler possibilities are covered by isosceles Hopf manifolds with admissible metrics.
- The global-constancy assertion implies that any non-Kähler LCK solution with constant holomorphic sectional curvature is rigid: its cover is the standard Hopf metric up to scaling and the curvature constant is $c=0$.
- For the two-parameter family $D^t_s$, the non-Kähler LCK possibility is tied to the curve $(1-t+ts)^2+s^2=4$; outside that curve, pointwise constancy forces the metric to be Kähler.
- The Iwasawa-manifold example shows the $c=0$ conclusion is not Kähler rigidity: Chern-flat balanced threefolds can be non-Kähler, so the theorem's dichotomy is sharp.
Reading between the lines
- Editorial inference: the same $L^2$ identities give a concrete testing window for the still-open positive case $c>0$; any non-Kähler compact balanced threefold with constant positive Chern holomorphic sectional curvature would have to satisfy $\frac{c}{32}\|T\|^2 \le \|\sigma\|^2 \le \frac{9c}{16}\|T\|^2$, so a variational or computational search could start inside that band.
- Editorial inference: the LCK result suggests a broader rigidity heuristic: for canonical metric connections, compactness plus constant holomorphic sectional curvature leaves only similarity quotients of $\mathbb{C}^n\setminus\{0\}$ as non-Kähler exceptions; the same dichotomy could be tested on other Hermitian classes such as pluriclosed or Gauduchon-balanced manifolds.
- Editorial inference: the admissible-metric potential $Q_A(z)=|z|^2+z^T\!A z+\bar z^T\bar A\bar z$ with $A A<\frac14 I$ is a purely quadratic object, and it would be worth checking whether any compact conformally Kähler metric whose universal cover has such a potential is automatically LCK and Bochner-flat.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves two classification results in Hermitian geometry. Theorem 1.1 establishes that a compact balanced threefold with nonpositive constant Chern holomorphic sectional curvature is Chern flat if the constant is zero and Kähler (locally complex hyperbolic after scaling) if the constant is negative; the proof reduces to two L2 identities, (8.42) and (8.43), derived from Chern–Bianchi identities, a torsion normal form, and integration by parts. Theorems 1.2 and 1.3 classify connected compact locally conformally Kähler manifolds whose holomorphic sectional curvature is pointwise constant with respect to any Gauduchon connection or any canonical two-parameter connection D^t_s: such a manifold is either Kähler or has a holomorphic cover that is an isosceles Hopf manifold with an admissible metric, with the parameter restrictions t=-1 or t=3 (Gauduchon) or (t,s) on the Chen–Nie curve (two-parameter case); global constancy forces the standard Hopf metric and zero curvature. The LCK proof uses a conformal change to a Kähler cover, a Bochner-flatness argument, and a quoted uniformization result (Proposition 5.1).
Significance. If correct, Theorem 1.1 confirms a well-known conjecture for a significant class of non-Kähler Hermitian manifolds in complex dimension three, and Theorems 1.2 and 1.3 give a complete classification for compact LCK manifolds across the entire two-parameter family of canonical connections. The paper's main technical contributions are explicit and checkable: the balanced proof supplies two exact square identities (8.42)–(8.43) whose sign structure cleanly separates the zero, negative, and positive cases, including the bounds (8.47) for c>0; the LCK proof carefully tracks the parameter a=(1-t)^2/2 and reduces the strict-LCK case to a Euclidean potential analysis with a clear dichotomy. The proofs are detailed and largely self-contained apart from two quoted inputs: the Zhou–Zheng torsion normal form (Lemma 8.1) and the uniformization Proposition 5.1. The latter is the main point that needs scrutiny in revision.
major comments (2)
- [Section 5, Proposition 5.1] The strict-LCK branch of Theorems 1.2 and 1.3 is reduced entirely to Proposition 5.1, which is stated without proof and attributed to Fried [19], Kamishima [25], and Huang-Wan [24]. The proposition asserts a Euclidean uniformization (\tilde M,g) ≅ (C^n\{0}, g_0) and that every deck transformation is of the form γ(z)=r_γ U_γ z. This is a strong statement: it asserts flatness of the Kähler metric on the cover, not merely Bochner-flatness, and it fixes the deck group up to U(n). The hypotheses under which Fried's and Kamishima's theorems apply are not checked in the text (e.g., dimension n=2 versus n≥3, strictness, compactness, and the exact Bochner tensor normalization). Since every subsequent step in §5.2–5.3 and §6.2–6.3 uses this uniformization to convert (5.7) into the Euclidean cover analysis, the Hopf-manifold conclusion rests entirely on this external result. The authors should either include a proof of Proposition 5.1, or state the precise theorem(s) from [19], [25], and [24] that imply it and verify that all hypotheses are satisfied for the manifolds considered. If the cited results do not cover n=2, the n=2 case should be treated separately or excluded.
- [Section 8, Lemma 8.1] The algebraic identities in Lemma 8.3 and Proposition 7.2 depend on the pointwise torsion normal form of Zhou and Zheng [43], stated as Lemma 8.1. The lemma is quoted without proof, and the paper does not indicate precisely where in [43] this normal form appears. Since the normal form reduces the Chern torsion of a balanced threefold to three complex components and is the key input for the computations in Lemma 8.3 and the proof of Proposition 7.2, the authors should either supply a proof of Lemma 8.1 or provide a precise reference to the exact statement being used. Without this, the balanced classification in Theorem 1.1 has an unverified load-bearing input.
minor comments (5)
- [Section 5.4, near (5.33)] In the displayed expansion preceding (5.33), the terms written as '2z^T A z + 2z^T A z' should be '2z^T A z + 2\bar z^T \bar A \bar z', and '4z^T A A \bar z' should be '4z^T A \bar A \bar z'. As printed, the equation is missing conjugates and is incorrect.
- [Section 4.4, equation (4.4)] The equality '0 = ∫_M Δu dV = nF Vol(M)' is only valid after using that F is constant (which follows from dF=0 just above). The text should make this order of reasoning explicit, e.g., write '0 = ∫_M Δu dV = n ∫_M F dV = nF Vol(M)'.
- [Section 3.3] The notation 'RG_g' for the real span of the tensor G_g is nonstandard and could be confused with a curvature tensor R; consider writing 'ℝ G_g' or 'span{G_g}'.
- [Section 8, proof of Lemma 8.4] The first Bianchi identity in (8.28) is invoked without a reference; a citation to a standard source (e.g., the Chern connection Bianchi identity as in [43]) would help the reader verify the displayed cyclic-sum identity.
- [Introduction and references] There are minor typographical issues, including the phrase 'thets-plane' in the introduction and the title of [41] ('Bismut–Strominger parallel torsion' should probably be 'Bismut–Strominger parallel torsion metrics' or similar). These do not affect the mathematics.
Circularity Check
No significant circularity: the main classifications are derived from external uniformization and torsion-normal-form inputs, not from the paper's own conclusions.
full rationale
The paper's derivation chain does not reduce to its inputs by construction. For Theorems 1.2 and 1.3, the strict LCK branch is reduced to Proposition 5.1, which is quoted from Fried, Kamishima, and Huang-Wan as an external classification result. The subsequent derivation of t=-1 or t=3 and of the admissible-metric form is local algebra on the Euclidean cover, using equation (5.7), Lemma 5.2, the automorphy relation (5.16), and the polynomial comparison in Section 5.4; it is not an assumption of the theorem. The globally conformally Kähler case is handled through Bryant's external Bochner-Kähler classification. For Theorem 1.1, the paper cites the Zhou-Zheng torsion normal form (Lemma 8.1) as an external algebraic fact, then derives the square identities (8.42) and (8.43); the c=0 and c<0 conclusions follow from nonnegativity of L2 norms, not from any fitted parameter or imported conclusion. The self-citations [13] and [14] are used for techniques, history, and a stated converse, but are not load-bearing for the forward classifications. Proposition 5.1 is an unproved external dependency and therefore a correctness or foundation concern, not circularity. No specific reduction of a claimed prediction to an input was found.
Assumptions & free parameters
assumptions (8)
- standard math Bryant's compact classification of Bochner-Kähler metrics: every compact Bochner-Kähler manifold is a quotient of a Hermitian symmetric product M^p_c × M^{n-p}_{-c}.
- standard math Fried-Kamishima uniformization (Proposition 5.1): a compact strict LCK manifold with vanishing Tricerri-Vanhecke Bochner tensor has universal Kähler cover (C^n\{0},g0) with deck transformations γ(z)=r_γ U_γ z.
- standard math Zhou-Zheng Lemma 8.1: at each point of a balanced threefold there is a unitary frame making the Chern torsion T^1_23=τ1, T^2_31=τ2, T^3_12=τ3 and all other components vanish.
- standard math Liu-Yang formula (8.4): for balanced metrics, ρ^(2) = ρ^(1) - Λ_ω Φ + Q.
- standard math Fusi-Giusti identity (8.8): ∂*∂ω = *(...) in complex dimension three, used to identify ∂*∂ω with *Φ.
- standard math Chen-Nie conformal curvature formula (3.1) for t-Gauduchon connections under a conformal change.
- standard math Bochner tensor decomposition K = B ⊕ L_g(H0) ⊕ R G_g, attributed to [1] and [24].
- standard math Polarization equivalence (2.4): pointwise constancy of holomorphic sectional curvature is equivalent to the symmetrized curvature tensor being κ/2(δijδkℓ + δiℓδkj).
Cite this review
Pith. "Pith review of Compact balanced threefolds and LCK manifolds with constant holomorphic sectional curvature." pith.science (2026). https://pith.science/paper/7SADPH3Y
@misc{pith2026260805598,
author = {Pith},
title = {Pith review of: Compact balanced threefolds and LCK manifolds with constant holomorphic sectional curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/7SADPH3Y}},
note = {Machine review of arXiv:2608.05598}
}
abstract
A long-standing conjecture in Hermitian geometry says that a compact Hermitian manifold with constant Chern holomorphic sectional curvature $c$ is K\"ahler for $c\neq 0$ and Chern flat for $c=0$. Although the conjecture has been established in complex dimension two, it remains open in general in higher dimensions. We verify the conjecture for compact balanced threefolds when $c\leq 0$. For compact locally conformally K\"ahler manifolds, Chen, Chen, and Nie established the case $c\leq 0$, while Huang and Wan recently settled the remaining case. Inspired by the approach of Huang and Wan, we investigate a generalization of the conjecture for canonical metric connections and establish it for connected compact locally conformally K\"ahler manifolds.
Reference graph
Works this paper leans on
-
[19]
Fried,Closed similarity manifolds, Comment
D. Fried,Closed similarity manifolds, Comment. Math. Helv.55(1980), no. 4, 576–582
work page 1980
-
[25]
Kamishima,Heisenberg, spherical CR-geometry and Bochner flat locally conformal Kähler manifolds, Int
Y. Kamishima,Heisenberg, spherical CR-geometry and Bochner flat locally conformal Kähler manifolds, Int. J. Geom. Methods Mod. Phys.3(2006), no. 5–6, 1089–1116
work page 2006
-
[24]
Compact locally conformal K\"ahler manifolds with constant Chern holomorphic sectional curvature
Z. Huang and X. Wan,Compact locally conformal Kähler manifolds with constant Chern holomorphic sec- tional curvature, arXiv:2606.24425, 2026
work page Pith review arXiv 2026
-
[43]
W. Zhou and F. Zheng,Hermitian threefolds with vanishing real bisectional curvature(in Chinese), Sci. Sin. Math.52(2022), 757–764. Shuwen Chen. School of Mathematical Sciences, Chongqing Normal University, Chongqing 401331, China Email address:3153017458@qq.com Junpeng Li. School of Mathematical Sciences, Zhejiang Normal University, Jinhua, Zhejiang 32100...
work page 2022
-
[1]
D. V. Alekseevskii,Riemannian spaces with exceptional holonomy groups, Funct. Anal. Appl.2(1968), no. 2, 97–105
work page 1968
-
[2]
V. Apostolov, J. Davidov, and O. Muškarov,Compact self-dual Hermitian surfaces, Trans. Amer. Math. Soc. 348(1996), no. 8, 3051–3063
work page 1996
-
[3]
Balas,Compact Hermitian manifolds of constant holomorphic sectional curvature, Math
A. Balas,Compact Hermitian manifolds of constant holomorphic sectional curvature, Math. Z.189(1985), 193–210
work page 1985
-
[4]
A.BalasandP.Gauduchon,Any Hermitian metric of constant nonpositive (Hermitian) holomorphic sectional curvature on a compact complex surface is Kähler, Math. Z.190(1985), no. 1, 39–43
work page 1985
Show all 43 references
-
[5]
Bismut,A local index theorem for non-Kähler manifolds, Math
J.-M. Bismut,A local index theorem for non-Kähler manifolds, Math. Ann.284(1989), no. 4, 681–699
1989
-
[6]
Bochner,Curvature and Betti numbers
S. Bochner,Curvature and Betti numbers. II, Ann. of Math. (2)50(1949), no. 1, 77–93
1949
-
[7]
Boothby,Hermitian manifolds with zero curvature, Michigan Math
W. Boothby,Hermitian manifolds with zero curvature, Michigan Math. J.5(1958), no. 2, 229–233
1958
-
[8]
R. L. Bryant,Bochner–Kähler metrics, J. Amer. Math. Soc.14(2001), no. 3, 623–715
2001
-
[9]
H. Chen, L. Chen, and X. Nie,Chern–Ricci curvatures, holomorphic sectional curvature and Hermitian metrics, Sci. China Math.64(2021), no. 4, 763–780
2021
-
[10]
Chen and X
H. Chen and X. Nie,Compact Hermitian surfaces with pointwise constant Gauduchon holomorphic sectional curvature, Math. Z.302(2022), no. 3, 1721–1737
2022
-
[11]
Chen and F
S. Chen and F. Zheng,On Strominger space forms, J. Geom. Anal.32(2022), no. 4, Paper No. 141, 21 pp
2022
-
[12]
Chen and F
S. Chen and F. Zheng,Bismut torsion parallel metrics with constant holomorphic sectional curvature, arXiv:2405.09110, 2024
2024
-
[13]
Chen and F
S. Chen and F. Zheng,Canonical metric connections with constant holomorphic sectional curvature, Pacific J. Math.334(2025), no. 2, 329–348
2025
-
[14]
S.ChenandF.Zheng,Locally conformally Kähler manifolds with constant Levi–Civita or Bismut holomorphic sectional curvature, arXiv:2608.01893v1, 2026
2026 arXiv
-
[15]
Cordero, M
L. Cordero, M. Fernández, A. Gray, and L. Ugarte,Compact nilmanifolds with nilpotent complex structures: Dolbeault cohomology, Trans. Amer. Math. Soc.352(2000), no. 12, 5405–5433
2000
-
[16]
Davidov, G
J. Davidov, G. Grantcharov, and O. Muškarov,Curvature properties of the Chern connection of twistor spaces, Rocky Mountain J. Math.39(2009), no. 1, 27–48
2009
-
[17]
Demailly,Complex Analytic and Differential Geometry, Université de Grenoble I, 2012
J.-P. Demailly,Complex Analytic and Differential Geometry, Université de Grenoble I, 2012. HOLOMORPHIC SECTIONAL CUR V ATURE ON BALANCED AND LCK THREEFOLDS 31
2012
-
[18]
S.DragomirandL.Ornea,Locally Conformal Kähler Geometry, ProgressinMathematics, vol.155, Birkhäuser Boston, Boston, MA, 1998
1998
-
[20]
J. Fu, Z. Wang, and D. Wu,Semilinear equations, theγk function, and generalized Gauduchon metrics, J. Eur. Math. Soc.15(2013), no. 2, 659–680
2013
-
[21]
Fusi and F
E. Fusi and F. Giusti,Blowing up Chern–Ricci flat balanced metrics, J. Math. Pures Appl.197(2025), Article 103691
2025
-
[22]
Gauduchon,La1-forme de torsion d’une variété hermitienne compacte, Math
P. Gauduchon,La1-forme de torsion d’une variété hermitienne compacte, Math. Ann.267(1984), no. 4, 495–518
1984
-
[23]
Gauduchon,Hermitian connections and Dirac operators, Boll
P. Gauduchon,Hermitian connections and Dirac operators, Boll. Un. Mat. Ital. B (7)11(1997), no. 2, suppl., 257–288
1997
-
[26]
G. Khan, B. Yang, and F. Zheng,The set of all orthogonal complex structures on the flat6-tori, Adv. Math. 319(2017), 451–471
2017
-
[27]
Li and F
Y. Li and F. Zheng,Complex nilmanifolds with constant holomorphic sectional curvature, Proc. Amer. Math. Soc.150(2022), 319–326
2022
-
[28]
Li and F
Y. Li and F. Zheng,A note on almost abelian groups with constant holomorphic sectional curvature, Proc. Amer. Math. Soc.153(2025), no. 12, 5369–5383
2025
-
[29]
Liu and X
K. Liu and X. Yang,Ricci curvatures on Hermitian manifolds, Trans. Amer. Math. Soc.369(2017), 5157– 5196
2017
-
[30]
Ma and X
F. Ma and X. Nie,A remark on compact balanced threefolds with constant holomorphic sectional curvature, Kodai Math. J.47(2024), no. 1, 90–98
2024
-
[31]
M. L. Michelsohn,On the existence of special metrics in complex geometry, Acta Math.149(1982), 261–295
1982
-
[32]
Ornea and M
L. Ornea and M. Verbitsky,Principles of Locally Conformally Kähler Geometry, Progress in Mathematics, vol. 354, Birkhäuser, Cham, 2024
2024
-
[33]
Otal and L
A. Otal and L. Ugarte,Six-dimensional homogeneous spaces with holomorphically trivial canonical bundle, J. Geom. Phys.194(2023), Article 105014
2023
-
[34]
Rao and F
P. Rao and F. Zheng,Pluriclosed manifolds with constant holomorphic sectional curvature, Acta Math. Sin. (Engl. Ser.)38(2022), no. 6, 1094–1104
2022
-
[35]
Sato and K
T. Sato and K. Sekigawa,Hermitian surfaces of constant holomorphic sectional curvature, Math. Z.205 (1990), 659–668
1990
-
[36]
Strominger,Superstrings with torsion, Nuclear Phys
A. Strominger,Superstrings with torsion, Nuclear Phys. B274(1986), 253–284
1986
-
[37]
Tang,Holomorphic sectional curvature and Kähler-like metric(in Chinese), Sci
K. Tang,Holomorphic sectional curvature and Kähler-like metric(in Chinese), Sci. Sin. Math.51(2021), no. 12, 2013–2024
2021
-
[38]
Wang and F
Q. Wang and F. Zheng,Balanced Bismut torsion-parallel fourfold with constant holomorphic sectional cur- vature, arXiv:2608.00457, 2026
2026 arXiv
-
[39]
Yang and F
X. Yang and F. Zheng,On real bisectional curvature for Hermitian manifolds, Trans. Amer. Math. Soc.371 (2019), no. 4, 2703–2718
2019
-
[40]
Zhao and F
Q. Zhao and F. Zheng,On Gauduchon Kähler-like manifolds, J. Geom. Anal.32(2022), no. 4, Paper No. 110, 27 pp
2022
-
[41]
Zhao and F
Q. Zhao and F. Zheng,On Hermitian manifolds with Bismut–Strominger parallel torsion, arXiv:2208.03071, 2022
2022 arXiv
-
[42]
Zhao and F
Q. Zhao and F. Zheng,Curvature characterization of Hermitian manifolds with Bismut parallel torsion, arXiv:2407.10497, 2024
2024 arXiv
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.