Semi-integrable almost hyperhermitian structures

Andrei Moroianu; Giovanni Gentili

arxiv: 2606.22653 · v1 · pith:NMUCLDPDnew · submitted 2026-06-21 · 🧮 math.DG · math.RT

Semi-integrable almost hyperhermitian structures

Giovanni Gentili , Andrei Moroianu This is my paper

Pith reviewed 2026-06-26 09:35 UTC · model grok-4.3

classification 🧮 math.DG math.RT

keywords almost hyperhermitian structuressemi-integrablereductive Lie algebrascompact typehyperhermitian geometryLie algebra constructions

0 comments

The pith

Semi-integrable almost hyperhermitian structures exist on every reductive Lie algebra of compact type in dimension 4n for n at least 2.

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

The paper introduces a family of almost hyperhermitian structures called semi-integrable. These are subdivided into four disjoint classes, and each class is shown to be non-empty. Explicit constructions are provided on all reductive Lie algebras of compact type with dimension 4n where n is at least 2. This demonstrates the existence of such structures across a wide range of algebraic settings in these dimensions.

Core claim

We introduce semi-integrable almost hyperhermitian structures, subdivide them into four disjoint classes, show that each class is non-empty, and construct them on all reductive Lie algebras of compact type in dimension 4n with n≥2.

What carries the argument

The definition of semi-integrable almost hyperhermitian structures, which permits their subdivision into four disjoint classes.

If this is right

Each of the four classes is non-empty.
Such structures exist on every reductive Lie algebra of compact type in dimension 4n for n≥2.
The constructions are explicit and apply uniformly to all such Lie algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The existence on Lie algebras suggests it may be possible to induce these structures on associated homogeneous spaces.
Further study could determine whether the four classes have distinct curvature or topological properties.
One could test if similar constructions work for non-reductive or non-compact Lie algebras.

Load-bearing premise

The proposed definition of semi-integrable almost hyperhermitian structures creates four disjoint classes that can each be populated with explicit constructions on the given Lie algebras.

What would settle it

Finding a reductive Lie algebra of compact type in dimension 4n, n≥2, that admits no semi-integrable almost hyperhermitian structure in any of the four classes would disprove the claim.

read the original abstract

In this work, we introduce a family of almost hyperhermitian structures that we call semi-integrable. We subdivide them into four disjoint classes and show that each class is non-empty. Finally, we construct semi-integrable almost hyperhermitian structures on all reductive Lie algebras of compact type and dimension $4n$, with $n\geq 2$.

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

Defines semi-integrable almost hyperhermitian structures, splits them into four classes, and constructs examples on every reductive compact-type Lie algebra in dimension 4n for n≥2.

read the letter

The paper introduces semi-integrable almost hyperhermitian structures, divides them into four disjoint classes, and supplies explicit constructions realizing each class on every reductive Lie algebra of compact type in dimension 4n with n at least 2.

The constructions themselves are the clearest positive point. Uniform existence results across an entire family of Lie algebras are concrete and can be checked directly, which is the right kind of output in this part of hyperhermitian geometry.

The four-class subdivision is presented as new, and the abstract indicates the classes are disjoint with non-empty realizations on the stated algebras. If the definitions avoid overlap with prior notions of almost hyperhermitian or hypercomplex structures, this supplies a usable supply of examples that was not previously available.

A soft spot worth checking is whether the semi-integrable condition is a genuine weakening that produces genuinely new objects or whether it collapses into something already studied once the full definitions and Lie-algebra conditions are written out. The paper should also make explicit how the four classes remain distinct under the given constructions rather than just asserting disjointness.

The work stays inside standard Lie-algebra techniques and does not introduce new machinery, which keeps the claims verifiable.

This is for readers already working on almost Hermitian or hyperhermitian structures on homogeneous spaces or Lie algebras. Someone looking for concrete examples to test classification questions or to build further constructions would find it useful. It deserves a serious referee because the existence claims are specific enough to be tested and the constructions are presented as explicit.

Referee Report

0 major / 2 minor

Summary. The paper defines a new family of almost hyperhermitian structures termed semi-integrable, partitions them into four disjoint classes, establishes that each class is non-empty, and supplies explicit constructions realizing all four classes on every reductive Lie algebra of compact type having dimension 4n with n ≥ 2.

Significance. If the constructions and the disjointness of the four classes hold, the work supplies a complete set of explicit examples on a broad, explicitly described family of Lie algebras. This supplies concrete models that can be used to test further properties of almost hyperhermitian geometry and may serve as a reference point for classification questions in dimension 4n.

