arxiv: v3 [math.sg] 17 Jan 2017

Transcription

1 arxiv: v3 [math.sg] 17 Jan 2017 SPECTRAL INVARIANTS WITH BULK, QUASI-MORPHISMS AND LAGRANGIAN FLOER THEORY KENJI FUKAYA, YONG-GEUN OH, HIROSHI OHTA, KAORU ONO Abstract. In this paper we first develop various enhancements of the theory of spectral invariants of Hamiltonian Floer homology and of Entov-Polterovich theory of spectral symplectic quasi-states and quasi-morphisms by incorporating bulk deformations, i.e., deformations by ambient cycles of symplectic manifolds, of the Floer homology and quantum cohomology. Essentially the same kind of construction is independently carried out by Usher [Us4] in a slightly less general context. Then we explore various applications of these enhancements to the symplectic topology, especially new construction of symplectic quasi-states, quasi-morphisms and new Lagrangian intersection results on toric and non-toric manifolds The most novel part of this paper is to use open-closed Gromov-Witten- Floer theory (operator q in [FOOO1] and its variant involving closed orbits of periodic Hamiltonian system) to connect spectral invariants (with bulk deformation), symplectic quasi-states, quasi-morphism to the Lagrangian Floer theory (with bulk deformation). We use this open-closed Gromov-Witten-Floer theory to produce new examples. Especially using the calculation of Lagrangian Floer cohomology with bulk deformation in [FOOO3, FOOO4, FOOO7], we produce examples of compact symplectic manifolds (M, ω) which admits uncountably many independent quasi-morphismsfi Ham(M,ω) R. We also obtain a new intersection result for the Lagrangian submanifold in S 2 S 2 discovered in [FOOO6]. Many of these applications were announced in [FOOO3, FOOO4, FOOO6]. Date: October 19, Mathematics Subject Classification. Primary 53D40, 53D12, 53D45; Secondary 53D20, 14M25, 20F65. Key words and phrases. Floer homology, Lagrangian submanifolds, Hamiltonian dynamics, bulk deformations, spectral invariants, partial symplectic quasi-states, quasi-morphisms, quantum cohomology, toric manifold, open-closed Gromov-Witten theory. Kenji Fukaya is supported partially by JSPS Grant-in-Aid for Scientific Research No , NSF Grant No , and Simons Collaboration on Homological Mirror Symmetry. Yong- Geun Oh is supported by the IBS project IBS-R003-D1. Hiroshi Ohta is supported by JSPS Grant-in-Aid for Scientific Research Nos , 15H Kaoru Ono is supported by JSPS Grant-in-Aid for Scientific Research, Nos , , ,

2 2 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO Contents 1. Introduction Introduction Notations and Conventions Difference between Entov-Polterovich s convention and ours 18 Part 1. Review of spectral invariants Hamiltonian Floer-Novikov complex Floer boundary map Spectral invariants 31 Part 2. Bulk deformations of Hamiltonian Floer homology and spectral invariants Big quantum cohomology ring: review Hamiltonian Floer homology with bulk deformations Spectral invariants with bulk deformation Proof of the spectrality axiom Usher s spectrality lemma Proof of nondegenerate spectrality Proof of C 0 -Hamiltonian continuity Proof of homotopy invariance Proof of the triangle inequality Pants products Multiplicative property of Piunikhin isomorphism Wrap-up of the proof of triangle inequality Proofs of other axioms 71 Part 3. Quasi-states and quasi-morphisms via spectral invariants with bulk Partial symplectic quasi-states Construction by spectral invariant with bulk Existence of the limit Partial quasi-morphism property of µ b e Partial symplectic quasi-state property of ζe b Poincaré duality and spectral invariant Statement of the result Algebraic preliminary Duality between Floer homologies Duality and Piunikhin isomorphism Proof of Theorem Construction of quasi-morphisms via spectral invariant with bulk 87 Part 4. Spectral invariants and Lagrangian Floer theory Operator q; review Criterion for heaviness of Lagrangian submanifolds Statement of the results Floer homologies of periodic Hamiltonians and of Lagrangian submanifolds 100

3 SPECTRAL INVARIANTS WITH BULK Filtration and the map I b,b (H,J) Identity I b,b, (H,J) Pb (H = χ,j), i qm,b Heaviness of L Linear independence of quasi-morphisms. 110 Part 5. Applications Lagrangian Floer theory of toric fibers: review Toric manifolds: review Review of Floer cohomology of toric fiber Relationship with the Floer cohomology in Section Properties of Floer cohomology HF T ((L,b);Λ): review Spectral invariants and quasi-morphisms for toric manifolds µ b e-heaviness of the Lagrangian fibers in toric manifolds Calculation of the leading order term of the potential function in the toric case: review Existence of Calabi quasi-morphism on toric manifolds Defect estimate of a quasi-morphism µ b e Lagrangian tori in k-points blow up of CP 2 (k 2) Lagrangian tori in S 2 S Review of the construction from [FOOO6] Superheaviness of T(ρ) Critical values and eigenvalues of c 1 (M) Lagrangian tori in the cubic surface Detecting spectral invariant via Hochschild cohomology Hochschild cohomology of filtered A algebra: review From quantum cohomology to Hochschild cohomology Proof of Theorem A remark 150 Part 6. Appendix P(H b χ,j χ), is an isomorphism Independence on the de Rham representative of b Proof of Proposition Pseudo-isotopy of filtered A algebra Difference between m T and m Smoothing T n -invariant chains Wrap-up of the proof of Proposition Proof of Lemma Seidel homomorphism with bulk Seidel homomorphism with bulk Proof of Theorem Proof of Theorem Spectral invariants and Seidel homomorphism Valuations and spectral invariants The toric case 189 Part 7. Kuranishi structure and its CF-perturbation: summary Kuranishi structure and good coordinate system 192

4 4 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO Orbifold Kuranishi structure Strongly smooth map and fiber product Strongly smooth map Fiber product CF perturbation and integration along the fiber Differential form on the space with Kuranishi structure CF-perturbation Integration along the fiber Stokes theorem Normalized boundary Statement of Stokes theorem Composition formula Smooth correspondence and its perturbation Composition of smooth correspondences Statement of Composition formula 208 References 209 Index 213

