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.
The classifying diagram was defined by Rezk and is a generalization of the nerve of a category; in contrast to the nerve, the classifying diagram of two categories is equivalent if and only if the categories are equivalent. In this paper we prove that the classifying diagram of any category is characterized in terms of classifying spaces of stabilizers of groups. We also prove explicit decompositions of the classifying diagrams for the categories of finite ordered sets, finite dimensional vector spaces, and finite sets in terms of classifying spaces of groups.
Which spaces occur as a classifying space for fibrations with a given fibre? We address this question in the context of rational homotopy theory. We construct an infinite family of finite complexes realized (up to rational homotopy) as classifying spaces. We also give several non-realization results, including the following: the rational homotopy types of $\mathbb{C}P^2$ and $S^4$ are not realized as the classifying space of any simply connected, rational space with finite-dimensional homotopy groups.
We show that the cohomology group of the equivariant simplicial de Rham complex is isomorphic to the cohomology group of the classifying space of a semi-direct product group.
Greenlees and Sadofsky showed that the classifying spaces of finite groups are self-dual with respect to Morava K-theory K(n). Their duality map was constructed using a transfer map. We generalize their duality map and prove a K(n)-version of Poincare duality for classifying spaces of orbifolds. By regarding these classifying spaces as the homotopy types of certain differentiable stacks, our construction can be viewed as a stack version of Spanier-Whitehead type construction. Some examples and calculations will be given at the end.
Gromov and Ivanov established an analogue of Leray's theorem on cohomology of contractible covers for bounded cohomology of amenable covers. We present an alternative proof of this fact, using classifying spaces of families of subgroups.
A gauge group is the topological group of automorphisms of a principal bundle. We compute the integral cohomology ring of the classifying spaces of gauge groups of principal U(n)-bundles over the 2-sphere by generalizing the operation for free loop spaces, called the free double suspension.
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.
We compute the Chern subgroup of the 4-th integral cohomology group of a certain classifying space and show that it is a proper subgroup. Such a classifying space gives us new counterexamples for the integral Hodge and Tate conjectures modulo torsion.
In this paper, we give a new proof of a well-known theorem due to tom Dieck that the fat realization and Segal's classifying space of an internal category in the category of topological spaces are homotopy equivalent.
We construct two models for the classifying space for the family of infinite cyclic subgroups of the fundamental group of the Klein bottle. These examples do not fit in general constructions previously done, for example, for hyperbolic groups.
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 construct a topological space to study contextuality in quantum mechanics. The resulting space is a classifying space in the sense of algebraic topology. Cohomological invariants of our space correspond to physical quantities relevant to the study of contextuality. Within this framework the Wigner function of a quantum state can be interpreted as a class in the twisted $K$-theory of the classifying space.
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…
Let M be a closed simply connected 2n-dimensional manifold. The present paper is concerned with the cohomology of classifying spaces of connected groups of homeomorphisms of M.
In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category. The second construction is given by the classifying space of the monoid of homotopy self-equivalences of a simplicial sheaf and provides the unpointed classification.
In this paper, we compute the rational cohomology groups of the classifying space of a simply connected Kac-Moody group of infinite type. The fundamental principle is "from finite to infinite". That is, for a Kac-Moody group G(A) of infinite type, the input data for computation are the rational cohomology of classifying spaces of parabolic subgroups of G(A)(which are of finite type), and the homomorphisms induced by inclusions of these subgroups. In some special cases, we can further determine the cohomology rings. Our method also applies to study the mod p cohomology of the classifying spaces…
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.
We show that elementary amenable groups, which have a bound on the orders of their finite subgroups, admit a finite dimensional model for the classifying space with virtually cyclic isotropy.
In this paper we construct a model for the classifying space, BVCG, of a crystallographic group G of rank n relative to the family VC of virtually-cyclic subgroups of G. The model is used to show that there exists no other model for the virtually-cyclic classifying space of G with dimension less than vcd(G)+1, where vcd(G) denotes the virtual cohomological dimension of G. In addition, the dimension of our construction realizes this limit.
By examining commensurators of virtually cyclic groups, we show that for each natural number n, any locally finite-by-virtually cyclic group of cardinality aleph_n admits a finite dimensional classifying space with virtually cyclic stabilizers of dimension n+3. As a corollary, we prove that every elementary amenable group of finite Hirsch length and cardinality aleph_n admits a finite dimensional classifying space with virtually cyclic stabilizers.
We show that every discrete subgroup of $\mathrm{GL}(n,\mathbb{R})$ admits a finite dimensional classifying space with virtually cyclic stabilizers. Applying our methods to $\mathrm{SL}(3,\mathbb{Z})$, we obtain a four dimensional classifying space with virtually cyclic stabilizers and a decomposition of the algebraic $K$-theory of its group ring.
We are interested in the relationship between the virtual cohomological dimension (or vcd) of a discrete group Gamma and the smallest possible dimension of a model for the classifying space of Gamma relative to its family of virtually cyclic subgroups. In this paper we construct a model for the virtually cyclic classifying space of the Heisenberg group. This model has dimension 3, which equals the vcd of the Heisenberg group. We also prove that there exists no model of dimension less than 3.
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 prove affirmatively the conjecture raised by J. Mostovoy; the space of short ropes is weakly homotopy equivalent to the classifying space of the topological monoid (or category) of long knots in $\mathbb{R}^3$. We make use of techniques developed by S. Galatius and O. Randal-Williams to construct a manifold space model of the classifying space of the space of long knots, and we give an explicit map from the space of short ropes to the model in a geometric way.
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.
We prove that, for $n\geq 3$, the minimal dimension of a model of the classifying space of the full braid group $B_n$, and of the pure braid group $P_n$, with respect to the family of virtually cyclic groups is $n$.
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…
Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory.
We show that a finitely generated abelian group $G$ of torsion-free rank $n\geq 1$ admits a $n+r$ dimensional model for the classifying space with isotropy in the family of subgroups of torsion-free rank less than or equal to $r\geq 0$.
We consider certain rational homotopical conditions of simly connected CW complex $X$ such that the rational cohomology of the classifying space $Baut_1X$ for fibrations with two-stage fibre $X$ is (not) free. First, we consider when is $Baut_1X$ a rational factor of $Baut_1(X\times S^n)$ for an odd-integer $n$ and observe for a non-formal elliptic space $X$ of rank 3. Second, we compute the Sullivan minimal models of $Baut_1X$ when $X$ are certain non-formal pure spaces of rank 5.
We describe the K-ring of the classifying space of the generalized quaternion group in terms of generators and the minimal set of relations. We also compute the order of the main generator in the truncated rings.
Among the generalizations of Serre's theorem on the homotopy groups of a finite complex we isolate the one proposed by Dwyer and Wilkerson. Even though the spaces they consider must be 2-connected, we show that it can be used to both recover known results and obtain new theorems about p-completed classifying spaces.
For a finite group $G$, we define the $G$-cobordism category in dimension two. We show there is a one-to-one correspondence between the connected components of its classifying space and the abelianization of $G$. Also, we find an isomorphism of its fundamental group onto the direct sum $\mathbb{Z}\oplus Ω_2^{SO}(BG)$, where $Ω_2^{SO}(BG)$ is the free oriented $G$-bordism group in dimension two, and we study the classifying space of some important subcategories. We obtain the classifying space has the homotopy type of the product $G/[G,G]\times S^1\times X^G$, where $π_1(X^G)=Ω_2^{SO}(BG)$. Fin…
Let G be a discrete group for which the classifying space for proper G-actions is finite-dimensional. We find a space W such that for any such G, the classifying space PBG for proper G-bundles has the homotopy type of the W-nullification of BG. We use this to deduce some results concerning PBG and in some cases where there is a good model for PBG we obtain information about the BZ/p-nullification of BG.
We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups.
We consider Γ-equivariant principal G-bundles over proper Γ-CW-complexes with prescribed family of local representations. We construct and analyze their classifying spaces for locally compact, second countable topological groups with finite covering dimension Γand G such that G is almost connected.
We study the minimal dimension of the classifying space of the family of virtually cyclic subgroups of a discrete group. We give a complete answer for instance if the group is virtually poly-Z, word-hyperbolic or countable locally virtually cyclic. We give examples of groups for which the difference of the minimal dimensions of the classifying spaces of virtually cyclic and of finite subgroups is -1, 0 and 1, and show in many cases that no other values can occur.
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 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 describe a cocompact model for the classifying space for proper actions of the mapping class group of a surface with punctures and boundary components. Our construction relies on a known model for the case of a closed surface and uses an induction on the number of punctures and boundary components.
One way to understand the mod p homotopy theory of classifying spaces of finite groups is to compute their BZ/p-cellularization. In the easiest cases this is a classifying space of a finite group (always a finite p-group). If not, we show that it has infinitely many non-trivial homotopy groups. Moreover they are either p-torsion free or else infinitely many of them contain p-torsion. By means of techniques related to fusion systems we exhibit concrete examples where p-torsion appears.
We prove that every finite connected simplicial complex is homotopy equivalent to the quotient of a contractible manifold by proper actions of a virtually torsion-free group. As a corollary, we obtain that every finite connected simplicial complex is homotopy equivalent to the classifying space for proper bundles of some virtual Poincaré duality group.
We extend Björner's characterization of the face poset of finite CW complexes to a certain class of stratified spaces, called cylindrically normal stellar complexes. As a direct consequence, we obtain a discrete analogue of cell decompositions in smooth Morse theory, by using the classifying space model introduced in arXiv:1612.08429. As another application, we show that the exit-path simplicial set $\mathrm{Exit}(X)$ of a finite cylindrically normal CW stellar complex $X$ is a quasicategory.
We calculate the annihilator of the ku-toral class for the p-groups Z_{p^2} X Z_{p^k}$ with k > 2. This allows us to give a description of the ku-homology of these groups.
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)$.
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.
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.
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.
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.