minor comments (2)

[Abstract] The abstract states that the four classes are disjoint but does not indicate which algebraic or differential conditions are used to prove mutual exclusivity; a single sentence in the introduction summarizing the separating invariants would improve readability.
Notation for the four classes (presumably labeled I–IV or A–D) is introduced without an immediate cross-reference to the defining equations; adding an early table or displayed list would aid navigation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance in providing explicit constructions, and recommendation to accept. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines a new family of almost hyperhermitian structures termed semi-integrable, partitions them into four classes by explicit definition, and demonstrates non-emptiness via explicit constructions on reductive Lie algebras of compact type. No fitted parameters, predictions that reduce to inputs by construction, or load-bearing self-citations appear in the stated claims or abstract. The central results rest on independent geometric constructions rather than any self-referential reduction, making the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger records only the domain assumptions implicit in the stated constructions.

axioms (1)

domain assumption Reductive Lie algebras of compact type admit the required algebraic data to support the semi-integrable structures in dimension 4n.
Invoked for the final existence constructions.

pith-pipeline@v0.9.1-grok · 5571 in / 1106 out tokens · 24870 ms · 2026-06-26T09:35:47.041735+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 1 linked inside Pith

[1]

Alesker, M

S. Alesker, M. Verbitsky : Quaternionic Monge-Ampère equation and Calabi problem for HKT-manifolds , Israel J. Math. 176 (2010), 109--138

2010
[2]

Barbaro, F

G. Barbaro, F. Pediconi, N. Tardini : Pluriclosed manifolds with parallel Bismut torsion , to appear in Crelle’s Journal
[3]

M. L. Barberis, I. Dotti, M. Verbitsky : Canonical bundles of complex nilmanifolds, with applications to hypercomplex geometry , Math. Res. Lett. 16 no. 2 (2009), 331--347

2009
[4]

M. L. Barberis, A. Fino : New HKT manifolds arising from quaternionic representations , Math. Z. 267 no. 3-4 (2011), 717--735

2011
[5]

J. M. Bismut : A local index theorem for non-K\"ahler manifolds , Math. Ann. 284 (1989), 681--699

1989
[6]

Bourbaki : Lie Groups and Lie Algebras

N. Bourbaki : Lie Groups and Lie Algebras. Chapters 4--6, Springer 2002

2002
[7]

C. P. Boyer : A note on hyper-Hermitian four-manifolds , Proc. Amer. Math. Soc. 102 no. 1 (1988), 157--164

1988
[8]

Brienza, A

B. Brienza, A. Fino, G. Grantcharov : CYT and SKT manifolds with parallel Bismut torsion , Proc. R. Soc. Edinb. A: Math. (2024), 1--26

2024
[9]

Brienza, A

B. Brienza, A. Fino, G. Grantcharov : A mapping tori construction of strong HKT and generalized hyper-K\"ahler manifolds , in Real and Complex Geometry - in Honour of Paul Gauduchon , Springer, 2025

2025
[10]

Brienza, A

B. Brienza, A. Fino, G. Grantcharov, M. Verbitsky : On the structure of compact strong HKT manifolds , Commun. Math. Phys. 407 article n. 122 (2026)

2026
[11]

Cabrera, A

M. Cabrera, A. Swann : Almost Hermitian structures and quaternionic geometries , Differential Geom. Appl. 21 no. 2 (2004), 199--214

2004
[12]

A. Fino, G. Grantcharov, A. Mainenti : p -Kähler structures on fibrations and reductive Lie groups , https://arxiv.org/abs/2601.21849

arXiv
[13]

E. Fusi, G. Gentili : Special metrics in hypercomplex geometry , Adv. Math. 496 (2026), Paper No. 111001

2026
[14]

Gauduchon, K

P. Gauduchon, K. P. Tod : Hyper-Hermitian metrics with symmetry , J. Geom. Phys. 25 no. 3-4 (1998), 291--304

1998
[15]

A. Gray, L. M. Hervella : The Sixteen Classes of Almost Hermitian Manifolds and Their Linear Invariants, Ann. Mat. Pura Appl. 123 (1980), 35--58

1980
[16]

P. S. Howe, G. Papadopoulos : Twistor spaces for HKT manifolds , Phys. Lett. B 379 (1996), 80--86

1996
[17]

Ivanov, A

S. Ivanov, A. Petkov : HKT manifolds with holonomy SL(n, ) , Int. Math. Res. Not. IMRN 2012 no. 16, 3779--3799

2012
[18]

Joyce : Compact hypercomplex and quaternionic manifolds , J