5 SPECTRAL INVARIANTS WITH BULK 5 Preface Floer theory is an important tool in the study of symplectic topology and in the study of mirror symmetry phenomenon of string theory in physics (and also in low dimensional topology, which is not touched upon in this paper). Since the theory was invented by Floer in the late 80 s, it has gone through the period of technical underpinning and theoretical enhancement, especially manifested in the Lagrangian Floer theory. Now the period of theoretical and technical enhancement of the Gromov-Witten-Floer theory has passed and the time for applying this enhanced theory as a major tool comes for studying symplectic topology and its related areas. Before these theoretical enhancements took place, the so called, spectral invariants, were introduced by the second named author in the context of Lagrangian submanifolds of the cotangent bundle. This construction adapts the classical Rabinowitz- Hofer-Zehnder s mini-max theory of the action functional and Viterbo s stable Morse theory of generating functions to the mini-max theory for the chain level Floer homology in the construction of symplectic invariants. This construction was subsequently applied to the Hamiltonian Floer theory by Schwarz in the aspherical case and then by the second named author in general. The construction in the nonexact case involves the usage of a Novikov ring and non-archimedean analysis in a significant manner. These spectral invariants have been used by Entov-Polterovich in their remarkable construction of symplectic quasi-states and quasi-morphisms, which starts to unveil the true symplectic nature of the analytical construction of Floer homology and spectral invariants. In this memoir, we develop various enhancements of the theory of spectral invariants of Hamiltonian Floer homology and of Entov-Polterovich theory of spectral symplectic quasi-states and quasi-morphisms by incorporating the above mentioned theoretical amplification and also non-archimedean analysis into the theory. More specifically, we incorporate bulk deformations introduced in [FOOO1], i.e., the deformations by ambient cycles of symplectic manifolds, of Floer homology and of quantum cohomology into the construction of spectral invariants. Essentially the same kind of construction is independently carried out by Usher [Us4] in a slightly less general context. Then we explore various applications of these enhancements to the symplectic topology, especially a new construction of symplectic quasi-states, quasi-morphisms and new Lagrangian intersection results for toric and non-toric manifolds by exploiting various explicit calculations involving the potential function that the authors made in a series of recent papers on the Lagrangian Floer theory of toric manifolds [FOOO3, FOOO4, FOOO7]. The most novel part of this memoir is our usage of the open-closed Gromov- Witten-Floer theory(more specifically, the usage of operator q, which is a morphism between the quantum cohomology of (M, ω) and the Hochschild cohomology of Lagrangian Floer cohomology in [FOOO1] and its variant involving closed orbits of periodic Hamiltonian system), which connect spectral invariants (with bulk deformation), symplectic quasi-states, quasi-morphism to the Lagrangian Floer theory (with bulk deformation) and open-closed Gromov-Witten theory. We use this open-closed Gromov-Witten-Floer theory to produce new examples. Especially, using the calculation of Lagrangian Floer cohomology and the critical point theory of the potential function with a bulk deformation, we produce examples of compact symplectic manifolds (M, ω) that admit a continuum of linearly independent quasi-morphisms fi Ham(M,ω) R.

6 6 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO We alsoproveanewintersectionresultforthe Lagrangiansubmanifoldin S 2 S 2 discovered in [FOOO6]. Many of these applications were announced in [FOOO3, FOOO4, FOOO6]. On the technical side, we exclusively use the de Rham version of various constructions and calculations performed in the relevant Gromov-Witten-Floer theory. We adopt the de Rham version in this memoir partly to make the exposition consistent with the series of our papers studying toric manifolds [FOOO3, FOOO4, FOOO7]. Another reason is that many proofs become simpler when we use the de Rham version of the constructions. We have no doubt that all the results can be proved by using singular homology. Then we can use Q instead of R as the underlying ground field. November 2011 Fukaya, Oh, Ohta, Ono

7 SPECTRAL INVARIANTS WITH BULK 7 1. Introduction 1.1. Introduction. Let (M, ω) be a compact symplectic manifold. We consider one-periodic nondegenerate Hamiltonians H : S 1 M R, not necessarily normalized, and one-periodic family J = {J t } t S 1 of almost complex structures compatible with ω. To each given such pair (H,J), we can associate the Floer homology HF(H, J) by considering the perturbed Cauchy-Riemann equation u τ +J t Å u t X H t (u) ã = 0, (1.1) where H t (x) = H(t,x) and X Ht is the Hamiltonian vector field associated to H t C (M). The associated chain complex (CF(M,H), (H,J) ) is generated by certain equivalence classes of the pairs [γ,w] where γ is a loop satisfying γ(t) = X Ht (γ), w : D 2 M is a disc with w D 2 = γ and [γ,w] is the homotopy class relative to the boundary γ. See Definitions 2.3 and 4.9. The boundary operator (H,J) is defined by an appropriate weighted count of the solution set of the equation (1.1). This chain complex carries a natural downward filtration provided by the action functional 1 A H ([γ,w]) = w ω H(t, γ(t)) dt, (1.2) since (1.1) is the negative L 2 -gradient flow of A H with respect to the L 2 -metric on L(M). Thehomologygroupof(CF(M,H), (H,J) )isthe FloerhomologyHF (M;H,J) associated to the one-periodic Hamiltonian H. HF (M;H,J) is known to be isomorphic to the ordinary homology H (M) of M with appropriate Novikov field as its coefficient ring. ([Fl]). The isomorphism is given by the Piunikhin isomorphism [Piu] 0 P H : H (M) HF (M;H,J). (1.3) We use it to transfer a quantum cohomology class a QH (M) = H (M) to a Floer homology class via the map a a H := P H (a) where is the Poincaré duality: QH (M) H (M). The spectral invariants constructed by the second named author in [Oh4] for the general non-exact case are defined as follows. (See [Vi1, Oh1, Sc2] for the earlier related works for the exact case.) For a given quantum cohomology class a, we consider Floer cycles α representing the associated Floer homology class a H. Then we take the mini-max value λ H (α) = max{a H ([γ i,w i ]) α = a i [γ i,w i ],a i C\{0}}, (1.4) ρ(h;a) = inf{λ H (α) (H,J) (α) = 0,[α] = a H }. (1.5) We can show that the right hand side of (1.5) is independent on the choice of J. So J is not included in the notation ρ(h;a). Via the C 0 -continuity of the function H ρ(h; a), the function extends continuously to arbitrary continuous function H. It induces an invariant of an element of the universal cover of the group of Hamiltonian diffeomorphisms as follows. We denote by Ham(M, ω) the group of Hamiltonian diffeomorphisms of M and by fi Ham(M,ω) its universal cover and by

