REVIEW 3 major objections 4 minor 28 references
Canonical metric connections with constant holomorphic sectional curvature
T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read For nilmanifolds and BTP manifolds, constant holomorphic sectional curvature forces flatness or Kähler.
desk verdict A genuine advance on the Chen-Nie conjecture that is in better shape than the stress-test note suggests, though its BTP parts lean on unrefereed preprints. 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 engine is an identity for the symmetrized curvature of any canonical metric connection $D^r_s$ (equation (5)): $\hat{R}^D_{i\bar{j}k\bar{\ell}} = \hat{R}^c_{i\bar{j}k\bar{\ell}} - (t^2 + s^2/4)\hat{v}$, where $t=\frac12(1-r+rs)$ and $\hat{v}$ is a symmetric quadratic form built from the Chern torsion components. Constant holomorphic sectional curvature is exactly the condition $\hat{R}^D_{i\bar{j}k\bar{\ell}} = \frac{c}{2}(\delta_{ij}\delta_{k\ell}+\delta_{i\ell}\delta_{kj})$, so the identity turns the geometric condition into algebraic equations on torsion and curvature. The curve $\Gamma=\{(r,s): t^2+s^2/4=1\}$ is precisely where the torsion contribution vanishes, making it the only parameter locus where a non-flat connection can have zero holomorphic sectional curvature. The proofs then feed in structural input: a canonical coframe for nilpotent Lie groups with nilpotent $J$ (Theorem 12), admissible frames for non-balanced BTP manifolds, and the classification of balanced BTP threefolds from the authors' earlier work.
What would settle it
The theorem would be refuted by a compact non-abelian complex nilmanifold with nilpotent $J$ whose $D^r_s$ connection (not the Chern connection) has constant holomorphic sectional curvature $c\neq0$, or by a balanced BTP threefold of a type not appearing in the three-type classification whose $D^r_s$ connection has constant holomorphic sectional curvature. A direct computation of the Bismut curvature of the Wallach and middle-type threefolds that disagrees with (15) or (16) would also settle part (3).
Extended reading notes
Core claim
The central claim is that the space-form conjecture holds for three classes of compact Hermitian manifolds. For a complex nilmanifold with nilpotent $J$, if any canonical metric connection $D^r_s$ other than the Chern connection has constant holomorphic sectional curvature $c$, then $c=0$, the underlying Lie group is abelian, and the manifold is a finite cover of a flat complex torus; if the connection is the Chern connection, $c=0$ and the manifold is Chern flat. For any non-balanced BTP manifold, constant holomorphic sectional curvature forces $c=0$ and the parameter $(r,s)$ to lie on the curve $\Gamma$. For a balanced BTP threefold, the manifold is either Kähler or Chern flat with $c=0$ and $(r,s)=(1,0)$ (the Chern connection), the Chern-flat case being a compact quotient of the simple complex Lie group $SO(3,\mathbb{C})$.
Load-bearing premise
The load-bearing premise is that the classification of compact balanced non-Kähler BTP threefolds into exactly the three types listed in [26] is complete and that the Bismut curvature matrices displayed in (15) and (16) are correct; part (3) of Theorem 7 is contradiction arguments run on those matrices. In part (1) the similarly essential assumption is that the complex structure is nilpotent in the sense of [10], which is needed to put the structure constants in the triangular form (9).
Editorial extensions
If this is right
- Every complex nilmanifold with nilpotent $J$ satisfies the conjecture: a constant-curvature $D^r_s$ is either Chern flat (Chern case) or a flat torus (any other case).
- Non-balanced BTP manifolds with constant holomorphic sectional curvature must have $c=0$ and $(r,s)\in\Gamma$, so non-Kähler Bismut Kähler-like and Vaisman manifolds are included.
- Among balanced BTP threefolds, the Wallach threefold and middle-type examples are ruled out as possible constant-curvature space forms; only Kähler or the Chern-flat $SO(3,\mathbb{C})$ quotient survives.
- The conjecture is now verified across complex dimension 2 and these higher-dimensional families, and the standard Hopf manifolds show that the curve $\Gamma$ cannot be removed from the statement.
Reading between the lines
- Editorial extension: the curvature identity (5) suggests a general mechanism for any compact Hermitian manifold with constant $D^r_s$ holomorphic sectional curvature: the parameter either avoids $\Gamma$ and forces flatness, or lies on $\Gamma$ where torsion can partially hide; one could hunt for new $\Gamma$-examples among solvmanifolds with torsion.
- Editorial inference: the admissible-frame method used here for non-balanced BTP manifolds may generalize to all BTP manifolds once the balanced classification is extended to higher dimensions.
- Editorial inference: the nilmanifold proof leaves open the case of arbitrary (non-nilpotent) complex structures; testing the conjecture on a nilmanifold with non-nilpotent $J$ would isolate exactly where the triangular structure constants (9) are needed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Chen–Nie conjecture (Conjecture 5) for the two-parameter family of canonical metric connections D^r_s on compact Hermitian manifolds. The authors derive an identity (5) that expresses the symmetrized curvature of D^r_s in terms of the Bismut curvature and a torsion-quadratic form \hat v. Using this identity, they prove Theorem 7: (1) for complex nilmanifolds with nilpotent J, constant holomorphic sectional curvature forces c=0 and, unless the connection is the Chern connection, the manifold is a finite cover of a flat complex torus; (2) for non-balanced Bismut torsion-parallel (BTP) manifolds, c=0 and the parameter (r,s) lies on the Chen–Nie curve Γ; (3) for balanced BTP threefolds, the manifold is either Kähler or Chern flat with D^r_s equal to the Chern connection. The paper also verifies the expected behavior on standard Hopf manifolds. The main novelty is the unified identity (5) and its application to nilmanifolds, which is largely self-contained, while the BTP parts rely on structural results from the authors' preprints [26] and [27].
Significance. If the main theorem is correct, it gives the first substantial confirmation of the Chen–Nie conjecture in arbitrary dimension for two natural families of Hermitian manifolds, and it clarifies the role of the exceptional curve Γ. The identity (5) is an elegant and potentially useful tool, and the nilmanifold proof is explicit and computationally verifiable. However, the proof of part (2) currently contains an internal gap that blocks the claimed conclusion (r,s)∈Γ, and parts (2)–(3) are conditional on unpublished classification results. The paper therefore represents a promising contribution whose current form needs repair.
major comments (3)
- [§4, proof of Theorem 7(2)] The displayed equation obtained by setting i=j and k=ℓ=n in (12) does not follow from the definitions. With admissible frames satisfying T^n_{ij}=0 and T^j_{in}=δ_{ij}a_i, take i=j=m and k=ℓ=n. Then 4\hat v = v^m_m+v^n_n+v^m_n+v^n_m, and each of these terms is a sum over r of products in which at least one factor is T^n_{ab}=0. Hence \hat v=0, not |a_i|^2/4. Consequently (12) reduces to 0 = c/2(1+δ_{mn}), giving only c=0 and no information about t^2+s^2/4. The claimed equality (t^2+s^2/4−1)|a_i|^2=0 is therefore unsupported, and the conclusion (r,s)∈Γ is not established by the written argument. A different index contraction or a separate argument controlling, for instance, \sum_r|T^i_{ir}|^2 is needed.
- [§4, proof of Theorem 7(2)–(3)] The proof of part (2) relies on the existence and torsion-normal form of admissible frames quoted from Proposition 1.7 of the preprint [27], and part (3) relies on the classification of compact balanced BTP threefolds from the preprint [26], including the explicit Bismut curvature matrices (15) and (16). These are load-bearing inputs and are not reproduced in the paper. Since the admissible-frame normal form is also involved in the gap described above, the authors should state precisely which properties of admissible frames are used and either prove them or give a complete reference, so that the conditional status of the theorem is explicit and verifiable.
- [§4, proof of Theorem 7(1)] The induction in the nilmanifold proof is concise and mostly clear, but the step 'D^2_{*1}=D^1_{*2}=0' after setting k=2 appears to use the vanishing of the right-hand side \sum_{r<2}|D^r_{2i}|^2. This is correct only if the index conventions in (9) and the identity preceding it are aligned; for completeness, the authors should spell out the index ranges (e.g., i<k, r<k) in the displayed identity so that the induction is unambiguous. This is a minor presentation issue, but it affects a central proof.
minor comments (4)
- [Theorem 7(1)] The phrase '(a finite undercover of) a flat complex torus' should be '(a finite cover of) a flat complex torus'.
- [§3, equations (15)–(16)] The notation φ^{i\bar j} for φ^i∧\overline{φ^j} is used without definition; it should be introduced before the curvature matrices are displayed.
- [Throughout] The text contains many typographical errors (e.g., 'const ant', 'cur vature', 'conmnections', 'strutures'). A careful proofread is needed before publication.
- [§4, non-balanced BTP proof] The line 'Since the metric is assumed to be non-balanced, we have a_1+⋯+a_{n−1}=λ>0' would benefit from the explicit observation that a_n=0 follows from T^n_{nn}=0, so the sum over i=1,…,n−1 is the correct non-zero quantity.
Circularity Check
No significant circularity: the constant-holomorphic-sectional-curvature conclusion is derived from identity (5) and the Chen-Nie curve is solved for, not assumed; the main caveat is an algebraic gap in the non-balanced BTP contraction, which is a correctness issue rather than a circularity.
full rationale
The paper's central derivation is not circular. It defines D^r_s, sets t=1/2(1-r+rs), derives the symmetrized curvature identity (5) from the structure equations in Lemmas 8-10, and then uses the hypothesis H^D=c to write \hat R^D = c/2(δijδkℓ+δiℓδkj). The Chen-Nie curve Γ appears only when the algebra forces t^2+s^2/4=1, which is the definition of Γ but is not assumed at the start. The nilmanifold argument uses Salamon's nilpotent coframe and the structural equations (7)-(9); the BTP parts invoke the author-overlapping preprints [26] and [27] for admissible frames and for the classification of balanced BTP threefolds. Those citations are load-bearing, but they supply independent structural classifications whose assumptions do not include the constant-holomorphic-sectional-curvature conclusion, so they do not make the derivation equivalent to its inputs. No fitted parameter or normalization choice is renamed as a prediction. One in-manuscript issue should be flagged separately: in the non-balanced BTP proof, taking i=j and k=ℓ=n in (12) under the admissible-frame torsion conditions T^n_ij=0 and T^j_in=δij a_i gives \hat v=0, since each summand contains T^n_ab=0; therefore the displayed equation with the (t^2+s^2/4-1)|a_i|^2/4 term is not a consequence of the paper's stated definitions, and the proof of (r,s)∈Γ has a gap as written. This is an algebraic correctness concern, not a circularity, and it does not change the circularity score.
Assumptions & free parameters
assumptions (5)
- standard math Standard curvature structure equations and Bianchi identities for Hermitian manifolds.
- standard math The Chern, Bismut, and Levi-Civita connections and the Gauduchon family D^r_s are all metric connections, and formula (1) for gamma = nabla^b - nabla^c holds.
- standard math Salamon's structure theorem (Theorem 12) provides a unitary coframe for nilpotent complex structures satisfying condition (9).
- domain assumption For non-balanced BTP manifolds, admissible frames exist with T^n_ij=0 and T^j_in=delta_ij a_i where a_i are global constants (Proposition 1.7 of [27]).
- domain assumption Compact balanced non-Kähler BTP threefolds fall into exactly three types with Bismut curvature matrices (15) and (16) (classification of [26]).
Cite this review
Pith. "Pith review of Canonical metric connections with constant holomorphic sectional curvature." pith.science (2026). https://pith.science/paper/TH6YT3RU
@misc{pith2026250103032,
author = {Pith},
title = {Pith review of: Canonical metric connections with constant holomorphic sectional curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/TH6YT3RU}},
note = {Machine review of arXiv:2501.03032}
}
abstract
We consider the conjecture of Chen and Nie concerning the space forms for canonical metric connections of compact Hermitian manifolds. We verify the conjecture for two special types of Hermitian manifolds: complex nilmanifolds with nilpotent $J$, and non-balanced Bismut torsion-parallel manifolds.
Reference graph
Works this paper leans on
-
[26]
Q. Zhao, F. Zheng, On Hermitian manifolds with Bismut-Strominger parallel to sion, preprint, 2022. arXiv: 2208.03071 (cited on pages 3, 12, 13)
arXiv 2022
-
[27]
Q. Zhao, F. Zheng, Curvature characterization of Hermitian manifolds with Bi smut parallel torsion , preprint, 2024. arXiv: 2407.10497 (cited on pages 3, 10, 12)
arXiv 2024
-
[1]
V. Apostolov, J. Davidov, and O. Mushkarov, Compact self-dual Hermitian surfaces, Trans. Amer. Math. Soc. 348 (1996), no. 8, 3051-3063. (cited on page 2)
work page 1996
-
[2]
Balas, Compact Hermitian manifolds of constant holomorphic secti onal curvature, Math
A. Balas, Compact Hermitian manifolds of constant holomorphic secti onal curvature, Math. Zeit. 189 (1985), no. 2, 193-210. (cited on page 2)
work page 1985
-
[3]
A. Balas and P. Gauduchon, Any Hermitian metric of constant nonpositive (Hermitian) h olomorphic sec- tional curvature on a compact complex surface is K¨ ahler, Math. Zeit. 190 (1985), no. 1, 39-43. (cited on page 2)
work page 1985
-
[4]
Bismut, A local index theorem for non-K¨ ahler manifolds, Math
J.-M. Bismut, A local index theorem for non-K¨ ahler manifolds, Math. Ann. 284 (1989), no. 4, 681-699. (cited on page 2)
work page 1989
-
[5]
Boothby, Hermitian manifolds with zero curvature, Michigan Math
W. Boothby, Hermitian manifolds with zero curvature, Michigan Math. J. 5 (1958), no. 2, 229-233. (cited on page 2)
work page 1958
-
[6]
H. Chen and X. Nie, Compact Hermitian surfaces with pointwise constant Gauduc hon holomorphic sectional curvature, Math. Zeit. 302 (2022), no. 3, 1721-1737. (cited on pages 2, 3)
work page 2022
Show all 28 references
-
[7]
Chen and F
S. Chen and F. Zheng, On Strominger space forms, J. Geom. Anal. 32 (2022), no. 4, art. id. 141, 21pp. (cited on pages 2, 3, 5, 6, 8)
2022
-
[8]
Chen and F
S. Chen and F. Zheng, Bismut torsion parallel manifolds with constant holomorph ic sectional curvature, preprint, 2024. arXiv: 2405.09110 (cited on page 2)
2024
-
[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. (cited on page 2)
2021
-
[10]
Cordero, M
L. Cordero, M. Fern´ andez, A. Gray, and L. Ugarte, Compact nilmanifolds with nilpotent complex structures: Dolbeault cohomology, Trans. Amer. Math. Soc. 352 (2000), no. 12, 5405-5433. (cited on pages 3, 8, 9, 10)
2000
-
[11]
Davidov, G
J. Davidov, G. Grantcharov, and O. Mushkarov, Curvature properties of the Chern connection of twistor spaces, Rocky Mt. J. Math. 39 (2009), no. 1, 27-48. (cited on page 2)
2009
-
[12]
Gauduchon, Hermitian connnections and Dirac operators, Boll
P. Gauduchon, Hermitian connnections and Dirac operators, Boll. Un. Mat. Ital. B (7) 11 (1997), no. 2, 257-288. (cited on page 2)
1997
-
[13]
G. Khan, B. Yang, and F. Zheng, The set of all orthogonal complex strutures on the flat 6-torus, Adv. Math. 319 (2017), 451-471. (cited on page 2) Canonical metric connections with constant holomorphic se ctional curvature 15
2017
-
[14]
Lafuente and J
R. Lafuente and J. Stanfield, Hermitian manifolds with flat Gauduchon connections, Ann. Sc. Norm. Super. Pisa Cl. Sci. 25 (2024), no. 4, 2241-2258. (cited on page 3)
2024
-
[15]
Li and F
Y. Li and F. Zheng, Complex nilmanifolds with constant holomorphic sectional curvature, Proc. Amer. Math. Soc. 150 (2022), no. 1, 319-326. (cited on page 2)
2022
-
[16]
Rao and F
P. Rao and F. Zheng, Pluriclosed manifolds with constant holomorphic sectiona l curvature, Acta. Math. Sinica (English Series). 38 (2022), no. 6, 1094-1104 (cited on page 2)
2022
-
[17]
Salamon, Complex structures on nilpotent Lie algebras, J
S.M. Salamon, Complex structures on nilpotent Lie algebras, J. Pure Appl. Algebra 157 (2001), no. 2-3, 311-333. (cited on page 8)
2001
-
[18]
Sato and K
T. Sato and K. Sekigawa, Hermitian surfaces of constant holomorphic sectional curv ature, Math. Zeit., 205 (1990), no. 4, 659-668. (cited on page 2)
1990
-
[19]
Strominger, Superstrings with Torsion, Nuclear Phys
A. Strominger, Superstrings with Torsion, Nuclear Phys. B 274 (1986), no. 2, 253-284. (cited on page 2)
1986
-
[20]
Tang, Holomorphic sectional curvature and K¨ ahler-like metric (in Chinese), Sci
K. Tang, Holomorphic sectional curvature and K¨ ahler-like metric (in Chinese), Sci. Sin. Math. 51 (2021), no. 12, 1-12. (cited on page 2)
2021
-
[21]
Vezzoni, B
L. Vezzoni, B. Yang, and F. Zheng, Lie groups with flat Gauduchon connections, Math. Zeit. 293 (2019), no. 1-2, 597-608. (cited on page 7)
2019
-
[22]
Yang and F
B. Yang and F. Zheng, On curvature tensors of Hermitian manifolds, Comm. Anal. Geom. 26 (2018), no. 5, 1193-1220. (cited on pages 5, 6)
2018
-
[23]
Yang and F
B. Yang and F. Zheng, On compact Hermitian manifolds with flat Gauduchon conmnect ions, Acta Math. Sin. (Engl. Ser.) 34 (2018), no. 8, 1259-1268. (cited on pages 5, 7)
2018
-
[24]
Zhao and F
Q. Zhao and F. Zheng, Complex nilmanifolds and K¨ ahler-like connections, J. Geom. Phys. 146 (2019), art. id. 103512, 9pp. (cited on page 7)
2019
-
[25]
Zhao and F
Q. Zhao and F. Zheng, On Gauduchon K¨ ahler-like manifolds, J. Geom. Anal. 32 (2022), no. 4, art. id. 110, 27pp. (cited on pages 3, 10)
2022
-
[28]
Zhou and F
W. Zhou and F. Zheng, Hermitian threefolds with vanishing real bisectional curv ature, Sci. Sin. Math. 52 (2022), no. 7, 757-764. In Chinese; translated in arXiv: 210 3.04296 (cited on page 13) Shuwen Chen. School of Mathematical Sciences, Chongqing Nor mal University, Chongqi...
2022
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.