On non-geometric augmentations in high dimensions (Q6077281)
From MaRDI portal
scientific article; zbMATH DE number 7751597
Language | Label | Description | Also known as |
---|---|---|---|
English | On non-geometric augmentations in high dimensions |
scientific article; zbMATH DE number 7751597 |
Statements
On non-geometric augmentations in high dimensions (English)
0 references
17 October 2023
0 references
The homology of the Chekanov-Eliashberg algebra of a Legendrian submanifold of a contact manifold is a powerful Legendrian isotopy invariant. An exact Lagrangian filling of a Legendrian submanifold \(\Lambda \subset \mathbb R^{2n+1}\) is an exact Lagrangian submanifold of \(\mathbb R_t \times \mathbb R^{2n+1}\) that coincides with \(\mathbb R \times \Lambda\) near \(t = \infty\). It was proven by \textit{T. Ekholm} et al. [J. Eur. Math. Soc. (JEMS) 18, No. 11, 2627--2689 (2016; Zbl 1357.57044)] that an exact Lagrangian filling induces an augmentation of the Chekanov-Eliashberg algebra. The main result of the paper under review is a construction of augmentations of the Chekanov-Eliashberg algebra of spherical spun Legendrian submanifolds in \(\mathbb R^{2n+1}\), which are not induced by an exact Lagrangian filling. It is also proven that if a spin Legendrian submanifold \(\Lambda\) has no negatively graded Reeb chords, then its augmentation variety is isomorphic to the augmentation variety of the \(m\)-spherical spin of \(\Lambda\) for \(m \geq 2\), and else they differ by a factor in \(\mathbb F^\ast\), where \(\mathbb F\) is the ground field. The proof uses the Seidel isomorphism and a result by \textit{H. Gao} and \textit{D. Rutherford} [Int. Math. Res. Not. 2023, No. 2, 1255--1291 (2023; Zbl 1509.57005)] that says that if \(L\) is an exact Lagrangian filling of \(\Lambda\), then there is an injective algebraic map \[ (\mathbb F^\ast)^k \oplus C_{k_1}(\mathbb F) \oplus \cdots \oplus C_{k_r}(\mathbb F) \longrightarrow \mathrm{Aug}(\Lambda;\mathbb F), \] where \(C_{k_i}(\mathbb F) = \left\{x \in \mathbb F \mid x^{k_i}=1\right\}\) is the group of \(k_i\)-th roots of unity in \(\mathbb F\), and \(k,k_1,\ldots,k_r\) are such that \(H_1(L;\mathbb Z) = \mathbb Z^k \oplus \mathbb Z/k_1 \oplus \cdots \oplus \mathbb Z/k_r\).
0 references
Legendrian submanifold
0 references
Chekanov-Eliashberg algebra
0 references
augmentation
0 references
exact Lagrangian filling
0 references
0 references
0 references
0 references