Source author record

Michael Hutchings

Michael Hutchings appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

22works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

22 published item(s)

preprint2022arXiv

ECH capacities and the Ruelle invariant

The ECH capacities are a sequence of real numbers associated to any symplectic four-manifold, which are monotone with respect to symplectic embeddings. It is known that for a compact star-shaped domain in R^4, the ECH capacities asymptotically recover the volume of the domain. We conjecture, with a heuristic argument, that generically the error term in this asymptotic formula converges to a constant determined by a "Ruelle invariant" which measures the average rotation of the Reeb flow on the boundary. Our main result is a proof of this conjecture for a large class of toric domains. As a corollary, we obtain a general obstruction to symplectic embeddings of open toric domains with the same volume. For more general domains in R^4, we bound the error term with an improvement on the previously known exponent from 2/5 to 1/4.

preprint2022arXiv

S^1-equivariant contact homology for hypertight contact forms

In a previous paper, we showed that the original definition of cylindrical contact homology, with rational coefficients, is valid on a closed three-manifold with a dynamically convex contact form. However we did not show that this cylindrical contact homology is an invariant of the contact structure. In the present paper, we define "nonequivariant contact homology" and "S^1-equivariant contact homology", both with integer coefficients, for a contact form on a closed manifold in any dimension with no contractible Reeb orbits. We prove that these contact homologies depend only on the contact structure. Our construction uses Morse-Bott theory and is related to the positive S^1-equivariant symplectic homology of Bourgeois-Oancea. However, instead of working with Hamiltonian Floer homology, we work directly in contact geometry, using families of almost complex structures. When cylindrical contact homology can also be defined, it agrees with the tensor product of the S^1-equivariant contact homology with Q. We also present examples showing that the S^1-equivariant contact homology contains interesting torsion information. In a subsequent paper we will use obstruction bundle gluing to extend the above story to closed three-manifolds with dynamically convex contact forms, which in particular will prove that their cylindrical contact homology has a lift to integer coefficients which depends only on the contact structure.

preprint2019arXiv

Axiomatic S^1 Morse-Bott theory

In various situations in Floer theory, one extracts homological invariants from "Morse-Bott" data in which the "critical set" is a union of manifolds, and the moduli spaces of "flow lines" have evaluation maps taking values in the critical set. This requires a mix of analytic arguments (establishing properties of the moduli spaces and evaluation maps) and formal arguments (defining or computing invariants from the analytic data). The goal of this paper is to isolate the formal arguments, in the case when the critical set is a union of circles. Namely, we state axioms for moduli spaces and evaluation maps (encoding a minimal amount of analytical information that one needs to verify in any given Floer-theoretic situation), and using these axioms we define homological invariants. More precisely, we define a (almost) category of "Morse-Bott systems". We construct a "cascade homology" functor on this category, based on ideas of Bourgeois and Frauenfelder, which is "homotopy invariant". This machinery is used in our work on cylindrical contact homology.

preprint2018arXiv

Torsion contact forms in three dimensions have two or infinitely many Reeb orbits

We prove that every nondegenerate contact form on a closed connected three-manifold, such that the associated contact structure has torsion first Chern class, has either two or infinitely many simple Reeb orbits. By previous results it follows that under the above assumptions, there are infinitely many simple Reeb orbits if the three-manifold is not the three-sphere or a lens space. We also show that for non-torsion contact structures, every nondegenerate contact form has at least four simple Reeb orbits.

preprint2016arXiv

Cylindrical contact homology for dynamically convex contact forms in three dimensions

We show that for dynamically convex contact forms in three dimensions, the cylindrical contact homology differential d can be defined by directly counting holomorphic cylinders for a generic almost complex structure, without any abstract perturbation of the Cauchy-Riemann equation. We also prove that d^2 = 0. Invariance of cylindrical contact homology in this case can be proved using S^1-dependent almost complex structures, similarly to work of Bourgeois-Oancea; this will be explained in another paper.

