Related papers: Heaps and unpointed stable homotopy theory

Given a type A in homotopy type theory (HoTT), we can define the free infinity-group on A as the loop space of the suspension of A+1. Equivalently, this free higher group can be defined as a higher inductive type F(A) with constructors unit…

We provide a formulation of the univalence axiom in a universe category model of dependent type theory that is convenient to verify in homotopy-theoretic settings. We further develop a strengthening of the univalence axiom, called pointed…

We give an alternative to the stable classification of p-completed homotopy types of classifying spaces of finite groups offered by Martino-Priddy. For a finite group G with Sylow subgroup S, we regard the stable p-completed classifying…

This paper identifies the homotopy theories of topological stacks and orbispaces with unstable global homotopy theory. At the same time, we provide a new perspective by interpreting it as the homotopy theory of `spaces with an action of the…

We prove a homotopy invariance result for a certain covering space of the space of ordered configurations of two points in $M \times X$ where $M$ is a closed smooth manifold and $X$ is any fixed aspherical space which is not a point.

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

We give a classification of the $p$--local stable homotopy type of $BG$, where $G$ is a finite group, in purely algebraic terms. $BG$ is determined by conjugacy classes of homomorphisms from $p$--groups into $G$. This classification greatly…

We describe a group theoretic condition which ensures that any cellular action of a group satisfying this condition on a CAT(0) cube complex has a global fixed point. In particular, we show that this fixed point criterion is satisfied by…

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 show that any non abelian free group $\F$ is strongly $\aleph_0$-homogeneous, i.e. that finite tuples of elements which satisfy the same first-order properties are in the same orbit under $\Aut(\F)$. We give a characterization of…

The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms…

We revisit the problem of classifying topological band structures in non-Hermitian systems. Recently, a solution has been proposed, which is based on redefining the notion of energy band gap in two different ways, leading to the so-called…

Suppose that the origin is globally asymptotically stable under a set of continuous vector fields on Euclidean space and suppose that all those vector fields come equipped with -- possibly different -- convex Lyapunov functions. We show…

Homology of the group Aut(F_n) of automorphisms of a free group on n generators is known to be independent of n in a certain stable range. Using tools from homotopy theory, we prove that in this range it agrees with homology of symmetric…

In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on…

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

In this paper, we determine the homotopy groups \pi_4(\Sigma K(A,1)) and \pi_5(\Sigma K(A,1)) for abelian groups A by using different facts and methods from group theory and homotopy theory: derived functors, the Carlsson simplicial…

We discuss the finiteness of the topological entropy of continuous endomorphims for some classes of locally compact groups. Firstly, we focus on the abelian case, imposing the condition of being compactly generated, and note an interesting…

We prove that the category $\textbf{G-Cat}$ of small categories with $G$-action forms a model of unstable $G$-global homotopy theory for every discrete group $G$, generalizing Schwede's global model structure on $\textbf{Cat}$. As a…

For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group,…