We consider a problem on the conditions of a compact Lie group G that the loop space of the p-completed classifying space be a p-compact group for a set of primes. In particular, we discuss the classifying spaces BG that are p-compact for all primes when the groups are certain subgroups of simple Lie groups. A survey of the p-compactness of BG for a single prime is included.
We study the structure of the $E_2$-term of the Rothenberg-Steenrod spectral sequence converging to the mod 3 cohomology of the classifying space of the compact, connected, simply connected, exceptional Lie group of rank 6.
We show that the Rothenberg--Steenrod spectral sequence converging to the mod 3 cohomology of the classifying space of the exceptional Lie group E_8 does not collapse at the E_2-level.
For a compact Lie group G we show that if the representing spectrum for Borel cohomology generates its category of modules if G is connected. For a closed subgroup H of G we consider the map C^*(BG)--->C^*(BH) and establish the sense in which it is relatively Gorenstein. Throughout, we pay careful attention to the importance of connectedness of the groups.
For a prime knot group, the classifying space for the family of the subgroups generated by the meridians can be seen as an abstract analogue of the ambient manifold in which the knot lives. An explicit model of this ambient classifying space is constructed as a branched covering space of the 3-sphere branched over the knot; more general branched covering spaces, obtained quotienting the ambient classifying space by finite-index normal subgroups, are studied. Various homological properties of said spaces are established, some of which have parallels in algebraic number theory. In particular, pr…
We prove structural theorems for computing the completion of a G-spectrum at the augmentation ideal of the Burnside ring of a finite group G. First we show that a G-spectrum can be replaced by a spectrum obtained by allowing only isotropy groups of prime power order without changing the homotopy type of the completion. We then show that this completion can be computed as a homotopy colimit of completions of spectra obtained by further restricting isotropy to one prime at a time, and that these completions can be computed in terms of completion at a prime. As an application, we show that the sp…
In this note we show that the second homotopy group of $B(2,G)$, the classifying space for commutativity for a compact Lie group $G$, contains a direct summand isomorphic to $π_1(G)\oplusπ_1([G,G])$, where $[G,G]$ is the commutator subgroup of $G$. It follows from a similar statement for $E(2,G)$, the homotopy fiber of the canonical inclusion $B(2,G)\hookrightarrow BG$. As a consequence of our main result we obtain that if $E(2,G)$ is 2-connected, then $[G,G]$ is simply-connected. This last result completes how the higher connectivity of $E(2,G)$ resembles the higher connectivity of $[G,G]$ fo…
For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology, the homotopy type of $E_\text{com} G$ (the homotopy fiber of the inclusion $B_\text{com} G \to BG$), and some low-dimensional homotopy groups of $B_\text{com} G$.
A 1-truncated compact Lie group is any extension of a finite group by a torus. In this note we compute the homotopy types of $Map_*(BG,BH)$, $Map(BG,BH)$, and $Map(EG, B_GH)^G$ for compact Lie groups $G$ and $H$ with $H$ 1-truncated, showing that they are computed entirely in terms of spaces of homomorphisms from $G$ to $H$. These results generalize the well-known case when $H$ is finite, and the case of $H$ compact abelian due to Lashof, May, and Segal.
For a commutative ring $R$, in contrast to the completion in the sense of Bousfield and Kan at just a prime integer, there cannot exist spaces which are good and bad in an arbitrary way.
Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations $$ X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_π^*(X), $$ where $G$ and $π$ denote, respectively, subgroups of the free and pointed homotopy classes of free and pointed self homotopy equivalences of $X$ which act nilpotently on $H_*(X)$ and $π_*(X)$. We give algebraic models, in terms of complete differential graded Lie algebras (cdgl's), of the rational homotopy type of these fibrations. Explicitly, if $L$ is a cdgl model of $X$, there are connected sub cdgl's $Der^G L$ and $Der^π L$ of the Lie algebra $D…
In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their role as a classifying space for transitionally commutative bundles. We prove that ZxB_{com}U is a loop space and define a notion of commutative K-theory for bundles over a finite complex X which is isomorphic to [X,ZxB_{com}U]. We compute the rational cohomology of B_{com}G for G equal to any of the classical groups U(n), SU(n) and Sp(n), and exhibit the rat…
We study the classifying space of a twisted loop group $L_σG$ where $G$ is a compact Lie group and $σ$ is an automorphism of $G$ of finite order modulo inner automorphisms. Equivalently, we study the $σ$-twisted adjoint action of $G$ on itself. We derive a formula for the cohomology ring $H^*(BL_σG)$ and explicitly carry out the calculation for all automorphisms of simple Lie groups. More generally, we derive a formula for the equivariant cohomology of compact Lie group actions with constant rank stabilizers.
We define secondary theories and characteristic classes for simplicial smooth manifolds generalizing Karoubi's multiplicative K-theory and multiplicative cohomology groups for smooth manifolds. As a special case we get versions of the groups of differential characters of Cheeger and Simons for simplicial smooth manifolds. Special examples include classifying spaces of Lie groups and Lie groupoids.
We give examples of spaces which are good and bad at different primes in the sense of Bousfield and Kan in any arbitrary combination and investigate which impact the existence of a Sylow $p$-subgroup has on the homotopy type on the classifying space and under which conditions the homotopy type of wedges of classifying spaces is good or bad for a solid ring $R$. We give results relating to various other $R$-homological structures and a collection of examples.
In this manuscript, we consider cobordism operations in the $2$-dimensional labeled open-closed topological quantum field theory for the classifying space of a connected compact Lie group in the sense of Guldberg. In particular, it is proved that the whistle cobordism operation is non-trivial in general provided the labels are in the set of maximal closed subgroups of the given Lie group. The non-triviality of cobordism operations induced by gluing the whistle with the opposite and other labeled cobordisms is also discussed.
Fix a prime $p$. Since their definition in the context of Localization Theory, the homotopy functors $P_{B\Z/p}$ and $CW_{B\Z/p}$ have shown to be powerful tools to understand and describe the mod $p$ structure of a space. In this paper, we study the effect of these functors on a wide class of spaces which includes classifying spaces of compact Lie groups and their homotopical analogues. Moreover, we investigate their relationship in this context with other relevant functors in the analysis of the mod $p$ homotopy, such as Bousfield-Kan completion and Bousfield homological localization.
Let $B{ aut}_1X$ be the Dold-Lashof classifying space of orientable fibrations with fiber $X$. For a rationally weakly trivial map $f:X\to Y$, our strictly induced map $a_f: (Baut_1X)_0\to (Baut_1Y)_0$ induces a natural map from a $X_0$-fibration to a $Y_0$-fibration. It is given by a map between the differential graded Lie algebras of derivations of Sullivan models. We note some conditions that the map $a_f$ admits a section and note some relations with the Halperin conjecture. Furthermore we give the obstruction class for a lifting of a classifying map $h: B\to (Baut_1Y)_0$ and apply it for …
We formulate and prove a new variant of the Segal Conjecture describing the group of homotopy classes of stable maps from the p-completed classifying space of a finite group G to the classifying space of a compact Lie group K as the p-adic completion of the Grothendieck group of finite principal (G,K)-bundles whose isotropy groups are p-groups. Collecting the result for different primes p, we get a new and simple description of the group of homotopy classes of stable maps between (uncompleted) classifying spaces of groups. This description allows us to determine the kernel of the map from the …
We construct a dg Lie model for the universal cover of the classifying space of the grouplike monoid of homotopy automorphisms of a space that fix a given subspace.
For any odd prime $p$, we prove that the induced homomorphism from the mod $p$ cohomology of the classifying space of a compact simply-connected simple connected Lie group to the Weyl group invariants of the mod $p$ cohomology of the classifying space of its maximal torus is an epimorphism except for the case $p=3$, $G=E_8$.
The localising subcategories of the derived category of the cochains on the classifying space of a finite group are classified. They are in one to one correspondence with the subsets of the set of homogeneous prime ideals of the cohomology ring $H^*(G,k)$.
In this paper we complete the description of the $B\mathbb{Z} /p$-cellularization of the classifying spaces of all finite groups, for all primes $p$. The techniques are based in a careful analysis of the $p$-fusion structure of the groups involved -with special attention to their strongly closed subgroups- and Chachólski's description of the $A$-cellular approximation.
We investigate the integral cohomology ring and the Chow ring of the classifying space of the complex projective linear group PGL_p, when p is an odd prime. In particular, we determine its additive structure completely, and we reduce the problem of determing its multiplicative structure to a problem in invariant theory.
Localized at almost all primes, we describe the structure of differentials in several important spectral sequences that compute the cohomology of classifying spaces of topological Kac-Moody groups. In particular, we show that for all but a finite set of primes, these spectral sequences collapse and that there are no additive extension problems. We also describe some appealing consequences of these results. The main tool is the use of the naturality properties of unstable Adams operations on these classifying spaces.
Let $G$ be a simply-connected, simple compact Lie group of type $\{n_{1},\ldots,n_{\ell}\}$, where $n_{1}\le\cdots \le n_{\ell}$. Let $\mathcal{G}_k$ be the gauge group of the principal $G$-bundle (namedright{P}{}{S^{4}}) whose isomorphism class is determined by the the second Chern class having value $k\in\mathbb{Z}$. We calculate the mod-$p$ homology of the classifying space $B\mathcal{G}_k$ provided that $n_{\ell}<p-1$ and $p$ does not divide $k$.
We investigate two open questions in a cohomology theory relative to the family of finite subgroups. The problem of whether the F-cohomological dimension is subadditive is reduced to extensions by groups of prime order. We show that every finitely generated regular branch group has infinite rational cohomological dimension. Moreover, we prove that the first Grigorchuk group G is not contained in Kropholler's class HF .
Let p, ell be distinct primes and let q be a power of p. Let G be a connected compact Lie group. We show that there exists an integer b such that the mod ell cohomology of the classifying space of a finite Chevalley group G(F_q) is isomorphic to the mod ell cohomology of the classifying space of the loop group LG for q=p^{ab}, a>0.
This belongs to a series of papers devoted to the study of the cohomology of classifying spaces of Lie groupoids. Our aim here is to introduce and study the notion of representation up to homotopy of Lie groupoids, the resulting derived category, and to show that the adjoint representation is well defined as a representation up to homotopy. As an application, we extend Bott's spectral sequence converging to the cohomology of classifying spaces from Lie groups to Lie groupoids.
Let p be a fibration of simply connected CW complexes with finite base B and fibre F. Let aut_1(p) denote the identity component of the space of all fibre-homotopy self-equivalences of p and Baut_1(p) the classifying space for this topological monoid. We give a differential graded Lie algebra model for Baut_1(p). We use this model to give classification results for the rational homotopy types represented by Baut_1(p) and also to obtain conditions under which the monoid aut_1(p) is a double loop-space after rationalization.
We compute rationally the topological (complex) K-theory of the classifying space BG of a discrete group provided that G has a cocompact G-CW-model for its classifying space for proper G-actions. For instance word-hyperbolic groups and cocompact discrete subgroups of connected Lie groups satisfy this assumption. The answer is given in terms of the group cohomology of G and of the centralizers of finite cyclic subgroups of prime power order. We also analyze the multiplicative structure.
Let G be a finite group and p a prime dividing its order. We define new collections of p-subgroups of G. We study the homotopy relations among them and with the standard collections of p-subgroups. We determine their ampleness and sharpness properties.
We give a lower bound of the cochain type level of the diagonal map on the classifying space of a Lie group by using the ghostness of a shriek map. Moreover, in a derived category, we discuss the triviality of the shriek map which induces the loop product on the classifying space of a Lie group.
The class of loop spaces whose mod p cohomology is Noetherian is much larger than the class of p-compact groups (for which the mod p cohomology is required to be finite). It contains Eilenberg-Mac Lane spaces such as the infinite complex projective space and 3-connected covers of compact Lie groups. We study the cohomology of the classifying space BX of such an object and prove it is as small as expected, that is, comparable to that of BCP^\infty. We also show that BX differs basically from the classifying space of a p-compact group in a single homotopy group. This applies in particular to 4-c…
In this paper we study the normalizer decomposition of a compact Lie group $G$ using the information of the fusion system $\mathcal{F}$ of $G$ on a maximal discrete $p$-toral subgroup. We prove that there is an injective map from the set of conjugacy classes of chains of $\mathcal{F}$-centric, $\mathcal{F}$-radical discrete $p$-toral subgroups to the set of conjugacy classes of chains of $p$-centric, $p$-stubborn continuous $p$-toral subgroups. The map is a bijection when $π_0(G)$ is a finite $p$-group. We also prove that the classifying space of the normalizer of a chain of discrete $p$-toral…
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod-$\ell$ homology isomorphism $B(\mathbb{Z}, G) \to B(\mathbb{Z}, H)$. In order to prove this result, we study a presentation of $B(\mathbb{Z}, G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an …
We construct classifying spaces for discrete and compact Lie groups, with the property that they are topological groups and complete metric spaces in a natural way. We sketch a program in view of extending these constructions.
Dwyer, Miller and Wilkerson proved that at the prime 2, the classifying spaces of SU(2) and SO(3) can be obtained as a homotopy pushout of the classifying spaces of certain subgroups. In this paper we show explicitly how these decompositions arise from the fusion systems of SU(2) and SO(3) over maximal discrete 2-toral subgroups.
We compute the additive structure of the $\mathrm{RO}(C_n)$-graded Bredon equivariant cohomology of the equivariant classifying space $B_{C_n}\mathrm{SU}(2)$, for any $n$ that is either prime or a product of distinct odd primes, and we also compute its multiplicative structure for $n=2$. In particular, as an algebra over the cohomology of a point, we show that the cohomology of $B_{C_2}\mathrm{SU}(2)$ is generated by two elements subject to a single relation: writing $σ$ for the sign representation of $C_2$ in $\mathrm{RO}(C_2)$, the generators are an element $c$ in dimension $4σ$ and an eleme…
Let A be the classifying space of an abelian p-torsion group. We compute A-cellular approximations (in the sense of Chachólski and Farjoun) of classifying spaces of p-local compact groups, with special emphasis in the cases which arise from honest compact Lie groups.
Let $p$ be a prime. We calculate the connective unitary K-theory of the smash product of two copies of the classifying space for the cyclic group of order $p$, using a Künneth formula short exact sequence. As a corollary, using the Bott exact sequence and the mod $2$ Hurewicz homomorphism we calculate the connective orthogonal K-theory of the smash product of two copies of the classifying space for the cyclic group of order two.
Let $\mathbf{B}PU_{n}$ be the classifying space of $PU_n$, the projective unitary group of order $n$, for $n>1$. We use the Serre spectral sequence associated to a fiber sequence $\mathbf{B}U_n\rightarrow\mathbf{B}PU_n\rightarrow K(\mathbb{Z},3)$ to determine the ring structure of $H^{*}(\mathbf{B}PU_{n}; \mathbb{Z})$ up to degree $10$, as well as a family of distinguished elements of $H^{2p+2}(\mathbf{B}PU_{n}; \mathbb{Z})$, for each prime divisor $p$ of $n$. We also study the primitive elements of $H^*(\mathbf{B}U_n;\mathbb{Z})$ as a comodule over $H^*(K(\mathbb{Z},2);\mathbb{Z})$, where the…
Examples of non-trivial higher string topology operations have been regrettably rare in the literature. In this paper, working in the context of string topology of classifying spaces, we provide explicit calculations of a wealth of non-trivial higher string topology operations associated to a number of different Lie groups. As an application of these calculations, we obtain an abundance of interesting homology classes in the twisted homology groups of automorphism groups of free groups, the ordinary homology groups of holomorphs of free groups, and the ordinary homology groups of affine groups…
The classifying space BG of a topological group $G$ can be filtered by a sequence of subspaces $B(q,G)$, using the descending central series of free groups. If $G$ is finite, describing them as homotopy colimits is convenient when applying homotopy theoretic methods. In this paper we introduce natural subspaces $B(q,G)_p$ of $B(q,G)$ defined for a fixed prime $p$. We show that $B(q,G)$ is stably homotopy equivalent to a wedge of $B(q,G)_p$ as $p$ runs over the primes dividing the order of $G$. Colimits of abelian groups play an important role in understanding the homotopy type of these spaces.…
The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props. We first consider a function space of props to define the moduli space of algebra structures over this prop on an object of the base category. Then we mainly prove that this moduli space is the homotopy fiber of a forgetful map of classifying spaces, generalizing to the prop setting a theorem of Rezk. The crux of our proof lies in the construction of certain universal diagrams in categories of algebras over a prop. We i…
This paper extends certain characterizations of nullhomotopic maps between p-compact groups to maps with target the p-completed classifying space of a connected Kac-Moody group and source the classifying space of either a p-compact group or a connected Kac-Moody group. A well known inductive principle for p-compact groups is applied to obtain general, mapping space level results. An arithmetic fiber square computation shows that a null map from the classifying space of a connected compact Lie group to the classifying space of a connected topological Kac-Moody group can be detected by restricti…
Attributed to J F Adams is the conjecture that, at odd primes, the mod-p cohomology ring of the classifying space of a connected compact Lie group is detected by its elementary abelian p-subgroups. In this note we rely on Toda's calculation of H^*(BF_4;F_3) in order to show that the conjecture holds in case of the exceptional Lie group F_4. To this aim we use invariant theory in order to identify parts of H^*(BF_4;F_3) with invariant subrings in the cohomology of elementary abelian 3-subgroups of F_4. These subgroups themselves are identified via the Steenrod algebra action on H^*(BF_4;F_3).
We show that the category of free rational G-spectra for a connected compact Lie group G is Quillen equivalent to the category of torsion differential graded modules over the polynomial cohomology ring on the classifying space, H*(BG). The ingredients are enriched Morita equivalences, functors making rational spectra algebraic, and Koszul duality and thick subcategory arguments based on the simplicity of the derived category of a polynomial ring.
We study actions of discrete groups on contractible topological spaces in which either (1) all stabilizers lie in the family of subgroups of prime power order or (2) all stabilizers lie in the family of finite subgroups. We compare the classifying spaces for actions with stabilizers in these two families, the Kropholler hierarchies build on these two families, and group cohomology relative to these two families.
We describe various equivalent ways of associating to an orbifold, or more generally a higher étale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we show that for a differentiable stack X arising from a Lie groupoid G, the weak homotopy type of X agrees with that of BG. Using this machinery, we are able to find new presentations for the weak homotopy type of certain classifying spaces. In particular, we give a new presentation for the Borel construction of an almost free action of a Lie group G on a smooth …
