Homotopy equivalences of p-completed classifying spaces of finite groups

We study homotopy equivalences of p-completions of classifying spaces of finite groups. To each finite group G and each prime p, we associate a finite category ℒ _p ^c (G) with the following properties. Two p-completed classifying spaces BG _p ^∧ and BG’ _p ^∧ have the same homotopy type if and only if the associated categories ℒ _p ^c (G) and ℒ _p ^c (G’) are equivalent. Furthermore, the topological monoid Aut(BG _p ^∧) of self equivalences is determined by the self equivalences of the associated category ℒ _p ^c (G). Oblatum 5-VII-2001 & 28-VIII-2002?Published online: 8 November 2002 RID="*" ID="*"C. Broto is partially supported by DGICYT grant PB97–0203. RID="**" ID="**"R. Levi is partially supported by EPSRC grant GR/M7831. RID="***" ID="***"B. Oliver is partially supported by UMR 7539 of the CNRS.     

On the homotopy type of classifying spaces

Let βC (resp. BC) be the Milnor (resp. Milgram) classifying space of a topological category C as defined by G. Segal [13]. We show that βC and BC are homotopy equivalent if the inclusion of the degenerate simplices into the space of all simplices is a cofibration.     

On the homotopy groups of separable metric spaces

The aim of this paper is to discuss the homotopy properties of locally well-behaved spaces. First, we state a nerve theorem. It gives sufficient conditions under which there is a weak n-equivalence between the nerve of a good cover and its underlying space. Then we conclude that for any (n−1)-connected, locally (n−1)-connected compact metric space X which is also n-semilocally simply connected, the nth homotopy group of X, πn(X), is finitely presented. This result allows us to provide a new proof for a generalization of Shelah?s theorem (Shelah, 1988 [18]) to higher homotopy groups (Ghane and Hamed, 2009 [8]). Also, we clarify the relationship between two homotopy properties of a topological space X, the property of being n-homotopically Hausdorff and the property of being n-semilocally simply connected. Further, we give a way to recognize a nullhomotopic 2-loop in 2-dimensional spaces. This result will involve the concept of generalized dendrite which introduce here. Finally, we prove that each 2-loop is homotopic to a reduced 2-loop.     

The homotopy Lie algebra of classifying spaces

Let X be a 1-connected CW-complex of finite type and L_x its rational homotopy Lie algebra. In this work, we show that there is a spectral sequence whose E² term is the Lie algebra Ext_ULx(Q, L_x), and which converges to the homotopy Lie algebra of the classifying space B autX. Moreover, some terms of this spectral sequence are related to derivations of L_x and to the Gottlieb group of X.     

On homotopy groups of quandle spaces and the quandle homotopy invariant of links

For a quandle X, the quandle space BX is defined, modifying the rack space of Fenn, Rourke and Sanderson (1995) [13], and the quandle homotopy invariant of links is defined in Z[π₂(BX)], modifying the rack homotopy invariant of Fenn, Rourke and Sanderson (1995) [13]. It is known that the cocycle invariants introduced in Carter et al. (2005) [3], Carter et al. (2003) [5], Carter et al. (2001) [6] can be derived from the quandle homotopy invariant.In this paper, we show that, for a finite quandle X, π₂(BX) is finitely generated, and that, for a connected finite quandle X, π₂(BX) is finite. It follows that the space spanned by cocycle invariants for a finite quandle is finitely generated. Further, we calculate π₂(BX) for some concrete quandles. From the calculation, all cocycle invariants for those quandles are concretely presented. Moreover, we show formulas of the quandle homotopy invariant for connected sum of knots and for the mirror image of links.     

The rational homotopy Lie algebra of classifying spaces for formal two-stage spaces

We compute the center and nilpotency of the graded Lie algebra for a large class of formal spaces X. The latter calculation determines the rational homotopical nilpotency of the space of self-equivalences aut₁(X) for these X. Our results apply, in particular, when X is a complex or symplectic flag manifold.     

Rational homotopy groups of generalised symmetric spaces

Abstract. We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In particular, this gives explicit formulas for the rational homotopy groups of all classical compact symmetric spaces. Received: 18 March 2002 / Published online: 14 February 2003 The author is supported by the {\it DFG Graduiertenkolleg “Mathematik im Bereich ihrer Wechselwirkung mit der Physik”} and is a member of EDGE, Research Training Network HPRN-CT-2000-00101, supported by The European Human Potential Programme.     

Maps between classifying spaces of Kac-Moody groups

We classify up to homotopy the self-maps of the classifying space of any non-affine Kac-Moody group of rank two.     

On spaces of functions between classifying spaces

In this paper the results of Dwyer and Zabrodsky [DZ] are extended by showing that ifL is a compact Lie group andG is either ap-group or a torus, then every mapf:BG →BL is homotopic to one induced by a homomorphismφ :G →L, and two such induced maps are homotopic if and only if the corresponding homomophisms are conjugate. Several other results related to maps between classifying spaces, completions, and fibrations are also deduced.     

Bousfield localizations of classifying spaces of nilpotent groups

Let be a finitely generated nilpotent group. The object of this paper is to identify the Bousfield localization of the classifying space with respect to a multiplicative complex oriented homology theory . We show that is the same as the localization of with respect to the ordinary homology theory determined by the ring .

     

On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups

We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups,and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre.We describe an algorithm that,given an arbitrary finite presentation of an automatic group Γ,will construct explicit finite models for the skeleta of K(Γ,1) and hence compute the integral homology and cohomology of Γ.     

On the telescopic homotopy theory of spaces

In telescopic homotopy theory, a space or spectrum is approximated by a tower of localizations , , taking account of -periodic homotopy groups for progressively higher . For each , we construct a telescopic Kuhn functor carrying a space to a spectrum with the same -periodic homotopy groups, and we construct a new functor left adjoint to . Using these functors, we show that the th stable monocular homotopy category (comprising the th fibers of stable telescopic towers) embeds as a retract of the th unstable monocular homotopy category in two ways: one giving infinite loop spaces and the other giving ``infinite -suspension spaces.' We deduce that Ravenel's stable telescope conjectures are equivalent to unstable telescope conjectures. In particular, we show that the failure of Ravenel's th stable telescope conjecture implies the existence of highly connected infinite loop spaces with trivial Johnson-Wilson -homology but nontrivial -periodic homotopy groups, showing a fundamental difference between the unstable chromatic and telescopic theories. As a stable chromatic application, we show that each spectrum is -equivalent to a suspension spectrum. As an unstable chromatic application, we determine the -localizations and -localizations of infinite loop spaces in terms of -localizations of spectra under suitable conditions. We also determine the -localizations and -localizations of arbitrary Postnikov -spaces.

     

On the formality of equivariant classifying spaces

Partially supported by NSF MCS 7701623     

Nullification and cellularization of classifying spaces of finite groups

In this note we discuss the effect of the -nullification and the -cellularization over classifying spaces of finite groups, and we relate them with the corresponding functors with respect to Moore spaces that have been intensively studied in the last years. We describe by means of a covering fibration, and we classify all finite groups for which is -cellular. We also carefully study the analogous functors in the category of groups, and their relationship with the fundamental groups of and