Augmented Legendrian cobordism in \(J^1S^1\) (Q6149229)

Associated to a Legendrian submanifold in a contact manifold is the Legendrian contact homology dg-algebra \(\mathcal A\) with coefficients in \(\mathbb F\). An augmentation is a dg-algebra map \(\varepsilon \colon (\mathcal A,\partial) \to (\mathbb F,0)\), and it is \(\rho\)-graded if \(\varepsilon(x) \neq 0\) implies \(|x| = 0 \pmod \rho\). An augmented Legendrian is a pair of a Legendrian submanifold and a \(\rho\)-graded augmentation. If \(\Lambda_0,\Lambda_1 \subset J^1M\) are two compact Legendrian submanifolds, a Legendrian cobordism is a compact Legendrian submanifold \(\Sigma \subset J^1(M \times [0,1])\) such that \(\Sigma|_{M \times \left\{i\right\}} = \Lambda_i\) for \(i=0,1\). The paper under review gives a classification of Legendrian links in \(J^1 S^1\) up to Legendrian cobordism. More precisely, if \(\operatorname{char} \mathbb F = 2\) and \(\rho \neq 1\) or \(\operatorname{char} \mathbb F \neq 2\) and \(\rho\) is even, then two \(\rho\)-graded augmented Legendrians are Legendrian cobordant if and only if \begin{itemize} \item they have the same spin invariant (if \(\operatorname{char} \mathbb F \neq 2\)), \item their fiber cohomologies have the same graded dimension, \(\mathbf n \colon \mathbb Z/\rho \to \mathbb Z_{\geq 0}\), \item their monodromy matrices are conjugate in \(\operatorname{GL}(\mathbf n, \mathbb F)\). \end{itemize} The proof uses a correspondence between augmentations and Morse complex families, a combinatorial analogue of generating families. It is established as a consequence of a Legendrian cobordism classification of augmented Legendrian tangles in \(J^1[0,1]\). One application that is discussed is construction of augmented Legendrian surfaces with arbitrary monodromy representations.