Spaces of Maps into Classifying Spaces for Equivariant Crossed Complexes, II: The General Topological Group Case

The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg–Zilber theory, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equivariant function spaces.     

Geometric Realisations of Cubical Sets with Connections, and Classifying Spaces of Categories

We investigate the category of cubical sets with some additional degeneracies called connections. We prove that the realisation of a cubical set with connections is independent, up to homotopy, of whether we collapse those extra degeneracies or not and that any cubical set which is Kan admits connections. Using this type of cubical sets we define the cubical classifying space of a category and prove that this is equivalent to the simplicial one.     

Homotopy Classification of Categorical Torsors

The long-known results of Schreier on group extensions are here raised to a categorical level by giving a factor set theory for torsors under a categorical group (G,) over a small category . We show a natural bijection between the set of equivalence classes of such torsors and [B({}),B(G,)], the set of homotopy classes of continuous maps between the corresponding classifying spaces. These results are applied to algebraically interpret the set of homotopy classes of maps from a CW-complex X to a path-connected CW-complex Y with _i (Y)=0 for all i1,2.     

On the Geometry of 2-Categories and their Classifying Spaces

In this paper we prove that realizations of geometric nerves are classifying spaces for 2-categories. This result is particularized to strict monoidal categories and it is also used to obtain a generalization of Quillen's Theorem A.     

Morava K-Theories of p-Groups with Cyclic Maximal Subgroups and Other Related Groups

Let P be a non-Abelian finite p-group, p odd, with cyclic maximal subgroups, and let K(n)^*(–) denote the nth Morava K-theory at p. In this paper we determine the algebras K(n)^*(BP) and K(n)^*(BG) for all groups G with Sylow p-subgroups isomorphic to P, giving further evidence for the fact that Morava K-theory as an invariant of finite groups, is finer than ordinary modp cohomology. Mathematics Subject Classifications (2000): 55N20, 55N22.     

Foliations on 3-manifolds which are the classifying space of themselves

We classify the closed foliated 3-manifolds M, with codimension one foliations of nonexponential growth and which are homotopy equivalent to their classifying space B. Then we construct arbitrarily large manifolds with foliations with of any growth type and satisfying ₁(M) = ₁(B).*Partially supported by CAPES and CNRS     

Closed Simplicial Model Structures for Exterior and Proper Homotopy Theory

The notion of exterior space consists of a topological space together with a certain nonempty family of open subsets that is thought of as a system of open neighbourhoods at infinity while an exterior map is a continuous map which is continuous at infinity. The category of spaces and proper maps is a subcategory of the category of exterior spaces.In this paper we show that the category of exterior spaces has a family of closed simplicial model structures, in the sense of Quillen, depending on a pair {T,T} of suitable exterior spaces. For this goal, for a given exterior space T, we construct the exterior T-homotopy groups of an exterior space under T. Using different spaces T we have as particular cases the main proper homotopy groups: the Brown–Grossman, erin–Steenrod, p-cylindrical, Baues–Quintero and Farrell–Taylor–Wagoner groups, as well as the standard (Hurewicz) homotopy groups.The existence of this model structure in the category of exterior spaces has interesting applications. For instance, using different pairs {T,T}, it is possible to study the standard homotopy type, the homotopy type at infinity and the global proper homotopy type.     

Inductive Detection for Homotopy Equivalences of Manifolds

Let f:M N be a homotopy equivalence of CAT manifolds M and N (CAT := PL, TOP or DIFF) with finite fundamental groups. Each subgroup H 1(M) determines a homotopy equivalence fH:MH NH of the corresponding covering spaces. Suppose now that for each subgroup H in some particular class C (for example: elementary, hyperelementary or solvable) fH is homotopic to a CAT isomorphism. The general problem studied in this paper can be formulated as follows: If each map fH as above is homotopic to a CAT isomorphism, under what additional conditions on M, C and CAT is f itself (or f × idR) homotopic (properly homotopic) to a CATisomorphism?     

Cycles and Spectra

Some recent work on spaces of algebraic cycles is surveyed. The main focus is on spaces of real and quaternionic cycles and their relation to equivariant Eilenberg- MacLane spaces.Dedicated to IMPA on the occasion of its 50^th anniversary     

On Homotopy Groups of Real Algebraic Varieties and their Complexifications

Let X ₀ be a topological component of a nonsingular real algebraic variety and i:X → X _C is a nonsingular projective complexification of X. In this paper, we will study the homomorphism on homotopy groups induced by the inclusion map i:X ₀ → X _C and obtain several results using rational homotopy theory and other standard tools of homotopy theory.     

Foliated control theory, II

The main result is a control theorem for the structure space of E with control near the leaves F in M, where : E M is a fiber bundle over the Riemannian manifold M having a compact closed manifold for fiber and F is a smooth foliation of M, each leaf of which inherits a flat Riemannian geometry from M. A similar result has been proved by the authors under the assumption that each leaf of F is one-dimensional and the fiber of : E M is homotopy stable.Both authors were supported in part by the National Science Foundations.     

On the homotopy fixed point problem for free loop spaces and other function complexes

Let G be a finite group, let X and Y be finite G-complexes, and suppose that for each K G, Y ^K is dim(X ^K)-connected and simple. G acts on the function complex F(X, Y) by conjugation of maps. We give a complete analysis of the homotopy fixed point set of the space F(X, Y). As a corollary, we are able to analyze at a prime p, the homotopy fixed point set of the circle action on X, where X denotes the free loop space of X, and X is a simply connected finite complex.Supported in part by NSF DMS 86-02430.To A. Grothendieck on the occasion of his sixtieth birthday