The structure space of a closed topological -manifold classifies bundles whose fibers are closed -manifolds equipped with a homotopy equivalence to . The authors construct a highly connected map from to a concoction of algebraic -theory and algebraic -theory spaces associated with . The construction refines the well-known surgery theoretic analysis of the block structure space of in terms of -theory.

Surgery theory, the basis for the classification theory of manifolds, is now about forty years old. There have been some extraordinary accomplishments in that time, which have led to enormously varied interactions with algebra, analysis, and geometry. Workers in many of these areas have often lamented the lack of a single source that surveys surgery theory and its applications. Indeed, no one person could write such a survey. The sixtieth birthday of C. T. C. Wall, one of the leaders of the founding generation of surgery theory, provided an opportunity to rectify the situation and produce a comprehensive book on the subject. Experts have written state-of-the-art reports that will be of broad interest to all those interested in topology, not only graduate students and mathematicians, but mathematical physicists as well. Contributors include J. Milnor, S. Novikov, W. Browder, T. Lance, E. Brown, M. Kreck, J. Klein, M. Davis, J. Davis, I. Hambleton, L. Taylor, C. Stark, E. Pedersen, W. Mio, J. Levine, K. Orr, J. Roe, J. Milgram, and C. Thomas.

The author develops a homology theory for Smale spaces, which include the basics sets for an Axiom A diffeomorphism. It is based on two ingredients. The first is an improved version of Bowen's result that every such system is the image of a shift of finite type under a finite-to-one factor map. The second is Krieger's dimension group invariant for shifts of finite type. He proves a Lefschetz formula which relates the number of periodic points of the system for a given period to trace data from the action of the dynamics on the homology groups. The existence of such a theory was proposed by Bowen in the 1970s.

Let be a simple classical algebraic group over an algebraically closed field of characteristic with natural module . Let be a closed subgroup of and let be a nontrivial -restricted irreducible tensor indecomposable rational -module such that the restriction of to is irreducible. In this paper the authors classify the triples of this form, where and is a disconnected almost simple positive-dimensional closed subgroup of acting irreducibly on . Moreover, by combining this result with earlier work, they complete the classification of the irreducible triples where is a simple algebraic group over , and is a maximal closed subgroup of positive dimension.

The authors determine the number of level 1, polarized, algebraic regular, cuspidal automorphic representations of GLn over Q of any given infinitesimal character, for essentially all n≤8. For this, they compute the dimensions of spaces of level 1 automorphic forms for certain semisimple Z-forms of the compact groups SO7, SO8, SO9 (and G2) and determine Arthur's endoscopic partition of these spaces in all cases. They also give applications to the 121 even lattices of rank 25 and determinant 2 found by Borcherds, to level one self-dual automorphic representations of GLn with trivial infinitesimal character, and to vector valued Siegel modular forms of genus 3. A part of the authors' results are conditional to certain expected results in the theory of twisted endoscopy.

The authors develop a theory for the existence of perfect matchings in hypergraphs under quite general conditions. Informally speaking, the obstructions to perfect matchings are geometric, and are of two distinct types: `space barriers' from convex geometry, and `divisibility barriers' from arithmetic lattice-based constructions. To formulate precise results, they introduce the setting of simplicial complexes with minimum degree sequences, which is a generalisation of the usual minimum degree condition. They determine the essentially best possible minimum degree sequence for finding an almost perfect matching. Furthermore, their main result establishes the stability property: under the same degree assumption, if there is no perfect matching then there must be a space or divisibility barrier. This allows the use of the stability method in proving exact results. Besides recovering previous results, the authors apply our theory to the solution of two open problems on hypergraph packings: the minimum degree threshold for packing tetrahedra in -graphs, and Fischer's conjecture on a multipartite form of the Hajnal-Szemerédi Theorem. Here they prove the exact result for tetrahedra and the asymptotic result for Fischer's conjecture; since the exact result for the latter is technical they defer it to a subsequent paper.