8 8 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO φ H : t φ t H the Hamiltonian path (based at the identity) generated by the (timedependent) Hamiltonian H and its time one map by ψ H = φ 1 H Ham(M,ω). Each Hamiltonian H generates the Hamiltonian path φ H which in turn determines an element ψ H = [φ H ] Ham(M,ω). fi Conversely, each smooth Hamiltonian path [0, 1] Ham(M, ω) based at the identity is generated by a unique normalized Hamiltonian H, i.e., H satisfying H t ω n = 0. (1.6) M It is proved in [Oh4, Oh7] that ρ(h;a) for normalized Hamiltonians H depends only on the homotopy class ψ = ψ H of the path φ H and a, which we denote by ρ( ψ;a) := ρ(h;a). (1.7) This homotopy invariance is proved for the rational (M,ω) in [Oh4] and for the irrational case in [Oh7, Us1] respectively. In a series of papers [EP1, EP2, EP3], Entov and Polterovich discovered remarkable applications of these spectral invariants to the theory of symplectic intersections and to the study of Ham(M,ω) by combining ideas from dynamical systems, function theory and quantum cohomology. We briefly summarize their construction now. (As we explain in Subsection 1.3 we adopt conventions slightly different from Entov and Polterovich s below. However there is no essential mathematical difference.) Let QH (M;Λ) be the quantum cohomology ring of M. (Here Λ is the (universal) Novikov field. See Notation and Convention (16).) They considered idempotent elements e of QH (M;Λ), i.e., those satisfying e 2 = e and defined the function ζ e : C 0 (M) R by ρ(nh; e) ζ e (H) := lim (1.8) n n for autonomous C functions H and then extended its definition to C 0 (M) by continuity. It is proved in [EP1, EP2, EP3] that ζ e satisfies most of the properties of quasistates introduced by Aarnes [Aa] and introduced the notion of a partial symplectic quasi-state. They also formulated the notions of heavy and super-heavy subsets of symplectic manifolds. Entov and Polterovich also considered the map µ e : Ham(M,ω) fi R by ρ( ψ n ;e) µ e ( ψ) = vol ω (M) lim. (1.9) n n Whenever e is the unit of a direct factor of QH (M;Λ), which is a field, µ e becomes a homogeneous quasi-morphism. Namely it satisfies for some constant C independent of ψ 1, ψ 2 and µ e ( ψ 1 )+µ e ( ψ 2 ) µ e ( ψ 1 ψ2 ) < C, (1.10) µ e ( ψ n ) = nµ e ( ψ), for n Z. (1.11) These facts were proved by Entov-Polterovich [EP1] in case QH (M;Λ) is semisimple and M is monotone. The monotonicity assumption was improved by Ostrover[Os2]. It was observed by McDuff that instead of the semi-simplicity assumption one has only to assume that e is the unit of a field factor of QH (M;Λ). In fact,

9 SPECTRAL INVARIANTS WITH BULK 9 Entov and Polterovich prove several other symplectic properties of µ e, and call them Calabi quasi-morphisms. One can generalize the constructions mentioned above by involving bulk deformations. Here bulk deformation means a deformation of various Floer theories and others by using a cohomology class b of the ambient symplectic manifold. We call b a bulk cycle and denote the corresponding deformed Floer homology by HF b (M;H,J) which we call a Floer homology with bulk. (We will define it in Part 2.) Actually as in the case of HF(M;H,J), the Floer homology with bulk HF b (M;H,J) as a Λ module is also isomorphic to the ordinary homology group H(M;Λ) of M. The generalization is straightforward way except the following point: We note that for the construction of partial quasi-states and quasi-morphism the following triangle inequality of spectral invariant plays an important role. ρ( ψ 1 ψ 2,a Q b) ρ( ψ 1,a)+ρ( ψ 2,b), (1.12) here Q is the product of the small quantum cohomology ring QH (M;Λ) and ρ is the spectral invariant (1.7) (without bulk deformation). We generalize the definitions of (1.3), (1.5), (1.7) to obtain corresponding ones P b H, ρb (H;a), ρ b ( ψ;a), respectively. Then (1.12) becomes ρ b ( ψ 1 ψ 2,a b b) ρ b ( ψ 1,a)+ρ b ( ψ 2,b), (1.13) where b is the deformed cup product by b. (See Definition 5.1 for its definition.) Thus in place of the small quantum cohomology ring QH (M;Λ) the b-deformed quantum cohomology ring (which we denote by QHb (M;Λ)) plays an important role here. Whenever e QHb (M;Λ) is an idempotent, we define ζe(h) b ρ b (nh;e) = lim (1.14) n n for the autonomous function H = H(x) C (M) which in turn defines a partial symplectic quasi-state on C 0 (M). See Definition 13.6 and Theorem Similarly we can define µ b e : Ham(M,ω) fi R. We will call any such partial quasi-state or quasi-morphism obtained from the spectral invariants a spectral partial quasi-state or a spectral quasi-morphism respectively. Theorem 1.1. Let Λe = Λ be a direct factor of QHb (M;Λ) and e its unit. Then µ b e : fi Ham(M,ω) R is a homogeneous Calabi quasi-morphism. Theorem 1.1 is proved in Section 16. In particular, combined with the study of big quantum cohomology of toric manifolds [FOOO7], this implies the following: (The proof is completed in Subsection 21.3.) Corollary 1.2. For any compact toric manifold (M, ω), there exists a nontrivial homogeneous Calabi quasi-morphism µ b e :fi Ham(M,ω) R. We say that a quasi-morphism is nontrivial if it is not bounded. Corollary 1.2 is also proved independently by Usher [Us4].

10 10 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO It is in general very hard to calculate spectral invariants and partial quasi-states or quasi-morphisms obtained therefrom. In Part 4 of this paper we provide a means of estimating them in certain cases. We recall the following definition: Definition 1.3. (Entov-Polterovich [EP3]) Let ζ : C 0 (M) R be any partial quasi-state. A closed subset Y X is called ζ-heavy if for any H C 0 (X). Y X is called ζ-superheavy if for any H C 0 (X). ζ(h) sup{h(p) p Y} (1.15) ζ(h) inf{h(p) p Y} (1.16) Remark 1.4. (1) Entov-Polterovich proved in [EP3, Theorem 1.4 (i)] that superheaviness implies heaviness for ζ e. The same can be proved for ζe b by the same way. (2) Actually in Definition 1.3 we use a different sign convention from that of Entov-Polterovich. See Remark We can also define similar notions µ-heaviness and µ-superheaviness, for µ : fiham(m,ω) R, instead of ζ : C 0 (M) R. See Definition In Part 4 of this paper we provide a way to use Lagrangian Floer theory to show certain Lagrangian submanifold is µ-heavy or µ-superheavy for µ = µ e or µ b e. Let L be a relatively spin Lagrangian submanifold of M. In [FOOO1] we associated to L a set M weak,def (L;Λ + ), which we call the Maurer-Cartan moduli space. (See also Definition ) Remark 1.5. The Maurer-Cartan moduli space that appears in [FOOO1] uses the Novikov ring Λ +. A technical enhancement to its Λ 0 -version was performed in [FOOO4, Fu3] using the idea of Cho [Cho], which is used in this paper. In this introduction, however, we state only the Λ + -versionfor the simplicity of exposition. The Maurer-Cartan moduli space comes with a map π bulk : M weak,def (L;Λ + ) H 2k (M;Λ + ). k For each b M weak,def (L;Λ + ), the Floer cohomology HF ((L,b),(L,b);Λ 0 ) deformed by b is defined in [FOOO1, Definition ]. (See Definition ) Moreover the open-closed map i qm,b : H (M;Λ 0 ) HF ((L,b),(L,b);Λ 0 ) (1.17) isconstructed in [FOOO1, Theorem3.8.62]. (See (17.17).) Utilizing this map i qm,b, we can locate µ b e-superheavy Lagrangian submanifolds in several circumstances. Theorem 1.6. Consider a pair (b,b) with b M weak,def (L;Λ + ) and π bulk (b) = b. Let e be an idempotent of QHb (M;Λ) such that i qm,b(e) 0 HF ((L,b),(L,b);Λ). Then L is ζ b e-heavy and µ b e-heavy. If e is a unit of a field factor of QH b (M;Λ) in addition, then L is ζb e -superheavy and µ b e-superheavy. See Definition 18.5 for the definitions of µ b e-heavy and µ b e-superheavy sets. Theorem 1.6 (Theorem 18.8) is proved in Section 18.

