Lagrangian configurations and Hamiltonian maps

We study configurations of disjoint Lagrangian submanifolds in certain low-dimensional symplectic manifolds from the perspective of the geometry of Hamiltonian maps. We detect infinite-dimensional flats in the Hamiltonian group of the two-sphere equipped with Hofer's metric, prove constraints on Lagrangian packing, find instances of Lagrangian Poincaré recurrence, and present a new hierarchy of normal subgroups of area-preserving homeomorphisms of the two-sphere. The technology involves Lagrangian spectral invariants with Hamiltonian term in symmetric product orbifolds.

1.1.Overview.A symplectic structure ω on an even-dimensional manifold M 2n can be viewed as a far reaching generalization of the two-dimensional area on surfaces: by definition, ω is a closed differential 2-form whose top wedge power ω n is a volume form.The group Symp(M, ω) of all symmetries of a symplectic manifold, i.e. of diffeomorphisms preserving the symplectic structure, contains a remarkable subgroup of Hamiltonian diffeomorphisms Ham(M, ω).When M is closed and its first cohomology vanishes, Ham coincides with the identity component of Symp.At the same time, in classical mechanics, where M models the phase space, Ham arises as the group of all admissible motions.This group became a central object of interest in symplectic topology in the past three decades.In spite of that, some very basic questions about the algebra, geometry and topology of Ham(M, ω) are far from being understood even when M is a surface.
Let us briefly outline the contents of the paper.First, we obtain new results on Hofer's bi-invariant geometry of Ham(M, ω) in the case where M = S 2 is the two-dimensional sphere.We establish, roughly speaking, that Ham(S 2 ) contains flats of arbitrary dimension, thus solving a question open since 2006.A similar result was obtained simultaneously and independently, by using a different technique, in a recent paper by Cristofaro-Gardiner, Humilière and Seyfaddini [13].Furthermore, our method yields an infinite hierarchy of normal subgroups of areapreserving homeomorphisms of the two-sphere, all of which contain the normal subgroup of homeomorphisms of finite energy discovered in [13].Additionally, we find a new constraint on rotationally symmetric homeomorphisms of finite energy.
Second, we extend a number of elementary two-dimensional phenomena taking place on S 2 to the stabilized space S 2 × S 2 , where the area of the second factor is "much smaller" than that of the first one.These phenomena include constraints on packing by circles, which correspond to packings by two-dimensional tori after stabilization, and a version of Poincaré recurrence theorem for sets of zero measure in the context of Hamiltonian diffeomorphisms.Furthermore, we prove a stabilized version of our results on Hofer's geometry presented above.
To illustrate the stabilization paradigm, an elementary area count shows that one cannot fit into the sphere of unit area k pair-wise disjoint Hamiltonian images of a circle L bounding a disc of area > 1/k.We shall show that the same is true for L × equator in the stabilized space.Here the area/volume control miserably fails: a two-dimensional torus does not bound any volume in a four-manifold!The first instance of such a stabilization was discovered in a recent paper by Mak and Smith [38], who studied constraints on the displaceability of collections of curves on S 2 .Recall, that a set X ⊂ M is called displaceable if there exists a Hamiltonian diffeomorphism φ with φ(X) ∩ X = ∅.This notion, introduced by Hofer in 1990, gives rise to a natural "small scale" on symplectic manifolds.Mak and Smith noticed that certain "small sets" on M become more rigid when one looks at them in the symmetric product, a symplectic orbifold (M ) k / Sym k where Sym k stands for the permutation group.On the technical side, our main observation is that a powerful Floer-theoretical tool, Lagrangian spectral invariants with Hamiltonian term, as developed by Leclercq-Zapolsky and Fukaya-Oh-Ohta-Ono, extends to Lagrangian tori in symmetric product orbifolds and can be applied to the study of the above-mentioned questions on Hamiltonian maps.With this language, our paper provides a toolbox for measurements of large energy symplectic effects on small geometric scales by using Floer theory in symmetric products.
Let us note that the idea of looking at configuration spaces of points on a surface, the two-sphere in particular, in order to construct invariants of Hamiltonian diffeomorphisms goes back to Gambaudo and Ghys [24].Technically, it turns out that for this paper it is beneficial to work with symmetric products, which are certain compactifications of unordered configuration spaces, and instead of the sphere to look at a certain stabilization of it to a four-manifold.Thus our approach can be considered as a "symplectization" of the one by Gambaudo and Ghys.Furthermore, the central objects of interest to us are certain collections of pair-wise disjoint Lagrangian submanifolds which in some sense govern Hamiltonian dynamics.These are the Lagrangian configurations appearing in the title of the paper.1.2.Flats in Hofer's geometry.In [31] Hofer has introduced a remarkable bi-invariant metric on the group Ham(M, ω) of Hamiltonian diffeomorphisms of a symplectic manifold (M, ω).It can intuitively be thought of as the minimal L ∞,1 energy required to generate a given Hamiltonian diffeomorphism.For a time-dependent Hamiltonian H in C ∞ ([0, 1] × M, R) we denote by {φ t H } t∈[0,1] the Hamiltonian isotopy generated by the vector field X t H given by ω(X t H , •) = −dH t (•), where H t (•) = H(t, •) for all t ∈ [0, 1].We say that H has zero mean if H t ω n = 0 for all t ∈ [0, 1].When the symplectic manifold is closed, the Hofer distance of φ ∈ Ham(M, ω) to the identity is defined as where the infimum is taken over all zero mean Hamiltonians generating φ.It is extended to arbitary pairs of diffeomorphisms by the bi-invariance, d Hofer (ψφ, ψφ ′ ) = d Hofer (φψ, φ ′ ψ) = d Hofer (φ, φ ′ ), for all φ, φ ′ , ψ ∈ Ham(M, ω).
The non-degeneracy of d Hofer was studied in many further publications such as [49,57] and was proven to hold for arbitrary symplectic manifolds in [33].Let us mention also that Hofer's metric naturally lifts to a (pseudo)-metric on the universal cover Ham(M, ω), where the question about its non-degeneracy is still open in full generality.We refer to [51] for a detailed introduction to the Hofer metric and many of its aspects and properties.
The main question related to the Hofer metric, Problem 20 in [41], is whether its diameter is infinite for all symplectic manifolds, and when it is, which unbounded groups can be quasi-isometrically embedded into (Ham(M, ω), d Hofer ).This settles a question of the first author and Kapovich from 2006, cf.Problem 21 [41].A similar result was obtained simultaneously and independently in [13] by completely different methods based on periodic Floer homology.As, by a classical theorem [5, Théorème 10, p. 187] from a book of Banach, every separable metric space admits an isometric embedding into C 0 c (I), and by smooth approximation, the latter is quasi-isometric to C ∞ c (I), Theorem A implies the following.
Corollary 1.Every separable metric space admits a quasi-isometric embedding into Ham(S 2 ) endowed with d Hofer .
For closed surfaces of higher genus, flats of arbitrary dimension were found in [54].The proof is based on the fact that such a surface admits an incompressible annulus foliated by non-displaceable closed curves.Symplectic rigidity of these curves yields the result.The lack of such an annulus in the case of S 2 requires a new tool, Lagrangian estimators, which we develop by using Lagrangian Floer theory in orbifolds, see Sections 2 and 6.
In fact, our method of proof yields the following statement about Hofer's geometry in dimension four.Throughout the paper S 2 (b) stands for the sphere equipped with the standard area form normalized in such a way that the total area equals b.We abbreviate S 2 = S 2 (1).
For a > 0, consider a symplectic manifold Theorem B. Assume that a > 0 is small enough.The isometric monomorphism Φ : G → Ham(S 2 ) from Theorem A can be chosen in such a way that is a bi-Lipschitz embedding.Furthermore, the monomorphism of the universal covers Ψ : G → Ham(M a ) covering Ψ is an isometric embedding.
1.3.Lagrangian packing.Let K r be a simple closed curve on the sphere 2a) be the equator.Note that the Lagrangian torus Λ r = K r × S can be Hamiltonianly k-packed into M a , that is, there are k Hamiltonian diffeomorphisms φ 1 = id, φ 2 , . . ., φ k of M a such that {φ j (Λ r )} 1≤j≤k are pairwise disjoint.Indeed, such a packing exists for K r ⊂ S 2 .
Theorem C (Lagrangian packing).One cannot pack M a = S 2 × S 2 (2a) by k + 1 Hamiltonian images of Λ r if a is sufficiently small.
We present an argument, based on asymptotic Hofer's geometry, in Section 3.6.
1.4.Lagrangian Poincaré recurrence.Using the Lagrangian packing obstructions, we are able to make the following progress on the well-known Lagrangian Poincaré recurrence conjecture in Hamiltonian dynamics [26].It is a version of the classical Poincaré recurrence theorem, but in the setting of Lagrangian submanifolds instead of sets of positive measure.Note that except for the case of surfaces, this is a purely symplectic question, since Lagrangian submanifolds do not bound and they have zero measure.
Let Λ r ⊂ M a be a Lagrangian torus as in Section 1.3.For an arbitrary Hamiltonian diffeomorphism φ ∈ Ham(M a ), consider the recurrence set Theorem D (Lagrangian recurrence).The lower density of R φ is at least 1/k.We remark that while in [25] a similar statement was proven for specific rigid Hamiltonian diffeomorphisms of complex projective spaces (pseudo-rotations) and arbitrary Lagrangians, we provide the first non-trivial higher-dimensional examples of Lagrangian submanifolds satisfying the recurrence property for all Hamiltonian diffeomorphisms.
1.5.Area-preserving homeomorphisms of S 2 .It has been established by Cristofaro-Gardiner, Humilière and Seyfaddini [13] that the group G S 2 of symplectic homeomorphisms of the sphere possesses a non-trivial normal subgroup G F S 2 of homeomorphisms of finite energy.These are the homeomorphisms φ for which there exists a sequence of Hamiltonian diffeomorphisms ψ j and a constant C > 0 such that d C 0 (ψ j , φ) → 0 and d Hofer (ψ j , id) ≤ C.This is achieved by showing that radially symmetric Hamiltonian homeomorphisms of bounded energy satisfying a certain monotone twist condition must, in a precise sense, have finite Calabi invariant.We extend this result as follows.
Let z : S 2 → [−1/2, 1/2] be the moment map for the standard S 1 -action on S 2 .It is the height function for the standard embedding of S 2 in R 3 scaled by a factor of 1/2.Let h The proof is based on a combination of [13,Lemma 3.11], an interesting soft result relating C 0 -smallness, supports, and the Hofer metric, with our Lagrangian spectral estimators.It turns out that suitable linear combination of these invariants are continuous with respect to the C 0 topology on Ham(S 2 ) and extend to the group G S 2 .In fact, our invariants give rise to an infinite series of pair-wise distinct normal subgroups of G S 2 containing G F S 2 , see Section 5 for a precise formulation.
Remark 2. It is easy to see that if h is bounded then φ ∈ G F S 2 .It would be very interesting to bridge the discrepancy between this observation and Theorem E further.Note that there do exist unbounded functions h whose primitives are bounded.We expect that arguments along the lines of Sikorav's trick as in Section 3.6 and lower bounds in terms of further linear combinations of the c k,B invariants could be useful to this end.Remark 3. We note that a suitable generalized limit construction (e.g., the Banach limit or the limit with respect to a non-principal ultrafilter) yields the existence of many homomorphisms φ → C(φ) ∈ R on the group of φ as in Theorem E that coincide with the Calabi invariant of φ Organization of the paper: In Section 2 we introduce and list the properties of Lagrangian estimators, our main technical tool.The detailed construction of the estimators via Lagrangian Floer theory in symmetric products, as well as the proof of their properties is presented in Section 6.
Section 3 deals with flats in Hofer geometry.We prove Theorems A and B, and present a result on infinite-dimensional flats in subgroups of Hamiltonian diffeomorphisms of the disc with vanishing Calabi invariant.Additionally, we derive an estimate on the asymptotic Hofer norm which is used in the proof of Theorem C on Lagrangian packing.This proof can be found in Section 3.6.
In Section 4 we deduce Theorem D on Lagrangian recurrence from the packing constraint by a combinatorial argument.
In Section 5 we prove the C 0 -continuity of certain linear combinations of our invariants and present applications to normal subgroups of the group of areapreserving homeomorphisms of S 2 .
We conclude the paper with a discussion of further directions in Section 7.

