Related papers: Homotopy nilpotent groups and their associated fun…
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 "On o-minimal homotopy groups", o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally…
Consider a connected manifold of dimension at least two and the group of compactly supported diffeomorphisms that are compactly supported isotopic to the identity. This group acts $n$-transitive: Any tuple of $n$ points can be moved to any…
We show that almost nonnegatively curved m-dimensional manifolds are, up to finite cover, nilpotent spaces in the sense of homotopy theory and have C(m)-nilpotent fundamental groups. We also show that up to a finite cover almost…
In 2004, Cs\"{o}rg\H{o} constructed a loop of nilpotency class three with abelian group of inner mappings. Until now, no other examples were known. We construct many such loops from groups of nilpotency class two by replacing the product…
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small…
We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property.
We describe the connected components of the space $\text{Hom}(\Gamma,SU(2))$ of homomorphisms for a discrete nilpotent group $\Gamma$. The connected components arising from homomorphisms with non-abelian image turn out to be homeomorphic to…
Let M be a topological manifold modelled on topological vector spaces, which is the union of an ascending sequence of such manifolds M_n. We formulate a mild condition ensuring that the k-th homotopy group of M is the direct limit of the…
We introduce a special class of powerful $p$-groups that we call powerfully nilpotent groups that are finite $p$-groups that possess a central series of a special kind. To these we can attach the notion of a powerful nilpotence class that…
We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and…
This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets,…
Let $M$ be a topological monoid with homotopy group completion $\Omega BM$. Under a strong homotopy commutativity hypothesis on $M$, we show that $\pi_k (\Omega BM)$ is the quotient of the monoid of free homotopy classes $[S^k, M]$ by its…
In this article we study the homology of spaces ${\rm Hom}(\mathbb{Z}^n,G)$ of ordered pairwise commuting $n$-tuples in a Lie group $G$. We give an explicit formula for the Poincare series of these spaces in terms of invariants of the Weyl…
We show that the category of N-complexes has a Str\om model structure, meaning the weak equivalences are the chain homotopy equivalences. This generalizes the analogous result for the category of chain complexes (N = 2). The trivial objects…
We study the asymptotic behavior of the homotopy groups of simply connected finite $p$-local complexes, and define a space to be locally hyperbolic if its homotopy groups have exponential growth. Under some certain conditions related to the…
Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…
We show that under mild hypotheses on a proper algebraic space $X$, the functors of taking its symmetric powers and its \'{e}tale realisation commute up to weak equivalence. We conclude an effective version of the Dold-Thom theorem for the…
We first show that simply connected co-$H$-spaces and connected $H$-spaces can be uniquely decomposed into prime factors in the homotopy category of pointed $p$-local spaces of finite type, which is used to develop a $p$-local version of…
Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…