Abstract
The main theme of this paper is to use toric degeneration to study Hofer geometry by producing distinct homogeneous quasimorphisms on the group of Hamiltonian diffeomorphisms. We focus on the (complex n-dimensional) quadric hypersurface and the del Pezzo surfaces, and study two classes of distinguished Lagrangian submanifolds that appear naturally in a toric degeneration, namely the Lagrangian torus which is the monotone fiber of a Lagrangian torus fibration, and the Lagrangian spheres that appear as vanishing cycles. For the quadrics, we prove that the group of Hamiltonian diffeomorphisms admits two distinct homogeneous quasimorphisms and derive some superheaviness results. Along the way, we show that the toric degeneration is compatible with the Biran decomposition. This implies that for \(n=2\), the Lagrangian fiber torus (Gelfand–Zeitlin torus) is Hamiltonian isotopic to the Chekanov torus, which answers a question of Y. Kim. We prove analogous results for the del Pezzo surfaces. We also discuss applications to \(C^0\) symplectic topology.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and overview of the results
1.1 Hofer geometry
The main theme of this paper is to use toric degeneration to study Hofer geometry by producing distinct homogeneous quasimorphisms on the group of Hamiltonian diffeomorphisms. The set of Hamiltonian diffeomorphisms of a closed symplectic manifold \(X=(X,\omega )\), denoted by \(\textrm{Ham}(X)\) (as well as its universal cover \({\widetilde{\textrm{Ham}}} (X)\)) forms a group and moreover, it has a remarkable bi-invariant metric called the Hofer metric [25]. The geometry of \(\textrm{Ham}(X)\) (and \({\widetilde{\textrm{Ham}}} (X)\)) with respect to the Hofer metric has been an active and an important research topic, e.g. [42], which is now called the Hofer geometry. One of the first important questions in this topic was the so-called Hofer diameter conjecture which conjectures that the diameter of \(\textrm{Ham}(X)\) (and \({\widetilde{\textrm{Ham}}} (X)\)) with respect to the Hofer metric is infinity. Many fragmented cases were solved by various symplectic geometers before a major step forward was made by Entov–Polterovich in [14], where they introduced the method of quasimorphisms to the study of Hofer geometry. This provided a systematic way to solve the Hofer diameter conjecture for a sufficiently large class of symplectic manifolds by means of Floer theory. However, beyond the Hofer diameter conjecture, not much is known about the Hofer geometry. For example, consider the following question, known as the Kapovich–Polterovich question:
Question 1.1.1
(Kapovich–Polterovich question) For a closed symplectic manifold X, is theFootnote 1 group \(\textrm{Ham}(X)\) quasi-isometric to the real line \(\mathbb {R}\) with respect to the Hofer metric?
A negative answer to the Kapovich–Polterovich question will immediately solve the Hofer diameter conjecture, but extremely little is known about it. At the time of writing, the only cases for which Question 1.1.1 has been answered (in the negative) are the cases of symplectic manifolds that satisfy some dynamical condition by Usher [50], \(X=S^2 \times S^2\) by Fukaya–Oh–Ohta–Ono [22] (see also [13]), and \(X=S^2\), which was done in 2021, independently by Cristofaro-Gardiner–Humilière–Seyfaddini [10] and Polterovich–Shelukhin [43]. Other than that, even for the weaker version of Question 1.1.1 where \(\textrm{Ham}(X)\) is replaced by \({\widetilde{\textrm{Ham}}}(X)\), the question remains widely open.
This paper attempts to use toric degeneration to obtain new insights about the Hofer geometry, especially in (real) dimension higher than 2. We focus on the quadric hypersurface
and the symplectic del Pezzo surfaces, and study two distinguished classes of Lagrangian submanifolds that appear naturally in a toric degeneration, namely the Lagrangian torus and the Lagrangian spheres that appear as the monotone fiber of a Lagrangian torus fibration and vanishing cycles, respectively.
1.2 Main results for quadrics
We first state the results for the quadric hypersurfaces.
Theorem A
The two Entov–Polterovich type homogeneous quasimorphisms
are distinct, i.e.
This immediately answers the \({\widetilde{\textrm{Ham}}}(X)\) version of Question 1.1.1 in the negative for \(X=Q^n\). Theorem A generalizes results of Eliashberg–Polterovich from [13] and the author from [27], where the \(n=2\)-case and the \(n=4\)-case were proven, respectively.
1.3 Lagrangians in quadric hypersurfaces
In the proof of Theorem A, producing disjoint Lagrangian submanifolds is a key step and this is where the toric degeneration plays a crucial role. Recall that roughly speaking, a toric degeneration for a symplectic manifold X is a way to deform X into a toric variety \(X_0\) which allows one to study the symplectic geometry of X via the toric geometry of \(X_0\) (Sect. 3.1). There are two distinguished subsets for toric degenerations. The first is the monotone Lagrangian fiber torus; given a toric degeneration, one obtains a Lagrangian torus fibration for X and there is a unique fiber for which the Lagrangian fiber torus becomes monotone. The second is the vanishing locus, which is the set obtained by tracing back the points that get crushed into the singular locus of the toric variety \(X_0\) in the process of the toric degeneration. Note that the vanishing locus is not necessarily a geometrically nice set, e.g. a submanifold, even though in practice it often turns out to be a Lagrangian cell-complex.
As for the quadric hypersurface \(Q^n\), the toric degeneration
was introduced by Nishinou–Nohara–Ueda in [36] which is compatible with the celebrated Gelfand–Zeitlin (GZ) system on \(Q^n\). The GZ system defines a Lagrangian torus fibration on \(Q^n\) and there is one monotone torus fiber which we call the GZ torus and denote it by \(T^n _{\text {GZ}}\).
The \(n=2\) case deserves special attention, as it is well-known that \(Q^2\) is symplectomorphic to the monotone \(S^2 \times S^2\). Through this symplectomorphism, we can see the monotone GZ fiber torus \(T^2 _{\text {GZ}}\) as a monotone Lagrangian torus in \(S^2 \times S^2\). In [32], Yoosik Kim computed the superpotential for the monotone GZ fiber torus \(T^n _{\text {GZ}}\) and found that for \(n=2\), it agrees with the superpotential for the celebrated Chekanov torus in \(S^2 \times S^2\). This lead him to ask the following question:
Question 1.3.1
([32, Section 4.2]) In the monotone \(S^2 \times S^2\), is the monotone GZ fiber torus \(T^{2} _{\text {GZ}}\) Hamiltonian isotopic to the Chekanov torus \(T^2 _{\text {Ch}}\)?
We study some geometric properties of the distinguished monotone Lagrangian submanifolds \(T^n _{\text {GZ}}\) and \(S^n \) in \(Q^n\). Our second main result is the following.
Theorem B
The monotone Lagrangian torus fiber \(T^n _{\text {GZ}}\) in \(Q^n\) satisfies the following properties:
-
1.
Consider the polarization \((X,\Sigma )=(Q^n,Q^{n-1})\). The monotone GZ fiber \(T^n _{\text {GZ}}\) in \(Q^n\) coincides with the distinguished monotone Lagrangian torus obtained from the Biran circle bundle construction from \(T^{n-1} _{\text {GZ}}\) in \(Q^{n-1}\), i.e.
$$\begin{aligned} T^n _{\text {GZ}} = \widetilde{T^{n-1} _{\text {GZ}}}. \end{aligned}$$ -
2.
The real Lagrangian sphere
$$\begin{aligned} S_{\textrm{van}} ^n:= \{z \in \mathbb {C}P^{n+1}: z_0 ^2 + \cdots +z_{n} ^2+ z_{n+1} ^2 =0,\ z_0,\cdots ,z_n \in \mathbb {R},\ z_{n+1} \in i \mathbb {R}\} \end{aligned}$$is a vanishing locus of the toric degeneration (1.3.1), and it is disjoint from \(T^n _{\text {GZ}}\), i.e.
$$\begin{aligned} S_{\textrm{van}} ^n \cap T^n _{\text {GZ}} = \emptyset . \end{aligned}$$ -
3.
The Gelfand–Zeitlin torus \(T^n _{\text {GZ}}\) is \(\zeta _+\)-superheavy and the vanishing cycle \(S_{\textrm{van}} ^n \) is \(\zeta _-\)-superheavy.
The third assertion of Theorem B generalizes a result of Eliashberg–Polterovich from [13] where the \(n=2\) case was proven.
Remark 1.3.2
-
1.
For details about polarizations and the Biran circle bundle construction, see Sect. 2.2.
-
2.
The singular toric variety which is the central fiber of the toric degeneration (1.3.1) has non-isolated singular locus. This makes it more difficult to understand the geometry of the vanishing locus, c.f. the second statement in Theorem B, compared to the cases for del Pezzo surfaces that we consider later, where the singular loci are rational double points (\(A_m\)-singularities).
-
3.
In [27], it was proven that \(\zeta _+ \ne \zeta _-\) for \(n=2,4\) but nothing about the superheaviness was proved. The new input is the use of some results from the mirror symmetry literature, e.g. the Auroux–Kontsevich–Seidel theorem, combined with the comparison technique of spectral invariants with different coefficients developed in [27]; see Sects. 4.1 and 4.2 for more on this.
-
4.
In [27], finding disjoint Lagrangians was also a key step, but in this paper, we focus on a different geometric structure and use different Lagrangians; e.g. for \(n=4\), [27] focused on a Lagrangian diffeomorphic to \(S^1 \times S^3\), which is different from the sphere we consider in Theorem B.
-
5.
Theorem B has other applications; it plays an important role in [29].
The \(n=2\) case of the first assertion in Theorem B has the following corollary, which answers the aforementioned Question 1.3.1 of Yoosik Kim.
Corollary 1.3.3
(Kim’s question 1.3.1) In the monotone \(S^2 \times S^2\), the monotone GZ fiber \(T^{2} _{\text {GZ}}\) is Hamiltonian isotopic to the Chekanov torus \(T^2 _{\text {Ch}}\).
Remark 1.3.4
The answer to Kim’s question 1.3.1, namely Corollary 1.3.3, was very recently obtained by Kim himself in [33], by a different approach.
1.4 Main results for the del Pezzo surfaces
In this section, we state the main results for the del Pezzo surfaces, which are analogous to results for quadrics. Recall that the del Pezzo surfaces are smooth (complex) two-dimensional Fano varieties, equipped with a monotone symplectic form. They are classified and consist of \(\mathbb {C}P^2\), \(S^2 \times S^2(=Q^2)\), and \({\mathbb {D}}_k:=\mathbb {C}P^2 \# k \overline{\mathbb {C}P^2},\ 1 \leqslant k \leqslant 8\).
Theorem C
-
1.
For \({\mathbb {D}}_2\), there exist two distinct Entov–Polterovich type homogeneous quasimorphisms
$$\begin{aligned} \zeta _{j}: {\widetilde{\textrm{Ham}}}({\mathbb {D}}_2) \rightarrow \mathbb {R},\ j=1,2, \\ \zeta _{1} \ne \zeta _{2}. \end{aligned}$$ -
2.
For \({\mathbb {D}}_k,\ k=3,4\), there exist three distinct Entov–Polterovich type homogeneous quasimorphisms
$$\begin{aligned} \zeta _{j}: {\widetilde{\textrm{Ham}}}({\mathbb {D}}_k) \rightarrow \mathbb {R},\ j=1,2,3, \\ \zeta _{i} \ne \zeta _{j}, \text { if }i\ne j. \end{aligned}$$
Theorem C leads to the following, which answers the Kapovich–Polterovich question in the negative.
Theorem D
(Kapovich–Polterovich question) The group \(\textrm{Ham}({\mathbb {D}}_k) \) is not quasi-isometric to the real line \(\mathbb {R}\) with respect to the Hofer metric when \(k=3,4\).
Remark 1.4.1
As mentioned earlier in Sect. 1.1, to the author’s knowledge, the Kapovich–Polterovich question has been only answered (in the negative) for few cases.
1.5 Applications
We discuss some applications of Theorems A, B, C. The following question of Entov–Polterovich–Py from 2012 has been an important open question, which is referred to as the “Quasimorphism question” in the monograph of McDuff–Salamon [34, Chapter 14, Problem 23]:
Question 1.5.1
(Entov–Polterovich–Py question [18]) For a closed symplectic manifold \((X,\omega )\), is there a non-trivial homogeneous quasimorphism on \(\textrm{Ham}(X,\omega )\) which is \(C^0\)-continuous? If yes, can it be Hofer Lipschitz continuous?
Remark 1.5.2
-
1.
The \(C^0\)-topology on \(\textrm{Ham}(X)\) is induced by the \(C^0\)-metric of Hamiltonian diffeomorphisms \(\phi ,\psi \in \textrm{Ham}(M,\omega )\), which is defined by
$$\begin{aligned} d_{C^0}(\phi ,\psi ):=\max _{x\in M}d(\phi (x),\psi (x)), \end{aligned}$$where d denotes the distance on X induced by a fixed Riemannian metric on X. Different choices of Riemannian metrics on X will induce equivalent \(C^0\)-topology.
-
2.
One point of Question 1.5.1 is that currently the relation between the Hofer metric and the \(C^0\)-metric is not well understood. See, for example, [26] for the latest progress on this topic.
-
3.
The original question was posed for \(X=S^2\). This extended version was considered in [27] before the final resolution of the original question by Cristofaro-Gardiner–Humilière–Mak–Seyfaddini–Smith in [11].
In [27], a positive answer to Question 1.5.1 was provided for \(Q^n,\ n=2,4\). By using Theorems B and C, we manage to generalize this to \(Q^n\) for all n, and to some del Pezzo surfaces.
Theorem E
For \(X=Q^n\) and \(X={\mathbb {D}}_k,\ k=2,3,4\), there exist non-trivial homogeneous quasimorphisms
that are both Hofer Lipschitz and \(C^0\) continuous.
Remark 1.5.3
-
1.
We can actually construct two distinct quasimorphisms with the relevant continuity properties in Theorem E for \({\mathbb {D}}_k,\ k=3,4\).
-
2.
It is also known that one can construct quasimorphisms for \(\mathbb {C}P^n\) that have continuity properties as in Question 1.5.1 by [31].
The argument of the proof of Theorem E actually shows that the asymptotic spectral norm \({\overline{\gamma }}\)
is \(C^0\)-continuous for \(X=Q^n\) and \(X={\mathbb {D}}_k,\ k=2,3,4\), even though the \(C^0\)-continuity of the spectral norm \(\gamma \) for none of these symplectic manifolds is confirmed at the time of writing. Note that the \(C^0\)-continuity of the spectral norm \(\gamma \) is currently proven for the closed surfaces [46], symplectically aspherical manifolds [7], \(\mathbb {C}P^n\) [47], and negative monotone symplectic manifolds [28].
Theorem F
Let \((X,\omega )\) be a monotone symplectic manifold whose quantum cohomology ring \(QH (X;\Lambda )\) is semi-simple. Then, the asymptotic spectral norm
is \(C^0\)-continuous. Moreover, for \(Q^n\) and \({\mathbb {D}}_k,\ k=2,3,4\), \({\overline{\gamma }}\) is non-trivial, i.e.
2 Preliminaries
We will review results that we will use in the proofs. A special emphasis is put on comparing the conventions in [40] and other works, as we will use the convention from [40] in the proofs. We will assume that symplectic manifolds and Lagrangian submanifolds are all closed and monotone.Footnote 2
2.1 Entov–Polterovich quasimorphisms and (super)heaviness
First, we review some quantitative Floer theory including spectral invariants by following [35]. It is well-known that on a symplectic manifold \((X,\omega )\), for a non-degenerate Hamiltonian \(H:=\{H_t:X \rightarrow \mathbb {R}\}_{t\in [0,1]}\) and a choice of a nice coefficient field \(\Lambda ^{\downarrow }\), which will be either the downward Laurent coefficients \(\Lambda _{\text {Lau}} ^{\downarrow } \)
or the downward Novikov coefficients \(\Lambda _{\text {Nov}} ^{\downarrow }\)
one can construct a filtered Floer homology group \(\{HF^\tau (H):=HF^\tau (H;\Lambda ^{\downarrow })\}_{\tau \in \mathbb {R}}\) where for two numbers \(\tau <\tau '\), the groups \(HF^\tau (H;\Lambda ^{\downarrow })\) and \(HF^{\tau '}(H;\Lambda ^{\downarrow })\) are related by a map induced by the inclusion map on the chain level:
and especially we have
where \(HF^{}(H;\Lambda ^{\downarrow })\) is the Floer homology. There is a canonical ring isomorphism called the Piunikhin–Salamon–Schwarz (PSS)-map [35, 41]Footnote 3
where \(QH(X;\Lambda _{})\) denotes the quantum cohomology ring of X with \(\Lambda \)-coefficients, i.e.
Here, \(\Lambda _{}\) is either the Laurent coefficients \(\Lambda _{\text {Lau}}\)
or the Novikov coefficients \(\Lambda _{\text {Nov}}\)
chosen accordingly to the set-up of the Floer homology.
Remark 2.1.1
-
1.
The choice of the coefficient fields will eventually become very important, see Sect. 4.2. If we do not specify the choice of it and denote it by \(\Lambda \), it means that the argument/result holds for both \(\Lambda _{\text {Lau}}\) and \(\Lambda _{\text {Nov}}\).
-
2.
Nevertheless, it might be helpful to keep in mind that \(\Lambda _{\text {Lau}}\) can be embedded to \(\Lambda _{\text {Nov}}\) by the inclusion given by \(t \mapsto T^{\lambda _0}\), where \(\lambda _0\) is a positive generator of \(\langle \omega , \pi _2(X) \rangle \).
-
3.
The formal variable t in \(\Lambda _{\text {Lau}}\) should be seen as representing the sphere with the minimal possible positive area \(\lambda _0>0\) (and thus, the minimal possible Maslov index as well, by monotonicity).
Spectral invariants, which were introduced by Schwarz [45] and developed by Oh [39] following the idea of Viterbo [51], are real numbers \(\{c (H,a ) \in \mathbb {R}\}\) associated to a pair of a Hamiltonian H and a class \(a \in QH(X;\Lambda )\) in the following way:
Remark 2.1.2
Although the Floer homology is only defined for a non-degenerate Hamiltonian H, the spectral invariants can be defined for any Hamiltonian by using the following so-called Hofer continuity property:
for any \(a \in QH(X),\ H\) and G.
Triangle inequality. For Hamiltonians H and G, define their catenation \(H\#G\) (which is a Hamiltonian that generates the path \(t \mapsto \phi _H ^t \circ \phi _G ^t\)) as
Now, given two classes \(a,b \in QH(X;\Lambda )\), we have
Valuation. For any \(a\in QH(X;\Lambda ) \backslash \{0\},\)
where 0 is the zero-function and \(\nu : QH(X;\Lambda ) \rightarrow \mathbb {R}\) is the natural valuation function
Spectral norm. The spectral pseudo-norm for a Hamiltonian H is the sum of the spectral invariants for H and the unit \(1_X \in QH(X;\Lambda )\) of the quantum cohomology ring and for the inverse Hamiltonian \({\overline{H}}(t,x):=-H(t, (\phi _H ^t)(x))\), which generates the Hamiltonian path \(t \mapsto (\phi _H ^t)^{-1}\), and the unit \(1_X \in QH(X;\Lambda )\):
Now, the spectral norm \( \gamma (\phi )\) for a Hamiltonian diffeomorphism \(\phi \) is defined as follows.
It is well-known that the spectral norm defines a non-degenerate metric \(d_{\gamma }(\phi ,\phi '):=\gamma (\phi ^{-1} \circ \phi ')\) on \(\textrm{Ham}(X) \).
Entov–Polterovich quasimorphisms. Entov–Polterovich constructed a special map called the quasimorphism on \({\widetilde{\textrm{Ham}}}(X)\) for under some assumptions via spectral invariants, which we will briefly review. Recall that a quasimorphism \(\mu \) on a group G is a map to the real line \(\mathbb {R}\) that satisfies the following two properties:
-
1.
There exists a constant \(C>0\) such that
$$\begin{aligned} |\mu (f \cdot g) -\mu (f)-\mu (g)|<C \end{aligned}$$(2.1.8)for any \(f,g \in G\).
-
2.
For any \(k \in \mathbb {Z}\) and \(f \in G\), we have
$$\begin{aligned} \mu (f^k)=k \cdot \mu (f). \end{aligned}$$(2.1.9)
Theorem 2.1.3
([14]) Suppose \(QH(X;\Lambda )\) has a field factor, i.e.
where Q is a field and A is some algebra. Decompose the unit \(1_{X}\) of \(QH(X;\Lambda )\) with respect to this split, i.e.
Then, the asymptotic spectral invariant of \({\widetilde{\phi }}\) with respect to e defines a quasimorphism, i.e.
where H is any mean-normalized Hamiltonian such that the path \(t \mapsto \phi _H ^t \) represents the class \({\widetilde{\phi }}\) in \({\widetilde{\textrm{Ham}}}(X)\) and \(H^{\# k}\) is the k-th catenation of H, \( H^k:=\underbrace{H \# H \# \cdots \# H}_{k\text {-times}}\).
Remark 2.1.4
When we consider Entov–Polterovich quasimorphisms, we take the Laurent coefficients \(\Lambda _{\text {Lau}}\) (see Sect. 4.2) but the condition in Theorem 2.1.3 is equivalent for \(\Lambda _{\text {Lau}}\) and \(\Lambda _{\text {Nov}}\), see [16].
Example 2.1.5
As for the quadric hypersurface \(Q^n\), the quantum cohomology is semi-simple [1] and with the Laurent coefficients, it splits into a direct sum of two fields (which could be easily seen by the fact that the minimal Chern number \(N_{Q^n}=n\))
where the unit \(1_{Q^n}\) splits as
Thus, we get two Entov–Polterovich quasimorphisms
which we prove that they are distinct in Theorem A.
Remark 2.1.6
By slight abuse of notation, we will also see \(\zeta _{e}\) as a function on the set of time-independent Hamiltonians:
Spectral rigidity. Not only that Entov–Polterovich defined quasimorphisms on \({\widetilde{\textrm{Ham}}}(X)\), they introduced a level of rigidity for subsets in X called (super)heaviness.
Definition 2.1.7
([15, 17]) Take an idempotent \(e \in QH(X;\Lambda )\) and denote the asymptotic spectral invariant with respect to e by \(\zeta _{e}\). A subset S of X is called
-
1.
e-heavy (or heavy with respect to e) if for any time-independent Hamiltonian \(H:X \rightarrow \mathbb {R}\), we have
$$\begin{aligned} \inf _{x\in S} H(x) \leqslant \zeta _{e} ( H), \end{aligned}$$ -
2.
e-superheavy (or superheavy with respect to e) if for any time-independent Hamiltonian \(H:X \rightarrow \mathbb {R}\), we have
$$\begin{aligned} \zeta _{e} ( H) \leqslant \sup _{x\in S} H(x). \end{aligned}$$
The following is an easy corollary of the definition of superheaviness which is useful.
Proposition 2.1.8
([17]) Assume the same condition on \(QH(X;\Lambda )\) as in Theorem 2.1.3. Let S be a subset of X that is \(\zeta \)-superheavy. For a time-independent Hamiltonian \(H:X \rightarrow \mathbb {R}\) whose restriction to S is constant, i.e. \(H|_{S}\equiv r,\ r\in \mathbb {R}\), we have
We end this section by giving a criterion for heaviness for Lagrangians, proved by Fukaya–Oh–Ohta–Ono (there are earlier results with less generality, c.f. [2]). Let L be a monotone Lagrangian and suppose its Floer cohomology \(HF^*(L,\rho )\) equipped with a \(\mathbb {C}^*\)-local system \( \rho : H_1 (L;\mathbb {Z}) \longrightarrow \mathbb {C}^*\), c.f. [12], is non-zero. There is a ring homomorphism called the (length 0) closed-open mapFootnote 4
which is a quantum analogue of the restriction map.
Theorem 2.1.9
([22, Theorem 1.6]) If \(\mathcal{C}\mathcal{O}^0 (e)\ne 0\) for an idempotent \(e\in QH (X;\Lambda )\), then L is \(\zeta _e\)-heavy.
Remark 2.1.10
When \(\zeta _e\) is homogeneous, e.g. when e is a unit of a field factor of \(QH (X;\Lambda )\) and \(\zeta _e\) is an Entov–Polterovich quasimorphism, then heaviness and superheaviness are equivalent so Theorem 2.1.9 will be good enough to obtain the superheaviness of L.
2.2 Biran decomposition
In this section, we briefly review the notion of Biran decomposition, which was established by Biran in [4], while comparing the conventions in [4] and [40]. We emphasis that in this paper, the convention of Oakley–Usher [40] is used.
We start with the Biran’s setting [4, page 412]. Let X be a symplectic Kähler manifold \(X=(X,\omega _{\text {Bir}})\) with an integral symplectic form, i.e. \([\omega _{\text {Bir}}] \in H^2(X;\mathbb {Z}) \). Consider a (Donaldson) divisor \(\Sigma \) which gives a polarization of degree k, i.e. the pair \((X,\Sigma )\) satisfies
The complement \(X\backslash \Sigma \) has the structure of a Stein manifold and thus, one can define the unstable set of a plurisubharmonic function which is called the skeleton \(\Delta \). Biran proved that the complement of the skeleton \(\Delta \), namely \(X\backslash \Delta \), is symplectomorphic to a certain disk bundle (defined with appropriate connection/curvature: we require that the connection 1-form \(\alpha _{\text {Bir}} \) satisfies \(\int _{\partial D^2= \{|z|=1\}} \alpha _{\text {Bir}} =1 \)):
equipped with the symplectic form
where \(\omega _{\text {Bir}}|_{\Sigma }:=i^*\omega _{\text {Bir}},\ i:\Sigma \hookrightarrow X\), that is,
Note that the area of a fiber disk of the disk bundle \(( D\Sigma , \omega _{\text {can};\text {Bir}})\) is
Thus, for the Biran decomposition with Biran’s convention \(( D\Sigma , \frac{1}{k} \omega _{\text {can};\text {Bir}})\), the area of the fiber disk is \(\frac{1}{k}\), i.e. the radius of the disk is \(1/\sqrt{\pi k}\).
Next, we explain Oakley–Usher’s convention in [40]. The symplectic form of X \(\omega _{\text {OU}}\) is scaled so that
Note that unlike \(\omega _{\text {Bir}}\), \(\omega _{\text {OU}}\) does not represent an integral cohomology class, i.e. \([\omega _{\text {OU}}] \notin H^2(X;\mathbb {Z})\). Oakley–Usher describes the aforementioned Biran decomposition from the relation
for \(\tau >0\). Note that from the equations (2.2.1), (2.2.6), and (2.2.5), we obtain
The Biran decomposition with respect to Oakley–Usher’s convention is as follows:
where
\(\omega _{\text {OU}}|_\Sigma :=i^*\omega _{\text {OU}}\) where \(i:\Sigma \hookrightarrow X\) and \(\alpha _{\text {OU}} \) is the connection 1-form satisfying
From the equation (2.2.5), we have
and thus, by using (2.2.7), we have
which means that for the Biran decomposition with Oakley–Usher’s convention \(( D\Sigma , \frac{1}{k} \omega _{\text {can};\text {OU}})\), the area of the disk is \(\tau \), i.e. the radius of the fiber disk is \(\sqrt{\tau /\pi }\).
We look at the examples we will be focusing on.
Example 2.2.1
For \(X=\mathbb {C}P^n\), \(\omega _{\text {Bir}}\) is the Fubini–Study form scaled so that
whereas \(\omega _{\text {OU}}\) satisfies
For \(X=Q^n\), which is the main case of our interest, \(\omega _{\text {Bir}}\) and \(\omega _{\text {OU}}\) are
where \(i: Q^n \hookrightarrow \mathbb {C}P^{n+1}\).
Now, we look at some polarizations.
-
1.
\((X,\Sigma )= (\mathbb {C}P^n, \mathbb {C}P^{n-1}=\{z_{n+1}=0\}),\ (Q^n,Q^{n-1}=\{z_{n+1}=0\} \cap Q^n)\): As the degree of this polarization is \(k=1\), we have
$$\begin{aligned} \tau = 2 \pi , \end{aligned}$$which implies that the fiber disk has radius \(\sqrt{2}\).
-
2.
\((X,\Sigma )= (\mathbb {C}P^n, Q^{n-1})\): As the degree of this polarization is \(k=2\), we have
$$\begin{aligned} \tau = 2 \pi /2 = \pi , \end{aligned}$$which implies that the fiber disk has radius 1.
Biran decomposition has been also known as a nice way to construct interesting Lagrangians, which we call the Biran circle bundle construction and explain what it is. Let L be a Lagrangian submanifold in \(\Sigma \). Consider the radius \(r>0\) circle bundle associated to the disk bundle \(D\Sigma \)
The set
defines a Lagrangian submanifold in \(D\Sigma \), which is a circle bundle over L. Note that \(\pi _{ |u| = r}\) denotes the restricted projection \(D\Sigma _{|u| = r} \rightarrow \Sigma \). Via the symplectic identification (2.2.4), we can see \({\widetilde{L}}_r\) as a Lagrangian submanifold in \(X \backslash \Sigma \) or X.
When L is a monotone in \(\Sigma \), then there is a distinguished radius \(r_0>0\) for which the lifted Lagrangian submanifold \({\widetilde{L}}\) becomes also monotone in X and according to [6, Proposition 6.4.1], it satisfies
where \(\kappa _L\) is the monotonicity constant for L in \(\Sigma \), i.e. \(\omega _{\Sigma }|_{\pi _2(\Sigma ,L)} = \kappa _L \cdot \mu _L|_{\pi _2(\Sigma ,L)}\). We sometimes call the radius \(r_0\) the monotone radius as well.
In the following, the lifted Lagrangian submanifold \({\widetilde{L}}:={\widetilde{L}}_{r_0}\) will always be this distinguished monotone Lagrangian submanifold in X.
2.3 Various ways to see quadrics
The aim of this section is to see that the quadric hypersurface \(Q^n\) can be identified to some coadjoint orbit \({\mathcal {O}}_{\lambda }\) of the Lie algebra \(\mathfrak {so}(n+1;\mathbb {R})\).
First of all, as Oakley–Usher it is convenient to see \(Q^n\) as the following quotient: first, we have
Then,
This is the Oakley–Usher way to see \(Q^n\). Now, by writing \(z=x+iy\), we have
Thus, a point in \(Q^n\) is a orthogonal frame x, y in \(\mathbb {R}^{n+2}\) where the rotations are identified, thus this defines a plane in \(\mathbb {R}^{n+2}\). Thus,
where \(Gr_\mathbb {R}^+ (2, n+2)\) denotes the real oriented Grassmanian. Now, the group \(SO(n+2;\mathbb {R})\) acts transitively on \(Gr_\mathbb {R}^+ (2, n+2)\) and the isotropy subgroup of the plane spanned by \((1,0,\dots ,0)\) and \((0,1,0,\dots ,0)\) is \(SO(2;\mathbb {R})\times SO(n;\mathbb {R})\), thus,
Now, \(G:=SO(n+2;\mathbb {R}) \) also acts transitively on \(\mathfrak {so}(n+2;\mathbb {R})=\{A: A^t=-A \}\) by the adjoint action. We try to find a element \(\lambda \in \mathfrak {so}(n+2;\mathbb {R}) \) so that the stabilizer of this action equals the stabilizer of the previous action, namely \(SO(2;\mathbb {R}) \times SO(n;\mathbb {R})\). In order to do this, we can consider
Thus, we now have
From (2.3.4) and (2.3.6), we conclude
To avoid confusion, we will denote this identification by A:
The coadjoint orbits are known to possess a canonical symplectic structure given by the so-called Kirillov–Kostant–Souriau (KKS) form \(\omega _{\text {KKS}}\) which satisfies
and thus via (2.3.8), one obtains a KKS form on \(Q^n\). The symplectic form we work with in this paper needs to be appropriately scaled, see Sect. 2.5 for this matter.
2.4 Gelfand–Zeitlin system for quadrics
In this section, we will review the completely integrable system called the Gelfand–Zeitlin (GZ) system for the quadric \(Q^n\) via (2.3.8), as explained in [32, Section 2.2].
For any \(z \in Q^n\), for each \(k,\ 2\leqslant k \leqslant n+2\), we take the left-upper \(k \times k\)-submatrix of A(z) which we will denote by \(A(z) ^{(k)}\). As A(z) is a skew-symmetric \((n+2) \times (n+2)\) matrix, each \(A(z) ^{(k)}\) is also skew-symmetric, and thus its eigenvalues are either all 0 or \(\pm \sqrt{-1} \nu ^{(k)} (z),\ 0\cdots , 0\) where \(\nu ^{(k)} (z)>0\). Now, define the following map:
where
where Pf is the Phaffian.
Guillemin–Sternberg proved that \(\Phi \) forms a completely integrable system.
Theorem 2.4.1
([23]) The map \(\Phi =(\Phi _1,\dots , \Phi _n)\) in (2.4.1) is a completely integrable system on \(Q^n\). In fact, the k-th component \(\Phi _k\) generates a Hamiltonian \(S^1\)-action on \(\Phi ^{-1}(\{u=(u_1,\dots ,u_n ) \in \mathbb {R}^n: u_k \ne 0\})\).
In [36, Proposition 3.1], Nishinou–Nohara–Ueda computed the GZ system \(\{\lambda _1 ^{(k)}\}_{2 \leqslant k \leqslant n+1}\) for \(Q^n\)
which is as follows:
Remark 2.4.2
In Kim’s paper [32], he uses the notation \(\{u_k\}_{1 \leqslant k \leqslant n}\), where the correspondence is given by
The monotone GZ fiber is expressed as follows [32, Proposition 3.7]:
where we used the notation
2.5 Convention
In this section, we will remind some conventions that is used in Sect. 3 and 4, which are taken from [40].
For the quadric hypersurface \(Q^n \subset \mathbb {C}P^{n+1}\), we equip a symplectic form \(\omega \) such that
where
is the inclusion and \( \omega _{\mathbb {C}P^{n+1} }\) is the Fubini–Study form scaled so that
This makes the monotonicity constant to be equal to \(\frac{2\pi }{n}\), i.e.
In [32] and [36], they scale the symplectic form on \(Q^n\) so that the monotonicity constant becomes 1. In fact, they use the Kirillov–Kostant–Souriau (KKS) form \(\omega _{\text {KKS}}\) that satisfies
These different choices of the normalization cause some rescaling in the results in [32] and [36] and in this paper, we use their results in the scaled form which amounts to putting \(\lambda =2\pi \) instead of \(\lambda =n\) in their results.
3 Proofs of Theorem B (1), (2)
3.1 Toric degeneration
In this section, as we briefly review toric degenerations of symplectic manifolds and of integrable systems. The latter is a special class of the former which was introduced by Nishinou–Nohara–Ueda in [38] that makes the integrable structure on a symplectic manifold and the toric integrable structure on its degenerated toric variety compatible. We study the particular case of the quadric hypersurface \(Q^n\) and we specify the toric degeneration for the quadric hypersurface \(Q^n\) which we will use in this paper. We define two distinguished Lagrangians in \(Q^n\), namely the monotone GZ torus \(T^n _{\text {GZ}}\) and the Lagrangian sphere \(S^n _{\text {van}}:=\{x \in \mathbb {C}P^{n+1}: x_{0} ^2+x_{1} ^2+ \cdots +x_{n-1} ^2= x_{n} ^2,\ x_j \in \mathbb {R}\}\). We also discuss its superpotential, which was computed by Y. Kim in [32].
Definition 3.1.1
([24, Definition 2], [19, Section 1]) A toric degeneration of a symplectic manifold X is a flat family \(\pi : {\mathfrak {X}} \rightarrow \mathbb {C}\) whose fibers \(\{X_t:=\pi ^{-1}(t)\}_{t\in \mathbb {C}}\) satisfy the following properties:
-
1.
For \(t\ne 0\), the fiber \(X_t\) is smooth and \(X_1\) is isomorphic to X.
-
2.
For \(t = 0\), the fiber \(X_0\) is a toric variety that is not smooth.
-
3.
The fibres \(X_t\) are projective subvarieties of the same projective space, i.e. there is a morphism \(f: {\mathfrak {X}} \rightarrow \mathbb {C}P^N\) such that for every \(t\in \mathbb {C}\), \(f_t:= f|_{X_t}: X_t \rightarrow \mathbb {C}P^N\) is an embedding.
Remark 3.1.2
In fact, it turns out that all the smooth fibers are symplectomorphic to each other; see [19, Lemma 1.1].
We provide an example of a toric degeneration for the quadric hypersurface \(Q^n\) considered by Nishinou–Nohara–Ueda in [36], which we will be using throughout the paper.
Example 3.1.3
Consider the following:
We define
Then for \(t =1\), the fiber \(X_1\) is isomorphic to \(Q^n\) and for \(t=0\), the fiber \(X_0\) is a singular toric variety (that is isomorphic to the weighted projective space \(\mathbb {C}P(1,1,1,2,\dots ,2)\)), which is an orbifold whose singular locus \(X_0 ^{\text {sing}}\) is
Remark 3.1.4
In the toric degeneration considered in Example 3.1.3, the singular locus (3.1.3) is not an isolated set (each singular point is a transverse \(A_1\)-singularity). This is very different from the toric degenerations for del Pezzo surfaces that we will consider in Sect. 5, and makes the study of the geometry of vanishing cycles more difficult.
We now define a toric degeneration of a completely integrable system.
Definition 3.1.5
([38, Definition 1.1]) Let \(X^{2n}=(X,\omega )\) be a symplectic manifold and \(\Phi :X \rightarrow \mathbb {R}^n\) a completely integrable system with respect to \(\omega \). A toric degeneration of the completely integrable system is a toric degeneration of X
with the following data:
-
a (piecewise smooth) path \(\gamma :[0,1 ] \rightarrow \mathbb {C},\ \gamma (0)=1,\ \gamma (1)=0\),
-
a continuous map
$$\begin{aligned} {\widetilde{\Phi }}: {\mathfrak {X}}|_{\gamma ([0,1])} \rightarrow \mathbb {R}^n, \end{aligned}$$ -
a flow \(\phi _t\) on \({\mathfrak {X}}|_{\gamma ([0,1])}\) defined away from the singular locus of \({\mathfrak {X}}|_{\gamma ([0,1])}\),
satisfy the following properties:
-
1.
For each t, \(\Phi _t:={\widetilde{\Phi }}|_{X_t}:X_t \rightarrow \mathbb {R}^n\) defines a completely integrable system where for \(t=0\), it coincides with the toric system \(\Phi _0:X_0 \rightarrow \mathbb {R}^n\) and for \(t=1\), it coincides with \(\Phi :X \rightarrow \mathbb {R}^n\).
-
2.
Away from the singular locus, the flow \(\phi _t\) restricts to a symplectomorphism between \(X_s\) and \(X_{s-t}\) that preserves the integrable system:
(3.1.4)
We now would like to construct a toric degeneration for the GZ system on \(Q^n\). The methods of Nishinou–Nohara–Ueda from [38] and Harada–Kaveh from [24] which are based on the gradient-Hamiltonian vector field (due to Ruan [44]) allow us to do that starting from the toric degeneration of \(Q^n\) in Example 3.1.3, which is of our main interest.
We briefly review Ruan’s idea. Let \({\mathfrak {X}} \) be an algebraic variety equipped with a Kähler form \({\widetilde{\omega }}\). Let \(\pi :{\mathfrak {X}} \rightarrow \mathbb {C}\) be a morphism (i.e. an algebraic map) and \(\nabla \textrm{Re}(\pi )\) be the gradient vector field on (the smooth locus of) \({\mathfrak {X}}\) with respect to to the Kähler form \({\widetilde{\omega }}\) where \(\textrm{Re}(\pi )\) is the real part of the holomorphic function \(\pi \). Now, the gradient-Hamiltonian vector field V on the smooth locus of \({\mathfrak {X}}\) is defined by
From the normalization, it follows that
Although the flow of the gradient-Hamiltonian vector field V is not complete due to it not being defined on the singular loci, Harada–Kaveh [24] proved that one can extend the flow continuously on the whole \({\mathfrak {X}}\) and obtain
which satisfies \(\phi ^t (X_{t})=X_{0}\).
By using this gradient-Hamiltonian flow applied to the toric degeneration of \(Q^n\) in Example 3.1.3, Nishinou–Nohara–Ueda obtained a toric degeneration for the GZ system on \(Q^n\).
Proposition 3.1.6
([36, Proposition 3.1], [32, Proposition 2.6]) The toric degeneration \(\pi : {\mathfrak {X}} \rightarrow \mathbb {C}\) in Example 3.1.3 together with the gradient-Hamiltonian flow \(\phi _t\) of \(\pi \) defines a toric degeneration of the GZ system on \(Q^n\) (by taking the path \(\gamma (t):=1-t\) and \(\Phi _t:=\Phi _0 \circ \phi _t\).)
The compatibility between the GZ system on \(X=Q^n\) and the toric system on \(X_0 (\simeq \mathbb {C}P(1,1,1,2,\dots , 2))\) implies that the monotone GZ torus is sent to a toric torus through the toric degeneration with the gradient-Hamiltonian flow, i.e. the monotone GZ torus fiber \(T^n _{\text {GZ}}= \Phi ^{-1}(x_0)\) satisfies
where \(x_0\) is the barycenter of the moment polytope of \(\Phi _0\).
The map \(\phi _1\) allows us to define the vanishing loci.
Definition 3.1.7
Let S be a subset of the singular locus of \(X_0\), i.e. \(S \subset X_0 ^{\text {sing}}\). The vanishing locus corresponding to S is the set \(\phi _1 ^{-1}(S)\).
Now, we get back to the toric degeneration (3.1.3), (3.1.6) for \(Q^n\) which is of our specific interest.
Proposition 3.1.8
The Lagrangian sphere
is the vanishing locus of the set
Remark 3.1.9
Because of Proposition 3.1.8, we will denote the sphere \(S^n\) by \(S^n _{\text {van}}\).
Proof of Proposition 3.1.8
Consider the following anti-symplectic involution:
For each \(t\in [0,1]\), this restricts to an anti-symplectic involution on \(X_t\):
By using that the Kähler metric g (corresponding to the Kähler form \({\widetilde{\omega }}=\omega _{\textrm{FS}} \oplus \omega _{\text {stand}}\)) on \({\mathfrak {X}}\) is preserved by the anti-symplectic involution \(\tau \), i.e. \(\tau ^*g=g\), we can show that the gradient-Hamiltonian vector field V along \({\mathfrak {X}}|_{[0,1]}\) is also preserved by the anti-symplectic involution \(\tau \), i.e. \(\tau _*V (z,t) =V(z,t)\) for \((z,t ) \in {\mathfrak {X}}|_{[0,1]}\) by
for any \(W \in T_{(z,t)} {\mathfrak {X}}\) with \((z,t ) \in {\mathfrak {X}}|_{[0,1]}\). Note that the fifth line uses that \((z,t ) \in {\mathfrak {X}}|_{[0,1]}\) (more precisely, that \(t \in \mathbb {R}\)).
Thus,
where
The \(t=1\) case will give us that
where
which is equivalent to the Lagrangian sphere in \(Q^n\) that we are interested in, namely
under the identification between \(Q^n\) and \(X_1\), and
Thus, \(S^n\) is the vanishing locus of the singular locus
\(\square \)
Remark 3.1.10
The argument in the above proof is essentially the same as [19, Lemma 1.20], which is a very useful method to identify vanishing cycles based on [19, Lemma 1.17].
Remark 3.1.11
Note that \(S^n\) is just a part of the vanishing locus of the singular locus of \(X_0\) and we can detect other parts of the vanishing locus by taking different anti-symplectic involutions: for example, by looking at the fixed locus of
we can conclude that
is also a part of the vanishing locus.
Nishinou–Nohara–Ueda applied toric degenerations of GZ systems to compute the superpotential of the monotone Lagrangian torus fiber for some toric degenerations in [36, 38], which enlarged the cases where one can compute the superpotential. This idea inspired Fukaya–Oh–Ohta–Ono and Y. Kim to compute the superpotential of the Chekanov torus in \(S^2 \times S^2 \simeq Q^2\) [21] and the GZ torus \(T^n _{\text {GZ}}\) in \(Q^n\) [32], respectively. We now summarize Y. Kim’s work from [32].
According to Y. Kim, the superpotential \( W_{T^n _{\text {GZ}}}: (\mathbb {C}^*)^n \rightarrow \mathbb {C}\)Footnote 5 of \(T^n _{\text {GZ}}\) takes the following form:
This has n different (non-degenerate) critical points \( \rho _j,\ j=0,1,\dots ,n-1\):
where \(\xi _j = 4^{1/n} \exp (\frac{2\pi \sqrt{-1} }{n} \cdot j),\ j=0,1,\dots ,n-1\) (each \(\xi _j\) satisfies \(\xi _j ^n= 4\)), and the critical values are as follows:
This implies that there are n different local systems \(\rho _j: H_1(T^n _{\text {GZ}};\mathbb {Z}) \rightarrow \mathbb {C}^*,\ j=1,\dots ,n\) so that the Floer homology of \(T^n _{\text {GZ}}\) with respect to these local systems are non-zero:
Remark 3.1.12
As Y. Kim points out in [32], Fukaya–Oh–Ohta–Ono’s superpotential for the Chekanov torus in \(S^2 \times S^2 \simeq Q^2\) [21] coincides with the \(n=2\) case of his superpotential (3.1.12) for \(T^n _{\text {GZ}}\). This made his ask whether the two dimensional GZ torus \(T^2 _{\text {GZ}}\) is Hamiltonian isotopic to the Chekanov torus (Question 1.3.1). We will answer this in the positive in Corollary 1.3.3.
3.2 Proof
In this section, we prove the main results, namely Theorems A and B, and Corollary 1.3.3. We first look at how Corollary 1.3.3 follows from Theorem B.
Proof of Corollary 1.3.3
First of all, note that \(Q^2\) is symplectomorphic to the monotone \(S^2 \times S^2\) (with appropriate normalization), i.e.
and through this identification, the polarization \((Q^2,Q^1)\) gets translated to the polarization \((S^2 \times S^2, \Delta )\) where \(\Delta \) denotes the diagonal sphere
i.e.
Now, our aim is to prove that \(\Phi (T^2 _{\text {GZ}} )\) is Hamiltonian isotopic to the Chekanov torus. From Theorem B, we know that \(T^2 _{\text {GZ}}\) in \(Q^2\) is equal to the Biran circle fibration of \(T^1 _{\text {GZ}}\) in \(Q^1\), i.e.
The circle \(T^1 _{\text {GZ}}\) in \(Q^1\) is the equatorial circle \(T^1 _{\text {eq}} \) via the identification between \(Q^1\) and \(S^2\), i.e.
In [40], it was proven that for the polarization \((S^2 \times S^2, \Delta )\), the Lagrangian torus obtained as the Biran circle bundle of the equatorial circle in \( \Delta \simeq S^2\), i.e. \(\widetilde{T^1 _{\text {eq}}} \) (which is denoted by \(T_{\text {BC}}\) in the paper), is Hamiltonian isotopic to the Chekanov torus (and to the Fukaya–Oh–Ohta–Ono torus, Entov–Polterovich torus, Albers–Frauenfelder torus). From the equivalence of polarizations (3.2.1), we have
Thus, we conclude that \(\Phi (T^2 _{\text {GZ}} )\) is Hamiltonian isotopic to the Chekanov torus in \(S^2 \times S^2\). \(\square \)
We now prove the first assertion of Theorem B.
Proof of Theorem B (1)
Recall from Sect. 2.4 that the monotone GZ torus \(T^n _{\text {GZ}}\) is defined as
where \(\Phi _{Q^n}\) is
with \(\lambda _1 ^{(k)}:Q^n \longrightarrow \mathbb {R}\) such that
From now on, we will be looking at the GZ systems on \(Q^n\) and its submanifold \(Q^{n-1}=\{z_{n+1}=0\}\) so we will introduce the notation
to denote the GZ system for \(Q^n\) and
to denote the GZ system for \(Q^{n-1}\).
Now, we prove that the monotone GZ fiber in \(Q^n\) is equal to the monotone Biran circle fibration of the monotone GZ fiber in \(Q^{n-1}\) for the polarization, i.e.
Note that apriori, the two geometric constructions, namely the toric degeneration and the Biran decomposition has nothing to do with each other.
The Biran decomposition associated to the polarization \((Q^n,Q^{n-1})\) is expressed in terms of coordinate as follows [40, Section 4.2]:
First, we focus on the Hamiltonian \(\lambda _{Q^n} ^{(n+1)}\). By using
the expression of \(\lambda _1 ^{(n+1)}\) can we rewritten as follows:
thus, we have
By using that \(|z|^2 = 2\) and that the symplectomorphism (3.2.6), we further have
From (2.4.4), the monotone GZ fiber satisfies
which is equivalent to
which is (as \(\lambda =2\))
We will see that this is precisely the monotone radius of the Biran circle bundle construction for \((Q^n,Q^{n-1})\). Indeed, by [40, Section 4.4] (see also [6, Proposition 6.4.1]), the monotone radius \(r_0\) satisfies
where \(\kappa _{Q^n}\) is the monotonicity constant for \(Q^n\) (see our convention in Sect. 2.5). Thus,
Now, we shift our focus to \(\lambda _{Q^{n}} ^{(k)}\) where \(2 \leqslant k \leqslant n\). By using the symplectomorphism (3.2.6), we rewrite the Hamiltonians \(\lambda _{Q^{n}} ^{(k)} \) as follows:
By using (3.2.9), we have
Finally, we compare the monotone GZ tori \(T^{n} _{\text {GZ}}\) and \(T^{n-1} _{\text {GZ}}\) by using (3.2.9) and (3.2.12). For \(2 \leqslant k \leqslant n\), by (2.4.4) the monotone GZ torus \(T^{n} _{\text {GZ}}\) satisfies
which, according to (3.2.12), is equivalent to
which is nothing but the description of \(T^{n-1} _{\text {GZ}}\). This implies that \(T^n _{\text {GZ}}\) is the monotone Biran circle fibration (i.e. the Biran circle fibration with radius as in (3.2.9)) over \(T^{n-1} _{\text {GZ}}\), namely
This completes the proof of the first assertion of Theorem B. \(\square \)
We now prove the second assertion of Theorem B.
Proof of Theorem B (2)
From Proposition 3.1.8, we know that the vanishing sphere \(S^n _{\text {van}}\) in \(X=X_1\) gets mapped to the singular locus of \(X_0\) by \(\phi _1\), i.e.
On the other hand, we have seen in (3.1.7) that from Proposition 3.1.6, we get
which implies
The properties (3.2.15) and (3.2.17) imply
\(\square \)
4 Proofs of Theorem A, B (3)
4.1 Proof–Part 1
Proof of Theorem B (3)
We use the following theorem due to Auroux–Kontsevich–Seidel.
Theorem 4.1.1
([3, Section 6], [48, Lemma 2.7, Proposition 2.9]) Let X be a closed monotone symplectic manifold and let L be a monotone Lagrangian. Assume that for some local system \(\rho \), we have \(HF(L,\rho ) \ne 0\). The (length 0) closed-open map
has the following properties:
-
1.
For \(c_1:=c_1(TX)\),
$$\begin{aligned} \mathcal{C}\mathcal{O}^0 (c_1)=W_L(\rho ) \cdot 1_{(L,\rho )} \end{aligned}$$where \(W_L(\rho )\) is the value of the superpotential \( W_{L}: Hom (H_1(L;\mathbb {Z}),\mathbb {C}^*) \rightarrow \mathbb {C}\) of the Lagrangian L equipped with a local system \(\rho \).
-
2.
Consider the map
$$\begin{aligned} c_1*-:QH(X;\Lambda _{\text {Nov}} ) \longrightarrow QH(X;\Lambda _{\text {Nov}} ) \end{aligned}$$(4.1.1)and split \(QH(X;\Lambda _{\text {Nov}} )\) into generalized eigenspaces with respect to \(c_1 *-\):
$$\begin{aligned} QH(X;\Lambda _{\text {Nov}} ) = \bigoplus _{w} QH(X;\Lambda _{\text {Nov}} )_w \end{aligned}$$(4.1.2)where w is an eigenvalue of \(c_1 *-\). The map
$$\begin{aligned} \mathcal{C}\mathcal{O}^0: QH(X;\Lambda _{\text {Nov}} )_w \longrightarrow HF(L,\rho ) \end{aligned}$$is zero if \(w \ne W_L (\rho )\) and is a unital homomorphism if \(w=W_L(\rho )\).
Remark 4.1.2
Note that in Theorem 4.1.1, it is important that we take the universal Novikov field
for the quantum cohomology instead of the field of the Laurent series
as \(\Lambda _{\text {Nov}}\) is algebraically closed and \(\Lambda _{\text {Lau}}\) is not.
Now, we apply Theorem 4.1.1 to \(Q^n\). The eigenvalues of the map
are 0 and \(n\cdot \xi _j,\ j=1,\dots , n\) where \(\{\xi _j\}_{j=1,\dots , n}\) are solutions to \(\xi ^n=4\) (see [48, Corollary 1.14]). Thus, \(QH(X;\Lambda _{\text {Nov}} )\) splits into a direct sum of generalized eigenspaces with respect to \(c_1 *-\) as follows:
We decompose the unit \(1_{Q^n}\) with respect to this split:
In view of the superpotential computation for \(T^n _{\text {GZ}}\) of Y. Kim (3.1.13), (3.1.14), Theorem 4.1.1 implies that
where
Similarly, given that \(W_{S^n _{\text {van}}}=0\) (\(S^n _{\text {van}}\) does not bound any Maslov 2-disks), Theorem 4.1.1 implies
The heaviness criterion Theorem 2.1.9 applied to (4.1.5) and (4.1.7) imply that \(T^n _{\text {GZ}}\) is \(\zeta _{e_{n\cdot \xi _j}}\)-heavy for all \(1 \leqslant j \leqslant n\) and \(S^n _{\text {van}}\) is \(\zeta _{e_0}\)-heavy. Moreover, by using that \(QH(X;\Lambda _{\text {Nov}} )_{n \cdot \xi _j}\) is a field, we can conclude that \(\zeta _{e_{n\cdot \xi _j}}\)-superheavy for all \(1 \leqslant j \leqslant n\), see Remark 2.1.10. On the other hand, as \(QH(X;\Lambda _{\text {Nov}} )_0\) is not a field if n is even (see Sect. 4.2 for this in more detail), we will need some extra arguments to show that \(S^n _{\text {van}}\) is \(\zeta _{e_0}\)-superheavy, which is the purpose of Sects. 4.2 and 4.3.
4.2 The Laurent and Novikov fields
The aim of this section is to clarify the relation between spectral invariants defined with respect to different coefficient fields. Note that \(\zeta _\pm : {\widetilde{\textrm{Ham}}}(Q^n) \rightarrow \mathbb {R}\) are defined with the Laurent coefficients
while we have worked entirely with the Novikov coefficients
in Sect. 4.1 (see Remark 4.1.2). Recall that \(\Lambda _{\text {Lau}}\) can be embedded to \(\Lambda _{\text {Nov}}\) by the inclusion given by \(t \mapsto T^{\lambda _0}\), and this inclusion extends to
This subtlety of the choice of the coefficient field, which was analyzed in [27, Section 4.2, 4.5], might seem technical but turns out to be very useful and important. To summarize the points from [27, Section 4.2, 4.5], to work with spectral invariants, e.g. Entov–Polterovich quasimorphisms, it is more convenient to work with the Laurent coefficient while Lagrangian Floer theory is more suited to work with the universal Novikov field, e.g. Theorem 4.1.1.
We will focus on the case of \(Q^n\). With the Laurent coefficients, the quantum cohomology splits into a direct sum of two fields
where the unit \(1_{Q^n}\) splits as
However, when we consider \(QH(Q^n;\Lambda _{\text {Nov}} ) \), \(Q_{+}\) and \(Q_-\) further splits into finer fields; \(Q_{+}\) splits as a direct sum of n fields
and \(Q_{-}\) splits as
Thus, we have
where the unit \(1_{Q^n}\) splits as
Remark 4.2.1
When n is even, the idempotents \(e_{-,j},\ j=1,2\) are given by
where \([S^n]\) is the homology class represented by the vanishing sphere \(S^n _{\text {van}}\). The precise expression for \(\{e_{+,i}\}\) will be omitted but can be obtained similarly.
In Sect. 4.1, we have considered yet another split of \(QH(Q^n;\Lambda _{\text {Nov}} ) \), namely the eigenvalue decomposition (4.1.3):
and the unit \(1_{Q^n}\) is decomposed as
One can check that \(c_1 *e_{+,i} =n\cdot \xi _i \cdot e_{+,i}\) and \(c_1 *e_{-,j}=0 \) and thus, the relation between the splits (4.2.1), (4.2.4) and (4.2.8) is
and
which means that \(QH(X;\Lambda _{\text {Nov}} )_{n \cdot \xi _j}\) is a field for any \(1 \leqslant j \leqslant n\) and \(QH(X;\Lambda _{\text {Nov}} )_0\) is not (it is a direct sum of two fields). All these are not trivial but easy to see from [48, Section 7.4].
In [27, Lemma 31, 32] (see also [27, Proof of Theorem 6, Remark 44]), the author studied the relation between spectral invariants of a class seen as elements of quantum cohomology with different coefficient fields and the lemma implies the following.
Theorem 4.2.2
We have the following relation between asymptotic spectral invariants:
4.3 Proof–Part 2
In this section, we will combine results from Sects. 4.1 and 4.2 to complete the proof of Theorem B.
In Sect. 4.1, we have shown that \(T^n _{\text {GZ}}\) is \(\zeta _{e_{n\cdot \xi _j}}\)-superheavy for any \(1 \leqslant j \leqslant n\) and \(S^n _{\text {van}}\) is \(\zeta _{e_0}\)-heavy and thus, Theorem 4.2.2 implies that \(T^n _{\text {GZ}}\) is \(\zeta _{e_{+}}\)-superheavy and \(S^n _{\text {van}}\) is \(\zeta _{e_-}\)-heavy. As \(e_-\) is a unit of a field factor of \(QH(X,\Lambda _{\text {Lau}})\), \(\zeta _{e_-}\) is homogeneous and thus \(S^n _{\text {van}}\) is actually \(\zeta _{e_-}\)-superheavy. We have completed the proof of Theorem B. \(\square \)
4.4 Proof of Theorem A
We prove Theorem A by using Theorem B.
Proof of Theorem A
From Theorem B, the Lagrangian sphere \(S^n _{\text {van}}\) and the monotone GZ torus \(T^n _{\text {GZ}}\) are \(e_-\)-superheavy and \(e_+\)-superheavy, respectively. Also by Theorem B, \(S^n _{\text {van}}\) and \(T^n _{\text {GZ}}\) are disjoint so one can take a Hamiltonian H on \(Q^n\) such that it is time-independent and its restriction to \(S^n _{\text {van}}\) and \(T^n _{\text {GZ}}\) are 0 and 1, respectively, i.e.
By Proposition 2.1.8, we have
which implies
We have proven Theorem A. \(\square \)
5 Proof of Theorem C
In this section, we prove Theorem C. In [49], Y. Sun studied toric degenerations of del Pezzo surfaces and computed the superpotentials for the Lagrangian tori that are obtained by symplectically parallel transporting the Lagrangian fiber tori of the barycenters of the moment polytopes. Unlike the case of quadrics that we considered earlier, the singular loci for the toric degenerations of del Pezzo surfaces are isolated sets, and moreover, consist of \(A_m\)-singularities. Thus, we do not need to study the geometry of the vanishing cycles, as they are merely \(A_m\)-configurations of Lagrangian spheres.
We now explain how to use Y. Sun’s results to obtain Theorem C.
Proof of Theorem C
We start by summarizing Y. Sun’s result. In [49], Y. Sun considered toric degenerations for the del Pezzo surfaces to compute the superpotentials of the Lagrangian tori therein. Y. Sun’s superpotentials (for the monotone torus fiber without bulk-deformation) have non-degenerate critical points and thus, the monotone Lagrangian torus fiber has non-zero self-Floer homology with respect to the local systems corresponding to the non-degenerate critical points of the superpotential. Y. Sun also classifies the singularities that appear in each toric degeneration, and the result is as follows:
-
1.
For \({\mathbb {D}}_2\), there is one \(A_1\)-singularity ([49, Section 3.4]).
-
2.
For \({\mathbb {D}}_3\), there is one \(A_1\)-singularity and one \(A_2\)-singularity ([49, Appendix B, case of \(X_3\)]).
-
3.
For \({\mathbb {D}}_4\), there is one \(A_1\)-singularity and one \(A_2\)-singularity ([49, Appendix B, case of \(X_6\)]).
Remark 5.0.1
-
1.
Y. Sun considers \({\mathbb {D}}_5\) as well, but we will not deal with this, as \(QH({\mathbb {D}}_5)\) is not semi-simple.
-
2.
For \({\mathbb {D}}_3\) and \({\mathbb {D}}_4\), there are several toric degenerations; see [49, Appendix B, cases of \(X_3,X_4,X_5\)], [49, Appendix B, case of \(X_6, X_7\)], respectively.
-
3.
One difference between the case of the quadrics and the case of del Pezzo surfaces is that in the former, the singular locus was not a discrete set, while in the latter the singular locus is discrete.
By looking at the vanishing cycles of the \(A_m\)-singularities, one obtains a chain of Lagrangian spheres (i.e. an \(A_m\)-configuration), and in particular we have the following:
-
1.
In \({\mathbb {D}}_2\), there is one Lagrangian sphere \(S_1\) that is disjoint from the monotone Lagrangian torus.
-
2.
In \({\mathbb {D}}_3\), there is one Lagrangian sphere \(S_1\) (from the \(A_1\)-singularity) and one Lagrangian sphere \(S_2\) (from the \(A_2\)-singularity) that are both disjoint to each other and also from the monotone Lagrangian torus.
-
3.
In \({\mathbb {D}}_4\), there is one Lagrangian sphere \(S_1\) (from the \(A_1\)-singularity) and one Lagrangian sphere \(S_2\) (from the \(A_2\)-singularity) that are both disjoint to each other and also from the monotone Lagrangian torus.
Remark 5.0.2
The properties of the spectral invariants of the Lagrangian spheres forming an \(A_m\) configuration is studied in [30]. The relation between the spheres and the corresponding idempotents is also explained in more detail in [30].
Note that all the Lagrangian spheres that appear above have non-zero Floer homology, c.f. [9, Proposition A.2]. Now, using that \(QH({\mathbb {D}}_k)\) for \(k=2,3,4\) are semi-simple, c.f. [8], and by employing an analogous argument to Sect. 4, we have the following:
-
1.
For \(k=2\), there exist two units of field factors of \(QH({\mathbb {D}}_2)\) \(e_1,e_2\) for which the Lagrangian sphere \(S_1\) is \(e_1\)-superheavy and the monotone Lagrangian torus is \(e_2\)-superheavy.
-
2.
For each \(k =3,4\), there exist three units of field factors of \(QH({\mathbb {D}}_k)\) \(e_1,e_2,e_3\) for which the Lagrangian sphere \(S_1\) is \(e_1\)-superheavy, the Lagrangian sphere \(S_2\) is \(e_2\)-superheavy, and the monotone Lagrangian torus is \(e_3\)-superheavy.
As all the involved Lagrangians are disjoint, we have
-
1.
For \(k=2\), \(\zeta _{e_1} \ne \zeta _{e_2}\).
-
2.
For \(k =3,4\), \(\zeta _{e_i} \ne \zeta _{e_j}\), \(1\leqslant i< j \leqslant 3\).
This finishes the proof of Theorem C. \(\square \)
Remark 5.0.3
For the del Pezzo surfaces, unlike the quadrics, we did not have to deal with the change of coefficient as in Sect. 4.2. This is because the minimal Chern number of the del Pezzo surfaces \({\mathbb {D}}_k,\ k\geqslant 1\) is 1, and thus Laurent coefficients and Novikov coefficients will give the same split in quantum cohomology.
6 Proofs of Theorem D and Applications
In this section, we prove Theorems Theorem D, E and F.
We first prove Theorem E.
Proof of Theorem E
First, recall the following result from [27]:
Theorem 6.0.1
([27, Theorem 22]) Let \((X,\omega )\) be a monotone symplectic manifold. Assume its quantum cohomology ring \(QH (X;\Lambda )\) is semi-simple i.e.
for some \(l\in {\mathbb {N}}\) where each \(Q_j\) is a field. We decompose the unit \(1_X \in QH (X;\Lambda )\) into a sum of idempotents with respect to this split:
Then for any \(i,j \in \{1,2,\dots ,l\},\)
descends from \({\widetilde{\textrm{Ham}}}(X,\omega )\) to \(\textrm{Ham}(X,\omega )\) and defines a homogeneous quasimorphism on \(\textrm{Ham}(X,\omega )\) which is \(C^0\)-continuous i.e.
is continuous. Moreover, it is Hofer Lipschitz continuous.
Now, when \(X=Q^n\), we take
Theorem 6.0.1 and Theorem A imply Theorem E.
When \(X={\mathbb {D}}_k,\ k=2,3,4\), we take
with \(i \ne j\), where the Entov–Polterovich quasimorphisms \(\{\zeta _{e_i}\}\) are taken as in Sect. 5. Theorem 6.0.1 and Theorem C imply Theorem E. \(\square \)
Remark 6.0.2
Note that the above quasimorphism extends to the \(C^0\)-closure of \(\textrm{Ham}(X)\), so \(\mu =\zeta _+ - \zeta _-\) and \(\mu _{i,j}= \zeta _{e_i}-\zeta _{e_j}\) give quasimorphisms on \({\overline{\textrm{Ham}}}^{C^0}(Q^n)\) and \({\overline{\textrm{Ham}}}^{C^0}({\mathbb {D}}_k),\ k=2,3,4\), respectively.
We prove Theorem D.
Proof of Theorem D
When \(k=3,4\), in the final step of the proof of Theorem E, we had
As \(\mu _{1,2}\) and \(\mu _{2,3}\) are both Hofer Lipschitz continuous and linearly independent, i.e. there is no constant \(\alpha \in \mathbb {R}\) such that \(\mu _{2,3} (\phi )= \alpha \cdot \mu _{1,2}(\phi ) \) for every \(\phi \in \textrm{Ham}({\mathbb {D}}_k )\), we can conclude that \(\textrm{Ham}({\mathbb {D}}_k )\) is not quasi-isometric to the real line \(\mathbb {R}\) with respect to the Hofer metric in the following way: first, we see that \(\mathbb {Z}\) (and thus \(\mathbb {R}\)) quasi-isometrically embeds to \(\textrm{Ham}({\mathbb {D}}_k )\). Indeed, by taking \(\phi \in \textrm{Ham}({\mathbb {D}}_k )\) such that \(\mu _{1,2}(\phi ) \ne 0\), we can see that
defines a quasi-isometric embedding, as
Now, we want to show that \(\mathbb {Z}\) (thus \(\mathbb {R}\)) is not quasi-isometric to \(\textrm{Ham}({\mathbb {D}}_k )\). Without loss of generality, we can assume that \(\mu _{2,3} (\phi )=0\) (otherwise, we can consider \(\mu _{2,3} - \frac{\mu _{2,3} (\phi )}{\mu _{1,2} (\phi ) } \cdot \mu _{1,2} \) instead of \(\mu _{2,3} \)). As \(\mu _{1,2} \) and \(\mu _{2,3} \) are linearly independent, there is \(\psi \in \textrm{Ham}({\mathbb {D}}_k )\) such that \(\mu _{2,3} (\psi ) \ne 0\). Consider the following embedding of \(\mathbb {Z}\) to \(\textrm{Ham}({\mathbb {D}}_k )\):
In order to show that \(\mathbb {Z}\) (thus \(\mathbb {R}\)) is not is not quasi-isometric to \(\textrm{Ham}({\mathbb {D}}_k )\), it suffices to show that the orbit \(\{\psi ^k: k \in \mathbb {Z}\}\) gets arbitrary far from \(\{\phi ^m: m\in \mathbb {Z}\}\). To see this, for every \(m \in \mathbb {Z}\), we have
Note that the third line uses the property (2.1.8) of quasimorphisms and the constant only depends on \(\mu _{2,3}\) and the fourth line uses the property (2.1.9) of quasimorphisms. Now, (6.0.5) shows that
and thus \(\mathbb {Z}\) (thus \(\mathbb {R}\)) is not is not quasi-isometric to \(\textrm{Ham}({\mathbb {D}}_k )\). This completes the proof of Theorem D.
\(\square \)
We prove Theorem F.
Proof of Theorem F
We start with the following claim.
Claim 6.0.3
Suppose QH(X) is semi-simple and denote the split of it by
For any Hamiltonian H, we have
Claim 6.0.3 implies that for any \(\phi \in \textrm{Ham}(X)\),
where
In fact,
By Theorem 6.0.1, we know that for each i, j, \(\mu _{i,j}\) is \(C^0\)-continuous and therefore, \( {\overline{\gamma }}\) is \(C^0\)-continuous. Theorem E implies \({\overline{\gamma }} \ne 0\) for \(X=Q^n\) and \(X={\mathbb {D}}_k,\ k=2,3,4\). \(\square \)
We prove Claim 6.0.3.
Proof of Claim 6.0.3
We first prove \( \zeta _{1_X} (H ) \geqslant \max _{1 \leqslant j \leqslant l} \zeta _{e_j} (H) \) for any H. By the triangle inequality, we get
for any j and Hamiltonian H and thus
for any j and Hamiltonian H. Therefore,
for any Hamiltonian H.
Next, we prove \( \zeta _{1_X} (H ) \leqslant \max _{1 \leqslant j \leqslant l} \zeta _{e_j} (H)\). A standard property of spectral invariants implies
as \(1_X= e_1 +e_2 + \cdots + e_l\) and thus
for any Hamiltonian H. This completes the proof of Claim 6.0.3. \(\square \)
Data availability statement
All data generated or analysed during this study are included in this article.
Notes
The original question was for the case \(X=S^2\).
Recall that a symplectic manifold \((X,\omega )\) is monotone if we have \(\omega |_{\pi _2(X)}=\kappa \cdot c_1|_{\pi _2(X)}\) for some \(\kappa >0\) where \(c_1\) is the first Chern class of TX and a Lagrangian L in \((X,\omega )\) is monotone if we have \(\omega |_{\pi _2(X,L)} = \kappa _L \cdot \mu _L|_{\pi _2(X,L)}\) for some \(\kappa _L >0\) where \(\mu _L\) is the Maslov class of L.
Usually, the PSS-isomorphism is a ring isomorphism between the quantum homology ring and Floer homology ring \(QH_*(X;\Lambda _{} ^{\downarrow }) \rightarrow HF(H;\Lambda _{} ^{\downarrow })\), but here we compose this with the Poincaré duality isomorphism \(PD :QH(X;\Lambda _{}) \rightarrow QH_*(X;\Lambda _{} ^{\downarrow }) \) and call the composition the PSS-isomorphism, c.f. [35, Section 12].
The original notation used in [20] for \(\mathcal{C}\mathcal{O}^0 \) is \(i^*_{qm}\).
More precisely, the superpotential for a Lagrangian torus \(L \simeq T^n\) is a map \( W_{L}: Hom (H_1(L;\mathbb {Z}),\mathbb {C}^*) \rightarrow \mathbb {C}\), but it is common to identify the set of local systems \(Hom (H_1(L;\mathbb {Z}),\mathbb {C}^*)\) with \((\mathbb {C}^*)^n\) by taking a \(\mathbb {Z}\)-basis of \(H_1(L;\mathbb {Z})\).
References
Abrams, L.: The quantum Euler class and the quantum cohomology of the Grassmannians. Isr. J. Math. 117, 335–352 (2000)
Albers, P.: On the extrinsic topology of Lagrangian submanifolds, IMRN 2005, 38, 2341–2371. Erratum IMRN 7, 1363–1369 (2010)
Auroux, D.: Mirror symmetry and T-duality in the complement of an anticanonical divisor. J. Gökova Geom. Topol., GGT 1, 51–91 (2007)
Biran, P.: Lagrangian barriers and symplectic embeddings. Geom. Funct. Anal. 11(3), 407–464 (2001)
Biran, P.: Lagrangian non-intersections. Geom. Funct. Anal. 16(2), 279–326 (2006)
Biran, P., Cornea, O.: Rigidity and uniruling for Lagrangian submanifolds. Geom. Topol. 13(5), 2881–2989 (2009)
Buhovsky, L., Humilière, V., Seyfaddini, S.: The action spectrum and \(C^0\) symplectic topology. Math. Ann. 380(1–2), 293–316 (2021)
Bayer, A., Manin, Y.I.: (Semi)simple exercises in quantum cohomology, The Fano Conference, 143–173. Univ. Torino, Turin (2004)
Biran, P., Membrez, C.: The Lagrangian cubic equation. Int. Math. Res. Not. IMRN 9, 2569–2631 (2016)
Cristofaro-Gardiner, Daniel, Humilière, Vincent, Seyfaddini, Sobhan: PFH spectral invariants on the two-sphere and the large scale geometry of Hofer’s metric, arXiv:2102.04404v3, To appear in J. Eur. Math. Soc. (JEMS).
Cristofaro-Gardiner, Daniel, Humilière, Vincent, Mak, Cheuk Yu, Seyfaddini, Sobhan, Smith, Ivan: Quantitative Heegaard Floer cohomology and the Calabi invariant, arXiv:2105.11026v1
Biran, P., Cornea, O.: Lagrangian topology and enumerative geometry. Geom. Topol. 16(2), 963–1052 (2012)
Eliashberg, Yakov, Polterovich, Leonid: Symplectic quasi-states on the quadric surface and Lagrangian submanifolds, arXiv:1006.2501v1
Entov, M., Polterovich, L.: Calabi quasimorphism and quantum homology. Int. Math. Res. Not. 30, 1635–1676 (2003)
Entov, M., Polterovich, L.: Quasi-states and symplectic intersections. Comment. Math. Helv. 81, 75–99 (2006)
Entov, Michael, Polterovich, Leonid: Symplectic quasi-states and semi-simplicity of quantum homology, Toric Topology (eds. M.Harada, Y.Karshon, M.Masuda and T.Panov), 47–70, Contemporary Mathematics 460, AMS, (2008)
Entov, M., Polterovich, L.: Rigid subsets of symplectic manifolds. Compos. Math. 145(3), 773–826 (2009)
Entov, Michael, Polterovich, Leonid, Py, Pierre: On continuity of quasimorphisms for symplectic maps, With an appendix by Michael Khanevsky. Progr. Math., 296, Perspectives in analysis, geometry, and topology, 169–197, Birkhäuser/Springer, New York, (2012)
Evans, Jonathan: KIAS Lectures on Symplectic aspects of degenerations
Fukaya, Kenji, Oh, Yong-Geun, Ohta, Hiroshi, Ono, Kaoru: Lagrangian intersection Floer theory: anomaly and obstruction. Part I., American Mathematical Society, Providence, RI; International Press, Somerville, MA, (2009)
Fukaya, K., Yong-Geun, O., Ohta, H., Ono, K.: Toric degeneration and nondisplaceable Lagrangian tori in \(S^2\times S^2\). Int. Math. Res. Not. 13, 2942–2993 (2012)
Fukaya, Kenji, Oh, Yong-Geun, Ohta, Hiroshi, Ono, Kaoru: Spectral invariants with bulk, quasi-morphisms and Lagrangian Floer theory, Mem. Amer. Math. Soc. 260, no.1254 (2019)
Guillemin, V., Sternberg, S.: The Gelfand-Cetlin system and quantization of the complex flag manifolds. J. Funct. Anal. 52(1), 106–128 (1983)
Harada, M., Kaveh, K.: Integrable systems, toric degenerations and Okounkov bodies. Invent. Math. 202(3), 927–985 (2015)
Hofer, H.: Estimates for the energy of a symplectic map. Comment. Math. Helv. 68(1), 48–72 (1993)
Joksimović, Dušan, Seyfaddini, Sobhan: A Hölder-type inequality for the \(C^0\) distance and Anosov-Katok pseudo-rotations, preprint, arXiv:2207.11813v1
Kawamoto, Y.: Homogeneous quasimorphisms, \(C^0\)-topology and Lagrangian intersection. Comment. Math. Helv. 97(2), 209–254 (2022)
Kawamoto, Y.: On \(C^0\)-Continuity of the Spectral Norm for Symplectically Non-Aspherical Manifolds. Int. Math. Res. Not. IMRN 21, 17187–17230 (2022)
Kawamoto, Yusuke: to appear
Kawamoto, Yusuke: Isolated hypersurface singularities, spectral invariants, and quantum cohomology, arXiv:2304.01847v1
Kawamoto, Yusuke: Egor Shelukhin, Spectral invariants over the integers, arXiv:2310.19033v1
Kim, Yoosik: Disk potential functions for quadrics, J. Fixed Point Theory Appl. 25, No. 2, Paper No. 46, 31 p. (2023)
Kim, Yoosik: Chekanov torus and Gelfand–Zeitlin torus in \(S^2 \times S^2\), preprint, arXiv:2109.01435v1
McDuff, Dusa, Salamon, Dietmar: Introduction to symplectic topology, Third edition. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press
McDuff, D., Salamon, D., Curves, J., Topology, S.: Second Edition, American Mathematical Society Colloquium Publications, 52. American Mathematical Society, Providence, RI (2004)
Nohara, Yuichi, Nishinou, Takeo, Ueda, Kazushi: Potential functions via toric degenerations, arXiv:0812.0066v2
Nohara, Y., Ueda, K.: Floer cohomologies of non-torus fibers of the Gelfand-Cetlin system. J. Symplectic Geom. 14(4), 1251–1293 (2016)
Nohara, Y., Nishinou, T., Ueda, K.: Toric degenerations of Gelfand-Cetlin systems and potential functions. Adv. Math. 224(2), 648–706 (2010)
Oh, Yong-Geun: Construction of spectral invariants of Hamiltonian paths on closed symplectic manifolds, The breadth of symplectic and Poisson geometry, 525–570, Progr. Math., 232 (2005)
Oakley, J., Usher, M.: On certain Lagrangian submanifolds of \(S^2\times S^2\) and \({\mathbb{C} }P^n\). Algebr. Geom. Topol. 16(1), 149–209 (2016)
Piunikhin, Sergey, Salamon, Dietmar, Schwarz, Matthias: Symplectic Floer-Donaldson theory and quantum cohomology. Contact and Symplectic Geometry. Cambridge University Press. pp. 171-200 (1996)
Polterovich, L.: The geometry of the group of symplectic diffeomorphisms. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel (2001)
Polterovich, Leonid, Shelukhin, Egor: Lagrangian configurations and Hamiltonian maps, arXiv:2102.06118v3
Ruan, Wei-Dong: Lagrangian torus fibration of quintic hypersurfaces. I. Fermat quintic case, Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds (Cambridge, MA, 1999), 297-332, AMS/IP Stud. Adv. Math., 23, Amer. Math. Soc., Providence, RI, 2001
Schwarz, M.: On the action spectrum for closed symplectically aspherical manifolds. Pacific J. Math. 193(2), 419–461 (2000)
Seyfaddini, S.: \(C^0\)-limits of Hamiltonian paths and the Oh-Schwarz spectral invariants. Int. Math. Res. Not. IMRN 21, 4920–4960 (2013)
Shelukhin, E.: Viterbo conjecture for Zoll symmetric spaces. Invent. Math. 230(1), 321–373 (2022)
Sheridan, N.: On the Fukaya category of a Fano hypersurface in projective space. Publ. Math. Inst. Hautes Études Sci. 124, 165–317 (2016)
Sun, Yuhan: \(A_n\)-type surface singularity and nondisplaceable Lagrangian tori, Internat. J. Math. 31, no. 3 (2020)
Usher, Michael: Hofer’s metrics and boundary depth, Ann. Sci. Éc. Norm. Supér. (4)46, no.1, 57-128 (2013)
Viterbo, C.: Symplectic topology as the geometry of generating functions. Math. Ann. 292(4), 685–710 (1992)
Acknowledgements
I thank Yuhan Sun for a stimulating discussion and for sharing his insight with me. I thank Sobhan Seyfaddini for some useful comments. I greatly appreciate the referee’s helpful feedback which improved the exposition of the paper. This work was carried out in several different institutions; École Normale Supérieure, Paris while the author was a PhD student, Université de Montréal while the author was a CRM-postdoctoral fellow at Centre de Recherches Mathématiques (CRM) and ETH Zürich while the author was a Hermann-Weyl-Instructor at the Institute for Mathematical Research (FIM). The author thanks all institutions for their great hospitality.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kawamoto, Y. Hofer geometry via toric degeneration. Math. Ann. (2023). https://doi.org/10.1007/s00208-023-02775-8
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00208-023-02775-8