Papers
Topics
Authors
Recent
Search
2000 character limit reached

Almost Quaternionic Skew-Hermitian Manifolds

Updated 14 January 2026
  • Almost quaternionic skew-Hermitian manifolds are 4n-dimensional spaces equipped with a rank-3 quaternionic structure and a Q-Hermitian 2-form that maintains symmetry under three almost complex structures.
  • They feature a unique minimal G-connection that preserves both the quaternionic structure and the symplectic-like form, with torsion capturing key integrability and curvature properties.
  • Intrinsic torsion decompositions and explicit curvature-holonomy analyses classify these manifolds, informing symmetric-space models and applications in geometric analysis and mathematical physics.

An almost quaternionic skew-Hermitian manifold (often abbreviated AQSH, and sometimes referred to as a “neutral HKT-manifold” in special cases) is a $4n$-dimensional smooth manifold MM equipped with a rank-3 subbundle QEnd(TM)Q\subset\mathrm{End}(TM) locally generated by an admissible triple (J1,J2,J3)(J_1, J_2, J_3) of almost complex structures satisfying the quaternionic relations, and a nondegenerate 2-form ωΩ2(M)\omega\in\Omega^2(M) (the “Q-Hermitian” form) such that ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y) for a=1,2,3a=1,2,3 and all vector fields X,YX, Y. These geometries arise as the symplectic analogue of almost quaternionic Hermitian structures, with structure group reduced to SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1), and admit a canonical minimal GG-connection whose torsion encodes deep integrability and curvature properties.

1. Foundational Principles and Equivalent Definitions

An almost quaternionic skew-Hermitian structure on MM0 (MM1) comprises:

  • An almost quaternionic structure MM2 locally spanned by MM3 with MM4.
  • A nondegenerate 2-form MM5 that is MM6-Hermitian (MM7).

Key equivalent formulations include:

  • Scalar 2-form and local symplectic forms: MM8, etc., with compatibility conditions dictated by quaternionic identities.
  • Endomorphism-valued skew-Hermitian form: MM9; its stabilizer is precisely QEnd(TM)Q\subset\mathrm{End}(TM)0.
  • Symmetric 4-tensor: QEnd(TM)Q\subset\mathrm{End}(TM)1, giving a bijective correspondence with QEnd(TM)Q\subset\mathrm{End}(TM)2 data and classifying the geometry through its orbit in QEnd(TM)Q\subset\mathrm{End}(TM)3 (Chrysikos et al., 2021, Chrysikos et al., 6 Jan 2026).

2. Canonical Connections, Torsion, and Integrability

Every AQSH manifold admits a unique minimal QEnd(TM)Q\subset\mathrm{End}(TM)4-connection QEnd(TM)Q\subset\mathrm{End}(TM)5 preserving both the quaternionic structure QEnd(TM)Q\subset\mathrm{End}(TM)6 and QEnd(TM)Q\subset\mathrm{End}(TM)7, constructed explicitly as follows:

  • Unimodular Oproiu connection QEnd(TM)Q\subset\mathrm{End}(TM)8 preserves QEnd(TM)Q\subset\mathrm{End}(TM)9 and the volume form (J1,J2,J3)(J_1, J_2, J_3)0;
  • The adapted connection (J1,J2,J3)(J_1, J_2, J_3)1 where (J1,J2,J3)(J_1, J_2, J_3)2 corrects for (J1,J2,J3)(J_1, J_2, J_3)3 via the relation (J1,J2,J3)(J_1, J_2, J_3)4.

Integrability is characterized as follows:

  • The torsion (J1,J2,J3)(J_1, J_2, J_3)5 vanishes if and only if (J1,J2,J3)(J_1, J_2, J_3)6 is quaternionic (i.e. (J1,J2,J3)(J_1, J_2, J_3)7) and (J1,J2,J3)(J_1, J_2, J_3)8; equivalently, (J1,J2,J3)(J_1, J_2, J_3)9 is symplectic (ωΩ2(M)\omega\in\Omega^2(M)0), and ωΩ2(M)\omega\in\Omega^2(M)1 is a quaternionic skew-Hermitian manifold (Chrysikos et al., 6 Jan 2026, Chrysikos et al., 2024).
  • In the metric setting, for structures ωΩ2(M)\omega\in\Omega^2(M)2 with neutral signature ωΩ2(M)\omega\in\Omega^2(M)3, a canonical metric connection ωΩ2(M)\omega\in\Omega^2(M)4 with totally skew-symmetric torsion ωΩ2(M)\omega\in\Omega^2(M)5 exists precisely when ωΩ2(M)\omega\in\Omega^2(M)6 is nearly Kähler and ωΩ2(M)\omega\in\Omega^2(M)7 are quasi-Kähler of Norden type. The torsion ωΩ2(M)\omega\in\Omega^2(M)8-form is given by ωΩ2(M)\omega\in\Omega^2(M)9, and ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)0 preserves the full hypercomplex structure and metric (Manev et al., 2010).

3. Intrinsic Torsion, Classification, and Algebraic Types

