Given a non-negative integer n and a ring R with identity, we construct a hereditary abelian model structure on the category of left R-modules where the class of cofibrant objects coincides with $\mathcal{GF}_n(R)$ the class of left R-modules with Gorenstein flat dimension at most n, the class of fibrant objects coincides with $\mathcal{F}_n(R)^\perp$ the right ${\rm Ext}$-orthogonal class of left R-modules with flat dimension at most n, and the class of trivial objects coincides with $\mathcal{PGF}(R)^\perp$ the right ${\rm Ext}$-orthogonal class of PGF left R-modules recently introduced by Šaroch and . The homotopy category of this model structure is triangulated equivalent to the stable category $\underline{\mathcal{GF}(R)\cap\mathcal{C}(R)}$ modulo flat-cotorsion modules and it is compactly generated when R has finite global Gorenstein projective dimension.

The second part of this paper deals with the PGF dimension of modules and rings. Our results suggest that this dimension could serve as an alternative definition of the Gorenstein projective dimension. We show, among other things, that (n-)perfect rings can be characterized in terms of Gorenstein homological dimensions, similar to the classical ones, and the global Gorenstein projective dimension coincides with the global PGF dimension.

We propose a notion of multi-scale stability conditions with the goal of providing a smooth compactification of the quotient of the space of projectivized Bridgeland stability conditions by the group of autoequivalence. For the case of the 3CY category associated with the $A_n$-quiver, this goal is achieved by defining a topology and complex structure that relies on a plumbing construction.

We compare this compactification to the multi-scale compactification of quadratic differentials and briefly indicate why even for the Kronecker quiver, this notion needs refinement to provide a full compactification.

Tachikawa's second conjecture for symmetric algebras is shown to be equivalent to indecomposable symmetric algebras not having any nontrivial stratifying ideals. The conjecture is also shown to be equivalent to the supremum of stratified ratios being less than $1$, when taken over all indecomposable symmetric algebras. An explicit construction provides a series of counterexamples to Tachikawa's second conjecture from each (potentially existing) gendo-symmetric algebra that is a counterexample to Nakayama's conjecture. The results are based on establishing recollements of derived categories and on constructing new series of algebras.

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.