Related papers: Four-manifolds of large negative deficiency

A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of…

A myriad of irreducible symplectic 4-manifolds with abelian non-cyclic fundamental group is constructed. The botany of manifolds with finite non-cyclic fundamental groups is also studied.

Let $F^{n+p}(c)$ be an $(n+p)$-dimensional simply connected space form with nonnegative constant curvature $c$. We prove that if $M^n(n\geq4)$ is a compact submanifold in $F^{n+p}(c)$, and if $Ric_M>(n-2)(c+H^2),$ where $H$ is the mean…

We prove that homological stability fails for the moduli space of any simply-connected closed smooth 4-manifold in any degree of homology, unlike what happens in all dimensions $\neq 4$. We detect also the homological discrepancy between…

We show that a combination of collapsing and excessive growth from the fundamental group impedes the existence of Einstein metrics on several families of smooth four-manifolds. These include infrasolvmanifolds whose fundamental group is not…

We introduce a topological invariant, it a type of a graph-manifold, which takes natural values. For a 4-dimensional graph-manifold, whose type does not exceed two, it is proved that its universal cover is bi-Lipschitz equivalent to a…

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…

We establish a braid of interlocking exact sequences containing the group of homotopy self-equivalences of a smooth or topological 4-manifold. The braid is computed for manifolds whose fundamental group is finite of odd order.

In any dimension at least five we construct examples of closed smooth manifolds with the following properties: 1) they have neither real projective nor flat conformal structures; 2) their fundamental group is a non-elementary Gromov…

For each odd integer $p > 1$, we construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is $\Z/2p\Z\times \Z/2\Z$.

In this note we derive an upper bound on the number of 2-spheres in the fixed point set of a smooth and homologically trivial cyclic group action of prime order on a simply-connected 4-manifold. This improves the a priori bound which is…

We show that the fundamental groups of all non-compact, arithmetic, hyperbolic, $n$-manifolds for $n\geq 4$ contain thin surface subgroups. As a consequence of the proof of this theorem we also show that the fundamental groups of the…

We show that any finitely presented group with an index two subgroup is realized as the fundamental group of a closed smooth non-orientable four-manifold that admits an exotic smooth structure, which is obtained by performing a Gluck twist.…

For a simply-connected closed manifold $X$ of $\dim X \neq 4$, the mapping class group $\pi_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there…

A space is defined to be "$n$-spheroidal" if it has the homotopy type of an $n$-dimensional CW-complex $X$ with $H_{n}(X, \mathbb{Z})$ not zero and finitely generated. A group $G$ is called "$n$-spheroidal" if its classifying space $K(G,1)$…

We exhibit a closed aspherical 5-manifold of nonpositive curvature that fibers over a circle whose fundamental group is hyperbolic relative to abelian subgroups such that the fiber is a closed aspherical 4-manifold whose fundamental group…

Let G be a torsion-free hyperbolic group and let n > 5 be an integer. We prove that G is the fundamental group of a closed aspherical manifold if the boundary of G is homeomorphic to an (n-1)-dimensional sphere.

We extend the notion of basic classes (for the Donaldson invariants) to 4-manifolds with $b^+>1$ which are (potentially) not of simple type or satisfy $b_1 >0$. We also give a structure theorem for the Donaldson invariants of 4-manifolds…

We construct the first examples of non-smoothable self-homeomorphisms of smooth $4$-manifolds with boundary that fix the boundary and act trivially on homology. As a corollary, we construct self-diffeomorphisms of $4$-manifolds with…

We introduce a class of minimal submanfolds $M^n$, $n\geq 3$, in spheres $\mathbb{S}^{n+2}$ that are ruled by totally geodesic spheres of dimension $n-2$. If simply-connected, such a submanifold admits a one-parameter associated family of…