Table of Contents
Fetching ...

Homological invariants of codimension 2 contact submanifolds

Laurent Côté, François-Simon Fauteux-Chapleau

Abstract

Codimension 2 contact submanifolds are the natural generalization of transverse knots to contact manifolds of arbitrary dimension. In this paper, we construct new invariants of codimension 2 contact submanifolds. Our main invariant can be viewed as a deformation of the contact homology algebra of the ambient manifold. We describe various applications of these invariants to contact topology. In particular, we exhibit examples of codimension 2 contact embeddings into overtwisted and tight contact manifolds which are formally isotopic but fail to be isotopic through contact embeddings. We also give new obstructions to certain relative symplectic and Lagrangian cobordisms.

Homological invariants of codimension 2 contact submanifolds

Abstract

Codimension 2 contact submanifolds are the natural generalization of transverse knots to contact manifolds of arbitrary dimension. In this paper, we construct new invariants of codimension 2 contact submanifolds. Our main invariant can be viewed as a deformation of the contact homology algebra of the ambient manifold. We describe various applications of these invariants to contact topology. In particular, we exhibit examples of codimension 2 contact embeddings into overtwisted and tight contact manifolds which are formally isotopic but fail to be isotopic through contact embeddings. We also give new obstructions to certain relative symplectic and Lagrangian cobordisms.

Paper Structure

This paper contains 56 sections, 96 theorems, 289 equations.

Key Result

Theorem 1.7

Let $i, j$ and $(Y, \xi)$ be constructed according to construction:ot-infinite-topology, where $(Y, \xi)$ is an overtwisted contact manifold and $i$ and $j$ are (formally isotopic) contact embeddings. Then $i$ and $j$ are not isotopic through contact embeddings. In fact, $i$ is not isotopic to any r

Theorems & Definitions (306)

  • Remark 1.1
  • Remark 1.2
  • Remark 1.3
  • Definition 1.4
  • Example 1.5: cf. \ref{['definition:girouxform']} and girouxicm
  • Example 1.6: see \ref{['definition:contact-pushoff']} and Def. 3.1 in casals-etnyre
  • Theorem 1.7: see \ref{['theorem:distinguish-infinite-ot']}
  • Theorem 1.9
  • Theorem 1.10
  • Remark 1.11
  • ...and 296 more