11 SPECTRAL INVARIANTS WITH BULK 11 Remark 1.7. (1) Theorem 1.6 gives rise to a proof of a conjecture made in [FOOO3, Remark 1.7]. (2) Theorem 1.6 is closely related to [EP3, Theorem 1.20]. Theorem 1.6 also proves linear independence of some spectral Calabi quasimorphisms in the following sense. Definition 1.8. Let µ j : Ham(M,ω) fi R be homogeneous Calabi-quasi-morphisms for j = 1,...,N. We say that they are linearly independent if there exists a subgroup = Z N of Ham(M,ω) fi such that the restriction of (µ 1,...,µ N ) : Ham(M,ω) fi R N to this subgroup is an isomorphism to a lattice in R N. A (possibly infinite) set of quasi-morphisms of Ham(M,ω) fi is said to be linearly independent if any of its finite subset is linearly independent in the above sense. The case of Ham(M,ω) can be defined in the same way. Corollary 1.9. Let L j be mutually disjoint relatively spin Lagrangian submanifolds. (j = 1,...,N.) Let b j H even (M;Λ + ) and b j M weak,def (L j ;Λ + ) with π bulk (b j ) = b j. Let e j be the unit of a field factor of QH b j (M,Λ) such that i qm,b j (e j ) 0 HF ((L j,b j ),(L j,b j );Λ), j = 1,...,N. Then µ bj e j (j = 1,...,N) are linearly independent. This corollary follows from Theorem 1.6 mentioned above and [EP3, Theorem 8.2]. (See also Section 19 of this paper.) The study of toric manifolds [FOOO4] and deformations of some toric orbifolds [FOOO6] provides examples for which the hypothesis of Corollary 1.9 is satisfied. This study gives rise to the following theorem Theorem Let M be one of the following three kinds of symplectic manifolds: (1) S 2 S 2 with monotone toric symplectic structure, (2) Cubic surface, (3) k points blow up of CP 2 with a certain toric symplectic structure, where k 2. Then (M,ω) carries a collection {µ a } a A of linearly independent Calabi quasimorphisms µ a : fi Ham(M,ω) R for an uncountable indexing set A. Remark (1) In the case of (M,ω) = S 2 S 2, we have quasi-morphisms µ a : Ham(M,ω) R in place of µ a : Ham(M,ω) fi R. See Corollary (2) We can explicitly specify the symplectic structure used in Theorem 1.10 (3). See Section 23. (3) We can also construct an example of the symplectic manifold that admits an uncountable set of linearly independent quasi-morphisms in higher dimension by the similar way. (For example we can take direct product with S 2 of the symplectic manifolds in Theorem 1.10.) (4) Theorem 1.10 for S 2 S 2 was announced in [FOOO6, Remark 7.1], and for the case of k-points (k 2) blow up of CP 2 in [FOOO4, Remark 1.2 (3)], respectively.

12 12 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO (5) Biran-Entov-Polterovich constructed an uncountable family of linearly independentcalabiquasi-morphismsforthecaseofthegroupham(b 2n (1);ω) of compactly supported Hamiltonian diffeomorphisms of balls with n 2 in [BEP]. Theorem 1.10 provides the first example of closed M with such property. (6) Existence of infinitely many linearly independent homogeneous Calabi quasimorphisms on Ham(M,ω) is still an open problem for the case of M = CP 2 as well as CP n for general n 2. (7) Theorem 1.10 implies that the second bounded cohomology of fi Ham(M;ω) is of infinite rank for (M,ω) appearing in Theorem More precisely, the defect Def a defined by Def a (φ,ψ) := µ a (φ)+µ a (ψ) µ a (φψ) defines a bounded two-cocycle. It follows from the perfectness of the group Ham(M;ω) [Ba2, Corollary (1)] that the set of cohomology classes of {Def a } is linearly independent in the 2nd bounded cohomology group of fiham(m, ω). In fact, if otherwise, we can find a nonzero linear combination of elements from {Def a } which is a coboundary. Namely we have ci Def ai (φ,ψ) = ρ(φ)+ρ(ψ) ρ(φψ) where ρ : fi Ham(M;ω) R is bounded and c i R. Therefore ci µ ai ρ : fi Ham(M;ω) R (1.18) is a homomorphism. The linear independence of µ ai implies that c i µ ai is unbounded. Therefore (1.18) defines a nontrivial homomorphism, which contradicts the perfectness of fi Ham(M,ω). (8) At the final stage of completing this paper, a paper [Bor] appears in the arxiv which discusses a result related to Theorem 1.10 (3) using [AM]. Another corollary of Theorem 1.6 combined with Theorem 1.4 (iii), [EP3, Theorem 1.8] is the following intersection result of the exotic Lagrangian tori discovered in [FOOO6]. Theorem Let T(u) S 2 (1) S 2 (1) for 0 < u 1/2 be the tori from [FOOO6]. Then we have ψ(t(u)) (S 1 eq S1 eq ) for any symplectic diffeomorphism ψ of S 2 (1) S 2 (1). Remark Theorem 1.12 was announced in the introduction of [FOOO6]. The proof is given in Subsection A brief outline of the content of the paper is now in order. The present paper consist of 7 parts. Part 1 is a review. In Part 2, we first enhance the Hamiltonian Floer theory by involving its deformations by ambient cohomology classes, which we call bulk deformations. In this paper, we use de Rham (co)cycles instead of singular cycles as in [FOOO4, FOOO7]. After this enhancement, we generalize construction of spectral invariants in [Oh4] involving bulk deformations and define spectral invariants with bulk. Part 3 then generalizes construction [EP2, EP1] of