Lagrangian estimators
In this section we introduce three slightly different flavors of Lagrangian estimators, the main technical tool of the present paper.These are functionals with a number of remarkable properties defined on the space of time-dependent Hamiltonians (spectral estimators), on the group of Hamiltonian diffeomorphisms (group estimators), and on the Lie algebra of functions on a symplectic manifold (algebra estimators).They somewhat resemble, but are different from, partial symplectic quasi-morphisms and quasi-states introduced in [16], respectively (see Remark 7 below).
We rely on the theory of Lagrangian spectral invariants [23,35,36] in the setting of bulk-deformed Lagrangian Floer homology [19] for symplectic orbifolds [11] and crucially its recent investigation [38] in the context of Lagrangian links in symplectic four-manifolds.The output of our construction is a new invariant of a Hamiltonian diffeomorphism of S 2 that instead of being supported on a single nondisplaceable Lagrangian circle is supported on a non-displaceable configuration of pair-wise disjoint and (in general) individually displaceable Lagrangian circles.
We start with a couple of preliminary notions and notations.Let z : S 2 → [−1/2, 1/2] be the moment map for the standard S 1 = R/Z-action on S 2 .It is instructive to think that S 2 = S 2 (1) is the round sphere of radius 1/2 in R 3 equipped with the standard area form divided by π, and z is simply the vertical Euclidean coordinate.
Let k ≥ 1 be a positive integer, and let 0 < C < B be two positive rational numbers such that 2B + (k − 1)C = 1.
Denote by L 0 k,B ⊂ S 2 be the configuration of k disjoint circles given by L 0 k,B = 0≤j<k L 0,j k,B , where Let 0 < a < B − C be a rational number.Consider the symplectic manifold M a = S 2 × S 2 (2a).Denote by S the equator of S 2 (2a) and put For an open subset U of a 2n-dimensional symplectic manifold and a Hamiltonian H supported in [0, 1] × U we define the Calabi invariant as Moreover, Cal defines a homomorphism Cal : Ham c (U ) → R.
Finally, we call an open set U displaceable from a subset V if there exists a Hamiltonian diffeomorphism θ such that θ(U ) ∩ V = ∅.
Now we are ready to formulate the main result of the present section.
Theorem F (Lagrangian spectral estimators).For each k, B, a as above, with B, a rational, there exists a map satisfying the following properties:

(Controlled additivity) If
Remark 4. In fact, the controlled additivity property of c k,B holds under the more general assumption that for all 0 ≤ j < k and t ∈ [0, 1].However, since we do not use this stronger version, we chose to omit it for simplicity of exposition.
In turn, this implies by homogenization that the following holds.
Theorem G (Lagrangian group estimators).For each k, B, a as above, with B, a rational, there exists a map satisfying the following properties:

(Calabi property) If a Hamiltonian
The proof is given in Section 6.3.4 below.
Remark 5.The rationality of B, a is necessary for the Lagrangian control property and the Calabi property.In our applications to Hofer's geometry this will not lead to a loss of generality because Q is dense in R. Note also that ψφψ −1 in the Conjugation invariance property (Property 6.) depends only on φ and the image of ψ under the natural map Ham(M a ) → Ham(M a ).We note that if ψ 2 = id and φψ = ψφ in Ham(M a ) then Indeed commutative subadditivity implies that −µ(ψ) ≤ µ(φψ) − µ(φ) ≤ µ(ψ), while positive homogeneity yields µ(ψ) = 0.Moreover, note that by the Hofer-Lipschitz property one can naturally extend µ k,B to a map C 0 ([0, 1] × M, R) → R satisfying a directly analogous list of properties.
Remark 6.While it is not directly pertinent to our applications in this paper, it would be interesting to explicitly calculate the restriction of c k,B and µ k,B to π 1 (Ham(M a )).It will be determined by the valuation of a suitable Seidel representation evaluated on Gromov's loop of infinite order in π 1 (Ham(M a )) and respectively its homogenization.
It turns out to be useful to consider the restriction of µ k,B to the space C ∞ (M a , R) of Hamiltonians which do not depend on time.We recall that the Poisson bracket of two functions F, G ∈ C ∞ (M a , R) is defined as {F, G} = dF (X G ).The following list of properties is a direct consequence of those in Theorem G: note that quasiadditivity and vanishing follow from commutative subadditivity and the Calabi property of µ k,B .
Theorem H (Lagrangian algebra estimators).The map H) which satisfies the following properties:

(Positive homogeneity) For all
H).