preprint2016arXiv

Mean action and the Calabi invariant

Given an area-preserving diffeomorphism of the closed unit disk which is a rotation near the boundary, one can naturally define an "action" function on the disk which agrees with the rotation number on the boundary. The Calabi invariant of the diffeomorphism is the average of the action function over the disk. Given a periodic orbit of the diffeomorphism, its "mean action" is defined to be the average of the action function over the orbit. We show that if the Calabi invariant is less than the boundary rotation number, then the infimum over periodic orbits of the mean action is less than or equal to the Calabi invariant. The proof uses a new filtration on embedded contact homology determined by a transverse knot, which might be of independent interest. (An analogue of this filtration can be defined for any other version of contact homology in three dimensions that counts holomorphic curves.)

preprint2015arXiv

Beyond ECH capacities

ECH (embedded contact homology) capacities give obstructions to symplectically embedding one four-dimensional symplectic manifold with boundary into another. These obstructions are known to be sharp when the domain and target are ellipsoids (proved by McDuff), and more generally when the domain is a "concave toric domain" and the target is a "convex toric domain" (proved by Cristofaro-Gardiner). However ECH capacities often do not give sharp obstructions, for example in many cases when the domain is a polydisk. This paper uses more refined information from ECH to give stronger symplectic embedding obstructions when the domain is a polydisk, or more generally a convex toric domain. We use these new obstructions to reprove a result of Hind-Lisi on symplectic embeddings of a polydisk into a ball, and generalize this to obstruct some symplectic embeddings of a polydisk into an ellipsoid. We also obtain a new obstruction to symplectically embedding one polydisk into another, in particular proving the four-dimensional case of a conjecture of Schlenk.

preprint2014arXiv

From one Reeb orbit to two

We show that every (possibly degenerate) contact form on a closed three-manifold has at least two embedded Reeb orbits. We also show that if there are only finitely many embedded Reeb orbits, then their symplectic actions are not all integer multiples of a single real number; and if there are exactly two embedded Reeb orbits, then the product of their symplectic actions is less than or equal to the contact volume of the manifold. The proofs use a relation between the contact volume and the asymptotics of the amount of symplectic action needed to represent certain classes in embedded contact homology, recently proved by the authors and V. Ramos.

preprint2014arXiv

Lecture notes on embedded contact homology

These notes give an introduction to embedded contact homology (ECH) of contact three-manifolds, gathering together many basic notions which are scattered across a number of papers. We also discuss the origins of ECH, including various remarks and examples which have not been previously published. Finally, we review the recent application to four-dimensional symplectic embedding problems. This article is based on lectures given in Budapest and Munich in the summer of 2012, a series of accompanying blog postings at floerhomology.wordpress.com, and related lectures at UC Berkeley in Fall 2012. There is already a brief introduction to ECH in the 2010 ICM proceedings, but the present notes give much more background and detail.

preprint2013arXiv

Proof of the Arnold chord conjecture in three dimensions II

In "Proof of the Arnold chord conjecture in three dimensions I", we deduced the Arnold chord conjecture in three dimensions from another result, which asserts that an exact symplectic cobordism between contact three-manifolds induces a map on (filtered) embedded contact homology satisfying certain axioms. The present paper proves the latter result, thus completing the proof of the three-dimensional chord conjecture. We also prove that filtered embedded contact homology does not depend on the choice of almost complex structure used to define it.

preprint2013arXiv

The asymptotics of ECH capacities

In a previous paper, the second author used embedded contact homology (ECH) of contact three-manifolds to define "ECH capacities" of four-dimensional symplectic manifolds. In the present paper we prove that for a four-dimensional Liouville domain with all ECH capacities finite, the asymptotics of the ECH capacities recover the symplectic volume. This follows from a more general theorem relating the volume of a contact three-manifold to the asymptotics of the amount of symplectic action needed to represent certain classes in ECH. The latter theorem was used by the first and second authors to show that every contact form on a closed three-manifold has at least two embedded Reeb orbits.

