Almost Born Structures and Integrability

• Almost Born structures are defined as a package combining para-quaternionic endomorphisms, a Riemannian metric, a pseudo-Riemannian metric, and a nondegenerate 2-form with specific compatibility relations.
• They admit equivalent formulations via para-quaternionic, Künneth, and recursion-operator approaches, thereby linking para-Hermitian, pseudo-Kähler, and Hessian geometries.
• Integrability in Born geometry is achieved by imposing closedness and vanishing Nijenhuis conditions, yielding pseudo-Kähler and bi-Lagrangian structures on manifolds and Lie algebras.

An almost Born structure is a geometric structure that packages para-quaternionic-type endomorphisms together with compatible metric and symplectic data. In the tangent-bundle formulation, it is a tuple

$(I,J,K,h,k,\omega),$

where $(I,J,K)$ is an almost para-quaternionic structure, $h$ is a Riemannian metric, $k$ is a pseudo-Riemannian metric of signature $(n,n)$, and $\omega$ is a nondegenerate $2$-form, subject to the compatibility relations

$$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$

In equivalent formulations, the same package is expressed by recursion operators or by a Künneth splitting. The qualifier “almost” indicates the absence of integrability assumptions; when appropriate closedness and Nijenhuis-type conditions are imposed, one obtains an integrable Born structure. Recent work has clarified that almost Born structures form a common framework for para-Hermitian geometry, pseudo-Kähler geometry, Hessian geometry, tangent-bundle constructions, and Lie-algebraic matched-pair constructions (Sakamoto, 31 Jul 2025).

1. Algebraic package and defining relations

An almost para-quaternionic structure is a triple $(I,J,K)$ of $(1,1)$-tensor fields satisfying

$(I,J,K)$0

Equivalently,

$(I,J,K)$1

An almost Born structure augments this triple by metric and $(I,J,K)$2-form data so that the three endomorphisms and the tensors $(I,J,K)$3 determine each other.

In the notation used for tangent-bundle Born structures, $(I,J,K)$4 is the almost complex-type endomorphism, while $(I,J,K)$5 and $(I,J,K)$6 are para-complex-type endomorphisms. In the recursion-operator formulation, one instead starts from a triple $(I,J,K)$7, where $(I,J,K)$8 and $(I,J,K)$9 are pseudo-Riemannian metrics and $h$0 is a non-degenerate $h$1-form, and defines recursion operators through the diagram

$h$2

Here the recursion operator from $h$3 to $h$4 is the unique endomorphism $h$5 such that

$h$6

This formulation yields the identities

$h$7

and the operators $h$8 pairwise anti-commute (Hamilton et al., 2024).

The metric signatures are constrained by the algebra. In the Künneth/recursion-operator formulation, the metric $h$9 is automatically neutral, while Proposition 16 gives the signature restriction for $k$0: $k$1 Moreover,

$k$2

so $k$3 is an almost pseudo-Hermitian structure with fundamental form $k$4 (Hamilton et al., 2024).

2. Equivalent formulations: para-quaternionic, Künneth, and generalized-geometric

A central development in the recent literature is the identification of equivalent descriptions of Born geometry. One may work with para-quaternionic tensors, with recursion operators, or with a Künneth structure; the corresponding formulations are stated to be equivalent reformulations of the same underlying package (Hamilton et al., 2024).

At the Künneth level, the basic object is an almost Künneth structure

$k$5

where $k$6 is a non-degenerate $k$7-form and $k$8 are complementary $k$9-isotropic subbundles. From such a splitting one obtains the associated almost product structure

$(n,n)$0

and the neutral metric

$(n,n)$1

If $(n,n)$2 is closed and $(n,n)$3 are integrable to Lagrangian foliations, the structure is Künneth.

The recursion-operator picture makes the decomposition particularly explicit. Writing $(n,n)$4 for the $(n,n)$5-eigenspaces of $(n,n)$6, one has

$(n,n)$7

and Proposition 12 shows that $(n,n)$8 are Lagrangian for $(n,n)$9. Corollary 13 states that $\omega$0 are null for the neutral metric $\omega$1. Section 3.3 then proves the converse construction: given any almost Künneth structure $\omega$2, one may choose an isomorphism

$\omega$3

extend it to an almost complex structure by

$\omega$4

and define

$\omega$5

Thus a Born structure is exactly an almost Künneth structure together with a compatible almost complex structure exchanging the two Lagrangian summands (Hamilton et al., 2024).

This equivalence also explains why Born geometry is stronger than an almost para-Hermitian or almost pseudo-Hermitian structure alone. The data simultaneously encode a neutral metric, a pseudo-Hermitian metric, a non-degenerate $\omega$6-form, and a para-quaternionic-type family of endomorphisms.

3. Integrability and canonical connections

