TILTING THEORY FOR GORENSTEIN RINGS IN DIMENSION ONE

In representation theory, commutative algebra and algebraic geometry, it is an important problem to understand when the triangulated category $\mathsf{D}_{\operatorname{sg}}^{\mathbb{Z}}(R)=\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ admits a tilting (respectively, silting) object for a $\mathbb{Z}$ -graded commutative Gorenstein ring $R=\bigoplus _{i\geqslant 0}R_{i}$ . Here $\mathsf{D}_{\operatorname{sg}}^{\mathbb{Z}}(R)$ is the singularity category, and $\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ is the stable category of $\mathbb{Z}$ -graded Cohen–Macaulay (CM) $R$ -modules, which are locally free at all nonmaximal prime ideals of $R$ . In this paper, we give a complete answer to this problem in the case where $\dim R=1$ and $R_{0}$ is a field. We prove that $\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ always admits a silting object, and that $\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R$ admits a tilting object if and only if either $R$ is regular or the $a$ -invariant of $R$ is nonnegative. Our silting/tilting object will be given explicitly. We also show that if $R$ is reduced and nonregular, then its $a$ -invariant is nonnegative and the above tilting object gives a full strong exceptional collection in $\text{}\underline{\mathsf{CM}}_{0}^{\mathbb{Z}}R=\text{}\underline{\mathsf{CM}}^{\mathbb{Z}}R$ .

The Tilting–Cotilting Correspondence

To a big $n$-tilting object in a complete, cocomplete abelian category ${\textsf{A}}$ with an injective cogenerator we assign a big $n$-cotilting object in a complete, cocomplete abelian category ${\textsf{B}}$ with a projective generator and vice versa. Then we construct an equivalence between the (conventional or absolute) derived categories of ${\textsf{A}}$ and ${\textsf{B}}$. Under various assumptions on ${\textsf{A}}$, which cover a wide range of examples (for instance, if ${\textsf{A}}$ is a module category or, more generally, a locally finitely presentable Grothendieck abelian category), we show that ${\textsf{B}}$ is the abelian category of contramodules over a topological ring and that the derived equivalences are realized by a contramodule-valued variant of the usual derived Hom functor.

TILTING CHAINS OF NEGATIVE CURVES ON RATIONAL SURFACES

We introduce the notion of exact tilting objects, which are partial tilting objects $T$ inducing an equivalence between the abelian category generated by $T$ and the category of modules over the endomorphism algebra of $T$ . Given a chain of sufficiently negative rational curves on a rational surface, we construct an exceptional sequence whose universal extension is an exact tilting object. For a chain of $(-2)$ -curves, we obtain an equivalence with modules over a well-known algebra.

Tilting and Cluster Tilting for Preprojective Algebras and Coxeter Groups

We study the stable category of the graded Cohen–Macaulay modules of the factor algebra of the preprojective algebra associated with an element $w$ of the Coxeter group of a quiver. We show that there exists a silting object $M(\boldsymbol{w})$ of this category associated with each reduced expression $\boldsymbol{w}$ of $w$ and give a sufficient condition on $\boldsymbol{w}$ such that $M(\boldsymbol{w})$ is a tilting object. In particular, the stable category is triangle equivalent to the derived category of the endomorphism algebra of $M(\boldsymbol{w})$. Moreover, we compare it with a triangle equivalence given by Amiot–Reiten–Todorov for a cluster category.

Generalized friezes and a modified Caldero–Chapoton map depending on a rigid object

The (usual) Caldero–Chapoton map is a map from the set of objects of a category to a Laurent polynomial ring over the integers. In the case of a cluster category, it mapsreachableindecomposable objects to the corresponding cluster variables in a cluster algebra. This formalizes the idea that the cluster category is acategorificationof the cluster algebra. The definition of the Caldero–Chapoton map requires the category to be 2-Calabi-Yau, and the map depends on a cluster-tilting object in the category. We study a modified version of the Caldero–Chapoton map which requires only that the category have a Serre functor and depends only on a rigid object in the category. It is well known that the usual Caldero–Chapoton map gives rise to so-calledfriezes, for instance, Conway–Coxeter friezes. We show that the modified Caldero–Chapoton map gives rise to what we callgeneralized friezesand that, for cluster categories of Dynkin typeA, it recovers the generalized friezes introduced by combinatorial means in recent work by the authors and Bessenrodt.

Generalized friezes and a modified Caldero–Chapoton map depending on a rigid object

The (usual) Caldero–Chapoton map is a map from the set of objects of a category to a Laurent polynomial ring over the integers. In the case of a cluster category, it maps reachable indecomposable objects to the corresponding cluster variables in a cluster algebra. This formalizes the idea that the cluster category is a categorification of the cluster algebra. The definition of the Caldero–Chapoton map requires the category to be 2-Calabi-Yau, and the map depends on a cluster-tilting object in the category. We study a modified version of the Caldero–Chapoton map which requires only that the category have a Serre functor and depends only on a rigid object in the category. It is well known that the usual Caldero–Chapoton map gives rise to so-called friezes, for instance, Conway–Coxeter friezes. We show that the modified Caldero–Chapoton map gives rise to what we call generalized friezes and that, for cluster categories of Dynkin type A, it recovers the generalized friezes introduced by combinatorial means in recent work by the authors and Bessenrodt.

Torsion pairs and filtrations in abelian categories with tilting objects

Given a noetherian abelian k-category [Formula: see text] of finite homological dimension, with a tilting object T of projective dimension 2, the abelian category [Formula: see text] and the abelian category of modules over End (T) op are related by a sequence of two tilts; we give an explicit description of the torsion pairs involved. We then use our techniques to obtain a simplified proof of a theorem of Jensen–Madsen–Su, that [Formula: see text] has a three-step filtration by extension-closed subcategories. Finally, we generalize Jensen–Madsen–Su's filtration to the case where T has any finite projective dimension.

Maximal rigid objects without loops in connected 2-CY categories are cluster-tilting objects

In this paper, we study Conjecture II.1.9 of [A. B. Buan, O. Iyama, I. Reiten and J. Scott, Cluster structures for 2-Calabi–Yau categories and unipotent groups, Compos. Math. 145(4) (2009) 1035–1079], which said that any maximal rigid object without loops or 2-cycles in its quiver is a cluster-tilting object in a connected Hom-finite triangulated 2-CY category [Formula: see text]. We obtain some conditions equivalent to the conjecture, and by using them we prove the conjecture.

FILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO

We consider filtrations of objects in an abelian category [Formula: see text] induced by a tilting object T of homological dimension at most two. We define three extension closed subcategories [Formula: see text] and [Formula: see text] with [Formula: see text] for j > i, such that each object in [Formula: see text] has a unique filtration with factors in these categories. In dimension one, this filtration coincides with the classical two-step filtration induced by the torsion pair. We also give a refined filtration, using the derived equivalence between the derived categories of [Formula: see text] and the module category of [Formula: see text].