Special metrics in hypercomplex geometry
Pith reviewed 2026-05-24 04:16 UTC · model grok-4.3
The pith
Hypercomplex structures with Obata holonomy in SL(n, H) are characterized by quaternionic Gauduchon metrics plus vanishing of a cohomological invariant.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Hypercomplex structures with Obata holonomy in SL(n, H) are characterised in terms of the existence of quaternionic Gauduchon metrics together with the vanishing of a hypercomplex cohomological invariant. An incompatibility result is proved concerning strong HKT and balanced hyperhermitian metrics. An Einstein-type condition is introduced, with basic properties, obstructions, and examples including that Joyce's manifolds always admit such metrics.
What carries the argument
The Obata connection on a hypercomplex manifold, whose reduced holonomy condition is tied to the existence of quaternionic Gauduchon metrics and the vanishing of a hypercomplex cohomological invariant.
If this is right
- Quaternionic Gauduchon and quaternionic balanced metrics satisfy explicit existence criteria and geometric properties.
- Strong HKT metrics and balanced hyperhermitian metrics are mutually incompatible.
- The introduced Einstein-type condition admits known obstructions and always exists on Joyce manifolds.
- The holonomy characterization supplies a practical test for membership in SL(n, H).
Where Pith is reading between the lines
- The characterization may reduce the search for hypercomplex manifolds with special holonomy to the construction of suitable Gauduchon-type metrics.
- The incompatibility between strong HKT and balanced metrics suggests analogous restrictions could hold in nearby settings such as quaternionic Kähler geometry.
- The Einstein-type condition might be used to produce new examples or to study moduli problems for hyperhermitian structures.
Load-bearing premise
The standard definitions and properties of quaternionic Gauduchon metrics, strong HKT metrics, balanced hyperhermitian metrics, and the Obata connection are assumed to hold in the stated generality.
What would settle it
A concrete hypercomplex manifold whose Obata holonomy lies in SL(n, H) but which admits no quaternionic Gauduchon metric, or a hypercomplex manifold that carries both a strong HKT metric and a balanced hyperhermitian metric.
read the original abstract
We investigate the existence and geometric properties of special hyperhermitian metrics. First of all, we characterise hypercomplex structures with Obata holonomy in $\mathrm{SL}(n, \mathbb{H})$ in terms of the existence of quaternionic Gauduchon metrics together with the vanishing of a hypercomplex cohomological invariant. In view of this, the quaternionic Gauduchon and quaternionic balanced conditions are investigated at length: we describe their properties and determine criteria for their existence. Furthermore, we prove an incompatibility result concerning strong HKT and balanced hyperhermitian metrics, confirming an open conjecture by Fino and Vezzoni in the hypercomplex framework. Finally, we introduce an Einstein-type condition, determining basic properties, obstructions and providing examples. In particular, we show that Joyce's manifolds always admit such type of metrics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper characterizes hypercomplex structures with Obata holonomy in SL(n, H) via the existence of quaternionic Gauduchon metrics together with vanishing of a hypercomplex cohomological invariant. It studies properties and existence criteria for quaternionic Gauduchon and quaternionic balanced metrics, proves incompatibility of strong HKT metrics with balanced hyperhermitian metrics (confirming the Fino-Vezzoni conjecture in the hypercomplex setting), and introduces an Einstein-type condition on hyperhermitian metrics, deriving basic properties, obstructions, and examples including that Joyce manifolds always admit such metrics.
Significance. If the stated characterizations and proofs hold, the work supplies new criteria for special metrics in hypercomplex geometry and confirms an open conjecture, extending results from the Hermitian and hyperkähler settings. The Einstein-type condition and its examples on Joyce manifolds provide concrete constructions that may be useful for further study of hyperhermitian structures.
minor comments (3)
- The definition and precise normalization of the hypercomplex cohomological invariant used in the characterization (mentioned in the abstract and presumably in §3 or §4) should be stated explicitly rather than only referenced to prior literature, to make the vanishing condition self-contained.
- In the section on the Einstein-type condition, clarify whether the condition is defined with respect to the Obata connection or the Levi-Civita connection of the underlying metric, as this affects the obstruction statements.
- The statement that Joyce manifolds always admit the Einstein-type metrics would benefit from a brief indication of the construction or reference to the specific hypercomplex structure used on these manifolds.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments are listed in the report.
Circularity Check
No significant circularity; derivation relies on external background definitions and proves independent results
full rationale
The paper's central claims consist of a characterization theorem linking Obata holonomy structures to quaternionic Gauduchon metrics plus a cohomological vanishing condition, an incompatibility result between strong HKT and balanced metrics (confirming an external conjecture), and existence statements for an Einstein-type condition on Joyce manifolds. All rest on imported standard definitions (Obata connection, quaternionic Gauduchon, HKT) from prior literature without re-derivation or self-referential fitting. No equations, parameter fits, or self-citation chains appear that would reduce any claimed result to a tautology or input by construction. The work supplies proofs and criteria as independent content.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 1 Pith paper
-
On homogeneous HKT manifolds and the Einstein condition
Every homogeneous hypercomplex manifold with transitive compact Lie group action admits a unique invariant HKT-Einstein metric up to scaling, and invariant strong HKT metrics have Bismut-parallel torsion and curvature.
Reference graph
Works this paper leans on
-
[1]
D. V. Alekseevsky, S. Marchiafava , Hypercomplex structures on quaternionic manifolds. In Ta m´ assy, L., Szenthe, J. (editors) New Developments in Differential Geom etry. Mathematics and Its Applications, vol
- [2]
-
[3]
D. V. Alekseevsky, S. Marchiafava , Quaternionic structures on a manifold and subordinated st ructures. Ann. Mat. Pura Appl. (4), 171 (1996), 205–273. (Cited on pages 11 and 27)
work page 1996
-
[4]
S. Alesker, M. Verbitsky , Plurisubharmonic functions on hypercomplex manifolds an d HKT-geometry. J. Glob. Anal., 16 (2006), 375–399. (Cited on pages 1 and 7)
work page 2006
-
[5]
S. Alesker, M. Verbitsky , Quaternionic Monge-Amp` ere equations and Calabi problem for HKT-manifolds. Israel J. Math., 176 (2010), 109–138. (Cited on pages 1 and 34)
work page 2010
-
[6]
L. Alessandrini, G. Bassanelli , Modifications of compact balanced manifolds. C. R. Acad. Sc i. Paris S´ er. I Math., 320 (1995), 1517–1522. (Cited on page 27)
work page 1995
-
[7]
B. Alexandrov, S. Ivanov , Vanishing theorems on Hermitian manifolds. Differential G eom. Appl., 14 (2001), no. 3, 251–265. (Cited on pages 27 and 29)
work page 2001
-
[8]
A. Andrada, M. L. Barberis , Hypercomplex almost abelian solvmanifolds. J. Geom. Anal ., 33 (2023), no. 7, Paper No. 213, 31 pp. (Cited on page 1)
work page 2023
-
[9]
A. Andrada, A. Tolcachier , On the canonical bundle of complex solvmanifolds and appli cations to hyper- complex geometry. Preprint 2023, https://arxiv.org/abs/2307.16673. (Cited on pages 3, 18, 20, and 39)
-
[10]
D. Angella, S. Calamai, C. Spotti , On the Chern-Yamabe problem. Math. Res. Lett., 24 (2017), 645–677. (Cited on page 23)
work page 2017
-
[11]
D. Angella, S. Calamai, C. Spotti , Remarks on Chern-Einstein Hermitian metrics. Math. Z., 295 (2020), no. 3-4, 1707–1722. (Cited on pages 4 and 31)
work page 2020
- [12]
- [13]
-
[14]
G. Barbaro , On the curvature of the Bismut connection: Bismut Yamabe pr oblem and Calabi-Yau with torsion metrics. J. Geom. Anal., 33 (2023), 153. (Cited on pages 2, 21, and 23)
work page 2023
-
[15]
M. L. Barberis , Hypercomplex structures on four-dimensional Lie groups. Proc. Am. Math. Soc., 125 (1997), 1043–1054. (Cited on page 46). 48 ELIA FUSI AND GIOV ANNI GENTILI
work page 1997
-
[16]
M. L. Barberis, I Dotti, M. Verbitsky , Canonical bundles of complex nilmanifolds, with applicat ions to hypercomplex geometry. Math. Res. Lett., 16 (2009), no. 2, 331–347. (Cited on pages 1, 26, 34, 35, 36, and 40)
work page 2009
-
[17]
M. L. Barberis, A. Fino , New HKT manifolds arising from quaternionic representati ons. Math. Z., 267 (2011), no. 3-4, 717–735. (Cited on pages 1, 3, 5, 34, 40, and 41)
work page 2011
-
[18]
L. Bedulli, G. Gentili, L. Vezzoni , The parabolic quaternionic Calabi-Yau equation on hyperk ¨ ahler mani- folds. Preprint 2023, https://arxiv.org/abs/2303.02689. (Cited on pages 7, 11, and 27)
-
[19]
Belgun , On the metric structure of non-K¨ ahler complex surfaces
F. Belgun , On the metric structure of non-K¨ ahler complex surfaces. M ath. Ann., 317 (2000), 1–40. (Cited on page 15)
work page 2000
-
[20]
Boyer , A note on hyper-Hermitian four-manifolds
C. Boyer , A note on hyper-Hermitian four-manifolds. Proc. Amer. Mat h. Soc., 102 (1988), no. 1, 157–164. (Cited on page 32)
work page 1988
- [21]
-
[22]
Chiose , Obstructions to the existence of K¨ ahler structures on com pact complex manifolds
I. Chiose , Obstructions to the existence of K¨ ahler structures on com pact complex manifolds. Proc. Amer. Math. Soc., 142 (10) (2014), 3561–3568. (Cited on page 3)
work page 2014
-
[23]
J. P. Demailly , Complex Analytic and Differential Geometry, available at https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf, 2012. (Cited on page 6)
work page 2012
- [24]
-
[25]
I. Dotti and A. Fino , Abelian hypercomplex 8-dimensional nilmanifolds. Ann. G lob. Anal. and Geom., 18 (2000), 47–59. (Cited on page 1)
work page 2000
-
[26]
I. Dotti and A. Fino , Hyperk¨ ahler torsion structures invariant by nilpotent Lie groups. Classical Quantum Gravity, 19 (2002), 551–562. (Cited on page 1)
work page 2002
-
[27]
S. Fedoruk, E. Ivanov, A. Smilga , N = 4 mechanics with diverse (4 , 4, 0) multiplets: explicit examples of hyper-K¨ ahler with torsion, Clifford K¨ ahler with torsion,and octonionic K¨ ahler with torsion geometries. J. Math. Phys., 55 (2014), no. 5, 052302, 29 pp. (Cited on page 1)
work page 2014
-
[28]
A. Fino, G. Grantcharov , Properties of manifolds with skew-symmetric torsion and s pecial holonomy. Adv. Math., 189 (2004), 439–450. (Cited on pages 1, 15, and 37)
work page 2004
- [29]
-
[30]
A. Fino, G. Grantcharov, L. Vezzoni , Astheno-K¨ ahler and balanced structures on fibrations. In t. Math. Res. Not., IMRN 2019, no. 22, 7093–7117. (Cited on page 3)
work page 2019
-
[31]
A. Fino, F. Paradiso , Balanced Hermitian structures on almost abelian Lie algeb ras. J. Pure Applied Algebra, 227 (2023), no. 2, Paper No. 107186. (Cited on page 3)
work page 2023
-
[32]
A. Fino, L. Vezzoni , Special Hermitian metrics on compact solvmanifolds. Jour nal of Geometry and Physics, 91 (2015), 40–53. (Cited on pages 3 and 29)
work page 2015
-
[33]
A. Fino, L. Vezzoni , On the existence of balanced and SKT metrics on nilmanifold s. Proc. Amer. Math. Soc., 144 (6) (2016), 2455–2459. (Cited on page 3)
work page 2016
-
[34]
M. Freibert, A. Swann , Compatibility of Balanced and SKT Metrics on Two-Step Solv able Lie Groups. Transform. Groups (2023). (Cited on page 3)
work page 2023
- [35]
- [36]
-
[37]
Fusi, The prescribed Chern scalar curvature problem
E. Fusi, The prescribed Chern scalar curvature problem. J. Geom. An al., 32 (2022), 187. (Cited on page 23)
work page 2022
-
[38]
Futaki, An obstruction to the existence of Einstein-K¨ ahler metri cs
A. Futaki, An obstruction to the existence of Einstein-K¨ ahler metri cs. Invent. Math., 73 (1983), 437–443. (Cited on page 34)
work page 1983
-
[39]
Gauduchon , Le th´ eor` eme de l’excentricit´ e nulle
P. Gauduchon , Le th´ eor` eme de l’excentricit´ e nulle. C. R. Acad. Sci. Pa ris S´ er. A-B, 285 (1977), no. 5, A387–A390. (Cited on pages 2, 14, and 18)
work page 1977
-
[40]
Gauduchon , La 1-forme de torsion d’une vari´ et´ e hermitienne compacte
P. Gauduchon , La 1-forme de torsion d’une vari´ et´ e hermitienne compacte. Math. Ann., 267 (1984), no. 4, 495–518. (Cited on page 14)
work page 1984
-
[41]
G. Gentili, N. Tardini , HKT manifolds: Hodge theory, formality and balanced metri cs. To appear in Q. J. Math.. (Cited on pages 3 and 26)
-
[42]
G. Gentili, J. Zhang . Fully non-linear elliptic equations on compact manifolds with a flat hyperk¨ ahler metric. J. Geom. Anal. 32 (2022), no. 9, Paper No. 229, 38 pp.. (Cited on page 2). SPECIAL METRICS IN HYPERCOMPLEX GEOMETRY 49
work page 2022
-
[43]
G. Gentili, J. Zhang , Fully non-linear parabolic equations on compact manifold s with a flat hyperk¨ ahler metric. To appear in Israel J. Math.. (Cited on page 2)
-
[44]
G. W. Gibbons, G. Papadopoulos, K. S. Stelle , HKT and OKT geometries on soliton black hole moduli spaces. Nuclear Phys. B, 508 (1997), no. 3, 623–658. (Cited on page 1)
work page 1997
-
[45]
D. Gilbarg, N. S. Trudinger , Elliptic partial differential equations of second order, s econd ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 224, Springer- Verlag, Berlin, 1983. (Cited on page 23)
work page 1983
-
[46]
F. Giusti and F. Podest` a , Real semisimple Lie groups and balanced metrics. Rev. Mat. Iberoam., 39 (2023), 711–729. (Cited on page 3)
work page 2023
-
[47]
G. Grantcharov, M. Lejmi, M. Verbitsky , Existence of HKT metrics on hypercomplex manifolds of real dimension 8. Adv. Math., 320 (2017), 1135–1157. (Cited on pages 1, 2, 3, 14, 18, 20, and 24)
work page 2017
-
[48]
G. Grantcharov, G. Papadopoulos, Y. S. Poon , Reduction of HKT-structures. J. Math. Phys., 43 (2002), no. 7, 3766–3782. (Cited on page 1)
work page 2002
-
[49]
G. Grantcharov, Y. S. Poon , Geometry of hyper-K¨ ahler connections with torsion. Comm . Math. Phys., 213 (2000), no. 1, 19–37. (Cited on pages 1, 3, and 42)
work page 2000
- [50]
-
[51]
J. Gutowski, G. Papadopoulos , The dynamics of very special black holes. Phys. Lett. B, 472 (2000), no. 1-2, 45–53. (Cited on page 1)
work page 2000
-
[52]
J. B. Gutowski, W. Sabra , HKT geometry and fake five-dimensional supergravity. Clas sical Quantum Gravity, 28 (2011), no. 17, 175023, 11 pp. (Cited on page 1)
work page 2011
-
[53]
Hironaka, On the theory of birational blowing up, Thesis, Harward 1960 , unpublished
H. Hironaka, On the theory of birational blowing up, Thesis, Harward 1960 , unpublished. (Cited on page 28)
work page 1960
-
[54]
P. S. Howe, G. Papadopoulos , Twistor spaces for hyper-K¨ ahler manifolds with torsion. Phys. Lett. B, 379 (1996), 80–86. (Cited on pages 1 and 14)
work page 1996
-
[55]
S. Ianu¸ s, R. Mazzocco, G. E. V ˆ ılcu, Harmonic maps between quaternionic K¨ ahler manifolds. Jo urnal of Nonlinear Mathematical Physics, 15 (2008), no.1, 1–8, (Cited on page 27)
work page 2008
-
[56]
S. Ianu¸ s, R. Mazzocco, G. E. V ˆ ılcu, Riemannian Submersions from Quaternionic Manifolds. Act a Appl. Math., 104 (2008), 83–89. (Cited on page 27)
work page 2008
- [57]
- [58]
- [59]
-
[60]
Joyce , Compact hypercomplex and quaternionic manifolds
D. Joyce , Compact hypercomplex and quaternionic manifolds. J. Diffe rential Geom., 35 (1992), 743–761. (Cited on pages 3, 35, and 42)
work page 1992
-
[61]
Kato, Compact differentiable 4-folds with quaternionic structu res
M. Kato, Compact differentiable 4-folds with quaternionic structu res. Math. Ann., 248 (1980), no. 1, 79–96. Erratum in Math. Ann., 283 (1989), no. 2, 352. (Cited on page 32)
work page 1980
-
[62]
Y. Li, F. Zheng , Fino-Vezzoni Conjecture in Hermitian geometry (in Chines e), to appear in Sci. Sin. Math., 54 (2024). (Cited on page 3)
work page 2024
- [63]
- [64]
- [65]
-
[66]
Y. Matsushima , Sur la structure du groupe d’hom´ eomorphismes analytique s d’une certaine vari´ et´ e k¨ ahl´ erienne. Nagoya Math. J.,11 (1957), 145–150. (Cited on page 34)
work page 1957
-
[67]
Michelsohn , On the existence of special metrics in complex geometry
M.-L. Michelsohn , On the existence of special metrics in complex geometry. Ac ta Math., 149 (1982), no. 3-4, 261–295. (Cited on pages 6, 14, 26, and 27)
work page 1982
-
[68]
J. Michelson, A. Strominger , Superconformal multi-black hole quantum mechanics. J. Hi gh Energy Phys., (1999), no. 9, Paper 5, 16 pp. (Cited on page 1)
work page 1999
-
[69]
Milnor , Curvatures of left invariant metrics on Lie groups, Adv
J. Milnor , Curvatures of left invariant metrics on Lie groups, Adv. Ma th., 21 (1976), 293–329. (Cited on page 15)
work page 1976
-
[70]
M. Obata . Affine connections on manifolds with almost complex, quater nionic or Hermitian structures. Japan. J. Math., 26 (1956), 43–79. (Cited on page 1). 50 ELIA FUSI AND GIOV ANNI GENTILI
work page 1956
-
[71]
Homogeneous HKT and QKT manifolds
A. Opfermann, G. Papadopoulos , Homogeneous HKT and QKT manifolds. Preprint 1998, https://arxiv.org/abs/math-ph/9807026. (Cited on pages 3 and 42)
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[72]
Podest` a, Homogeneous Hermitian manifolds and special metrics
F. Podest` a, Homogeneous Hermitian manifolds and special metrics. Tra nsform. Groups, 23 (2018), no. 4, 1129–1147. (Cited on page 3)
work page 2018
-
[73]
Popovici , Deformation limits of projective manifolds: Hodge number s and strongly Gauduchon metrics
D. Popovici , Deformation limits of projective manifolds: Hodge number s and strongly Gauduchon metrics. Invent. Math., 194 (2013), 515–534. (Cited on page 14)
work page 2013
-
[74]
Samelson , A class of complex-analytic manifolds
H. Samelson , A class of complex-analytic manifolds. Portugal. Math., 12 (1953), 129–132. (Cited on page 42)
work page 1953
-
[75]
Y.-T. Siu, Extension of twisted pluricanonical sections with pluris ubharmonic weight and invariance of semi- positively twisted plurigenera for manifolds not necessar ily of general type. In Complex geometry (G¨ ottingen, 2000), Springer-Verlag, Berlin, 2002, 223–277. (Cited on p age 39)
work page 2000
-
[76]
Ph. Spindel, A. Sevrin, W. Troost, W., A. Van Proeyen , Extended supersymmetric σ-models on group manifolds. I. The complex structures. Nuclear Phys. B, 308 (1988), no. 2-3, 662–698. (Cited on pages 3 and 35)
work page 1988
-
[77]
Sroka, Sharp uniform bound for the quaternionic Monge-Amp` ere eq uation on hyperhermitian manifolds
M. Sroka, Sharp uniform bound for the quaternionic Monge-Amp` ere eq uation on hyperhermitian manifolds. Preprint 2022, https://arxiv.org/abs/2211.00959. (Cited on page 7)
-
[78]
Swann , Twisting Hermitian and hypercomplex geometries
A. Swann , Twisting Hermitian and hypercomplex geometries. Duke Mat h. J., 155 (2010), no. 2, 403–431. (Cited on page 19)
work page 2010
-
[79]
Tosatti , Non-K¨ ahler Calabi-Yau manifolds
V. Tosatti , Non-K¨ ahler Calabi-Yau manifolds. Contemp. Math., 644 American Mathematical Society, Providence, RI, 2015, 261–277. (Cited on pages 17 and 18)
work page 2015
-
[80]
Verbitsky, HyperK¨ ahler manifolds with torsion, supersymmetry and Hodge theory, Asian J
M. Verbitsky, HyperK¨ ahler manifolds with torsion, supersymmetry and Hodge theory, Asian J. Math., 6(4) (2002), 679–712. (Cited on pages 1, 4, 6, and 9)
work page 2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.