D. Joyce : Compact hypercomplex and quaternionic manifolds , J. Differential Geom. 35 (1992), 743--761

1992
[19]

Martín Cabrera, A

F. Martín Cabrera, A. Swann : Almost Hermitian structures and quaternionic geometries , Differential Geom. Appl. 21 no. 2 (2004), 199--214

2004
[20]

Moraru, M

R. Moraru, M. Verbitsky : Stable bundles on hypercomplex surfaces , Cent. Eur. J. Math. 8 no. 2 (2010), 327--337

2010
[21]

Moroianu : Lectures on Kähler Geometry, London Mathematical Society Student Texts 69 , Cambridge University Press, Cambridge, 2007

A. Moroianu : Lectures on Kähler Geometry, London Mathematical Society Student Texts 69 , Cambridge University Press, Cambridge, 2007

2007
[22]

Moroianu, P

A. Moroianu, P. Schwahn : Geometries with parallel, skew-symmetric and closed torsion, http://arxiv.org/abs/2605.13227

Pith/arXiv arXiv
[23]

Obata : Affine connections on manifolds with almost complex, quaternion or Hermitian structure , Japan

M. Obata : Affine connections on manifolds with almost complex, quaternion or Hermitian structure , Japan. J. Math. 26 (1956), 43--77

1956
[24]

Ornea, Y

L. Ornea, Y. S. Poon, A. Swann : Potential 1-forms for hyper-K\"ahler structures with torsion Classical Quantum Gravity 20 no. 9 (2003), 1845--1856

2003
[25]

H. V. Pittie : The Dolbeault-cohomology ring of a compact, even-dimensional lie group , Proc. Indian Acad. Sci. 98 no. 2-3 (1988), 117--152

1988
[26]

Samelson : A class of complex analytic manifolds , Portugaliae Math

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

1953
[27]

Sommese : Quaternionic Manifolds , Math

A. Sommese : Quaternionic Manifolds , Math. Ann. 212 (1975), 191--214

1975
[28]

Spindel, A

P. Spindel, A. Sevrin, W. Troost and A. Van Proeyen : Extended supersymmetric sigma models on group manifolds. I. The complex structures , Nuclear Phys. B 308 (1988), 662--698

1988
[29]

Wang : Closed manifolds with homogeneous complex structure , Amer

H.-C. Wang : Closed manifolds with homogeneous complex structure , Amer. J. Math. 76 (1954), 1--32

1954
[30]

Witten : Instantons and the large N =4 algebra , J

E. Witten : Instantons and the large N =4 algebra , J. Phys. A 58 no. 3 (2025), Paper No. 035403, 68 pp

2025
[31]

K. Yano, M. Ako : Integrability conditions for almost quaternion structures , Hokkaido Math. J. 1 (1972), 63--86

1972

[1] [1]

Alesker, M

S. Alesker, M. Verbitsky : Quaternionic Monge-Ampère equation and Calabi problem for HKT-manifolds , Israel J. Math. 176 (2010), 109--138

2010

[2] [2]

Barbaro, F

G. Barbaro, F. Pediconi, N. Tardini : Pluriclosed manifolds with parallel Bismut torsion , to appear in Crelle’s Journal

[3] [3]

M. L. Barberis, I. Dotti, M. Verbitsky : Canonical bundles of complex nilmanifolds, with applications to hypercomplex geometry , Math. Res. Lett. 16 no. 2 (2009), 331--347

2009

[4] [4]

M. L. Barberis, A. Fino : New HKT manifolds arising from quaternionic representations , Math. Z. 267 no. 3-4 (2011), 717--735

2011

[5] [5]

J. M. Bismut : A local index theorem for non-K\"ahler manifolds , Math. Ann. 284 (1989), 681--699

1989

[6] [6]

Bourbaki : Lie Groups and Lie Algebras

N. Bourbaki : Lie Groups and Lie Algebras. Chapters 4--6, Springer 2002

2002

[7] [7]

C. P. Boyer : A note on hyper-Hermitian four-manifolds , Proc. Amer. Math. Soc. 102 no. 1 (1988), 157--164

1988

[8] [8]

Brienza, A

B. Brienza, A. Fino, G. Grantcharov : CYT and SKT manifolds with parallel Bismut torsion , Proc. R. Soc. Edinb. A: Math. (2024), 1--26

2024

[9] [9]

Brienza, A

B. Brienza, A. Fino, G. Grantcharov : A mapping tori construction of strong HKT and generalized hyper-K\"ahler manifolds , in Real and Complex Geometry - in Honour of Paul Gauduchon , Springer, 2025

