arxiv: 2604.22404 · v1 · submitted 2026-04-24 · 🧮 math.DG

Recognition: unknown

On homogeneous HKT manifolds and the Einstein condition

Lorenzo Marcocci, Lucio Bedulli

Pith reviewed 2026-05-08 09:45 UTC · model grok-4.3

classification 🧮 math.DG

keywords homogeneous hypercomplex manifoldsHKT metricsEinstein conditionBismut connectioninvariant metricshypercomplex structurestorsioncurvature

0 comments

The pith

Every homogeneous hypercomplex manifold with transitive compact group action admits a unique invariant HKT-Einstein metric up to scaling.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies hypercomplex manifolds that remain unchanged under a transitive action by a compact Lie group preserving the hypercomplex structure. It first characterizes all invariant HKT metrics on these spaces. It then proves that one of these metrics is always Einstein, with Ricci curvature a constant multiple of the metric, and that this Einstein metric is the only one up to positive scaling. The authors also identify the invariant HKT metrics for which the torsion and the curvature of the Bismut connection are parallel with respect to that connection, and show that every invariant strong HKT metric satisfies this parallelism.

Core claim

We consider homogeneous hypercomplex manifolds with a transitive action of a compact Lie group and give a characterization of invariant HKT metrics on them. On every such hypercomplex manifold we prove the existence of an invariant HKT-Einstein metric, which is unique up to scaling. Furthermore, we determine for which invariant HKT metrics the torsion and the curvature of the Bismut connection are Bismut-parallel, showing that invariant strong HKT metrics have this property.

What carries the argument

Characterization of invariant HKT metrics on homogeneous hypercomplex manifolds under transitive compact Lie group actions, used to establish existence and uniqueness of an Einstein one.

Load-bearing premise

The hypercomplex structure admits a transitive action by a compact Lie group under which both the structure and the candidate metrics are invariant.

What would settle it

A homogeneous hypercomplex manifold with transitive compact Lie group action that possesses no invariant HKT metric satisfying the Einstein condition, or that admits two or more non-scalar-multiple invariant HKT-Einstein metrics.

read the original abstract

We consider homogeneous hypercomplex manifolds with a transitive action of a compact Lie group and we give a characterization of invariant HKT metrics on them. On every such hypercomplex manifold we prove the existence of an invariant HKT-Einstein metric, which is unique up to scaling. Furthermore, we determine for which invariant HKT metrics the torsion and the curvature of the Bismut connection are Bismut-parallel, showing that invariant strong HKT metrics have this property.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves existence and uniqueness of an invariant HKT-Einstein metric on every homogeneous hypercomplex manifold with transitive compact group action, via an algebraic reduction.

read the letter

This paper proves that every homogeneous hypercomplex manifold with a transitive action by a compact Lie group carries a unique invariant HKT-Einstein metric up to scaling. It also gives a characterization of invariant HKT metrics on these spaces and shows that invariant strong HKT metrics have Bismut-parallel torsion and curvature. The existence-uniqueness result is the main new statement and does not reduce to earlier cited work. The approach works because compactness and invariance turn the HKT condition and the Einstein condition for the Bismut connection into a finite-dimensional algebraic system on the Lie algebra complement. The space of candidate metrics is a cone of Ad(H)-invariant forms compatible with the fixed hypercomplex structure, and the torsion 3-form and Ricci curvature become explicit expressions in structure constants and metric parameters. This setup is clean and makes the claims checkable by direct computation rather than analysis. The characterization and the parallelism result follow naturally once invariance is imposed, and the reduction avoids circularity by relying on standard constructions. The soft spots are minor and expected for this class of results. Everything is restricted to invariant metrics on homogeneous spaces with compact transitive action, so the theorem does not speak to non-homogeneous or non-compact cases. Uniqueness holds only up to scaling, which is standard for Einstein-type problems. The abstract and stress-test reduction show no internal inconsistency, and any gaps would appear as concrete algebraic errors rather than conceptual ones. The paper is for differential geometers working on HKT structures and special metrics on homogeneous spaces. Readers in that subfield will find the existence theorem and the parallelism criterion useful reference points. I recommend sending it to peer review. The claims are concrete, the method is reproducible via Lie algebra calculations, and the work is focused enough that referees can verify the algebra without excessive effort.

Referee Report

0 major / 3 minor

Summary. The paper considers homogeneous hypercomplex manifolds with a transitive action of a compact Lie group and gives a characterization of invariant HKT metrics on them. On every such hypercomplex manifold it proves the existence of an invariant HKT-Einstein metric, which is unique up to scaling. It further determines for which invariant HKT metrics the torsion and curvature of the Bismut connection are Bismut-parallel, showing that invariant strong HKT metrics have this property.

