scholarly journals TILTING THEORY FOR GORENSTEIN RINGS IN DIMENSION ONE

2020 ◽  
Vol 8 ◽  
Author(s):  
RAGNAR-OLAF BUCHWEITZ ◽  
OSAMU IYAMA ◽  
KOTA YAMAURA

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$ .

2017 ◽  
Vol 2019 (18) ◽  
pp. 5597-5634 ◽  
Author(s):  
Yuta Kimura

AbstractWe 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.


1979 ◽  
Vol 85 (3) ◽  
pp. 431-437 ◽  
Author(s):  
M. H. Bijan-Zadeh ◽  
R. Y. Sharp

In (11) and (12), a comparatively elementary approach to the use of dualizing complexes in commutative algebra has been developed. Dualizing complexes were introduced by Grothendieck and Hartshorne in (2) for use in algebraic geometry; the approach to dualizing complexes in (11) and (12) differs from that of Grothendieck and Hartshorne in that it avoids use of the concepts of triangulated category, derived category, and localization of categories, and instead places great emphasis on the concept of quasi-isomorphism of complexes of modules over a commutative Noetherian ring.


Author(s):  
Dennis Gaitsgory ◽  
Jacob Lurie

The ℓ-adic product formula discussed in Chapter 4 will need to make use of analogous structures, which are simply not visible at the level of the triangulated category Dℓ(X). This chapter attempts to remedy the situation by introducing a mathematical object Shvℓ (X), which refines the triangulated category Dℓ (X). This object is not itself a category but instead is an example of an ∞-category, which is referred to as the ∞-category of ℓ-adic sheaves on X. The triangulated category Dℓ (X) can be identified with the homotopy category of Shvℓ (X); in particular, the objects of Dℓ (X) and Shvℓ (X) are the same. However, there is a large difference between commutative algebra objects of Dℓ (X) and commutative algebra objects of the ∞-category Shvℓ (X). We can achieve (b') by viewing the complex B as a commutative algebra of the latter sort.


2016 ◽  
Vol 23 (01) ◽  
pp. 1-14
Author(s):  
Ming Lu

Let 𝒞 be a triangulated category which has Auslander-Reiten triangles, and ℛ a functorially finite rigid subcategory of 𝒞. It is well known that there exist Auslander-Reiten sequences in mod ℛ. In this paper, we give explicitly the relations between the Auslander-Reiten translations, sequences in mod ℛ and the Auslander-Reiten functors, triangles in 𝒞, respectively. Furthermore, if 𝒯 is a cluster-tilting subcategory of 𝒞 and mod 𝒯 is a Frobenius category, we also get the Auslander-Reiten functor and the translation functor of mod 𝒯 corresponding to the ones in 𝒞. As a consequence, we get that if the quotient of a d-Calabi-Yau triangulated category modulo a cluster tilting subcategory is Frobenius, then its stable category is (2d-1)-Calabi-Yau. This result was first proved by Keller and Reiten in the case d=2, and then by Dugas in the general case, using different methods.


1961 ◽  
Vol 13 ◽  
pp. 569-586 ◽  
Author(s):  
Eben Matlis

Throughout this discussion R will be an integral domain with quotient field Q and K = Q/R ≠ 0. If A is an R-module, then A is said to be torsion-free (resp. divisible), if for every r ≠ 0 ∈ R the endomorphism of A defined by x → rx, x ∈ A, is a monomorphism (resp. epimorphism). If A is torsion-free, the rank of A is defined to be the dimension over Q of the vector space A ⊗R Q; (we note that a torsion-free R-module of rank one is the same thing as a non-zero R-submodule of Q). A will be said to be indecomposable, if A has no proper, non-zero, direct summands. We shall say that A has D.C.C., if A satisfies the descending chain condition for submodules. By dim R we shall mean the maximal length of a chain of prime ideals in R.


1994 ◽  
Vol 115 (3) ◽  
pp. 431-436 ◽  
Author(s):  
Alberto Corso ◽  
Claudia Polini ◽  
Wolmer V. Vasconcelos

Roughly speaking, a link of an ideal of a Noetherian ring R is an ideal of the form I = (z): , where z = z1, …, zg is a regular sequence and g is the codimension of . This is a very common operation in commutative algebra, particularly in duality theory, and plays an important role in current methods to effect primary decomposition of polynomial ideals (see [2]).


2017 ◽  
Vol 120 (2) ◽  
pp. 161 ◽  
Author(s):  
Tony J. Puthenpurakal

Let $(A,\mathfrak{m})$ be a Gorenstein local ring of dimension $d \geq 1$. Let $\operatorname{\underline{CM}}(A)$ be the stable category of maximal Cohen-Macauley $A$-modules and let $\operatorname{\underline{ICM}}(A)$ denote the set of isomorphism classes in $\operatorname{\underline{CM}}(A)$. We define a function $\xi \colon \operatorname{\underline{ICM}}(A) \to \mathbb{Z}$ which behaves well with respect to exact triangles in $\operatorname{\underline{CM}}(A)$. We then apply this to (Gorenstein) liaison theory. We prove that if $\dim A \geq 2$ and $A$ is not regular then the even liaison classes of $\{\,\mathfrak{m}^n \mid n\geq 1 \,\}$ is an infinite set. We also prove that if $A$ is Henselian with finite representation type with $A/\mathfrak{m}$ uncountable then for each $m \geq 1$ the set $\mathcal {C}_m = \{\, I \mid I \text { is a codim $2$ CM-ideal with } e_0(A/I) \leq m \,\}$ is contained in finitely many even liaison classes $L_1,\dots ,L_r$ (here $r$ may depend on $m$).


2011 ◽  
Vol 14 ◽  
pp. 155-172 ◽  
Author(s):  
Rostam Sabeti

AbstractIn 1992, Göran Björck and Ralf Fröberg completely characterized the solution set of cyclic-8. In 2001, Jean-Charles Faugère determined the solution set of cyclic-9, by computer algebra methods and Gröbner basis computation. In this paper, a new theory in matrix analysis of rank-deficient matrices together with algorithms in numerical algebraic geometry enables us to present a symbolic-numerical algorithm to derive exactly the defining polynomials of all prime ideals of positive dimension in primary decomposition of cyclic-12. Empirical evidence together with rigorous proof establishes the fact that the positive-dimensional solution variety of cyclic-12 just consists of 72 quadrics of dimension one.


2014 ◽  
Vol 21 (02) ◽  
pp. 195-206 ◽  
Author(s):  
Shengyong Pan

Let A be a finite dimensional algebra over a field k. We consider a subfunctor F of [Formula: see text], which has enough projectives and injectives such that [Formula: see text] is of finite type, where [Formula: see text] denotes the set of F-projectives. One can get the relative derived category [Formula: see text] of A-mod. For an F-self-orthogonal module TF, we discuss the relation between the relative quotient triangulated category [Formula: see text] and the relative stable category of the Frobenius category of TF-Cohen-Macaulay modules. In particular, for an F-Gorenstein algebra A and an F-tilting A-module TF, we get a triangle equivalence between [Formula: see text] and the relative stable category of TF-Cohen-Macaulay modules. This gives the relative version of a result of Chen and Zhang.


2015 ◽  
Vol 27 (2) ◽  
Author(s):  
Thorsten Holm ◽  
Peter Jørgensen

AbstractThis paper shows a new phenomenon in higher cluster tilting theory. For each positive integerOn the one hand, theThe category 𝖢 is the algebraic triangulated category generated by a (


Sign in / Sign up

Export Citation Format

Share Document