Jacobi–Haantjes Manifolds: Unified Integrability

• Jacobi–Haantjes manifolds are geometric structures that unify integrability by coupling the Jacobi framework with Haantjes operators to address both conservative and dissipative Hamiltonian systems.
• The approach employs extended operators and Haantjes algebras to generate recursion-type chains and reduce dynamics on invariant submanifolds, linking contact and locally conformal symplectic geometries.
• The framework provides actionable insights through Haantjes chains that organize first integrals and partial integrability, facilitating a unified treatment of classical and contact Hamiltonian systems.

Searching arXiv for the specified paper and closely related Haantjes-geometry work. Jacobi-Haantjes manifolds are a class of geometric structures introduced to formulate the integrability of conservative and dissipative Hamiltonian systems within a single tensorial framework. In the formulation proposed by R. Azuaje and P. Tempesta, the Jacobi data $(M,\Lambda,E)$ encode the Hamiltonian dynamics, while Haantjes operators organize compatible recursion-type structures and the associated chains of first integrals or particular integrals. The theory includes an extended version, adapted to the Jacobi setting, and admits as reductions contact-Haantjes and locally conformal symplectic-Haantjes manifolds. In this setting, complete integrability of contact Hamiltonian systems and partial integrability on invariant submanifolds are expressed through Haantjes chains and their extended analogues (Azuaje et al., 15 Jul 2025).

1. Jacobi geometry and Haantjes structures

A Jacobi manifold is a triple $(M,\Lambda,E)$, where $M$ is a smooth manifold, $\Lambda$ is a smooth bivector field, and $E$ is a smooth vector field such that

$$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$

The pair $(\Lambda,E)$ is a Jacobi structure. It induces on $C^\infty(M)$ the Jacobi bracket

$\{f,g\}=\Lambda(df,dg)+fEg-gEf,$

and for each $f\in C^\infty(M)$ the Hamiltonian vector field is

$(M,\Lambda,E)$0

Along the flow of $(M,\Lambda,E)$1, observables evolve according to

$(M,\Lambda,E)$2

The characteristic distribution generated by the Hamiltonian vector fields $(M,\Lambda,E)$3 is Stefan-Sussmann integrable, and each leaf inherits a transitive Jacobi structure, as stated through Kirillov’s theorem (Azuaje et al., 15 Jul 2025).

The Haantjes-theoretic side of the construction starts from a $(M,\Lambda,E)$4-tensor $(M,\Lambda,E)$5 on $(M,\Lambda,E)$6. Its Nijenhuis torsion $(M,\Lambda,E)$7 and Haantjes tensor $(M,\Lambda,E)$8 are

$(M,\Lambda,E)$9

$M$0

A Haantjes operator is a tensor $M$1 with $M$2. A Haantjes algebra is a pair $M$3 in which $M$4 is a set of Haantjes operators forming a free $M$5-module and a ring under composition. If the operators commute pairwise, one has an Abelian Haantjes algebra; in that case there exist Haantjes coordinates in which all $M$6 are simultaneously block-diagonal, and diagonal if semisimple. In the symplectic-Haantjes background, for a symplectic form $M$7 with bundle isomorphism $M$8, the algebraic compatibility is

$M$9

2. Extended Jacobi-Haantjes manifolds and their reduction

To combine Jacobi geometry and Haantjes geometry, the theory introduces extended operators acting on the $\Lambda$0-module $\Lambda$1. Given a quadruple $\Lambda$2, the associated extended operator is

$\Lambda$3

Its transpose $\Lambda$4 acts on $\Lambda$5 through

$\Lambda$6

The Jacobi sharp map is defined by

$\Lambda$7

Extended Nijenhuis and Haantjes torsions are defined by exact analogues using the Lie algebra structure on $\Lambda$8 (Azuaje et al., 15 Jul 2025).

An extended Haantjes algebra is a set $\Lambda$9 of extended operators $E$0 such that $E$1 and the set is closed under $E$2-linear combinations and composition. An extended Jacobi-Haantjes manifold of class $E$3 is then a quadruple $E$4 where $E$5 is a Jacobi manifold and $E$6 is an extended Haantjes algebra of rank $E$7 satisfying the compatibility condition

$E$8

The corresponding chain concept is likewise extended. A function $E$9 generates an extended Haantjes chain if there exists a distinguished basis $$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$0 of $$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$1 and functions $$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$2 such that

$$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$3

If $$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$4, this expands to

$$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$5

The main involution theorem states that if $$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$6 is an extended Jacobi-Haantjes manifold and $$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$7 is an extended Abelian Haantjes chain generated by $$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$8, then

