Related papers: A relative version of Rochlin's theorem
Let $X$ be a closed indefinite $4$-manifold with $b_+(X) = 3 \; ({\rm mod} \; 4)$ and with non-vanishing mod $2$ Seiberg--Witten invariants. We prove a new lower bound on the genus of a properly embedded surface in $X \setminus B^4$…
The Goldberg-Sachs theorem is generalized for all four-dimensional manifolds endowed with torsion-free connection compatible with the metric, the treatment includes all signatures as well as complex manifolds. It is shown that when the Weyl…
It is known that a limit $(M^n_j,g_j)\to (X^k,d)$ of manifolds $M_j$ with uniform lower bounds on Ricci curvature must be $k$-rectifiable for some unique $\dim X:= k\leq n = \dim M_j$. It is also known that if $k=n$, then $X^n$ is a…
We show that the Morse index of a closed minimal hypersurface in a four-dimensional Riemannian manifold cannot be bound in terms of the volume and the topological invariants of the hypersurface itself by presenting a method for constructing…
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…
We derive new, sharp lower bounds for certain curvature functionals on the space of Riemannian metrics of a smooth compact 4-manifold with a non-trivial Seiberg-Witten invariant. These allow one, for example, to exactly compute the infimum…
Given an Einstein structure with positive scalar curvature on a four-dimensional Riemannian manifolds, that is $Ric=\lambda g$ for some positive constant $\lambda$. For convenience, the Ricci curvature is always normalized to $Ric=1$. A…
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 consider Riemannian 4-manifolds that Gromov-Hausdorff converge to a lower dimensional limit space, with the Ricci tensor going to zero. Among other things, we show that if the limit space is two dimensional then under some mild…
An invariant of orientable 3-manifolds is defined by taking the minimum $n$ such that a given 3-manifold embeds in the connected sum of $n$ copies of $S^2 \times S^2$, and we call this $n$ the embedding number of the 3-manifold. We give…
A method, due to \'Elie Cartan, is used to give an algebraic classification of the non-reductive homogeneous pseudo-Riemannian manifolds of dimension four. Only one case with Lorentz signature can be Einstein without having constant…
Given a closed four-manifold $X$ with an indefinite intersection form, we consider smoothly embedded surfaces in $X \setminus $int$(B^4)$, with boundary a knot $K \subset S^3$. We give several methods to bound the genus of such surfaces in…
This paper continues the study of decompositions of a smooth 4-manifold into two handlebodies with handles of index $\leq2$. Part I gave existence results in terms of spines and chain complexes over the fundamental group of the ambient…
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…
We prove a warped product splitting theorem for manifolds with Ricci curvature bounded from below in the spirit of [Croke-Kleiner, \emph{Duke Math.\;J}.\;(1992)], but instead of asking that one boundary component is compact and mean-convex,…
Gay and Kirby introduced trisections which describe any closed oriented smooth 4-manifold $X$ as a union of three four-dimensional handlebodies. A trisection is encoded in a diagram, namely three collections of curves in a closed oriented…
Haslhofer and M\"uller proved a compactness Theorem for four-dimensional shrinking gradient Ricci solitons, with the only assumption being that the entropy is uniformly bounded from below. However, the limit in their result could possibly…
We demonstrate the existence of numerous non-spin 4-manifolds for which the smooth Nielsen realization problem fails; namely, there exist finite subgroups of their mapping class groups that cannot be realized by any group of…
We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of…
We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$…