REVIEW 3 major objections 4 minor 37 references
The Fino--Vezzoni conjecture on homogeneous spaces
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read On compact quotients of complex homogeneous spaces with compact isotropy, the Fino–Vezzoni conjecture holds: balanced plus pluriclosed forces Kähler, and with trivial first Chern class the pluriclosed flow converges to a flat Kähler metric.
desk verdict Theorem C is a major and convincing advance on the Fino–Vezzoni conjecture; Theorem H has a small unstated naturality gap that should be patched, not a fatal flaw. 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 $G$-invariant Aeppli slice $S=(\omega_0+\mathcal{A})\cap P$, where $\mathcal{A}$ consists of the $(1,1)$-parts $\partial\alpha+\bar\partial\bar\alpha$ of $G$-invariant $(1,0)$-forms $\alpha$, and $P$ is the cone of $G$-invariant Hermitian metrics. On this finite-dimensional slice, the volume functional, realized as a determinant on the space of Hermitian operators commuting with the isotropy representation, has a unique critical point because the existence of a $G$-invariant balanced metric forces the slice to be bounded and the logarithm of the determinant to be strictly concave. Proposition 2.1 identifies balanced metrics with exactly these critical points. A symmetrization operator, built by averaging over the compact quotient $\Gamma\backslash G$ against a bi-invariant volume form, pushes arbitrary balanced or pluriclosed metrics on $Y$ to $G$-invariant ones while preserving the relevant properties. For the flow, the same log-determinant function serves as a proper strict Lyapunov function for the ODE induced on the slice, and the Chern torsion identity supplies its monotonicity.
What would settle it
A concrete counterexample would be a compact quotient satisfying Assumptions B that admits both a balanced and a pluriclosed metric but no Kähler metric; such a space would refute Theorem C. To test the flow part, one could take any $G$-invariant pluriclosed metric on a space with $c_1(Y)=0$ and check numerically or analytically whether the pluriclosed flow leaves the $G$-invariant Aeppli slice at positive time, which would show Theorem H's ODE reduction is invalid.
Extended reading notes
Core claim
The central claim is Theorem C: under Assumptions B, a compact quotient $Y=\Gamma\backslash X$ that admits both a balanced and a pluriclosed metric must also admit a Kähler metric. The proof establishes a stronger slice statement (Theorem F): after symmetrizing a balanced metric to a $G$-invariant one, every $G$-invariant Aeppli slice contains a unique balanced metric, and when the slice is generated by a pluriclosed metric that balanced metric is Kähler. When $c_1(Y)=0$, the pluriclosed flow stays inside the finite-dimensional Aeppli slice, log-volume is a proper strict Lyapunov function for the induced ODE, and the unique Kähler metric in the slice is the global attractor. Because that limit metric is homogeneous and Ricci-flat, it is flat, giving Theorem H.
Load-bearing premise
The full flow theorem rests on the assumption that the pluriclosed flow preserves $G$-invariance of the initial metric, so that the infinite-dimensional PDE really reduces to the finite-dimensional ODE; the paper invokes the standard naturality of the flow under biholomorphisms but does not prove it.
Editorial extensions
If this is right
- For $Y=\Gamma\backslash G$ with a left-invariant complex structure and $\Gamma$ a cocompact lattice, balanced plus pluriclosed implies a flat Kähler metric.
- For compact homogeneous spaces with a transitive compact Lie group, balanced plus pluriclosed implies Kähler, and the space is a product of a complex torus and a generalized flag manifold.
- When $c_1(Y)=0$, every $G$-invariant pluriclosed metric flows immortally to a flat Kähler limit, generalizing earlier results that required vanishing first Bott–Chern class.
- The conjecture for this homogeneous class is reduced to finite-dimensional data: one $G$-invariant balanced metric bounds every invariant Aeppli slice, giving uniqueness of balanced representatives in each slice.
Reading between the lines
- The slice argument suggests that the balanced representative in each $G$-invariant Aeppli class is unique; checking whether this uniqueness extends to full non-invariant Aeppli classes would connect the result to volume invariants on arbitrary compact complex manifolds.
- Because the proof only needs a finite-dimensional slice and strict concavity of log-volume, the same strategy may apply to non-homogeneous compact manifolds admitting a finite-dimensional group of biholomorphisms whose slice geometry is bounded.
- A natural test is to compute the pluriclosed flow numerically for a low-dimensional solvmanifold satisfying the assumptions; the Lyapunov argument suggests the convergence rate should be exponential, a statement the paper does not make.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Theorem C: under Assumptions B, if the compact quotient Y=Γ\X of a complex homogeneous space X with compact isotropy admits both a balanced metric and a pluriclosed metric, then Y is Kähler. The engine is Theorem F, which shows that in the finite-dimensional space H of G-invariant real (1,1)-forms, every G-invariant Aeppli slice contains a unique balanced metric, and this metric is Kähler when the slice is generated by a pluriclosed metric. Theorem H asserts that, under the additional hypothesis c1(Y)=0, the pluriclosed flow from any G-invariant pluriclosed metric is immortal, stays in the G-invariant Aeppli slice, and converges to a flat Kähler metric. The proof strategy is to identify balanced metrics with critical points of the volume functional (equivalently of det on H), prove strict concavity of log det to get uniqueness, and then use L=log det as a Lyapunov function for the induced ODE.
Significance. The result is a substantial advance on the Fino–Vezzoni conjecture: it covers all compact discrete quotients of complex homogeneous spaces with compact isotropy, a much broader class than the solvmanifold and nilmanifold cases treated earlier. Theorem H also extends the recent result of Fino and Vezzoni by removing the vanishing first Bott–Chern class assumption and by covering the full homogeneous setting. The proof is remarkably elementary: after symmetrisation, the main theorems reduce to finite-dimensional convex analysis (strict concavity of log det on a bounded affine slice) plus a Lyapunov argument, and the symmetrisation operator is constructed in detail rather than merely invoked. The proof is self-contained in its key steps and contains no fitted parameters or circular dependencies on the results it claims to prove.
major comments (3)
- [Section 3, proof of Theorem H] The assertion 'Therefore, the pluriclosed flow restricts to an ODE on S' is not justified as written. The preceding computation shows only that the vector field X_ω=-(ρ_B^ω)^{1,1} is tangent to the affine slice S. To conclude that the actual parabolic flow starting at a G-invariant metric evolves inside S, one must prove that the pluriclosed flow is natural with respect to biholomorphisms: if φ is a biholomorphism of X and ω(t) is a solution, then φ^*ω(t) is also a solution, so by uniqueness of the flow g^*ω(t)=ω(t) for every g∈G. This naturality is standard and follows from the local Chern-connection formula for the Bismut–Ricci form, but it is neither stated nor proved in the paper. Without this step, the ODE describes only the invariant flow, and Theorem H's claims about the genuine PDE flow from a G-invariant initial metric are not established. Please add this lemma explicitly, or give a precise citation, before using the ODE reduction.
- [Lemma 3.1, first paragraph] The statement that the flow starting at the unique Kähler metric ω* is constant depends on the same missing naturality. The argument 'the pluriclosed flow preserves the Kähler condition and ω* is the unique Kähler metric in S, so the flow starting at ω* is constant' is valid only if one already knows that the flow from ω* remains in S. That is exactly the point that requires biholomorphic naturality; as written, the reasoning is circular. Once the naturality lemma is added, this paragraph becomes correct.
- [Lemma 3.1, Lyapunov computation] The identity d/dt log det(ω(t)) = |T_{ω(t)}|^2_{ω(t)} is imported from [Str16, Lemma 6.1] without stating the lemma. The paper notes that the Laplacian term vanishes by homogeneity, but for the reader to verify the sign and the vanishing, the relevant formula from [Str16] should be quoted or at least stated precisely. This is not a block to the argument, but it would improve the exposition.
minor comments (4)
- [Section 1, displayed definition of A] The displayed definition of A uses ∂α+∂̄α for a G-invariant (1,0)-form α; this expression is not a real (1,1)-form. It should be ∂̄α+∂\bar α, equivalently (d(α+\bar α))^{1,1}, as in the correct definition in Section 2.
- [Proof of Lemma 2.4] The line '0=f'(0)=f'(1)' should read 'f'(0)=f'(1)=0' for clarity.
- [Proposition A.1(iii)] The normalization ∫_Y μ=1 is introduced after μ is defined; it would be clearer to state the normalization before writing the integral formula.
- [General exposition] The term 'G-invariant Aeppli slice' is used without a short explanation of its cohomological meaning; a sentence noting that it is the invariant analogue of an Aeppli cohomology class would orient the reader.
Circularity Check
No significant circularity; the derivation is self-contained, with only a non-circular missing justification for G-invariance of the pluriclosed flow.
full rationale
The paper's central claims do not reduce to their inputs. Theorem F proves that a G-invariant Hermitian metric is balanced exactly when it is a critical point of the volume functional on its G-invariant Aeppli slice (Proposition 2.1). The existence of a G-invariant balanced background metric is obtained from the paper's own symmetrisation operator (Proposition A.1), whose properties are proved rather than assumed. Boundedness of the slice follows from Corollary 2.3, and uniqueness of the critical point follows from strict concavity of log det on an affine slice (Lemma 2.4). The final implication 'balanced + pluriclosed implies Kaehler' is imported from the external theorem [AI01, Remark 1]. Theorem H adds c1(Y)=0 to show the pluriclosed flow vector field lies in A, hence is tangent to the slice; the Lyapunov and convergence arguments are standard ODE theory together with the external formula [Str16, Lemma 6.1]. Self-citations such as [Kwo26] and [FV26] are contextual and do not support the main theorem. The only genuine defect is a missing justification, not circularity: the tangent computation (rho_B^omega)^{1,1} in A only shows the ODE vector field is tangent to S; asserting that the actual PDE flow remains G-invariant requires the standard naturality of the pluriclosed flow under biholomorphisms and uniqueness of solutions, which the paper neither states nor proves. That gap leaves the ODE reduction conditional, but it is not a self-definitional or fitted-input step, and it does not make the result equivalent to its assumptions by construction.
Assumptions & free parameters
assumptions (5)
- standard math Michelsohn's root theorem: every positive (n-1,n-1)-form on a complex manifold is the (n-1)-st power of a unique Hermitian metric.
- standard math A Hermitian metric that is both balanced and pluriclosed is Kähler ([AI01, Remark 1]).
- domain assumption The evolution formula for log det under the pluriclosed flow from [Str16, Lemma 6.1]: d/dt log det = |T|^2 when the Laplacian term vanishes.
- standard math Alekseevskii-Kimelfeld theorem: a homogeneous Ricci-flat Kähler manifold is flat ([Bes87, Theorem 7.61]).
- standard math Milnor's lemma: a Lie group admitting a cocompact lattice is unimodular ([Mil76, Lemma 6.2]).
Cite this review
Pith. "Pith review of The Fino--Vezzoni conjecture on homogeneous spaces." pith.science (2026). https://pith.science/paper/AU53Y2QN
@misc{pith2026260808665,
author = {Pith},
title = {Pith review of: The Fino--Vezzoni conjecture on homogeneous spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/AU53Y2QN}},
note = {Machine review of arXiv:2608.08665}
}
read the original abstract
We prove that a compact discrete quotient of a complex homogeneous space with compact isotropy is K\"ahler whenever it admits both a balanced metric and a pluriclosed metric. Moreover, if its real first Chern class vanishes, then the pluriclosed flow starting from any invariant pluriclosed metric exists for all time and converges smoothly to a flat K\"ahler metric.
Reference graph
Works this paper leans on
-
[1]
[AI01] Bogdan Alexandrov and Stefan Ivanov,Vanishing theorems on Hermitian manifolds, Differential Geom. Appl.14(2001), no. 3, 251–265. MR 1836272 Cited on pages 1 and
work page 2001
-
[2]
Arroyo and Marina Nicolini,SKT structures on nilmanifolds, Math
[AN22] Romina M. Arroyo and Marina Nicolini,SKT structures on nilmanifolds, Math. Z.302(2022), no. 2, 1307–1320. MR 4480232 Cited on page
work page 2022
-
[3]
[AO23] Daniele Angella and Alexandra Otiman,A note on compatibility of special Hermitian structures, 2023, arXiv:2306.02981. Cited on page
arXiv 2023
-
[4]
[Bel00] Florin Alexandru Belgun,On the metric structure of non-K¨ ahler complex surfaces, Math. Ann. 317(2000), no. 1, 1–40. MR 1760667 Cited on page
work page 2000
-
[6]
[Chi14] Ionut ¸ Chiose,Obstructions to the existence of K¨ ahler structures on compact complex manifolds, Proc. Amer. Math. Soc.142(2014), no. 10, 3561–3568. MR 3238431 Cited on page
work page 2014
-
[7]
[CRS ¸22] Ionut ¸ Chiose, Rare¸ s R˘ asdeaconu, and Ioana S ¸uvaina,Balanced manifolds and SKT metrics, Ann. Mat. Pura Appl. (4)201(2022), no. 5, 2505–2517. MR 4491473 Cited on page
work page 2022
-
[8]
[CZ24] Kexiang Cao and Fangyang Zheng,Fino–Vezzoni conjecture on Lie algebras with abelian ideals of codimension two, Math. Z.307(2024), no. 2, Paper No. 31,
work page 2024
-
[9]
[CZ25] Shuwen Chen and Fangyang Zheng,On Hermitian manifolds with constant mixed curvature, Mediterr. J. Math.22(2025), no. 7, Paper No. 175,
work page 2025
Show all 37 references
-
[10]
Math.393(2021), Paper No
[DP21] S lawomir Dinew and Dan Popovici,A generalised volume invariant for Aeppli cohomology classes of Hermitian-symplectic metrics, Adv. Math.393(2021), Paper No. 108056,
2021
-
[11]
Math.302(2016), 529–550
[Fei16] Teng Fei,A construction of non-K¨ ahler Calabi-Yau manifolds and new solutions to the Stro- minger system, Adv. Math.302(2016), 529–550. MR 3545938 Cited on page
2016
-
[12]
Math.189(2004), no
[FG04] Anna Fino and Gueo Grantcharov,Properties of manifolds with skew-symmetric torsion and special holonomy, Adv. Math.189(2004), no. 2, 439–450. MR 2101226 Cited on page
2004
-
[13]
Cited on page
[FG26] Elia Fusi and Giovanni Gentili,A Levi-type decomposition on two-step solvable Lie algebras with a complex structure, 2026, arXiv:2606.13553. Cited on page
2026 arXiv
-
[14]
[FGV19] Anna Fino, Gueo Grantcharov, and Luigi Vezzoni,Astheno-K¨ ahler and balanced structures on fibrations, Int. Math. Res. Not. IMRN (2019), no. 22, 7093–7117. MR 4032184 Cited on pages 1 and
2019
-
[15]
Ann.392(2025), no
[FGV25] Anna Fino, Gueo Grantcharov, and Misha Verbitsky,Special Hermitian structures on suspen- sions, Math. Ann.392(2025), no. 1, 1099–1118. MR 4887784 Cited on page
2025
-
[16]
Differential Geom.117(2021), no
[FHP21] Teng Fei, Zhijie Huang, and S´ ebastien Picard,A construction of infinitely many solutions to the Strominger system, J. Differential Geom.117(2021), no. 1, 23–39. MR 4195751 Cited on page
2021
-
[17]
Differential Geom.90(2012), no
[FLY12] Jixiang Fu, Jun Li, and Shing-Tung Yau,Balanced metrics on non-K¨ ahler Calabi-Yau threefolds, J. Differential Geom.90(2012), no. 1, 81–129. MR 2891478 Cited on page
2012
-
[18]
Pure Appl
[FP23] Anna Fino and Fabio Paradiso,Balanced Hermitian structures on almost abelian Lie algebras, J. Pure Appl. Algebra227(2023), no. 2, Paper No. 107186,
2023
-
[19]
Z.310 (2025), no
[FP25] ,Hermitian structures on six-dimensional almost nilpotent solvmanifolds, Math. Z.310 (2025), no. 2, Paper No. 27,
2025
-
[20]
Groups30(2025), no
[FS25] Marco Freibert and Andrew Swann,Compatibility of balanced and SKT metrics on two-step solvable Lie groups, Transform. Groups30(2025), no. 1, 235–265. MR 4863962 Cited on page
2025
-
[21]
[FV15] Anna Fino and Luigi Vezzoni,Special Hermitian metrics on compact solvmanifolds, J. Geom. Phys.91(2015), 40–53. MR 3327047 Cited on page
2015
-
[22]
[FV16] ,On the existence of balanced and SKT metrics on nilmanifolds, Proc. Amer. Math. Soc. 144(2016), no. 6, 2455–2459. MR 3477061 Cited on page
2016
-
[23]
Cited on pages 1 and
[FV26] Anna Fino and Luigi Vezzoni,A note on the pluriclosed flow on balanced manifolds withc 1 = 0, 2026, arXiv:2606.03176. Cited on pages 1 and
2026 arXiv
-
[24]
[GP23] Federico Giusti and Fabio Podest` a,Real semisimple Lie groups and balanced metrics, Rev. Mat. Iberoam.39(2023), no. 2, 711–729. MR 4575377 Cited on pages 1 and
2023
-
[25]
[Han57] Jun-ichi Hano,On Kaehlerian homogeneous spaces of unimodular Lie groups, Amer. J. Math.79 (1957), 885–900. MR 95979 Cited on page
1957
-
[26]
Kaup,Reelle Transformationsgruppen und invariante Metriken auf komplexen R¨ aumen, In- vent
[Kau67] W. Kaup,Reelle Transformationsgruppen und invariante Metriken auf komplexen R¨ aumen, In- vent. Math.3(1967), 43–70. MR 216030 Cited on page
1967
-
[27]
Cited on pages 1 and
[Kwo26] Joseph Kwong,Balanced and pluriclosed metrics on real semisimple Lie groups, 2026, arXiv:2604.25239. Cited on pages 1 and
2026 arXiv
-
[28]
Dedicata220(2026), no
[LM26] Jorge Lauret and Facundo Montedoro,Pluriclosed metrics on compact semisimple Lie groups, Geom. Dedicata220(2026), no. 3, Paper No. 24,
2026
-
[29]
[Mic82] M. L. Michelsohn,On the existence of special metrics in complex geometry, Acta Math.149 (1982), no. 3–4, 261–295. MR 688351 Cited on page
1982
-
[30]
3, 293–329
[Mil76] John Milnor,Curvatures of left invariant metrics on Lie groups, Advances in Math.21(1976), no. 3, 293–329. MR 425012 Cited on page
1976
-
[31]
[Oti22] Alexandra Otiman,Special Hermitian metrics on Oeljeklaus–Toma manifolds, Bull. Lond. Math. Soc.54(2022), no. 2, 655–667. MR 4453697 Cited on page
2022
-
[32]
[OV25] Liviu Ornea and Misha Verbitsky,Balanced metrics and Gauduchon cone of locally conformally K¨ ahler manifolds, Int. Math. Res. Not. IMRN (2025), no. 3, Paper No. rnaf014,
2025
-
[33]
Groups23 (2018), no
10 JOSEPH KWONG [Pod18] Fabio Podest` a,Homogeneous Hermitian manifolds and special metrics, Transform. Groups23 (2018), no. 4, 1129–1147. MR 3869430 Cited on page
2018
-
[34]
Partial Differential Equations41(2016), no
[Str16] Jeffrey Streets,Pluriclosed flow, Born-Infeld geometry, and rigidity results for generalized K¨ ahler manifolds, Comm. Partial Differential Equations41(2016), no. 2, 318–374. MR 3462132 Cited on page
2016
-
[35]
Math., vol
[Str20] ,Pluriclosed flow and the geometrization of complex surfaces, Geometric analysis—in honor of Gang Tian’s 60th birthday, Progr. Math., vol. 333, Birkh¨ auser/Springer, Cham, 2020, pp. 471–510. MR 4181011 Cited on page
2020
-
[36]
Groups12(2007), no
[Uga07] Luis Ugarte,Hermitian structures on six-dimensional nilmanifolds, Transform. Groups12(2007), no. 1, 175–202. MR 2308035 Cited on page
2007
-
[37]
Topol.18(2014), no
[Ver14] Misha Verbitsky,Rational curves and special metrics on twistor spaces, Geom. Topol.18(2014), no. 2, 897–909. MR 3190604 Cited on page
2014
-
[38]
Reine Angew
[ZZ23] Quanting Zhao and Fangyang Zheng,Strominger connection and pluriclosed metrics, J. Reine Angew. Math.796(2023), 245–267. MR 4554474 Cited on page
2023
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.