Taylor J. Klotz,George R. Wilkens
Abstract:We investigate the local geometry of a pair of independent contact structures on 3-manifolds under maps that independently preserve each contact structure. We discover that such maps are homotheties on the contact 1-forms and we discover differential invariants associated to such structures under these equivalences. This allows us to generalize the notion of contact circles and (equilateral) hyperbolas to contact ellipses and hyperbolas. Moreover, these invariants may sometimes be used to define a complete local normal form and in at least one case are related to symplectic structures through a natural $e$-structure on a bundle arising from the Cartan equivalence method. Finally, there is a type of natural Riemannian metric (but not necessarily the well-known associated contact metric) and we discover certain curvatures may be written in terms of the bi-contact differential invariants.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to study the local geometric properties of two independent bi - contact structures on three - dimensional manifolds, especially under maps that keep each contact structure invariant simultaneously. Specifically, the authors explore the following problems:
1. **Equivalence problem of bi - contact structures**: Study under which conditions two contact structures can be locally transformed into each other through specific transformations (i.e., bicontactomorphisms). These transformations not only keep the form of each contact structure invariant but also reveal the intrinsic relationships between these structures.
2. **Discover new differential invariants**: The authors discovered new differential invariants that appear under these equivalent transformations and showed how these invariants can be used to define complete local normal forms. In particular, they introduced the concepts of "contact ellipses" and "contact hyperbolas", which are generalizations of the existing contact circles and equilateral hyperbolas.
3. **Relationship with symplectic structures**: The authors also explored the connections between these bi - contact structures and symplectic structures, especially symplectic couples/pairs on 4 - dimensional manifolds. This provides a new perspective for understanding geometric structures in higher dimensions.
4. **Curvature calculation and natural Riemannian metric**: By studying the structure equations, the authors found that the mean curvature of certain sub - manifolds can be expressed in terms of the differential invariants of the bi - contact structure. In addition, they also discovered a natural Riemannian metric and studied its related curvature properties.
5. **Study of special cases**: In particular, the authors studied in detail the case when the invariant function \(C\) is a constant and discussed the simplification of the structure equations in this case and its geometric significance.
### Formula summary
- **Definitions of contact ellipses and hyperbolas**:
- Contact ellipse: For all \(a=(a_1, a_2)\) belonging to an ellipse \(E_{S^1}\) in \(\mathbb{R}^2\), if
\[
\omega_a = a_1\omega_1 + a_2\omega_2
\]
is a contact form, then this bi - contact structure is called a contact ellipse.
- Contact hyperbola: For all \(a=(a_1, a_2)\) belonging to a hyperbola \(H^r_1\) in \(\mathbb{R}^2\), where \(r = \pm1\) determines the branch of the hyperbola, if
\[
\omega_a = a_1\omega_1 + a_2\omega_2
\]
is a contact form, then this bi - contact structure is called a contact hyperbola.
- **Invariant function \(C\)**:
- \(C\) is an invariant function on the manifold \(M\), and it is a local obstacle for the bi - contact structure to become a compact contact circle or a compact equilateral hyperbola.
- For different values of \(C\), the bi - contact structure can be divided into elliptic, hyperbolic or linear types.
- **Key formulas**:
- Key formula in the structure equation:
\[
\omega_a\wedge d\omega_a=(a_1^2-\epsilon a_2^2 + 2Ca_1a_2)\Omega,
\]
where \(\Omega=\omega_1\wedge\omega_2\wedge\omega_3\).
Through these studies, the authors not only deepened the understanding of bi - contact structures but also provided new tools and methods for future research.