Preface |
|
xi | |
|
|
|
|
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) |
|
|
35 | (1) |
|
|
36 | (3) |
|
|
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) |
|
|
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) |
|
|
61 | (1) |
|
|
62 | (4) |
|
|
66 | (3) |
|
Monotone Lagrangian submanifolds |
|
|
69 | (2) |
|
Appearance of the primary obstruction |
|
|
71 | (6) |
|
The A∞ algebra associated to a Lagrangian submanifold |
|
|
77 | (114) |
|
|
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) |
|
|
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) |
|
|
137 | (14) |
|
|
151 | (4) |
|
The multiplicative structure on Floer cohomology |
|
|
155 | (1) |
|
Inserting marked points in the interior |
|
|
156 | (35) |
|
|
156 | (3) |
|
Applications to vanishing of the obstruction classes ok(L) |
|
|
159 | (2) |
|
Outline of the construction of the operator p |
|
|
161 | (4) |
|
|
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) |
|
|
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) |
|
|
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) |
|
|
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) |
|
|
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) |
|
|
347 | (2) |
|
Wrap-up of the proofs of Theorems F, G, M, N and Corollaries O, P |
|
|
349 | (6) |
|
|
355 | (42) |
|
Statement of the results in Chapter 6 |
|
|
355 | (7) |
|
|
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) |
|
|
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) |
|
|
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) |
|
|
385 | (1) |
|
|
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) |
|
|
|
|
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) |
|
|
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) |
|
|
576 | (11) |
|
|
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) |
|
|
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) |
|
|
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) |
|
|
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) |
|
|
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) |
|
|
738 | (1) |
|
|
738 | (11) |
|
Continuous families of perturbations |
|
|
749 | (4) |
|
|
753 | (38) |
|
|
753 | (27) |
|
Review of the definition of the Kuranishi structure and multi-sections |
|
|
754 | (10) |
|
|
764 | (2) |
|
Finite group actions and the quotient space |
|
|
766 | (2) |
|
A remark on smoothness of coordinate transforms |
|
|
768 | (10) |
|
|
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 | |