---
title: Locally Conformal Symplectic-Haantjes Manifolds
url: https://www.emergentmind.com/topics/locally-conformal-symplectic-haantjes-manifolds
type: topic
---

# Locally Conformal Symplectic-Haantjes Manifolds

Locally conformal symplectic-Haantjes manifolds are even-dimensional manifolds equipped simultaneously with a locally conformal symplectic structure and a compatible Haantjes algebra, so that the induced Jacobi structure fits into the broader framework of Jacobi-Haantjes geometry. In the formulation introduced in “Jacobi-Haantjes manifolds, integrability and dissipation” [2507.11715], they constitute the even-dimensional reduction of Jacobi-Haantjes manifolds along characteristic leaves, and they extend symplectic-Haantjes manifolds by replacing the closed symplectic form with a locally conformal symplectic form whose Lee form need not vanish. Their principal role is to provide an intrinsic geometric setting for Haantjes chains, particular involution, and partial integrability of dissipative Hamiltonian systems.

## 1. Foundational structures

The basic tensorial ingredient is a \((1,1)\)-tensor field \(K:\mathfrak{X}(M)\to\mathfrak{X}(M)\). Its Nijenhuis torsion is
\[
\tau_K(X,Y):=K^2[X,Y]+[KX,KY]-K\big([X,KY]+[KX,Y]\big),
\]
and its Haantjes torsion is
\[
\mathcal{H}_K(X,Y):=K^2\tau_K(X,Y)+\tau_K(KX,KY)-K\big(\tau_K(X,KY)+\tau_K(KX,Y)\big).
\]
A Haantjes operator is a \((1,1)\)-tensor with \(\mathcal{H}_K\equiv 0\). A Haantjes algebra \((M,\mathscr{H})\) is a family of Haantjes operators closed under \(C^\infty(M)\)-linear combinations and under composition; if all elements commute, the algebra is Abelian [2507.11715].

The ambient Jacobi structure is a pair \((\Lambda,E)\) satisfying
\[
[\Lambda,\Lambda]_{SN}=2E\wedge\Lambda,\qquad [\Lambda,E]_{SN}=0,
\]
with induced Jacobi bracket
\[
\{f,g\}:=\Lambda(df,dg)+fEg-gEf.
\]
A Jacobi manifold is regular when its characteristic distribution
\[
D(x)=\Lambda^\#(T_x^*M)+\mathbb{R}E_x
\]
has constant rank; its leaves are locally conformal symplectic in even dimension and contact in odd dimension [1301.5173].

The locally conformal symplectic side consists of an even-dimensional manifold \(M^{2n}\), a non-degenerate \(2\)-form \(\Omega\), and a closed \(1\)-form \(\eta\), the Lee form, such that
\[
d\Omega-\eta\wedge\Omega=0.
\]
Equivalently, locally \(\eta=dl\) and \(\Omega=e^l\omega\) for a symplectic form \(\omega\). The inverse musical map \(\sharp\) associated with \(\Omega\) defines a Jacobi structure by
\[
\Lambda(\alpha,\beta)=\Omega(\sharp\alpha,\sharp\beta),\qquad E=\sharp\eta.
\]
The Hamiltonian vector field of \(f\) is determined by
\[
X_f\;\lrcorner\;\Omega=df-f\eta,
\]
and the time evolution satisfies
\[
\dot f=X_Hf=\{f,H\}+f\eta(X_H),\qquad \dot H=H\eta(X_H),
\]
so the Hamiltonian is generically dissipated rather than conserved [2507.11715]. Standard LCS geometry also admits the twisted differential \(d_\eta=d-\eta\wedge\cdot\), with \(d_\eta^2=0\) because \(d\eta=0\) [1511.00227].

## 2. Definition of locally conformal symplectic-Haantjes manifolds

A locally conformal symplectic-Haantjes manifold, abbreviated LCSH manifold, is defined as a quadruple \((M,\Omega,\eta,\mathscr{H})\) such that:

1. \((M,\Omega,\eta)\) is an LCS manifold: \(\Omega\) is non-degenerate, \(\eta\) is closed, and
   \[
   d\Omega-\eta\wedge\Omega=0;
   \]
