scholarly journals $$d\mathbb {Z}$$-Cluster tilting subcategories of singularity categories

Author(s):  
Sondre Kvamme

Abstract For an exact category $${{\mathcal {E}}}$$ E with enough projectives and with a $$d\mathbb {Z}$$ d Z -cluster tilting subcategory, we show that the singularity category of $${{\mathcal {E}}}$$ E admits a $$d\mathbb {Z}$$ d Z -cluster tilting subcategory. To do this we introduce cluster tilting subcategories of left triangulated categories, and we show that there is a correspondence between cluster tilting subcategories of $${{\mathcal {E}}}$$ E and $${\underline{{{\mathcal {E}}}}}$$ E ̲ . We also deduce that the Gorenstein projectives of $${{\mathcal {E}}}$$ E admit a $$d\mathbb {Z}$$ d Z -cluster tilting subcategory under some assumptions. Finally, we compute the $$d\mathbb {Z}$$ d Z -cluster tilting subcategory of the singularity category for a finite-dimensional algebra which is not Iwanaga–Gorenstein.

2013 ◽  
Vol 150 (3) ◽  
pp. 415-452 ◽  
Author(s):  
Takahide Adachi ◽  
Osamu Iyama ◽  
Idun Reiten

AbstractThe aim of this paper is to introduce $\tau $-tilting theory, which ‘completes’ (classical) tilting theory from the viewpoint of mutation. It is well known in tilting theory that an almost complete tilting module for any finite-dimensional algebra over a field $k$ is a direct summand of exactly one or two tilting modules. An important property in cluster-tilting theory is that an almost complete cluster-tilting object in a 2-CY triangulated category is a direct summand of exactly two cluster-tilting objects. Reformulated for path algebras $kQ$, this says that an almost complete support tilting module has exactly two complements. We generalize (support) tilting modules to what we call (support) $\tau $-tilting modules, and show that an almost complete support $\tau $-tilting module has exactly two complements for any finite-dimensional algebra. For a finite-dimensional $k$-algebra $\Lambda $, we establish bijections between functorially finite torsion classes in $ \mathsf{mod} \hspace{0.167em} \Lambda $, support $\tau $-tilting modules and two-term silting complexes in ${ \mathsf{K} }^{\mathrm{b} } ( \mathsf{proj} \hspace{0.167em} \Lambda )$. Moreover, these objects correspond bijectively to cluster-tilting objects in $ \mathcal{C} $ if $\Lambda $ is a 2-CY tilted algebra associated with a 2-CY triangulated category $ \mathcal{C} $. As an application, we show that the property of having two complements holds also for two-term silting complexes in ${ \mathsf{K} }^{\mathrm{b} } ( \mathsf{proj} \hspace{0.167em} \Lambda )$.


2020 ◽  
Vol 63 (2) ◽  
pp. 342-373
Author(s):  
Francesca Fedele

AbstractLet Φ be a finite-dimensional algebra over a field k. Kleiner described the Auslander–Reiten sequences in a precovering extension closed subcategory ${\rm {\cal X}}\subseteq {\rm mod }\,\Phi $. If $X\in \mathcal {X}$ is an indecomposable such that ${\rm Ext}_\Phi ^1 (X,{\rm {\cal X}})\ne 0$ and $\zeta X$ is the unique indecomposable direct summand of the $\mathcal {X}$-cover $g:Y\to D\,{\rm Tr}\,X$ such that ${\rm Ext}_\Phi ^1 (X,\zeta X)\ne 0$, then there is an Auslander–Reiten sequence in $\mathcal {X}$ of the form $${\rm \epsilon }:0\to \zeta X\to {X}^{\prime}\to X\to 0.$$Moreover, when ${\rm En}{\rm d}_\Phi (X)$ modulo the morphisms factoring through a projective is a division ring, Kleiner proved that each non-split short exact sequence of the form $$\delta :0\to Y\to {Y}^{\prime}\buildrel \eta \over \longrightarrow X\to 0$$is such that η is right almost split in $\mathcal {X}$, and the pushout of δ along g gives an Auslander–Reiten sequence in ${\rm mod}\,\Phi $ ending at X.In this paper, we give higher-dimensional generalizations of this. Let $d\geq 1$ be an integer. A d-cluster tilting subcategory ${\rm {\cal F}}\subseteq {\rm mod}\,\Phi $ plays the role of a higher ${\rm mod}\,\Phi $. Such an $\mathcal {F}$ is a d-abelian category, where kernels and cokernels are replaced by complexes of d objects and short exact sequences by complexes of d + 2 objects. We give higher versions of the above results for an additive ‘d-extension closed’ subcategory $\mathcal {X}$ of $\mathcal {F}$.


2005 ◽  
Vol 04 (05) ◽  
pp. 587-597 ◽  
Author(s):  
BERNT TORE JENSEN ◽  
XIUPING SU ◽  
ALEXANDER ZIMMERMANN

In an earlier paper we defined a relation ≤Δ between objects of the derived category of bounded complexes of modules over a finite dimensional algebra over an algebraically closed field. This relation was shown to be equivalent to the topologically defined degeneration order in a certain space [Formula: see text] for derived categories. This space was defined as a natural generalization of varieties for modules. We remark that this relation ≤Δ is defined for any triangulated category and show that under some finiteness assumptions on the triangulated category ≤Δ is always a partial order.


