Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$, I an $\mathfrak{m}$-primary ideal. Let N be a nonzero finitely generated A-module. Consider the functions

\begin{equation*}t^I(N, n) = \sum_{i = 0}^{d}\ell(\text{Tor}^A_i(N, A/I^n)) \ \text{and}\ e^I(N, n) = \sum_{i = 0}^{d}\ell(\text{Ext}_A^i(N, A/I^n))\end{equation*}

of polynomial type and let their degrees be $t^I(N) $ and $e^I(N)$. We prove that $t^I(N) = e^I(N) = \max\{\dim N, d -1 \}$. A crucial ingredient in the proof is that $D^b(A)_f$, the bounded derived category of A with finite length cohomology, has no proper thick subcategories.

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure quotients and pure extensions, as well as providing a way to show the existence of approximations. One key ingredient is a new characterization of phantom maps. We then introduce an axiomatic form of Auslander–Gruson–Jensen duality, from which we define dual definable categories, and show that these coincide with symmetric coproduct closed duality pairs. This framework is ubiquitous, encompassing both algebraic triangulated categories and stable homotopy theories. Accordingly, we provide many applications in both settings, with a particular emphasis on silting theory and stratified tensor-triangulated categories.

Given any commutative Noetherian ring R and an element x in R, we consider the full subcategory $\mathsf{C}(x)$ of its singularity category consisting of objects for which the morphism that is given by the multiplication by x is zero. Our main observation is that we can establish a relation between $\mathsf{C}(x), \mathsf{C}(y)$ and $\mathsf{C}(xy)$ for any two ring elements x and y. Utilizing this observation, we obtain a decomposition of the singularity category and consequently an upper bound on the dimension of the singularity category.

In the derived category of a commutative noetherian ring, we explicitly construct a silting object associated with each sp-filtration of the Zariski spectrum satisfying the “slice” condition. Our new construction is based on local cohomology and it allows us to study when the silting object is tilting. For a ring admitting a dualizing complex, this occurs precisely when the sp-filtration arises from a codimension function on the spectrum. In the absence of a dualizing complex, the situation is more delicate and the tilting property is closely related to the condition that the ring is a homomorphic image of a Cohen–Macaulay ring. We also provide dual versions of our results in the cosilting case.

We consider a Deligne–Mumford stack $X$ which is the quotient of an affine scheme $\operatorname {Spec}A$ by the action of a finite group $G$ and show that the Balmer spectrum of the tensor triangulated category of perfect complexes on $X$ is homeomorphic to the space of homogeneous prime ideals in the group cohomology ring $H^*(G,A)$.

Let R be a commutative Noetherian ring. We prove that if R is either an equidimensional finitely generated algebra over a perfect field, or an equidimensional equicharacteristic complete local ring with a perfect residue field, then the annihilator of the singularity category of R coincides with the Jacobian ideal of R up to radical. We establish a relationship between the annihilator of the singularity category of R and the cohomological annihilator of R under some mild assumptions. Finally, we give an upper bound for the dimension of the singularity category of an equicharacteristic excellent local ring with isolated singularity. This extends a result of Dao and Takahashi to non-Cohen–Macaulay rings.

A celebrated result by Orlov states that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of geometric origin, i.e. it is a Fourier–Mukai functor. In this paper we prove that any smooth projective variety of dimension $\ge 3$ equipped with a tilting bundle can serve as the source variety of a non-Fourier–Mukai functor between smooth projective schemes.

A local ring R is regular if and only if every finitely generated R-module has finite projective dimension. Moreover, the residue field k is a test module: R is regular if and only if k has finite projective dimension. This characterization can be extended to the bounded derived category $\mathsf {D}^{\mathsf f}(R)$ , which contains only small objects if and only if R is regular. Recent results of Pollitz, completing work initiated by Dwyer–Greenlees–Iyengar, yield an analogous characterization for complete intersections: R is a complete intersection if and only if every object in $\mathsf {D}^{\mathsf f}(R)$ is proxy small. In this paper, we study a return to the world of R-modules, and search for finitely generated R-modules that are not proxy small whenever R is not a complete intersection. We give an algorithm to construct such modules in certain settings, including over equipresented rings and Stanley–Reisner rings.

In previous work, based on the work of Zwara and Yoshino, we defined and studied degenerations of objects in triangulated categories analogous to the degeneration of modules. In triangulated categories ${\mathcal{T}}$, it is surprising that the zero object may degenerate. We show that the triangulated subcategory of ${\mathcal{T}}$ generated by the objects that are degenerations of zero coincides with the triangulated subcategory of ${\mathcal{T}}$ consisting of the objects with a vanishing image in the Grothendieck group $K_{0}({\mathcal{T}})$ of ${\mathcal{T}}$.

We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or are local quotient stacks. We also extend Toën and Antieau–Gepner’s results on derived Azumaya algebras and compact generation of sheaves on linear categories from derived schemes to derived Deligne–Mumford stacks. These are all consequences of our main theorem: compact generation of a presheaf of triangulated categories on an algebraic stack is local for the quasi-finite flat topology.

Given a finitely generated module over a commutative noetherian ring that satisfies certain reflexivity conditions, we show how failure of the semidualizing property for the module manifests in a disconnection of the prime spectrum of the ring.

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 subcategories of finitely generated modules over strict local complete intersections and produce generators for the category of coherent sheaves on a separated Noetherian scheme with an ample family of line bundles.

We develop some basic homological theory of hopfological algebra as defined by Khovanov [Hopfological algebra and categorification at a root of unity: the first steps, Preprint (2006), arXiv:math/0509083v2]. Several properties in hopfological algebra analogous to those of usual homological theory of DG algebras are obtained.