Related papers: Homotopy types of strict 3-groupoids

The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the…

We show that the complex of free factors of a free group of rank n > 1 is homotopy equivalent to a wedge of spheres of dimension n-2. We also prove that for n > 1, the complement of (unreduced) Outer space in the free splitting complex is…

Homotopy 3-types can be modelled algebraically by Tamsamani's weak 3-groupoids as well as, in the path-connected case, by cat^2-groups. This paper gives a comparison between the two models in the path-connected case. This leads to two…

A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…

For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…

In previous work, we related homotopy types of finite $(G,n)$-complexes when $G$ has periodic cohomology to projective $\mathbb{Z} G$-modules representing the Swan finiteness obstruction. We use this to determine when $X \vee S^n \simeq Y…

We characterise the set of fundamental groups for which there exist $n$-manifolds that are $h$-cobordant (hence homotopy equivalent) but not simple homotopy equivalent, when $n$ is sufficiently large. In particular, for $n \ge 12$ even, we…

We obtain a number of finiteness results for groups acting on Gromov-hyperbolic spaces. In particular we show that a torsion-free locally quasiconvex hyperbolic group has only finitely many conjugacy classes of $n$-generated one-ended…

We classify all real and strongly real classes of the finite special unitary group $SU_n(q)$. Unless $q \equiv 3 (mod 4)$ and $n |4$, the classification of real classes is similar to that of the finite special linear group $SL_n(q)$. We…

The notion of geometric nerve of a 2-category (Street, \cite{refstreet}) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax…

Under mild assumptions on a group G, we prove that the class of complete Riemannian n-manifolds of uniformly bounded negative sectional curvatures and with the fundamental groups isomorphic to G breaks into finitely many tangential homotopy…

In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories $E$, and use these to study model structures on categories of chain…

Let $G$ be a finite group and ${\rm cd}(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group with socle $H_{0}= \, ^{2}{\rm G}_{2}(q)$,…

We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a…

Viewing Kan complexes as $\infty$-groupoids implies that pointed and connected Kan complexes are to be viewed as $\infty$-groups. A fundamental question is then: to what extent can one "do group theory" with these objects? In this paper we…

Let $M$ be an orientable, simply-connected, closed, non-spin 4-manifold and let $\mathcal{G}_k(M)$ be the gauge group of the principal $G$-bundle over $M$ with second Chern class $k\in\mathbb{Z}$. It is known that the homotopy type of…

In the topological category, the classification of homotopy ribbon discs is known when the fundamental group $G$ of the exterior is $\mathbb{Z}$ and the Baumslag-Solitar group $BS(1,2)$. We prove that if a group $G$ is geometrically…

We show that if X is any proper complex variety, there is a weight decomposition on the real schematic homotopy type, in the form of an algebraic G_m-action. This extends to a real Hodge structure, in the form of a discrete C^*-action, such…

We show that all homotopy $\mathbb{C}P^n$s, smooth closed manifolds with the oriented homotopy type of $\mathbb{C}P^n$, admit almost complex structures for $3 \leq n \leq 6$, and classify these structures by their Chern classes. Our methods…

In this paper we show that both the homotopy category of strict $n$-categories, $1\leqslant n \leqslant \infty$, and the homotopy category of Steiner's augmented directed complexes are equivalent to the category of homotopy types. In order…