Pairs of differential forms: a framework for precontact geometry

This paper establishes a geometric framework for precontact manifolds by analyzing general pairs of 1-forms and 2-forms under mild regularity conditions, characterizing their properties, defining associated vector fields and Hamiltonian dynamics, and illustrating the theory with various examples.

The Gist

Imagine you are trying to describe the shape and flow of a complex, multi-dimensional space. In mathematics, specifically in a field called geometry, we use tools called differential forms to do this. Think of these forms as "rules" or "instructions" that tell us how to measure things like area, volume, or direction within that space.

This paper, written by Xavier Gràcia, Ángel Martínez-Muñoz, and Xavier Rivas, introduces a new way of looking at these rules by pairing them up. Instead of looking at a single rule, they look at a team of two: a "1-form" (let's call it a Direction Guide) and a "2-form" (let's call it an Area Map).

Here is a breakdown of their ideas using simple analogies:

1. The Team-Up: The Direction Guide and the Area Map

Usually, mathematicians study "Contact Geometry," which is like a very rigid, perfectly organized dance floor. In this dance, every dancer (point in space) has a specific direction they must face, and the floor is so twisted that you can never slide smoothly in a straight line without turning. This is a very strict, "perfect" system.

However, real-world systems (like machines with broken gears or fluids with friction) aren't always perfect. They are "singular" or "degenerate." The authors ask: What happens if we relax the rules?

They propose studying a pair of forms:

• The Direction Guide ($\tau$): Tells you which way is "up" or "forward."
• The Area Map ($\omega$): Tells you how areas twist and turn.

By studying these two together, they can describe both the perfect dance floors (Contact) and the messy, broken ones (Precontact).

2. The "Class": How Many Rules Do You Need?

The paper introduces a concept called the "Class" of the pair. Imagine you are trying to describe a room.

• If the room is simple, you might only need 3 coordinates (length, width, height) to describe it.
• If the room is complex, you might need 10.

The "Class" is a number that tells you the minimum number of coordinates needed to describe the geometry at a specific spot.

• Odd Class: The geometry behaves like a "Contact" system. It's like a system with a unique "leader" (called a Reeb vector field) who tells everyone exactly what to do.
• Even Class: The geometry behaves differently. It doesn't have that single leader. Instead, it has a "Liouville vector field," which is more like a "scaling factor" or a "magnifying glass" that stretches the space.

The authors show that you can tell which type of system you have just by looking at whether this "Class" number is odd or even.

3. The "Leaders" and the "Magnifiers"

The paper focuses on two special types of "vectors" (arrows pointing in a direction) that appear in these systems:

• The Reeb Vector (The Leader): This exists only when the system is "Odd." It's like a conductor in an orchestra. If you have a conductor, the music (the geometry) is very structured. The paper proves that if you have an odd class, you must have this conductor.
• The Liouville Vector (The Magnifier): This exists only when the system is "Even." It's like a zoom lens. It doesn't conduct; it scales things up or down. If you have an even class, you have this zoom lens instead of a conductor.

Crucial Finding: You cannot have both at the same time. A system is either led by a conductor (Odd) or controlled by a zoom lens (Even), but never both.

4. Changing the Rules (Conformal Changes)

One of the most interesting parts of the paper is what happens when you change the "Direction Guide" by multiplying it by a number (a function).

• Imagine you have a map. If you multiply the map by a number, the directions stay the same, but the scale changes.
• The authors discovered that if you change the "Direction Guide" just right, you can flip the parity of the system.
  • You can turn a system with a "Leader" (Odd) into one with a "Magnifier" (Even).
  • Or, you can turn a "Magnifier" system into a "Leader" system.

They provide a mathematical recipe (a specific equation) to figure out exactly how to change the rules to make this flip happen. It's like finding the right key to unlock a door and switch the room from a concert hall to a gym.

5. Why This Matters (The "Precontact" Idea)

The paper uses this framework to define "Precontact" geometry.

• Contact Geometry is the "perfect" version (like a pristine crystal).
• Precontact Geometry is the "imperfect" version (like a crystal with a crack).

In the past, mathematicians tried to study these cracked crystals but got stuck because they assumed there was always a "conductor" (Reeb vector). The authors show that in many real-world cases (like singular mechanical systems), there is no conductor. By using their "Pair" framework, they can describe these messy systems accurately without needing a conductor to exist.

Summary

Think of this paper as a new instruction manual for describing shapes.

• Old manuals only worked for perfect, rigid shapes.
• This new manual works for both perfect shapes and broken, messy ones.
• It does this by pairing a "direction" with an "area."
• It tells you that if the shape is "Odd," it has a leader; if it's "Even," it has a zoom lens.
• It even shows you how to swap between these two states by changing the rules slightly.

This framework allows scientists to model complex, real-world physical systems (like machines with friction or fluids) that were previously too "messy" to fit into standard geometric theories.

Technical Summary

Technical Summary: Pairs of differential forms: a framework for precontact geometry

Problem Statement
The paper addresses the need for a rigorous geometric framework to study singular Lagrangian systems within the context of contact mechanics. While contact geometry effectively models dissipative systems, standard formulations often rely on the existence and uniqueness of a Reeb vector field. Previous attempts to define "precontact" structures (generalizations of contact structures where the non-integrability condition is weakened) were limited because they assumed the existence of a Reeb vector field, an assumption not always satisfied in singular cases. Furthermore, existing definitions of precontact forms did not always guarantee the constancy of the rank of the exterior derivative, leading to potential degeneracies. The authors aim to clarify the geometric foundations of precontact structures by analyzing them as a special case of a more general object: a pair of a 1-form and a 2-form.