(Quasi-additivity and vanishing
and if in addition G is supported in U displaceable from L k,B , then Finally, we consider the restriction of the invariants µ k,B , ζ k,B to Hamiltonians on S 2 by means of the stabilization by the zero Hamiltonian. H).These maps satisfy the corresponding lists of properties as in Theorems F,G,H with M a replaced by S 2 , L j k,B by L 0,j k,B , and L k,B by L 0 k,B everywhere.In addition, c 0 k,B and µ 0 k,B satisfy the following stronger independence of the Hamiltonian property: c 0 k,B (H) and µ 0 k,B (H) for a mean-normalized Hamiltonian H ∈ C ∞ ([0, 1] × S 2 , R) depend only on φ = φ 1 H ∈ Ham(S 2 ).As a function c 0 k,B : Ham(S 2 ) → R it satisfies the subadditivity, Calabi, and controlled additivity properties.As a function µ 0 k,B : Ham(S 2 ) → R it satisfies the conjugation invariance, positive homogeneity, commutative subadditivity, and the Calabi properties.In particular, Proof.The proof of all statements is immediate, except for stronger independence of the Hamiltonian.To this end, we observe that by a classical result of Smale π 1 (Ham(S 2 )) ∼ = Z/2Z.Let ψ be its generator.Since π 1 (Ham(S 2 )) lies in the center of Ham(S 2 ), the result for µ 0 k,B follows from (2).For c 0 k,B we have c 0 k,B (ψ) = 0 by Lagrangian control, since ψ is generated by the mean-zero Hamiltonian F = z : S 2 → [−1/2, 1/2].Hence by subadditivity, for all φ ∈ Ham(S 2 ) we have Replacing φ by φψ and using ψ 2 = id, we obtain the inequality c 0 k,B (φ) ≤ c 0 k,B (φψ) in the reverse direction.
Remark 7. We observe that the maps ζ 0 k,B , and hence also ζ k,B , are not partial symplectic quasi-states for k > 1.Indeed, ζ 0 k,B equals 1/k for the cut-off of the indicator function of a small neighbourhood of L 0,0 k,B , a circle of our configuration having the smallest area.But this circle is displaceable, a contradiction with the vanishing axiom for quasi-states.However, it is not hard to see that the choices involved in the Floer data defining ζ 0 1,1/2 can be chosen in such a way that it coincides with the symplectic quasi-state ζ 0 on S 2 (which is in fact unique: see [52, Exercise 5.4.29]).

Hofer's geometry: proofs and further results
Here we apply the techniques of Lagrangian estimators to the proof of our main applications to Hofer's geometry.Note that for proofs of Theorems A and B we need the simplest Lagrangian configurations consisting of two circles.

Proof of Theorem A.
Step 1: Construction.We start with a more explicit formulation of the theorem.Consider a symmetric interval I = (−b, b) for b < 1/6.Let F I ⊂ C ∞ c (I) be the space of even compactly supported smooth functions on I.In other words with the C 0 distance naturally embeds into F I by even extension.
Consider the standard symplectic sphere (S 2 , ω) of total area 1.It admits a Hamiltonian S 1 -action whose zero-mean normalized moment map z : keeping in mind that the Hofer metric works with zero-mean Hamiltonians.We first build an embedding of F I to the space I of even functions of integral zero in be the time-one map of Γ(h).It is immediate by construction that this map Φ : We claim that the monomorphism of groups is an isometric embedding.
Step 2: Proof of the claim.Note that by (3), the main step in the proof of the claim is the inequality for all h ∈ F I , it is sufficient to prove (4) under the assumption that |h| C 0 = h(x 0 ) > 0. Note that in this case h(x 0 ) = h(−x 0 ), and hence either x 0 = 0, or we can assume that ) is a sequence of rational numbers converging to x 0 .Here we fix a rational parameter 0 < a < 1/2 − 3b for defining ζ 0 2,B i as in Theorem I.By continuity of h we now have Now by the Lagrangian control property of ζ i we have and by the Hofer-Lipschitz and independence of Hamiltonian properties for all i.Therefore taking limits as i → ∞ we obtain as required.This finishes the proof.
Remark 8. We note that the interval I = (−1/6, 1/6) in the claim of Step 1 is the best possible using the method we describe in this paper.Indeed, the disconnected Lagrangian given by z −1 ({±(1/6 + δ)}) yields a Lagrangian in the symmetric square that is displaceable from itself.(See Section 6 for a description of the framework.).Moreover, Sikorav's trick in Section 3.6 below shows that this embedding is not isometric for b > 1/6.
Remark 9. Note also that for any odd function h . Hence all such odd autonomous Hamiltonians generate one-parametric subgroups in the ball of Hofer of radius C around the identity.From this perspective, it is natural that our construction is based on even functions.

Proof of Theorem
Arguing as in the proof of Theorem A we get that the monomorphism Ψ : In order to pass from the universal cover to the group itself, we shall restrict ourselves to the subspace Suppose without loss of generality that ||h|| C 0 = h(r) > 0 with r ∈ (0, b).
Consider the invariant µ 2,B : Ham(M a ) → R provided by Theorem G for In order to proceed further, we have to understand the effect of the fundamental group π 1 (Ham(M )).It is a finitely generated abelian group.In fact by [1, Theorem 1.1] we have π 1 (Ham(M )) ∼ = Z ⊕ Z/2Z ⊕ Z/2Z.The Z/2Z terms appear from the natural maps π 1 (Ham(S 2 )) → π 1 (Ham(M )) corresponding to the two components of M = S 2 × S 2 .The Z term is the well-known Gromov loop [27], investigated in detail by Abreu and McDuff [1,39].
As in the proof of Theorem A it is easy to see that µ 2,B vanishes on T and by commutative subadditivity descends to Ham(M )/T.However, the same is not clear for A. We proceed differently.
Observe that by [47, Theorem 1.2] there exists a homogeneous Calabi quasimorphism ρ : Ham(M ) → R that is 1-Lipschitz in the Hofer metric and restricts to a non-trivial homomorphism G → R. It vanishes on the torsion T so we can consider it to be a homomorphism ρ : A → R. Choosing a generator g of A, we have ρ(g k ) = k • ρ(g) for a positive constant ρ(g).It is also known that ρ(Ψ(h)) = h(0) = 0 for h ∈ F 0 I .This follows from ρ yielding a symplectic quasi-state on C ∞ (M a , R) and S × S ⊂ M a , where S ⊂ S 2 is the equator, being a stem (see [16,17,52]).

Define the map
Let Ψ : F 0 I → Ham(M ) be the homomorphism covering Ψ. Observe that ν r is 1-Lipschitz in Hofer's metric, where R 2 is endowed with the l ∞ norm.
By the above-mentioned properties of ρ, and by Lagrangian control of µ 2,B , we can calculate for an arbitrary element Ψ(h)g k f covering Ψ(h), where f ∈ T, that This implies that (g,id) , the last step being an easy optimization in |k|.Therefore we have and hence This finishes the proof.

3.3.
Almost flats in the kernel of Calabi.Fix the interval ).Note that in this case B > C, so µ k,B is well-defined.We prove that the space of all functions G k ⊂ C ∞ c (I k ) with zero mean admits an isometric embedding into (Ham(S 2 ), d Hofer ).Recall that for a proper open subset U ⊂ S 2 its symplectic form is exact, and the Calabi homomorphism Observe that by the natural constant extension we have the inclusion Ham c (U ) → Ham(S 2 ).In particular, ker(Cal U ) can and shall be considered to be a subgroup of Ham(S 2 ).Starting from the following result we require configurations L k,B for all values of k.

