Dualities of resolving subcategories of module categories over rings are introduced and characterized as dualities with respect to Wakamatsu tilting bimodules. By restriction of the dualities to smaller resolving subcategories, sufficient and necessary conditions for these bimodules to be tilting are provided. This leads to the Gorenstein version of both the Miyashita’s duality and Huisgen-Zimmermann’s correspondence. An application of resolving dualities is to show that higher algebraic K-groups and semi-derived Ringel–Hall algebras of finitely generated Gorenstein-projective modules over Artin algebras are preserved under tilting.

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.

Hearts of cotorsion pairs on extriangulated categories are abelian categories. On the other hand, hearts of twin cotorsion pairs are not always abelian. They were shown to be semi-abelian by Liu and Nakaoka. Moreover, Hassoun and Shah proved that they are quasi-abelian under certain conditions. In this article, we first show that the heart of any twin cotorsion pair has a largest exact category structure and is always quasi-abelian. We also provide a sufficient and necessary condition for the heart of a twin cotorsion pair being abelian. Then by using the results we have got, we investigate the almost split sequences in the hearts of twin cotorsion pairs. Finally, as an application, we show that a Krull–Schmidt, Hom-finite triangulated category has a Serre functor whenever it has a cluster tilting object.

We explore when the silting-discreteness is inherited. As a result, one obtains that taking idempotent truncations and homological epimorphisms of algebras transmit the silting-discreteness. We also study classification of silting-discrete simply-connected tensor algebras and silting-indiscrete self-injective Nakayama algebras. This paper contains two appendices; one states that every derived-discrete algebra is silting-discrete, and the other is about triangulated categories whose silting objects are tilting.

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 the equivariant Kasparov category associated to an étale groupoid, and by leveraging its triangulated structure we study its localization at the ‘weakly contractible’ objects, extending previous work by R. Meyer and R. Nest. We prove the subcategory of weakly contractible objects is complementary to the localizing subcategory of projective objects, which are defined in terms of ‘compactly induced’ algebras with respect to certain proper subgroupoids related to isotropy. The resulting ‘strong’ Baum–Connes conjecture implies the classical one, and its formulation clarifies several permanence properties and other functorial statements. We present multiple applications, including consequences for the Universal Coefficient Theorem, a generalized ‘going-down’ principle, injectivity results for groupoids that are amenable at infinity, the Baum–Connes conjecture for group bundles, and a result about the invariance of K-groups of twisted groupoid $C^*$-algebras under homotopy of twists.

Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful.

Recently, a modified version of this was introduced in triangulated categories other than the derived category of a ring. A triangulated category is approximable if this modified procedure is possible. Not surprisingly this has proved a powerful tool. For example: the fact that $\mathsf {D}_{\mathsf {qc}}( X )$ is approximable when X is a quasi compact, separated scheme led to major improvements on old theorems due to Bondal, Van den Bergh and Rouquier.

In this article, we prove that, under weak hypotheses, the recollement of two approximable triangulated categories is approximable. In particular, this shows many of the triangulated categories that arise in noncommutative algebraic geometry are approximable. Furthermore, the lemmas and techniques developed in this article form a powerful toolbox which, in conjunction with the groundwork laid in [16], has interesting applications in existing and forthcoming work by the authors.

We describe a family of compactifications of the space of Bridgeland stability conditions of a triangulated category, following earlier work by Bapat, Deopurkar and Licata. We particularly consider the case of the 2-Calabi–Yau category of the $A_2$ quiver. The compactification is the closure of an embedding (depending on q) of the stability space into an infinite-dimensional projective space. In the $A_2$ case, the three-strand braid group $B_3$ acts on this closure. We describe two distinguished braid group orbits in the boundary, points of which can be identified with certain rational functions in q. Points in one of the orbits are exactly the q-deformed rational numbers recently introduced by Morier-Genoud and Ovsienko, while the other orbit gives a new q-deformation of the rational numbers. Specialising q to a positive real number, we obtain a complete description of the boundary of the compactification.

