Showing 1–50 of 65 results for author: Randal-Williams, O

Homological stability for general linear groups over Dedekind domains

Authors: Oscar Randal-Williams

Abstract: We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only stabilisation by the free module of rank 1. We show the same kind of stability holds for Clausen and Jansen's reductive Borel--Serre spaces. We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only stabilisation by the free module of rank 1. We show the same kind of stability holds for Clausen and Jansen's reductive Borel--Serre spaces. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 18 pages

Report number: CPH-GEOTOP-DNRF151

Uniform twisted homological stability

Authors: Jeremy Miller, Peter Patzt, Dan Petersen, Oscar Randal-Williams

Abstract: We prove a homological stability theorem for families of discrete groups (e.g. map** class groups, automorphism groups of free groups, braid groups) with coefficients in a sequence of irreducible algebraic representations of arithmetic groups. The novelty is that the stable range is independent of the choice of representation. Combined with earlier work of Bergström--Diaconu--Petersen--Westerlan… ▽ More We prove a homological stability theorem for families of discrete groups (e.g. map** class groups, automorphism groups of free groups, braid groups) with coefficients in a sequence of irreducible algebraic representations of arithmetic groups. The novelty is that the stable range is independent of the choice of representation. Combined with earlier work of Bergström--Diaconu--Petersen--Westerland this proves the Conrey--Farmer--Keating--Rubinstein--Snaith predictions for all moments of the family of quadratic $L$-functions over function fields, for sufficiently large odd prime powers. △ Less

Submitted 8 February, 2024; v1 submitted 1 February, 2024; originally announced February 2024.

Comments: 35 pages. v2: minor updates

MSC Class: 55P48; 55U10; 20F36; 11R59

Smooth generalized symmetries of quantum field theories

Authors: Ben Gripaios, Oscar Randal-Williams, Joseph Tooby-Smith

Abstract: Dynamical quantum field theories (QFTs), such as those in which spacetimes are equipped with a metric and/or a field in the form of a smooth map to a target manifold, can be formulated axiomatically using the language of $\infty$-categories. According to a geometric version of the cobordism hypothesis, such QFTs collectively assemble themselves into objects in an $\infty$-topos of smooth spaces. W… ▽ More Dynamical quantum field theories (QFTs), such as those in which spacetimes are equipped with a metric and/or a field in the form of a smooth map to a target manifold, can be formulated axiomatically using the language of $\infty$-categories. According to a geometric version of the cobordism hypothesis, such QFTs collectively assemble themselves into objects in an $\infty$-topos of smooth spaces. We show how this allows one to define and study generalized global symmetries of such QFTs. The symmetries are themselves smooth, so the `higher-form' symmetry groups can be endowed with, e.g., a Lie group structure. Among the more surprising general implications for physics are, firstly, that QFTs in spacetime dimension $d$, considered collectively, can have $d$-form symmetries, going beyond the known $(d-1)$-form symmetries of individual QFTs and, secondly, that a global symmetry of a QFT can be anomalous even before we try to gauge it, due to a failure to respect either smoothness (in that a symmetry of an individual QFT does not smoothly extend to QFTs collectively) or locality (in that a symmetry of an unextended QFT does not extend to an extended one). Smoothness anomalies are shown to occur even in 2-state systems in quantum mechanics (here formulated axiomatically by equip** $d=1$ spacetimes with a metric, an orientation, and perhaps some unitarity structure). Locality anomalies are shown to occur even for invertible QFTs defined on $d=1$ spacetimes equipped with an orientation and a smooth map to a target manifold. These correspond in physics to topological actions for a particle moving on the target and the relation to an earlier classification of such actions using invariant differential cohomology is elucidated. △ Less

Submitted 14 May, 2024; v1 submitted 24 October, 2023; originally announced October 2023.

Comments: 72 pages. V2: version accepted for publication

The Alexander trick for homology spheres

Authors: Soren Galatius, Oscar Randal-Williams

Abstract: We show that the group of homeomorphisms of a compact contractible $d$-manifold which fix the boundary is contractible, as long as $d \geq 6$. We deduce this from a strong uniqueness statement for one-sided $h$-cobordisms. We show that the group of homeomorphisms of a compact contractible $d$-manifold which fix the boundary is contractible, as long as $d \geq 6$. We deduce this from a strong uniqueness statement for one-sided $h$-cobordisms. △ Less

Submitted 22 September, 2023; v1 submitted 29 August, 2023; originally announced August 2023.

Comments: 15 pages, updated section 1.3 in v2

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57S05; 58D05; 57N65

Monodromy and map** class groups of 3-dimensional hypersurfaces

Authors: Oscar Randal-Williams

Abstract: We describe the subgroup of the map** class group of a hypersurface in $\mathbb{CP}^4$ consisting of those diffeomorphisms which can be realised by monodromy. We describe the subgroup of the map** class group of a hypersurface in $\mathbb{CP}^4$ consisting of those diffeomorphisms which can be realised by monodromy. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: 28 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 14M10; 14D05; 57R15; 57R50; 20E26

Configuration spaces as commutative monoids

Authors: Oscar Randal-Williams

Abstract: After 1-point compactification, the collection of all unordered configuration spaces of a manifold admits a commutative multiplication by superposition of configurations. We explain a simple (derived) presentation for this commutative monoid object. Using this presentation, one can quickly deduce Knudsen's formula for the rational cohomology of configuration spaces, prove rational homological stab… ▽ More After 1-point compactification, the collection of all unordered configuration spaces of a manifold admits a commutative multiplication by superposition of configurations. We explain a simple (derived) presentation for this commutative monoid object. Using this presentation, one can quickly deduce Knudsen's formula for the rational cohomology of configuration spaces, prove rational homological stability, and understand how automorphisms of the manifold act on the cohomology of configuration spaces. Similar considerations reproduce the work of Farb--Wolfson--Wood on homological densities. △ Less

Submitted 14 May, 2024; v1 submitted 4 June, 2023; originally announced June 2023.

Comments: 11 pages, including an appendix with Quoc P. Ho. v2: 13 pages. Accepted version, to appear in the Bulletin of the LMS

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R80

On the cohomology of Torelli groups. II

Authors: Oscar Randal-Williams

Abstract: We describe the ring structure of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ in a stable range, for $2n \geq 6$. Some of our results are also valid for $2n=2$, where they are closely related to unpublished results of Kawazumi and Morita. We describe the ring structure of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ in a stable range, for $2n \geq 6$. Some of our results are also valid for $2n=2$, where they are closely related to unpublished results of Kawazumi and Morita. △ Less

Submitted 12 June, 2023; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: 29 pages; v2 31 pages, accepted version to appear in IMRN

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R40; 11F75; 57S05; 18D10; 20G05

Generalized symmetries of topological field theories

Authors: Ben Gripaios, Oscar Randal-Williams, Joseph Tooby-Smith

Abstract: We study generalized symmetries in a simplified arena in which the usual quantum field theories of physics are replaced with topological field theories and the smooth structure with which the symmetry groups of physics are usually endowed is forgotten. Doing so allows many questions of physical interest to be answered using the tools of homotopy theory. We study both global and gauge symmetries, a… ▽ More We study generalized symmetries in a simplified arena in which the usual quantum field theories of physics are replaced with topological field theories and the smooth structure with which the symmetry groups of physics are usually endowed is forgotten. Doing so allows many questions of physical interest to be answered using the tools of homotopy theory. We study both global and gauge symmetries, as well as `t Hooft anomalies, which we show fall into one of two classes. Our approach also allows some insight into earlier work on symmetries (generalized or not) of topological field theories. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Comments: 42 pages