We call a map
), d Hofer be given by A similar result is proved in [13].
The proof of this statement is similar to that of Theorem A, with the additional observation that by the conjugation invariance of µ k,B we may suppose that the open set U contains D 1/k for k sufficiently large.Moreover, passing from smooth functions on an interval, say )) to functions in G k can be easily carried out by odd extension about the midpoint On one hand by use of Lagrangian estimators for the lower bound, and the evident upper bound on the Hofer norm via the Hamiltonian, we obtain (We remark that one can show that D k < 2 for all k.) Finally, analogously to the proof of Theorem B, we can show that these almost isometric embeddings extend to stabilizations on the level of universal covers and remain bi-Lipschitz embeddings on the level of groups.
The monomorphism of groups is a bi-Lipschitz embedding.In fact, there exists K ≥ 1 such that for all At the same time, the monomorphism Question 10.In [22] a family of non-displaceable Lagrangian tori was constructed on S 2 × S 2 .It is possible to prove that these tori yield the existence of large flats in Ham(S 2 × S 2 ).These flats do not come by stabilization from S 2 .Is it possible to prove that they cannot be at a finite Hofer distance from a flat supported in an arbitrarily small neighborhood of a symplectic divisor of the form {pt} × S 2 ?
The Hofer norm is known to yield quantitative invariants of subsets in symplectic manifolds, for instance the displacement energy ( [31], see also [51]).It turns out that the asymptotic Hofer norm produces an invariant of subsets of symplectic manifolds controlling their packing number.
Let A ⊂ M be a compact subset.Its packing number k(A) ∈ N∪{∞} is defined as the maximal k such that there exist θ 1 , . . ., Let C ∞ 0 (M ; R) denote the space of mean-zero smooth functions on M. For f ∈ C ∞ 0 (M ; R), set φ f ∈ Ham(M, ω) for the class of the time-one Hamiltonian isotopy which it generates.
where the infimum runs over all open neighborhoods U of A.
Remark 12.A more elaborate alternative invariant α ′ (A) would be the infimum over open neighborhoods U of A of constants a > 0 such that the map for all φ, ψ ∈ ker(Cal U ) and b ≥ 0 independent of φ, ψ.It is easy to see that α(A) ≤ α ′ (A) and Proposition 13 below applies to α ′ (A) as well.
In view of Sikorav's trick [32,56], which we recall below in detail for the reader's convenience, we obtain the following.
Proposition 13.The packing number of A satisfies where the right hand side is by convention ∞ if α(A) = 0.
Proof of Proposition 13.It is sufficient to prove that k(A) ≤ 1 α(A) .If α(A) = 0, there is nothing to prove.Hence we suppose that α(A) > 0. Then we can prove the equivalent statement that α(A) ≤ 1/k(A).
Suppose that M can be packed by l ≤ k copies of A. Namely, let Let us show that ν( φ f , id) ≤ 1/l, as calculated in Ham(M, ω), which implies our claim.Indeed by the conjugation invariance of Hofer's pseudo-metric on Ham(M, ω), Next, we study the asymptotic Hofer norm in the following situation.Let M = S 2 with a round area form of total area 1.We write z for the vertical coordinate scaled by a factor of 1/2.Let us fix B > C > 0 with 2B + (k − 1)C = 1.Consider a Lagrangian configuration ⊔ 1≤j≤k {z = z j }, where Denote by σ B,C the measure 1 k k j=1 δ z j .By using Lagrangian estimators µ B i ,k as in Theorem G, for rational B i i→∞ − −− → B, we get that for every smooth function h = h(z) on S 2 with zero mean the asymptotic Hofer norm satisfies (7) ν(φ h ) = lim Let us emphasize that in this definition the flow φ t h naturally lifts to the universal cover Ham and we consider Hofer's metric there.Question 14.Is this estimate is sharp?
As a test, we fix small δ > 0 and At the same time, note that there exists a packing of S 2 by k copies of the support of h, so by Proposition 13 u(r) ≤ 1/k.Thus u(r) = 1/k, so the estimate is sharp.
Presumably, progress in the direction outlined in Section 7.1 will yield efficient lower bounds on the asymptotic Hofer norm for more general autonomous Hamiltonians.If the answer is affirmative, it would be interesting to calculate or estimate this quantity.Our method, based on spectral invariants in Lagrangian Floer theory on orbifolds, yields "yes" when (P, Ω) is a 2-sphere of area 2a with B + a > C. In fact, we have in this case u P (r) = 1/k as above.
Now we discuss another version of the stabilization.Let S ⊂ P be a closed Lagrangian submanifold, and let f W be a smoothing of the characteristic function of a small Weinstein neighbourhood W of S. Consider the Hamiltonian h r,δ f W .We denote by u S (r) the lower limit of the corresponding asymptotic Hofer norm when r → 0 and W shrinks to S.
Question 16.Under which assumptions on S, one has u S (r) > 0?
For instance, when P is S2 of area 2a with B > C + a and S is the equator, Hamiltonians h r,δ f W , are concentrated near Λ r := K r ×S, and the same argument based on Theorem G and Proposition 13 yields (8) u S (r) = 1/k .
3.6.Lagrangian packing via Hofer's geometry.Here we use identity (8) for the asymptotic Hofer norm in order to deduce Theorem C.
Remark 17. Theorem C can be interpreted as follows 2 .Consider m = k + 1 Hamiltonian copies Then the collection {L j } 1≤j≤m has the following "Borromean" property: for every proper subset I of {1, . . ., m} there exist {θ j ∈ Ham(M a )} j∈I such that {θ j (L j )} j∈I are pairwise disjoint, but for I = {1, . . ., m} such a disjoinment does not exist.Of course this is part of a general phenomenon, which arises for any compact set A ⊂ M with finite packing number k(A), if we take m = k(A) + 1.
Question 18.Is it possible to prove that for a larger than B − C one can pack k + 1 Hamiltonian images of Λ or more?The recent methods of Hind and Kerman [30] might help produce packings of this kind.

Lagrangian Poincaré recurrence: proof
Proof of Theorem D: Denote by K the complete graph with vertices Z ≥0 .Edgecolor K as follows: the edge ij is blue if φ i Λ ∩ φ j Λ = ∅, and it is red otherwise.By Corollary C, this coloring does not possess any red complete subgraph with k + 1 vertices.Fix a maximal red complete subgraph, say, Q.
Since Q is maximal, each vertex outside Q is connected to some vertex in Q by a blue edge.Put N = mk, and consider the graph B N with vertices {0, . . ., N } connected only by the blue edges.The positive integer m will play the role of the large parameter in the proof.In particular, we assume that the maximal element The number of vertices in Note now that the coloring is invariant under positive translations.It follows that 0 has at least m − q outcoming blue edges (we can lose at most q edges as roughly speaking the corresponding vertices will become negative after the shift by −p), yielding |R φ ∩ [0, mk]| ≥ m − q .We conclude the proof by noticing that (m − q)/mk → 1/k as m → +∞.
Furthermore, we observe that the same estimates work in general whenever a subset Λ ⊂ X of a set X cannot be (k + 1)-packed into X by powers of a given invertible map φ : X → X.For instance this is the case when (X, ν) is a measure space of total measure 1, Λ is a subset of positive measure, k = ⌊1/ν(Λ)⌋, and φ is any invertible measure-preserving transformation.In this setting a stronger statement follows from the Ergodic Theorem [6, Theorem 1.2]: there exists a sequence i m of density ≥ 1/ν(Λ) such that ν(Λ ∩ φ −i 1 Λ ∩ . . .∩ φ −im Λ) > 0 for all m.However, in our Lagrangian situation the same method is not applicable: indeed our Lagrangian Λ is a measure-zero subset which does not bound a positivemeasure subset.For a different example in symplectic topology, we could consider X to be a symplectic manifold, φ ∈ Symp(X) a symplectomorphism, Λ an open ball of a given capacity, and k its packing number.That this sometimes gives sharper bounds than simply the volume constraint is one of the paradigms of modern symplectic topology, initiated in [7,27,40].

