We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure coreplatform@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We prove that a finite-dimensional algebra $ \Lambda $ is $ \tau $-tilting finite if and only if all the bricks over $ \Lambda $ are finitely generated. This is obtained as a consequence of the existence of proper locally maximal torsion classes for $ \tau $-tilting infinite algebras.
As a general framework for the studies of t-structures on triangulated categories and torsion pairs in abelian categories, we introduce the notions of extriangulated categories with negative first extensions and s-torsion pairs. We define a heart of an interval in the poset of s-torsion pairs, which naturally becomes an extriangulated category with a negative first extension. This notion generalises hearts of t-structures on triangulated categories and hearts of twin torsion pairs in abelian categories. In this paper, we show that an interval in the poset of s-torsion pairs is bijectively associated with s-torsion pairs in the corresponding heart. This bijection unifies two well-known bijections: one is the bijection induced by the HRS-tilt of t-structures on triangulated categories. The other is Asai–Pfeifer’s and Tattar’s bijections for torsion pairs in an abelian category, which is related to
$\tau$
-tilting reduction and brick labelling.
Building on the embedding of an n-abelian category $\mathscr {M}$ into an abelian category $\mathcal {A}$ as an n-cluster-tilting subcategory of $\mathcal {A}$, in this paper, we relate the n-torsion classes of $\mathscr {M}$ with the torsion classes of $\mathcal {A}$. Indeed, we show that every n-torsion class in $\mathscr {M}$ is given by the intersection of a torsion class in $\mathcal {A}$ with $\mathscr {M}$. Moreover, we show that every chain of n-torsion classes in the n-abelian category $\mathscr {M}$ induces a Harder–Narasimhan filtration for every object of $\mathscr {M}$. We use the relation between $\mathscr {M}$ and $\mathcal {A}$ to show that every Harder–Narasimhan filtration induced by a chain of n-torsion classes in $\mathscr {M}$ can be induced by a chain of torsion classes in $\mathcal {A}$. Furthermore, we show that n-torsion classes are preserved by Galois covering functors, thus we provide a way to systematically construct new (chains of) n-torsion classes.
Skew-gentle algebras are a generalisation of the well-known class of gentle algebras with which they share many common properties. In this work, using non-commutative Gröbner basis theory, we show that these algebras are strong Koszul and that the Koszul dual is again skew-gentle. We give a geometric model of their bounded derived categories in terms of polygonal dissections of surfaces with orbifold points, establishing a correspondence between curves in the orbifold and indecomposable objects. Moreover, we show that the orbifold dissections encode homological properties of skew-gentle algebras such as their singularity categories, their Gorenstein dimensions and derived invariants such as the determinant of their q-Cartan matrices.
We show that the dimer algebra of a connected Postnikov diagram in the disc is bimodule internally
$3$
-Calabi–Yau in the sense of the author’s earlier work [43]. As a consequence, we obtain an additive categorification of the cluster algebra associated to the diagram, which (after inverting frozen variables) is isomorphic to the homogeneous coordinate ring of a positroid variety in the Grassmannian by a recent result of Galashin and Lam [18]. We show that our categorification can be realised as a full extension closed subcategory of Jensen–King–Su’s Grassmannian cluster category [28], in a way compatible with their bijection between rank
$1$
modules and Plücker coordinates.
Extriangulated categories were introduced by Nakaoka and Palu to give a unification of properties in exact categories and extension-closed subcategories of triangulated categories. A notion of tilting pairs in an extriangulated category is introduced in this paper. We give a Bazzoni characterization of tilting pairs in this setting. We also obtain the Auslander–Reiten correspondence of tilting pairs which classifies finite $\mathcal {C}$-tilting subcategories for a certain self-orthogonal subcategory $\mathcal {C}$ with some assumptions. This generalizes the known results given by Wei and Xi for the categories of finitely generated modules over Artin algebras, thereby providing new insights in exact and triangulated categories.
This paper focuses on recollements and silting theory in triangulated categories. It consists of two main parts. In the first part a criterion for a recollement of triangulated subcategories to lift to a torsion torsion-free triple (TTF triple) of ambient triangulated categories with coproducts is proved. As a consequence, lifting of TTF triples is possible for recollements of stable categories of repetitive algebras or self-injective finite length algebras and recollements of bounded derived categories of separated Noetherian schemes. When, in addition, the outer subcategories in the recollement are derived categories of small linear categories the conditions from the criterion are sufficient to lift the recollement to a recollement of ambient triangulated categories up to equivalence. In the second part we use these results to study the problem of constructing silting sets in the central category of a recollement generating the t-structure glued from the silting t-structures in the outer categories. In the case of a recollement of bounded derived categories of Artin algebras we provide an explicit construction for gluing classical silting objects.
There are well-known identities involving the Ext bifunctor, coproducts, and products in AB4 abelian categories with enough projectives. Namely, for every such category \[\mathcal{A}\], given an object X and a set of objects \[{\{ {{\text{A}}_{\text{i}}}\} _{{\text{i}} \in {\text{I}}}}\], an isomorphism \[Ext_\mathcal{A}^{\text{n}}({ \oplus _{{\text{i}} \in {\text{I}}}}{{\text{A}}_{\text{i}}},{\text{X}}) \cong \prod\nolimits_{{\text{i}} \in {\text{I}}} {Ext_\mathcal{A}^{\text{n}}({{\text{A}}_{\text{i}}},{\text{X}})} \] can be built, where \[Ex{t^{\text{n}}}\] is the nth derived functor of the Hom functor. The goal of this paper is to show a similar isomorphism for the nth Yoneda Ext, which is a functor equivalent to \[Ex{t^{\text{n}}}\] that can be defined in more general contexts. The desired isomorphism is constructed explicitly by using colimits in AB4 abelian categories with not necessarily enough projectives nor injectives, extending a result by Colpi and Fuller in [8]. Furthermore, the isomorphisms constructed are used to characterize AB4 categories. A dual result is also stated.
For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated with a triangle functor from the category on the right to the category on the left. For a morphic enhancement of a triangulated category $\mathcal {T}$, there are three explicit ideals of the enhancing category, whose corresponding factor categories are all equivalent to the module category over $\mathcal {T}$. Examples related to inflation categories and weighted projective lines are discussed.
In 1988, Sibe Mardešić and Andrei Prasolov isolated an inverse system
$\textbf {A}$
with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail that
$\lim ^n\textbf {A}$
(the nth derived limit of
$\textbf {A}$
) vanishes for every
$n>0$
. Since that time, the question of whether it is consistent with the
$\mathsf {ZFC}$
axioms that
$\lim ^n \textbf {A}=0$
for every
$n>0$
has remained open. It remains possible as well that this condition in fact implies that strong homology is additive on the category of metric spaces.
We show that assuming the existence of a weakly compact cardinal, it is indeed consistent with the
$\mathsf {ZFC}$
axioms that
$\lim ^n \textbf {A}=0$
for all
$n>0$
. We show this via a finite-support iteration of Hechler forcings which is of weakly compact length. More precisely, we show that in any forcing extension by this iteration, a condition equivalent to
$\lim ^n\textbf {A}=0$
will hold for each
$n>0$
. This condition is of interest in its own right; namely, it is the triviality of every coherent n-dimensional family of certain specified sorts of partial functions
$\mathbb {N}^2\to \mathbb {Z}$
which are indexed in turn by n-tuples of functions
$f:\mathbb {N}\to \mathbb {N}$
. The triviality and coherence in question here generalise the classical and well-studied case of
$n=1$
.
We study certain special tilting and cotilting modules for an algebra with positive dominant dimension, each of which is generated or cogenerated (and usually both) by projective-injectives. These modules have various interesting properties, for example, that their endomorphism algebras always have global dimension less than or equal to that of the original algebra. We characterise minimal d-Auslander–Gorenstein algebras and d-Auslander algebras via the property that these special tilting and cotilting modules coincide. By the Morita–Tachikawa correspondence, any algebra of dominant dimension at least 2 may be expressed (essentially uniquely) as the endomorphism algebra of a generator-cogenerator for another algebra, and we also study our special tilting and cotilting modules from this point of view, via the theory of recollements and intermediate extension functors.
In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case, we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary, all the relations come from the superpotential. We then construct projective resolutions of all simple modules for the higher preprojective algebra of a $d$-hereditary algebra. This allows us to recover various known homological properties of the higher preprojective algebras and to obtain a large class of almost Koszul dual pairs of algebras. We also show that when our original algebra is Koszul there is a natural map from the quadratic dual of the higher preprojective algebra to a graded trivial extension algebra.
We extend the classical notion of standardly stratified k-algebra (stated for finite dimensional k-algebras) to the more general class of rings, possibly without 1, with enough idempotents. We show that many of the fundamental results, which are known for classical standardly stratified algebras, can be generalized to this context. Furthermore, new classes of rings appear as: ideally standardly stratified and ideally quasi-hereditary. In the classical theory, it is known that quasi-hereditary and ideally quasi-hereditary algebras are equivalent notions, but in our general setting, this is no longer true. To develop the theory, we use the well-known connection between rings with enough idempotents and skeletally small categories (ringoids or rings with several objects).
We give a necessary and sufficient condition for the existence of an enhancement of a finite triangulated category. Moreover, we show that enhancements are unique when they exist, up to Morita equivalence.
Let $k$ be a field, and let ${\mathcal{C}}$ be a $k$-linear, Hom-finite triangulated category with split idempotents. In this paper, we show that under suitable circumstances, the Grothendieck group of ${\mathcal{C}}$, denoted by $K_{0}({\mathcal{C}})$, can be expressed as a quotient of the split Grothendieck group of a higher cluster tilting subcategory of ${\mathcal{C}}$. The results we prove are higher versions of results on Grothendieck groups of triangulated categories by Xiao and Zhu and by Palu. Assume that $n\geqslant 2$ is an integer; ${\mathcal{C}}$ has a Serre functor $\mathbb{S}$ and an $n$-cluster tilting subcategory ${\mathcal{T}}$ such that $\operatorname{Ind}{\mathcal{T}}$ is locally bounded. Then, for every indecomposable $M$ in ${\mathcal{T}}$, there is an Auslander–Reiten $(n+2)$-angle in ${\mathcal{T}}$ of the form $\mathbb{S}\unicode[STIX]{x1D6F4}^{-n}(M)\rightarrow T_{n-1}\rightarrow \cdots \rightarrow T_{0}\rightarrow M$ and
Assume now that $d$ is a positive integer and ${\mathcal{C}}$ has a $d$-cluster tilting subcategory ${\mathcal{S}}$ closed under $d$-suspension. Then, ${\mathcal{S}}$ is a so-called $(d+2)$-angulated category whose Grothendieck group $K_{0}({\mathcal{S}})$ can be defined as a certain quotient of $K_{0}^{\text{sp}}({\mathcal{S}})$. We will show
Moreover, assume that $n=2d$, that all the above assumptions hold, and that ${\mathcal{T}}\subseteq {\mathcal{S}}$. Then our results can be combined to express $K_{0}({\mathcal{S}})$ as a quotient of $K_{0}^{\text{sp}}({\mathcal{T}})$.
In the pioneering work by Dimitrov–Haiden–Katzarkov–Kontsevich, they introduced various categorical analogies from the classical theory of dynamical systems. In particular, they defined the entropy of an endofunctor on a triangulated category with a split generator. In the connection between the categorical theory and the classical theory, a stability condition on a triangulated category plays the role of a measured foliation so that one can measure the “volume” of objects, called the mass, via the stability condition. The aim of this paper is to establish fundamental properties of the growth rate of mass of objects under the mapping by the endofunctor and to clarify the relationship between it and the entropy. We also show that they coincide under a certain condition.
Cluster categories and cluster algebras encode two dimensional structures. For instance, the Auslander–Reiten quiver of a cluster category can be drawn on a surface, and there is a class of cluster algebras determined by surfaces with marked points.
Cluster characters are maps from cluster categories (and more general triangulated categories) to cluster algebras. They have a tropical shadow in the form of so-called tropical friezes, which are maps from cluster categories (and more general triangulated categories) to the integers.
This paper will define higher dimensional tropical friezes. One of the motivations is the higher dimensional cluster categories of Oppermann and Thomas, which encode (d + 1)-dimensional structures for an integer d ⩾ 1. They are (d + 2)-angulated categories, which belong to the subject of higher homological algebra.
We will define higher dimensional tropical friezes as maps from higher cluster categories (and more general (d + 2)-angulated categories) to the integers. Following Palu, we will define a notion of (d + 2)-angulated index, establish some of its properties, and use it to construct higher dimensional tropical friezes.
We investigate the assumptions under which a subclass of flat quasicoherent sheaves on a quasicompact and semiseparated scheme allows us to ‘mock’ the homotopy category of projective modules. Our methods are based on module-theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, the derived category of flat quasicoherent sheaves is equivalent to the derived category of very flat quasicoherent sheaves. If, in addition, the scheme satisfies the resolution property then both derived categories are equivalent to the derived category of infinite-dimensional vector bundles. The equivalences are inferred from a Quillen equivalence between the corresponding models.
We give a complete description of a basis of the extension spaces between indecomposable string and quasi-simple band modules in the module category of a gentle algebra.