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

We present an infinite sequence of smooth embeddings of a connected sum of 6 projective planes in the 4-sphere, which are all ambient homeomorphic, but pairwise ambient non-diffeomorphic. The double covers of the 4-sphere ramified along…

First steps towards a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of Hilb^2(K3). We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of…

Let $X$ be a connected compact 3-manifold with non-empty boundary. Consider the boundary $M$ of $X\times D^2$. $M$ is a 4-dimensional closed manifold and has the same fundamental group as $X$. Various examples of $X$ are known for which a…

We investigate whether non-metrizable manifolds in various classes can be homotopy equivalent to a CW-complex (in short: heCWc), and in particular contractible. We show that a non-metrizable manifold cannot be heCWc if it has one of the…

We prove that, for a closed oriented smooth spin 4-manifold $X$ with non-zero signature, the Dehn twist about a $(+2)$- or $(-2)$-sphere in $X$ is not homotopic to any finite order diffeomorphism. In particular, we negatively answer the…

Let $M^d$ be a simply connected spin manifold of dimension $d \geq 5$ admitting Riemannian metrics of positive scalar curvature. Denote by $\mathcal{R}^+(M^d)$ the space of such metrics on $M^d$. We show that $\mathcal{R}^+(M^d)$ is…

We show that the homotopy type of a finite oriented Poincar\'{e} 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and…

In this paper we will show that two surfaces of the same genus and homology class in a simply connected 4-manifold are concordant. We will show they are often topologically isotopic when their complements have cyclic fundamental group.…

We show that any noncompact oriented surface is homeomorphic to the leaf of a minimal foliation of a closed $3$-manifold. These foliations are (or are covered by) suspensions of continuous minimal actions of surface groups on the circle.…

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of…

We give a brief survey of some facts about homotopy $4$-spheres \cite{a1}, then give a proof that the curious homotopy sphere constructed in \cite{a2} is in fact diffeomorphic to the standard $S^4$, and discuss its relation to infinite…

We explain the existence of a smooth $HP^2$-bundle over $S^4$ whose total space has nontrivial $\hat{A}$-genus. Combined with an argument going back to Hitchin, this answers a question of Schick and implies that the space of Riemannian…

We study the possibility of realizing exotic smooth structures on punctured simply connected $4$-manifolds as leaves of a codimension one foliation on a compact manifold. In particular, we show the existence of uncountably many smooth open…

This is a slightly altered version of the authors thesis from 2014. In the first main part we show that the quotient space of a compact, simply connected and nonnegatively curved Riemannian 4-manifold by an effective, isometric…

What is the simplest smooth simply connected 4-manifold embedded in $CP^3$ homologous to a degree $d$ hypersurface $V_d$? A version of this question associated with Thom asks if $V_d$ has the smallest $b_2$ among all such manifolds. While…

The paper is devoted to the well-known problem of smooth structures on moment-angle manifolds. Each real or complex moment-angle manifold has an equivariant smooth structure given by an intersection of quadrics corresponding to a geometric…

We show that there is no algorithm to decide whether or not a given 4-manifold is homeomorphic to the connected sum of 12 copies of S^2 \times S^2.

We classify cohomogeneity one actions on smooth, simply connected, closed manifolds with the rational cohomology of a sphere. In particular, we show that such a manifold is diffeomorphic to a sphere, a Brieskorn variety, the Wu manifold…

In the paper \cite{wall_1}, C.T.C. Wall proved that two smooth closed simply connected 4-manifolds which are homeomorphic are in fact stably diffeomorphic. We prove a similar result which states that two smooth closed 4-manifolds satisfying…

We outline the current state of knowledge regarding geometric inequalities of systolic type, and prove new results, including systolic freedom in dimension 4. Namely, every compact, orientable, smooth 4-manifold X admits metrics of…