Homotopy equivalence of nearby Lagrangians and the Serre spectral sequence

DOI10.1007/S00208-016-1447-5MaRDI QIDQ2402829zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Kragh

Publication date 15 September 2017

Published in Mathematische Annalen (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1505.07359

zbMATH Keywords

action filtrationLagrangian intersection Floer homologyMaslov classMorse homologyPoincaré dualityspectral sequence

Mathematics Subject Classification ID

Lagrangian submanifolds; Maslov index (53D12) Symplectic aspects of Floer homology and cohomology (53D40) Serre spectral sequences (55T10)

Abstract: We construct using relatively basic techniques a spectral sequence for exact Lagrangians in cotangent bundles similar to the one constructed by Fukaya, Seidel, and Smith. That spectral sequence was used to prove that exact relative spin Lagrangians in simply connected cotangent bundles with vanishing Maslov class are homology equivalent to the base (a similar result was also obtained by Nadler). The ideas in that paper were extended by Abouzaid who proved that vanishing Maslov class alone implies homotopy equivalence. In this paper we present a short proof of the fact that any exact Lagrangian with vanishing Maslov class is homology equivalent to the base and that the induced map on fundamental groups is an isomorphism. When the fundamental group of the base is pro-finite this implies homotopy equivalence.

Review text

Let \(N\) be a compact connected manifold without boundary and \(L\subset T^*N\) be an exact Lagrangian submanifold, also compact without boundary. The main result is that if \(L\) has a vanishing Maslov class then \(L\to N\) is a homology equivalence that induces an isomorphism of fundamental groups (if \(\pi_1(N)\) is pro-finite it is also a homotopy equivalence). The paper's approach simplifies the approach of Fukaya-Seidel-Smith, who constructed a spectral sequence converging to the fiberwise Lagrangian intersection Floer homology of \(L\) with itself. A similar result was obtained by Nadler, and was later strengthened by Abouzaid to a homotopy equivalence, but all these proofs are much more technical. The paper uses a Morse-theoretic construction of the spectral sequence, which for self-indexing Morse functions looks much like the Serre spectral sequence. Given a Morse function \(g:N\to\mathbb{R}\), two large scale perturbations \(K_t=tL\) and \(L_t=tL+dg\), are defined. The intersection points of \(K_t\) and \(L_t\) ``bunch around the critical points of \(g\). An action filtration is considered in which there is a non-trivial filtration level for each critical value of \(g\) containing all the intersection points in all the bunches with the values close to the critical one. The most technical part is the proof that the bunches at each filtration level do not interact in the differential, hence restricting the differential to any bunch is well defined and produces the same homology groups up to shifting by the Morse index of the associated critical points of \(g\). The bunching construction is used to create a local system on \(N\) of vector spaces over some field \(\mathbb{F}\) (with a relative pin structure when needed). When \(g\) is self-indexing page 1 is identified with the Morse homology complex of \(g\), and page 2 is similar to the Serre spectral sequence. The final piece is to prove a fiberwise version of the Poincaré duality for \(L\to N\) . The fibers represent the relative difference, and thereby behave homologically like \(0\)-dimensional manifolds.

Recommendations

• Simple homotopy equivalence of nearby Lagrangians
• On the equivalence of some spectral sequences for Serre fibrations
• A Lyndon-Hochschild-Serre spectral sequence for certain homotopy fixed point spectra
• scientific article; zbMATH DE number 4044752
• The Equivariant Serre Spectral Sequence
• The homotopy Leray spectral sequence
• Nearby Lagrangians with vanishing Maslov class are homotopy equivalent
• scientific article; zbMATH DE number 1054455
• The spectral sequence of an equivariant chain complex and homology with local coefficients
• The equivariant Serre spectral sequence as an application of a spectral sequence of Spanier

Cites work

• Coherent orientations for periodic orbit problems in symplectic geometry
• Exact Lagrangian submanifolds in simply-connected cotangent bundles
• Floer homology on the universal cover, Audin's conjecture and other constraints on Lagrangian submanifolds
• Fukaya categories and Picard-Lefschetz theory
• Graded lagrangian submanifolds
• scientific article; zbMATH DE number 3258063 (Why is no real title available?)
• Lagrangian intersection Floer theory. Anomaly and obstruction. I
• Microlocal branes are constructible sheaves
• Morse theory for Lagrangian intersections
• Nearby Lagrangians with vanishing Maslov class are homotopy equivalent
• On the immersion classes of nearby Lagrangians
• Parametrized ring-spectra and the nearby Lagrangian conjecture
• Pseudo holomorphic curves in symplectic manifolds
• The Symplectic Geometry of Cotangent Bundles from a Categorical Viewpoint

Cited in

(9)

• Simple homotopy equivalence of nearby Lagrangians
• Nearby Lagrangians with vanishing Maslov class are homotopy equivalent
• Obstructions to the existence of monotone Lagrangian embeddings into cotangent bundles of manifolds fibered over the circle
• Exact triangle for fibered Dehn twists
• On Morse-Bott degenerations with $Crit(\pi ) \simeq \mathbb {C}P^k$ and Floer homology
• Monotone Lagrangians in of minimal Maslov number n + 1
• Higher dimensional Birkhoff attractors (with an appendix by Maxime Zavidovique)
• Simple homotopy theory for Fukaya categories
• A functional limit theorem for the profile of \(b\)-ary trees

This page was built for publication: Homotopy equivalence of nearby Lagrangians and the Serre spectral sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2402829)