Related papers: Thick subcategories in stable homotopy theory

We recapture Douglas' framework for twisted parametrized stable homotopy theory in the language of $\infty$- categories. A twisted spectrum is essentially a section of a bundle of presentable stable $\infty$-categories whose fiber is the…

We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we…

The topological Hochschild homology of a ring (or ring spectrum) $R$ is an $S^1$-spectrum, and the fixed points of THH($R$) for subgroups $C_n\subset S^1$ have been widely studied due to their use in algebraic K-theory computations.…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

The language of homotopy type theory has proved to be appropriate as an internal language for various higher toposes, for example with Synthetic Algebraic Geometry for the Zariski topos. In this paper we apply such techniques to the higher…

We use homotopy theory to extend the notion of strong and weak topological insulators to the non-stable regime (low numbers of occupied/empty energy bands). We show that for strong topological insulators in d spatial dimensions to be "truly…

We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…

We introduce the notion of solid monoid and rigid monoid in monoidal categories and study the formal properties of these objects in this framework. We show that there is a one to one correspondence between solid monoids, smashing…

We construct a motivic homotopy theory for rigid analytic varieties with the rigid analytic affine line $\mathbb{A} ^1_\mathrm{rig}$ as an interval object. This motivic homotopy theory is inspired from, but not equal to, Ayoub's motivic…

We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor,…

We consider embeddings of a finite complex in a sphere. We give a homotopy theoretic classification of such embeddings in a wide range.

For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…

We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…

Symmetric spectra were introduced by Jeff Smith as a symmetric monoidal category of spectra. In this paper, a detection functor is defined which detects stable equivalences of symmetric spectra. This detection functor is useful because the…

We prove a version of J.P. May's theorem on the additivity of traces, in symmetric monoidal stable $\infty$-categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an…

We study a condensed version of the \'etale homotopy type of a scheme, which refines both the usual \'etale homotopy type of Friedlander-Artin-Mazur and the pro\'etale fundamental group of Bhatt-Scholze. In the first part of this paper, we…

With the aim of understanding Morel's result on the $\mathbb{A}^1$-homotopy sheaves over a field, we extend the theory of unstable spectral sequences of Bousfield and Kan in the $\infty$-categorical setting. With this natural extension,…

Homology decomposition techniques are a powerful tool used in the analysis of the homotopy theory of (classifying) spaces. The associated Bousfield-Kan spectral sequences involve higher derived limits of the inverse limit functor. We study…