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
    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
    0 references
    Legendrian submanifold
    0 references
    Chekanov-Eliashberg algebra
    0 references
    augmentation
    0 references
    exact Lagrangian filling
    0 references

    Identifiers