2. \(\mathscr{H}\) is a Haantjes algebra of rank \(m\) on \(M\);
3. every \(K\in\mathscr{H}\) is compatible with the LCS structure in the sense that
   \[
   \Omega(KX,Y)=\Omega(X,KY),\qquad \forall X,Y\in\mathfrak{X}(M).
   \tag{LCSH-comp}
   \]

Equivalently,
\[
\Omega^\flat\circ K=K^T\circ\Omega^\flat.
\]
This is the same linear-algebraic compatibility condition used in symplectic-Haantjes geometry, but imposed on a non-closed LCS form rather than on a closed symplectic form [2507.11715].

The definition is obtained by reduction from Jacobi-Haantjes geometry. A Jacobi-Haantjes manifold of class \(m\) is a quadruple \((M,\Lambda,E,\mathscr{H})\) where \((M,\Lambda,E)\) is Jacobi, \(\mathscr{H}\) is a Haantjes algebra of rank \(m\), and every \(K\in\mathscr{H}\) satisfies
\[
K\Lambda=\Lambda K^T.
\tag{JH}
\]
When \((\Lambda,E)\) is induced by an LCS pair \((\Omega,\eta)\), condition \((JH)\) is equivalent to \((\text{LCSH-comp})\), so LCSH manifolds are precisely the LCS-induced instances of Jacobi-Haantjes manifolds [2507.11715].

The compatibility condition is conformally stable in the local LCS sense. If locally \(\Omega=e^l\omega\), then
\[
\omega(KX,Y)=\omega(X,KY)\quad \Longleftrightarrow\quad \Omega(KX,Y)=\Omega(X,KY),
\]
because multiplication by a function does not alter the symmetry property. This implies that, locally, an LCSH manifold is indistinguishable from a symplectic-Haantjes manifold up to conformal rescaling of the \(2\)-form [2507.11715].

## 3. Geometric position within Jacobi, contact, and symplectic-Haantjes geometry

LCSH manifolds occupy the even-dimensional branch of a hierarchy organized by Jacobi geometry. In a regular Jacobi manifold, characteristic leaves are locally conformal symplectic when they are even-dimensional and contact when they are odd-dimensional [1301.5173]. The Jacobi-Haantjes framework refines this by attaching a compatible Haantjes algebra to the Jacobi data. Restricting a Jacobi-Haantjes structure to a characteristic leaf yields either a contact-Haantjes manifold in odd dimension or an LCSH manifold in even dimension [2507.11715].

This placement has two important consequences. First, LCSH manifolds are not ad hoc extensions of symplectic-Haantjes manifolds; they arise naturally as reductions of the general Jacobi-Haantjes structure. Second, their dynamics inherits the Jacobi interpretation of dissipation: the Hamiltonian is generically not conserved, in contrast with the Poisson or symplectic case [2507.11715].

The relation with symplectic-Haantjes geometry is exact when the Lee form vanishes. If \(\eta=0\), then \(d\Omega=0\), so \((M,\Omega)\) is symplectic, and the LCSH compatibility condition becomes the defining compatibility for a symplectic-Haantjes, or \(\omega\mathscr{H}\), manifold:
\[
\omega(KX,Y)=\omega(X,KY).
\]
Hence
\[
\text{LCSH with }\eta=0 \;\Longleftrightarrow\; \omega\mathscr{H}\text{ manifold}
\]
[2507.11715]. The symplectic-Haantjes framework itself was developed as a tensorial setting for Liouville-Arnold integrability, with Abelian Haantjes algebras and Darboux-Haantjes coordinates as central ingredients [1405.5118].

A further link is provided by Poissonization. The Jacobi-Haantjes construction on \(M\) induces an invertible Poisson-Haantjes structure, hence an \(\omega\mathscr{H}\) manifold, on \(M\times\mathbb{R}\). In particular, for an even-dimensional Jacobi-Haantjes manifold with invertible \(\Lambda\), one recovers a symplectic-Haantjes manifold on the Poissonized space [2507.11715]. This shows that LCSH geometry is simultaneously a reduction of Jacobi-Haantjes geometry and a conformal generalization of symplectic-Haantjes geometry.

