English

When the Schur functor induces a triangle-equivalence between Gorenstein defect categories

Rings and Algebras 2021-09-03 v3 K-Theory and Homology

Abstract

Let RR be an Artin algebra and ee an idempotent of RR. Assume that TorieRe(Re,G)=0{\rm Tor}_i^{eRe}(Re,G)=0 for any GGProjeReG\in{\rm GProj} eRe and ii sufficiently large. Necessary and sufficient conditions are given for the Schur functor SeS_e to induce a triangle-equivalence Ddef(R)Ddef(eRe)\mathbb{D}_{def}(R)\simeq\mathbb{D}_{def}(eRe). Combine this with a result of Psaroudakis-Skartsaterhagen-Solberg [29], we provide necessary and sufficient conditions for the singular equivalence Dsg(R)Dsg(eRe)\mathbb{D}_{sg}(R)\simeq\mathbb{D}_{sg}(eRe) to restrict to a triangle-equivalence GProjRGProjeRe\underline{{\rm GProj} R}\simeq\underline{{\rm GProj} eRe}. Applying these to the triangular matrix algebra T=(AM0B)T=\left( \begin{array}{cc} A & M \quad 0 & B \end{array} \right), corresponding results between candidate categories of TT and AA (resp. BB) are obtained. As a consequence, we infer Gorensteinness and CM-freeness of TT from those of AA (resp. BB). Some concrete examples are given to indicate one can realise the Gorenstein defect category of a triangular matrix algebra as the singularity category of one of its corner algabras.

Cite

@article{arxiv.2003.06782,
  title  = {When the Schur functor induces a triangle-equivalence between Gorenstein defect categories},
  author = {Huanhuan Li and Jiangsheng Hu and Yuefei Zheng},
  journal= {arXiv preprint arXiv:2003.06782},
  year   = {2021}
}

Comments

18 pages. The necessary and sufficient conditions are given for the Schur functor to induce a triangle-equivalence of Gorenstein defect categories

R2 v1 2026-06-23T14:15:07.381Z