Related papers: Secondary derived functors and the Adams spectral …
We introduce higher analytic geometry, a novel framework extending Lurie's derived complex analytic spaces. This theory generalizes classical complex analytic geometry, enabling the study of derived K\"ahler spaces with non-trivial higher…
Given an adjunction connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to…
We prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let $\mathscr{X}$ denote an additive category with finite direct sums and split…
Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical…
Categorification is a process of lifting structures to a higher categorical level. The original structure can then be recovered by means of the so-called "decategorification" functor. Algebras are typically categorified to additive…
We develop a homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral…
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…
We study the role of the Serre functor in the theory of derived equivalences. Let $\mathcal{A}$ be an abelian category and let $(\mathcal{U}, \mathcal{V})$ be a $t$-structure on the bounded derived category $D^b \mathcal{A}$ with heart…
Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been…
In this article we classify indecomposable objects of the derived categories of finitely-generated modules over certain infinite-dimensional algebras. The considered class of algebras (which we call nodal algebras) contains such well-known…
The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the…
We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the…
We prove that the magnitude (co)homology of an enriched category can, under some technical assumptions, be described in terms of derived functors between certain abelian categories. We show how this statement is specified for the cases of…
We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual…
The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector…
A category structure for Bratteli diagrams is proposed and a functor from the category of AF algebras to the category of Bratteli diagrams is constructed. Since isomorphism of Bratteli diagrams in this category coincides with Bratteli's…
We show that the functor from curved differential graded algebras to differential graded categories, defined by the second author in [B], sends Cartesian diagrams to homotopy Cartesian diagrams, under certain reasonable hypotheses. This is…
We set up a homological algebra for N-complexes, which are graded modules together with a degree -1 endomorphism d satisfying d^N=0. We define Tor- and Ext-groups for N-complexes and we compute them in terms of their classical counterparts…
The realization problem asks: When does an algebraic complex arise, up to homotopy, from a geometric complex? In the case of 2- dimensional algebraic complexes, this is equivalent to the D2 problem, which asks when homological methods can…
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.…