2025

[10] [10]

Brienza, A

B. Brienza, A. Fino, G. Grantcharov, M. Verbitsky : On the structure of compact strong HKT manifolds , Commun. Math. Phys. 407 article n. 122 (2026)

2026

[11] [11]

Cabrera, A

M. Cabrera, A. Swann : Almost Hermitian structures and quaternionic geometries , Differential Geom. Appl. 21 no. 2 (2004), 199--214

2004

[12] [12]

A. Fino, G. Grantcharov, A. Mainenti : p -Kähler structures on fibrations and reductive Lie groups , https://arxiv.org/abs/2601.21849

arXiv

[13] [13]

E. Fusi, G. Gentili : Special metrics in hypercomplex geometry , Adv. Math. 496 (2026), Paper No. 111001

2026

[14] [14]

Gauduchon, K

P. Gauduchon, K. P. Tod : Hyper-Hermitian metrics with symmetry , J. Geom. Phys. 25 no. 3-4 (1998), 291--304

1998

[15] [15]

A. Gray, L. M. Hervella : The Sixteen Classes of Almost Hermitian Manifolds and Their Linear Invariants, Ann. Mat. Pura Appl. 123 (1980), 35--58

1980

[16] [16]

P. S. Howe, G. Papadopoulos : Twistor spaces for HKT manifolds , Phys. Lett. B 379 (1996), 80--86

1996

[17] [17]

Ivanov, A

S. Ivanov, A. Petkov : HKT manifolds with holonomy SL(n, ) , Int. Math. Res. Not. IMRN 2012 no. 16, 3779--3799

2012

[18] [18]

Joyce : Compact hypercomplex and quaternionic manifolds , J

D. Joyce : Compact hypercomplex and quaternionic manifolds , J. Differential Geom. 35 (1992), 743--761

1992

[19] [19]

Martín Cabrera, A

F. Martín Cabrera, A. Swann : Almost Hermitian structures and quaternionic geometries , Differential Geom. Appl. 21 no. 2 (2004), 199--214

2004

[20] [20]

Moraru, M

R. Moraru, M. Verbitsky : Stable bundles on hypercomplex surfaces , Cent. Eur. J. Math. 8 no. 2 (2010), 327--337

2010

[21] [21]

Moroianu : Lectures on Kähler Geometry, London Mathematical Society Student Texts 69 , Cambridge University Press, Cambridge, 2007

A. Moroianu : Lectures on Kähler Geometry, London Mathematical Society Student Texts 69 , Cambridge University Press, Cambridge, 2007

2007

[22] [22]

Moroianu, P

A. Moroianu, P. Schwahn : Geometries with parallel, skew-symmetric and closed torsion, http://arxiv.org/abs/2605.13227

Pith/arXiv arXiv

[23] [23]

Obata : Affine connections on manifolds with almost complex, quaternion or Hermitian structure , Japan

M. Obata : Affine connections on manifolds with almost complex, quaternion or Hermitian structure , Japan. J. Math. 26 (1956), 43--77

1956

[24] [24]

Ornea, Y

L. Ornea, Y. S. Poon, A. Swann : Potential 1-forms for hyper-K\"ahler structures with torsion Classical Quantum Gravity 20 no. 9 (2003), 1845--1856

2003

[25] [25]

H. V. Pittie : The Dolbeault-cohomology ring of a compact, even-dimensional lie group , Proc. Indian Acad. Sci. 98 no. 2-3 (1988), 117--152

1988

[26] [26]

Samelson : A class of complex analytic manifolds , Portugaliae Math

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

1953

[27] [27]

Sommese : Quaternionic Manifolds , Math

A. Sommese : Quaternionic Manifolds , Math. Ann. 212 (1975), 191--214

1975

[28] [28]

Spindel, A

P. Spindel, A. Sevrin, W. Troost and A. Van Proeyen : Extended supersymmetric sigma models on group manifolds. I. The complex structures , Nuclear Phys. B 308 (1988), 662--698

1988

[29] [29]

Wang : Closed manifolds with homogeneous complex structure , Amer

H.-C. Wang : Closed manifolds with homogeneous complex structure , Amer. J. Math. 76 (1954), 1--32

1954

[30] [30]

Witten : Instantons and the large N =4 algebra , J

E. Witten : Instantons and the large N =4 algebra , J. Phys. A 58 no. 3 (2025), Paper No. 035403, 68 pp

2025

[31] [31]

K. Yano, M. Ako : Integrability conditions for almost quaternion structures , Hokkaido Math. J. 1 (1972), 63--86

1972