Related papers: Smooth homotopy 4-sphere

We show that two orientable, four-dimensional folded symplectic toric manifolds are isomorphic provided that their orbit spaces have trivial degree-two integral cohomology and there exists a diffeomorphism of the orbit spaces (as manifolds…

Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense…

We classify the non-degenerate homogeneous hypersurfaces in real and complex affine four-space whose symmetry group is at least four-dimensional.

We give a complete diffeomorphism classification of 1-connected manifolds (of dimension different from 4) whose integral homology is H(M)=Z+Z+Z.

Free Borel $\mathbb{R}^{d}$-flows are smoothly equivalent if there is a Borel bijection between the phase spaces that maps orbits onto orbits and is a $C^{\infty}$-smooth orientation preserving diffeomorphism between orbits. We show that…

We prove a contact non-squeezing phenomenon on homotopy spheres that are fillable by Liouville domains with infinite dimensional symplectic homology: there exists a smoothly embedded ball in such a sphere that cannot be made arbitrarily…

Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric…

Isotopy classes of diffeomorphisms of the 4-sphere can be described either from a Cerf theoretic perspective in terms of loops of 5-dimensional handle attaching data, starting and ending with handles in cancelling position, or via certain…

This paper gives a complete proof of the result announced in the title.

We prove that every $C^\infty$-smooth, area preserving diffeomorphism of the closed 2-disk having not more than one periodic point is the uniform limit of periodic $C^\infty$-smooth diffeomorphisms. In particular every smooth irrational…

Associated to every complete affine 3-manifold M with nonsolvable fundamental group is a noncompact hyperbolic surface S. We classify such complete affine structures when Sigma is homeomorphic to a three-holed sphere. In particular, for…

In the paper of Montgomery, D. and Yang, C.T. [5], they discuss the de-suspension of smooth free actions of S1 on (2n+1)-dimensional homotopy spheres. In this paper we discuss the de-suspension of smooth free actions of S3 on (4n +…

The complement of the codimension 2 complex coordinate subspace arrangement is shown to be homotopy equivalent to a wedge of spheres.

It is shown that smooth maps $f: S^3 \rightarrow S^3$ contain two countable families of harmonic representatives in the homotopy classes of degree zero and one.

We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to…

A smooth four manifold is of finite type $r$ if its Donaldson invariant satisfies D((x^2-4)^r)=0. We prove that every simply connected manifold is of finite type by using the structure of Donaldson invariants in the presence of immersed…

It is observed that on many 4-manifolds there is a unique smooth structure underlying a globally hyperbolic Lorentz metric. For instance, every contractible smooth 4-manifold admitting a globally hyperbolic Lorentz metric is diffeomorphic…

In this note we prove that, for any integer n, there exist a smooth 4-manifold, homotopic to a K3 surface, defined by applying the link surgery method of Fintushel-Stern to a certain 2-component graph link, which admits n inequivalent…

In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each…

A smooth diffeomorphism f of a smooth closed orientable manifold M is cohomology-free diffeomorphism (c.f) if for each smooth function g on M there exists a smooth function h on M and a constant c such that h-h o f = g. In this article we…