Jacobi manifolds

A Jacobi manifold is the most general geometric framework for Hamiltonian mechanics, encompassing symplectic manifold, Poisson manifold, and contact manifold as special cases.

While symplectic and Poisson geometries rely on the Leibniz rule (acting as derivations), Jacobi geometry relaxes this condition, allowing it to model systems with dissipation and intrinsic time-dependence.

Definition

A Jacobi manifold is a triple $(M, Λ, R)$ , where $M$ is a smooth manifold, $Λ$ is a bivector field and $R$ is a vector field on $M$ , satisfying

[Λ, R]_{S N} = 0, [Λ, Λ]_{S N} = 2 R \land Λ,

where $[\cdot, \cdot]_{S N}$ denotes the Schouten--Nijenhuis bracket. The associated Jacobi bracket on $C^{\infty} (M)$ is defined by

{f, g}_{J} = Λ (d f, d g) + f R (g) - g R (f) .

Given a function $f \in C^{\infty} (M)$ , the corresponding Hamiltonian vector field is

X_{f} = Λ^{♯} (d f) + f R,

and the correspondence satisfies

[X_{f}, X_{g}] = X_{{f, g}} .

$R$ is usually called the Reeb vector field.

Motivation: Why do we need this?

1. Mathematical Necessity ("Completing the Square")

Historically, the geometric picture was incomplete (Kirillov, Lichnerowicz, 1970s).

Symplectic: Non-degenerate, Even-dimensional.
Contact: Non-degenerate, Odd-dimensional.
Poisson: Degenerate, Even/Odd, but satisfies Leibniz.
Jacobi: The "umbrella" structure. It allows for odd-dimensional phase spaces with singularities (degeneracy) and drops the Leibniz rule.

2. Physical Necessity: Thermodynamics

Symplectic geometry enforces conservation ( ${H, H} = 0$ ). Jacobi geometry allows for Dissipation.
The Reeb vector field $R$ in the bracket acts as a scaling or damping term. This makes Jacobi manifolds the natural setting for Thermodynamics, where phase space volume contracts (friction) or variables scale nontrivially. (I have to understand this yet)

graph TD
    %% Nodes
    Jacobi["Jacobi 
 (M, Λ, E)"]
    E0["E = 0"]
    En0["E ≠ 0"]
    Poisson["Poisson 
 (M, Λ)"]
    Symplectic["Symplectic 
 (M, ω)"]
    LCS["LCS 
 (M, Ω, θ)"]
    Cosymplectic["Cosymplectic 
 (M, η, ω)"]
    Contact["Contact 
 (M, η)"]

    %% Relationships
    Jacobi --> E0
    Jacobi --> En0
    
    E0 --> Poisson
    Poisson --> Symplectic
    
    En0 --> LCS
    En0 --> Cosymplectic
    En0 --> Contact

    %% Styling for clarity
    style Jacobi fill:#f9f,stroke:#333,stroke-width:2px