Atjaunināt sīkdatņu piekrišanu

Lagrangian Intersection Floer Theory: Anomaly and Obstruction, Pt. 1 & Pt. 2 [Hardback]

  • Formāts: Hardback, 800 pages, Illustrations, 2 hardbacks
  • Sērija : AMS/IP Studies in Advanced Mathematics No. 46
  • Izdošanas datums: 03-Feb-2010
  • Izdevniecība: American Mathematical Society
  • ISBN-10: 0821848313
  • ISBN-13: 9780821848319
Citas grāmatas par šo tēmu:
  • Formāts: Hardback, 800 pages, Illustrations, 2 hardbacks
  • Sērija : AMS/IP Studies in Advanced Mathematics No. 46
  • Izdošanas datums: 03-Feb-2010
  • Izdevniecība: American Mathematical Society
  • ISBN-10: 0821848313
  • ISBN-13: 9780821848319
Citas grāmatas par šo tēmu:
This is a two-volume series research monograph on the general Lagrangian Floer theory and on the accompanying homological algebra of filtered $A_\infty$-algebras. This book provides the most important step towards a rigorous foundation of the Fukaya category in general context. In Volume I, general deformation theory of the Floer cohomology is developed in both algebraic and geometric contexts. An essentially self-contained homotopy theory of filtered $A_\infty$ algebras and $A_\infty$ bimodules and applications of their obstruction-deformation theory to the Lagrangian Floer theory are presented. Volume II contains detailed studies of two of the main points of the foundation of the theory: transversality and orientation. The study of transversality is based on the virtual fundamental chain techniques (the theory of Kuranishi structures and their multisections) and chain level intersection theories. In this title, a detailed analysis comparing the orientations of the moduli spaces and their fiber products is carried out. A self-contained account of the general theory of Kuranishi structures is also included in the appendix of this volume.
Preface xi
Volume I
Introduction
1(38)
What is Floer (co)homology
1(4)
General theory of Lagrangian Floer cohomology
5(8)
Applications to symplectic geometry
13(3)
Relation to mirror symmetry
16(9)
Chapter-wise outline of the main results
25(10)
Acknowledgments
35(1)
Conventions
36(3)
Review: Floer cohomology
39(38)
Bordered stable maps and the Maslov index
39(10)
The Maslov index: the relative first Chern number
39(4)
The moduli space of bordered stable maps
43(6)
The Novikov covering and the action functional
49(4)
The Γ-equivalence
50(1)
The action functional and the Maslov-Morse index
51(2)
Review of Floer cohomology I: without anomaly
53(7)
The L2-gradient equation of A
53(4)
Floer's definition: Z2-coefficients
57(2)
Bott-Morse Floer cohomology
59(1)
Review of Floer cohomology II: anomaly appearance
60(17)
The Floer cochain module
61(1)
The Floer moduli space
62(4)
The Novikov ring ΛR(L)
66(3)
Monotone Lagrangian submanifolds
69(2)
Appearance of the primary obstruction
71(6)
The A∞ algebra associated to a Lagrangian submanifold
77(114)
Outline of
Chapter 3
77(9)
Algebraic framework on filtered A∞ algebras
86(8)
A∞ algebras and homomorphisms
86(3)
Filtered A∞ algebras and homomorphisms
89(5)
Algebraic framework on the homotopy unit
94(3)
Definition of the homotopy unit
94(3)
Unital (resp. homotopy unital) A∞ homomorphisms
97(1)
A∞ deformation of the cup product
97(5)
The filtered A∞ algebra associated to a Lagrangian submanifold
102(5)
Bounding cochains and the A∞ Maurer-Cartan equation
107(13)
Bounding cochains and deformations
108(3)
Obstruction for the existence of bounding cochain
111(3)
Weak unobstructedness and existence of Floer cohomology
114(3)
The superpotential and M(C)
117(3)
A∞ bimodules and Floer cohomology
120(36)
Algebraic framework
120(3)
A∞ bimodule homomorphisms
123(2)
Weak unobstructedness and deformations
125(1)
The filtered A∞ bimodule C(L(1), L(0); Λ0, nov)
126(11)
The Bott-Morse case
137(14)
Examples
151(4)
The multiplicative structure on Floer cohomology
155(1)
Inserting marked points in the interior
156(35)
The operator p
156(3)
Applications to vanishing of the obstruction classes ok(L)
159(2)
Outline of the construction of the operator p
161(4)
The operator q
165(3)
Bulk deformation of filtered A∞ structures
168(7)
Outline of the construction of the operator q
175(3)
The operator r and the A∞ bimodule
178(3)
Construction of the operator r
181(1)
Generalization of the operator p
182(6)
Proof of parts of Theorems B, C and G
188(3)
Homotopy equivalence of A∞ algebras
191(76)
Outline of
Chapters 4 and 5
191(6)
Homotopy equivalence of A∞ algebras: the algebraic framework
197(14)
Models of [ 0,1] x C
197(8)
Homotopies between A∞ homomorphisms
205(3)
The unital or homotopy-unital cases
208(3)
Gauge equivalence of bounding cochains
211(6)
Basic properties and the category ∞
211(4)
Mweak(C) and its homotopy invariance
215(1)
Mweak, defl(L) and its homotopy invariance
216(1)
Uniqueness of the model of [ 0, 1] x C
217(16)
Induction on the number filtration I
218(1)
Ak structures and homomorphisms
219(1)
Induction on the number filtration II
220(3)
Unital case I: the unfiltered version
223(3)
Coderivation and Hochschild cohomology
226(4)
Induction on the energy filtration
230(2)
Unital case II: the filtered version
232(1)
Whitehead theorem in A∞ algebras
233(9)
Extending Ak homomorphisms to Ak+1 homomorphisms
234(2)
Proof of Theorem 4.2.45 I: the number filtration
236(1)
Unital case: the unfiltered version
237(2)
Extending filtered A∞ homomorphism modulo Tλi to modulo Tλi+1
239(2)
Proof of Theorem 4.2.45 II: the energy filtration
241(1)
Homotopy equivalence of A∞ algebras: the geometric realization
242(25)
Construction of A∞ homomorphisms
242(7)
Homotopies between A∞ homomorphisms
249(8)
Compositions
257(2)
Homotopy equivalence and the operator q I: changing the cycle in the interior
259(2)
Homotopy equivalence and the operator q II: invariance of symplectic diffeomorphisms 1
261(3)
Homotopy equivalence and the operator q III: invariance of symplectic diffeomorphisms 2
264(3)
Homotopy equivalence of A∞ bimodules
267(88)
Novikov rings
267(8)
Reduction to universal Novikov ring
267(3)
Hamiltonian independence of the Novikov ring
270(2)
Floer cohomologies over Λ(L(0), L(1); l0) and Λnov
272(3)
Homotopy equivalences of A∞ bimodules: the algebraic framework
275(21)
Weakly filtered A∞ bimodule homomrphismsms
275(1)
Deformations of A∞ bimodule homomorphisms
276(6)
Homotopies between A∞ bimodule homomorphisms
282(6)
Gauge invariance and the category ∞ (C1, C0)
288(3)
Obstructions to defining A∞ bimodule homomorphisms I
291(1)
Whitehead theorem for A∞ bimodule homomorphisms
292(2)
Obstructions to defining A∞ bimodule homomorphisms II
294(2)
Homotopy equivalences of A∞ bimodules: the geometric realization
296(34)
Construction of filtered A∞ bimodule homomorphisms
296(10)
Moving Lagrangian submanifolds by Hamiltonian isotopies
306(7)
Homotopies between bimodule homomorphisms
313(6)
Compositions of Hamiltonian isotopies and of bimodule homomorphisms
319(2)
An energy estimate
321(5)
The operators q, r and homotopy equivalence
326(1)
Wrap-up of the proof of invariance of Floer cohomologies
327(3)
Canonical models, formal super schemes and Kuranishi maps
330(25)
Canonical models, Kuranishi maps and bounding cochains
330(6)
The canonical models of filtered A∞ bimodules
336(1)
Filtered A∞ bimodules and complex of coherent sheaves
337(2)
Construction of the canonical model
339(8)
Including the operator q
347(2)
Wrap-up of the proofs of Theorems F, G, M, N and Corollaries O, P
349(6)
Spectral sequences
355(42)
Statement of the results in
Chapter 6
355(7)
The spectral sequence
355(2)
Non-vanishing theorem and a Maslov class conjecture
357(3)
Applications to Lagrangian intersections
360(2)
A toy model: rational Lagrangian submanifolds
362(4)
The algebraic construction of the spectral sequence
366(9)
c.f.z.
367(2)
d.g.c.f.z. (differential graded c.f.z.)
369(2)
Construction and convergence
371(4)
The spectral sequence associated to a Lagrangian submanifold
375(10)
Construction
375(1)
A condition for degeneration: proof of (D.3)
375(2)
Non-vanishing theorem: proof of Theorem 6.1.9
377(4)
Application to the Maslov class conjecture: proofs of Theorems 6.1.15 and 6.1.17
381(1)
Compatibility with the product structure
382(3)
Applications to Lagrangian intersections
385(12)
Proof of Theorem H
385(1)
Proof of Theorem I
385(3)
Torsion of the Floer cohomology and Hofer distance: Proof of Theorem J
388(5)
Floer cohomologies of Lagrangian submanifolds that do not intersect cleanly
393(2)
Unobstructedness modulo TE
395(2)
Volume II
Transversality
397(278)
Construction of the Kuranishi structure
398(37)
Statement of the results in Section 7.1
398(3)
Kuranishi charts on Mmain, reg k+1 (β) Fredholm theory
401(3)
Kuranishi charts in the complement of Mmain, reg k+1 (β): gluing
404(14)
Wrap-up of the proof of Propositions 7.1.1 and 7.1.2
418(7)
The Kuranishi structure of Mmain k+1 (M', L', {Jρ)ρ : β;top(ρ)): A∞ map analog of Stasheff cells
425(10)
Multisections and choice of a countable set of chains
435(139)
Transversality at the diagonal
436(1)
Inductive construction of compatible system of multisections in the Bott-Morse case
437(7)
Perturbed moduli space running out of the Kuranishi neighbor-hood I
444(1)
Statement of results
445(4)
Proof of Proposition 7.2.35
449(9)
Filtered An, k structures
458(3)
Construction of filtered An, k structures
461(5)
Perturbed moduli space running out of the Kuranishi neigbor- hood II
466(2)
Construction of filtered An, k homomorphisms
468(15)
Constructions of filtered An, k homotopies
483(19)
Constructions of filtered A∞ homotopies I: a short cut
502(3)
Constructions of filtered A∞ homotopies II: the algebraic frame-work on homotopy of homotopies
505(29)
Constructions of filtered A∞ homotopies III: the geometric realization of homotopy of homotopies
534(35)
Bifurcation vs cobordism method: an alternative proof
569(5)
Construction of homotopy unit
574(15)
Statement of the result and the idea of its proof
574(2)
Proof of Theorem 7.3.1
576(11)
Proof of (3.8.36)
587(2)
Details of the construction of the operators p, q and r
589(61)
Details of the construction of p
589(6)
Construction of q I: the An, k version
595(1)
Construction of q II: q is an L∞ homomorphism
596(5)
Construction of q III: the homotopy invariance of Der(B(C[ 1]]), B(C[ 1]))
601(20)
Construction of q IV: wrap-up of the proof of Theorem 3.8.32
621(4)
Proof of Theorem Y
625(6)
Algebraic formulation of r I: Der B(C1, C0; D) and its homotopy invariance
631(6)
Algebraic formulation of r II: via bifurcation argument
637(3)
Algebraic formulation of r III: via cobordism argument
640(4)
Algebraic formulation of p I: the cyclic bar complex is an L∞ module
644(3)
Algebraic formulation of p II: p induces an L∞ module homomorphism
647(3)
Compatibility with rational homotopy theory
650(25)
Statement of results
650(2)
Virtual fundamental chain in de Rham theory
652(2)
The Kuranishi structure of Mmain k+1 (β0)
654(1)
Construction of the Ak homomorphism I
655(8)
Construction of the Ak homomorphism II
663(6)
The A∞ map to a topological monoid and N'k+1
669(6)
Orientation
675(78)
Orientation of the moduli space of unmarked discs
675(16)
The case of holomorphic discs
675(9)
The example of non-orientable family index
684(2)
The case of connecting orbits in Floer theory
686(4)
Change of relatively spin structure and orientation
690(1)
Convention and preliminaries
691(7)
Orientation of the moduli space of marked discs and of the singular strata of the moduli space
698(5)
Orientation of Ml+1(β; P1,..., Pl)
703(5)
Definition of the orientation of Ml+1(β; P1,..., Pl)
703(2)
Cyclic symmetry and orientation
705(3)
The filtered A∞ algebra case
708(5)
Orientation of the moduli space of constant maps
713(3)
Orientation of the moduli space of connecting orbits
716(3)
The Bott-Morse case
719(12)
Orientations of the top-moduli spaces and the twp-moduli spaces
731(7)
Orientation of Mmain k+1 (M', L', {Jρ}ρ : β;top(ρ))
731(4)
Orientation of Mmain k+1 ({Jρ}ρ : β;twp(ρ); P1,..., Pk)
735(3)
Homotopy units, the operators p, q, continuous families of perturbations, etc.
738(15)
Homotopy unit
738(1)
Operators p, q
738(11)
Continuous families of perturbations
749(4)
Appendices
753(38)
Kuranishi structures
753(27)
Review of the definition of the Kuranishi structure and multi-sections
754(10)
Fiber products
764(2)
Finite group actions and the quotient space
766(2)
A remark on smoothness of coordinate transforms
768(10)
Some counter examples
778(1)
Some errors in the earlier versions and corrections thereof
779(1)
Singular chains with local coefficients
780(2)
Filtered L∞ algebras and symmetrization of filtered A∞ algebras
782(5)
The differential graded Lie algebra homomorphism in Theorem 7.4.132
787(4)
Bibliography 791(10)
Index 801