$$[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0.$$9

The reduced notion is a Jacobi-Haantjes manifold of class $(\Lambda,E)$0, defined as a quadruple $(\Lambda,E)$1 in which $(\Lambda,E)$2 is now a Haantjes algebra of $(\Lambda,E)$3-operators on $(\Lambda,E)$4 satisfying

$(\Lambda,E)$5

This is the Jacobi analogue of the symplectic compatibility condition and reduces to a Poisson-Haantjes manifold when $(\Lambda,E)$6. It is also the reduction of the extended theory when $(\Lambda,E)$7.

3. Haantjes chains, particular involution, and partial integrability

On a Haantjes algebra $(\Lambda,E)$8 with basis $(\Lambda,E)$9, a function $C^\infty(M)$0 generates a Haantjes chain if

$C^\infty(M)$1

so that locally one has exact potentials $C^\infty(M)$2 satisfying

$C^\infty(M)$3

The geometric characterization used in the theory is formulated through the codistribution

$C^\infty(M)$4

A function $C^\infty(M)$5 generates a chain if and only if $C^\infty(M)$6, equivalently its annihilator distribution, is Frobenius integrable (Azuaje et al., 15 Jul 2025).

On an Abelian Jacobi-Haantjes manifold, the chain potentials satisfy not exact involution in general but the identity

$C^\infty(M)$7

This is termed “particular involution.” The same framework leads to the notion of particular integrals: functions $C^\infty(M)$8 are particular integrals for $C^\infty(M)$9 if

$\{f,g\}=\Lambda(df,dg)+fEg-gEf,$0

for suitable functions $\{f,g\}=\Lambda(df,dg)+fEg-gEf,$1. The common zero level set

$\{f,g\}=\Lambda(df,dg)+fEg-gEf,$2

is then invariant under $\{f,g\}=\Lambda(df,dg)+fEg-gEf,$3. If the $\{f,g\}=\Lambda(df,dg)+fEg-gEf,$4 are functionally independent and also satisfy

$\{f,g\}=\Lambda(df,dg)+fEg-gEf,$5

the dynamics reduces on $\{f,g\}=\Lambda(df,dg)+fEg-gEf,$6, with the number of degrees of freedom reduced by $\{f,g\}=\Lambda(df,dg)+fEg-gEf,$7, and the reduced system may be integrable by quadratures on $\{f,g\}=\Lambda(df,dg)+fEg-gEf,$8.

Within the Jacobi-Haantjes setting, the chain potentials satisfy

$\{f,g\}=\Lambda(df,dg)+fEg-gEf,$9

so they are particular integrals. In the Poisson case $f\in C^\infty(M)$0, the identity above reduces to the standard involutivity relation $f\in C^\infty(M)$1. Since the characteristic distribution of a Jacobi manifold is integrable and its leaves are contact or locally conformal symplectic, this suggests that Jacobi-Haantjes chains provide a mechanism for organizing integrability either globally or leafwise, depending on the geometry of the characteristic foliation.

4. Contact-Haantjes manifolds and dissipative contact dynamics

A contact manifold is a pair $f\in C^\infty(M)$2 with

$f\in C^\infty(M)$3

The Reeb vector field $f\in C^\infty(M)$4 is characterized by

$f\in C^\infty(M)$5

With the bundle map

$f\in C^\infty(M)$6

and inverse $f\in C^\infty(M)$7, the associated Jacobi structure is

$f\in C^\infty(M)$8

In Darboux coordinates $f\in C^\infty(M)$9,

$(M,\Lambda,E)$00

The contact Hamiltonian vector field $(M,\Lambda,E)$01 satisfies

$(M,\Lambda,E)$02

and the evolution law becomes

$(M,\Lambda,E)$03

Thus $(M,\Lambda,E)$04 is a dissipated quantity (Azuaje et al., 15 Jul 2025).

A contact-Haantjes manifold is a triple $(M,\Lambda,E)$05 in which $(M,\Lambda,E)$06 is a Haantjes algebra of $(M,\Lambda,E)$07-operators $(M,\Lambda,E)$08 satisfying, for all $(M,\Lambda,E)$09,

$(M,\Lambda,E)$10

These identities follow from the Jacobi-Haantjes compatibility $(M,\Lambda,E)$11 under the contact identifications, and it is convenient to assume

$(M,\Lambda,E)$12

A key auxiliary condition used in the theory is

$(M,\Lambda,E)$13

which in particular implies $(M,\Lambda,E)$14.

Under that condition, if $(M,\Lambda,E)$15 are the potentials of a Haantjes chain generated by $(M,\Lambda,E)$16, then

$(M,\Lambda,E)$17

Two special subclasses are singled out. In contact-Haantjes manifolds of the first kind, one has

$(M,\Lambda,E)$18

and therefore

$(M,\Lambda,E)$19

In those of the second kind, the condition

$(M,\Lambda,E)$20

is imposed for all functions homogeneous of degree $(M,\Lambda,E)$21 in the momenta in Darboux coordinates; when $(M,\Lambda,E)$22 and the $(M,\Lambda,E)$23 are degree-$(M,\Lambda,E)$24 homogeneous, one gets

$(M,\Lambda,E)$25

These formulas make explicit how dissipation deforms involution in contact Hamiltonian systems.

5. Locally conformal symplectic-Haantjes manifolds

A locally conformal symplectic manifold is a triple $(M,\Lambda,E)$26 where $(M,\Lambda,E)$27 is a nondegenerate $(M,\Lambda,E)$28-form and $(M,\Lambda,E)$29 is a closed $(M,\Lambda,E)$30-form satisfying

$(M,\Lambda,E)$31

The associated Jacobi structure is

$(M,\Lambda,E)$32

For $(M,\Lambda,E)$33, the Hamiltonian vector field is determined by

$(M,\Lambda,E)$34

The Jacobi bracket can be written as

$(M,\Lambda,E)$35

and the evolution along $(M,\Lambda,E)$36 is

$(M,\Lambda,E)$37

This is the even-dimensional Jacobi counterpart of the contact case (Azuaje et al., 15 Jul 2025).

A locally conformal symplectic-Haantjes manifold is a quadruple $(M,\Lambda,E)$38 in which $(M,\Lambda,E)$39 is a Haantjes algebra on $(M,\Lambda,E)$40 satisfying

$(M,\Lambda,E)$41

If, in addition,

$(M,\Lambda,E)$42

then the potentials $(M,\Lambda,E)$43 of a Haantjes chain obey

$(M,\Lambda,E)$44

Equivalently, in Jacobi notation with $(M,\Lambda,E)$45, the same particular-involution identity as in the general Jacobi-Haantjes case is recovered. This places locally conformal symplectic geometry within the same Haantjes-based integrability scheme as contact geometry, but in even dimension.

6. Conservative limit, Poissonization, and model examples

When $(M,\Lambda,E)$46, a Jacobi-Haantjes manifold becomes a Poisson-Haantjes manifold $(M,\Lambda,E)$47 with $(M,\Lambda,E)$48 and

$(M,\Lambda,E)$49

If $(M,\Lambda,E)$50 is invertible, this is an $(M,\Lambda,E)$51 manifold $(M,\Lambda,E)$52 with $(M,\Lambda,E)$53 and

$(M,\Lambda,E)$54

In that conservative limit, the Haantjes-chain potentials satisfy the ordinary involutivity relation

$(M,\Lambda,E)$55

and the symplectic-Haantjes machinery, including Darboux-Haantjes coordinates, is recovered (Azuaje et al., 15 Jul 2025).

The relation between Jacobi and Poisson geometry is made explicit by Poissonization. Given $(M,\Lambda,E)$56, on $(M,\Lambda,E)$57 with coordinate $(M,\Lambda,E)$58 one defines

$(M,\Lambda,E)$59

Then the Jacobi and Poisson brackets are related by

$(M,\Lambda,E)$60

where $(M,\Lambda,E)$61 are the liftings. A Jacobi-Haantjes structure on $(M,\Lambda,E)$62 induces an invertible Poisson-Haantjes, equivalently $(M,\Lambda,E)$63, structure on $(M,\Lambda,E)$64.

A basic contact-integrable example is given on the $(M,\Lambda,E)$65-dimensional contact manifold with Darboux coordinates $(M,\Lambda,E)$66, contact form

$(M,\Lambda,E)$67

and Hamiltonian

$(M,\Lambda,E)$68

An extended Abelian Haantjes chain of length $(M,\Lambda,E)$69 is constructed by taking $(M,\Lambda,E)$70 to be the extended identity with

$(M,\Lambda,E)$71

and $(M,\Lambda,E)$72 with

$(M,\Lambda,E)$73

The corresponding potentials are

$(M,\Lambda,E)$74

They are independent dissipated quantities and satisfy

$(M,\Lambda,E)$75

in the extended Jacobi-Haantjes setting.

The paper also constructs explicit families of Haantjes operators on $(M,\Lambda,E)$76-dimensional contact manifolds, represented by matrices $(M,\Lambda,E)$77, $(M,\Lambda,E)$78, and $(M,\Lambda,E)$79, which are compatible or quasi-compatible with the contact structure and generate Abelian or non-Abelian Haantjes algebras depending on the choice of arbitrary functions. Together with the regularity assumptions that all tensors are smooth, that $(M,\Lambda,E)$80 is nondegenerate and $(M,\Lambda,E)$81 is closed in the locally conformal symplectic case, and that $(M,\Lambda,E)$82 in the contact case, these constructions exhibit the nontriviality of the framework. The overall picture is that extended Jacobi-Haantjes manifolds govern complete integrability of contact Hamiltonian systems through extended Haantjes chains, whereas Jacobi-Haantjes manifolds encode partial integrability through particular integrals and invariant submanifolds, thereby unifying conservative and dissipative dynamics within a single Haantjes-based formalism.