Showing 1–18 of 18 results for author: Krannich, M

A note on homotopy and pseudoisotopy of diffeomorphisms of $4$-manifolds

Authors: Manuel Krannich, Alexander Kupers

Abstract: This note serves to record examples of diffeomorphisms of closed smooth $4$-manifolds $X$ that are homotopic but not pseudoisotopic to the identity, and to explain why there are no such examples when $X$ is orientable and its fundamental group is a free group. This note serves to record examples of diffeomorphisms of closed smooth $4$-manifolds $X$ that are homotopic but not pseudoisotopic to the identity, and to explain why there are no such examples when $X$ is orientable and its fundamental group is a free group. △ Less

Submitted 28 February, 2024; v1 submitted 25 February, 2024; originally announced February 2024.

Comments: 5 pages

MSC Class: 57R52; 57R67; 57K40

Map** class groups of exotic tori and actions by ${\rm SL}_d(\mathbb Z)$

Authors: Mauricio Bustamante, Manuel Krannich, Alexander Kupers, Bena Tshishiku

Abstract: We determine for which exotic tori $\mathcal{T}$ of dimension $d\neq4$ the homomorphism from the group of isotopy classes of orientation-preserving diffeomorphisms of $\mathcal{T}$ to ${\rm SL}_d(\mathbb Z)$ given by the action on the first homology group is split surjective. As part of the proof we compute the map** class group of all exotic tori $\mathcal{T}$ that are obtained from the standar… ▽ More We determine for which exotic tori $\mathcal{T}$ of dimension $d\neq4$ the homomorphism from the group of isotopy classes of orientation-preserving diffeomorphisms of $\mathcal{T}$ to ${\rm SL}_d(\mathbb Z)$ given by the action on the first homology group is split surjective. As part of the proof we compute the map** class group of all exotic tori $\mathcal{T}$ that are obtained from the standard torus by a connected sum with an exotic sphere. Moreover, we show that any nontrivial ${\rm SL}_d(\mathbb Z)$-action on $\mathcal{T}$ agrees on homology with the standard action, up to an automorphism of ${\rm SL}_d(\mathbb Z)$. When combined, these results in particular show that many exotic tori do not admit any nontrivial differentiable action by ${\rm SL}_d(\mathbb Z)$. △ Less

Submitted 14 May, 2023; originally announced May 2023.

Comments: 26 pages

MSC Class: 57R10; 57R52; 20C10; 11F06

Two remarks on spaces of maps between operads of little cubes

Authors: Geoffroy Horel, Manuel Krannich, Alexander Kupers

Abstract: We record two facts on spaces of derived maps between the operads $E_d$ of little $d$-cubes. Firstly, these map** spaces are equivalent to the map** spaces between the non-unitary versions of $E_d$. Secondly, all endomorphisms of $E_d$ are automorphisms. We also discuss variants for localisations of $E_d$ and for versions with tangential structures. We record two facts on spaces of derived maps between the operads $E_d$ of little $d$-cubes. Firstly, these map** spaces are equivalent to the map** spaces between the non-unitary versions of $E_d$. Secondly, all endomorphisms of $E_d$ are automorphisms. We also discuss variants for localisations of $E_d$ and for versions with tangential structures. △ Less

Submitted 3 November, 2022; v1 submitted 2 November, 2022; originally announced November 2022.

Comments: 10 pages; v2: corrected minor oversight

MSC Class: 18N70; 55P48; 55R80; 58D10

Stability of concordance embeddings

Authors: Thomas Goodwillie, Manuel Krannich, Alexander Kupers

Abstract: We prove a stability theorem for spaces of smooth concordance embeddings. From it we derive various applications to spaces of concordance diffeomorphisms and homeomorphisms. We prove a stability theorem for spaces of smooth concordance embeddings. From it we derive various applications to spaces of concordance diffeomorphisms and homeomorphisms. △ Less

Submitted 24 January, 2023; v1 submitted 26 July, 2022; originally announced July 2022.

Comments: 27 pages, 6 figures, to appear in Proceedings of the Royal Society of Edinburgh (Memorial volume in honour of Andrew Ranicki)

MSC Class: 57R40; 57S05; 58D05; 58D10

The Disc-structure space

