Related papers: Diffeomorphisms of discs and the second Weiss deri…

I describe what is currently known, for $d \geq 5$, about the rational homotopy type of the group of diffeomorphisms of the $d$-disc relative to its boundary, and the closely related group of homeomorphisms of $d$-dimensional Euclidean…

We compute the rational homotopy groups of the classifying space $\mathrm{BDiff}_{\partial}(S^1 \times D^{d-1})$ of the topological group of diffeomorphisms of $S^1 \times D^{d-1}$ fixing the boundary for $d \geq 6$, in a range of degrees…

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…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…

We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds $U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}{D^{2n+1}}$, for large $g$ and $n$, up to approximately degree $n$. The…

We construct a zig-zag from the once delooped space of pseudoisotopies of a closed $2n$-disc to the once looped algebraic $K$-theory space of the integers and show that the maps involved are $p$-locally $(2n-4)$-connected for $n>3$ and…

We express the rational homotopy type of the mapping spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ of the little discs operads in terms of graph complexes. Using known facts about the graph homology this allows us to compute…

We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…

We construct a rational homotopy pullback decomposition for variants of the classifying space of the group of homeomorphisms for a large class of manifolds. This has various applications, including a rational section of the stabilisation…

We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups…

We will study homological stability of the diffeomorphism groups of the manifolds $W_{g,1}:=D^{2n} \# (S^n \times S^n)^{\#g }$ using $E_k$-algebras. This will lead to new improvements in the stability results, especially when working with…

We establish a pseudoisotopy result for embedding spaces in the line of that of Weiss and Williams for diffeomorphism groups. In other words, for $P\subset M$ a codimension at least three embedding, we describe the difference in a range of…

In this note we describe a family of arguments that link the homotopy-type of a) the diffeomorphism group of the disc $D^n$, b) the space of co-dimension one embedded spheres in a sphere and c) the homotopy-type of the space of co-dimension…

We study the infinite generation in the homotopy groups of the group of diffeomorphisms of $S^1 \times D^{2n-1}$, for $2n \geq 6$, in a range of degrees up to $n-2$. Our analysis relies on understanding the homotopy fibre of a linearisation…

In this paper we prove a stability theorem for block diffeomorphisms of 2d-dimensional manifolds that are connected sums of S^d x S^d. Combining this with a recent theorem of S. Galatius and O. Randal-Williams and Morlet's lemma of…

We study the Disc-structure space $S^{\rm Disc}_\partial(M)$ of a compact smooth manifold $M$. Informally speaking, this space measures the difference between $M$, together with its diffeomorphisms, and the diagram of ordered framed…

We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In…

If $\mathcal{G}$ is the group (under composition) of diffeomorphisms $f : {\bar{D}}(0;1) \rightarrow {\bar{D}}(0;1)$ of the closed unit disc ${\bar{D}}(0;1)$ which are the identity map $id : {\bar{D}}(0;1) \rightarrow {\bar{D}}(0;1)$ on the…

We prove that a real analytic pseudo-rotation $f$ of the disc or the sphere is never topologically mixing. When the rotation number of $f$ is of Brjuno type, the latter follows from a KAM theorem of R\"ussmann on the stability of real…