Nonexistence of exact Lagrangian tori in affine conic bundles over \(\mathbb{C}^n\) (Q6042868)
From MaRDI portal
scientific article; zbMATH DE number 7681987
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonexistence of exact Lagrangian tori in affine conic bundles over \(\mathbb{C}^n\) |
scientific article; zbMATH DE number 7681987 |
Statements
Nonexistence of exact Lagrangian tori in affine conic bundles over \(\mathbb{C}^n\) (English)
0 references
4 May 2023
0 references
This paper concerns the non-existence of \(K(\pi, 1)\) exact Lagrangians inside Liouville manifolds. The author investigates this problem by considering algebraic obstructions to the existence of such Lagrangians -- in this case dilations and quasi-dilations. A dilation \(b\in SH^1(M)\) is an element in the symplectic cohomology whose image under the BV operator is \(1\in SH^0(M)\), while a quasi-dilation is a further generalization. The starting point is the following observation by \textit{A. F. Ritter} [Geom. Funct. Anal. 20, No. 3, 779--816 (2010; Zbl 1228.53092)]: If \(M\) admits a dilation then \(M\) does not have closed \(K(\pi, 1)\) exact Lagrangians. The author takes one step further and notices the following: If \(M\) admits a quasi-dilation and \(SH^0(M)\) is finite-dimensional, then \(M\) does not have closed, oriented \(K(\pi,1)\) exact Lagrangians. Now consider for \(M\) certain Milnor fibers, which indeed admit quasi-dilations. The main result of this paper is that such an \(M\) does not admit closed, oriented \(K(\pi,1)\) exact Lagrangians. To prove this, the author shows that such \(M\) has finite-dimensional \(SH^0(M)\) in three steps: (1) The wrapped Fukaya category \(\mathcal{W}(M)\) is calculated using a Koszul duality argument; (2) \(\mathcal{W}(M)\) is identified with a certain matrix factorization category \(\textbf{MF}\); (3) As \(M\) is Weinstein, and the closed-open map \(\mathcal{CO}:SH^*(M)\rightarrow HH^*(\mathcal{W}(M))\) is an isomorphism, an explicit calculation of the Hochschild cohomology \(HH^0(\textbf{MF})\) reveals the desired finite-dimensionality result.
0 references
Hochschild cohomology
0 references
Lagrangian submanifolds
0 references
Liouville manifolds
0 references
wrapped Fukaya categories
0 references