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

DOI10.1007/S11425-021-1899-3MaRDI QIDQ2082277zbMATH OpenOpenAlexFDO

Authors Huan-Huan Li, Jiangsheng Hu, Yuefei Zheng

Publication date 4 October 2022

Published in Science China. Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.06782

Gorenstein defect categories Schur functors singularity categories triangle-equivalences triangular matrix algebras

Localization of categories, calculus of fractions (18E35) Homological dimension (category-theoretic aspects) (18G20) Derived categories, triangulated categories (18G80)

Abstract: Let

R

be an Artin algebra and

e

an idempotent of

R

. Assume that

{m T o r}_{i}^{e R e} (R e, G) = 0

for any

G i n m G P r o j e R e

and

i

sufficiently large. Necessary and sufficient conditions are given for the Schur functor

S_{e}

to induce a triangle-equivalence

m a t h b b D_{d e f} (R) s i m e q m a t h b b D_{d e f} (e R e)

. Combine this with a result of Psaroudakis-Skartsaterhagen-Solberg [29], we provide necessary and sufficient conditions for the singular equivalence

m a t h b b D_{s g} (R) s i m e q m a t h b b D_{s g} (e R e)

to restrict to a triangle-equivalence

u n d e r l i n e m G P r o j R s i m e q u n d e r l i n e m G P r o j e R e

. Applying these to the triangular matrix algebra

, corresponding results between candidate categories of

T

and

A

(resp.

B

) are obtained. As a consequence, we infer Gorensteinness and CM-freeness of

T

from those of

A

(resp.

B

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

Review text

Let \(R\) be an Artin algebra. The singularity category \(\mathbb{D}_{\mathrm{sg}}(R)\) is defined to be the Verdier quotient of the bounded derived category \(\mathbb{D}^{\mathrm{b}}(\bmod R)\) modulo the triangulated subcategory of perfect \(R\)-complexes. The stable category \(\underline{\mathrm{Gproj}\;R}\) of the category of finitely generated Gorenstein projective \(R\)-modules can be viewed as a triangulated subcategory of \(\mathbb{D}_{\mathrm{sg}}(R)\); Bergh, Oppermann, and Jorgensen introduced in [\textit{P. A. Bergh} et al., Q. J. Math. 66, No. 2, 459--471 (2015; Zbl 1327.13041)] the Gorenstein defect category \(\mathbb{D}_{\mathrm{def}}(R)\) as the corresponding Verdier quotient. For an idempotent \(e \in R\) the authors consider the Schur functor, \[ S_e = eR \otimes_R - \colon \bmod R \longrightarrow \bmod eRe . \] The main result of the paper proves that under certain technical assumptions, the Schur functor induces triangle-equivalence \(\mathbb{D}_{\mathrm{def}}(R) \simeq \mathbb{D}_{\mathrm{def}}(eRe)\). Some applications are given to the situation where \[ R = \left(\begin{array}{cc} A & M \\ 0 & B \end{array}\right) \] is an upper triangular matrix algebra, \(A\) and \(B\) are Artin algebras, \(M\) is an \(A\)-\(B\)-bimodule, and \(e \in R\) is the idempotent corresponding to \(A\) or \(B\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: When the Schur functor induces a triangle-equivalence between Gorenstein defect categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2082277)