Related papers: A fake smooth CP^2 # RP^4

We prove that the group of area-preserving diffeomorphisms of the 2-sphere admits a non-trivial homogeneous quasimorphism to the real numbers with the following property. Its value on any diffeomorphism supported in a sufficiently small…

For every $k \geq 2$ and $n \geq 2$ we construct $n$ pairwise homotopically inequivalent simply-connected, closed $4k$-dimensional manifolds, all of which are stably diffeomorphic to one another. Each of these manifolds has hyperbolic…

We will prove that the number of deformation equivalence classes of surfaces homotopy equivalent to a smooth, closed 4-manifold is finite, if the first Betti number is equal to one, and the second Betti number is equal to zero.

We show that except two special cases, the sphere bundle of a vector bundle over a simply connected $4$-manifold splits after looping. In particular, this implies that though there are infinitely many inequivalent sphere bundles of a given…

A Coxeter polytope is a convex polytope in a real projective space equipped with linear reflections in its facets, such that the orbits of the polytope under the action of the group generated by the linear reflections tessellate a convex…

It has been recently shown by Abresch and Rosenberg that a certain Hopf differential is holomorphic on every constant mean curvature surface in a Riemannian homogeneous 3-manifold with isometry group of dimension 4. In this paper we…

We show that the simply-connected four-manifolds which admit locally linear, homologically trivial actions by rank two finite abelian groups are homeomorphic to connected sums of CP^2, -CP^2, and S^2 x S^2 (with one exception: pseudofree…

Let $M$ be a compact orientable surface equipped with a volume form $\omega$, $P$ be either $\mathbb{R}$ or $S^1$, $f:M\to P$ be a $C^{\infty}$ Morse map, and $H$ be the Hamiltonian vector field of $f$ with respect to $\omega$. Let also…

We show that if $Y$ is a compact topological manifold and $X$ is a locally flat submanifold, then the complement $Y - X$ is homotopy equivalent to a finite CW complex. This is a direct proof, and does not rely on much of the theory of…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

In this note we prove the following result: Let $X$ be a complete, connected 4-manifold with uniformly positive isotropic curvature, with bounded geometry and with no essential incompressible space form. Then $X$ is diffeomorphic to…

We adapt the theory of non-Archimedean uniformization to construct a smooth surface from a lattice in PGL3(Q2) that has nontrivial torsion. It turns out to be a fake projective plane, commensurable with Mumford's fake plane yet distinct…

We prove that any null-homotopic holomorphic map from a Stein space $X$ to the symplectic group $\operatorname{Sp}_{4}(\mathbb{C})$ can be written as a finite product of elementary symplectic matrices with holomorphic entries.

We classify Hopf hypersurfaces of non-flat complex space forms CP^m(4) and CH^m(-4), denoted jointly by CQ^m(4c), that are of 2-type in the sense of B. Y. Chen, via the embedding into a suitable (pseudo) Euclidean space of Hermitian…

We determine loop space decompositions of simply-connected four-manifolds, $(n-1)$-connected $2n$-dimensional manifolds provided $n\notin\{4,8\}$, and connected sums of products of two spheres. These are obtained as special cases of a more…

Let $M$ be a closed 4-manifold with $\pi_2(M)\cong{Z}$. Then $M$ is homotopy equivalent to either $CP^2$, or the total space of an orbifold bundle with general fibre $S^2$ over a 2-orbifold $B$, or the total space of an $RP^2$-bundle over…

In this note we study logarithmic transformations in the sense of differential topology on two fibers of the Hopf surface. It is known that such transformations are susceptible to yield exotic smooth structures on four-manifolds. We will…

Let (M, g, omega) be a compact, almost-Kaehler Einstein 4-manifold of negative star-scalar curvature. Then (M, omega) is a MINIMAL symplectic 4-manifold of general type. In particular, M cannot be differentiably decomposed as a connected…

We mostly determine which closed smooth oriented 4-manifolds fibering over lower dimensional manifolds are virtually symplectic, i.e. finitely covered by symplectic 4-manifolds.

We construct a locally hyperbolic 3-manifold $M$ such that $\pi_ 1(M)$ has no divisible subgroups. We then show that $M$ is not homotopy equivalent to any complete hyperbolic manifold.