In this paper we provide a criterion for the quasi-autonomous Hamiltonian path (``Hofer's geodesic'') on arbitrary closed symplectic manifolds $(M,ω)$ to be length minimizing in its homotopy class in terms of the spectral invariants $ρ(G;1)$ that the author has recently constructed (math.SG/0206092). As an application, we prove that any autonomous Hamiltonian path on arbitrary closed symplectic manifolds is length minimizing in {\it its homotopy class} with fixed ends, when it has no contractible periodic orbits {\it of period one}, has a maximum and a minimum point which are generically under-twisted and all of its critical points are nondegenerate in the Floer theoretic sense. This is a sequel to the papers math.SG/0104243 and math.SG/0206092.
On any closed symplectic manifold we construct a path-connected neighborhood of the identity in the Hamiltonian diffeomorphism group with the property that each Hamiltonian diffeomorphism in this neighborhood admits a Hofer and spectral length minimizing path to the identity. This neighborhood is open in the $C^1-$topology. The construction utilizes a continuation argument and chain level result in the Floer theory of Lagrangian intersections.
We use the criteria of Lalonde and McDuff to show that a path that is generated by a generic autonomous Hamiltonian is length minimizing with respect to the Hofer norm among all homotopic paths provided that it induces no non-constant closed trajectories in M. This generalizes a result of Hofer for symplectomorphisms of Euclidean space. The proof for general M uses Liu-Tian's construction of S^1-invariant virtual moduli cycles. As a corollary, we find that any semifree action of S^1 on M gives rise to a nontrivial element in the fundamental group of the symplectomorphism group of M. We also es…
All principal orbits of the standard Hamiltonian $T^n$-action on the complex projective space ${\mathbb C}P^n$ are Lagrangian tori.In this article, we prove that most of them are not volume minimizing under Hamiltonian isotopies of ${\mathbb C}P^n$ if the complex dimension $n$ is greater than two, although they are Hamiltonian minimal and Hamiltonian stable.
In 1993, Y.-G. Oh proposed a problem whether standard Lagrangian tori in C^n are volume minimizing under Hamiltonian isotopies of C^n. In this article, we prove that most of them do not have such property if the dimension n is greater than two. We also discuss the existence of Hamiltonian non-volume minimizing Lagrangian torus orbits of compact toric Kahler manifolds.
The main purpose of this paper is to study the length minimizing property of Hamiltonian paths on closed symplectic manifolds $(M,ω)$ such that there are no spherical homology class $A \in H_2(M)$ with $$ ω(A) > 0 \quad \text{and} \quad -n \leq c_1(A) < 0, $$ which we call {\it very strongly semi-positive}. We introduce the notion of {\it positively $μ$-undertwisted} Hamiltonian paths and prove that any positively undertwisted quasi-autonomous Hamiltonian path is length minimizing in its homotopy class as long as it has a fixed maximum and a fixed minimum point that are generically under-twist…
In this paper we consider the length minimizing properties of Hamiltonian paths generated by quasi-autonomous Hamiltonians on symplectically aspherical manifolds. Motivated by the work of L. Polterovich and M. Schwarz, we study the role of the fixed global extrema in the Floer complex of the generating Hamiltonian. Our main result determines a natural condition on a fixed global maximum of a Hamiltonian which implies that the corresponding path minimizes the positive Hofer length. We use this to prove that a quasi-autonomous Hamiltonian generates a length minimizing path if it has under-twiste…
In this article we prove that for a smooth fiberwise convex Hamiltonian, the asymptotic Hofer distance from the identity gives a strict upper bound to the value at 0 of Mather's $β$ function, thus providing a negative answer to a question asked by K. Siburg in \cite{Siburg1998}. However, we show that equality holds if one considers the asymptotic distance defined in \cite{Viterbo1992}.
In this paper, we study the hard Lefschetz property of a symplectic manifold which admits a Hamiltonian torus action. More precisely, let $(M,ω)$ be a 6-dimensional compact symplectic manifold with a Hamiltonian $T^2$-action. We will show that if the moment map image of $M$ is a GKM-graph and if the graph is index-increasing, then $(M,ω)$ satisfies the hard Lefschetz property.
Let $X$ be a Hamiltonian vector field defined on a symplectic manifold $(M,ω)$, $g$ a nowhere vanishing smooth function defined on an open dense subset $M^0$ of $M$. We will say that the vector field $Y = gX$ is conformally Hamiltonian. We prove that when $X$ is complete, when $Y$ is Hamiltonian with respect to another symplectic form $ω_2$ defined on $M^0$, and when another technical condition is satisfied, there exists a symplectic diffeomorphism from $(M^0,ω_2)$ onto an open subset of $(M,ω)$, equivariant with respect to the flows of the vector fields $Y$ on $M^0$ and $X$ on $M$. This resul…
In this paper we construct six-dimensional compact non-Kähler Hamiltonian circle manifolds which satisfy the strong Lefschetz property themselves but nevertheless have a non-Lefschetz symplectic quotient. This provides the first known counter examples to the question whether the strong Lefschetz property descends to the symplectic quotient. We also give examples of Hamiltonian strong Lefschetz circle manifolds which have a non-Lefschetz fixed point submanifold. In addition, we establish a sufficient and necessary condition for a finitely presentable group to be the fundamental group of a stron…
In this paper we first apply the chain level Floer theory to the study of Hofer's geometry of Hamiltonian diffeomorphism group in the cases without quantum contribution: we prove that any quasi-autonomous Hamiltonian path on weakly exact symplectic manifolds or any autonomous Hamiltonian path on arbitrary symplectic manifolds is length minimizing in its homotopy class with fixed ends, as long as it has a fixed maximum and a fixed minimum which are not over-twisted and all of its contractible periodic orbits of period less than one are sufficiently $C^1$-small. Next we give a construction of ne…
Symplectic topology has become a thriving area of research in mathematics and physics since Gromov's discovery in 1985 of a surprising property of canonical transformations (and hence of hamiltonian flows),"the principle of the symplectic camel". We exploit this property to show that the usually EBK quantization is equivalent to the physical assumption that the only allowewed semiclassical states are those with symplectic area nh+h/2. We introduce the terminology "quantum blobs" for these states. Quantum blobs are more general and powerful tools than the usual phase space cells of quantum stat…
For a complex Lie group $G$ with a real form $G_0\subset G$, we prove that any Hamiltionian automorphism $ϕ$ of a coadjoint orbit $\mathcal O_0$ of $G_0$ whose connected components are simply connected, may be approximated by holomorphic $\mathcal O_0$-invariant symplectic automorphism of the corresponding coadjoint orbit of $G$ in the sense of Carleman, provided that $\mathcal O$ is closed. In the course of the proof, we establish the Hamiltonian density property for closed coadjoint orbits of all complex Lie groups.
We use the criteria of Lalonde and McDuff to determine a new class of examples of length minimizing paths in the group $Ham(M)$. For a compact symplectic manifold $M$ of dimension two or four, we show that a path in $Ham(M)$, generated by an autonomous Hamiltonian and starting at the identity, which induces no non-constant closed trajectories of points in $M$, is length minimizing among homotopic paths. The major step in the proof involves determining an upper bound for the Hofer-Zehnder capacity for symplectic manifolds of the type $(M \times D(a))$ where $M$ is compact and has dimension two …
We prove the invariant of the symplectic capacity for the Zakharov system on a torus. If the Zakharov solution map is well-defined, then it can be regarded as a symplectomorphism. Thus, we first show the global well-posedness via the local well-posedness and the conservation law. The invariant of the symplectic capacity can be obtained using an approximation method. Many authors use an approximation method to obtain the nonsqueezing theorem, instead of an invariant of the symplectic capacity. However, the conditions of the Hamiltonian system introduced by Kuksin can be relaxed by a new modifie…
Let a connected reductive group G act on the smooth connected variety X. The cotangent bundle of X is a Hamiltonian G-variety. We show that its "total moment map" has connected fibers. This is an expanded version of section 6 of my paper dg-ga/9712010 on Weyl groups of Hamiltonian manifolds.
Let n>1 and G be the group SU(n) or Sp(n). This paper constructs compact symplectic manifolds whose symplectic quotient under a Hamiltonian G-action does not inherit the strong Lefschetz property.
In this note we establish a representation property for a certain Hamiltonian capacity on $\R^{2n}$ with the standard symplectic structure. We demonstrate that the value of this capacity on an open set with a contact type boundary is an element of the action spectrum of the boundary.
We prove the strong $C^\infty$ closing property, as formulated by Irie, for a class of Hamiltonian diffeomorphisms which includes all pseudo-rotations of projective spaces as well as all Anosov-Katok pseudo-rotations.
We prove a Fredholm property for spin-c Dirac operators $\mathsf{D}$ on non-compact manifolds satisfying a certain condition with respect to the action of a semi-direct product group $K\ltimes Γ$, with $K$ compact and $Γ$ discrete. We apply this result to an example coming from the theory of Hamiltonian loop group spaces. In this context we prove that a certain index pairing $[\mathcal{X}] \cap [\mathsf{D}]$ yields an element of the formal completion $R^{-\infty}(T)$ of the representation ring of a maximal torus $T \subset G$; the resulting element has an additional antisymmetry property under…
In this paper, we use Floer theory to study the Hofer length functional for paths of Hamiltonian diffeomorphisms which are sufficiently short. In particular, the length minimizing properties of a short Hamiltonian path are related to the properties and number of its periodic orbits.