Algebraic independence of topological Pontryagin classes

Authors: Soren Galatius, Oscar Randal-Williams

Abstract: We show that the topological Pontryagin classes are algebraically independent in the rationalised cohomology of BTop(d) for all $d \geq 4$. We show that the topological Pontryagin classes are algebraically independent in the rationalised cohomology of BTop(d) for all $d \geq 4$. △ Less

Submitted 20 July, 2023; v1 submitted 24 August, 2022; originally announced August 2022.

Comments: 17 pages, final accepted version

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57R20; 57R67; 55M35; 55R60

Journal ref: J. Reine Angew. Math. 802 (2023) 287-305

Classical homological stability from the point of view of cells

Authors: Oscar Randal-Williams

Abstract: We explain how to interpret the complexes arising in the "classical" homology stability argument (e.g. in the framework of Randal-Williams--Wahl) in terms of higher algebra, which leads to a new proof of homological stability in this setting. The key ingredient is a theorem of Damiolini on the contractibility of certain arc complexes. We also explain how to directly compare the connectivities of t… ▽ More We explain how to interpret the complexes arising in the "classical" homology stability argument (e.g. in the framework of Randal-Williams--Wahl) in terms of higher algebra, which leads to a new proof of homological stability in this setting. The key ingredient is a theorem of Damiolini on the contractibility of certain arc complexes. We also explain how to directly compare the connectivities of these complexes with that of the "splitting complexes" of Galatius--Kupers--Randal-Williams. △ Less

Submitted 5 December, 2022; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 13 pages; v2. 19 pages, accepted version to appear in Algebraic & Geometric Topology

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55P48; 20J05

Journal ref: Algebr. Geom. Topol. 24 (2024) 1691-1712

The family signature theorem

Authors: Oscar Randal-Williams

Abstract: We discuss several versions of the Family Signature Theorem: in rational cohomology using ideas of Meyer, in $KO[\tfrac{1}{2}]$-theory using ideas of Sullivan, and finally in symmetric $L$-theory using ideas of Ranicki. Employing recent developments in Grothendieck--Witt theory, we give a quite complete analysis of the resulting invariants. As an application we prove that the signature is multipli… ▽ More We discuss several versions of the Family Signature Theorem: in rational cohomology using ideas of Meyer, in $KO[\tfrac{1}{2}]$-theory using ideas of Sullivan, and finally in symmetric $L$-theory using ideas of Ranicki. Employing recent developments in Grothendieck--Witt theory, we give a quite complete analysis of the resulting invariants. As an application we prove that the signature is multiplicative modulo 4 for fibrations of oriented Poincaré complexes, generalising a result of Hambleton, Korzeniewski and Ranicki, and discuss the multiplicativity of the de Rham invariant. △ Less

Submitted 9 December, 2022; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 34 pages; v2 36 pages, accepted version to appear in Proceedings of the Royal Society of Edinburgh Section A: Mathematics (Ranicki memorial volume)

Report number: CPH-GEOTOP-DNRF151 MSC Class: 19G24; 19G38; 55R10; 57R19; 57R20

Stable cohomology of congruence subgroups

Authors: Oscar Randal-Williams

Abstract: We describe the $\mathbb{F}_p$-cohomology of the congruence subgroups $SL_n(\mathbb{Z}, p^m)$ in degrees $* < p$, for all large enough $n$, establishing a formula proposed by F. Calegari. Along the way, we also establish a formula for the stable cohomology of $SL_n(\mathbb{Z}/p)$ with certain twisted coefficients. We describe the $\mathbb{F}_p$-cohomology of the congruence subgroups $SL_n(\mathbb{Z}, p^m)$ in degrees $* < p$, for all large enough $n$, establishing a formula proposed by F. Calegari. Along the way, we also establish a formula for the stable cohomology of $SL_n(\mathbb{Z}/p)$ with certain twisted coefficients. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: 27 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11F75; 19F99; 20J06

Diffeomorphisms of discs

Authors: Oscar Randal-Williams

Abstract: 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 space. 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 space. △ Less

Submitted 7 January, 2022; originally announced January 2022.

Comments: Contributed to the Proceedings of the 2022 ICM

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57S05; 55R40; 58D10

Diffeomorphisms of discs and the second Weiss derivative of BTop(-)

Authors: Manuel Krannich, Oscar Randal-Williams

Abstract: We compute the rational homotopy groups in degrees up to approximately $\tfrac{3}{2}$d of the group of diffeomorphisms of a closed d-dimensional disc fixing the boundary. Based on this we determine the optimal rational concordance stable range for high-dimensional discs, describe the rational homotopy type of BTop(d) in a range, and calculate the second rational derivative of the functor BTop(-) i… ▽ More We compute the rational homotopy groups in degrees up to approximately $\tfrac{3}{2}$d of the group of diffeomorphisms of a closed d-dimensional disc fixing the boundary. Based on this we determine the optimal rational concordance stable range for high-dimensional discs, describe the rational homotopy type of BTop(d) in a range, and calculate the second rational derivative of the functor BTop(-) in the sense of Weiss' orthogonal calculus. △ Less

Submitted 8 September, 2021; originally announced September 2021.

Comments: 83 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R40; 57S05; 58D10

On the Torelli Lie algebra

Authors: Alexander Kupers, Oscar Randal-Williams

Abstract: We prove two theorems about the Malcev Lie algebra associated to the Torelli group of a surface of genus $g$: stably, it is Koszul and the kernel of the Johnson homomorphism consists only of trivial $Sp_{2g}(\mathbb{Z})$-representations lying in the centre. We prove two theorems about the Malcev Lie algebra associated to the Torelli group of a surface of genus $g$: stably, it is Koszul and the kernel of the Johnson homomorphism consists only of trivial $Sp_{2g}(\mathbb{Z})$-representations lying in the centre. △ Less

