REVIEW 3 major objections 4 minor 1 cited by
On Strominger K\"ahler-like manifolds with degenerate torsion
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Complete non-Kähler SKL threefolds split into a non-Kähler SKL surface times a Kähler curve, or into two Sasakian 3-manifolds.
desk verdict Solid classification paper for SKL threefolds and degenerate-torsion splittings; the main risk is a load-bearing equivalence imported from the authors' earlier work, not an internal error. 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 is the matrix $\varphi=(\varphi^i_j)$ defined by $\varphi^i_j=\sum_r \eta_r T^j_{ir}$ from the Chern torsion $T$ and the Gauduchon torsion 1-form $\eta$, together with its symmetrization $B=\varphi+\varphi^*$. On a non-Kähler SKL manifold one can choose an admissible unitary frame in which the dual vector $X_\eta=\lambda e_n$ and $\varphi$ is diagonal; $\nabla^s$-parallelism makes the eigenvalues $a_i$ global constants, with $a_n=0$ and $\sum_i a_i=\lambda$. Degenerate torsion means $T^i_{jk}=0$ for all $i,k<n$ in any admissible frame, leaving only $a_i=T^i_{in}$; then at most two $a_i$ are nonzero, giving the rank-1 and rank-2 cases. These constants block-diagonalize the Strominger connection $\nabla^s$, the zero eigenspace $E\oplus E$ is parallel under the Riemannian connection, and the de Rham splitting off a Kähler factor follows; in dimension 3 the two Reeb vector fields built from $a e_3$ and $b e_3$ produce the two Sasakian factors.
What would settle it
A compact non-Kähler SKL threefold whose torsion is not degenerate, or whose universal cover is neither a non-Kähler SKL surface times a Kähler curve nor a product of two Sasakian 3-manifolds, would directly contradict Theorem 7; checking the eigenvalues $a_i$ in an admissible frame gives a concrete computation that would expose such an example.
Extended reading notes
Core claim
The central claim, proved as Theorem 7 and Theorem 9, is a structure theorem. Let $(M^n,g)$ be complete, non-Kähler, and SKL. For $n=3$, the universal cover $\tilde M$ is holomorphically isometric either to $M_1^2 \times C$, where $M_1^2$ is a non-Kähler SKL surface and $C$ a Kähler curve, or to $N_1^3 \times N_2^3$, a product of two Sasakian 3-manifolds; for $n=2$, $\tilde M = N^3 \times \mathbb{R}$ with $N^3$ Sasakian. For $n\ge 4$, the same conclusion holds under degenerate torsion, defined by the vanishing of all torsion components $T^i_{jk}$ with $i,k<n$ in an admissible frame; the paper proves degenerate torsion is equivalent to the LP condition, and then the universal cover splits as a Kähler manifold times a non-Kähler SKL factor of complex dimension 2 or 3. The paper further claims that any compact non-Kähler SKL manifold has a nontrivial Aeppli class, admits no Hermitian symplectic metric, and for $n\ge 3$ admits no Vaisman metric.
Load-bearing premise
The whole classification rests on the earlier equivalence between the Strominger Kähler-like condition and the combination of pluriclosedness with parallel torsion, plus the imported classification of the allowable Sasakian three-dimensional factors; if either of those prior results has a gap, the splitting theorems do not follow.
Editorial extensions
If this is right
- Every complete non-Kähler SKL threefold is covered by one of two explicit models, so the possible topologies and metrics are governed by known Sasakian and surface building blocks.
- Compact non-Kähler SKL manifolds cannot satisfy the $\partial\bar\partial$-Lemma, cannot be Hermitian symplectic, and in dimension $n\ge 3$ cannot carry a Vaisman metric; hence their non-Kählerity is not a minor decoration.
- A non-Kähler SKL metric in dimension $n\ge 3$ is unique in its conformal class up to constant multiples and is never locally conformal Kähler.
- In complex dimension at most 3, vanishing first Ricci curvature of the Strominger connection forces the connection to be flat, so the manifold is a quotient of a Samelson space.
- For degenerate torsion in any dimension, the universal cover splits holomorphically and isometrically as a Kähler factor times a non-Kähler SKL factor of complex dimension 2 or 3.
Reading between the lines
- The equivalence between LP and degenerate torsion suggests an organizing principle for all SKL manifolds: torsional information is concentrated in one or two directions exactly when a Lee potential exists, so searching for SKL examples with non-degenerate torsion in dimension $\ge 4$ is the natural next test of the conjectures.
- The proof gives a concrete eigenvalue criterion for splitting: compute the eigenvalues $a_i$ in an admissible frame; if more than two are nonzero, no de Rham splitting of the type proven here can occur, and such an example would lie beyond Theorem 9.
- Theorem 3's conformal uniqueness may be testable on explicit SKL nilmanifolds: a nonconstant solution of the conformal equations (8)--(12) would mark the boundary of the dimension-3 rigidity.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies compact and complete Hermitian manifolds satisfying the Strominger Kähler-like (SKL) condition, meaning that the Strominger (Bismut) connection has curvature with the symmetries of a Kähler metric. The authors prove several general properties: the Kähler form of a compact non-Kähler SKL metric represents a nontrivial Aeppli cohomology class, such a manifold admits no Hermitian symplectic metric, SKL metrics are unique in their conformal class for n ≥ 3, and no Vaisman metric can coexist with a non-Kähler SKL metric when n ≥ 3. The central results are a classification of complete non-Kähler SKL threefolds (Theorem 7) and a splitting theorem for SKL manifolds with degenerate torsion (Theorem 9). The proofs rely on an imported characterization from the authors' previous work that SKL is equivalent to pluriclosedness plus parallelism of the torsion of the Strominger connection, and on Belgun's classification of Sasakian three-manifolds.
Significance. If the main results are correct, the paper makes a substantial contribution to the structure theory of non-Kähler Hermitian manifolds. Theorem 7 gives a clean classification of complete SKL threefolds, showing that they are either products of a non-Kähler SKL surface with a Kähler curve or products of two Sasakian three-manifolds. Theorem 9 introduces the notion of degenerate torsion and shows that it forces a de Rham splitting with a Kähler factor, providing a useful organizational principle for the class. The manuscript is computation-heavy and contains many detailed coordinate derivations; these are generally consistent. However, the classification rests on a self-cited equivalence whose hypotheses are not fully specified, and one step in the proof of Theorem 7 appears to contain a gap in the rank-two case.
major comments (3)
- [§3, proof of Theorem 7, rank-two case (equations (19)–(22))] The assertion that the distributions E and E' are parallel is not supported by the displayed formulas. From (19), ∇e3 = a φ1 e1 + b φ2 e2 − ā φ̄1 ē1 − b̄ φ̄2 ē2. Using the definition ξ = i/(√2|a|)(a e3 − ā ē3) and the relation a/|a| = i b/|b|, a direct computation gives ∇ξ proportional to a φ1 e1 + b φ2 e2 − ā φ̄1 ē1 − b̄ φ̄2 ē2, which has components along e2 and ē2. Likewise, substituting the expression for ∇e1 and using the decomposition of e3, ē3 in terms of ξ and ξ' yields a nonzero component along ξ' when evaluated on the vector Z ∈ E. Therefore, the claimed parallelism of E and E' is not established by the given formulas. Please provide a corrected computation or clarify why the extra terms cancel.
- [§1 and §2, equations (1)–(3)] The paper's main classification is built on the characterization from [45, Cor. 4] that a Hermitian metric is SKL if and only if it is pluriclosed and its Strominger torsion is parallel. This result is used to derive the structure equations (1)–(3) and is reused in the proof of Theorem 9. Since [45] is a previous preprint by the same authors and the present paper treats complete (possibly noncompact) manifolds, please state the precise hypotheses under which this equivalence is known to hold, and confirm that it applies to complete non-Kähler SKL manifolds without additional compactness or bounded-geometry assumptions. If the equivalence has only been proved in the compact setting, a separate argument is needed for the noncompact cases covered by Theorems 7 and 9.
- [§3, proof of Theorem 9 (rank-two, n=3 case)] In the proof of Theorem 9, the kernel distribution E has dimension m = n−3. For n = 3 and the rank-two case, m = 0, so the argument 'for i ≤ m ... ∇e_i ∈ E' gives no nontrivial splitting. The desired conclusion that the universal cover splits as M_1^3 × M_2^0 (i.e., as a product of two Sasakian three-manifolds) must therefore come from the rank-two argument in Theorem 7. Since that argument is the subject of the first major comment, the proof of Theorem 9 is also incomplete in this case.
minor comments (4)
- [§1, proof of Theorem 1] The word 'Apelli' should be 'Aeppli' in the sentence 'it represents an Apelli cohomology class'.
- [§1 and throughout] There are several typographical errors: 'Kodiara' should be 'Kodaira' in the paragraph after Theorem 4; 'imples' should be 'implies' after Theorem 3; 'cuvatures' appears in reference [27]. A careful proofreading pass is recommended.
- [§3, Lemma 5] The notation in Lemma 5, specifically 'α + ᾱ = 0' for the local 1-forms α and β, is terse. Since α is used both as a 1-form and, in the same lemma, α and β are used as block labels, it would help to explicitly state that α and β are imaginary-valued local 1-forms on the indicated blocks.
- [§1, Definition 2] In the displayed formula for the Kähler form of the standard Hermitian structure on a product of Sasakian manifolds, ω = (1/2c1)dα1 + (1/2c2)dα2 + α1 ∧ α2, the signs depend on the convention for Jξi and should be checked; the subsequent pluriclosedness computation uses the formula ∂∂ω = dα1 ∧ dα1 + dα2 ∧ dα2, which should be reconciled with the chosen convention.
Circularity Check
No circularity: the classification is built on imported external theorems, not on its own conclusion.
full rationale
I walked the derivation chain from the definition of SKL through equations (1)-(3), Lemma 3, Lemma 4, Theorems 7, 8, and 9. The classification does not assume its own conclusion: the SKL condition is defined geometrically by the Kähler-like curvature of the Strominger connection, and the equivalence with pluriclosedness plus parallel torsion is imported from [45] as an external theorem, not rederived in this paper. This is self-citation because Zhao and Zheng are coauthors, but the cited result is parameter-free, its hypotheses do not include the threefold classification or the splitting theorem, and it is not constructed from the statements being proved. The claims that degenerate torsion forces the rank-1 or rank-2 normal forms, that the eigenvalues a_i are globally defined constants, and that the kernel distribution E ⊕ E is Riemannian-parallel are derived from the structure equations and de Rham arguments rather than from the target classification. Belgun's Sasakian classification is used only to name the factors in the compact case. No fitted parameter is relabeled as a prediction, and no equation in the paper is identical to its input by construction. The heavy reliance on [45] is an audit and reproducibility concern, but it is a correctness risk, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption SKL iff pluriclosed and ∇s-parallel torsion
- domain assumption Belgun's classifications of Vaisman surfaces and co-compact Sasakian 3-manifolds
- standard math de Rham decomposition theorem for complete Riemannian manifolds
- domain assumption Belgun's and Matsuo's formulas for products of Sasakian manifolds
Cite this review
Pith. "Pith review of On Strominger K\"ahler-like manifolds with degenerate torsion." pith.science (2026). https://pith.science/paper/P4BNBZOZ
@misc{pith2026190805322,
author = {Pith},
title = {Pith review of: On Strominger K\"ahler-like manifolds with degenerate torsion},
year = {2026},
howpublished = {\url{https://pith.science/paper/P4BNBZOZ}},
note = {Machine review of arXiv:1908.05322}
}
abstract
In this paper, we study a special type of compact Hermitian manifolds that are Strominger K\"ahler-like, or SKL for short. This condition means that the Strominger connection (also known as Bismut connection) is K\"ahler-like, in the sense that its curvature tensor obeys all the symmetries of the curvature of a K\"ahler manifold. Previously, we have shown that any SKL manifold $(M^n,g)$ is always pluriclosed, and when the manifold is compact and $g$ is not K\"ahler, it can not admit any balanced or strongly Gauduchon (in the sense of Popovici) metric. Also, when $n=2$, the SKL condition is equivalent to the Vaisman condition. In this paper, we give a classification for compact non-K\"ahler SKL manifolds in dimension $3$ and those with degenerate torsion in higher dimensions. We also present some properties about SKL manifolds in general dimensions, for instance, given any compact non-K\"ahler SKL manifold, its K\"ahler form represents a non-trivial Aeppli cohomology class, the metric can never be locally conformal K\"ahler when $n\geq 3$, and the manifold does not admit any Hermitian symplectic metric.
Forward citations
Cited by 1 Pith paper
-
Special non-K\"ahler metrics -- old and new
An expository account of non-Kähler metric classes, their incompatibilities, and their stability, with all results cited from previous papers.
Reference graph
Works this paper leans on
-
[45]
Strominger connection and pluriclosed metrics
Q. Zhao and F. Zheng, Strominger connection and pluriclosed metrics, arXiv:1904.06604
work page Pith review arXiv 1904
-
[1]
B. Alexandrov and S. Ivanov, Vanishing theorems on Hermitian manifolds, Diff. Geom. Appl. 14 (2001), 251-265
work page 2001
-
[2]
On Gauduchon connections with K\"ahler-like curvature
D. Angella, A. Otal, L. Ugarte, R. Villacampa, On Gauduchon connections with K¨ ahler-like curvature, arXiv:1809.02632, to appear in Comm. Anal. Geom
-
[3]
D. Angella and L. Ugarte, Locally conformal Hermitian metrics on complex non-K¨ ahle r manifolds, Mediterr. J. Math. 13 (2016) 2105-2145
work page 2016
-
[4]
Belgun, On the metric structure of non-K¨ ahler complex surfaces, Math
F. Belgun, On the metric structure of non-K¨ ahler complex surfaces, Math. Ann. 317 (2000), 1-40
work page 2000
-
[5]
Belgun, Normal CR structures on S3, Math
F. Belgun, Normal CR structures on S3, Math. Z. 244 (2003), 125-151
work page 2003
-
[6]
Belgun, On the metric structure of some non-K¨ ahler complex threefo lds, arXiv: 1208.4021
F. Belgun, On the metric structure of some non-K¨ ahler complex threefo lds, arXiv: 1208.4021
-
[7]
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
work page 1989
Show all 47 references
-
[8]
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
-
[9]
Enrietti, A
N. Enrietti, A. Fino, and L. Vezzoni, Tamed symplectic forms and strong K¨ ahler with torsion metr ics, J. Symplectic Geom. 10 (2012), no. 2, 203-223
2012
-
[10]
Fino and A
A. Fino and A. Tomassini, A survey on strong KT structures, Bull. Math. Soc. Sci. Math. Roumanie, Tome 52 (100) No. 2, 2009, 99-116
2009
-
[11]
Fino, and L
A. Fino, and L. Vezzoni, On the existence of balanced and SKT metrics on nilmanifolds , Proc. Amer. Math. Soc., 144 (2016), no.6, 2455-2459
2016
-
[12]
Proceedings of the International Congress of Mathe- maticians
J-X Fu, On non-K¨ ahler Calabi-Yau threefolds with balanced metric s. Proceedings of the International Congress of Mathe- maticians. Volume II, 705-716, Hindustan Book Agency, New D elhi, 2010
2010
-
[13]
Li, and S-T Yau, Constructing balanced metrics on some families of non-K¨ ah ler Calabi-Yau threefolds
J-X Fu, J. Li, and S-T Yau, Constructing balanced metrics on some families of non-K¨ ah ler Calabi-Yau threefolds. J. Differential Geom. 90 (2012), no. 1, 81-129
2012
-
[14]
W ang, and D
J-X Fu, Z. W ang, and D. W u, Form type Calabi-Yau equaitons. Math. Res. Lett., 17 (2010), 887-903
2010
-
[15]
W ang, and D
J-X Fu, Z. W ang, and D. W u, Semilinear equaitons, the γk function, and generalized Gaudchon metrics. J. Eur. Math. Soc., 15 (2013), 659-680
2013
-
[16]
J-X Fu and S-T Yau, The theory of superstring with flux on non-K¨ ahler manifolds and the complex Monge-Amp` ere equation. J. Differential Geom. 78 (2008), no. 3, 369-428
2008
-
[17]
Zhou, Scalar curvatures in almost Hermitian geometry and some app lications, arXiv: 1901.10130
J-X Fu and X. Zhou, Scalar curvatures in almost Hermitian geometry and some app lications, arXiv: 1901.10130
1901 arXiv
-
[18]
Gates, C.M
S.J. Gates, C.M. Hull and M. Ro˘ cek, Twisted multiplets and new supersymmetric nonlinear sigma models, Nuc. Phys. B 248 (1984), 157-186
1984
-
[19]
Gauduchon, La 1-forme de torsion d’une vari´ et´ e hermitienne compacte.Math
P. Gauduchon, La 1-forme de torsion d’une vari´ et´ e hermitienne compacte.Math. Ann. 267 (1984), no. 4, 495-518
1984
-
[20]
Gauduchon, Hermitian connnections and Dirac operators, Boll
P. Gauduchon, Hermitian connnections and Dirac operators, Boll. Un. Mat. It. 11-B (1997) Suppl. Fasc., 257-288
1997
-
[21]
Gray, Curvature identities for Hermitian and almost Hermitian ma nifolds, Tohoku Math
A. Gray, Curvature identities for Hermitian and almost Hermitian ma nifolds, Tohoku Math. J. 28 (1976), no. 4, 601-612
1976
-
[22]
Ivanov and G
S. Ivanov and G. Papadopoulos, Vanishing theorems and string backgrounds, Classical Quantum Gravity 18 (2001), 1089- 1110
2001
-
[23]
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
2017
-
[24]
Kodaira, On the structure of compact complex analytic spaces I, Am
K. Kodaira, On the structure of compact complex analytic spaces I, Am. J. Math. 86 (1964), 751-798; II, ibid. 88 (1966), 682-721; III, ibid. 90 (1969), 55-83; IV, ibid. 90 (1969), 1048-1066
1964
-
[25]
Li and S.-T
J. Li and S.-T. Yau, The existence of supersymmetric string theory with torsion , J. Differential Geom. 70 (2005), no. 1, 143–181
2005
-
[26]
K-F Liu and X-K Yang, Geometry of Hermitian manifolds, Internat. J. Math. 23 (2012) (40 page)
2012
-
[27]
K-F Liu and X-K Yang, Ricci cuvratures on Hermitian manifolds, Trans. Amer. Math. Soc. 369 (2017), no. 7, 5157-5196
2017
-
[28]
K-F Liu and X-K Yang, Hermitian harmonic maps and non-degenerate curvatures, Math. Res. Lett. 21 (2014), no. 4, 831-862
2014
-
[29]
Matsuo, Astheno-K¨ ahler structures on Calabi-Eckmann manifolds, Colloqium Math
K. Matsuo, Astheno-K¨ ahler structures on Calabi-Eckmann manifolds, Colloqium Math. 115 (2009), 33-39
2009
-
[30]
Ornea and M
L. Ornea and M. Verbitsky, Locally conformally K¨ ahler manifolds with potential, Math. Ann. 348 (2010), 25-33
2010
-
[31]
Popovici, Limits of projective manifolds under holomorphic deformat ions: Hodge numbers and strongly Gauduchon metrics, Invent
D. Popovici, Limits of projective manifolds under holomorphic deformat ions: Hodge numbers and strongly Gauduchon metrics, Invent. Math. 194 (2013), no. 3, 515-534
2013
-
[32]
Salamon, Complex structures on nilpotent Lie algebras, J
S. Salamon, Complex structures on nilpotent Lie algebras, J. Pure Appl. Algebra 157 (2001), 311-333
2001
-
[33]
Samelson, A class of complex analytic manifolds, Portugaliae Math
H. Samelson, A class of complex analytic manifolds, Portugaliae Math. 12 (1953) 129-132
1953
-
[34]
Streets, Pluriclosed flow and the geometrization of complex surfaces , arXiv:1808.09490
J. Streets, Pluriclosed flow and the geometrization of complex surfaces , arXiv:1808.09490
-
[35]
Strominger, Superstrings with Torsion, Nuclear Phys
A. Strominger, Superstrings with Torsion, Nuclear Phys. B 274 (1986), 253-284
1986
-
[36]
Sz´ ekelyhidi, V
G. Sz´ ekelyhidi, V. Tosatti and B. W einkove, Gauduchon metrics with prescribed volume form, Acta Math. 219 (2017), no. 1, 181-211. Strominger K¨ ahler-like 17
2017
-
[37]
Tosatti, Non-K¨ ahler Calabi-Yau manifolds,Analysis, complex geometry, and mathematical physics: in h onor of Duong H
V. Tosatti, Non-K¨ ahler Calabi-Yau manifolds,Analysis, complex geometry, and mathematical physics: in h onor of Duong H. Phong, 261-277, Contemp. Math., 644, Amer. Math. Soc., Pr ovidence, RI, 2015. arXiv: 1401.4797
2015 arXiv
-
[38]
Tseng and S.-T
L.-S. Tseng and S.-T. Yau, Non-K¨ ahler Calabi-Yau manifolds.String-Math 2011, 241-254, Proc. Sympos. Pure Math., 85, Amer. Math. Soc., Providence, RI, 2012
2011
-
[39]
Vezzoni, B
L. Vezzoni, B. Yang, and F. Zheng, Lie groups with flat Gauduchon connections, Math. Zeit. 293 (2019), 597-608
2019
-
[40]
W ang, Closed manifolds with homogeneous complex structure, Amer
H.-C. W ang, Closed manifolds with homogeneous complex structure, Amer. J. Math. 76 (1954) 1-32
1954
-
[41]
W ang, B
Q. W ang, B. Yang, and F. Zheng, On Bismut flat manifolds, arXiv:1603.07058, to appear in Trans. Amer. Math. Soc
-
[42]
Yang and F
B. Yang and F. Zheng, On curvature tensors of Hermitian manifolds, arXiv:1602.01189, Comm. Anal. Geom. 26 (2018), no.5, 1193-1220
2018 arXiv
-
[43]
Yang and F
B. Yang and F. Zheng, On compact Hermitian manifolds with flat Gauduchon conmnect ions, Acta Math. Sinica (English Series). 34 (2018), 1259-1268
2018
-
[44]
K. Yano. Differential geometry on complex and almost complex spaces. International Series of Monographs in Pure and Applied Mathematics, Vol 49, A Pergamon Press Book. 1965
1965
-
[46]
Zhao and F
Q. Zhao and F. Zheng, Complex nilmanifolds and K¨ ahler-like connections, arXiv:1904.09707, J. Geom. Phys. 146 (2019)
2019 arXiv
-
[47]
Zheng, Complex differential geometry
F. Zheng, Complex differential geometry. AMS/IP Studies in Advanced Mathematics, 18. American Mathe matical Society, Providence, RI; International Press, Boston, MA, 2000. Shing-Tung Yau. Department of Mathematics, Harvard Universi ty, Cambridge, MA 02138, USA E-mail address : ...
2000
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.