13 SPECTRAL INVARIANTS WITH BULK 13 symplectic partial quasi-states and Calabi quasi-morphisms by replacing the spectral invariants defined in [Oh4] by these spectral invariants with bulk. In the course of carrying out these enhancements, we also unify, clarify and enhance many known constructions in Hamiltonian Floer theory in the framework of virtual fundamental chain technique. (We use its version based on Kuranishi structures and accompanied abstract perturbation theory originally established in [FO] and further enhanced in [FOOO2, Appendix A.2].) Variants of virtual fundamental chain technique, some of which we use in this paper, are given in [FOOO4, FOOO7, Fu3]. Explanation of further detail of virtual fundamental chain technique is provided in [FOOO10, FOOO11]. Systematic application of virtual technique is needed particularly because many constructions related to the study of spectral invariants (with bulk) have to be done in the chain level, not just in homology. Examples of such enhancement include construction of pants product [Sc1] and Piunikhin isomorphism whose construction was outlined in [Piu, RT, PSS]. We give a complete construction of both of these in general compact symplectic manifolds without assuming any conditions on (M, ω) such as semi-positivity or rationality. In Part 4, we connect the study of spectral invariants to the Lagrangian Floer theory developed in [FOOO1, FOOO2]. The main construction in the study is based on open-closed Gromov-Witten theory developed in [FOOO1, Section 3.8], which induces a map from the quantum cohomology of the ambient symplectic manifolds to the Hochschild cohomology of A algebra (or more generally that of Fukaya category of (M,ω)). This map was defined in [FOOO1] and further studied in [FOOO4], [FOOO7, Section 2.6] and etc.. This part borrows much from [FOOO1, FOOO2, FOOO7] in its exposition. The main new ingredient is a construction of a map from Floer homology of periodic Hamiltonians to Floer cohomology of Lagrangian submanifold, through which the map from quantum cohomology to Floer cohomology of Lagrangian submanifold factors (Subsection 18.4). We also study its properties especially those related to the filtration. A similar construction was used by Albers [Al] and also by Biran-Cornea [BC] in the monotone context, which has been exploited by Entov-Polterovich [EP3] in their study of symplectic intersections. In Part 5, we combine the results obtained in the previous parts together with the results on the Lagrangian Floer theory of toric manifolds obtained in the series of our previous papers [FOOO3, FOOO4, FOOO6, FOOO7], give various new constructions of Calabi quasi-morphisms and new Lagrangian intersections results on toric manifolds and other Kähler surfaces. These results are obtained by detecting the heaviness of Lagrangian submanifolds in the sense of Entov-Polterovich [EP3] in terms of spectral invariants, critical point theory of potential functions and also the closed-open map from quantum cohomology to Hochschild cohomology of A -algebra of Lagrangian submanifolds. Finally in Part 6, we prove various technical results necessary to complete the constructions carried out in the previous parts. For example, we establish the isomorphism property of the Piunikhin map with bulk. We give the construction of Seidel homomorphism with bulk extending the results of [Se] and generalize the McDuff-Tolman s representation of quantum cohomology ring of toric manifolds in terms of Seidel elements [MT] to that of big quantum cohomology ring.

14 14 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO Some portion of the present paper is devoted to proving various results in Hamiltonian Floer theory, spectral invariants, Entov-Polterovich theory of symplectic quasi-states and others for arbitrary compact symplectic manifolds. These proofs are often similar to those in the literature except we apply virtual fundamental chain technique (via the Kuranishi structure) systematically. In fact, most of the literature assume semi-positivity since they do not use virtual fundamental chain technique. Even when virtual fundamental chain technique is used, not enough details on the way how to apply the technique are provided. Because of these reasons, for readers s convenience and for the completeness sake, we provide a fair amount of these details on the proofs in the literature in a unified and coherent fashion in the most general context using the framework of Kuranishi structure and virtual fundamental chain technique, without imposing any restrictions on the ambient symplectic manifold (M, ω). We include a brief summary of the theory of Kuranishi structure and its perturbation as Part 7 for reader s convenience. On the other hand, the most novel part of this paper is to combine the story of spectral invariants and Entov-Polterovich theory with that of bulk deformations, LagrangianFloer theory and the calculation of them in the toric case to obtain new examples, especially those appearing in Theorem Notations and Conventions. We follow the conventions of [Oh4, Oh7, Oh8] for the definition of Hamiltonian vector fields and action functional and others appearing in the Hamiltonian Floer theory and in the construction of spectral invariants and Entov-Polterovich s Calabi quasi-morphisms. There are differences from e.g., those used in [EP1, EP2, EP3] one way or the other. (See Subsection 1.3 for the explanation of the differences.) (1) The Hamiltonian vector field X H is defined by dh = ω(x H, ). (2) The flow of X H is denoted by φ H : t φ t H and its time-one map by ψ H = φ 1 H Ham(M,ω). We say that H or its associated map ψ H is nondegenerate if at p Fixψ H, the differential d p ψ H : T p M T p M does nothaveeigenvalue1. WedenotebyHam nd (M,ω)thesubsetofHam(M,ω) consisting of nondegenerate ψ H s. (3) We denote by [φ H ] the path homotopy class of φ H : [0,1] Ham(M,ω) relative to the ends which we generally denote ψ H = [φ H ]. We denote by z p H (t) = φt H (p) the solution associated to a fixed point p of ψ H = φ 1 H. (4) H(t,x) = H(1 t,x)isthetime-reversal Hamiltoniangeneratingφ 1 t H φ 1 H. (5) We denote by H 1 H 2 the Hamiltonian generating the concatenation of the two Hamiltonian paths φ H1 followed by φ t H 2. More explicitly, it is defined by (H 1 H 2 )(t,x) = 2H1 (2t,x) 0 t 1/2 2H 2 (2t 1,x) 1/2 t 1. (6) The action functional A H : L 0 (M) R is defined by 1 A H ([γ,w]) = w ω H(t, γ(t)) dt. (7) We denote by Per(H) the set of periodic orbits of periodic Hamiltonian system associated to the Hamiltonian H : [0,1] M R. Crit(A H ) is the set of critical points of A H. Its element is denoted by [γ,w] where 0