Submitted 3 March, 2023; v1 submitted 30 June, 2021; originally announced June 2021.

Comments: 41 pages; v2. 45 pages, accepted version to appear in Forum of Mathematics, Pi

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57K20; 57S05; 18M70

Map** class groups of simply connected high-dimensional manifolds need not be arithmetic

Authors: Manuel Krannich, Oscar Randal-Williams

Abstract: It is well known that Sullivan showed that the map** class group of a simply connected high-dimensional manifold is commensurable with an arithmetic group, but the meaning of "commensurable" in this statement seems to be less well known. We explain why this result fails with the now standard definition of commensurability by exhibiting a manifold whose map** class group is not residually finit… ▽ More It is well known that Sullivan showed that the map** class group of a simply connected high-dimensional manifold is commensurable with an arithmetic group, but the meaning of "commensurable" in this statement seems to be less well known. We explain why this result fails with the now standard definition of commensurability by exhibiting a manifold whose map** class group is not residually finite. We do not suggest any problem with Sullivan's result: rather we provide a gloss for it. △ Less

Submitted 24 May, 2021; originally announced May 2021.

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57R50; 11F06; 20E26

Journal ref: Comptes Rendus. Mathématique, Tome 358 (2020) no. 4, pp. 469-473

On the order of Dehn twists

Authors: Ailsa Keating, Oscar Randal-Williams

Abstract: This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups. This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups. △ Less

Submitted 22 June, 2022; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 7 pages. v2: Accepted version, to appear in NYJM

Report number: CPH-GEOTOP-DNRF151

Differential cohomology and topological actions in physics

Authors: Joe Davighi, Ben Gripaios, Oscar Randal-Williams

Abstract: We use differential cohomology to systematically construct a large class of topological actions in physics, including Chern-Simons terms, Wess-Zumino-Novikov-Witten terms, and theta terms (continuous or discrete). We introduce a notion of invariant differential cohomology and use it to describe theories with global symmetries and we use equivariant differential cohomology to describe theories with… ▽ More We use differential cohomology to systematically construct a large class of topological actions in physics, including Chern-Simons terms, Wess-Zumino-Novikov-Witten terms, and theta terms (continuous or discrete). We introduce a notion of invariant differential cohomology and use it to describe theories with global symmetries and we use equivariant differential cohomology to describe theories with gauge symmetries. There is a natural map from equivariant to invariant differential cohomology whose failure to surject detects 't Hooft anomalies, i.e. global symmetries which cannot be gauged. We describe a number of simple examples from quantum mechanics, such as a rigid body or an electric charge coupled to a magnetic monopole. We also describe examples of sigma models, such as those describing non-abelian bosonization in two dimensions, for which we offer an intrinsically bosonic description of the mod-2-valued 't Hooft anomaly that is traditionally seen by passing to the dual theory of Majorana fermions. Along the way, we describe a smooth structure on equivariant differential cohomology and prove various exactness and splitting properties that help with the characterization of both the equivariant and invariant theories. △ Less

Submitted 30 March, 2022; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: Minor changes to the text. 38 pages

On automorphisms of high-dimensional solid tori

Authors: Mauricio Bustamante, Oscar Randal-Williams

Abstract: 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 map from the plus-construction of the classifying space of certain space of self-embeddings of stabilisations of this manifold to a form of Hermitian $K$-theor… ▽ More 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 map from the plus-construction of the classifying space of certain space of self-embeddings of stabilisations of this manifold to a form of Hermitian $K$-theory of the integral group ring of $π_1(S^1)$. We also show that these homotopy groups vanish rationally. △ Less

Submitted 19 October, 2022; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 52 pages. Final accepted version

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R40; 58D10; 57S05

Quantization of Chern-Simons topological invariants for H-type and L-type quantum systems

Authors: Oscar Randal-Williams, Lokman Tsui, Xiao-Gang Wen

Abstract: In 2+1-dimensions (2+1D), a gapped quantum phase with no symmetry (i.e. a topological order) can have a thermal Hall conductance $κ_{xy}=c \frac{π^2 k_B^2}{3h}T$, where the dimensionless $c$ is called chiral central charge. If there is a $U_1$ symmetry, a gapped quantum phase can also have a Hall conductance $σ_{xy}=ν\frac{e^2}{h}$, where the dimensionless $ν$ is called filling fraction. In this p… ▽ More In 2+1-dimensions (2+1D), a gapped quantum phase with no symmetry (i.e. a topological order) can have a thermal Hall conductance $κ_{xy}=c \frac{π^2 k_B^2}{3h}T$, where the dimensionless $c$ is called chiral central charge. If there is a $U_1$ symmetry, a gapped quantum phase can also have a Hall conductance $σ_{xy}=ν\frac{e^2}{h}$, where the dimensionless $ν$ is called filling fraction. In this paper, we derive some quantization conditions of $c$ and $ν$, via a cobordism approach to define Chern--Simons topological invariants which are associated with $c$ and $ν$. In particular, we obtain quantization conditions that depend on the ground state degeneracies on Riemannian surfaces, and quantization conditions that depend on the type of spacetime manifolds where the topological partition function is non-zero. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Comments: 17 pages

An $HP^2$-bundle over $S^4$ with nontrivial $\hat{A}$-genus

Authors: Manuel Krannich, Alexander Kupers, Oscar Randal-Williams

Abstract: We explain the existence of a smooth $HP^2$-bundle over $S^4$ whose total space has nontrivial $\hat{A}$-genus. Combined with an argument going back to Hitchin, this answers a question of Schick and implies that the space of Riemannian metrics of positive sectional curvature on a closed manifold can have nontrivial higher rational homotopy groups. We explain the existence of a smooth $HP^2$-bundle over $S^4$ whose total space has nontrivial $\hat{A}$-genus. Combined with an argument going back to Hitchin, this answers a question of Schick and implies that the space of Riemannian metrics of positive sectional curvature on a closed manifold can have nontrivial higher rational homotopy groups. △ Less

Submitted 23 November, 2020; v1 submitted 29 July, 2020; originally announced July 2020.

Comments: 5 pages, to appear in Comptes Rendus. Mathématique

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57R20; 55R40; 57R22; 58D17

Journal ref: C. R. Math. Acad. Sci. Paris 359 (2021), 149-154

On diffeomorphisms of even-dimensional discs

Authors: Alexander Kupers, Oscar Randal-Williams

