No Arabic abstract
In 1962, Wall showed that smooth, closed, oriented, $(n-1)$-connected $2n$-manifolds of dimension at least $6$ are classified up to connected sum with an exotic sphere by an algebraic refinement of the intersection form which he called an $n$-space. In this paper, we complete the determination of which $n$-spaces are realizable by smooth, closed, oriented, $(n-1)$-connected $2n$-manifolds for all $n eq 63$. In dimension $126$ the Kervaire invariant one problem remains open. Along the way, we completely resolve conjectures of Galatius-Randal-Williams and Bowden-Crowley-Stipsicz, showing that they are true outside of the exceptional dimension $23$, where we provide a counterexample. This counterexample is related to the Witten genus and its refinement to a map of $mathbb{E}_infty$-ring spectra by Ando-Hopkins-Rezk. By previous work of many authors, including Wall, Schultz, Stolz and Hill-Hopkins-Ravenel, as well as recent joint work of Hahn with the authors, these questions have been resolved for all but finitely many dimensions, and the contribution of this paper is to fill in these gaps.
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 $pi_1(S^1)$. We also show that these homotopy groups vanish rationally.
We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These last two unstable groups are the edge in our title.) Applying our results to automorphism groups of free groups yields a new proof of homological stability with an improved stable range, a description of the last unstable group up to a single ambiguity, and a lower bound on the rank of the penultimate unstable group. We give similar applications to the general linear groups of the integers and of the field of order 2, this time recovering the known stablility range. The results can also be applied to general linear groups of arbitrary principal ideal domains, symmetric groups, and braid groups. Our methods require us to use field coefficients throughout.
We present a detailed description of a fundamental group algorithm based on Formans combinatorial version of Morse theory. We use this algorithm in a classification problem of prime knots up to 14 crossings.
This paper studies the homology and cohomology of the Temperley-Lieb algebra TL_n(a), interpreted as appropriate Tor and Ext groups. Our main result applies under the common assumption that a=v+v^{-1} for some unit v in the ground ring, and states that the homology and cohomology vanish up to and including degree (n-2). To achieve this we simultaneously prove homological stability and compute the stable homology. We show that our vanishing range is sharp when n is even. Our methods are inspired by the tools and techniques of homological stability for families of groups. We construct and exploit a chain complex of planar injective words that is analogous to the complex of injective words used to prove stability for the symmetric groups. However, in this algebraic setting we encounter a novel difficulty: TL_n(a) is not flat over TL_m(a) for m<n, so that Shapiros lemma is unavailable. We resolve this difficulty by constructing what we call inductive resolutions of the relevant modules. Vanishing results for the homology and cohomology of Temperley-Lieb algebras can also be obtained from existence of the Jones-Wenzl projector. Our own vanishing results are in general far stronger than these, but in a restricted case we are able to obtain additional vanishing results via existence of the Jones-Wenzl projector. We believe that these results, together with the second authors work on Iwahori-Hecke algebras, are the first time the techniques of homological stability have been applied to algebras that are not group algebras.
We consider the topological category of $h$-cobordisms between manifolds with boundary and compare its homotopy type with the standard $h$-cobordism space of a compact smooth manifold.