Constructions of smooth 4-manifolds.
The paper gives an account of the recent development in 3-dimensional contact geometry. The central result of the paper states that there exists a unique tight contact structure on . Together with the earlier classification of overtwisted contact structures on 3-manifolds this result completes the classification of contact structures on .
Starting from the work of Bhupal we extend to the contact case the Viterbo capacity and Traynor’s construction of symplectic homology. As an application we get a new proof of the Non-Squeezing Theorem of Eliashberg, Kim and Polterovich.
We prove a structure theorem for closed, orientable 5-manifolds with fundamental group and second Stiefel-Whitney class equal to zero on . This structure theorem is then used to construct contact structures on such manifolds by applying contact surgery to fake projective spaces and certain -quotients of .
We prove that the topological φ-category of a pair (M,N) of topological manifolds is infinite if the algebraic φ-category of the pair of fundamental groups (π₁(M),π₁(N)) is infinite. Some immediate consequences of this fact are also pointed out.
In [R] explicit representatives for -principal bundles over are constructed, based on these constructions explicit free -actions on the total spaces are described, with quotients exotic -spheres. To describe these actions a classification formula for the bundles is used. This formula is not correct. In Theorem 1 below, we correct the classification formula and in Theorem 2 we exhibit the correct indices of the exotic -spheres that occur as quotients of the free -actions described above.
It is well-known that any isotopically connected diffeomorphism group G of a manifold determines a unique singular foliation . A one-to-one correspondence between the class of singular foliations and a subclass of diffeomorphism groups is established. As an illustration of this correspondence it is shown that the commutator subgroup [G,G] of an isotopically connected, factorizable and non-fixing diffeomorphism group G is simple iff the foliation defined by [G,G] admits no proper minimal sets....