Authors: Manuel Krannich, Alexander Kupers

Abstract: 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 configuration spaces of $M$ with point-forgetting and point-splitting maps between them, together with its derived automorphisms. As the main results, we show that in… ▽ More 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 configuration spaces of $M$ with point-forgetting and point-splitting maps between them, together with its derived automorphisms. As the main results, we show that in high dimensions, the Disc-structure space a) only depends on the tangential 2-type of $M$, b) is an infinite loop space, and c) is nontrivial as long as $M$ is spin. The proofs involve intermediate results that may be of independent interest, including an enhancement of embedding calculus to the level of bordism categories, results on the behaviour of derived map** spaces between operads under rationalisation, and an answer to a question of Dwyer and Hess in that we show that the map ${\rm BTop}(d)\to {\rm BAut}(E_d)$ is an equivalence if and only if $d$ is at most $2$. △ Less

Submitted 3 May, 2022; originally announced May 2022.

Comments: 88 pages, 8 figures

MSC Class: 57S05; 58D10; 18F50

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

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 Torelli groups and Dehn twists of smooth 4-manifolds

Authors: Manuel Krannich, Alexander Kupers

Abstract: This note has two related but independent parts. Firstly, we prove a generalisation of a recent result of Gay on the smooth map** class group of $S^4$. Secondly, we prove that the Dehn twist along the boundary sphere of a simply-connected closed smooth 4-manifold $X$ with $\partial X\cong S^3$ is trivial after taking connected sums with enough copies of $S^2\times S^2$. This note has two related but independent parts. Firstly, we prove a generalisation of a recent result of Gay on the smooth map** class group of $S^4$. Secondly, we prove that the Dehn twist along the boundary sphere of a simply-connected closed smooth 4-manifold $X$ with $\partial X\cong S^3$ is trivial after taking connected sums with enough copies of $S^2\times S^2$. △ Less

Submitted 12 May, 2022; v1 submitted 18 May, 2021; originally announced May 2021.

Comments: 4 pages, fixed typos

MSC Class: 57K40; 57S05

Finiteness properties of automorphism spaces of manifolds with finite fundamental group

Authors: Mauricio Bustamante, Manuel Krannich, Alexander Kupers

Abstract: Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups in every degree. We also prove a variant of this result for manifolds with boundary and deduce that the space of smooth embeddings of a compact submanifold… ▽ More Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups in every degree. We also prove a variant of this result for manifolds with boundary and deduce that the space of smooth embeddings of a compact submanifold $N\subset M$ of arbitrary codimension into $M$ has finitely generated higher homotopy groups based at the inclusion, provided the fundamental group of the complement is finite. As an intermediate result, we show that the group of homotopy classes of simple homotopy self-equivalences of a finite CW complex with finite fundamental group is up to finite kernel commensurable to an arithmetic group. △ Less

Submitted 16 February, 2023; v1 submitted 24 March, 2021; originally announced March 2021.

Comments: 35 pages, major revision (including new results on finiteness properties of groups of isotopy classes of diffeomorphisms, and on arithmeticity of groups of homotopy classes of simple homotopy equivalences), to appear in Mathematische Annalen

MSC Class: 57S05; 57N37; 57R52; 57Q10

Embedding calculus for surfaces

Authors: Manuel Krannich, Alexander Kupers

Abstract: We prove convergence of Goodwillie-Weiss' embedding calculus for spaces of embeddings into a manifold of dimension at most two, so in particular for diffeomorphisms between surfaces. We also relate the Johnson filtration of the map** class group of a surface to a certain filtration arising from embedding calculus. We prove convergence of Goodwillie-Weiss' embedding calculus for spaces of embeddings into a manifold of dimension at most two, so in particular for diffeomorphisms between surfaces. We also relate the Johnson filtration of the map** class group of a surface to a certain filtration arising from embedding calculus. △ Less

Submitted 6 October, 2022; v1 submitted 19 January, 2021; originally announced January 2021.

Comments: 29 pages, final version

MSC Class: 57K20; 57R40; 57S05; 58D10

Journal ref: Algebr. Geom. Topol. 24 (2024) 981-1018

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

Some Hermitian K-groups via geometric topology

Authors: Manuel Krannich, Alexander Kupers

