Related papers: Diffeotopy groups of non-compact 4-manifolds

We prove that many simply connected symplectic four-manifolds dissolve after connected sum with only one copy of $S^{2}\times S^{2}$. For any finite group G that acts freely on the three-sphere we construct closed smooth four-manifolds with…

For a non-compact n-manifold M let H(M) denote the group of homeomorphisms of M endowed with the Whitney topology and H_c(M) the subgroup of H(M) consisting of homeomorphisms with compact support. It is shown that the group H_c(M) is…

We formulate a conjecture that arithmetic locally symmetric manifolds have simple homotopy type, and prove it for the non-compact case. More precisely, we show that, for any symmetric space S of non-compact type without Euclidean de Rham…

Let $M$ and $N$ be two closed $C^{\infty}$ manifolds and let $\text{Diff}_c(M)$ denote the group of $C^{\infty}$ diffeomorphisms isotopic to the identity. We prove that any (discrete) group homomorphism between $\text{Diff}_c(M)$ and…

We construct smooth manifolds with order two $\pi_1$ and even intersection forms which are irreducible, meaning they do not decompose into non-trivial connected sums. Their intersection forms being even implies that their universal covers…

Finite presentations for the mapping class group M(F) are known for arbitrary orientable compact surface F. If F is non-orientable, then such presentations are known only when F has genus at most 3 and few boundary components. In this paper…

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'$…

We prove that there are infinitely many pairs of homeomorphic non-diffeomorphic smooth 4-manifolds, such that in each pair one manifold admits an Einstein metric and the other does not. We also show that there are closed 4-manifolds with…

We introduce a method to detect exotic surfaces without explicitly using a smooth 4-manifold invariant or an invariant of a 4-manifold-surface pair in the construction. Our main tools are two versions of families (Seiberg-Witten)…

For each integer $n$ we construct a simply connected $4$-manifold $X$ admitting a smoothly embedded surface $\Sigma$ of self intersection number $n$ such that the complement of the surface has non-trivial fundamental group. This answers a…

There are many theorems in the differential geometry literature of the following sort. Let M be a complete Riemannian manifold with some conditions on various curvatures, diameters, volumes, etc. Then M is homotopy equivalent to a finite CW…

Despite spectacular advances in defining invariants for simply connected smooth and symplectic 4-dimensional manifolds and the discovery of effective surgical techniques, we still have been unable to classify simply connected smooth…

A coarse group is a group endowed with a coarse structure so that the group multiplication and inversion are coarse mappings. Let $(X, \mathcal{E})$ be a coarse space and let $\mathfrak{M}$ be a variety of groups different from the variety…

An involutive diffeomorphism $\sigma$ of a connected smooth manifold $M$ is called dissecting if the complement of its fixed point set is not connected. Dissecting involutions on a complete Riemannian manifold are closely related to…

Diffeomorphism groups $G$ of manifolds $M$ on locally $\bf F$-convex spaces over non-Archimedean fields $\bf F$ are investigated. It is shown that their structure has many differences with the diffeomorphism groups of real and complex…

We give a new proof that compact infra-solvmanifolds with isomorphic fundamental groups are smoothly diffeomorphic. More generally, we prove rigidity results for manifolds which are constructed using affine actions of virtually polycyclic…

In this paper we present a beautifully consistent web of evidence for the existence of interacting 4d rank-1 $\mathcal{N}=2$ SCFTs obtained from gauging discrete subgroups of global symmetries of other existing 4d rank-1 $\mathcal{N}=2$…

The group of $\mathcal C^1$-diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson's groups come out of this construction when we consider central ternary Cantor subsets of an…

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…

Let $M$ be a smooth connected compact surface and $P$ be either a real line or a circle. This paper proceeds the study of the stabilizers and orbits of smooth functions on $M$ with respect to the right action of the group of diffeomorphisms…