preprint2011arXiv

Proof of the Arnold chord conjecture in three dimensions I

This paper and its sequel prove that every Legendrian knot in a closed three-manifold with a contact form has a Reeb chord. The present paper deduces this result from another theorem, asserting that an exact symplectic cobordism between contact 3-manifolds induces a map on (filtered) embedded contact homology satisfying certain axioms. The latter theorem will be proved in the sequel using Seiberg-Witten theory.

preprint2011arXiv

Recent progress on symplectic embedding problems in four dimensions

We survey some recent progress on understanding when one four-dimensional symplectic manifold can be symplectically embedded into another. In 2010, McDuff established a number-theoretic criterion for the existence of a symplectic embedding of one four-dimensional ellipsoid into another. This is related to previously known criteria for when a disjoint union of balls can be symplectically embedded into a ball. The new theory of "ECH capacities" gives general obstructions to symplectic embeddings in four dimensions which turn out to be sharp in the above cases.

preprint2010arXiv

Embedded contact homology and its applications

Embedded contact homology (ECH) is a kind of Floer homology for contact three-manifolds. Taubes has shown that ECH is isomorphic to a version of Seiberg-Witten Floer homology (and both are conjecturally isomorphic to a version of Heegaard Floer homology). This isomorphism allows information to be transferred between topology and contact geometry in three dimensions. In this article we first give an overview of the definition of embedded contact homology. We then outline its applications to generalizations of the Weinstein conjecture, the Arnold chord conjecture, and obstructions to symplectic embeddings in four dimensions.

preprint2010arXiv

Quantitative embedded contact homology

Define a "Liouville domain" to be a compact exact symplectic manifold with contact-type boundary. We use embedded contact homology to assign to each four-dimensional Liouville domain (or subset thereof) a sequence of real numbers, which we call "ECH capacities". The ECH capacities of a Liouville domain are defined in terms of the "ECH spectrum" of its boundary, which measures the amount of symplectic action needed to represent certain classes in embedded contact homology. Using cobordism maps on embedded contact homology (defined in joint work with Taubes), we show that the ECH capacities are monotone with respect to symplectic embeddings. We compute the ECH capacities of ellipsoids, polydisks, certain subsets of the cotangent bundle of T2, and disjoint unions of examples for which the ECH capacities are known. The resulting symplectic embedding obstructions are sharp in some interesting cases, for example for the problem of embedding an ellipsoid into a ball (as shown by work of McDuff-Schlenk) or embedding a disjoint union of balls into a ball. We also state and present evidence for a conjecture under which the asymptotics of the ECH capacities of a Liouville domain recover its symplectic volume.

preprint2008arXiv

The Weinstein conjecture for stable Hamiltonian structures

We use the equivalence between embedded contact homology and Seiberg-Witten Floer homology to obtain the following improvements on the Weinstein conjecture. Let Y be a closed oriented connected 3-manifold with a stable Hamiltonian structure, and let R denote the associated Reeb vector field on Y. We prove that if Y is not a T^2-bundle over S^1, then R has a closed orbit. Along the way we prove that if Y is a closed oriented connected 3-manifold with a contact form such that all Reeb orbits are nondegenerate and elliptic, then Y is a lens space. Related arguments show that if Y is a closed oriented 3-manifold with a contact form such that all Reeb orbits are nondegenerate, and if Y is not a lens space, then there exist at least three distinct embedded Reeb orbits.

preprint2007arXiv

Floer homology of families I