Abstract: We compute the first two symplectic quadratic K-theory groups of the integers, or equivalently, the first two stable homology groups of the group of symplectic integral matrices preserving the standard quadratic refinement. The main novelty in our calculation lies in its method, which is based on high-dimensional manifold theory. We compute the first two symplectic quadratic K-theory groups of the integers, or equivalently, the first two stable homology groups of the group of symplectic integral matrices preserving the standard quadratic refinement. The main novelty in our calculation lies in its method, which is based on high-dimensional manifold theory. △ Less

Submitted 16 March, 2020; v1 submitted 12 February, 2020; originally announced February 2020.

Comments: 6 pages, to appear in Proceedings of the American Mathematical Society

MSC Class: 19G38; 57S05; 55P47

Journal ref: Proc. Amer. Math. Soc. 149 (2021), no. 7, 2745-2752

A homological approach to pseudoisotopy theory. I

Authors: Manuel Krannich

Abstract: 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 large primes $p$. The proof uses the computation of the stable homology of the moduli space of high-dimensional handlebodies due to Botvinnik--Perlmutter and is ind… ▽ More 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 large primes $p$. The proof uses the computation of the stable homology of the moduli space of high-dimensional handlebodies due to Botvinnik--Perlmutter and is independent of the classical approach to pseudoisotopy theory based on Igusa's stability theorem and work of Waldhausen. Combined with a result of Randal-Williams, one consequence of this identification is a calculation of the rational homotopy groups of $\mathrm{BDiff}_\partial(D^{2n+1})$ in degrees up to $2n-5$. △ Less

Submitted 23 September, 2021; v1 submitted 11 February, 2020; originally announced February 2020.

Comments: 46 pages, to appear in Inventiones Mathematicae

MSC Class: 57R52; 19D50; 57R65; 55P47

Journal ref: Inventiones Mathematicae 227 (2022) no. 3 1093-1167

A note on rational homological stability for automorphisms of manifolds

Authors: Manuel Krannich

Abstract: By work of Berglund and Madsen, the rings of rational characteristic classes of fibrations and smooth block bundles with fibre $D^{2n}\sharp(S^n\times S^n)^{\sharp g}$, relative to the boundary, are for $2n\ge 6$ independent of $g$ in degrees $*\le (g-6)/2$. In this note, we explain how this range can be improved to $*\le g-2$ using cohomological vanishing results due to Borel and classical invari… ▽ More By work of Berglund and Madsen, the rings of rational characteristic classes of fibrations and smooth block bundles with fibre $D^{2n}\sharp(S^n\times S^n)^{\sharp g}$, relative to the boundary, are for $2n\ge 6$ independent of $g$ in degrees $*\le (g-6)/2$. In this note, we explain how this range can be improved to $*\le g-2$ using cohomological vanishing results due to Borel and classical invariant theory. This implies that the analogous ring for smooth bundles is independent of $g$ in the same range, provided the degree is small compared to the dimension. △ Less

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

Comments: 8 pages, to appear in The Quarterly Journal of Mathematics

MSC Class: 55R40; 57R20; 57R50; 57S05

Journal ref: Q. J. Math. 71 (2020), no. 3, 1069-1079

Map** class groups of highly connected $(4k+2)$-manifolds

Authors: Manuel Krannich

Abstract: We compute the map** class group of the manifolds $\sharp^g(S^{2k+1}\times S^{2k+1})$ for $k>0$ in terms of the automorphism group of the middle homology and the group of homotopy $(4k+3)$-spheres. We furthermore identify its Torelli subgroup, determine the abelianisations, and relate our results to the group of homotopy equivalences of these manifolds. We compute the map** class group of the manifolds $\sharp^g(S^{2k+1}\times S^{2k+1})$ for $k>0$ in terms of the automorphism group of the middle homology and the group of homotopy $(4k+3)$-spheres. We furthermore identify its Torelli subgroup, determine the abelianisations, and relate our results to the group of homotopy equivalences of these manifolds. △ Less

Submitted 15 September, 2020; v1 submitted 26 February, 2019; originally announced February 2019.

Comments: 35 pages, to appear in Selecta Mathematica

MSC Class: 57R50; 55N22; 57R60; 11F75; 20J06

