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.
Consider an extension of groups 1 -> K -> G -> Q -> 1 which enjoys the property that the quotient by the lower central series Gamma_{c+1} produces another extension 1 -> K/ Gamma_{c+1} K -> G /Gamma_{c+1} G -> Q / Gamma_{c+1} Q -> 1, of nilpotent groups of class c. We say that the extension is Gamma_{c+1}-flat. Let us pull back the original extension along any homomorphism X -> Q. Does the pullback extension enjoy the same Gamma_{c+1}-flatness property? To answer this question we consider not only quotients by the lower central series, but any localization functor in the category of groups. In…
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.
It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists a homeomorphism between these geometric realizations. We also discuss the naturality of these homoemorphisms. The inclusion of the category of small categories to the category of simplicially enriched categories, the cofibrant replacement of simplicially enriched categories, and the geometric realization of simplicially enriched categories are three composab…
We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $Ω': Top*\to Mon$ after we have localized $Mon$ with respect to all homomorphisms whose underlying maps are homotopy equivalences and $Top*$ with respect to all based maps which are (not necessarily based) homotopy equivalences. It is well-known that this localization of $Top*$ exists, and we show that the localization of $Mon$ is the category of monoids and homotopy classes of homotopy homomorphisms. To make this …
These notes provide an informal introduction to a type of Mackey functor that arises naturally in algebraic topology in connection with Morava $K$-theory of classifying spaces of finite groups. The main aim is to identify key algebraic aspects of the Green functor structure obtained by applying a Morava $K$-theory to such classifying spaces.
Given a simplicial group G, there are two known classifying simplicial set constructions, the Kan classifying simplicial set Wbar G and Diag N G, where N denotes the dimensionwise nerve. They are known to be weakly homotopy equivalent. We will show that Wbar G is a strong simplicial deformation retract of Diag N G. In particular, Wbar G and Diag N G are simplicially homotopy equivalent.
This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit Theorem to 2-functors.
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…
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical analogues that have been classically used in algebraic topology and algebraic K-theory, such as the Homotopy Invariance Theorem (by Bousfield and Kan), the Homotopy Colimit Theorem (Thomason), Theorems A and B (Quillen), or the Homotopy Cofinality Theorem (Hirschhorn).
We construct and study a functorial extension of the evaluation map $S^1 \times \mathcal{L} X \to X$ to transfers along finite covers. For finite covers of classifying spaces of finite groups, we provide algebraic formulas for this extension in terms of bisets. In the sequel, we show that this induces a natural evaluation map on the full subcategory of the homotopy category of spectra consisting of $p$-completed classifying spectra of finite groups.
In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor for groups in the category of spaces over a fixed space B. Additionally, we prove that the fiberwise geometric realization functor sends a large class of simplicial parametrized principal bundles to ordinary parametrized principal bundles. As an application we show that the fiberwise geometric realization of the universal simplicial principal bundle for a simp…
Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison cohomology. We also investigate the algebraic structure of the Chevalley-Eilenberg complexes of L-infinity algebras and show that they possess, along with the Gerstenhaber bracket, an L-infinity structure that is homotopy abelian.
The assignment of classifying spectra to saturated fusion systems was suggested by Linckelmann and Webb and has been carried out by Broto, Levi and Oliver. A more rigid (but equivalent) construction of the classifying spectra is given in this paper. It is shown that the assignment is functorial for fusion-preserving homomorphisms in a way which extends the assignment of stable p-completed classifying spaces to finite groups, and admits a transfer theory analogous to that for finite groups. Furthermore the group of homotopy classes of maps between classifying spectra is described, and in partic…
We show that the conditions in Steimle's 'additivity theorem for cobordism categories' can be weakened to only require \emph{locally} (co)Cartesian fibrations, making it applicable to a larger class of functors. As an application we compute the difference in classifying spaces between the infinity category of cospans of finite sets and its homotopy category.
Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak homotopy equivalence, every space is the classifying space of a small category. More is true: the entire homotopy theory of topological spaces and continuous maps can be modeled by categories and functors. We establish a vast generalization of the equivalence of the homotopy theories of categories and spaces: small categories represent refined homotopy types …
The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X \to \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space $X$. The homotopy type of $\mathfrak{X}$ should be the classifying space $B \mathbb{X}$. The choice of an atlas is not part of the data of a stack and hence it is not immediately clear why this construction of a homotopy type is well-defined, let alone functorial. The purpose of this note is to give an elementary construction of such a homotopy-type functor.
By considering labeled configurations of ``bounded multiplicity'', one can construct a functor that fits between homology and stable homotopy. Based on previous work, we are able to give an equivalent description of this labeled construction in terms of loop space functors and symmetric products. This yields a direct generalization of the May-Milgram model for iterated loop spaces, and answers questions of Carlsson and Milgram posed in the handbook. We give a classifying space formulation of our results hence extending an older result of Segal. We finally relate our labeled construction to a t…
The Segal conjecture describes stable maps between classifying spaces in terms of (virtual) bisets for the finite groups in question. Along these lines, we give an algebraic formula for the p-completion functor applied to stable maps between classifying spaces purely in terms of fusion data and Burnside modules.
In this paper, we determine the homotopy groups π_4(ΣK(A,1)) and π_5(ΣK(A,1)) for abelian groups A by using different facts and methods from group theory and homotopy theory: derived functors, the Carlsson simplicial construction, the Baues-Goerss spectral sequence, homotopy decompositions and the methods of algebraic K-theory. As the applications, we also determine π_i(ΣK(G,1)) with i=4,5 for some non-abelian groups G=Σ_3 and SL(Z), and π_4(ΣK(A_4,1)) for the 4-th alternating group A_4.
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $Δ$-complexes, respectively. The functors of classifying spaces and face posets are compatible with these homotopy theories. In contrast with the classical settings of finite spaces and simplicial complexes, the universality of morphisms and simplices plays a central role in this paper.
Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we prove that this is possible for the category of functors indexed a small category I which assign to any morphism in I a weak equivalence in a given model category. We identify the homotopy type of this category with the mapping space out of the nerve of I into the classifying space of the space of weak equivalences of values of these functors. We use it to re…
Small Bénabou's bicategories and, in particular, Mac Lane's monoidal categories, have well-understood classifying spaces, which give geometric meaning to their cells. This paper contains some contributions to the study of the relationship between bicategories and the homotopy types of their classifying spaces. Mainly, generalizations are given of Quillen's Theorems A and B to lax functors between bicategories.
This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate `nerves of C' are homotopy equivalent. Any one of these realizations could therefore be taken as the classifying space BC of the bicategory. Its other major result proves a direct extension of Thomason's `Homotopy Colimit Theorem' to bicategories: When the homotopy colimit construction is carried out on a diagram of spaces obtained by applying the classifying spa…
We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain paracompactness condition on \X, we show that X is actually well-defined up to homotopy equivalence. These results are formulated in terms of functors from the category of topological stacks to the (weak) homotopy category of topological spaces. We prove similar results for (small) diagrams of topological stacks.
In this paper we propose a new treatment about infinite dimensional manifolds, using the language of category and functor. Our definition of infinite dimensional manifolds is a natural generalization of finite dimensional manifolds in the sense that de Rham cohomology and singular cohomology can be naturally defined and the basic properties (Functorial Property, Homotopy Invariant, Mayer-Vietoris Sequence) are preserved. In this setting we define the classifying space $BG$ of Lie group $G$ as an infinite dimensional manifold. Using simplicial homotopy theory and the Chern-Weil theory for princ…
Let $G$ be a compact connected Lie group and let $ξ,ν$ be complex vector bundles over the classifying space $BG$. The problem we consider is whether $ξ$ contains a subbundle which is isomorphic to $ν$. The necessary condition is that for every prime $p$ the restriction $ξ|_{BN_p^G}$, where $N_p^G$ is a maximal $p$-toral subgroup of $G$, contains a subbundle isomorphic to $ν|_{BN_p^G}$. We provide a criterion when this condition is sufficient, expressed in terms of $Λ^*$-functors of Jackowski, McClure \& Oliver and we prove that this criterion applies if $ν$ is a universal bundle over $BU(n)$. …
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…
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In this paper, it is proven that, when a certain bicategorical Grothendieck construction is performed on a lax diagram of bicategories, then the classifying space of the resulting bicategory can be though…
In this note, we study equivariant versions of Stolz' $R$-groups, the positive scalar curvature structure groups $R^{\rm spin}_n(X)^G$, for proper actions of discrete groups $G$. We define the concept of a fundamental groupoid functor for a $G$-space, encapsulating all the fundamental group information of all the fixed point sets and their relations. We construct classifying spaces for fundamental groupoid functors. As a geometric result, we show that Stolz' equivariant $R$-group $R^{\rm spin}_n(X)^G$ depends only on the fundamental groupoid functor of the reference space $X$. The proof covers…
In "Homotopy decomposition of classifying spaces via elementary Abelian subgroups", Stephan Jackowski and James McClure show, for functors admitting a Mackey complement over categories holding a direct product, a general result on vanishing cohomology. We develop a framework leading to a general result on trivial homotopy which partially generalizes Jackowski and McClure's result in two different directions.
The description of algebraic structure of n-fold loop spaces can be done either using the formalism of topological operads, or using variations of Segal's $Γ$-spaces. The formalism of topological operads generalises well to different categories yielding such notions as $\mathbb E_n$-algebras in chain complexes, while the $Γ$-space approach faces difficulties. In this paper we discuss how, by attempting to extend the Segal approach to arbitrary categoires, one arrives to the problem of understanding "weak" sections of a homotopical Grothendieck fibration. We propose a model for such sections, c…
Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group. Moreover the morphisms of topological groups defined on the loop space of X generate all the bundles over X up to equivalence. In this paper, we show that the relationship between Milnor's loop space and the classifying space functor is, in a precise sense, an adjoint pair between based spaces and topological groups in a homotopical context. This proof leads to …
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of monoids and of conormality for maps of comonoids in M. These notions generalize both principal bundles and crossed modules and are preserved by nice enough monoidal functors, such as the normaliized chain complex functor. We provide several explicit classes of examples of homotopy-normal and of homotopy-conormal maps, when M is the category of simplicial sets …
We extend Thomason's homotopy colimit construction in the category of permutative categories to categories of algebras over an arbitrary $\Cat$ operad and analyze its properties. We then use this homotopy colimit to prove that the classifying space functor induces an equivalence between the category of $n$-fold monoidal categories and the category of $\mathcal{C}_n$-spaces after formally inverting certain classes of weak equivalences, where $\mathcal{C}_n$ is the little $n$-cubes operad. As a consequence we obtain an equivalence of the categories of $n$-fold monoidal categories and the categor…
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and here we deal with homotopy types represented by double groupoids satisfying a natural `filling condition'. Any such double groupoid characteristically has associated to it `homotopy groups', which are defined using only its algebraic structure. Thus arises the notion of `weak equivalence' between such double groupoids, and a corresponding `homotopy category…
The talk was done at the International Conference "Analysis, Topology and Applications", Harbin, China, 23.08.2011. Transitive Lie algebroids have specific properties that allow to look at the transitive Lie algebroid as an element of the object of a homotopy functor. Roughly speaking each transitive Lie algebroids can be described as a vector bundle over the tangent bundle of the manifold which is endowed with additional structures. Therefore transitive Lie algebroids admits a construction of inverse image generated by a smooth mapping of smooth manifolds. The intention of my talk is to use a…
Parametrized $\underline{\mathbb{F}}_2$-Cohomology of $B_{C_2}O(1)$
University of Colorado, Boulder（科罗拉多大学博尔德分校）；University of Wisconsin-Eau Claire（威斯康星大学欧克莱尔分校）；University of Bristol（布里斯托大学）；TU Darmstadt（达姆施塔特工业大学）；University of Rochester（罗切斯特大学）
For a subring $R$ of the rational numbers, we study $R$-localization functors in the local homotopy theory of simplicial presheaves on a small site and then in ${\mathbb A}^1$-homotopy theory. To this end, we introduce and analyze two notions of nilpotence for spaces in ${\mathbb A}^1$-homotopy theory paying attention to future applications for vector bundles. We show that $R$-localization behaves in a controlled fashion for the nilpotent spaces we consider. We show that the classifying space $BGL_n$ is ${\mathbb A}^1$-nilpotent when $n$ is odd, and analyze the (more complicated) situation whe…
