This entry is part of the series of posts on the recent work of M. S. Borman, Y. Eliashberg and E. Murphy on the existence and classification of overtwisted contact structures in all dimensions. In the previous two entries the construction in the 3–dimensional case and Gromov’s h–principle for the open case have been explained.
The essential fact in Eliashberg’s 3–dimensional argument (this is part 2, two entries ago) is the control on the characteristic foliation: the extension problem is reduced to being able to fill a 2–sphere with a contact ball given a particular characteristic foliation on the boundary. This can be done explicitly by deforming the local model provided by the standard overtwisted contact ball in order to have the given characteristic foliation on the boundary. The construction in higher dimensions is not quite the same and it relies on the use of contact Hamiltonians, hence this and subsequent entries. This first introductory entry should help the reader to follow the next entries, each entry should however be readable on its own.
Consider a contact manifold of dimension 2n+1. The information of a contact structure is contained in a 1–form (locally this is the data of 2n+1 functions, plus another one as a conformal factor, satisfying 1 non–degeneracy equation). This data can be drastically reduced when restricted to simple topological subsets if we choose appropriate coordinates: for instance, the Darboux theorem tells us that the normal form of a contact 1–form around a point is . It will be helpful for the reader to understand the geometric proof of the Darboux theorem, see Theorem 2 in Page 5 of Topological methods in 3-dimensional contact geometry. The strategy is finding a suitable flow to obtain the desired coordinates.
Suppose that we have a contact manifold and a codimension–1 distribution on the manifold such that it restricts to on each slice . In these hypotheses:
Lemma: There exists the following normal form for the 1–form , we can write for some smooth function .
Proof: Consider the product manifold as a trivial fibre bundle over the disk . The data in the hypothesis gives a connection in this bundle whose parallel transport is by contactomorphisms, it is defined as the skew–orthogonal complement of the symplectic subspace in the bundle with respect to the 2–form (which is not necessarily symplectic). We can then consider the radial vector field in the base and lift it to the total space . The pull–back of the contact form by this flow is (conformally) of the form for some function . The reason being that the radial factor cannot appear because in the trivializing coordinates (provided by the flow of the lift), the lift of the radial vector field belongs to the distribution.
There are a couple of technical details regarding the existence of the flow, which can be translated into the size of the base disk. Let us not focus on that. Thanks to the Lemma we have the following reduction of the extension problem.
Suppose that on a given almost contact (2n+1)–fold V we have a contact structure on all of V except on a neighbourhood of a codimension–2 submanifold M with trivial normal bundle. If the almost contact structure satisfies the hypothesis for the Lemma in , then the extension problem for the contact structure is reduced to:
Problem: Given a germ of a contact structure on described by a function , does there exist a contact structure on such that it restricts to the given germ on ?
There are two remarks at this point. First, the meaning of the function H is really geometric. It describes the angle of rotation of the contact structure in the radial direction, in particular the condition for to be a contact structure on reads (this is often stated as the contact structure has to rotate). Second, the extension does not need to be of the form , we just need a contact structure on .
Example 1 (Tight): Consider and the function . The contact form is and since the function H verifies the contact condition on this defines a contact structure on . This is the standard contact structure on the ball.
Example 2 (Overtwisted): Consider and . The contact form is then , which should be read as . This is the standard overtwisted contact structure on the ball if the radius of the disk is larger than .
This second example has the following very nice feature: the function is negative at r=2. This provides a solution to the problem of extending a germ in to the interior if this germ is everywhere negative. Although a priori it seems non–sense to go from 0 to a negative value growing (in order to preserve the contact condition) this can be done by inserting a pole, i.e. going to infinity (and then continuing from minus infinity). This phenomenon underlies many h–principles, try to solve for instance Section 4.1.1 from Chapter 4 in Eliashberg–Mishachev book.
The functions H appearing in the above constructions are called contact Hamiltonians.
Problem (Easy Case): Given a germ of a contact structure on described by a positive function , does there exist a contact structure on such that it restricts to the given germ on ?
Answer: Yes. In this case the extension can be a contact structure of the form where extends H and is such that . Certainly, we just need to construct a function which at the origin looks like and then it grows in the radial direction until we reach the value given by H on the boundary . The existence of such a function is immediate.
The difficult case is that of a germ of a contact structure defined by a Hamiltonian which is negative in some points and positive in others (the presence of such negativity requires overtwistedness). The situation described above is quite hard because we may not even understand the (contact) topology of M. The first step is to focus on a (2n-1)-ball, or star–shaped domain, in .
In the next entry, Contact Hamiltonians (Part I) we will continue to use contact Hamiltonians and relate them to Eliashberg’s 3–dimensional argument using the characteristic foliation. The essential word will be monodromy.
In the context above, monodromy arises as follows: consider the contact germ on and lift the vector field to the connection defined before. Its flow at time equal to the length of the circle (say 1) defines a contactomorphism of the fibre . This is the monodromy contactomorphism.
There is however another way to obtain a contactomorphism of if we have a function (referred to as a time–dependent contact Hamiltonian). Indeed, compute the Hamiltonian contact vector field X associated to H, which is the unique solution of
where is the Reeb vector field. Then the time–1 flow of the Hamiltonian vector field is a contactomorphism of M. This contactomorphism is said to be generated by the contact Hamiltonian H.
Lemma: Given the contact germ on , the monodromy contactomorphism coincides with the contactomorphism generated by H.
The proof of this lemma is a nice exercise on linear algebra using the defining equation of the connection. This setup can be explicitly studied in 3–dimensions where the monodromies (and the functions H) can be drawn and they correspond to ODEs in the plane. In the next post we will proof Eliashberg’s theorem in dimension 3 from the contact Hamiltonian perspective.