arXiv subjects
Publications and source records attributed to Dusa McDuff.
This contains a list of (mostly very minor) corrections to the book Introduction to Symplectic Topology, Clarendon Press, Oxford, (1995), together with rewritten versions of two lemmas and some additional comments.
Let $X$ be an oriented 4-manifold which does not have simple SW-type, for example a blow-up of a rational or ruled surface. We show that any two cohomologous and deformation equivalent symplectic forms on $X$ are isotopic. This implies that blow-ups of these manifolds are unique, thus extending work of Biran. We also establish uniqueness of structure for certain fibered 4-manifolds.
The ``Flux conjecture'' for symplectic manifolds states that the group of Hamiltonian diffeomorphisms is C^1-closed in the group of all symplectic diffeomorphisms. We prove the conjecture for spherically rational manifolds and for those whose minimal Chern number on 2-spheres either vanishes or is large enough. We also confirm a natural version of the Flux conjecture for symplectic torus actions. In some cases we can go further and prove that the group of Hamiltonian diffeomorphisms is C^0-closed in the identity component of the group of all symplectic diffeomorphisms.
These are notes of lectures given at the NATO Summer School, Montreal 1995. Taubes's recent spectacular work setting up a correspondence between $J$-holomorphic curves in symplectic 4-manifolds and solutions of the Seiberg-Witten equations counts $J$-holomorphic curves in a somewhat new way. The "standard" theory concerns itself with moduli spaces of connected curves, and gives rise to Gromov-Witten invariants. However, Taubes's curves arise as zero sets of sections and so need not be connected. These notes are in the main expository. We first discuss the invariants as Taubes defined them, and then discuss some alternatives, showing, for example, a way of dealing with multiply-covered exceptional spheres. We also calculate some examples, in particular finding the Gromov invariant of the fiber class of an elliptic surface by counting $J$-holomorphic curves, rather than going via Seiberg--Witten theory.
A positive path in the linear symplectic group $\Sp(2n)$ is a smooth path which is everywhere tangent to the positive cone. These paths are generated by negative definite (time-dependent) quadratic Hamiltonian functions on Euclidean space. A special case are autonomous positive paths, which are generated by time-independent Hamiltonians, and which all lie in the set $\Uu$ of diagonalizable matrices with eigenvalues on the unit circle. However, as was shown by Krein, the eigenvalues of a general positive path can move off the unit circle. In this paper, we extend Krein's theory: we investigate the general behavior of positive paths which do not encounter the eigenvalue 1, showing, for example, that any such path can be extended to have endpoint with all eigenvalues on the circle. We also show that in the case $2n=4$ there is a close relation between the index of a positive path and the regions of the symplectic group that such a path can cross. Our motivation for studying these paths came from a geometric squeezing problem in symplectic topology. However, they are also of interest in relation to the stability of periodic Hamiltonian systems and in the theory of geodesics in Riemannian geometry.
In this note we apply a 4-fold sum operation to develop an associativity rule for the pairwise symplectic sum. This allows us to show that certain diffeomorphic symplectic $4$-manifolds made out of elliptic surfaces are in fact symplectically deformation equivalent. We also show that blow-up points can be traded from one side of a symplectic sum to another without changing the symplectic deformation class of the resulting manifold.
Consider the group $\Ham^c(M)$ of compactly supported Hamiltonian symplectomorphisms of the symplectic manifold $(M,\om)$ with the Hofer $L^{\infty}$-norm. A path in $\Ham^c(M)$ will be called a geodesic if all sufficiently short pieces of it are local minima for the Hofer length functional $\Ll$. In this paper, we give a necessary condition for a path $\ga$ to be a geodesic. We also develop a necessary condition for a geodesic to be stable, that is, a local minimum for $\Ll$. This condition is related to the existence of periodic orbits for the linearization of the path, and so extends Ustilovsky's work on the second variation formula. Using it, we construct a symplectomorphism of $S^2$ which cannot be reached from the identity by a shortest path. In later papers in this series, we will use holomorphic methods to prove the sufficiency of the condition given here for the characterisation of geodesics as well as the sufficiency of the condition for the stability of geodesics. We will also investigate conditions under which geodesics are absolutely length-minimizing.
In this paper we first show that the necessary condition introduced in our previous paper is also a sufficient condition for a path to be a geodesic in the group $\Ham^c(M)$ of compactly supported Hamiltonian symplectomorphisms. This applies with no restriction on $M$. We then discuss conditions which guarantee that such a path minimizes the Hofer length. Our argument relies on a general geometric construction (the gluing of monodromies) and on an extension of Gromov's non-squeezing theorem both to more general manifolds and to more general capacities. The manifolds we consider are quasi-cylinders, that is spaces homeomorphic to $M \times D^2$ which are symplectically ruled over $D^2$. When we work with the usual capacity (derived from embedded balls), we can prove the existence of paths which minimize the length among all homotopic paths, provided that $M$ is semi-monotone. (This restriction occurs because of the well-known difficulty with the theory of $J$-holomorphic curves in arbitrary $M$.) However, we can only prove the existence of length-minimizing paths (i.e. paths which minimize length amongst {\it all} paths, not only the homotopic ones) under even more restrictive conditions on $M$, for example when $M$ is exact and convex or of dimension $2$. The new difficulty is caused by the possibility that there are non-trivial and very short loops in $\Ham^c(M)$. When such length-minimizing paths do exist, we can extend the Bialy--Polterovich calculation of the Hofer norm on a neighbourhood of the identity ($C^1$-flatness).
In this paper we consider a geometric variant of Hofer's symplectic energy, which was first considered by Eliashberg and Hofer in connection with their study of the extent to which the interior of a region in a symplectic manifold determines its boundary. We prove, by a simple geometric argument, that both versions of energy give rise to genuine norms on all symplectic manifolds. Roughly speaking, we show that if there were a symplectomorphism of $M$ which had "too little" energy, one could embed a large ball into a thin cylinder $M \times B^2$. Thus there is a direct geometric relation between symplectic rigidity and energy. The second half of the paper is devoted to a proof of the Non-Squeezing theorem for an arbitrary manifold $M$. We do not need to restrict to manifolds in which the theory of pseudo-holomorphic curves behaves well. This is of interest since most other deep results in symplectic topology are generalised from Euclidean space to other manifolds by using this theory, and hence are still not known to be valid for arbitrary symplectic manifolds.