2019 ◽  
Vol 2019 (756) ◽  
pp. 183-226 ◽  
Author(s):  
David Eisenbud ◽  
Bernd Ulrich

AbstractWe prove duality results for residual intersections that unify and complete results of van Straten, Huneke–Ulrich and Ulrich, and settle conjectures of van Straten and Warmt.Suppose that I is an ideal of codimension g in a Gorenstein ring, and {J\subset I} is an ideal with {s=g+t} generators such that {K:=J:I} has codimension s. Let {{\overline{I}}} be the image of I in {{\overline{R}}:=R/K}.In the first part of the paper we prove, among other things, that under suitable hypotheses on I, the truncated Rees ring {{\overline{R}}\oplus{\overline{I}}\oplus\cdots\oplus{\overline{I}}{}^{t+1}} is a Gorenstein ring, and that the modules {{\overline{I}}{}^{u}} and {{\overline{I}}{}^{t+1-u}} are dual to one another via the multiplication pairing into {{{\overline{I}}{}^{t+1}}\cong{\omega_{\overline{R}}}}.In the second part of the paper we study the analogue of residue theory, and prove that, when {R/K} is a finite-dimensional algebra over a field of characteristic 0 and certain other hypotheses are satisfied, the socle of {I^{t+1}/JI^{t}\cong{\omega_{R/K}}} is generated by a Jacobian determinant.


2018 ◽  
Vol 28 (5) ◽  
pp. 339-344
Author(s):  
Andrey V. Zyazin ◽  
Sergey Yu. Katyshev

Abstract Necessary conditions for power commuting in a finite-dimensional algebra over a field are presented.


Author(s):  
Michael Larsen ◽  
Aner Shalev

Let [Formula: see text] be a residually finite dimensional algebra (not necessarily associative) over a field [Formula: see text]. Suppose first that [Formula: see text] is algebraically closed. We show that if [Formula: see text] satisfies a homogeneous almost identity [Formula: see text], then [Formula: see text] has an ideal of finite codimension satisfying the identity [Formula: see text]. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra [Formula: see text] over [Formula: see text] is almost [Formula: see text]-Engel, then [Formula: see text] has a nilpotent (respectively, locally nilpotent) ideal of finite codimension if char [Formula: see text] (respectively, char [Formula: see text]). Next, suppose that [Formula: see text] is finite (so [Formula: see text] is residually finite). We prove that, if [Formula: see text] satisfies a homogeneous probabilistic identity [Formula: see text], then [Formula: see text] is a coset identity of [Formula: see text]. Moreover, if [Formula: see text] is multilinear, then [Formula: see text] is an identity of some finite index ideal of [Formula: see text]. Along the way we show that if [Formula: see text] has degree [Formula: see text], and [Formula: see text] is a finite [Formula: see text]-algebra such that the probability that [Formula: see text] (where [Formula: see text] are randomly chosen) is at least [Formula: see text], then [Formula: see text] is an identity of [Formula: see text]. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon,


2020 ◽  
Vol 296 (3-4) ◽  
pp. 1157-1183 ◽  
Author(s):  
Jenny August

Abstract We prove that the stable endomorphism rings of rigid objects in a suitable Frobenius category have only finitely many basic algebras in their derived equivalence class and that these are precisely the stable endomorphism rings of objects obtained by iterated mutation. The main application is to the Homological Minimal Model Programme. For a 3-fold flopping contraction $$f :X \rightarrow {\mathrm{Spec}\;}\,R$$ f : X → Spec R , where X has only Gorenstein terminal singularities, there is an associated finite dimensional algebra $$A_{{\text {con}}}$$ A con known as the contraction algebra. As a corollary of our main result, there are only finitely many basic algebras in the derived equivalence class of $$A_{\text {con}}$$ A con and these are precisely the contraction algebras of maps obtained by a sequence of iterated flops from f. This provides evidence towards a key conjecture in the area.


2004 ◽  
Vol 77 (1) ◽  
pp. 123-128 ◽  
Author(s):  
W. D. Munn

AbstractIt is shown that the following conditions on a finite-dimensional algebra A over a real closed field or an algebraically closed field of characteristic zero are equivalent: (i) A admits a special involution, in the sense of Easdown and Munn, (ii) A admits a proper involution, (iii) A is semisimple.


2019 ◽  
Vol 13 (06) ◽  
pp. 2050108 ◽  
Author(s):  
Vita Glizburg ◽  
Sergey Pchelintsev

It is proved that every finite-dimensional algebra is embeddable in a simple finite-dimensional algebra (a suitable isotope of a matrix algebra). An isotope of the 2nd order matrix algebra over an infinite extension of the ground field may contain a trivial ideal. Every one-sided isotope of a simple unital alternative or Jordan algebra is a simple algebra. Besides, any isotope of a central simple non-Lie Maltsev algebra of characteristic other than 2 and 3 is a simple algebra. But an isotope of a simple Jordan algebra of the symmetric bilinear form on the infinite dimensional space may contain a trivial ideal.


Sign in / Sign up

Export Citation Format

Share Document