Related papers: Coherent cochain complexes and Beilinson t-structu…
In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…
We establish a connection between two settings of representation stability for the symmetric groups $S_n$ over $\mathbb{C}$. One is the symmetric monoidal category ${\rm Rep}(S_{\infty})$ of algebraic representations of the infinite…
We develop a theory of completeness for weight structures on stable categories, dual to the theory of complete t-structures. As in the bounded case, we show that complete weight structures are determined by their weight heart, giving rise…
We construct a co-$t$-structure on the derived category of coherent sheaves on the nilpotent cone $\mathcal{N}$ of a reductive group, as well as on the derived category of coherent sheaves on any parabolic Springer resolution. These…
Exact sequences are a well known notion in homological algebra. We investigate here the more vague properties of 'homotopical exactness', appearing for instance in the fibre or cofibre sequence of a map. Such notions of exactness can be…
This paper lays some of the foundations for working with not-necessarily-commutative bialgebras and their categories of comodules in $\infty$-categories. We prove that the categories of comodules and modules over a bialgebra always admit…
Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…
We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…
Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…
In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…
We prove that given any strong, stable derivator and a $t$-structure on its base triangulated category $\cal D$, the $t$-structure canonically lifts to all the (coherent) diagram categories and each incoherent diagram in the heart uniquely…
It is common to encounter symmetric monoidal categories $\mathcal{C}$ for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal product and unit in $\mathcal{C}$. We define this formally…
In previous work with Niles Johnson the author constructed a spectral sequence for computing homotopy groups of spaces of maps between structured objects such as G-spaces and E_n-ring spectra. In this paper we study special cases of this…
On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime…
The classical Dold-Kan correspondence is known to admit a categorification in the form of an equivalence between the $\infty$-categories of $2$-simplicial stable $\infty$-categories and connective chain complexes of stable…
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…
Given a filtration of a commutative monoid $A$ in a symmetric monoidal stable model category $\mathcal{C}$, we construct a spectral sequence analogous to the May spectral sequence whose input is the higher order topological Hochschild…
It is proved that if a ring is left hereditary, left perfect and right coherent, then the stable category has cokernels. Moreover, we show that the condition for a ring to be left perfect and right coherent is also necessary for the stable…