In principle, Floer theory can be extended to define homotopy invariants of families of equivalent objects (e.g. Hamiltonian isotopic symplectomorphisms, 3-manifolds, Legendrian knots, etc.) parametrized by a smooth manifold B. The invariant of a family consists of a filtered chain homotopy type, which gives rise to a spectral sequence whose E^2 term is the homology of B with twisted coefficients in the Floer homology of the fibers. The filtered chain homotopy type also gives rise to a "family Floer homology" to which the spectral sequence converges. For any particular version of Floer theory, some analysis needs to be carried out in order to turn this principle into a theorem. This paper constructs the invariant in detail for the model case of finite dimensional Morse homology, and shows that it recovers the Leray-Serre spectral sequence of a smooth fiber bundle. We also generalize from Morse homology to Novikov homology, which involves some additional subtleties.

preprint2007arXiv

Gluing pseudoholomorphic curves along branched covered cylinders I

This paper and its sequel prove a generalization of the usual gluing theorem for two index 1 pseudoholomorphic curves u_+ and u_- in the symplectization of a contact 3-manifold. We assume that for each embedded Reeb orbit gamma, the total multiplicity of the negative ends of u_+ at covers of gamma agrees with the total multiplicity of the positive ends of u_- at covers of gamma. However, unlike in the usual gluing story, here the individual multiplicities are allowed to differ. In this situation, one can often glue u_+ and u_- to an index 2 curve by inserting genus zero branched covers of R-invariant cylinders between them. We establish a combinatorial formula for the signed count of such gluings. As an application, we deduce that the differential d in embedded contact homology satisfies d^2=0. This paper explains the more algebraic aspects of the story, and proves the above formulas using some analytical results from part II.

preprint2005arXiv

The periodic Floer homology of a Dehn twist

The periodic Floer homology of a surface symplectomorphism, defined by the first author and M. Thaddeus, is the homology of a chain complex which is generated by certain unions of periodic orbits, and whose differential counts certain embedded pseudoholomorphic curves in R cross the mapping torus. It is conjectured to recover the Seiberg-Witten Floer homology of the mapping torus for most spin-c structures, and is related to a variant of contact homology. In this paper we compute the periodic Floer homology of some Dehn twists.

preprint1999arXiv

Circle-valued Morse theory and Reidemeister torsion

Let X be a closed manifold with zero Euler characteristic, and let f: X --> S^1 be a circle-valued Morse function. We define an invariant I which counts closed orbits of the gradient of f, together with flow lines between the critical points. We show that our invariant equals a form of topological Reidemeister torsion defined by Turaev [Math. Res. Lett. 4 (1997) 679-695]. We proved a similar result in our previous paper [Topology, 38 (1999) 861-888], but the present paper refines this by separating closed orbits and flow lines according to their homology classes. (Previously we only considered their intersection numbers with a fixed level set.) The proof here is independent of the previous proof and also simpler. Aside from its Morse-theoretic interest, this work is motivated by the fact that when X is three-dimensional and b_1(X)>0, the invariant I equals a counting invariant I_3(X) which was conjectured in our previous paper to equal the Seiberg-Witten invariant of X. Our result, together with this conjecture, implies that the Seiberg-Witten invariant equals the Turaev torsion. This was conjectured by Turaev [Math. Res. Lett. 4 (1997) 679-695] and refines the theorem of Meng and Taubes [Math. Res. Lett. 3 (1996) 661-674].

preprint1996arXiv

Circle-valued Morse theory, Reidemeister torsion, and Seiberg-Witten invariants of 3-manifolds

Let X be a compact oriented Riemannian manifold and let $ϕ:X\to S^1$ be a circle-valued Morse function. Under some mild assumptions on $ϕ$, we prove a formula relating: (a) the number of closed orbits of the gradient flow of $ϕ$ of any given degree; (b) the torsion of a ``Morse complex'', which counts gradient flow lines between critical points of $ϕ$; and (c) a kind of Reidemeister torsion of X determined by the homotopy class of $ϕ$. When $\dim(X)=3$ and $b_1(X)>0$, we state a conjecture analogous to Taubes's ``SW=Gromov'' theorem, and we use it to deduce (for closed manifolds, modulo signs) the Meng-Taubes relation between the Seiberg- Witten invariants and the ``Milnor torsion'' of X.