Related papers: Fat realization and Segal's classifying space

We show that Segal spaces, and more generally category objects in an $\infty$-category $\mathcal{C}$, can be identified with associative algebras in the double $\infty$-category of spans in $\mathcal{C}$. We use this observation to prove…

This article deals with fat bundles. Berard-Bergery classified all homogeneous bundles of that type. We ask a question of a possibility to generalize his description in the case of arbitrary G-structures over homogeneous spaces. We obtain…

Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an…

We introduce combinatorial types of arrangements of convex bodies, extending order types of point sets to arrangements of convex bodies, and study their realization spaces. Our main results witness a trade-off between the combinatorial…

Let $q$ be a prime power, $\ell$ a prime not dividing $q$, and $e$ the order of $q$ modulo $\ell$. We show that the geometric realisation of the nerve of the transporter category of $e$-split Levi subgroups of a finite reductive group $G$…

The aim of this paper is to show that the most elementary homotopy theory of $\mathbf{G}$-spaces is equivalent to a homotopy theory of simplicial sets over $\mathbf{BG}$, where $\mathbf{G}$ is a fixed group. Both homotopy theories are…

We consider the problem of whether, for a given virtually torsionfree discrete group $\Gamma$, there exists a cocompact proper topological $\Gamma$-manifold, which is equivariantly homotopy equivalent to the classifying space for proper…

We regard the classification of rational homotopy types as a problem in algebraic deformation theory: any space with given cohomology is a perturbation, or deformation, of the "formal" space with that cohomology. The classifying space is…

Self equivalences of classifying spaces of $p$-local compact groups are well understood by means of the algebraic structure that gives rise to them, but explicit descriptions are lacking. In this paper we use a construction of Robinson of…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…

The main purpose of this paper is to introduce a new smooth version of a CW complex named a fat CW complex, and to show that it includes all closed manifolds, because existing smooth versions of CW complexes (e.g. [Iwa22]) do not have such…

Univalence, originally a type theoretical notion at the heart of Voevodsky's Univalent Foundations Program, has found general importance as a higher categorical property that characterizes descent and hence classifying maps in…

Let ${\cal O}$ be a quantizable coadjoint orbit of a semisimple Lie group $G$. Under certain hypotheses we prove that $#(\pi_1(\text{Ham}({\cal O})))\geq #(Z(G))$, where $\text{Ham}({\cal O})$ is the group of Hamiltonian symplectomorphisms…

In this paper, we extend a result of Lafont and M{\'e}tayer and prove that the polygraphic homology of a small category, defined in terms of polygraphic resolutions in the category $\omega$Cat of strict $\omega$-categories, is naturally…

For a locally finite connected graph $X$ we consider the group $Maps(X)$ of proper homotopy equivalences of $X$. We show that it has a natural Polish group topology, and we propose these groups as an analog of big mapping class groups. We…

Given a family of model categories $\cal E \to \cal C$, we associate to it a homotopical category of derived, or Segal, sections $DSect(\cal C,\cal E)$ that models the higher-categorical sections of the localisation $L\cal E \to \cal C$.…

We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove…

We classify compact 2-connected homogeneous spaces with the same rational cohomology as a product of spheres. This classification relies on spectral sequences, homotopy theory, and representation theory. We then apply this classification to…

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…