Local normal-form theory for LCS manifolds strengthens this picture. The Darboux-Weinstein theorem in the LCS setting states that, locally, LCS forms are conformally equivalent to symplectic Darboux forms, and near compact submanifolds one obtains conformal equivalence up to a smooth factor provided the Lee forms agree along the submanifold [1511.00227]. This local conformal equivalence suggests that many constructions familiar in \(\omega\mathscr{H}\) geometry should admit LCSH analogues after replacing exact symplectic normal forms by conformal ones.

## 4. Haantjes chains, particular involution, and partial integrability

The principal integrability mechanism in LCSH geometry is the Haantjes chain. Given a Haantjes algebra \((M,\mathscr{H})\) with distinguished basis \(\{K_1,\dots,K_m\}\), a function \(H\) generates a Haantjes chain of closed \(1\)-forms when
\[
d(K_\alpha^T dH)=0,\qquad \alpha=1,\dots,m,
\]
equivalently, when there exist potentials \(H_\alpha\) such that
\[
dH_\alpha=K_\alpha^T dH.
\tag{HC}
\]
In symplectic-Haantjes geometry, such chains encode commuting first integrals and, in the maximal-rank Abelian case, underlie the Liouville-Haantjes theorem [1405.5118].

In Jacobi-Haantjes geometry the involutivity relation is modified by the Reeb-like field \(E\). For an Abelian Jacobi-Haantjes manifold, if \(H_\alpha\) are the potentials of a Haantjes chain generated by \(H\), then
\[
\{H_\alpha,H_\beta\}=H_\alpha E(H_\beta)-H_\beta E(H_\alpha).
\tag{JH-chain}
\]
When \(E=0\), this reduces to ordinary involution; in the general Jacobi case, the functions are in particular involution rather than in Poisson involution [2507.11715].

The LCSH specialization introduces an additional compatibility with the Lee field. Let \(E=\sharp\eta\) be the vector field determined by the Lee form. If \(H\) generates a Haantjes chain with potentials \(H_i\), the LCS Hamiltonian dynamics yields
\[
\dot H_i=X_HH_i=H\,\eta(K_iX_H).
\]
Using the Jacobi-Haantjes relation, this becomes
\[
\eta(K_iX_H)=\eta(X_{H_i}),
\]
which is equivalent to
\[
\eta(K_iE)=0.
\tag{KE}
\]
Under this hypothesis, Theorem 6.1 of [2507.11715] states that for an LCSH manifold,
\[
\{H_i,H_j\}=H_j\,\eta(X_{H_i})-H_i\,\eta(X_{H_j})
\]
or, equivalently,
\[
\{H_i,H_j\}=H_iE(H_j)-H_jE(H_i).
\tag{LCSH-chain}
\]
Thus the potentials of the chain are in particular involution in the Jacobi sense, now with an explicit geometric condition involving the Lee vector field.

The integrability content of \((\text{LCSH-chain})\) is not Liouville integrability in the conservative sense. Rather, the functions \(H_i\) define families of particular integrals whose common zero sets are invariant submanifolds, and the restricted dynamics on those submanifolds has reduced degrees of freedom [2507.11715]. This is the even-dimensional dissipative counterpart of the partial-separability phenomena studied in symplectic-Haantjes geometry, where non-semisimple or non-maximal-rank structures yield block-separated Hamilton-Jacobi equations in Darboux-Haantjes coordinates [2305.06844].

A common misconception is that the presence of an LCS form merely perturbs conservative Haantjes theory by a conformal factor. The LCSH theorem shows otherwise: the Lee field enters the involution relations explicitly, and the relevant notion is particular involution adapted to dissipative Jacobi dynamics, not ordinary Poisson commutativity [2507.11715].

## 5. Local models, coordinates, and construction patterns

LCSH manifolds inherit their local structure from LCS geometry. Since an LCS form is locally conformal to a symplectic form, one may locally write
\[
\Omega=e^l\omega,\qquad \eta=dl,
\]
with \(d\omega=0\) [2507.11715]. The Darboux-Weinstein theorem for LCS manifolds further implies that locally an LCS form can be represented as
\[
\omega=e^f\sum_i dx^i\wedge dy^i,
\]
with \(\theta=df\) in a suitable chart [1511.00227]. This local conformal Darboux picture is the natural environment for importing symplectic-Haantjes constructions into the LCS setting.

