Related papers: On minimal models in integral homotopy theory

We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study…

Let $\ell$ be a commutative ring with unit. To every pair of $\ell$-algebras $A$ and $B$ one can associate a simplicial set $\hom(A,B^\Delta)$ so that $\pi_0\hom(A,B^\Delta)$ equals the set of polynomial homotopy classes of morphisms from…

We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen…

Given a small simplicial category $\C$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\C$ where the weak…

We give a new characterisation of virtually free groups using graph minors. Namely, we prove that a finitely generated, infinite group is virtually free if and only if for any finite generating set, the corresponding Cayley graph is minor…

Let $X$ be a locally symmetric space $\Gamma\backslash G/K$ where $G$ is a connected non-compact semisimple real Lie group with trivial centre, $K$ is a maximal compact subgroup of $G$, and $\Gamma\subset G$ is a torsion-free irreducible…

This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…

Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations $$ X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_{\pi}^*(X), $$ where $G$ and $\pi$ denote, respectively, subgroups of the free and pointed homotopy…

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

We consider locally symmetric manifolds with a fixed universal covering, and construct for each such manifold M a simplicial complex R whose size is proportional to the volume of M. When M is non-compact, R is homotopically equivalent to M,…

Given a commutative ring $R$, a $\pi_1$-$R$-equivalence is a continuous map of spaces inducing an isomorphism on fundamental groups and an $R$-homology equivalence between universal covers. When $R$ is an algebraically closed field, Raptis…

Let G be a connected reductive complex affine algebraic group, and let X denote the moduli space of G-valued representations of a rank r free group. We first characterize the singularities in X, extending a theorem of Richardson and proving…

For a given null-cobordant Riemannian $n$-manifold, how does the minimal geometric complexity of a null-cobordism depend on the geometric complexity of the manifold? In [Gro99], Gromov conjectured that this dependence should be linear. We…

Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this…

Greenlees has conjectured that the rational stable equivariant homotopy category of a compact Lie group always has an algebraic model. Based on this idea, we show that the category of rational local systems on a connected finite loop space…

Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

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 give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…

We show that if all the finite coset spaces of a polycyclic group have diameter bounded uniformly below by a polynomial in their size then the group is virtually nilpotent. We obtain the same conclusion for a finitely generated residually…