相关论文: Pseudo-isotopies of 3-manifolds with infinite fund…

Using classical results of infinite-dimensional geometry, we show that the isometry group of the Urysohn space, endowed with its usual Polish group topology, is homeomorphic to the separable Hilbert space. The proof is basedon a lemma about…

We construct for every connected locally finite graph $\Pi$ the quantum automorphism group $\text{QAut}\ \Pi$ as a locally compact quantum group. When $\Pi$ is vertex transitive, we associate to $\Pi$ a new unitary tensor category…

We will show the following three theorems on the diffeomorphism and homeomorphism groups of a $K3$ surface. The first theorem is that the natural map $\pi_{0}(Diff(K3)) \to Aut(H^{2}(K3;\mathbb{Z}))$ has a section over its image. The second…

We prove that the automorphism group of a Calabi-Yau threefold with Picard number three is either finite, or isomorphic to the infinite cyclic group up to finite kernel and cokernel.

We determine $\pi_*(BDiff_\partial(D^{2n})) \otimes \mathbb{Q}$ for $2n \geq 6$ completely in degrees $* \leq 4n-10$, far beyond the pseudoisotopy stable range. Furthermore, above these degrees we discover a systematic structure in these…

We exhibit a map f between aspherical spaces X and Y such that f induces an isomorphism on homotopy groups but, with natural topologies, X and Y fail to have homeomorphic fundamental groups. Thus the topological fundamental group has the…

This paper studies the homotopy and homeomorphism classifications of $4$-manifolds with boundary. Given $4$-manifolds $X_0$ and $X_1$ with fundamental group $\pi$, we consider the problem of extending a homotopy equivalence $h \colon…

Let $M$ be a complete connected Riemannian manifold of finite volume. In this paper we present a new method of constructing classes in bounded cohomology of transformation groups such as $Homeo_0(M,\mu)$, $Diff_0(M,vol)$ and…

Let $\mathrm{Diff}_{\partial}(D^{n})$ be the topological group of diffeomorphisms of $D^{n}$ which agree with the identity near the boundary. In this short note, we compute the fundamental groups $\pi_1 \mathrm{Diff}_{\partial}(D^{4k})$ for…

The homotopy group $\pi_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding…

In previous work, the second author defined 'equivariant instanton homology groups' $I^\bullet(Y,\pi;R)$ for a rational homology 3-sphere $Y$, a set of auxiliary data $\pi$, and a PID $R$. These objects are modules over the cohomology ring…

Let $S$ be an orientable, connected surface with infinitely-generated fundamental group. The main theorem states that if the genus of $S$ is finite and at least 4, then the isomorphism type of the pure mapping class group associated to $S$,…

In this addendum, we give a differential form interpretation of the proof of the main theorem of arXiv:1812.02448, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the…

Around twenty years ago Ghys conjectured that finite subgroups of the diffeomorphism group of a compact smooth manifold M have an abelian normal subgroup of index at most a(M), where a(M) depends only on M. First we construct a family of…

We show that any isomorphism between mapping class groups of orientable infinite-type surfaces is induced by a homeomorphism between the surfaces. Our argument additionally applies to automorphisms between finite-index subgroups of these…

Let $Z$ be a non-compact two-dimensional manifold obtained from a family of open strips $\mathbb{R}\times(0,1)$ with boundary intervals by gluing those strips along some pairs of their boundary intervals. Every such strip has a natural…

We use lens-shaped models and the second obstruction to pseudoisotopy to construct a nontrivial diffeomorphism of $M\times I$ where $M$ is the connected sum of $S^1\times S^2$ with a another nonsimply connected 3-manifold $M'$. Then we take…

We show that continuous epimorphisms between a class of subgroups of mapping class groups of orientable infinite-genus 2-manifolds with no planar ends are always induced by homeomorphisms. This class of subgroups includes the pure mapping…

This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in…

We determine which closed orientable $3$-manifolds $M$ admit a self-homeomorphism restricting to a pseudo-Anosov map on an incompressible subsurface $\Sigma$, which we call a pseudo-Anosov surface. When $M$ is irreducible, we show that the…