Methodology
The authors adopt a general approach by studying "doublets," defined as pairs $(\tau, \omega)$ consisting of a differential 1-form $\tau$ and a 2-form $\omega$ on a smooth manifold $M$. They impose mild regularity conditions, specifically requiring the pair to have a constant "class."

The methodology proceeds through the following steps:

1. Generalization of Class: The concept of the "class" of a differential form is extended to pairs $(\tau, \omega)$. The class is defined as the codimension of the characteristic distribution $K_{(\tau, \omega)} = \text{Ker}\,\tau \cap \text{Ker}\,\omega$.
2. Algebraic Characterization: The authors characterize these pairs through algebraic conditions involving the exterior powers of $\omega$ and the wedge product $\tau \wedge \omega^r$. They establish the relationship between the parity of the class (odd or even) and the existence of specific vector fields.
3. Geometric Objects: They introduce and analyze associated geometric structures, including a characteristic tensor field $B = \tau \otimes \tau + \omega$, the extended characteristic distribution, and an extended 3-form $\tau \wedge \omega$.
4. Application to Precontact Forms: The specific case of precontact manifolds is treated as the pair $(\eta, d\eta)$, where $\eta$ is a nowhere-vanishing 1-form. The general results are applied to characterize precontact forms of both odd and even classes.
5. Conformal Analysis: The paper investigates how conformal transformations (rescaling by a function $e^f$) affect the parity of the class, deriving necessary and sufficient conditions for a function to change the class from even to odd or preserve odd parity.

Key Contributions and Results

• Classification via Class Parity: The paper establishes that the parity of the class of a doublet $(\tau, \omega)$ determines the existence of distinguished vector fields:

  • Odd Class ($2r+1$): Equivalent to the existence of a Reeb vector field $R$ (satisfying $\iota_R \tau = 1, \iota_R \omega = 0$). In this case, the characteristic distribution is contained in the kernel of $\omega$ but not vice versa.
  • Even Class ($2r+2$): Equivalent to the existence of a Liouville vector field $\Delta$ (satisfying $\iota_\Delta \omega = \tau$). Here, $\text{Ker}\,\omega \subset \text{Ker}\,\tau$.
  • Crucially, Reeb and Liouville vector fields cannot coexist for the same pair.

• Algebraic Characterizations: The authors provide explicit algebraic criteria for the class:

  • Class $2r+1$: $\omega^{r+1} = 0$ and $\tau \wedge \omega^r \neq 0$.
  • Class $2r+2$: $\omega^{r+1} = 0$, $\omega^r \neq 0$, and $\tau \wedge \omega^r = 0$.
    These conditions allow for the determination of the class without explicitly constructing the vector fields.

• Geometric Structures:

  • Characteristic Tensor: The tensor $B = \tau \otimes \tau + \omega$ defines a bundle morphism. For odd class, $B$ is an isomorphism if and only if the characteristic distribution is zero (contact case). For even class, the kernel of $B$ relates to the Liouville field.
  • Extended Characteristic Distribution: Defined as vectors $v \in \text{Ker}\,\tau$ such that $\iota_v \omega = a\tau$. The paper shows this distribution coincides with the characteristic distribution for odd classes but is strictly larger (spanned by the characteristic distribution and a Liouville field) for even classes.
  • Extended 3-form: The form $\tau \wedge \omega$ is shown to be almost-multisymplectic if and only if the class equals the dimension of the manifold (and is odd).

• Precontact Forms: A precontact form is defined as a nowhere-vanishing 1-form $\eta$ such that the pair $(\eta, d\eta)$ has constant class.

  • The paper provides Darboux theorems for both odd and even classes, giving local coordinate expressions for $\eta$.
  • It proves that for precontact manifolds, the characteristic distribution, the kernel of $d\eta$, and the extended characteristic distribution are all involutive.

• Hamiltonian Dynamics: The authors define Hamiltonian dynamics on precontact manifolds using formulations that do not rely on the Reeb vector field. A precontact Hamiltonian vector field $X$ for a function $H$ is defined by:
  $$(\iota_X d\eta) \wedge \eta = dH \wedge \eta \quad \text{and} \quad \iota_X \eta = -H$$
  This formulation is valid regardless of whether the class is odd or even, addressing the limitation of previous works that required a unique Reeb field.

• Conformal Changes of Parity: The paper investigates when a conformal change $\eta \to e^f \eta$ alters the parity of the class.

  • Even to Odd: A function $f$ changes the class from $2r+2$ to $2r+1$ if and only if the Lie derivative of $f$ along every Liouville vector field satisfies $\mathcal{L}_\Delta f = -1$.
  • Odd Preservation: A function preserves the odd class $2r+1$ if and only if $\mathcal{L}_\Gamma f = 0$ for all $\Gamma$ in the characteristic distribution.
  • The authors provide sufficient conditions (involving integrability of distributions) for the local existence of such functions.

Significance and Scope
The paper claims to provide a unified framework that extends contact geometry to include singular cases where the standard non-integrability condition fails or where the Reeb vector field is not unique or does not exist. By treating precontact structures as a specific instance of pairs of differential forms, the authors recover known results for contact, cosymplectic, symplectic, and presymplectic geometries while offering new insights into the even-class case.

The primary significance lies in:

1. Generalization: Moving beyond the restriction to odd-class precontact forms, thereby accommodating a broader range of singular Lagrangian systems.
2. Reeb-Independent Formulation: Providing a definition of Hamiltonian dynamics on precontact manifolds that does not depend on the existence or uniqueness of a Reeb vector field, which is crucial for singular systems.
3. Structural Clarity: Clarifying the geometric role of the class of a form and its parity in determining the existence of Reeb versus Liouville fields.

The authors state that this framework is intended to be applied to the study of singular Lagrangians (both action-dependent and non-autonomous) and to analyze situations where the class is not constant, though these specific applications are noted as future work rather than results presented in the current text.