C 0 -continuity and non-simplicity
We observe that the collection of Lagrangian spectral estimators c 0 k,B contains sufficient data to provide new C 0 -continuous invariants on Ham(S 2 ) that extend to the group of area-preserving homeomorphisms G S 2 of the two-sphere.Following the strategy of [13,14] this is shown to yield alternative proofs of the non-simplicity of the group of compactly supported area-preserving homeomorphisms of the two-disk, known as the "simplicity conjecture" [41,Problem 42] by way of proving the "infinite twist conjecture" [41,Problem 43], as well as that of G S 2 .We refer to the above references for the original proofs of these conjectures by using periodic Floer homology, as well as for ample further information about the non-simplicity questions and their historical context.We shall also rely on the following result, [13,Lemma 3.11], proven by soft fragmentation methods.
Lemma 19.Let U ⊂ S 2 be a disk.Then for all ǫ > 0 there exists δ > 0 such that if φ ∈ Ham(S 2 ) satisfies d C 0 (φ, id) < δ then there exists ψ supported in U such that d Hofer (φ, ψ) < ǫ.This allows us to prove the following C 0 -continuity result.Consider the C 0closure groups G S 2 = Ham(S 2 ) C 0 and G D 2 = Ham c (D 2 ) C 0 inside the corresponding homeomorphism groups.It is a well-known fact that these groups coincide with the groups of orientation and area-preserving homeomorphisms of S 2 and of area-preserving homeomorphisms of D 2 with compact support (see e.g.[43] and references therein).
Theorem L. The map is 2-Lipschitz in Hofer's metric, is C 0 -continuous, and extends to G S 2 .
Proof.Let U be the open disk of area min{B, Then by the Calabi property we obtain that τ = τ k,k ′ ,B,B ′ satisfies τ (ψ) = 0 for all ψ supported in U. (Indeed, in this case it is easy to find a Hamiltonian H supported in U that generates ψ.)For ǫ > 0 consider δ > 0 provided by Lemma 19.For θ ∈ Ham(S 2 ) define the C 0 -neighborhood U θ,δ = {θφ | d C 0 (φ, id) < δ}.Then for each θφ ∈ U θ,δ |τ (θφ) − τ (θψ)| ≤ 2ǫ for ψ supported in U provided by Lemma 19.However, in view of the controlled additivity property and the above vanishing property of τ, we have τ (θψ) = τ (θ).Hence |τ (θφ) − τ (θ)| ≤ 2ǫ, which proves the C 0 -continuity of τ.Note that it proves more: in fact τ is uniformly continuous with respect to the uniform structure on Ham(S 2 ) given by the neighborhoods It is convenient to consider L 0 1,1/2 = S ⊂ S 2 to be the standard equator.Let τ k,B = τ k,1,B,1/2 , where c 0 1,1/2 is the Lagrangian spectral invariant of S ⊂ S 2 .By Theorem L, τ k,B extends to G F S 2 .We remark that with minor modifications the argument below also works for τ k,k ′ ,B,B ′ with k ′ , B ′ fixed.

Proof of Theorem E: Recall that we are given a smooth function
Assume that a homeomorphism φ, generated by the Hamiltonian H, lies in G F S 2 , i.e., φ is the C 0 -limit of Hamiltonian diffeomorphisms of Hofer's norm ≤ C. Then |τ k,B (φ)| ≤ 2C for all k.Observe now that by Lagrangian control and normalization properties, for every rational B ∈ (0, 1/2), ( 9) Hence h has bounded primitive.Question 20.Formula (9) shows that one can reconstruct the Calabi invariant of rotationally-symmetric Hamiltonian diffeomorphisms by using invariants τ k,B .Does such a reconstruction exist for more general symplectomorphisms?Now we prove the following consequence of Theorem E (compare [34]).Recall first that, as explained in [14, Proposition 2.2] by a well-known argument of Epstein and Higman [18,29], the group G F S 2 contains the commutator subgroup The results [13,14] on the non-simplicity of G S 2 are equivalent to the construction of various explicit embeddings R ֒→ Q.Using our spectral invariants, we provide an explicit embedding of a large function space into Q whose image contains all these copies of R.
Theorem M. The map j : G → G S 2 , ρ → φ, where φ is given by H = h • z as above where h(s) = −ρ ′ (1/2 − s) for s ∈ (0, 1/2) and h(s) = 0 for s ≤ 0, induces a monomorphism Proof.From the homomorphism j : G → G S 2 we immediately obtain a homomorphism Remark 21.It is easy to see by construction that direct analogues of Theorems E and M hold for G D 2 and G F D 2 .
Remark 22.It would be interesting to compare K and G b .See Remark 2.
Remark 23.Finally, it is easy to see that for instance Theorem J about the existence of flats in Ham(S 2 ) extends naturally to the groups Hameo(S 2 ), Hameo c (D 2 ) from [46] with their respective Hofer's metrics, and possibly further to G F S 2 , G F D 2 .

Lagrangian spectral invariants and estimators
Here we construct Lagrangian estimators described in Section 2 by using Lagrangian spectral invariants in symmetric products, and prove Theorems F and G. Interestingly enough, a remarkable Toeplitz tridiagonal matrix, the A k Cartan matrix, naturally appears in the course of our calculation of the critical points of the Landau-Ginzburg superpotential combined from smooth and orbifold terms.
6.1.Lagrangian Floer homology with bounding cochains and bulk deformation.We briefly discuss the general algebraic properties of the Lagrangian Floer homology theory with weak bounding cochains and bulk.We refer to [38] for a slightly more detailed discussion, and to the original work [19,20,21,22,23] for all detailed definitions.We also remark that the Fukaya algebra of a Bohr-Sommerfeld Lagrangian submanifold in a rational symplectic manifold, that is when [ω] is contained in the image of H 2 (M ; Q) inside H 2 (M ; R), was constructed in [9] by classical transversality techniques.Hence one could feasibly carry out all constructions in this paper by the above techniques, when restricted to the rational setting, which is sufficient for our purposes.We also note that we establish our result as a rather formal consequence of the methods of [19,23,38], hence it applies with whichever perturbation schemes these papers do.
Given a closed connected oriented spin Lagrangian submanifold L ⊂ M, and an ω-tame almost complex structure on M, considering the moduli spaces of Jholomorphic disks with boundary on L and with boundary and interior punctures, and suitable virtual perturbations required to regularize the problem, as well as suitable homological perturbation techniques, yields the following maps.First, considering only k + 1 boundary punctures, for k ≥ 0, we have the maps These maps satisfy the relations of a curved filtered A ∞ algebra.Furthermore, these maps decompose as , where the sum runs over the relative homology classes β ∈ H 2 (M, L; Z) of disks in M with boundary on L.Moreover, considering also l interior punctures yields maps q l,k : H * (M ; Λ) ⊗l ⊗ H * (L; Λ) ⊗k → H * (L; Λ).Given a "bulk" class b ∈ H * (M ; Λ + ) we can deform the m k operations to: The operations m b k for k ≥ 0 also satisfy the relations of a curved filtered A ∞ algebra, and decompose into a sum m b k = m b k,β T ω(β) as above, over the relative homology classes β ∈ H 2 (M, L; Z) of disks in M with boundary on L.
where the interior sum runs over all possible positions of the k symbols x 1 , . . ., x k appearing in this order, and l symbols b + , and finally we set The operations m b,b k also satisfy the curved filtered where 1 L ∈ H 0 (L; Λ 0 ) is the cohomological unit.We call c = W b (b) the potential function of the weak bounding cochain b.Note that it depends only on the class of b in H 1 (L; Λ 0 )/H 1 (L; 2π √ −1Z), which is well-defined as there is no torsion in H 1 (L; Z).We shall henceforth consider bounding cochains as elements of H 1 (L; Λ 0 )/H  Finally we note that H * (L; Λ) ∼ = H * (L; C) ⊗ C Λ possesses a non-Archimedean filtration function A determined by requiring that the basis E = E 0 ⊗ 1, for E 0 = (e 1 , . . ., e B ) a basis of H * (L; C) be orthonormal in the sense that A(e j ⊗ 1) = 0 for all 1 ≤ j ≤ B, A(0) = −∞, and for all (λ 1 , . . ., λ B ) ∈ Λ B ,
It is important to note that the A ∞ algebra {m b,b k } from Theorem N has unit 1 L ∈ H * (L; Λ) of non-Archimedean filtration level A(1 L ) = 0. 6.2.Lagrangian spectral invariants.In this section we discuss Lagrangian spectral invariants.While essentially going back to Viterbo [57], they were defined in Lagrangian Floer homology by a number of authors in varying degrees of generality, starting with Oh [45], Leclercq [35], and Monzner-Vichery-Zapolsky [42].However, the two main contributions that are relevant to our goals are the paper of Leclercq-Zapolsky [36] in the context of monotone Lagrangians, and of Fukaya-Oh-Ohta-Ono [23,Definition 17.15] in the context of Floer homology with bounding cochains and bulk deformation.6.2.1.Discrete submonoids and their associated subgroups.First we formulate the spaces of possible values of our spectral invariants.Following [23], consider elements b ∈ H * (M ; Λ 0 ), b ∈ H 1 (L; Λ 0 ).We say that they are gapped if they can be written as where G(b), G(b) are discrete submonoids of R ≥0 .In practice all relevant elements b, b will be gapped, so we assume that they are for the rest of this section.
Given an ω-tame almost complex structure J on M define the submonoid G(L, ω, J) to be generated by the areas ω([u]) of all J-holomorphic disks u with boundary on L. It is discrete by Gromov compactness.Note that in the orbifold setting below, one includes both areas of smooth holomorphic disks and those of orbifold holomorphic disks.
. Furthermore, we restrict attention to only those chords that are contractible relative to L. Set Spec(H, L) to be the set of all actions of pairs (x, x) each consisting of a chord x and its contraction x to L, called a capping, x : D → M, x| ∂D∩{Im(z)≥0} = x, x(∂D ∩ {Im(z) ≤ 0}) ⊂ L. The action of (x, x) is given by We recall that for two subsets A, B of R, A + B is the subset of R given by 6.2.2.Filtered Floer complex and spectral invariants.Consider a Hamiltonian H and L ⊂ M a Lagrangian as above.Let (b, b) be a weak bounding cochain with bulk deformation.Assuming that (H, L) is non-degenerate, that is φ 1 H (L) intersects L transversely, and {J t } t∈[0,1] a time-dependent ω-compatible almost complex structure on M, following [19,23] one constructs a filtered finite rank (4) Hofer-Lipschitz: where for a Hamiltonian H, we set 3. Orbifold setting.We shall consider only a very simple kind of a symplectic orbifold X.It is called a global quotient symplectic orbifold, and consists of the data of a closed symplectic manifold M and an effective symplectic action of a finite group G on it.
In fact, we shall only consider M = M k = M × . . .× M for a symplectic manifold M and the symmetric group G = Sym k acting on M by permutations of the coordinates.The corresponding global quotient orbifold is called the symmetric power The inertia orbifold IX of a global quotient orbifold X is itself a global quotient orbifold given by the action of G on the disjoint union ⊔ g∈G M g , where for g ∈ G, M g is the fixed point submanifold of g, and f ∈ G acts by See [2] for further details.6.3.1.Orbifold Hofer metric.While on a symplectic orbifold one can define smooth functions, and hence Hamiltonian diffeomorphisms, in the case of a global quotient orbifold X, the data of a smooth Hamiltonian In our particular case M = M k and our Hamiltonians satisfy H(t, x 1 , . . ., x k ) = H(t, x σ −1 (1) , . . ., x σ −1 (k) ) for all t ∈ [0, 1], x 1 , . . ., x k ∈ M, and σ ∈ Sym k .Given an orbifold Hamiltonian diffeomorphism φ of X, which is equivalently a G-equivariant Hamiltonian diffeomorphism φ of M that is generated by a G-invariant Hamiltonian H on M , we define its orbifold Hofer distance to the identity by where the infinimum runs over all such G-invariant Hamiltonians generating φ.Finally we remark that orbifold Hamiltonian diffeomorphisms form a group Ham(X), it is isomorphic to the identity component Ham( M ) G of the subgroup of Ham( M ) consisting of G-equivariant Hamiltonian diffeomorphisms, and d Hofer extends to a bi-invariant (non-degenerate) metric on Ham(X).We denote by Ham(X) the universal cover of this group with basepoint at the identity.This is also a group.6.3.2.Orbifold Lagrangian Floer homology with bulk, and spectral invariants.It was explained in [11] and summarized in [38] that the above setup of Lagrangian Floer homology with weak bounding cochain and bulk deformation b, b holds in the setting of a smooth Lagrangian submanifold L in the regular locus of a closed effective symplectic orbifold X (which for us will be a global quotient orbifold M /G, and whose regular locus is M 0 /G where M 0 is the set of points with trivial stabilizer) with the additional feature that we may consider bulk deformations by classes in the homology H * (IX; Λ + ) of the inertia orbifold of X by counting holomorphic disks with possible orbifold singularities at the interior punctures.Furthermore, the above constructions of spectral invariants and arguments proving their properties go through in this situation.6.3.3.Lagrangians in symmetric products and their spectral invariants.Consider S 2 with the symplectic form ω of total area 1.Under this normalization consider the Lagrangian configuration L 0,j 2,B , j = 0, 1, see (1) above.In [38] Mak and Smith show, as translated to our normalizations, that if The key observation of this paper is that in fact the proof of [38] gives strictly stronger information.We recall their approach.The two connected components of L 2,B are L j 2,B = L 0,j 2,B × S where S ⊂ S 2 (2a) is the equator.Consider the product Lagrangian it descends to a smooth Lagrangian submanifold L 2,B in the regular locus X reg of the symplectic global quotient orbifold X = (M × M )/(Z/2Z), where Z/2Z acts by exchanging the factors.Similarly, in the situation of configurations for arbitrary values (k, B) of parameters, one defines , and it descends to a Lagrangian L k,B in the regular locus of X reg the symplectic orbifold X = Sym k (M ) = M k / Sym k , where the symmetric group Sym k acts on M k by permutations of the coordinates.
In [38] the authors have proved for k = 2, and we show in Section 6.3.5 that the same extends to arbitrary values of parameters (k, B) and a < (k+1)B−1 k−1 the following statement.
Theorem O.There exists an integrable almost complex structure J M on M such that with respect to the complex structure J = Sym k (J M ) on X = Sym k (M ), the Lagrangian L k,B ⊂ X has a well-defined Fukaya algebra in the sense of [11,19,23].Moreover, this Fukaya algebra admits gapped orbifold bulk deformation b and weak bounding cochain b with the bulk-deformed Floer homology ) rational, b, b can be chosen in such a way that Γ is rational.Furthermore, HF (L k,B , b, b) is an associative unital algebra, and we denote its unit by The proof of this theorem appears in Section 6.3.5 below.It implies in particular that the unit 1 L k,B ∈ HF (L k,B , b, b) does not vanish.This enables us to use spectral invariants associated to this element.For Then σ k,B satisfies the properties of Lagrangian spectral invariants, including rational spectrality, from Section 6.2: (1) spectrality: Γ(H, b, b) being rational, the condition holds for each Hamiltonian H.
(2) Hofer-Lipschitz: ( hence for each Hamiltonian H, We set  To prove conjugation invariance of µ k,B , we note that by the subadditivity of σ k,B and hence of c k,B , we have for all m ∈ Z >0 , where q k,B (ψ) = c k,B (ψ) + c k,B (ψ −1 ).Hence dividing by m and taking the limit as m → ∞, we obtain as required.
Now we prove the Calabi property.The proofs for c k,B and µ k,B are identical, so we focus on µ k,B for example.Suppose that In that case µ k,B (H) = 0. Hence in view of the normalization property of µ k,B we obtain Finally, to prove controlled additivity it suffices to observe that for H supported in [0, 1] × U and each Hamiltonian F ∈ C ∞ ([0, 1] × M a , R), there is a bijective correspondence between the generators of the Lagrangian Floer complex of F #H and that of F, and furthermore The proof now proceeds by the spectrality and Hofer-Lipschitz axioms for the family F #sH of Hamiltonians where s ∈ [0, 1], as that of the Lagrangian control property.We obtain that c k,B (F #sH) is constant in s ∈ [0, 1] and hence c k,B (F #H) = c k,B (F ).The proof is now concluded by the normalization axiom to pass to the mean-zero Hamiltonian G as in (11) instead of H.

Now considering the manifolds
2a) for 0 < a < B − C, where S ⊂ S 2 (2a) is the equator, we obtain a Lagrangian submanifold L ′ k,B of M = M k and a Lagrangian submanifold L k,B of X = Sym k (M ).Recall that X is the global quotient orbifold X = M / Sym k where Sym k denotes the symmetric group on k elements.Set also L ′ = ⊔ i∈I L ′ i .We consider the orbifold Lagrangian Floer homology of L k,B in X with bulk deformation and bounding cochain (b, b) of a special form.As in [38], the bulk deformation will take the form b = β orb [X γ ] + b smooth for b smooth ∈ H 4k−2 (X; Λ + ), β orb ∈ Λ + , γ a conjugacy class in G = Sym k , and X γ ∼ = M g /C(g), for any g ∈ γ and C(g) its centralizer, the connected component of the inertia orbifold IX of X corresponding to γ.Of course [X γ ] is the fundamental class of X γ .
We make the following choice of γ which is important for our particular situation: γ is the conjugacy class of transpositions in G = Sym k , that is, the permutations of type (1) k−2 (2).Note that each element of γ is of order 2. It is also easy to calculate that X γ ∼ = M × Sym k−2 M.
Recall, following [38,48] that a map u : S → (X, L k,B ), for a stable disk S, corresponds "tautologically" to a map ν : Σ → (M, L k,B ), where π Σ : Σ → S is a degree k branched cover: u is recovered from ν by u(z) = ν(π −1 Σ (z)) ∈ X = Sym k (M ).Vice versa, ν is obtained as follows: first consider the fiber product of u and the projection p : M k → X.This yields a Sym k -equivariant branched cover Σ → S and a Sym k -equivariant holomorphic map where π 1 : M k → M is the projection to the first coordinate.This map is invariant under the action of the stabilizer G 1 ∼ = Sym k−1 of 1 ∈ {1, . . ., k} under the action of Sym k .We then define π Σ : Σ → S to be the quotient Σ/G 1 by the action of G 1 with the induced projection to S and the induced map V : Σ → M. It is then easy to see that the boundary components correspond.Furthermore the ω X -area of u coincides with the ω M -area of ν.In particular, following the argument of [38,Lemma 3.2], one can show the following.We remark that of course Σ could have less than k − 1 connected components.However, we shall not require knowledge of the topology of Σ in this case.Similarly, the curve with two boundary components obtained in the second case of Lemma 26 might or might not be an annulus.However, only the annuli will contribute to the lowest order term of the superpotential.For more details about the tautological correspondence we refer to [38,48].
Following the dimension calculations in [38,Section 3.1] we obtain the following analogue of [38,Lemma 3.12].
Dimension counting.For the reader's convenience, we briefly outline dimension counting and thus outline the proof of Lemma 27.It would be convenient to analyze a slightly more general case when we have a pseudo-holomorphic map ν : (Σ, ∂Σ) → (N, Q), where Lagrangian submanifold of a symplectic manifold N .As it was explained above, this curve together with a k-fold branched cover Σ → S, where S is a disc, corresponds to an orbifold disc u : (S, ∂S) → (X, K) in the k-fold symmetric product with the boundary on Here Σ is a Riemann surface with k boundary components obtained as a degree k branched cover of the disc S with ℓ 2 branch points of order 2. Thus the total space of Σ's, automorphisms taken into account, has dimension 2ℓ 2 − 3, where we used that dim P SL(2, R) = 3.Let us emphasize that these ℓ 2 points automatically map by u to our component X γ of the inertia orbifold, constrained by orbifold bulk of codimension 0.
The space of parameterized holomorphic maps ν of Σ with n-dimensional Lagrangian boundary has dimension nχ(Σ) + µ, where µ stands for the Maslov index of ν.
Additionally, S is equipped with r boundary marked points which go to the bounding cochain in K of codimension 1, and with ℓ 1 interior marked points which go to the smooth bulk of codimension 2 in X.Finally, we have an extra output boundary point, w ∈ ∂Σ.
Combining this, we get that the virtual dimension of moduli space M of such curves u equals where χ stands for the Euler characteristic.Furthermore, by the Riemann-Hurwitz formula, Let us compute the Maslov index of curves ν corresponding to u which contribute to the coefficient of the unit 1 K ∈ H * (K; Λ 0 ) in the sum as in (12).We need the evaluation map u → u(w) from M to K to have non-zero degree, and in particular dim M = dim K. Thus we get This finishes the general discussion of the dimension count.Let us now apply it in two special cases relevant to us.In both cases, we use a toric almost complex structure and [38,Lemma 3.24] in order to show that the Maslov index is nonnegative for the holomorphic curves in question.
When N = S 2 , i.e., when we work directly on S 2 without any stabilization, we have n = 1 so equation ( 13) holds3 for an annulus Σ with Maslov 0. In fact, writing for a general curve u contributing to the sum that ℓ 2 = k − χ(Σ), and noting that µ is non-negative and even in our situation, we see that the only two possibilities are ℓ 2 = 0 and µ = 2, which corresponds to a smooth disk, and ℓ 2 = 2 and µ = 0, which corresponds to an annulus.
Furthermore, one can prove following [38,Lemma 3.25] that there exists an almost complex structure J M on M such that the Maslov non-zero condition in Lemma 27 is satisfied.We now outline how this is achieved.
When setting the Lagrangian Floer theory with bulk, and calculating the superpotential, we perform the Fukaya trick to obtain the following situation.From the point of view of complex structures one counts holomorphic curves with boundaries on where R i and S i are small perturbations of L i and S of the form z −1 (γ i ) and z −1 (δ i ) for δ i ∈ R small with γ i < γ j , δ i < δ j whenever i < j.From the point of view of symplectic areas of these holomorphic curves, they are still counted with respect to the L ′ i .Indeed, the correspondence between curves with boundary on L ′ and those with boundary on K is carried out by a suitable C 1 -small diffeomorphism of M a carrying L ′ i to K i for each i.
Identifying S 2 × S 2 with CP 1 × CP 1 , CP 1 considered as the Riemann sphere C ∪ {∞}, let R i be given as {|z| = r i } and S i = {|w| = ρ i }.We require that the following non-resonance condition is satisfied: for all 0 ≤ i < j ≤ k − 1, r i /r j < ρ i /ρ j and there are no non-zero integer vectors ξ = (a 1 , . . ., a k ), η = (b 1 , . . ., b k ) ∈ Z k such that a i log(r i ) = b i log(ρ i ).In this situation, by following [3, Chapter 6, Section 5] and [38] it is easy to show the following.Indeed, by positivity of intersections and the contrapositive Maslov 0 assumption, the analysis reduces to there being no simultaneous pair of holomorphic maps (ν 1 , ν 2 ) from a compact Riemann surface C with 2 ≤ l ≤ k boundary components to C sending the boundary components to the circles of radii whose logarithms are − → r = (log(r i 1 ), . . ., log(r i l )) and − → ρ = (log(ρ i 1 ), . . ., log(ρ i l )).For such a pair of maps, the period matrix P l of periods of harmonic conjugates of the harmonic measures w j corresponding to the boundary components of C satisfies: Let us show this for the first projection ν 1 : C → C, as the case of the second one is similar.For such a pair of maps, the pull-back f : C → R of the harmonic function log(|z|) to C by ν 1 is a harmonic function on C that is constant on the boundary components of C. Therefore it decomposes as f = log(r j ) w j .Furthermore e f extends to the holomorphic function ν 1 : C → C. Hence the harmonic conjugate of f must have periods in 2πZ, which is equivalent to P l − → r ∈ 2πZ l .Now note that P l is symmetric and has a one-dimensional kernel corresponding to constants, which is spanned by (1, . . ., 1).Hence ξ, η ∈ Z l \ {0}, and yet which cannot hold under the non-resonance condition.
As a consequence, the conditions of Lemma 27 are satisfied.What remains is to show that for suitable choices of b, the superpotential W b has critical points.
Recall that C) given by the circles L i , S i oriented in the direction of the Hamiltonian flow of z on S 2 .More precisely, p i = exp(x i ), q i = exp(y i ) where x i , y i ∈ Λ 0 are the coordinates on H 1 (L k,B ; Λ 0 ) = H 1 (L k,B ; C)⊗Λ 0 corresponding to {e i , f i }.
For i ∈ I set n(i) to be the number of j ∈ I such that j > i and s(i) to be the number of j ∈ I such that j < i.Of course n(i) + s(i) = k − 1 for all i ∈ I.
The part of the superpotential corresponding to smooth disks in X with boundary on L is given by It remains to calculate the leading order term of the orbifold disk part W b orb of the superpotential.By analyzing the area of each Maslov index 2 tautological curve ν : (Σ, ∂Σ) → (M, K), considered as a curve with boundary on L ′ , with Σ having ≤ k − 1 connected components, we see that the area of its homology class ν (1) at least C + a if its projection to the first factor in M = S 2 × S 2 (2a) does not pass through either pole, and (2) at least B + C if its projection to the second factor does not pass through either pole.
Furthermore, in the first case the minimal area C + a is achieved when Σ has k − 1 connected components, k − 2 disks and one curve with two boundary components, and ν is constant on each disk component.Indeed, if in the first case Σ has at most k − 2 connected components, then the area of ν will be at least 2C + a : its projection to the first factor covers at least two annuli contributing at least 2C to the area, and by Lemma 28 its projection to the second factor must pass through a pole, contributing at least a to the area.Now on the curve with two boundary components, ν coincides with the curves analyzed in [38,Section 3.3], whereby it contributes to the leading order term of W b orb only if the curve is an annulus.By choosing translation-invariant trivializations of the tangent bundles of K i suitably 4 , and selecting β orb ∈ Λ + so that for signs ǫ i ∈ {±1}, where o(T B ) denotes higher order terms of valuations strictly greater than B.
The superpotential of interest is Note that since e β = 1 + o(1) ∈ 1 + Λ + , and hence 4 We trivialize the tangent bundle of Li where i is even and of Si where i is odd along the S 1action on S 2 , and that of Li where i is odd and of Si where i is even along the inverse S 1 -action.See [10,38] for further details on trivializations and orientations.
W b = T a i∈I Lemma 29.For each β ∈ Λ + ∪ {0} the superpotential W b has critical points.
Proof of Lemma 29.We start by finding solutions to the leading order term of the equation dW b = 0.
We first consider derivatives in q i : (15) ∂ q i W b = T a (1 − q −2 i ) + o(T a ) where the higher order terms start with valuation at least B. Hence the solutions to the leading order of this equation are q i ∈ {±1}.Let us choose q i = 1 for all 0 ≤ i < k.Now we proceed to consider the derivatives in the p i , for 0 < i < k − 1 : The solutions to the leading order equations are hence p i ∈ C satisfying: For given collection C, take a > 0, and denote by L the image of (L i × S 1 eq ) in the k-th symmetric product of S 2 × S 2 (2a).
Question 31.For which vertex-weighted tree (Γ C , w C ) can one define non-trivial Lagrangian estimators coming from the Lagrangian orbifold Floer homology of L, with an appropriate choice of a > 0?
An obvious necessary condition for non-vanishing of the Floer homology is that for every Hamiltonian diffeomorphism φ ∈ Ham(S 2 ), the symmetric product of φ×id ∈ Ham(S 2 ×S 2 (2a)) does not displace L. This is equivalent to the following matching property: for every φ ∈ Ham(S 2 ) there exists a permutation σ such that φ(L i ) ∩ L σ(i) = ∅ ∀i ∈ {1, . . ., d} .
It would be interesting (and seems to be not totally trivial) to describe this matching property in terms of the vertex-weighted tree (Γ C , w C ).
Note that in the present paper we dealt with the case of a linear graph with the weight w(v) = B if the vertex v has degree 1, and w(v) = C if the degree of v is 2. One readily checks that the inequality B > C is equivalent to the matching property.
Additionally, it would be interesting to explore the analogue of Question 31 on higher genus surfaces.
It is an intriguing and completely open question whether the methods of the present paper are applicable to Lagrangian configurations on more general symplectic manifolds.Symplectic toric manifolds provide a promising playground, in which case the simplest Lagrangian configuration is provided by (a suitable modification of) the collection of Bohr-Sommerfeld toric fibers.
Finally, we expect that generalizations of the quantitative methods used in this paper to more complex configurations of Lagrangians would yield further results on quantitative symplectic topology, including the Hofer metric and questions of C 0 symplectic topology.We hope to investigate them in a sequel.7.2.Next destination: asymptotic cone of Ham(S 2 ).Flats in Ham(S 2 ) described in Theorem A give rise to infinite-dimensional abelian subgroups in the asymptotic cone (in the sense of Gromov [28, 3.29]) of Ham(S 2 ).Recall [8] that the latter is a group equipped with a bi-invariant metric which, roughly speaking, reflects the large-scale geometry of (Ham(S 2 ), d Hofer ).For closed surfaces of genus ≥ 2, the asymptotic cone of the group of Hamiltonian diffeomorphisms contains a free group with two generators [4,12].The construction is based on a chaotic dynamical system called the eggbeater map (see [53] for symplectic aspects of this map).For the torus and the sphere, existence of a free non-abelian subgroup in the asymptotic cone is still unknown.Furthermore, while there is a hope that a suitable modification of eggbeaters could work in the case of torus, in the case of the sphere egg-beaters fail to induce a non-abelian subgroup in the asymptotic cone (an observation of Michael Khanevsky).It would be interesting to explore the algebraic and geometric structure of the asymptotic cone of Ham(S 2 ).As a first step, it would be natural to explore asymptotic growth (in the sense of Hofer's metric) of subgroups generated by a finite number of pair-wise "highly non-commuting" flats.

7.3.
Comparison with periodic Floer Homology?Instead of pulling back spectral estimators c 0 k,B on S 2 from S 2 × S 2 (2a) (see Theorem I above), we could have run our construction omitting the factor S 2 (2a).In other words, we could have worked directly with orbifold Lagrangian spectral invariants on the symmetric products on S 2 .In this way the spectral estimators become well-defined when B = C = 1/(k + 1), which is the limiting case for the assumptions of Theorem I. Interestingly enough, in this limiting case for certain radially symmetric Hamiltonians, our invariants agree with the ones constructed in [13] by means of periodic Floer homology.It would be interesting to find a conceptual explanation of this coincidence.

Theorem A .
The additive group G = C ∞ c (I) of compactly supported smooth functions on an open interval I with the C 0 distance embeds isometrically into Ham(S 2 ) endowed with d Hofer .
R) with zero mean, the value c k,B (H) = c k,B (φ H ) depends only on the class φ H = [{φ t H }] ∈ Ham(M a ) in the universal cover of Ham(M a ) generated by H. 6. (Subadditivity) For all φ, ψ ∈ Ham(M a ),
almost isometric group embedding, whose image lies in ker(Cal D ), where D = D 1/k is the open cap of area 1/k around the south pole.Furthermore, for each proper open set U ⊂ S 2 there is a bi-Lipschitz almost isometric embedding of C ∞ c (I) of an open interval I into ker(Cal U ).