Journal ref: Selecta Math. (N.S.) 26 (2020), no. 5, Paper No. 81, 49 pp

Characteristic numbers of manifold bundles over surfaces with highly connected fibers

Authors: Manuel Krannich, Jens Reinhold

Abstract: We study smooth bundles over surfaces with highly connected almost parallelizable fiber $M$ of even dimension, providing necessary conditions for a manifold to be bordant to the total space of such a bundle and showing that, in most cases, these conditions are also sufficient. Using this, we determine the characteristic numbers realized by total spaces of bundles of this type, deduce divisibility… ▽ More We study smooth bundles over surfaces with highly connected almost parallelizable fiber $M$ of even dimension, providing necessary conditions for a manifold to be bordant to the total space of such a bundle and showing that, in most cases, these conditions are also sufficient. Using this, we determine the characteristic numbers realized by total spaces of bundles of this type, deduce divisibility constraints on their signatures and $\hat{A}$-genera, and compute the second integral cohomology of ${\rm BDiff}^+(M)$ up to torsion in terms of generalized Miller--Morita--Mumford classes. We also prove analogous results for topological bundles over surfaces with fiber $M$ and discuss the resulting obstructions to smoothing them. △ Less

Submitted 16 March, 2020; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: 23 pages, major revision (included results for topological bundles, removed technical condition in main results, simplified sections 1 and 3), to appear in Journal of the London Mathematical Society

Report number: CPH-SYM-DNRF92 MSC Class: 57R20; 57R75; 55R10; 55R40

Journal ref: J. Lond. Math. Soc. (2) 102 (2020), no. 2, 879-904

On characteristic classes of exotic manifold bundles

Authors: Manuel Krannich

Abstract: Given a closed simply connected manifold $M$ of dimension $2n\ge6$, we compare the ring of characteristic classes of smooth oriented bundles with fibre $M$ to the analogous ring resulting from replacing $M$ by the connected sum $M\sharpΣ$ with an exotic sphere $Σ$. We show that, after inverting the order of $Σ$ in the group of homotopy spheres, the two rings in question are isomorphic in a range o… ▽ More Given a closed simply connected manifold $M$ of dimension $2n\ge6$, we compare the ring of characteristic classes of smooth oriented bundles with fibre $M$ to the analogous ring resulting from replacing $M$ by the connected sum $M\sharpΣ$ with an exotic sphere $Σ$. We show that, after inverting the order of $Σ$ in the group of homotopy spheres, the two rings in question are isomorphic in a range of degrees. Furthermore, we construct infinite families of examples witnessing that inverting the order of $Σ$ is necessary. △ Less

Submitted 15 May, 2019; v1 submitted 7 February, 2018; originally announced February 2018.

Comments: 16 pages, to appear in Mathematische Annalen

Report number: CPH-SYM-DNRF92 MSC Class: 55R40; 57R60; 57S05; 55N22

Journal ref: Math. Ann. 379, 1-21 (2021)

Homological stability of topological moduli spaces

Authors: Manuel Krannich

Abstract: Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for the graded pieces of the module with respect to constant and abelian coefficients. We furthermore introduce a notion of coefficient systems of finite degree in… ▽ More Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for the graded pieces of the module with respect to constant and abelian coefficients. We furthermore introduce a notion of coefficient systems of finite degree in this context and show that, without further assumptions, the corresponding twisted homology groups stabilize as well. This generalizes a framework of Randal-Williams and Wahl for families of discrete groups. In many examples, the canonical resolution recovers geometric resolutions with known connectivity bounds. As a consequence, we derive new twisted homological stability results for e.g. moduli spaces of high-dimensional manifolds, unordered configuration spaces of manifolds with labels in a fibration, and moduli spaces of manifolds equipped with unordered embedded discs. This in turn implies representation stability for the ordered variants of the latter examples. △ Less

Submitted 2 January, 2019; v1 submitted 23 October, 2017; originally announced October 2017.

Comments: 42 pages, 8 figures, to appear in Geometry & Topology

Report number: CPH-SYM-DNRF92 MSC Class: 55P48; 55R40; 55R80; 57R19

Journal ref: Geom. Topol. 23 (2019) 2397-2474