15 SPECTRAL INVARIANTS WITH BULK 15 γ Per(H) and w is a disk which bounds γ. We identify [γ,w] and [γ,w ] if w is homotopic to w. We define [γ,w] [γ,w ] if w ω = (w ) ω and denote by Per(H) the set of the equivalence classes. An element of Per(H) is denoted by γ,w. There exists a map Crit(A H ) π Per(H) Per(H) defined by [γ,w] γ,w, γ,w γ. (8) J ω = the set of ω-compatiblealmostcomplex structures. j ω = L(J ω ) = the set of S 1 -family J of compatible almost complex structures; J = {J t } t S 1. (9) P(j ω ) = Map([0,1] S 1,J ω ); (s,t) [0,1] S 1 J s t J ω. (10) K = {χ : R [0,1]} where χ is a smooth function with χ (τ) 0, χ(τ) 0 for τ 0 and χ(τ) 1 for τ 1. We define χ by χ = 1 χ. (11) For given H C (S 1 M,R), we define the R-family H χ by H χ (τ,t,x) = χ(τ)h(t,x). (1.19) (12) For J P(j ω ) we take J s = {J s,t ;t S 1 } such that and put J 1,t = J t, J 0,t = J 0, J s,0 = J 0, J χ (τ,t) = J χ(τ),t. (13) If H C ([0,1] S 1 M,R) and J P(j ω ), we put H χ (τ,t,x) = H(χ(τ),t,x), J χ (τ,t,x) = J(χ(τ),t,x). (1.20) (14) Let Ω (M) Λ be the completion of the algebraic tensor product Ω (M) Λ with respect to the metric induced by the valuation v q on Λ defined in item (18) below. The Piunikhin chain map P b (H χ,j χ) : Ω (M) Λ CF (M,H;Λ ) is associated to (H χ,j χ ) in (11),(12). (See Section 6). Λ is defined in item (17). The map Q b (H χ,j χ) : CF (M,H;Λ ) Ω (M) Λ is associated to χ(τ) = χ(1 τ). (See Section 26.) (15) We denote the set of shuffles of l elements by Shuff(l) = {(L 1,L 2 ) L 1 L 2 = {1,...,l}, L 1 L 2 = }. (1.21) For (L 1,L 2 ) Shuff(l) let #L i be the order of this subset. Then #L 1 + #L 2 = l. The set of triple shuffles is the set of(l 1,L 2,L 3 ) such that L 1 L 2 L 3 = {1,...,l} and that L 1,L 2,L 3 are mutually disjoint. (16) The universal Novikov ring Λ 0 and its filed Λ of fractions are defined by { } Λ 0 = a i T λi a i C,λ i R 0, lim λ i = +, i i=1 { } Λ = a i T λi a i C,λ i R, lim λ i = + = Λ 0 [T 1 ]. i i=1