Intrinsic torsion is analyzed using Salamon’s ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)1-formalism, which realizes ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)2 (standard ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)3- and ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)4-modules). The Spencer differential governs the space of possible torsion components:

  • For ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)5, the intrinsic torsion splits into at least five irreducible ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)6-invariant components ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)7, corresponding to distinct geometric phenomena:
    • ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)8 (ω(JaX,JaY)=ω(X,Y)\omega(J_aX, J_aY) = \omega(X, Y)9): Nijenhuis-type obstruction.
    • a=1,2,3a=1,2,30 (a=1,2,3a=1,2,31): Variation of a=1,2,3a=1,2,32 along a=1,2,3a=1,2,33.
    • a=1,2,3a=1,2,34, a=1,2,3a=1,2,35, a=1,2,3a=1,2,36: various higher-order torsion and vector-torsion types.
  • Integrability and curvature conditions are encoded by the vanishing of specific projections of the torsion (e.g., a=1,2,3a=1,2,37 implies absence of "3-form" part) (Chrysikos et al., 2021, Chrysikos et al., 6 Jan 2026).

4. Curvature Structure and Holonomy

On torsion-free AQSH manifolds:

  • The curvature a=1,2,3a=1,2,38 always realizes a=1,2,3a=1,2,39 as a Berger algebra; the curvature module X,YX, Y0 and is classified through explicit equivariant splittings.
  • The Ricci tensor admits the explicit formula:

X,YX, Y1

  • If X,YX, Y2, then X,YX, Y3 is X,YX, Y4-Hermitian and X,YX, Y5 is pseudo-quaternionic-Kähler and locally symmetric; the uniquely determined connection coincides with the Levi-Civita connection of the Ricci-related metric X,YX, Y6 (Chrysikos et al., 2024).
  • For connections with parallel totally skew-symmetric torsion X,YX, Y7, as in the weak/strong dichotomy, X,YX, Y8 is strong if X,YX, Y9 (equivalent to flatness), otherwise SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)0 is weak. The curvature of SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)1 is of Kähler type, with corrections proportional to the torsion (Manev et al., 2010).

5. Submanifolds and Homogeneous Models

Submanifold theory in the AQSH context largely mirrors that of quaternionic Kähler geometry, but reflects the symplectic structure:

  • Almost symplectic submanifolds: Defined via nondegenerate pullbacks SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)2, and closed if ambient torsion vanishes or is of type SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)3.
  • Almost complex/pseudo-Hermitian submanifolds: Structure and integrability determined by the existence of SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)4-invariant subbundles and torsion projections; Gray–Hervella classes can be read off from the decomposition of SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)5 and explicit 1-form obstructions.
  • Almost quaternionic submanifolds: SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)6-invariant tangent bundle, with induced AQSH structure and adapted minimal connection inherited from the ambient manifold in the torsion-free integrable case. Homogeneous examples are realized inside symmetric spaces:
    • SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)7 (paracomplex quaternionic series).
    • SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)8 (pseudo-Wolf spaces).
    • SO(2n)Sp(1)\mathrm{SO}^*(2n)\,\mathrm{Sp}(1)9 (quaternionic real form series) (Chrysikos et al., 6 Jan 2026, Chrysikos et al., 2021).

6. Bundle Constructions and Swann Bundle Geometry

The Swann bundle construction generalizes hypercomplex geometry in the AQSH setting:

  • For any torsion-free AQSH manifold GG0, the Swann bundle GG1 admits a canonical triple of almost complex structures GG2, which are always 1-integrable by virtue of the symmetric Ricci tensor of the underlying connection, yielding genuine hypercomplex geometry on GG3.
  • On GG4, one constructs almost symplectic forms GG5 mixing horizontal and vertical components. Integrability of these structures (closure, vanishing torsion) imposes base curvature constraints; only in the flat base case does GG6 become closed and torsion-free, recovering hyper-Kähler cones (Chrysikos et al., 2024).

7. Geometric, Classification, and Physical Consequences

  • The intrinsic torsion decomposition (seven irreducibles GG7…GG8) governs the landscape of AQSH manifolds: pure/quaternionic/symplectic types, half-flat, and more refined subclasses are explicitly controlled by the vanishing or mix of these components.
  • The curvature–holonomy structure identifies AQSH geometries as non-symmetric Berger spaces, with consequences for Ricci tensor properties and local symmetry.
  • AQSH manifolds and their weak/strong dichotomy generalize the HKT structures known in supersymmetric sigma-model and string-theory backgrounds to pseudo-Riemannian settings (Manev et al., 2010).
  • The explicit construction and analysis of submanifold and symmetric space models provide a platform for further study in differential and Riemannian geometry, representation theory, and mathematical physics (Chrysikos et al., 2021, Chrysikos et al., 6 Jan 2026, Chrysikos et al., 2024).

Table: Classification of Symmetric-space Models (torsion-free AQSH structures)

Model Type Symmetric Space Dim.
Quaternionic real GG9 MM00
Wolf (noncompact) MM01 MM02
Paracomplex MM03 MM04

All such symmetric spaces admit a MM05-invariant torsion-free AQSH structure, and the natural symmetric-space connection coincides with the minimal adapted connection (Chrysikos et al., 2021, Chrysikos et al., 6 Jan 2026).

This encyclopedia entry reflects the state-of-the-art as given in (Manev et al., 2010, Chrysikos et al., 2021, Chrysikos et al., 6 Jan 2026), and (Chrysikos et al., 2024).

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Almost Quaternionic Skew-Hermitian Manifolds.