Significance. If the results hold, this provides a valuable algebraic reduction of the HKT-Einstein problem on homogeneous hypercomplex manifolds to finding positive-definite Ad(H)-invariant bilinear forms on the Lie algebra complement m that satisfy compatibility, HKT torsion, and Einstein conditions for the Bismut connection. Compactness of G ensures the space of candidates is a finite-dimensional cone, making all relevant quantities algebraic in structure constants and metric parameters. The existence/uniqueness theorem and the parallelism result for strong HKT metrics are concrete advances that enable explicit constructions and classification. The manuscript supplies a clear, finite-dimensional framework that supports reproducibility of the algebraic steps.

minor comments (3)

The introduction would benefit from a short self-contained paragraph recalling the definitions of hypercomplex structure, HKT metric, and Bismut connection, as these are central but may not be immediately recalled by all readers in differential geometry.
In the section presenting the characterization of invariant HKT metrics, an explicit formula expressing the torsion 3-form in terms of the structure constants of the Lie algebra and the metric parameters would improve readability and allow direct verification of the HKT condition.
The statement of uniqueness up to scaling for the HKT-Einstein metric could include a brief remark clarifying that the scaling parameter is positive and that the zero form is excluded by positive-definiteness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending minor revision. The referee's summary accurately reflects the main results: the characterization of invariant HKT metrics on homogeneous hypercomplex manifolds with transitive compact Lie group action, the existence and uniqueness (up to scaling) of an invariant HKT-Einstein metric, and the Bismut-parallelism of torsion and curvature for invariant strong HKT metrics. As the report contains no specific major comments, we have no points requiring rebuttal or substantive revision.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper characterizes invariant HKT metrics on homogeneous hypercomplex manifolds via the space of Ad(H)-invariant positive-definite bilinear forms on the complement m that are compatible with the fixed (I,J,K) and satisfy the HKT torsion condition. Existence and uniqueness (up to scale) of the Einstein metric is obtained by showing this finite-dimensional algebraic system always admits a unique ray of solutions satisfying Ric^B = λ g. All quantities (torsion 3-form, Bismut curvature, Einstein condition) are expressed directly in terms of structure constants and metric parameters without any quantity being defined in terms of the final result or fitted to a subset of the target data. No self-citation is load-bearing for the central existence/uniqueness claim, and the reduction does not rename or smuggle in prior results by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard differential-geometric axioms for hypercomplex structures, invariant metrics, and the Bismut connection together with the domain assumption of homogeneity under compact Lie group action; no free parameters or invented entities appear in the abstract.

axioms (2)

domain assumption Hypercomplex manifolds with transitive compact Lie group action admit invariant HKT metrics
Stated directly in the abstract as the setting for the characterization and existence results.
standard math Standard properties of the Bismut connection and parallelism in Hermitian geometry
Invoked for the final statement on torsion and curvature being Bismut-parallel.

pith-pipeline@v0.9.0 · 5357 in / 1309 out tokens · 47208 ms · 2026-05-08T09:45:34.196636+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On Bismut--Ambrose--Singer manifolds
math.DG 2026-05 unverdicted novelty 6.0

The paper establishes a canonical reduction theorem and classifies complete simply-connected Bismut-Ambrose-Singer manifolds in homogeneous settings plus their pluriclosed variants.

Reference graph

Works this paper leans on

26 extracted references · 7 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

D. V. Alekseevski ˘i and A. M. Perelomov,Invariant K¨ ahler-Einstein metrics on compact homogeneous spaces, Funktsional. Anal. i Prilozhen.20(1986), no. 3, 1–16, 96

1986
[2]

Banos and A

B. Banos and A. F. Swann,Potentials for hyper-K¨ ahler metrics with torsion, Classical Quantum Gravity 21(2004), no. 13, 3127–3135

2004
[3]

2023.Bismut Hermitian Einstein metrics and the stability of the pluriclosed flow

Barbaro, G. 2023.Bismut Hermitian Einstein metrics and the stability of the pluriclosed flow. arXiv e-prints. arXiv.2307.10207

work page arXiv 2023
[4]

Bedulli, G

L. Bedulli, G. Gentili and L. Vezzoni,The parabolic quaternionic Calabi-Yau equation on hyperk¨ ahler manifolds, Rev. Mat. Iberoam.40(2024), no. 6, 2291–2310

2024
[5]

Bedulli, A