The distinction between almost and integrable Born geometry is sharp. In the Künneth formulation, “almost” means that $\omega$7 need not be closed and the recursion operators $\omega$8 need not be integrable. Integrability requires that $\omega$9 is closed and that at least two of the recursion operators are integrable; Proposition 21 then implies that all three are integrable (Hamilton et al., 2024).

Integrability is expressed through the Nijenhuis tensor

$2$0

For an almost product structure, vanishing $2$1 is equivalent to Frobenius integrability of the eigendistributions; for an almost complex structure, it is the Newlander–Nirenberg condition. In the integrable Born case, the compatible pair $2$2 becomes pseudo-Kähler with Kähler form $2$3, and $2$4 becomes a genuine Künneth or para-Kähler structure (Hamilton et al., 2024).

The tangent-bundle literature distinguishes two notions. An almost Born structure $2$5 is integrable if $2$6, $2$7, and $2$8 are individually integrable and $2$9. It is strongly integrable if the whole almost para-quaternionic triple $$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$0 is integrable in the simultaneous local normal form sense and $$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$1. In general, strong integrability is stricter than integrability, but for the tangent-bundle structures induced from $$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$2 they coincide (Sakamoto, 31 Jul 2025).

Connections organize these integrability conditions. For an almost Künneth structure there is a canonical Künneth connection $$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$3, the unique affine connection preserving $$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$4 with vanishing mixed torsion; Theorem 4 says that it is torsion-free exactly when the Künneth structure is integrable, and Theorem 5 identifies it with the Levi-Civita connection of $$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$5. The canonical connection associated to the almost Künneth structure is

$$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$6

Corollary 28 states that $$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$7 iff

$$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$8

with respect to the $$I=h^{-1}\circ \omega,\qquad J=k^{-1}\circ h,\qquad K=\omega^{-1}\circ k.$$9 bigrading; in particular, if $(I,J,K)$0 is closed, then $(I,J,K)$1. The averaged connection

$(I,J,K)$2

is compatible with the full Born structure, and in the integrable case agrees with the Born connection of Freidel–Rudolph–Svoboda (Hamilton et al., 2024).

4. Natural almost Born structures on tangent bundles

Given a manifold $(I,J,K)$3 endowed with an affine connection $(I,J,K)$4 and a Riemannian metric $(I,J,K)$5, the tangent bundle $(I,J,K)$6 carries a natural almost para-quaternionic structure induced by $(I,J,K)$7, and if $(I,J,K)$8 is also given, then one gets a natural almost Born structure (Sakamoto, 31 Jul 2025).

In local coordinates $(I,J,K)$9 on $(1,1)$0, the induced coordinates on $(1,1)$1 are

$(1,1)$2

where $(1,1)$3 is the projection. Using the connection coefficients $(1,1)$4 of $(1,1)$5, one defines the adapted frame

$(1,1)$6

with dual coframe

$(1,1)$7

The induced endomorphisms are

$(1,1)$8

With respect to $(1,1)$9, they take the block forms

$(I,J,K)$00

If $(I,J,K)$01 is a Riemannian metric on $(I,J,K)$02, one defines

$(I,J,K)$03

$(I,J,K)$04

$(I,J,K)$05

Equivalently,

$(I,J,K)$06

where $(I,J,K)$07. Thus $(I,J,K)$08 is an almost Born structure on $(I,J,K)$09 (Sakamoto, 31 Jul 2025).

The local commutator relations are

$(I,J,K)$10

These formulas control the Nijenhuis tensors of the induced endomorphisms. For example,

$(I,J,K)$11

$(I,J,K)$12

$(I,J,K)$13

where $(I,J,K)$14 are the torsion coefficients of $(I,J,K)$15. This shows that $(I,J,K)$16 is integrable exactly when $(I,J,K)$17 is flat (Sakamoto, 31 Jul 2025).

5. Hessian structures and the tangent-bundle integrability theorem

A Hessian structure on a manifold $(I,J,K)$18 is a pair $(I,J,K)$19 consisting of an affine connection and a Riemannian metric such that $(I,J,K)$20 is flat,

$(I,J,K)$21

and the tensor $(I,J,K)$22 is totally symmetric. Equivalently, using the dual connection $(I,J,K)$23 defined by

$(I,J,K)$24

the following standard facts are recalled: if any two of

• $(I,J,K)$25 torsion-free,
• $(I,J,K)$26 torsion-free,
• $(I,J,K)$27 symmetric,
• $(I,J,K)$28 is the Levi-Civita connection of $(I,J,K)$29,

hold, then all four hold. In addition,

$(I,J,K)$30

The key proposition for the induced structure on $(I,J,K)$31 gives the equivalences

$(I,J,K)$32

$(I,J,K)$33

$(I,J,K)$34

From these, the main theorem follows: $(I,J,K)$35 More explicitly, if $(I,J,K)$36 is Hessian, then $(I,J,K)$37 is flat and torsion-free, $(I,J,K)$38 is totally symmetric, and hence $(I,J,K)$39 and all of $(I,J,K)$40 are integrable. Conversely, if the induced Born structure is integrable, then the integrability of $(I,J,K)$41 forces $(I,J,K)$42 to be flat, and $(I,J,K)$43 forces $(I,J,K)$44 to be torsion-free; together with the standard Hessian identities, this implies that $(I,J,K)$45 is Hessian (Sakamoto, 31 Jul 2025).

