arXiv Science⌕ Search

arXiv · 0706.0675

Hamiltonian S^1 manifolds are uniruled

Abstract

The main result of this note is that every closed Hamiltonian S^1 manifold is uniruled, i.e. it has a nonzero Gromov--Witten invariant one of whose constraints is a point. The proof uses the Seidel representation of π_1 of the Hamiltonian group in the small quantum homology of M as well as the blow up technique recently introduced by Hu, Li and Ruan. It applies more generally to manifolds that have a loop of Hamiltonian symplectomorphisms with a nondegenerate fixed maximum. Some consequences for Hofer geometry are explored. An appendix discusses the structure of the quantum homology ring of uniruled manifolds.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dusa McDuff. 2009-07-17. Hamiltonian S^1 manifolds are uniruled. https://arxiv.org/abs/0706.0675

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A new look at unitarity in quantization commutes with reduction for toric manifolds

For a symplectic manifold $M$ with the Hamiltonian action of a compact Lie group $G$, we give a new perspective on the problem of unitarity in the quantization commutes with reduction correspondence. We argue that this correspondence leads naturally to the introduction of what we call Fourier polarizations, whose real directions include the Hamiltonian vector fields of all invariant functions of the moment map. For a Fourier polarization, quantization commutes with reduction unitarily. For a general $G$-invariant polarization, $\mathcal{P}$, unitarity in the quantization commutes with reduction correspondence can then be formulated in terms of the existence of a Fourier polarization, $\mathcal{P}_F$, such that the quantizations with respect to $\mathcal{P}$ and to $\mathcal{P}_F$ are unitarily equivalent. We describe this perspective in detail for symplectic toric manifolds, by considering symplectic reductions associated to the action of a subtorus $T^p\subset T^n$. We consider half-form quantization in Fourier (mixed) polarizations $\mathcal{P}_\infty$, whose real directions are generated by(the Hamiltonian vector fields of the)components of the $T^p$ moment map. We show that Fourier mixed polarizations of this type can be obtained by Mabuchi geodesic rays of toric Kähler structures, starting at a given initial structure and with velocity given by the norm square of the moment map of the torus subgroup. We lift these geodesic rays to the quantum bundle via generalized coherent state transforms, which define equivariant isomorphisms between quantum Hilbert spaces for the Kähler and Fourier polarizations, where the later are obtained at infinite geodesic time. Unitarity in quantization commutes with reduction in these cases then becomes equivalent to the unitarity of these isomorphisms. In general, however, in the toric case, these isomorphisms are not unitary.

math.SG↗

Reeb orbits frequently intersecting a symplectic surface

Consider a symplectic surface in a three-dimensional contact manifold with boundary on Reeb orbits (periodic orbits of the Reeb vector field). We assume that the rotation numbers of the boundary Reeb orbits satisfy a certain inequality, and we also make a technical assumption that the Reeb vector field has a particular ``nice'' form near the boundary of the surface. We then show that there exist Reeb orbits which intersect the interior of the surface, with a lower bound on the frequency of these intersections in terms of the symplectic area of the surface and the contact volume of the three-manifold. No genericity of the contact form is assumed. As a corollary of the main result, we obtain a generalization of various recent results relating the mean action of periodic orbits to the Calabi invariant for area-preserving surface diffeomorphisms.

math.SG↗

Periodic Inscription of Isosceles Trapezoids

We prove that a pair of continuous disjoint periodic curves in $\mathbb{C}$ inscribes an isosceles trapezoid with any similarity type. The case of smooth curves can be identified with a Lagrangian intersection problem for a pair of Lagrangian cylinders in $\mathbb{R}\times S^1\times\mathbb{C}$, and the continuous case follows from the smooth one by a standard convergence argument.

math.SG↗