L. Bedulli, A. Gori and F. Podest` a,Homogeneous hyper-complex structures and the Joyce’s construction, Differential Geom. Appl.29(2011), no. 4, 547–554

2011
[6]

2025.On the structure of compact strong HKT manifolds

Brienza, B., Fino, A., Grantcharov, G., Verbitsky, M. 2025.On the structure of compact strong HKT manifolds. arXiv e-prints. arXiv.2505.06058

work page arXiv 2025
[7]

2025.The holonomy of the Obata connection on Joyce hypercomplex manifolds

Brienza, B., Fowdar, U., Gentili, G., Vezzoni, L. 2025.The holonomy of the Obata connection on Joyce hypercomplex manifolds. arXiv.2509.07722

work page arXiv 2025
[8]

Bordemann, M

M. Bordemann, M. Forger and H. R¨ omer,Homogeneous K¨ ahler manifolds: paving the way towards new supersymmetric sigma models, Comm. Math. Phys.102(1986), no. 4, 605–617

1986
[9]

G. K. Dimitrov and V. V. Tsanov,Homogeneous hypercomplex structures I—the compact Lie groups, Transform. Groups21(2016), no. 3, 725–762. arXiv e-print: arXiv.1005.0172

work page arXiv 2016
[10]

G. K. Dimitrov and V. V. Tsanov,Homogeneous hypercomplex structures II—Coset spaces of compact Lie groups, J. Geom. Phys.165(2021), Paper No. 104219, 32 pp

2021
[11]

Fino and G

A. Fino and G. Grantcharov,CYT and SKT metrics on compact semi-simple Lie groups, SIGMA Symmetry Integrability Geom. Methods Appl.19(2023), Paper No. 028, 15 pp

2023
[12]

Special metrics in hypercomplex geometry

Fusi, E., Gentili, G. 2024.Special metrics in hypercomplex geometry. arXiv e-prints. arXiv.2401.13056

work page internal anchor Pith review Pith/arXiv arXiv 2024
[13]

Grantcharov, M

G. Grantcharov, M. Lejmi and M. Verbitsky,Existence of HKT metrics on hypercomplex manifolds of real dimension 8, Adv. Math.320(2017), 1135–1157

2017
[14]

Grantcharov and Y

G. Grantcharov and Y. S. Poon,Geometry of hyper-K¨ ahler connections with torsion, Comm. Math. Phys.213(2000), no. 1, 19–37

2000
[15]

D. D. Joyce,Compact hypercomplex and quaternionic manifolds, J. Differential Geom.35(1992), no. 3, 743–761

1992
[16]

P. S. Howe and G. Papadopoulos,Twistor spaces for hyper-K¨ ahler manifolds with torsion, Phys. Lett. B379(1996), no. 1-4, 80–86

1996
[17]

Kobayashi and K

S. Kobayashi and K. Nomizu,Foundations of differential geometry. Vol. II, reprint of the 1969 original, Wiley Classics Library A Wiley-Interscience Publication, Wiley, New York, 1996

1969
[18]

Lauret and F

J. Lauret and F. Montedoro, Pluriclosed metrics on compact semisimple Lie groups, Geom. Dedicata 220(2026), no. 3, Paper No. 24

2026
[19]

1998.Homogeneous HKT and QKT manifolds

Opfermann, A., Papadopoulos, G. 1998.Homogeneous HKT and QKT manifolds. arXiv e-prints. arXiv.math-ph/9807026

work page arXiv 1998
[20]

& Wallach, N

Ni, L. & Wallach, N. 2025, Compact, Connected, Complex Manifolds That Admit a Compact Transitive Group of Holomorphic Automorphisms. arXiv:2510.19156

work page arXiv 2025
[21]

Podest` a,Homogeneous Hermitian manifolds and special metrics, Transform

F. Podest` a,Homogeneous Hermitian manifolds and special metrics, Transform. Groups23(2018), no. 4, 1129–1147

2018
[22]

Podest` a and F

F. Podest` a and F. Zheng,A note on compact homogeneous manifolds with Bismut parallel torsion, Sci. China Math.68(2025), no. 7, 1643–1670

2025
[23]

Samelson,A class of complex-analytic manifolds, Portugal

H. Samelson,A class of complex-analytic manifolds, Portugal. Math.12(1953), 129–132

1953
[24]

Spindel, A

Ph. Spindel, A. Sevrin, W. Troost, A. Van Proeyen,Extended supersymmetricσ-Models on group manifolds, Nuclear Physics B, Volume 308, Issues 2–3, 1988, 662-698

1988
[25]

Verbitsky,Hypercomplex manifolds with trivial canonical bundle and their holonomy, inMoscow Seminar on Mathematical Physics

M. Verbitsky,Hypercomplex manifolds with trivial canonical bundle and their holonomy, inMoscow Seminar on Mathematical Physics. II, 203–211, Amer. Math. Soc. Transl. Ser. 2 Adv. Math. Sci., 221 60, Amer. Math. Soc., Providence, RI
[26]

H. C. Wang,Closed manifolds with homogeneous complex structure, Amer. J. Math.76(1954), 1–32. Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, Universit`a dell’Aquila, Via Vetoio, 67100 L’Aquila, Italy Email address:lucio.bedulli@univaq.it Email address:lorenzo.marcocci@graduate.univaq.it

1954