Related papers: Comparison of the geometric bar and W-construction…

In this paper, we introduce a simplicial analog of classifying spaces for commutativity which classify principal bundles with commutativity structure on their transition functions. Our construction $\overline W(\tau,K)$, which takes as…

We explain why geometric realization commutes with Cartesian products and why the geometric realization of a simplicial set (resp. cyclic set) is equipped with an action of the group of orientation preserving homeomorphisms of the segment…

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…

We prove that the spatial realization of a rational complete Lie algebra $L$, concentrated in degree 0, is isomorphic to the simplicial bar construction on the group, obtained from the Baker-Campbell-Hausdorff product on $L$.

Wright showed that, if a 1-ended simply connected locally compact ANR Y with pro-monomorphic fundamental group at infinity admits a proper Z-action, then that fundamental group at infinity can be represented by an inverse sequence of…

Let $G_\Gamma$ be a graph product over a finite simplicial graph $\Gamma$, and let $K_\Gamma$ denote the kernel of the canonical homomorphism from $G_\Gamma$ to the direct product of its vertex groups. It is known that, up to isomorphism,…

We interpret a construction of geometric realisation by [Besser], [Grayson], and [Drinfeld] of a simplicial set as constructing a space of maps from the interval to a simplicial set, in a certain formal sense, reminiscent of the Skorokhod…

We show that any action of a finite group on a finitely presentable group arises as the action of the group of self-homotopy equivalences of a space on its fundamental group. In doing so, we prove that any finite connected (abstract)…

In this paper we describe a classifying theory for families of simplicial topological groups. If $B$ is a topological space and $G$ is a simplicial topological group, then we can consider the non-abelian cohomology $H(B,G)$ of $B$ with…

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…

The classical universal bundle functor W:sGrp(C) \to sSet(C) for simplicial groups in a category C with finite products lifts to a monad on sGrp(C). This result extends to simplicial algebras for any Lawvere theory containing that of…

We give a fully constructive proof that there is a proper cartesian $\omega$-combinatorial model structure on the category of simplicial sets, whose generating cofibrations and trivial cofibrations are the usual boundary inclusion and horn…

Let $G$ be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface $X \subseteq \mathbb{S}^2$. We prove that $G$ admits such an action that is in addition co-compact, provided we can…

Let G be a simple and simply connected complex linear algebraic group. In this paper, we discuss the generalization of the parabolic construction of holomorphic principal G-bundles over a smooth elliptic curve to the case of a singular…

Given a manifold with corners $X$, we associates to it the corner structure simplicial complex $\Sigma_X$. Its reduced K-homology is isomorphic to the K-theory of the $C^*$-algebra $\mathcal{K}_b(X)$ of b-compact operators on $X$. Moreover,…

Let $Y$ be a CW-complex with a single 0-cell, let $K$ be its Kan group, a free simplicial group whose realization is a model for the space $\Omega Y$ of based loops on $Y$, and let $G$ be a Lie group, not necessarily connected. By means of…

We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of…

We construct bundles $E_k(\A,\F) \to M$ over the complement $M$ of a complex hyperplane arrangement \A, depending on an integer $k \geq 1$ and a set $\F=\{f_1, \ldots, f_\mu\}$ of continuous functions $f_i \colon M \to \C$ whose differences…

We prove that certain families of Coxeter groups and inclusions $W_1\hookrightarrow W_2\hookrightarrow...$ satisfy homological stability, meaning that in each degree the homology $H_\ast(BW_n)$ is eventually independent of $n$. This gives a…

We prove that a tracially continuous W$^*$-bundle $\mathcal{M}$ over a compact Hausdorff space $X$ with all fibres isomorphic to the hyperfinite II$_1$-factor $\mathcal{R}$ that is locally trivial already has to be globally trivial. The…