REVIEW 5 minor 18 references
Bismut-Torsion-Parallel Hermitian Manifolds With Constant Chern Holomorphic Sectional Curvature
T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Balanced BTP Hermitian metrics with nonzero constant Chern holomorphic sectional curvature must be Kähler.
desk verdict The paper proves the balanced BTP case in all dimensions with a clean pointwise Lie-algebra argument; the load-bearing external curvature formula is quoted rather than re-derived. 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 central object is the pointwise torsion Lie algebra $\mathfrak{g}_p=(T^{1,0}_pM,T_p)$, with bracket $[x,y]=T_p(x,y)$. The BTP condition enters through the quadratic identity that makes this a Lie bracket and through the curvature reconstruction formula that expresses Bismut curvature operators as the constant-curvature term plus torsion-quadratic terms. The proof uses that each $R^b(X,Y)$ is a derivation of $\mathfrak{g}_p$, and that balancedness is exactly unimodularity $\operatorname{tr}(\operatorname{ad}_x)=0$. The contraction $S=\sum_i R^b(e_i,\bar e_i)$ gives the trace obstruction that kills semisimple quotients, the standard triangularization theorem for solvable Lie algebras and adjoint weights kill the solvable non-nilpotent case, and the central-direction lemma uses $R^b(z,\bar z)$ along a nonzero center to force the bracket to vanish.
What would settle it
A counterexample would be a balanced BTP Hermitian manifold, compact or not, with $H^c\equiv c\neq 0$ and nonzero Chern torsion; equivalently, in the algebraic form of Theorem 8.2, a nonzero unimodular complex Lie bracket whose associated endomorphisms from (2.15) are all derivations for some $c\neq 0$. Existing non-Kähler Chern-flat BTP examples with $c=0$ do not test the claim, since the proof needs $c\neq 0$ at three separate stages.
Extended reading notes
Core claim
The central claim is Theorem 1.2: under $\nabla^b T=0$ and $H^c\equiv c\neq 0$, a balanced Hermitian manifold has $T=0$ and is Kähler. The argument fixes a point and works with the torsion Lie algebra $\mathfrak{g}_p=(T^{1,0}_pM,T_p)$; the two BTP identities from the literature make this bracket a Lie bracket and reconstruct the Bismut curvature as $c/2(\delta_{ij}\delta_{k\ell}+\delta_{i\ell}\delta_{kj})$ plus quadratic torsion terms. A contracted curvature derivation $S=\sum_i R^b(e_i,\bar e_i)$ is itself a derivation and has trace $n(n+1)c/2$, which forces solvability; adjoint weights force nilpotency; and a curvature argument in a central direction first removes bracket outputs in that direction and then kills the entire bracket. The conclusion $T=0$ is equivalent to $d\omega=0$, so $g$ is Kähler, and the non-balanced case covers the compact corollary.
Load-bearing premise
The proof rests on the quoted curvature reconstruction formula (2.15), which expresses the Bismut curvature as the constant-curvature term $c/2(\delta_{ij}\delta_{k\ell}+\delta_{i\ell}\delta_{kj})$ plus torsion-quadratic terms; if that formula's signs or normalization are incorrect, the rigidity argument collapses.
Editorial extensions
If this is right
- Every compact BTP Hermitian manifold with nonzero constant Chern holomorphic sectional curvature is Kähler.
- Balanced BTP rigidity holds in all dimensions without compactness, completeness, homogeneity, or a special unitary frame, so the same conclusion applies to noncompact balanced BTP metrics.
- A connected complete balanced BTP manifold with $c>0$ has universal cover complex projective space, and with $c<0$ complex hyperbolic space.
- The zero-curvature case must be treated separately: non-Kähler Chern-flat BTP examples persist in dimension at least three.
- The proof reduces the balanced BTP case of the conjecture to a finite-dimensional Lie algebra rigidity statement, with the geometry entering only through the two BTP curvature identities.
Reading between the lines
- The algebraic rigidity theorem invites a computational check: enumerate nonzero unimodular complex Lie brackets in dimensions three through five, form the endomorphisms from (2.15), and test whether they are all derivations; the theorem predicts none with $c\neq 0$.
- Because the proof is pointwise and derivative-free, it should imply a local statement: no germ of a balanced BTP metric with nonzero constant Chern holomorphic sectional curvature can carry torsion.
- If an analogous curvature reconstruction identity is derived for other Gauduchon connections with parallel torsion, the same three-stage Lie algebra strategy may apply; the coefficients change, so separate work is needed.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves Theorem 1.2: a balanced Hermitian manifold of complex dimension n≥2 with Bismut-parallel torsion and nonzero constant Chern holomorphic sectional curvature is Kähler. The proof is pointwise: the Chern torsion at each point defines a complex Lie algebra, balancedness means unimodularity, parallel Bismut torsion makes Bismut curvature operators derivations, and the constant curvature condition, via the Chen–Zheng reconstruction formula (2.15), expresses the Bismut curvature algebraically in terms of c and the torsion. A three-stage algebraic argument (exclude semisimple quotients, exclude solvable non-nilpotent algebras, rule out nonzero nilpotent brackets by a central-direction argument) forces the torsion to vanish. A corollary settles Conjecture 1.1 for all compact BTP manifolds in the nonzero constant case.
Significance. If correct, the result is a significant step: it resolves the nonzero constant case of a well-known conjecture for the entire BTP class in all dimensions, subsuming the previously known non-balanced result of Chen–Zheng, the balanced threefold case, and the balanced fourfold case of Wang–Zheng. The proof is elegant and self-contained after the two quoted external identities; it introduces a clean separation between geometry and Lie algebra (Theorem 8.2) and may inspire similar rigidity arguments. The author makes no use of compactness, homogeneity, or classification, which strengthens the statement.
minor comments (5)
- [Section 2.6 (Proposition 2.7)] The proof of Proposition 2.7 is only a recollection: it reduces (2.15) to the identities (2.16)–(2.18), which are themselves quoted from [8, Lemma 8] without derivation. Since all later calculations (e.g., (4.3), (5.9), (7.5)) rely on the exact signs and normalization of (2.15), please either state Proposition 2.7 as a theorem quoted verbatim from Chen–Zheng (rather than as a proof) or include a full derivation of (2.16)–(2.18) in an appendix.
- [Abstract] The abstract contains a garbled sentence: 'we confirm that a compact BTP Hermitian manifold with Chern holomorphic sectional curvature is a nonzero constant, thengis Kähler.' Please rewrite, for example: 'we confirm that a compact BTP Hermitian manifold whose Chern holomorphic sectional curvature is a nonzero constant is Kähler.'
- [Section 5.2, Eqs. (5.16)–(5.17)] The notation S is used both for the original derivation and for its induced action on the semisimple quotient, which makes the displayed trace equalities confusing; use, e.g., S_quot and write tr S_quot = tr_U S = 0.
- [Section 5.1, Eq. (5.11)] The sentence 'The two 1/4 terms are complex conjugates' is asserted without explanation; a brief justification via the Hermitian symmetry of the Bismut curvature component R^b_{i\bar j k\bar \ell} would improve readability.
- [Throughout] The manuscript contains several LaTeX spacing and typographical artifacts (e.g., 'then$g$is Kähler' in the abstract, missing spaces around S in formula displays). A careful proofread is recommended.
Circularity Check
No circularity: every load-bearing input is an external, parameter-free curvature–torsion identity, and the target conclusion is not assumed at any point.
full rationale
The derivation chain is not circular. Theorem 1.2 is proved pointwise from three independent inputs: Lemma 2.1 polarizes constant Chern holomorphic sectional curvature; Proposition 2.2 (Zhao–Zheng) turns BTP into the quadratic torsion identity (2.11), making the pointwise torsion a Lie bracket; Proposition 2.7 (Chen–Zheng) reconstructs the full Bismut curvature as the constant-curvature term plus torsion quadratic terms in (2.15). None of these inputs assumes T = 0 or Kählerity. The proof of Proposition 2.7 in Section 2.6 is a recollection of [8, Lemma 8], but that is an external published theorem with stated assumptions that do not include the target result, so citing it is legitimate evidence rather than circularity. There is no author-overlap self-citation used as a load-bearing premise: the fourfold result [14] is cited only as context, not in the proof. The algebraic stages in Sections 4–7 derive each equation from the preceding displayed identities and standard Lie-algebra facts; no equation is equivalent to the theorem's conclusion by construction. The paper even restates the geometric conditions as an algebraic rigidity theorem (Theorem 8.2) and checks the three-dimensional model cases, showing that the argument does not secretly presuppose a Kähler metric. Conditional dependence on the correctly recalled Chen–Zheng formula is a correctness/external-verification concern, not circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption Zhao-Zheng quadratic identity (2.11) for BTP torsion: Σ_r (T^r_{ij} T^ℓ_{rk} + T^r_{jk} T^ℓ_{ri} + T^r_{ki} T^ℓ_{rj}) = 0.
- domain assumption Chen-Zheng Bismut curvature reconstruction formula (2.15) under BTP and H^c ≡ c.
- standard math Standard finite-dimensional complex Lie algebra facts: Lie's theorem, Engel's theorem, derivations preserve the radical, semisimple derivations are inner and traceless, and nonzero nilpotent Lie algebras have nonzero center.
Cite this review
Pith. "Pith review of Bismut-Torsion-Parallel Hermitian Manifolds With Constant Chern Holomorphic Sectional Curvature." pith.science (2026). https://pith.science/paper/AVL6BCC2
@misc{pith2026260813386,
author = {Pith},
title = {Pith review of: Bismut-Torsion-Parallel Hermitian Manifolds With Constant Chern Holomorphic Sectional Curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/AVL6BCC2}},
note = {Machine review of arXiv:2608.13386}
}
abstract
A well-known conjecture in complex geometry states that a compact Hermitian manifold with constant Chern holomorphic sectional curvature must be K\"ahler when the constant is nonzero and Chern flat when the constant is zero. The conjecture is known in complex dimension two and in several special classes in higher dimensions. For Hermitian metrics with Bismut-parallel torsion, the non-balanced case and the balanced threefold case were established by Chen--Zheng, while the balanced fourfold case was settled recently by Wang--Zheng. In this article, we prove the nonzero case for balanced Bismut-torsion-parallel Hermitian manifolds in every complex dimension. As a corollary, we confirm that a compact BTP Hermitian manifold with Chern holomorphic sectional curvature is a nonzero constant, then $g$ is K\"ahler.
Reference graph
Works this paper leans on
-
[1]
V. Apostolov, J. Davidov, and O. Muˇ skarov,Compact self-dual Hermitian surfaces, Trans. Amer. Math. Soc.348(1996), no. 8, 3051–3063
work page 1996
-
[2]
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
1985
-
[3]
A. Balas and P. Gauduchon,Any Hermitian metric of constant nonpositive (Hermitian) holomorphic sectional curvature on a compact complex surface is K¨ ahler, Math. Z. 190(1985), 39–43
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. BALANCED BTP METRICS AND CONSTANT CHERN HSC 19
work page 1989
-
[5]
W. M. Boothby,Hermitian manifolds with zero curvature, Michigan Math. J.5(1958), 229–233
work page 1958
-
[6]
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
-
[7]
Compact balanced threefolds and LCK manifolds with constant holomorphic sectional curvature
S. Chen and J. Li,Compact balanced threefolds and LCK manifolds with constant holomorphic sectional curvature, arXiv:2608.05598, 2026
work page Pith review arXiv 2026
-
[8]
S. Chen and F. Zheng,Bismut torsion parallel metrics with constant holomorphic sectional curvature, arXiv:2405.09110v2, 2025
arXiv 2025
Show all 18 references
-
[9]
Gauduchon,La1-forme de torsion d’une vari´ et´ e hermitienne compacte, Math
P. Gauduchon,La1-forme de torsion d’une vari´ et´ e hermitienne compacte, Math. Ann. 267(1984), no. 4, 495–518
1984
-
[10]
J. E. Humphreys,Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics, Vol. 9, Springer-Verlag, New York, 1972
1972
-
[11]
Kobayashi and K
S. Kobayashi and K. Nomizu,Foundations of Differential Geometry, Vol. II, Inter- science Publishers, New York, 1969
1969
-
[12]
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
-
[13]
Tang,Holomorphic sectional curvature and K¨ ahler-like metric, Sci
K. Tang,Holomorphic sectional curvature and K¨ ahler-like metric, Sci. Sin. Math.51 (2021), no. 12, 2013–2024
2021
-
[14]
Wang and F
Q. Wang and F. Zheng,Balanced Bismut torsion-parallel fourfold with constant holomorphic sectional curvature, arXiv:2608.00457, 2026
2026 arXiv
-
[15]
Yang and F
B. Yang and F. Zheng,On curvature tensors of Hermitian manifolds, Comm. Anal. Geom.26(2018), no. 5, 1195–1222
2018
-
[16]
Zhao and F
Q. Zhao and F. Zheng,Curvature characterization of Hermitian manifolds with Bismut parallel torsion, Trans. Amer. Math. Soc. (2026), published electronically, doi:10.1090/tran/9843
2026 doi
-
[17]
Zhao and F
Q. Zhao and F. Zheng,On balanced Hermitian threefolds with parallel Bismut torsion, arXiv:2506.15141v2, 2025
2025
-
[18]
Zhou and F
W. Zhou and F. Zheng,Hermitian threefolds with vanishing real bisectional curvature, Sci. Sin. Math.52(2022), no. 7, 757–764
2022
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.