Legendrian and Lagrangian higher torsion

TL;DR

This paper introduces Legendrian higher torsion invariants in contact geometry, relating them to fiber bundle classes and Lagrangian submanifolds, with implications for the nearby Lagrangian conjecture.

Contribution

It defines Legendrian higher torsion and tube torsion invariants, linking them to fiber bundle classes, and explores their properties and implications for Lagrangian submanifolds.

Findings

Tube torsion of a Lagrangian is well-defined under certain conditions.

Existence of Legendrians with nontrivial tube torsion despite homotopy to a diffeomorphism.

Identification of a Hamiltonian isotopy invariant called nearby Lagrangian torsion.

Abstract

Let $M$ be a closed manifold. We introduce a family of Legendrian isotopy invariants for Legendrians in $J^1M$, which we collectively call Legendrian higher torsion. Given a choice of a class $\mathcal{F}$ of fibre bundles over $M$, equipped with suitable unitary local systems, the Legendrian higher torsion of a Legendrian $\Lambda \subset J^1M$ is the subset of $H^*(M;\mathbf{R})$ consisting of higher Reidemeister torsion cohomology classes of fibre bundles $W$ over $M$ in the class $\mathcal{F}$ such that $\Lambda$ admits a generating function on a stabilization of $W$. For the class of tube bundles in the sense of Waldhausen we call the invariant tube torsion. In particular, we show that the tube torsion of a nearby Lagrangian $L \subset T^*M$ is well-defined when the stable Gauss map $L \to U/O$ is trivial and consists of a union of cosets of a normalized version of the Pontryagin character. We also identify a distinguished coset, invariant under Hamiltonian isotopy of $L$, which we call nearby Lagrangian torsion. We do not know whether nearby Lagrangians must have trivial tube torsion, as would follow from the nearby Lagrangian conjecture. However, we show that there exist Legendrians $\Lambda \subset J^1M$ with nontrivial tube torsion whose projection $\Lambda \to M$ is homotopic to a diffeomorphism.