The construction template identified for LCSH manifolds is explicit, although the foundational paper does not supply a fully worked coordinate example. One begins with an LCS manifold \((M,\Omega,\eta)\), for instance with local expression
\[
\Omega=e^l\,dq^i\wedge dp_i,\qquad \eta=dl.
\]
One then chooses Haantjes operators \(K\) on \(TM\) such that \(\mathcal{H}_K=0\), \(\Omega(KX,Y)=\Omega(X,KY)\), and, if one wishes to apply the LCSH chain theorem, \(\eta(KE)=0\). In local Darboux-type coordinates \((q^i,p_i)\), one may mimic the standard \(\omega\mathscr{H}\) construction by taking diagonal operators
\[
K\partial_{q^i}=\lambda_i(q,p)\partial_{q^i},\qquad
K\partial_{p_i}=\lambda_i(q,p)\partial_{p_i},
\]
which are Haantjes and compatible with \(\Omega\) [2507.11715]. The fact that diagonal operators are Haantjes is standard in the symplectic-Haantjes literature [1405.5118].

Given such operators, a Hamiltonian \(H\) is tested for the existence of a Haantjes chain
\[
dH_i=K_i^T dH,
\]
and the additional condition \(\eta(K_iE)=0\) then guarantees the Jacobi-type involution relation \((\text{LCSH-chain})\) [2507.11715]. The invariant submanifolds determined by these particular integrals are the natural candidates for reduced conservative dynamics.

The absence of explicit LCSH examples in the founding paper is itself a significant datum. Unlike the contact-Haantjes and \(\omega\mathscr{H}\) cases, Section 6 of [2507.11715] does not provide a fully worked LCSH manifold with explicit coordinates, forms, and operators. This indicates that the theory is currently structural rather than example-driven. A plausible implication is that the first phase of the subject is devoted to establishing the Jacobi-Haantjes framework and the LCS reduction, while systematic model-building remains open.

## 6. Research context, flexibility, and prospective developments

The emergence of LCSH manifolds combines three strands of research. The first is classical LCS and Jacobi geometry, in which even-dimensional transitive Jacobi leaves are locally conformal symplectic and the Lee class controls the conformal obstruction [1301.5173]. The second is symplectic-Haantjes geometry, where Abelian Haantjes algebras, Darboux-Haantjes coordinates, and Haantjes chains give a coordinate-free formulation of conservative integrability and separability [1405.5118; 2012.09819]. The third is the extension of Haantjes methods to partial separability, non-semisimple structures, and non-maximal-rank algebras [2305.06844].

On open manifolds, the supply of LCS or leafwise LCS backgrounds is large. An \(h\)-principle holds for locally conformal symplectic foliations and for regular Jacobi structures on open manifolds, so formal data can often be homotoped to genuine leafwise LCS or Jacobi structures with prescribed Lee class [1301.5173]. This suggests that, on open manifolds, the principal rigidity of an LCSH structure should come from the Haantjes side—vanishing Haantjes torsion, algebra closure, and compatibility with the LCS and Lee data—rather than from the existence of the underlying LCS background.

The Hamilton-Jacobi direction is especially prominent. The LCS Hamiltonian formalism admits a time-dependent Hamilton-Jacobi theory based on the twisted differential \(d_\theta=d-\theta\wedge\cdot\), LCS cotangent models, and Lagrangian sections satisfying \(d_\vartheta\gamma=0\) [2104.02636]. The Jacobi-Haantjes paper identifies the LCSH case as particularly promising for a future Hamilton-Jacobi theory in the generalized Haantjes framework [2507.11715]. This suggests an eventual synthesis between LCS Hamilton-Jacobi equations and Haantjes-based separability, although that synthesis is not yet developed in the available articles.

The present conceptual status of LCSH manifolds can therefore be summarized in three points. First, they are rigorously defined as reductions of Jacobi-Haantjes manifolds and as conformal generalizations of \(\omega\mathscr{H}\) manifolds [2507.11715]. Second, their core integrability statement is the production of families of functions in particular involution under the Lee-field constraint \(\eta(KE)=0\), furnishing the algebraic basis for partial integrability of dissipative Hamiltonian systems [2507.11715]. Third, many local symplectic techniques remain available after conformal localization, but explicit examples, global classification, and a full Hamilton-Jacobi-separation theory for LCSH manifolds remain undeveloped.

Source: https://www.emergentmind.com/topics/locally-conformal-symplectic-haantjes-manifolds