Abstract: We determine $π_*(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 homotopy groups: we determine them outside of certain "bands" of degrees. We determine $π_*(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 homotopy groups: we determine them outside of certain "bands" of degrees. △ Less

Submitted 14 October, 2023; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: 99 pages, to appear in Journal of the AMS

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R40; 58D10; 57S05

Framings of $W_{g,1}$

Authors: Alexander Kupers, Oscar Randal-Williams

Abstract: We compute the set of framings of $W_{g,1} = D^{2n} \# (S^n \times S^n)^{\# g}$, up to homotopy and diffeomorphism relative to the boundary. We compute the set of framings of $W_{g,1} = D^{2n} \# (S^n \times S^n)^{\# g}$, up to homotopy and diffeomorphism relative to the boundary. △ Less

Submitted 8 October, 2020; v1 submitted 1 July, 2020; originally announced July 2020.

Comments: 20 pages; v2 accepted version, to appear in the Quarterly Journal of Mathematics

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57R15; 11F75; 55R40; 57S05

Tautological rings and stabilisation

Authors: Oscar Randal-Williams

Abstract: We construct a ring homomorphism comparing the tautological ring, fixing a point, of a closed smooth manifold with that of its stabilisation by $S^{2a} \times S^{2b}$. We construct a ring homomorphism comparing the tautological ring, fixing a point, of a closed smooth manifold with that of its stabilisation by $S^{2a} \times S^{2b}$. △ Less

Submitted 8 February, 2021; v1 submitted 23 June, 2020; originally announced June 2020.

Comments: 11 pages. v2: accepted version, to appear in Glasg. Math. J

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55R40; 57R22

Journal ref: Glasgow Math. J. 64 (2022) 231-242

$E_\infty$-cells and general linear groups of infinite fields

Authors: Soren Galatius, Alexander Kupers, Oscar Randal-Williams

Abstract: We study the general linear groups of infinite fields (or more generally connected semi-local rings with infinite residue fields) from the perspective of $E_\infty$-algebras. We prove that there is a vanishing line of slope 2 for their $E_\infty$-homology, and analyse the groups on this line by determining all invariant bilinear forms on Steinberg modules. We deduce from this a number of consequen… ▽ More We study the general linear groups of infinite fields (or more generally connected semi-local rings with infinite residue fields) from the perspective of $E_\infty$-algebras. We prove that there is a vanishing line of slope 2 for their $E_\infty$-homology, and analyse the groups on this line by determining all invariant bilinear forms on Steinberg modules. We deduce from this a number of consequences regarding the unstable homology of general linear groups, in particular answering questions of Rognes, Suslin, Mirzaii, and others. △ Less

Submitted 2 June, 2020; v1 submitted 12 May, 2020; originally announced May 2020.

Comments: 84 pages; v2 minor revision

Report number: CPH-GEOTOP-DNRF151 MSC Class: 18F25; 20G15; 55P48

Operations on stable moduli spaces

Authors: Soren Galatius, Oscar Randal-Williams

Abstract: We construct certain operations on stable moduli spaces and use them to compare cohomology of moduli spaces of closed manifolds with tangential structure. We obtain isomorphisms in a stable range provided the $p$-adic valuation of the Euler characteristics agree, for all primes $p$ not invertible in the coefficients for cohomology. We construct certain operations on stable moduli spaces and use them to compare cohomology of moduli spaces of closed manifolds with tangential structure. We obtain isomorphisms in a stable range provided the $p$-adic valuation of the Euler characteristics agree, for all primes $p$ not invertible in the coefficients for cohomology. △ Less

Submitted 22 March, 2020; v1 submitted 21 December, 2019; originally announced December 2019.

Comments: 12 pages. Based on excised section of arXiv:1601.00232v1. Final accepted version

Report number: CPH-SYM-DNRF92 MSC Class: 57R90; 57R15; 57R56; 55P47

The cohomology of Torelli groups is algebraic

Authors: Alexander Kupers, Oscar Randal-Williams

Abstract: The Torelli group of $W_g = \#^g S^n \times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic subgroup of $Sp_{2g}(Z)$ or $O_{g,g}(Z)$. In this paper we prove that for $2n \geq 6$ and $g \geq 2$, they are in fact algebraic representations. Combined with pre… ▽ More The Torelli group of $W_g = \#^g S^n \times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic subgroup of $Sp_{2g}(Z)$ or $O_{g,g}(Z)$. In this paper we prove that for $2n \geq 6$ and $g \geq 2$, they are in fact algebraic representations. Combined with previous work, this determines the rational cohomology of the Torelli group in a stable range. We further prove that the classifying space of the Torelli group is nilpotent. △ Less

Submitted 12 June, 2020; v1 submitted 13 August, 2019; originally announced August 2019.

Comments: 49 pages, to appear in Forum of Mathematics, Sigma

MSC Class: 55R40; 11F75; 57S05

Journal ref: Forum of Mathematics, Sigma 8 (2020) e64

Homology of Hurwitz spaces and the Cohen--Lenstra heuristic for function fields (after Ellenberg, Venkatesh, and Westerland)

Authors: Oscar Randal-Williams

Abstract: Ellenberg, Venkatesh, and Westerland have established a weak form of the function field analogue of the Cohen--Lenstra heuristic, on the distribution of imaginary number fields with $\ell$-parts of their class groups isomorphic to a fixed group. They first explain how this follows from an asymptotic point count for certain Hurwitz schemes, and then establish this asymptotic by using the Grothendie… ▽ More Ellenberg, Venkatesh, and Westerland have established a weak form of the function field analogue of the Cohen--Lenstra heuristic, on the distribution of imaginary number fields with $\ell$-parts of their class groups isomorphic to a fixed group. They first explain how this follows from an asymptotic point count for certain Hurwitz schemes, and then establish this asymptotic by using the Grothendieck--Lefschetz trace formula to translate it into a difficult homological stability problem in algebraic topology, which they nonetheless solve. These are the notes accompanying my talk at the Séminaire Bourbaki, which focus on the remarkable homological stability theorem for Hurwitz spaces. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 27 pages

MSC Class: 11G20; 55R80; 20J05; 14H10; 16E05

The positive scalar curvature cobordism category

Authors: Johannes Ebert, Oscar Randal-Williams

Abstract: We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve that goal, we study the cobordism category of manifolds with positive scalar curvature. Under suitable connectivity conditions, we can identify the homotopy… ▽ More We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve that goal, we study the cobordism category of manifolds with positive scalar curvature. Under suitable connectivity conditions, we can identify the homotopy fibre of the forgetful map from the psc cobordism category to the ordinary cobordism category with a deloo** of spaces of psc metrics. This uses a version of Quillen's Theorem B and instances of the Gromov--Lawson surgery theorem. We extend some of the surgery arguments by Galatius and the second named author to the psc setting to pass between different connectivity conditions. Segal's theory of $Γ$-spaces is then used to construct the claimed infinite loop space structures. The cobordism category viewpoint also illuminates the action of diffeomorphism groups on spaces of psc metrics. We show that under mild hypotheses on the manifold, the action map from the diffeomorphism group to the homotopy automorphisms of the spaces of psc metrics factors through the Madsen--Tillmann spectrum. This implies a strong rigidity theorem for the action map when the manifold has trivial rational Pontrjagin classes. A delooped version of the Atiyah--Singer index theorem proved by the first named author is used to moreover show that the secondary index invariant to real $K$-theory is an infinite loop map. These ideas also give a new proof of the main result of our previous work with Botvinnik. △ Less

Submitted 8 July, 2021; v1 submitted 29 April, 2019; originally announced April 2019.

Comments: v2 98 pages. Accepted version, to appear in Duke Math. J

MSC Class: 19K56; 53C27; 55P47; 55R35; 57R22; 57R65; 57R90; 58D17; 58D05; 58J20

On the cohomology of Torelli groups

Authors: Alexander Kupers, Oscar Randal-Williams

Abstract: We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ relative to a disc in a stable range, for $2n \geq 6$. Our calculation is also valid for $2n=2$ assuming that the rational cohomology groups of these Torelli groups are finite dimensional in a stable range. We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ relative to a disc in a stable range, for $2n \geq 6$. Our calculation is also valid for $2n=2$ assuming that the rational cohomology groups of these Torelli groups are finite dimensional in a stable range. △ Less

Submitted 6 April, 2020; v1 submitted 7 January, 2019; originally announced January 2019.

Comments: 57 pages; v2 improved exposition and minor mathematical corrections; v3; v4 final version, to appear in Forum of Mathematics, Pi

MSC Class: 55R40; 11F75; 57S05; 18D10; 20G05

Journal ref: Forum of Mathematics, Pi 8 (2020) e7

Moduli spaces of manifolds: a user's guide

Authors: Soren Galatius, Oscar Randal-Williams

Abstract: We survey recent work on moduli spaces of manifolds with an emphasis on the role played by (stable and unstable) homotopy theory. The theory is illustrated with several worked examples. We survey recent work on moduli spaces of manifolds with an emphasis on the role played by (stable and unstable) homotopy theory. The theory is illustrated with several worked examples. △ Less

Submitted 14 March, 2019; v1 submitted 20 November, 2018; originally announced November 2018.

Comments: 35 pages, submitted to Handbook of Homotopy Theory. v2: tidied

MSC Class: 57R90; 57R15; 57R56; 55P47

$E_\infty$-cells and general linear groups of finite fields

Authors: Soren Galatius, Alexander Kupers, Oscar Randal-Williams

Abstract: We prove new homological stability results for general linear groups over finite fields. These results are obtained by constructing CW approximations to the classifying spaces of these groups, in the category of $E_\infty$-algebras, guided by computations of homology with coefficients in the $E_1$-split Steinberg module. We prove new homological stability results for general linear groups over finite fields. These results are obtained by constructing CW approximations to the classifying spaces of these groups, in the category of $E_\infty$-algebras, guided by computations of homology with coefficients in the $E_1$-split Steinberg module. △ Less

Submitted 28 October, 2018; originally announced October 2018.

MSC Class: 18F25; 55P48

$E_2$-cells and map** class groups

Authors: Soren Galatius, Alexander Kupers, Oscar Randal-Williams

Abstract: We prove a new kind of stabilisation result, "secondary homological stability", for the homology of map** class groups of orientable surfaces with one boundary component. These results are obtained by constructing CW approximations to the classifying spaces of these groups, in the category of $E_2$-algebras, which have no $E_2$-cells below a certain vanishing line. We prove a new kind of stabilisation result, "secondary homological stability", for the homology of map** class groups of orientable surfaces with one boundary component. These results are obtained by constructing CW approximations to the classifying spaces of these groups, in the category of $E_2$-algebras, which have no $E_2$-cells below a certain vanishing line. △ Less

Submitted 3 June, 2019; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: v2: Final version, to appear in Publ. Math. Inst. Hautes Études Sci

MSC Class: 57R90; 57R15; 57R56; 55P47

Journal ref: Publ. Math. Inst. Hautes Études Sci. 130 (2019), 1-61

Cellular $E_k$-algebras

Authors: Soren Galatius, Alexander Kupers, Oscar Randal-Williams

Abstract: We give a set of foundations for cellular $E_k$-algebras which are especially convenient for applications to homological stability. We provide conceptual and computational tools in this setting, such as filtrations, a homology theory for $E_k$-algebras with a Hurewicz theorem, CW approximations, and many spectral sequences, which shall be used for such applications in future papers. We give a set of foundations for cellular $E_k$-algebras which are especially convenient for applications to homological stability. We provide conceptual and computational tools in this setting, such as filtrations, a homology theory for $E_k$-algebras with a Hurewicz theorem, CW approximations, and many spectral sequences, which shall be used for such applications in future papers. △ Less

Submitted 28 December, 2023; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: v4: final version, to appear in Asterisque

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57R90; 57R15; 57R56; 55P47

Infinite loop spaces and positive scalar curvature in the presence of a fundamental group

Authors: Johannes Ebert, Oscar Randal-Williams

Abstract: This is a continuation of our previous work with Botvinnik on the nontriviality of the secondary index invariant on spaces of metrics of positive scalar curvature, in which we take the fundamental group of the manifolds into account. We show that the secondary index invariant associated to the vanishing of the Rosenberg index can be highly nontrivial, for positive scalar curvature Spin manifolds w… ▽ More This is a continuation of our previous work with Botvinnik on the nontriviality of the secondary index invariant on spaces of metrics of positive scalar curvature, in which we take the fundamental group of the manifolds into account. We show that the secondary index invariant associated to the vanishing of the Rosenberg index can be highly nontrivial, for positive scalar curvature Spin manifolds with torsionfree fundamental groups which satisfy the Baum--Connes conjecture. For example, we produce a compact Spin 6-manifold such that its space of positive scalar curvature metrics has each rational homotopy group infinite dimensional. At a more technical level, we introduce the notion of "stable metrics" and prove a basic existence theorem for them, which generalises the Gromov--Lawson surgery technique, and we also give a method for rounding corners of manifold with positive scalar curvature metrics. △ Less

Submitted 30 November, 2017; originally announced November 2017.

MSC Class: 19K35; 19K56; 53C27; 55R35; 57R22; 57R65; 58D17; 58J22

Journal ref: Geom. Topol. 23 (2019) 1549-1610

A vanishing theorem for tautological classes of aspherical manifolds

Authors: Fabian Hebestreit, Markus Land, Wolfgang Lück, Oscar Randal-Williams

Abstract: Tautological classes, or generalised Miller-Morita-Mumford classes, are basic characteristic classes of smooth fibre bundles, and have recently been used to describe the rational cohomology of classifying spaces of diffeomorphism groups for several types of manifolds. We show that rationally tautological classes depend only on the underlying topological block bundle, and use this to prove the vani… ▽ More Tautological classes, or generalised Miller-Morita-Mumford classes, are basic characteristic classes of smooth fibre bundles, and have recently been used to describe the rational cohomology of classifying spaces of diffeomorphism groups for several types of manifolds. We show that rationally tautological classes depend only on the underlying topological block bundle, and use this to prove the vanishing of tautological classes for many bundles with fibre an aspherical manifold. △ Less

Submitted 8 March, 2020; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: v4: 38 pages, final version, to appear in G&T

Journal ref: Geom. Topol. 25 (2021) 47-110

Semi-simplicial spaces

Authors: Johannes Ebert, Oscar Randal-Williams

Abstract: This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The topics considered include: fibrancy conditions on topological categories; the effect on classifying spaces of freely adjoining units; approximate notions of units;… ▽ More This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The topics considered include: fibrancy conditions on topological categories; the effect on classifying spaces of freely adjoining units; approximate notions of units; Quillen's Theorems A and B for non-unital topological categories; the effect on classifying spaces of changing the topology on the space of objects; the Group-Completion Theorem. △ Less

Submitted 22 March, 2018; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: 32 pages; v2: Simplified proof of the Group-Completion Theorem

MSC Class: 18G30; 55U10; 55R35

Journal ref: Algebr. Geom. Topol. 19 (2019) 2099-2150

Some phenomena in tautological rings of manifolds

Authors: Oscar Randal-Williams

Abstract: We prove several basic ring-theoretic results about tautological rings of manifolds W, that is, the rings of generalised Miller--Morita--Mumford classes for fibre bundles with fibre W. Firstly we provide conditions on the rational cohomology of W which ensure that its tautological ring is finitely-generated, and we show that these conditions cannot be completely relaxed by giving an example of a t… ▽ More We prove several basic ring-theoretic results about tautological rings of manifolds W, that is, the rings of generalised Miller--Morita--Mumford classes for fibre bundles with fibre W. Firstly we provide conditions on the rational cohomology of W which ensure that its tautological ring is finitely-generated, and we show that these conditions cannot be completely relaxed by giving an example of a tautological ring which fails to be finitely-generated in quite a strong sense. Secondly, we provide conditions on torus actions on W which ensure that the rank of the torus gives a lower bound for the Krull dimension of the tautological ring of W. Lastly, we give extensive computations in the tautological rings of CP^2 and S^2 x S^2. △ Less

Submitted 6 May, 2018; v1 submitted 9 November, 2016; originally announced November 2016.

Comments: 21 pages; v2 29 pages, to appear in Selecta Mathematica

MSC Class: 55R40; 57R22

Journal ref: Selecta Math. (N.S.) 24 (2018), no. 4, 3835-3873

Topology of the Electroweak Vacua

Authors: Ben Gripaios, Oscar Randal-Williams

Abstract: In the Standard Model, the electroweak symmetry is broken by a complex, $SU(2)$-doublet Higgs field and the vacuum manifold $SU(2)\times U(1)/U(1)$ has the topology of a 3-sphere. We remark that there exist theoretical alternatives that are locally isomorphic, but in which the vacuum manifold is homeomorphic to an arbitrary non-trivial principal $U(1)$-bundle over a 2-sphere. These alternatives ha… ▽ More In the Standard Model, the electroweak symmetry is broken by a complex, $SU(2)$-doublet Higgs field and the vacuum manifold $SU(2)\times U(1)/U(1)$ has the topology of a 3-sphere. We remark that there exist theoretical alternatives that are locally isomorphic, but in which the vacuum manifold is homeomorphic to an arbitrary non-trivial principal $U(1)$-bundle over a 2-sphere. These alternatives have non-trivial fundamental group and thus feature topologically-stable electroweak strings. An alternative based on the manifold $\mathbb{R}P^3$ (with fundamental group $\mathbb{Z}/2$) allows custodial protection of gauge boson masses and their couplings to fermions, but, in common with all alternatives to $S^3$, has a problem with fermion masses. △ Less

Submitted 30 January, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: 5 pp; v2 revised to include a discussion of fermion masses

Cohomology of automorphism groups of free groups with twisted coefficients

Authors: Oscar Randal-Williams

Abstract: We compute the groups $H^*(\mathrm{Aut}(F_n); M)$ and $H^*(\mathrm{Out}(F_n); M)$ in a stable range, where $M$ is obtained by applying a Schur functor to $H_\mathbb{Q}$ or $H^*_\mathbb{Q}$, respectively the first rational homology and cohomology of $F_n$. For reasons which are not conceptually clear, taking coefficients in $H_\mathbb{Q}$ and its related modules behaves in a far less trivial way th… ▽ More We compute the groups $H^*(\mathrm{Aut}(F_n); M)$ and $H^*(\mathrm{Out}(F_n); M)$ in a stable range, where $M$ is obtained by applying a Schur functor to $H_\mathbb{Q}$ or $H^*_\mathbb{Q}$, respectively the first rational homology and cohomology of $F_n$. For reasons which are not conceptually clear, taking coefficients in $H_\mathbb{Q}$ and its related modules behaves in a far less trivial way than taking coefficients in $H^*_\mathbb{Q}$ and its related modules. The answer may be described in terms of stable multiplicities of irreducibles in the plethysm $\mathrm{Sym}^k \circ \mathrm{Sym}^l$ of symmetric powers. We also compute the stable integral cohomology groups of $\mathrm{Aut}(F_n)$ with coefficients in $H$ or $H^*$, respectively the first integral homology and cohomology of $F_n$, and compute the stable cohomology with coefficients in Schur functors of $H$ or $H^*$ modulo small primes. △ Less

Submitted 29 January, 2017; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 20 pages. Supersedes arXiv:1012.1433. v2 21 pages, to appear in Selecta Mathematica

MSC Class: 20F28; 20J06; 57R20

Journal ref: Selecta Math. (N.S.) 24 (2018), no. 2, 1453-1478

Homological stability for moduli spaces of high dimensional manifolds. II

Authors: Soren Galatius, Oscar Randal-Williams

Abstract: We prove a homological stability theorem for moduli spaces of manifolds of dimension $2n$, for attaching handles of index at least $n$, after these manifolds have been stabilised by countably many copies of $S^n \times S^n$. Combined with previous work of the authors, we obtain an analogue of the Madsen--Weiss theorem for any simply-connected manifold of dimension $2n \geq 6$. We prove a homological stability theorem for moduli spaces of manifolds of dimension $2n$, for attaching handles of index at least $n$, after these manifolds have been stabilised by countably many copies of $S^n \times S^n$. Combined with previous work of the authors, we obtain an analogue of the Madsen--Weiss theorem for any simply-connected manifold of dimension $2n \geq 6$. △ Less

Submitted 8 February, 2017; v1 submitted 2 January, 2016; originally announced January 2016.

Comments: 60 pages, 4 figures. Final accepted version

MSC Class: 57R90; 57R15; 57R56; 55P47

An upper bound for the pseudoisotopy stable range

Authors: Oscar Randal-Williams

Abstract: We prove that the pseudoisotopy stable range for manifolds of dimension 2n can be no better than (2n-2). In order to do so, we define new characteristic classes for block bundles, extending our earlier work with Ebert, and prove their non-triviality. We also explain how similar methods show that Top(2n)/O(2n) is rationally (4n-5)-connected. We prove that the pseudoisotopy stable range for manifolds of dimension 2n can be no better than (2n-2). In order to do so, we define new characteristic classes for block bundles, extending our earlier work with Ebert, and prove their non-triviality. We also explain how similar methods show that Top(2n)/O(2n) is rationally (4n-5)-connected. △ Less

Submitted 21 November, 2016; v1 submitted 27 November, 2015; originally announced November 2015.

Comments: 11 pages, to appear in Mathematische Annalen

MSC Class: 57R65; 57S05

Tautological rings for high dimensional manifolds

Authors: Soren Galatius, Ilya Grigoriev, Oscar Randal-Williams

Abstract: We study tautological rings for high dimensional manifolds, that is, for each smooth manifold $M$ the ring $R^*(M)$ of those of characteristic classes of smooth fibre bundles with fibre $M$ which is generated by generalised Miller--Morita--Mumford classes. We completely describe these rings modulo nilpotent elements, when $M$ is a connected sum of copies of $S^n \times S^n$ for $n$ odd. We study tautological rings for high dimensional manifolds, that is, for each smooth manifold $M$ the ring $R^*(M)$ of those of characteristic classes of smooth fibre bundles with fibre $M$ which is generated by generalised Miller--Morita--Mumford classes. We completely describe these rings modulo nilpotent elements, when $M$ is a connected sum of copies of $S^n \times S^n$ for $n$ odd. △ Less

Submitted 19 November, 2015; originally announced November 2015.

Comments: 16 pages

MSC Class: 55R40; 57R22

Journal ref: Compositio Math. 153 (2017) 851-866

Infinite loop spaces and positive scalar curvature

Authors: Boris Botvinnik, Johannes Ebert, Oscar Randal-Williams

Abstract: We study the homotopy type of the space of metrics of positive scalar curvature on high-dimensional compact spin manifolds. Hitchin used the fact that there are no harmonic spinors on a manifold with positive scalar curvature to construct a secondary index map from the space of positive scalar metrics to a suitable space from the real $K$-theory spectrum. Our main results concern the nontriviality… ▽ More We study the homotopy type of the space of metrics of positive scalar curvature on high-dimensional compact spin manifolds. Hitchin used the fact that there are no harmonic spinors on a manifold with positive scalar curvature to construct a secondary index map from the space of positive scalar metrics to a suitable space from the real $K$-theory spectrum. Our main results concern the nontriviality of this map. We prove that for $2n \geq 6$, the natural $KO$-orientation from the infinite loop space of the Madsen--Tillmann--Weiss spectrum factors (up to homotopy) through the space of metrics of positive scalar curvature on any $2n$-dimensional spin manifold. For manifolds of odd dimension $2n+1 \geq 7$, we prove the existence of a similar factorisation. When combined with computational methods from homotopy theory, these results have strong implications. For example, the secondary index map is surjective on all rational homotopy groups. We also present more refined calculations concerning integral homotopy groups. To prove our results we use three major sets of technical tools and results. The first set of tools comes from Riemannian geometry: we use a parameterised version of the Gromov--Lawson surgery technique which allows us to apply homotopy-theoretic techniques to spaces of metrics of positive scalar curvature. Secondly, we relate Hitchin's secondary index to several other index-theoretical results, such as the Atiyah--Singer family index theorem, the additivity theorem for indices on noncompact manifolds and the spectral-flow index theorem. Finally, we use the results and tools developed recently in the study of moduli spaces of manifolds and cobordism categories. The key new ingredient we use in this paper is the high-dimensional analogue of the Madsen--Weiss theorem, proven by Galatius and the third named author. △ Less

Submitted 23 January, 2017; v1 submitted 26 November, 2014; originally announced November 2014.

Comments: Final version, to appear in Inventiones Mathematicae

MSC Class: 19D06; 19K56; 53C27; 55P47; 55R35; 55S35; 57R22; 57R65; 57R90; 58D17; 58D05; 58J20

Journal ref: Invent. Math. 209 (2017), no. 3, 749-835

Homological stability for automorphism groups

Authors: Nathalie Wahl, Oscar Randal-Williams

Abstract: Given a family of groups admitting a braided monoidal structure (satisfying mild assumptions) we construct a family of spaces on which the groups act and whose connectivity yields, via a classical argument of Quillen, homological stability for the family of groups. We show that stability also holds with both polynomial and abelian twisted coefficients, with no further assumptions. This new constru… ▽ More Given a family of groups admitting a braided monoidal structure (satisfying mild assumptions) we construct a family of spaces on which the groups act and whose connectivity yields, via a classical argument of Quillen, homological stability for the family of groups. We show that stability also holds with both polynomial and abelian twisted coefficients, with no further assumptions. This new construction of a family of spaces from a family of groups recovers known spaces in the classical examples of stable families of groups, such as the symmetric groups, general linear groups and map** class groups. By making systematic the proofs of classical stability results, we show that they all hold with the same type of coefficient systems, obtaining in particular without any further work new stability theorems with twisted coefficients for the symmetric groups, braid groups, automorphisms of free groups, unitary groups, map** class groups of non-orientable surfaces and map** class groups of 3-manifolds. Our construction can also be applied to families of groups not considered before in the context of homological stability. As a byproduct of our work, we construct the braided analogue of the category FI of finite sets and injections relevant to the present context, and define polynomiality for functors in the context of pre-braided monoidal categories. △ Less

Submitted 11 August, 2017; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: v2: Major revision. Stability with abelian coefficient systems added as well as new examples. Added coauthor. v3: minor revision. v4: Final version, to appear in Advances in Math

Report number: CPH-SYM-DNRF92

Journal ref: Adv. Math. 318 (2017) 534-626

Abelian quotients of map** class groups of highly connected manifolds

Authors: Soren Galatius, Oscar Randal-Williams

Abstract: We compute the abelianisations of the map** class groups of the manifolds $W_g^{2n} = g(S^n \times S^n)$ for $n \geq 3$ and $g \geq 5$. The answer is a direct sum of two parts. The first part arises from the action of the map** class group on the middle homology, and takes values in the abelianisation of the automorphism group of the middle homology. The second part arises from bordism classes… ▽ More We compute the abelianisations of the map** class groups of the manifolds $W_g^{2n} = g(S^n \times S^n)$ for $n \geq 3$ and $g \geq 5$. The answer is a direct sum of two parts. The first part arises from the action of the map** class group on the middle homology, and takes values in the abelianisation of the automorphism group of the middle homology. The second part arises from bordism classes of map** cylinders and takes values in the quotient of the stable homotopy groups of spheres by a certain subgroup which in many cases agrees with the image of the stable $J$-homomorphism. We relate its calculation to a purely homotopy theoretic problem. △ Less

Submitted 3 June, 2015; v1 submitted 17 July, 2014; originally announced July 2014.

Comments: 18 pages

MSC Class: 55N22; 57R15; 55P47; 55Q10; 57S05

Homological stability for moduli spaces of high dimensional manifolds. I

Authors: Soren Galatius, Oscar Randal-Williams

Abstract: We prove a homological stability theorem for moduli spaces of simply-connected manifolds of dimension $2n > 4$, with respect to forming connected sum with $S^n \times S^n$. This is analogous to Harer's stability theorem for the homology of map** class groups. Combined with previous work of the authors, it gives a calculation of the homology of the moduli spaces of manifolds diffeomorphic to conn… ▽ More We prove a homological stability theorem for moduli spaces of simply-connected manifolds of dimension $2n > 4$, with respect to forming connected sum with $S^n \times S^n$. This is analogous to Harer's stability theorem for the homology of map** class groups. Combined with previous work of the authors, it gives a calculation of the homology of the moduli spaces of manifolds diffeomorphic to connected sums of $S^n \times S^n$ in a range of degrees. △ Less

Submitted 6 August, 2019; v1 submitted 10 March, 2014; originally announced March 2014.

Comments: 43 pages, 2 figures; this article supersedes arXiv:1203.6830. v2 is a major revision, proving a stronger statement and combining better with arXiv:1601.00232. v3 has minor revisions and an added remark 7.16, submitted version. v4 reverts an unintended change of title (metadata only). v5 is final accepted version

MSC Class: 57R90; 57R15; 57R56; 55P47

Journal ref: J. Amer. Math. Soc. 31 (2018), 215-264

Generalised Miller-Morita-Mumford classes for block bundles and topological bundles

Authors: Johannes Ebert, Oscar Randal-Williams

Abstract: The most basic characteristic classes of smooth fibre bundles are the generalised Miller-Morita-Mumford classes, obtained by fibre integrating characteristic classes of the vertical tangent bundle. In this note we show that they may be defined for more general families of manifolds than smooth fibre bundles: smooth block bundles and topological fibre bundles. The most basic characteristic classes of smooth fibre bundles are the generalised Miller-Morita-Mumford classes, obtained by fibre integrating characteristic classes of the vertical tangent bundle. In this note we show that they may be defined for more general families of manifolds than smooth fibre bundles: smooth block bundles and topological fibre bundles. △ Less

Submitted 29 January, 2015; v1 submitted 14 June, 2013; originally announced June 2013.

Comments: 18 pages

MSC Class: 55R20; 55R35; 55R40; 55R60; 57N55; 57R20; 57R65; 57S05

Journal ref: Algebr. Geom. Topol. 14 (2014) 1181-1204

Torelli spaces of high-dimensional manifolds

Authors: Johannes Ebert, Oscar Randal-Williams

Abstract: The Torelli group of a manifold is the group of all diffeomorphisms which act as the identity on the homology of the manifold. In this paper, we calculate the invariant part (invariant under the action of the automorphisms of the homology) of the cohomology of the classifying space of the Torelli group of certain high-dimensional, highly connected manifolds, with rational coefficients and in a cer… ▽ More The Torelli group of a manifold is the group of all diffeomorphisms which act as the identity on the homology of the manifold. In this paper, we calculate the invariant part (invariant under the action of the automorphisms of the homology) of the cohomology of the classifying space of the Torelli group of certain high-dimensional, highly connected manifolds, with rational coefficients and in a certain range of degrees. This is based on Galatius--Randal-Williams' work on the diffeomorphism groups of these manifolds, Borel's classical results on arithmetic groups, and methods from surgery theory and pseudoisotopy theory. As a corollary, we find that all Miller--Morita--Mumford characteristic classes are nontrivial in the cohomology of the classifying space of the Torelli group, except for those associated with the Hirzebruch class, whose vanishing is forced by the family index theorem. △ Less

Submitted 2 June, 2014; v1 submitted 11 June, 2013; originally announced June 2013.

Comments: 29 pages; v2 accepted for publication in the Journal of Topology

MSC Class: 11F75; 55R20; 55R35; 55R40; 55R60; 57R20; 57R65; 57S05

Detecting and realising characteristic classes of manifold bundles

Authors: Soren Galatius, Oscar Randal-Williams

Abstract: We apply our earlier work on the higher-dimensional analogue of the Mumford conjecture to two questions. Inspired by work of Ebert we prove non-triviality of certain characteristic classes of bundles of smooth closed manifolds. Inspired by work of Church-Farb-Thibault and Church-Crossley-Giansiracusa we investigate the dependence of characteristic classes of bundles on characteristic numbers of it… ▽ More We apply our earlier work on the higher-dimensional analogue of the Mumford conjecture to two questions. Inspired by work of Ebert we prove non-triviality of certain characteristic classes of bundles of smooth closed manifolds. Inspired by work of Church-Farb-Thibault and Church-Crossley-Giansiracusa we investigate the dependence of characteristic classes of bundles on characteristic numbers of its fibre, total space and base space. △ Less

Submitted 19 April, 2013; originally announced April 2013.

Comments: 11 pages

Report number: CPH-SYM-DNRF92 MSC Class: 57R22; 57R65; 57R20; 55P47