We introduce $q$-stability conditions $(\sigma,s)$ on Calabi–Yau-$\mathbb {X}$ categories $\mathcal {D}_\mathbb {X}$, where $\sigma$ is a stability condition on $\mathcal {D}_\mathbb {X}$ and $s$ a complex number. We prove the corresponding deformation theorem, that $\operatorname {QStab}_s\mathcal {D}_\mathbb {X}$ is a complex manifold of dimension $n$ for fixed $s$, where $n$ is the rank of the Grothendieck group of $\mathcal {D}_\mathbb {X}$ over $\mathbb {Z}[q^{\pm 1}]$. When $s=N$ is an integer, we show that $q$-stability conditions can be identified with the stability conditions on $\mathcal {D}_N$, provided the orbit category $\mathcal {D}_N=\mathcal {D}_\mathbb {X}/[\mathbb {X}-N]$ is well defined. To attack the questions on existence and deformation along the $s$ direction, we introduce the inducing method. Sufficient and necessary conditions are given, for a stability condition on an $\mathbb {X}$-baric heart (that is, a usual triangulated category) of $\mathcal {D}_\mathbb {X}$ to induce $q$-stability conditions on $\mathcal {D}_\mathbb {X}$. As a consequence, we show that the space $\operatorname {QStab}^\oplus \mathcal {D}_\mathbb {X}$ of (induced) open $q$-stability conditions is a complex manifold of dimension $n+1$. Our motivating examples for $\mathcal {D}_\mathbb {X}$ are coming from (Keller's) Calabi–Yau-$\mathbb {X}$ completions of dg algebras. In the case of smooth projective varieties, the $\mathbb {C}^*$-equivariant coherent sheaves on canonical bundles provide the Calabi–Yau-$\mathbb {X}$ categories. Another application is that we show perfect derived categories can be realized as cluster-$\mathbb {X}$ categories for acyclic quivers.

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 $\textsf{T}$ be a triangulated category with shift functor $\Sigma \colon \textsf{T} \to \textsf{T}$ . Suppose $(\textsf{A},\textsf{B})$ is a co-t-structure with coheart $\textsf{S} = \Sigma \textsf{A} \cap \textsf{B}$ and extended coheart $\textsf{C} = \Sigma^2 \textsf{A} \cap \textsf{B} = \textsf{S}* \Sigma \textsf{S}$ , which is an extriangulated category. We show that there is a bijection between co-t-structures $(\textsf{A}^{\prime},\textsf{B}^{\prime})$ in $\textsf{T}$ such that $\textsf{A} \subseteq \textsf{A}^{\prime} \subseteq \Sigma \textsf{A}$ and complete cotorsion pairs in the extended coheart $\textsf{C}$ . In the case that $\textsf{T}$ is Hom-finite, $\textbf{k}$ -linear and Krull–Schmidt, we show further that there is a bijection between complete cotorsion pairs in $\textsf{C}$ and functorially finite torsion classes in $\textsf{mod}\, \textsf{S}$ .

We propose a conjectural semiorthogonal decomposition for the derived category of the moduli space of stable rank 2 bundles with fixed determinant of odd degree, independently formulated by Narasimhan. We discuss some evidence for and furthermore propose semiorthogonal decompositions with additional structure.

We also discuss two other decompositions. One is a decomposition of this moduli space in the Grothendieck ring of varieties, which relates to various known motivic decompositions. The other is the critical value decomposition of a candidate mirror Landau–Ginzburg model given by graph potentials, which in turn is related under mirror symmetry to Muñoz’s decomposition of quantum cohomology. This corresponds to an orthogonal decomposition of the Fukaya category. We discuss how decompositions on different levels (derived category of coherent sheaves, Grothendieck ring of varieties, Fukaya category, quantum cohomology, critical sets of graph potentials) are related and support each other.

We study the Rouquier dimension of wrapped Fukaya categories of Liouville manifolds and pairs, and apply this invariant to various problems in algebraic and symplectic geometry. On the algebro-geometric side, we introduce a new method based on symplectic flexibility and mirror symmetry to bound the Rouquier dimension of derived categories of coherent sheaves on certain complex algebraic varieties and stacks. These bounds are sharp in dimension at most $3$. As an application, we resolve a well-known conjecture of Orlov for new classes of examples (e.g. toric $3$-folds, certain log Calabi–Yau surfaces). We also discuss applications to non-commutative motives on partially wrapped Fukaya categories. On the symplectic side, we study various quantitative questions including the following. (1) Given a Weinstein manifold, what is the minimal number of intersection points between the skeleton and its image under a generic compactly supported Hamiltonian diffeomorphism? (2) What is the minimal number of critical points of a Lefschetz fibration on a Liouville manifold with Weinstein fibers? We give lower bounds for these quantities which are to the best of the authors’ knowledge the first to go beyond the basic flexible/rigid dichotomy.

In earlier work, the author introduced a method for constructing a Frobenius categorification of a cluster algebra with frozen variables by starting from the data of an internally Calabi–Yau algebra, which becomes the endomorphism algebra of a cluster-tilting object in the resulting category. In this paper, we construct appropriate internally Calabi–Yau algebras for cluster algebras with polarized principal coefficients (which differ from those with principal coefficients by the addition of more frozen variables) and obtain Frobenius categorifications in the acyclic case. Via partial stabilization, we then define extriangulated categories, in the sense of Nakaoka and Palu, categorifying acyclic principal coefficient cluster algebras, for which Frobenius categorifications do not exist in general. Many of the intermediate results used to obtain these categorifications remain valid without the acyclicity assumption, as we will indicate, and are interesting in their own right. Most notably, we provide a Frobenius version of Van den Bergh’s result that the Ginzburg dg-algebra of a quiver with potential is bimodule $3$-Calabi–Yau.

We introduce a linearised form of the square root of the Todd class inside the Verbitsky component of a hyper-Kähler manifold using the extended Mukai lattice. This enables us to define a Mukai vector for certain objects in the derived category taking values inside the extended Mukai lattice which is functorial for derived equivalences. As applications, we obtain a structure theorem for derived equivalences between hyper-Kähler manifolds as well as an integral lattice associated to the derived category of hyper-Kähler manifolds deformation equivalent to the Hilbert scheme of a K3 surface mimicking the surface case.

The goal of the article is to better understand cosupport in triangulated categories since it is still quite mysterious. We study boundedness of local cohomology and local homology functors using Koszul objects, give some characterizations of cosupport, and get some results that, in special cases, recover and generalize the known results about the usual cosupport. Additionally, we include some computations of cosupport and provide a comparison of support and cosupport for cohomologically finite objects. Finally, we assign to any object of the category a subset of $\mathrm {Spec}R$, called the big cosupport, and study some of its properties.

We establish a Hirzebruch–Riemann–Roch-type theorem and a Grothendieck–Riemann–Roch-type theorem for matrix factorizations on quotient Deligne–Mumford stacks. For this, we first construct a Hochschild–Kostant–Rosenberg-type isomorphism explicit enough to yield a categorical Chern character formula. Then, we find an expression of the canonical pairing of Shklyarov under the isomorphism.

In this paper, we prove a Clifford type inequality for the curve $X_{2,2,2,4}$, which is the intersection of a quartic and three general quadratics in $\mathbb {P}^5$. We thus prove a stronger Bogomolov–Gieseker inequality for characters of stable vector bundles and stable objects on Calabi–Yau complete intersection $X_{2,4}$. Applying the scheme proposed by Bayer, Bertram, Macrì, Stellari and Toda, we can construct an open subset of Bridgeland stability conditions on $X_{2,4}$.

For a weight structure w on a triangulated category $\underline {C}$ we prove that the corresponding weight complex functor and some other (weight-exact) functors are ‘conservative up to weight-degenerate objects’; this improves earlier conservativity formulations. In the case $w=w^{sph}$ (the spherical weight structure on $SH$), we deduce the following converse to the stable Hurewicz theorem: $H^{sing}_{i}(M)=\{0\}$ for all $i<0$ if and only if $M\in SH$ is an extension of a connective spectrum by an acyclic one. We also prove an equivariant version of this statement.

The main idea is to study M that has no weights $m,\dots ,n$ (‘in the middle’). For $w=w^{sph}$, this is the case if there exists a distinguished triangle $LM\to M\to RM$, where $RM$ is an n-connected spectrum and $LM$ is an $m-1$-skeleton (of M) in the sense of Margolis’s definition; this happens whenever $H^{sing}_i(M)=\{0\}$ for $m\le i\le n$ and $H^{sing}_{m-1}(M)$ is a free abelian group. We also consider morphisms that kill weights $m,\dots ,n$; those ‘send n-w-skeleta into $m-1$-w-skeleta’.

We prove that the derived categories of abelian categories have unique enhancements—all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a Grothendieck abelian category are also shown to have unique enhancements. Finally, we show that the derived category of complexes with quasi-coherent cohomology and the category of perfect complexes have unique enhancements for quasi-compact and quasi-separated schemes.