1 )k + 1 .
Denote by d the maximal degree of a vertex from Q in B N .Then, by counting outcoming blue edges from Q we get (m − 1)k + 1 ≤ dk which yields d ≥ m.It follows that some vertex p ∈ Q has at least m blue outcoming edges in B N .

Furthermore, given
a "cochain" class b = b 0 + b + for b 0 ∈ H 1 (L; C) and b + ∈ H 1 (L; Λ + ), we define the b-twisted A ∞ operations with bulk b ∈ H * (M ; Λ + ) as follows: first set m b,b 0 k,β = e b 0 ,∂β m b k,β .These operations again satisfy the curved filtered A ∞ equations.Now, to further deform by b

1 = 0
by the exponential function, then m b,b and hence the (b, b)-deformed Floer cohomology of L is isomorphic to H * (L; Λ).Moreover, this implies that L is nondisplaceable by Hamiltonian isotopies in M.

( 2 )
The module CF (H, L, b, b) comes with an non-Archimedean filtration function A H,L whose values are contained in Spec(H, L, b, b) ∪ {−∞}.Indeed, as a Λ-module CF (H, L, b, b) is given by the completion with respect to the action functional of the vector space generated by pairs (x, x) of Hamiltonian H-chords from L to L contractible relative to L, where we identify between (x, x), (x, x ′ ) if v = x ′ #x − : (D, ∂D) → (M, L), defined by gluing suitably reparametrized x ′ and x − (z) = x(z) along their common boundary chord, satisfies [ω], [v] = 0.In this case the filtration A is defined by declaring any Λ-basis [(x i , x i )], for {x i } the finite set of contractible H-chords from L to L an orthogonal Λ-basis of CF (H, L, b, b).Finally, the homology HF (H, L, b, b) of CF (H, L, b, b) is naturally isomorphic to self-Floer homology HF (L, b, b) = HF ((L, b, b), (L, b, b)) of L deformed by (b, b).We write Φ H : HF (L, b, b) → HF (H, L, b, b) for this isomorphism.In the setting of Theorem N there is a natural isomorphism between HF (H, L, b, b) and H * (L, Λ), which in particular explains why L is not Hamiltonianly displaceable: if φ 1 H (L) ∩ L = ∅ then CF (H, L, b, b) = 0 and hence one must have HF (H, L, b, b) = 0.For a ∈ R the subspace CF (H, L, b, b) a generated over Λ 0 by all [(x, x)] satisfying A H,L (x, x) < a forms a subcomplex of CF (H, L, b, b).We denote its homology by HF (H, L, b, b) a .It comes with a natural map HF (H, L, b, b) a → HF (H, L, b, b).Given a class z ∈ HF (L, b, b), we define its spectral invariant with respect to H as in [23, Definition 17.15] by c(L, b, b; z, H) = inf{a ∈ R | Φ H (z) ∈ im(HF (H, L, b, b) a → HF (H, L, b, b))}.In the sequel we will primarily work with z = 1 L , the unit of the algebra on HF (L, b, b) induced by the m b,b 2 operation.Following the arguments of [23, Theorem 7.2], [36, Theorem 35] together with the argument in [52, Remark 4.3.2]for rational spectrality, it is straightforward to show the following properties of the spectral invariant c(L, b, b; z, H): (1) non-degenerate spectrality: for each z ∈ HF (L, b, b)\{0}, and Hamiltonian H such that H, L is non-degenerate, c(L, b, b; z, H) ∈ Spec(H, L, b, b).rational spectrality: if Γ(H, b, b) is rational, then for z ∈ HF (L, b, b)\{0}, the condition c(L, b, b; z, H) ∈ Spec(H, L, b, b) holds for each Hamiltonian H, (3) non-Archimedean property: for each Hamiltonian H, c(L, b, b; −, H) is a non-Archimedean filtration function on HF (L, b, b) as a module over the Novikov field Λ with its natural valuation.

