Related papers: Four-manifolds, two-complexes and the quadratic bi…

For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a…

We show that a closed four-manifold with $4\frac{1}{2}$-positive curvature operator of the second kind is diffeomorphic to a spherical space form. The curvature assumption is sharp as both $\mathbb{CP}^2$ and $\mathbb{S}^3 \times…

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…

Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with…

In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth…

It was shown by Seaman that if a compact, oriented 4-dimensional riemannian manifold (M, g) of positive sectional curvature admits a harmonic 2-form of constant length, its intersection form is definite and such a harmonic form is unique up…

We first prove an isomorphism between the moduli space of smooth cubic threefolds and the moduli space of hyperkaehler fourfolds of K3^{[2]}-type with a non-symplectic automorphism of order three, whose invariant lattice has rank one and is…

We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective $n$-space $\mathbb{C}\textbf{P}^n$, where $n=3$ and $4$. Let $M^{2n}$ be a closed smooth $2n$-manifold homotopy equivalent to…

Around 2007, A. Chang, J. Qing, and P. Yang proved a conformal gap theorem for Bach-flat metrics with round sphere as the model case. In this article, we extend this result to prove conformally invariant gap theorems for Bach-flat…

Let $M$ be a closed, connected, orientable topological four-manifold with $H_1(M)$ nontrivial and free abelian, $b_2(M)\ne 0, 2$, and $\chi(M)\ne 0$. We show that if $G$ is a finite group of 2-rank $\le 1$ which admits a homologically…

We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families…

We initiate the study of exotic Dehn twists along 3-manifolds $\neq S^3$ inside $4$-manifolds, which produces the first known examples of exotic diffeomorphisms of contractible 4-manifolds, more generally of definite 4-manifolds, and exotic…

We consider closed topological 4-manifolds $M$ with universal cover ${S^2\times{S^2}}$ and Euler characteristic $\chi(M) = 1$. All such manifolds with $\pi=\pi_1(M)\cong {\mathbb Z}/4$ are homotopy equivalent. In this case, we show that…

We prove that for every natural number k there are simply connected topological four-manifolds which have at leat k distinct smooth structures supporting Einstein metrics, and also have infinitely many distinct smooth structures not…

Let $F\in\mathrm{Diff}(\mathbb{C}^2,0)$ be a germ of a holomorphic diffeomorphism and let $\Gamma$ be an invariant formal curve of $F$. Assume that the restricted diffeomorphism $F|_{\Gamma}$ is either hyperbolic attracting or rationally…

We use Gay and Kirby's description of 4-manifolds in terms of trisections and trisection diagrams to define a new 4-manifold invariant. The algebraic data are an indecomposable finite semisimple bimodule category over a pair of spherical…

In this article, we construct infinitley many simply connected, nonsymplectic and pairwise nondiffeomorphic 4-manifolds starting from E(n) and applying the sequence of knot surgery, ordinary blowups and rational blowdown. We also compute…

Let M be an analytic manifold modelled on an ultrametric Banach space over a complete ultrametric field. Let f be an analytic diffeomorphism from M onto itself and p be a fixed point of f. We discuss invariant manifolds around p, like…

In this paper we study smooth structures on closed oriented 4-manifolds with fundamental group Z_2 and definite intersection form. We construct infinitely many irreducible, smooth, oriented, closed, definite four-manifolds with fundamental…

We compute the topological mapping class group of every compact, simply connected, topological 4-manifold. This was previously only known in the closed case. If the 4-manifold is smooth, we deduce an analogous description of the stable…