In an affine chart for a flat $(I,J,K)$46, the formulas simplify to the constant block forms above. For the standard Hessian manifold $(I,J,K)$47 with the Euclidean metric and standard flat connection, the induced structure on $(I,J,K)$48 identifies naturally with the standard strongly integrable Born structure on $(I,J,K)$49 via

$(I,J,K)$50

This theorem extends two earlier lines of work. Dombrowski showed that an affine connection induces natural almost complex and para-complex structures on the tangent bundle, with integrability tied to flatness. Satoh and later Marotta–Szabo showed that adding a metric yields an almost Hermitian or para-Hermitian-type structure whose Kähler condition is equivalent to the Hessian condition. The Born-geometric reformulation places these facts inside the broader framework introduced by Freidel–Leigh–Minic and developed mathematically by Freidel–Rudolph–Svoboda and Marotta–Szabo: Hessian geometry is the precise base-space geometry underlying integrable Born geometry on the tangent bundle (Sakamoto, 31 Jul 2025).

6. Lie-algebraic models, bicross products, and classification

On a Lie algebra $(I,J,K)$51, a Born structure is again given by a triple

$(I,J,K)$52

with recursion operators satisfying

$(I,J,K)$53

and it is called integrable if $(I,J,K)$54 is closed in the Chevalley–Eilenberg sense, $(I,J,K)$55 has vanishing Nijenhuis tensor, and the $(I,J,K)$56-eigenspaces of $(I,J,K)$57 are Lie subalgebras. A Lie algebra equipped with such an integrable structure is called a Born Lie algebra (Gil-García et al., 2024).

The eigenspace decomposition is structurally rigid. If $(I,J,K)$58 are the eigenspaces of $(I,J,K)$59, then

$(I,J,K)$60

and $(I,J,K)$61 interchanges them. The paper emphasizes the equivalence

$(I,J,K)$62

Equivalently, a Born Lie algebra simultaneously encodes a pseudo-Kähler geometry $(I,J,K)$63, a bi-Lagrangian or para-Kähler geometry $(I,J,K)$64, and a complex product structure $(I,J,K)$65 (Gil-García et al., 2024).

A major structural theorem states that every Born Lie algebra arises from a bicross product of two pseudo-Riemannian Lie algebras. Given Lie algebras $(I,J,K)$66 and $(I,J,K)$67 with representations

$(I,J,K)$68

satisfying the matched-pair conditions, the bicross product

$(I,J,K)$69

has bracket

$(I,J,K)$70

If $(I,J,K)$71 are pseudo-Riemannian metrics of the same signature and

$(I,J,K)$72

is a linear isometry, then

$(I,J,K)$73

defines an almost Born structure. The integrability conditions are then expressed by the four relations

$(I,J,K)$74

$(I,J,K)$75

Conversely, every Born Lie algebra is isomorphic to such a bicross product (Gil-García et al., 2024).

This bicross-product description is strong enough to support classification results. In dimension $(I,J,K)$76, every Lie algebra is Born, and any Born structure is automatically integrable. In dimension $(I,J,K)$77, a non-abelian Lie algebra admits an integrable Born structure iff it is isomorphic to one of

$(I,J,K)$78

Moreover, a $(I,J,K)$79-dimensional Lie algebra admits an integrable Born structure iff it admits both a pseudo-Kähler structure and a bi-Lagrangian structure. For non-abelian $(I,J,K)$80-dimensional nilpotent Lie algebras, the complete list is

$(I,J,K)$81

The curvature behavior of the associated metrics is also constrained. In the $(I,J,K)$82-dimensional classified cases, the neutral metric $(I,J,K)$83 is always flat. In the $(I,J,K)$84-dimensional nilpotent case, the metrics $(I,J,K)$85 on the two subalgebras are always flat, the global metric $(I,J,K)$86 may be flat or non-flat, and $(I,J,K)$87 yields an example where the neutral metric $(I,J,K)$88 can also be non-flat for certain parameter values (Gil-García et al., 2024).

A recurrent misconception is that the almost and integrable levels differ only mildly. The available results indicate the opposite. On manifolds, almost Born data may be constructed from a symplectic splitting plus a compatible almost complex structure, but integrability requires closedness and Nijenhuis conditions. On tangent bundles, the induced almost Born structure is integrable exactly in the Hessian case. On Lie algebras, integrability is equivalent to a pseudo-Kähler structure together with complementary orthogonal subalgebras, and in examples on nilmanifolds, infra-nilmanifolds, and solvmanifolds, the extra complex and Kähler conditions can obstruct integrable Born geometry even when almost Künneth data exist (Hamilton et al., 2024).