Related papers: Definite four-manifolds with exotic smooth structu…

We show that on a closed Riemannian manifold with fundamental group isomorphic to $\mathbb{Z}$, other than the circle, every isometry that is homotopic to the identity possesses infinitely many invariant geodesics. This completes a recent…

We construct noncomplex smooth 4-manifolds which admit genus-2 Lefschetz fibrations over S^2. The fibrations are necessarily hyperelliptic, and the resulting 4-manifolds are not even homotopy equivalent to complex surfaces. Furthermore,…

We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group…

Using an obstruction based on Donaldson's theorem on the intersection forms of definite 4-manifolds, we determine which connected sums of lens spaces smoothly embed in S^4. We also find constraints on the Seifert invariants of Seifert…

We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds with boundary and conclude that they are either polycyclic or solvable Baumslag- Solitar. Since these groups are good and satisfy the…

We show how to construct absolutely exotic smooth structures on compact 4-manifolds with boundary, including contractible manifolds. In particular, we prove that any compact smooth 4-manifold W with boundary that admits a relatively exotic…

Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the…

We prove that there exist infinitely many contractible compact smooth $4$-manifolds $C$ that admit absolutely exotic diffeomorphisms of infinite order in $\pi_0(\mathrm{Diff}(C))$. By ``absolutely", we mean that isotopies are not required…

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain…

Let $M$ be $\CP#2\CPb$, $3\CP#4\CPb$ or $(2n-1)\CP#2n\CPb$ for any integer $n\geq 3$. We construct an irreducible symplectic 4-manifold homeomorphic to $M$ and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic…

We prove that a closed $n$-manifold $M$ with positive scalar curvature and abelian fundamental group admits a finite covering $M'$ which is strongly inessential. The latter means that a classifying map $u:M'\to K(\pi_1(M'),1)$ can be…

A quasitoric manifold is a $2n$-dimensional compact smooth manifold with a locally standard action of an $n$-dimensional torus whose orbit space is a simple polytope. In this article, we classify quasitoric manifolds with the second Betti…

In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…

We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…

A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is…

It is proved that the number of deformation types of complex structures on a fixed oriented smooth four-manifold can be arbitrarily large. The considered examples are locally simple abelian covers of rational surfaces.

We give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic…

We introduce a new technique that is used to show that the complex projective plane blown up at 6, 7, or 8 points has infinitely many distinct smooth structures. None of these smooth structures admit smoothly embedded spheres with…

We show that there exist infinitely many pairwise distinct non-closed G_2-manifolds (some of which have holonomy full G_2) such that they admit co-oriented contact structures and have co-oriented contact submanifolds which are also…

For each integer $d$ at least two, we construct non-spin closed oriented flat manifolds with holonomy group $\mathbb Z_2^d$ and with the property that all of their finite proper covers have a spin structure. Moreover, all such covers have…