Prime-localized Weinstein subdomains (Q6039940): Difference between revisions

The starting points of this paper are two known constructions of new Weinstein domains from old ones: (i) ``homologous recombination'' by \textit{M. Abouzaid} and \textit{P. Seidel} [Geom. Topol. 14, No. 2, 627--718 (2010; Zbl 1195.53106)]; (ii) ``flexibilization'' by \textit{Y. Eliashberg} and \textit{E. Murphy} [Geom. Funct. Anal. 23, No. 5, 1483--1514 (2013; Zbl 1308.53121)]. It is known that the flexibilization of a Weinstein domain can in fact be realized as a regular Weinstein subdomain. Here we use ``regular'' to mean that the complement is a Weinstein cobordism. In the present paper, in a similar vein, the authors construct Weinstein subdomains satisfying the abstract Floer theoretic properties of homologous recombination construction. Instead of the Lefschetz fibration picture in [M. Abouzaid and P. Seidel, loc. cit.] they work in a purely Weinstein setup and the main step of their constructions is to carve out certain Lagrangian disks. The construction of these disks is taken verbatim from [M. Abouzaid and P. Seidel, loc. cit.] and it works only in sufficiently high dimensions. More precisely, given a Weinstein domain \(W\) of dimension at least 10 and a finite collection of primes \(P\), the authors construct a regular Weinstein subdomain \(W_P\subset W\) whose wrapped Fukaya category \(\mathcal{WF}(W_P)\) is given by adjoining the inverses of the elements of \(P\) to that of \(W\) after triangulated closure: \[\text{Tw}\mathcal{WF}(W_P)\simeq \text{Tw}\mathcal{WF}(W)[1/p\cdot\text{id}_L: p\in P, L\in \mathrm{Ob}].\] In addition, the authors prove that for \(P\subset P'\), \(W_{P'}\) can be constructed as a regular Weinstein subdomain of \(W_P\). It is important to note that by Viterbo functoriality, assuming that \(\mathcal{WF}(W_P; \mathbb{F}_q)\neq 0\) for some \(q\in P'\setminus P\) (*), we easily deduce that \(W_P\) cannot be embedded into \(W_{P'}\). An important case where the non-vanishing condition (*) is guaranteed to hold is when \(W\) is the cotangent bundle \(T^*M\) of a closed smooth manifold \(M\) (assumed to be of dimension at least 5 for the construction to apply). Assuming in addition that \(M\) is spin and simply connected, the authors prove an unexpected converse of their construction. Namely, they prove that if \(V\subset T^*M\) is a regular Weinstein subdomain, then \(\text{Tw}\mathcal{WF}(V)\) either vanishes or is quasi-isomorphic to \(\text{Tw}\mathcal{WF}(T^*M_P)\) for some \(P\) as above. Here vanishing should be thought of as being the same as the flexibilization. Hence, as far as the triangulated closure of the wrapped Fukaya category is concerned, all regular Weinstein subdomains of \(T^*M\) are given by the authors' reinterpretations of flexibilization and homologous recombination constructions. The proof of this result uses a variety of techniques in Lagrangian Floer theory such as Abouzaid's theorem on generation by a cotangent fiber and the Koszul duality of the Floer \(A_{\infty}\)-algebras of the zero section and a cotangent fiber in \(T^*M\) (corresponding to an old result of \textit{J. F. Adams} [Proc. Natl. Acad. Sci. USA 42, 409--412 (1956; Zbl 0071.16404)] from topology given Floer's and Viterbo's theorems), as well as an original result regarding a certain \(C^*(M)\)-module structure of morphism spaces in \(\mathcal{WF}(T^*M)\) (see Proposition 3.3).