Contact topology and CR geometry in three dimensions
Jih-Hsin Cheng
备注：
11 pages. Based on the author's notes for his talks at the third Asian Mathematical Conference (Quezon City, Oct. 2000) and the Contact Geometry Conference (Stanford, Dec. 2000). To appear in Proceedings of the third Asian Mathematical Conference 2000 (Quezon City, Philippines)
发表信息：
Proceedings of the 3rd Asian Mathematical Conference 2000 (Quezon City, Philippines) ed. T. Sunada, P. W. Sy, Yang Lo (2002), 70-80.
We study low-dimensional problems in topology and geometry via a study of contact and Cauchy-Riemann ($CR$) structures. A contact structure is called spherical if it admits a compatible spherical $CR$ structure. We will talk about spherical contact structures and our analytic tool, an evolution equation of $CR$ structures. We argue that solving such an equation for the standard contact 3-sphere is related to the Smale conjecture in 3-topology. Furthermore, we propose a contact analogue of Ray-Singer's analytic torsion. This ''contact torsion'' is expected to be able to distinguish among ''spherical space forms'' $\{Γ\backslash S^{3}\}$ as contact manifolds. We also propose the study of a certain kind of monopole equation associated with a contact structure. In view of the recently developed theory of contact homology algebras, we will discuss its overall impact on our study.
A topology is introduced on spaces of Legendrian submanifolds and groups of contactomorphisms. The definition is motivated by the Alexandrov topology in Lorentz geometry.
These notes are based on a course that took place at the Université de Nantes in June 2011 during the "Trimester on Contact and Symplectic Topology". We will explain how holomorphic curves can be used to study symplectic fillings of a given contact manifold. Our main goal consists in showing that certain contact manifolds do not admit any symplectic filling at all.
This is a light survey article about the origins of contact and symplectic topology in dynamics and the more recent developments in the field. In lieu of formulas, numerous anecdotes are given.
We initiate a systematic study of convex hypersurface theory and generalize the bypass attachment to arbitrary dimensions. We also introduce a new type of overtwisted object called the overtwisted orange which is middle-dimensional and contractible.
This article sketches various ideas in contact geometry that have become useful in low-dimensional topology. Specifically we (1) outline the proof of Eliashberg and Thurston's results concerning perturbations of foliatoins into contact structures, (2) discuss Eliashberg and Weinstein's symplectic handle attachments, and (3) briefly discuss Giroux's insights into open book decompositions and contact geometry. Bringing these pieces together we discuss the construction of ``symplectic caps'' which are a key tool in the application of contact/symplectic geometry to low-dimensional topology.
The goal of this paper is to set up the general framework of higher-dimensional Heegaard Floer homology, define the contact class, and use it to give an obstruction to the Liouville fillability of a contact manifold and a sufficient condition for the Weinstein conjecture to hold. We discuss several classes of examples including those coming from analyzing a close cousin of symplectic Khovanov homology and the analog of the Plamenevskaya invariant of transverse links.
In recent times a great amount of progress has been achieved in symplectic and contact geometry, leading to the development of powerful invariants of 3-manifolds such as Heegaard Floer homology and embedded contact homology. These invariants are based on holomorphic curves and moduli spaces, but in the simplest cases, some of their structure reduces to some elementary combinatorics and algebra which may be of interest in its own right. In this note, which is essentially a light-hearted exposition of some previous work of the author, we give a brief introduction to some of the ideas of contact …
We introduce a global Cauchy-Riemann($CR$)-invariant and discuss its behavior on the moduli space of $CR$-structures. We argue that this study is related to the Smale conjecture in 3-topology and the problem of counting complex structures. Furthermore, we propose a contact-analogue of Ray-Singer's analytic torsion. This ``contact torsion'' is expected to be able to distinguish among ``contact lens'' spaces. We also propose the study of a certain kind of monopole equation associated with a contact structure.
The aim of this paper is to address the following question: given a contact manifold $(Σ, ξ)$, what can be said about the aspherical symplectic manifolds $(W, ω)$ bounded by $(Σ, ξ)$ ? We first extend a theorem of Eliashberg, Floer and McDuff to prove that under suitable assumptions the map from $H_{*}(Σ)$ to $H_{*}(W)$ induced by inclusion is surjective. We then apply this method in the case of contact manifolds having a contact embedding in $ {\mathbb R}^{2n}$ or in a subcritical Stein manifold. We prove in many cases that the homology of the fillings is uniquely determined. Finally we use m…
This is a survey on contact open books and contact Dehn surgery. The relation between these two concepts is discussed, and various applications are sketched, e.g. the monodromy of Stein fillable contact 3-manifolds, the Giroux-Goodman proof of Harer's conjecture on fibred links, construction of symplectic caps to fillings (Eliashberg, Etnyre), and detection of non-loose Legendrian knots with the help of contact surgery.
As shown by H. Gluck in 1962, the diffeotopy group of S^1 \times S^2 is isomorphic to Z_2 + Z_2 + Z_2. Here an alternative proof of this result is given, relying on contact topology. We then discuss two applications to contact topology: (i) it is shown that the fundamental group of the space of contact structures on S^1 \times S^2, based at the standard tight contact structure, is isomorphic to the integers; (ii) inspired by previous work of M. Fraser, an example is given of an integer family of Legendrian knots in S^1 \times S^2 # S^1 \times S^2 (with its standard tight contact structure) tha…
In this paper we study submanifolds of contact manifolds. The main submanifolds we are interested in are contact coisotropic submanifolds. Based on a correspondence between symplectic and contact coisotropic submanifolds, we can show contact coisotropic submanifolds admit a $C^0$-rigidity, similar to Humilière-Leclercq-Seyfaddini's coisotropic rigidity on symplectic manifolds. Moreover, based on Shelukhin's norm defined on the contactomorphism group, we define a Chekanov type pseudo-metric on the orbit space of a fixed submanifold of a contact manifold. Moreover, we can show a dichotomy of (no…
In this paper we study a subspace of the space of Legendrian loops and we show that the injection of this space into the full loop space is an S1-equivariant homotopy equivalence. This space can be also seen as the space of zero Maslov index Legendrian loops and it shows up as a suitable space of variations in contact form geometry.
In this survey, we give an overview of Brieskorn manifolds and varieties, and their role in contact topology. We discuss open books, fillings and invariants such as contact and symplectic homology. We also present some new results involving exotic contact structures, invariants and orderability. The main tool for the required computations is a version of the Morse-Bott spectral sequence. We provide a proof for the particular version that is useful for us.
The well-known tubular neighborhood theorem for contact submanifolds states that a small enough neighborhood of such a submanifold N is uniquely determined by the contact structure on N, and the conformal symplectic structure of the normal bundle. In particular, if the submanifold N has trivial normal bundle then its tubular neighborhood will be contactomorphic to a neighborhood of Nx{0} in the model space NxR^{2k}. In this article we make the observation that if (N,ξ_N) is a 3-dimensional overtwisted submanifold with trivial normal bundle in (M,ξ), and if its model neighborhood is sufficientl…
We provide obstructions to the existence of conformally Anosov Reeb flows on a 3-manifold that partially generalize similar obstructions to Anosov Reeb flows. In particular, we show $\mathbb{S}^3$ does not admit conformally Anosov Reeb flows. We also give a Riemannian geometric condition on a metric compatible with a contact structure implying that a Reeb field is Anosov. From this we can give curvature conditions on a metric compatible with a contact structure that implies universal tightness of the contact structure among other things.
We employ the relationship between contact structures and Beltrami fields derived in part I of this series to construct steady nonsingular solutions to the Euler equations on a Riemannian $S^3$ whose flowlines trace out closed curves of all possible knot and link types simultaneously. Using careful contact-topological controls, we can make such vector fields real-analytic and transverse to the tight contact structure on $S^3$.
This paper investigates the symplectic and contact topology associated to circular spherical divisors. We classify, up to toric equivalence, all concave circular spherical divisors $ D $ that can be embedded symplectically into a closed symplectic 4-manifold and show they are all realized as symplectic log Calabi-Yau pairs if their complements are minimal. We then determine the Stein fillability and rational homology type of all minimal symplectic fillings for the boundary torus bundles of such $D$. When $ D $ is anticanonical and convex, we give explicit betti number bounds for Stein fillings…
The conormal Lagrangian $L_K$ of a knot $K$ in $\mathbb{R}^3$ is the submanifold of the cotangent bundle $T^* \mathbb{R}^3$ consisting of covectors along $K$ that annihilate tangent vectors to $K$. By intersecting with the unit cotangent bundle $S^* \mathbb{R}^3$, one obtains the unit conormal $Λ_K$, and the Legendrian contact homology of $Λ_K$ is a knot invariant of $K$, known as knot contact homology. We define a version of string topology for strings in $\mathbb{R}^3 \cup L_K$ and prove that this is isomorphic in degree 0 to knot contact homology. The string topology perspective gives a top…
By a result of Eliashberg, every symplectic filling of a three-dimensional contact connected sum is obtained by performing a boundary connected sum on another symplectic filling. We prove a partial generalization of this result for subcritical contact surgeries in higher dimensions: given any contact manifold that arises from another contact manifold by subcritical surgery, its belt sphere is null-bordant in the oriented bordism group $ΩSO^*(W)$ of any symplectically aspherical filling $W$, and in dimension five, it will even be nullhomotopic. More generally, if the filling is not aspherical b…
We prove the existence of periodic orbits for steady $C^ω$ Euler flows on all Riemannian solid tori. By using the correspondence theorem from part I of this series, we reduce the problem to the Weinstein Conjecture for solid tori. We prove the Weinstein Conjecture on the solid torus via a combination of results due to Hofer et al. and a careful analysis of tight contact structures on solid tori.
In the present paper we describe compatible open books for the fibre connected sum along binding components of open books, as well as for the fibre connected sum along multi-sections of open books. As an application the first description provides simple ways of constructing open books supporting all tight contact structures on $T^3$, recovering a result by van Horn-Morris, as well as an open book supporting the result of a Lutz twist along a binding component of an open book, recovering a result by Ozbagci--Pamuk.
These notes are an expanded version of an introductory lecture on contact geometry given at the 2001 Georgia Topology Conference. They are intended to present some of the "topological" aspects of three dimensional contact geometry.
Using $S^1$-equivariant symplectic homology, in particular its mean Euler characteristic, of the natural filling of links of Brieskorn-Pham polynomials, we prove the existence of infinitely many inequivalent contact structures on various manifolds, including in dimension 5 the k-fold connected sums of $S^2\times S^3$ and certain rational homology spheres. We then apply our result to show that on these manifolds the moduli space of classes of positive Sasakian structures has infinitely many components. We also apply our results to give lower bounds on the number of components of the moduli spac…
We introduce a procedure for gluing Weinstein domains along Weinstein subdomains. By gluing along flexible subdomains, we show that any finite collection of high-dimensional Weinstein domains with the same topology are Weinstein subdomains of a `maximal' Weinstein domain also with the same topology. As an application, we produce exotic cotangent bundles containing many closed regular Lagrangians that are formally Lagrangian isotopic but not Hamiltonian isotopic and also give a new construction of exotic Weinstein structures on Euclidean space. We describe a similar construction in the contact …
We prove that the group of contact diffeomorphisms is closed in the group of all diffeomorphisms in the C^0-topology. By Gromov's alternative, it suffices to exhibit a diffeomorphism that can not be approximated uniformly by contact diffeomorphisms. Our construction uses Eliashberg's contact shape.
This paper is an overview of the idea of using contact geometry to construct invariants of immersions and embeddings. In particular, it discusses how to associate a contact manifold to any manifold and a Legendrian submanifold to an embedding or immersion. We then discuss recent work that creates invariants of immersions and embeddings using the Legendrian contact homology of the associated Legendrian submanifold.
In this note we study the contact geometry of symplectic divisors. We show the contact structure induced on the boundary of a divisor neighborhood is invariant under toric and interior blow-ups and blow-downs. We also construct an open book decomposition on the boundary of a concave divisor neighborhood and apply it to the study of universally tight contact structures of contact torus bundles.
This note collects a number of standard statements in Riemannian geometry and in Sobolev-space theory that play a prominent role in analytic approaches to symplectic topology. These include relations between connections and complex structures, estimates on exponential-like maps, and dependence of constants in Sobolev and elliptic estimates.
We provide a $C^0$ counterexample to the Lagrangian Arnold conjecture in the cotangent bundle of a closed manifold. Additionally, we prove a quantitative $h$-principle for subcritical isotropic embeddings in contact manifolds, and provide an explicit construction of a contact homeomorphism which takes a subcritical isotropic curve to a transverse one. On the rigid side, we give another proof of the Dimitroglou Rizell and Sullivan theorem \cite{RS22} which states that Legendrian knots are preserved by contact homeomorphisms, provided their image is smooth. Moreover, our method gives related exa…
We prove, for a class of contact manifolds, that the universal cover of the group of contact diffeomorphisms carries a natural partial order. It leads to a new viewpoint on geometry and dynamics of contactomorphisms. It gives rise to invariants of contactomorphisms which generalize the classical notion of the rotation number. Our approach is based on tools of Symplectic Topology.
We extend the theorems concerning the equivariant symplectic reduction of the cotangent bundle to contact geometry. The role of the cotangent bundle is taken by the cosphere bundle. We use Albert's method for reduction at zero and Willett's method for non-zero reduction. We provide examples for both cases.
We continue our study of contact structures on manifolds of dimension at least five using complex surgery theory. We show that in each dimension 2q+1 > 3 there are 'maximal' almost contact manifolds to which there is a Stein cobordism from any other (2q+1)-dimensional contact manifold. We show that the product M x S^2 admits a weakly fillable contact structure provided M admits a weak symplectic filling. We also study the connection between Stein fillability and connected sums: we give examples of almost contact manifolds for which the connected sum is Stein fillable, while the components are …
This paper gives a brief contact-geometric account of the Pontryagin maximum principle. We show that key notions in the Pontryagin maximum principle---such as the separating hyperplanes, costate, necessary condition, and normal/abnormal minimizers---have natural contact-geometric interpretations. We then exploit the contact-geometric formulation to give a simple derivation of the transversality condition for optimal control with terminal cost.
This is an introductory text on the more topological aspects of contact geometry, written for the Handbook of Differential Geometry vol. 2. After discussing (and proving) some of the fundamental results of contact topology (neighbourhood theorems, isotopy extension theorems, approximation theorems), I move on to a detailed exposition of the original proof of the Lutz-Martinet theorem. The text ends with a guide to the literature.
A translated point of a contactomorphism $ϕ$ on a contact manifold with contact form $α$ is a point $p$ where $α$ is preserved under $ϕ$ and whose image under $ϕ$ lies in the same Reeb trajectory. They were introduced as a contact analogon for fixed points of Hamiltonian diffeomorphisms by Sheila Sandon and can be understood as a special case of leafwise fixed points. She established a contact version of the non-degenerate Arnol'd conjecture on spheres using a generating function approach. It turns out that Sandon's proof only works under the assumption that there exists a generating function …
A taut contact sphere on a 3-manifold is a linear 2-sphere of contact forms, all defining the same volume form. In the present paper we completely determine the moduli of taut contact spheres on compact left-quotients of SU(2) (the only closed manifolds admitting such structures). We also show that the moduli space of taut contact spheres embeds into the moduli space of taut contact circles. This moduli problem leads to a new viewpoint on the Gibbons-Hawking ansatz in hyperkahler geometry. The classification of taut contact spheres on closed 3-manifolds includes the known classification of 3-S…
After observing that the well-known convexity theorems of symplectic geometry also hold for compact contact manifolds with an effective action of a torus whose Reeb vector field corresponds to an element of the Lie algebra of the torus, we use this fact together with a recent symplectic orbifold version of Delzant's theorem due to Lerman and Tolman [LT] to show that every such compact toric contact manifold can be obtained by a contact reduction from an odd dimensional sphere.
In the symplectic realm, a distance between open starshaped domains in Liouville manifolds was recently defined. This is the symplectic Banach-Mazur distance. It was proposed by Ostrover and Polterovich and developed by Ostrover, Polterovich, Usher, Gutt, Zhang and Stojisavljević. The natural question is, can an analogous distance in the contact realm be defined? One idea is to define the distance on contact hypersurfaces of Liouville manifolds and another one on contact forms supporting isomorphic contact structures. Rosen and Zhang recently defined such a distance working with manifolds that…
We define toric contact manifolds in arbitrary codimension and give a description of such manifolds in terms of a kind of labelled polytope embedded into a grassmannian, analogous to the Delzant polytope of a toric symplectic manifold.
In this note we introduce the (homologically essential) arc complex of a surface as a tool for studying properties of open book decompositions and contact structures. After characterizing destabilizability in terms of the essential translation distance of the monodromy of an open book we given an application of this result to show that there are planer open books of the standard contact structure on the 3-sphere with 5 (or any number larger than 5) boundary components that do not destabilize. We also show that any planar open book with 4 or fewer boundary components does destabilize.
Contact manifolds are odd-dimensional smooth manifolds endowed with a maximally non-integrable field of hyperplanes. They are intimately related to symplectic manifolds, i.e. even-dimensional smooth manifolds endowed with a closed non-degenerate 2-form. Although in symplectic topology a famous bi-invariant metric, the Hofer metric, has been studied since more than 20 years ago, it is only recently that some somehow analogous bi-invariant metrics have been discovered on the group of diffeomorphisms that preserve a contact structure. In this expository article I will review some constructions of…
Quantization together with quantum dynamics can be simultaneously formulated as the problem of finding an appropriate flat connection on a Hilbert bundle over a contact manifold. Contact geometry treats time, generalized positions and momenta as points on an underlying phase-spacetime and reduces classical mechanics to contact topology. Contact quantization describes quantum dynamics in terms of parallel transport for a flat connection; the ultimate goal being to also handle quantum systems in terms of contact topology. Our main result is a proof of local, formal gauge equivalence for a broad …
