Homological invariants of codimension 2 contact submanifolds

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.