16 16 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO The maximal ideal of Λ 0 is denoted by { } Λ + = a i T λi a i C,λ i R >0, lim λ i = +. i i=1 We define the valuation v T on Λ by ( ) v T a i T λi = inf{λ i a i 0}, v T (0) = +. i=1 (17) We also use the following (downward) Novikov ring Λ 0 and field Λ : { } Λ 0 = a i q λi a i C,λ i R 0, lim λ i =, i i=1 { } Λ = a i q λi a i C,λ i R, lim λ i = = Λ 0 [q]. i i=1 The maximal ideal of Λ 0 is denoted by { } Λ = a i q λi Λ λ i < 0. i=1 (18) We define the valuation v q on Λ by ( ) v q a i q λi = sup{λ i a i 0}, v q (0) =. i=1 Of course, Λ 0 and Λ are isomorphic to Λ 0 and Λ respectively by the isomorphism q T 1. Under the isomorphism we have v q = v T. The downward universal Novikov rings seem to be more commonly used in the study of spectral invariant (e.g., [Oh4]), while the upward versions Λ and Λ 0 are used in Lagrangian Floer theory (e.g., [FOOO1, FOOO2]). (19) Let V be a Z graded vector space over C. We put B k V = V V }{{} k times and BV = k=0 B kv where B 0 V = C. Then BV has a structure of coassociative coalgebra with coproduct. We note that we have two kinds of coproduct structures on BV. One is the deconcatenation coproduct defined by k decon (x 1 x k ) = (x 1 x i ) (x i+1 x k ). (1.22) i=0 The other is the shuffle coproduct defined by shuff (x 1 x k ) = ( 1) (x l1(1) x l1(k 1)) (x l2(1) x l2(k (1.23) 2)), (L 1,L 2) Shuff(k) where L j = {l j (1),...,l j (k j )} with l j (1) < < l j (k j ) for j = 1,2 and = degx l1(i)degx l2(j). (1.24) l 1(i)>l 2(j)

17 SPECTRAL INVARIANTS WITH BULK 17 It is easy to see that ( ) ( ( ) decon x k = x ) k x k k=0 shuff ( k=0 x k k! ) = k=0 ( k=0 ) x k k! k=0 ( k=0 ) (1.25) x k k! if degx is even. We write e x = k=0 x k or e x = k=0 x k k! according as we use decon or shuff as coproduct structures. Actually we only use decon for BV in this article. However on EV, which we describe in item (20), we use shuff, which is induced by shuff on BV. (20) The symmetric group Perm(k) of order k! acts on B k V by σ (x 1 x k ) = ( 1) x σ(1) x σ(k), where = i<j;σ(i)>σ(j) degx idegx j. We denote by E k V the quotient of B k V by the submodule generated by σ x x for σ Perm(k), x B k V. We denote by[x] anelement ofe k V and put EV = k=0 E k V. The shuffle coproduct structure on BV induces a coproduct structure on EV, which we also denote by shuff. It is given by shuff ([x 1 x k ]) = ( 1) ([x l1(1) x l1(k 1)]) ([x l2(1) x l2(k (1.26) 2)]). (L 1,L 2) Shuff(k) Here is the same as (1.24). Then EV becomes a coassociative and graded cocommutative coalgebra. In[FOOO1,FOOO3,FOOO4], wedenotebye k V theperm(k)-invariant subset of B k V and use the deconcatenation coproduct restricted to the subset. In [FOOO7], we use E k V as the quotient space and the shuffle coproduct on it as we do in this paper. This paper follows the conventions used in [FOOO7]. (21) Let L be a relatively spin closed Lagrangian submanifold of a symplectic manifold (M, ω). (a) For the case V = Ω(L)[1], we always use the deconcatenation coproduct decon on B(Ω(L)[1]). (b) For the case V = Ω(M)[2], we always use the shuffle coproduct shuff on E(Ω(M)[2]). Here Ω(L)[1] (resp. Ω(M)[2]) is the degree shift by +1 of Ω(L), i.e., (Ω(L)[1]) d = Ω d+1 (L) (resp. +2 of Ω(M), i.e., (Ω(M)[2]) d = Ω d+2 (M).) Therefore, no confusion can occur even if we use the same notation for the coproducts decon and shuff. (22) Sometimes we regard the de Rham complex (Ω(M),d) as a chain complex and consider its homology. In that case we put Ω k (M) = Ω dimm k (M), = ( 1) deg+1 d. See [FOOO1, Remark 3.5.8] for this sign convention. When a cohomology class a H dimm k (M) is represented by a differential form α and we regard α as an element of the chain complex (Ω (M), ), we denote the

18 18 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO homology class by a H k (M). We identify the singular homology H k (M) with H k (Ω (M),δ) by identifying a H k (Ω (M),δ) with the singular homology class represented by a cycle C satisfying C β = M a β for all closed form β on M. More generally If a H (M) Λ is expressed as then we define a = a i T λi a i H (M), λ i a = a iq λi, λ i. (23) We always denote by QH (M) = QH (M,Λ) the standard quantum cohomology ring with Novikov ring equipped with upward valuations. As a module, it is isomorphic to QH (M) = H (M) Λ = H (M) Λ = QH (M). (24) When we say that the boundary orientation of some moduli space is compatible with the orientation of strata corresponding to bubbling off disks (with boundary marked points), the compatibility means in the sense of [FOOO2, Proposition 8.3.3]. (25) In the present paper, we will exclusively use the quantum cohomology, the Hamiltonian Floer homology and Lagrangian Floer cohomology. Depending on the usage of homology or cohomology, we use different valuations v T or v q = v T on the Novikov ring Λ. When we emphasize we use parameter q and valuation v q we write Λ Difference between Entov-Polterovich s convention and ours. In this subsection we explain the difference between our convention and the one of Entov- Polterovich. The discussion of this subsection is not used anywhere else in this paper. Entov and Polterovich (see [EP3, equation (9)]) use the action functional 1 A H ([γ,w]) = w ω + H(t, γ(t)) dt (1.27) instead of (1.2). We note the relationship 0 A H = A H. (1.28) Theyuse it to define c(a ;H) for aquantum homologyclassa H (M;Λ ). (They do it in the same way as λ H given in (1.4) except the difference of convention mentioned above.) Put ρ EP (H;a) = c(a ;H). and define the function ζ EP e : C 0 (M) R: ζe EP ρ EP (nh;e) (H) := lim n n for autonomous C function H and µ EP e ( ψ) = vol ω (M) lim n (1.29) ρ EP ( ψ n ;e), (1.30) n where ρ EP ( ψ n ;e) is defined from ρ EP (H;e) in the same way as in (1.7). These functions exactly coincide with those defined by [EP1, EP2, EP3]. Now in the case b = 0 (1.27) implies the equalities ζ e (H) = ζ EP e ( H), µ e ( ψ H ) = µ EP e ( ψ H ), (1.31)

19 SPECTRAL INVARIANTS WITH BULK 19 which relate (1.8), (1.9) and (1.29), (1.30). For example, when e = 1 and H is a C 2 small autonomous Morse function, we have ρ(h;1) = minh, ρ EP (H;1) = maxh, which also shows that the values of Entov-Polterovich s spectral invariant are different in general from ours (the latter is also the same as that of [Oh4]). Moreover we can find an example for which the identity ζ e (H) ζe EP (H) holds, as follows. Consider an autonomous Hamiltonian H on T 2 = S 1 S 1 of the form π1h, where π 1 : S 1 S 1 S 1 is the first projection. Note that there are no non-constant contractible periodic orbits of X kh for any real number k. We find that ρ(kh;1) = minkh, ρ EP (kh;1) = maxkh. Therefore we have ζ 1 (H) = minh, while ζ1 EP (H) = maxh. The identities (1.31) imply that, for the case ζ e is actually homogeneous, not just semi-homogeneous, (namely if ζ e ( H) = ζ e (H)), then the two (partial) quasistates ζ e and ζe EP coincide. Remark Note the direction of inequality we used in Definition 1.3 is opposite to the one in Entov-Polterovich[EP3]. However, because of the minus sign in(1.31), Definition 1.3 is indeed consistent with that in [EP3]. We feel that the direction of the inequality above is easier to memorize and suits better for the general principle in symplectic topology in that getting a lower bound for the spectral invariants is much more nontrivial in general than getting an upper bound which is just a consequence of the general positivity principle in symplectic topology. We also remark that Entov-Polterovich use quantum homology and a Novikov ring similar to Λ. We use quantum cohomology and the Novikov ring Λ.

20 20 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO Part 1. Review of spectral invariants 2. Hamiltonian Floer-Novikov complex We first recall from Notations and Conventions (18) in Section 1 that we define a valuation v q on the (downward) universal Novikov field Λ by ( ) v q a i q λi = sup{λ i a i 0}. (2.1) i=1 It satisfies the following properties: (1) v q (xy) = v q (x)+v q (y), (2) v q (x+y) max{v q (x),v q (y)}, (3) v q (x) = if and only if x = 0, (4) v q (q) = 1, (5) v q (ax) = v q (x) if a C\{0}. This field will be the coefficient field of the Floer chain module whose description is in order. Let L 0 (M) be the set of all the pairs [γ,w] where γ is a loop γ : S 1 M and w : D 2 M a disc with w D 2 = γ. We denote by π 2 (γ) the set of homotopy classesof such w s. We identify [γ,w] and [γ,w ] if γ = γ and w is homotopic to w relative to the boundary γ. When a one-periodic Hamiltonian H : (R/Z) M R is given, we consider the perturbed functional A H : L 0 (M) R defined by A H ([γ,w]) = w ω H(t, γ(t))dt. (2.2) For a Hamiltonian H : [0,1] M R, we denote its flow, a Hamiltonian isotopy, by φ H : t φ t H Ham(M,ω). This gives a one-to-one correspondence between equivalenceclassesofh modulothe additionofafunction on[0,1]and Hamiltonian isotopies. We denote the time-one map by ψ H := φ 1 H. We put Fixψ H = {p M ψ H (p) = p}. Each element p Fixψ H induces a map z p = z H p : S 1 M by the correspondence z p (t) = φ t H(p), (2.3) where t R/Z = S 1. The loop z p satisfies Hamilton s equation ẋ = X H (t,x), z p (0) = p. Here X H is the (time-dependent) Hamiltonian vector field given by X H (t,x) = X Ht (x) where X Ht is the Hamiltonian vector field generated by the function H t : C (M) R. We denote by Per(H) the set of one-periodic solutions of ẋ = X H (t,x). Then (2.3) provides a one-to-one correspondence between Fixψ H and Per(H). The next lemma is well-known. Lemma 2.1. The set of critical points of A H is given by Crit(A H ) = {[γ,w] γ Per(H), w D 2 = γ}. Hereafter we assume that our Hamiltonian H is normalized in the sense of (1.6) unless otherwise stated explicitly.

21 SPECTRAL INVARIANTS WITH BULK 21 We say that H or its associated map ψ H is nondegenerate if at any p Fixψ H, the differential d p ψ H : T p M T p M does not have eigenvalue 1. The cardinality of Per(H) is finite if ψ H is nondegenerate. For each nondegenerate Hamiltonian, we are given the canonical real and integer grading A H : Crit(A H ) R, µ H : Crit(A H ) Z (2.4) induced by the action functional and the Conley-Zehnder index [CZ] respectively. We define an equivalence relation on Crit(A H ) such that [γ,w] [γ,w ] if and only if γ = γ and w ω = (w ) ω. We denote by Per(H) the set of such equivalence classes. The equivalence class of [γ,w] Per(H) is denoted by γ,w. The map A H in (2.4) induces a map Per(H) R, which we denote by the same symbol. We define maps π Crit(A H ) Per(H) Per(H) (2.5) by [γ,w] γ,w and γ,w γ. We denote by π : Crit(A H ) Per(H) the first map in (2.5). Note that the obvious concatenation defines a map # : π 2 (M) π 2 (γ) π 2 (γ). (2.6) We consider the map π 2 (M) R (2.7) defined by [v] v ω for v : S 2 M. Let K 2 (M) be the kernel of this map. Lemma 2.2. By the action (2.6) we can identify Per(H) = Crit(A H )/K 2 (M). The proofis easyand isomitted. See Lemma4.5 forthe relationbetween Per(H) and Per(H). WeconsidertheΛ vectorspaceĉf(m,h;λ )withabasisgivenbytheelements of the set Per(H). Definition 2.3. We define an equivalence relation on ĈF(M,H;Λ ) so that γ,w q c γ,w if and only if γ = γ, w ω = w ω +c. (2.8) D 2 D 2 The quotient of ĈF(M,H;Λ ) modded out by this equivalence relation is calledthefloercomplexoftheperiodichamiltonianh anddenotedbycf(m,h;λ ). Here we ignore the Z-grading, which is given by the Conley-Zehnder indices, in defining the equivalence relation unlike the case of standard literature of Hamiltonian Floer homology such as [HS], where additional requirement c 1 (w#w ) = 0 is imposed in the definition of Floer complex, denoted by CF(H). For the purpose of the current paper, the equivalence relation (2.8) is enough and more favorable in that it makes the associated Novikov ring becomes a field. To differentiate the current definition from CF(H), we denote the complex used in the present paper by CF(M,H;Λ ).

22 22 K. FUKAYA, Y.-G. OH, H. OHTA, K. ONO Lemma 2.4. As a Λ vector space, CF(M,H;Λ ) is isomorphic to the direct sum (Λ ) #Per(H). Moreover the following holds: We fix a lifting γ,w γ Per(H) for each γ Per(H). Then any element x of CF(M,H;Λ ) is uniquely written as a sum x = x γ γ,w γ, with x γ Λ. (2.9) γ Per(H) The proof is easy and omitted. Definition 2.5. (1) Let x be as in (2.9). We define the level function λ H (x) = max{v q (x γ )+A H ( γ,w γ ) x γ 0}. (2) We define a filtration F λ CF(M,H;Λ ) on CF(M,H;Λ ) by We have F λ CF(M,H;Λ ) = {x CF(M,H;Λ ) λ H (x) λ}. F λ1 CF(M,H;Λ ) F λ2 CF(M,H;Λ ) if λ 1 < λ 2. We also have F λ CF(M,H;Λ ) = {0}, λ (3) We define a metric d q on CF(M,H;Λ ) by F λ CF(M,H;Λ ) = CF(M,H). λ d q (x,x ) = e λh(x x ). (2.10) Definition 2.5, together with (2.1) and (2.8), implies that λ H (ax) = v q (a)+λ H (x) for a Λ, x CF(M,H;Λ ). We also have q λ1 F λ2 CF(M,H;Λ ) F λ1+λ2 CF(M,H;Λ ). Lemma 2.6. (1) The definition of λ H given in Definition 2.5 is independent of the choice of the lifting γ [γ,w γ ] with γ Per(H). (2) CF(M,H;Λ ) is complete with respect to the metric d q. (3) The infinite sum x γ,w γ,w γ,w Per(H) converges in CF(M,H;Λ ) with respect to the metric d q, provided { γ,w Per(H) v q (x γ,w )+A H ( γ,w ) > C, x γ,w 0}. is finite for any C R. The proof is easy and omitted.

23 SPECTRAL INVARIANTS WITH BULK Floer boundary map Inthissectionwedefinetheboundaryoperator (H,J) oncf(m,h;λ )sothatit becomes a filtered complex. Let a nondegenerate one-periodic Hamiltonian function H and a one-periodic family J = {J t } t S 1 of compatible almost complex structures be given. The study of the following perturbed Cauchy-Riemann equation u ( u τ +J t X H t (u) = 0 (3.1) is the heart of the Hamiltonian Floer theory. Here and hereafter J in (3.1) means J t. Remark 3.1. (1) In this paper, we never use perturbation of (a family of) compatible almost complex structures J to achieve transversality of the moduli space of the Floer equations (3.1) but use abstract perturbations (multisections and CF-perturbations of the Kuranishi structure in the sense of [FO, FOOO2, FOOO11]) to achieve the necessary transversality. See Part 7 for a summary of Kuranishi structure and CF-perturbation. (2) In Parts 1-3 (and somewhere in the appendix) we use a t-parameterized family of compatible almost complex structures {J t } t S 1. However we emphasize that we do not need to use an S 1 -parameterized family of compatible almost complex structures but can use a fixed compatible almost complex structure J, to prove all of our main results of this paper. (We need to use a t-dependent J for the construction in Sections 29 and 30.) The t-dependent J is included only for the sake of consistency with the reference on spectral invariants. (Traditionally t-dependent J had been used to achieve transversality. As we mentioned in (1), we do not need this extra freedom in this paper since we use abstract perturbations.) The following definition is useful for the later discussions. Definition 3.2. Let γ, γ Per(H). We denote by π 2 (γ,γ ) the set of homotopy classes of smooth maps u : [0,1] S 1 M relative to the boundary u(0,t) = γ(t), u(1,t) = γ (t). We denote by [u] π 2 (γ,γ ) its homotopy class. As we defined at the beginning of Section 2, π 2 (γ) denotes the set of relative homotopy classes of the maps w : D 2 M;w D 2 = γ. For C π 2 (γ,γ ), there is a natural map of ( )#C : π 2 (γ) π 2 (γ ) induced by the gluing map w w#c. There is also the natural gluing map π 2 (γ 0,γ 1 ) π 2 (γ 1,γ 2 ) π 2 (γ 0,γ 2 ), (u 1,u 2 ) u 1 #u 2. Foreach[γ,w],[γ,w ] Crit(A H ), wewilldefineamodulispacem(h,j;[γ,w],[γ,w ]). We begin with the definition of the energy. Definition 3.3. (Energy) For a given smooth map u : R S 1 M, we define the energy of u by E (H,J) (u) = 1 ( u 2 + u 2 τ J t X H t (u) 2 ) dtdτ. J Here and hereafter we denote u τ 2 J Å u = ω τ,j t ) Å ãã u. τ