Related papers: Extended surgery theory for simply-connected $4k$-…

In this note we classify the diffeomorphism classes rel. boundary of smooth h-cobordisms between two fixed 1-connected 4-manifolds in terms of isometries between the intersection forms.

We prove that every 4-dimensional oriented handlebody without 3- and 4-handles can be modified to admit infinitely many exotic smooth structures, and moreover prove that their genus functions are pairwise equivalent. We furthermore show…

We give an alternative proof of the stable manifold theorem as an application of the (right and left) inverse mapping theorem on a space of sequences. We investigate the diffeomorphism class of the global stable manifold, a problem which in…

The validity of Freedman's disk theorem is known to depend only on the fundamental group. It was conjectured that it fails for nonabelian free fundamental groups. If this were true then surgery theory would work in dimension four. Recently,…

We show an equivariant bordism principle for constructing metrics of positive scalar curvature that are invariant under a given group action. Furthermore, we develop a new codimension-2 surgery technique which removes singular strata from…

We give two constructions of surfaces in simply-connected 4-manifolds with non simply-connected complements. One is an iteration of the twisted rim surgery introduced by the first author. We also construct, for any group G satisfying some…

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.…

We study and in some cases classify highly connected manifolds which admit a Riemannian metric with positive $p$-curvature. The $p$-curvature was defined and studied by the second author. It turns out that positivity of $p$-curvature could…

We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…

We construct a state-sum type invariant of smooth closed oriented $4$-manifolds out of a $G$-crossed braided spherical fusion category ($G$-BSFC) for $G$ a finite group. The construction can be extended to obtain a $(3+1)$-dimensional…

We study the orbit behavior of a four dimensional smooth symplectic diffeomorphism $f$ near a homoclinic orbit $\Gamma$ to an 1-elliptic fixed point under some natural genericity assumptions. 1-elliptic fixed point has two real eigenvalues…

We give a survey of geometric approaches to the topological 4-dimensional surgery and 5-dimensional s-cobordism conjectures, with a focus on the study of surfaces in 4-manifolds. The geometric lemma underlying these conjectures is a…

We present a simple, computation free and geometrical proof of the following classical result: for a diffeomorphism of a manifold, any compact submanifold which is invariant and normally hyperbolic persists under small perturbations of the…

We construct stable minimal hypersurfaces with simple topology in certain compact $4$-manifolds $X$ with boundary, where $X$ embeds into a smooth manifold homeomorphic to $S^4$. For example, if $X$ is equipped with a Riemannian metric $g$…

We present explicit algorithms for simplifying the topology of indefinite fibrations on 4-manifolds, which include broken Lefschetz fibrations and indefinite Morse 2-functions. The algorithms consist of sequences of moves, which modify…

By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open…

We introduce and study the notion of equivariant $\mathbb{Q}$-sliceness for strongly invertible knots. On the constructive side, we prove that every Klein amphichiral knot, which is a strongly invertible knot admitting a compatible negative…

For a knot $K$ in the 3-sphere and a simply connected closed 4-manifold $X$, we define the $X$-double slice genus of $K$, extending the notion from the case when $X$ is the 4-sphere. We show that for each integer $n$, there exists an…

In this paper, we study stable ergodicity of the action of groups of diffeomorphisms on smooth manifolds. Such actions are known to exist only on one-dimensional manifolds. The aim of this paper is to introduce a geometric method to…

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…