6. 3 . 4 .
Proof of Theorems F and G.We now prove Theorems F and G.For a Hamiltonian F ∈ C ∞ (M a , R) let H ∈ C ∞ (X, R) be the Hamiltonian on X determined by the Sym k -invariant Hamiltonian H Subadditivity for c k,B and commutative subadditivity for µ k,B are direct consequences of the subadditivity of σ k,B .Positive homogeneity of µ k,B is immediate from the definition of µ k,B .It remains to prove the conjugation invariance of µ k,B , controlled additivity of c k,B and the Calabi properties of c k,B and µ k,B .

Lemma 26 .
Let ν : (Σ, ∂Σ) → (M, L ′ ) be obtained by tautological correspondence from a stable disk u : (S, ∂S) → (X, L k,B ).Then ∂Σ has k connected components.If Σ has k connected components, then it consists of k disks.If Σ has k − 1 connected components, then it consists of k−2 disks and one curve with 2 boundary components.

Lemma 28 .
The non-constant curves ν : Σ → M from Lemma 26 have non-zero Maslov index: µ(ν) = 0.The same holds for the restriction of ν to any connected component of Σ with at least two boundary components.

p 2 0 p −1 1 =Remark 30 .7. Further directions 7 . 1 .
σ 0 , p −1 k−2 p 2 k−1 = σ k−1 for certain numbers σ i ∈ R \ {0}.Let us search for solutions p i ∈ C \ {0} of the form p i = exp(P i ), for P i ∈ C. Choosing C i such that σ i = exp(C i ), we obtain that it is enough to find P i ∈ C such that for P = (P 0 , . . ., P k−1 ), C = (C 0 , . . ., C k−1 ) In principle the choice β = 0 is sufficient for our purposes.However, different choices of β might lead to different spectral invariants.It would be interesting to explore this dependence further.Proof of Theorem O.It is a direct consequence of Theorem N and Lemma 29.Other configurations.Consider a finite collection C := {L i }, i = 1, . . ., k of pairwise disjoint embedded circles in S 2 .Each such collection defines a graph Γ C whose vertices are the connected components of S 2 \ L with L = ⊔L j , and a pair of components are joined by an edge if they have a common boundary circle.Note that Γ C is a tree.Additionally, the tree is vertex-weighted: the weight of a vertex is the area of the corresponding component.We denote the weighting by w C .An elementary inductive argument shows that the pair (Γ C , w C ) determines C up to a Hamiltonian isotopy.
).The limit exists by Fekete's lemma by the subadditivity property of σ k,B .The Hofer-Lipschitz property of c k,B and µ k,B follows from that of σ k,B by the subadditivity of Hofer's energy functional.The monotonicity, normalization, Lagrangian control, and independence of Hamiltonian properties are immediate consequences of those for σ k,B .Note the factor 1/k in the definition of c k,B : it serves for instance to obtain the Hofer-Lipschitz property with coefficient 1, asE + (H) ≤ kE + (F ) for F → H. Similarly, if F t | L j k,B ≡ c j (t), then H t | L k,B ≡ 0≤j<k c j (t).