Let $ R $ be an Artin algebra and $ e\in R $ an idempotent. We study when the recollement ideal $ ReR $ induces (left) recollement of Gorenstein defect categories. As a consequence of this phenomenon, concrete triangle-equivalences between Gorenstein defect categories (resp. stable categories of Gorenstein projective modules) of $ R $ and $ R/ReR $ (resp. $ eRe $) are obtained, and reduction conditions for Gorensteinness (resp. CM-freeness) of $ R $ and Gorenstein projective conjecture over $ R $ are provided. Finally, some applications in the context of triangular matrix algebras are given.
Citation: Huanhuan Li, Hanyang You, Yuefei Zheng, Haiyan Zhu. Recollement ideals and recollements of Gorenstein defect categories[J]. Electronic Research Archive, 2026, 34(4): 2348-2363. doi: 10.3934/era.2026106
Let $ R $ be an Artin algebra and $ e\in R $ an idempotent. We study when the recollement ideal $ ReR $ induces (left) recollement of Gorenstein defect categories. As a consequence of this phenomenon, concrete triangle-equivalences between Gorenstein defect categories (resp. stable categories of Gorenstein projective modules) of $ R $ and $ R/ReR $ (resp. $ eRe $) are obtained, and reduction conditions for Gorensteinness (resp. CM-freeness) of $ R $ and Gorenstein projective conjecture over $ R $ are provided. Finally, some applications in the context of triangular matrix algebras are given.
| [1] | R. O. Buchweitz, Maximal Cohen-Macaulay Modules and Tate Cohomology, American Mathematical Society, 2021. https://doi.org/10.1090/surv/262 |
| [2] | D. Orlov, Triangulated categories of singularities and D-branes in Landau-Ginzburg models, preprint, arXiv: math/0302304. https://doi.org/10.48550/arXiv.math/0302304 |
| [3] |
P. A. Bergh, D. A. Jørgensen, S. Oppermann, The Gorenstein defect category, Quart. J. Math., 66 (2015), 459–471. https://doi.org/10.1093/qmath/hav001 doi: 10.1093/qmath/hav001
|
| [4] |
F. Kong, P. Zhang, From CM-finite to CM-free, J. Pure Appl. Algebra, 220 (2016), 782–801. https://doi.org/10.1016/j.jpaa.2015.07.016 doi: 10.1016/j.jpaa.2015.07.016
|
| [5] |
H. H. Li, Y. F. Zheng, J. S. Hu, H. Y. Zhu, Gorenstein projective modules and recollements over triangular matrix rings, Comm. Algebra, 48 (2020), 4932–4947. https://doi.org/10.1080/00927872.2020.1775240 doi: 10.1080/00927872.2020.1775240
|
| [6] |
X. W. Chen, Singular equivalences induced by homological epimorphisms, Proc. Amer. Math. Soc., 142 (2014), 2633–2640. https://doi.org/10.1090/S0002-9939-2014-12038-7 doi: 10.1090/S0002-9939-2014-12038-7
|
| [7] |
Y. P. Chen, W. Hu, Y. Y. Qin, R. Wang, Singular equivalences and Auslander-Reiten conjecture, J. Algebra, 623 (2023), 42–63. https://doi.org/10.1016/j.jalgebra.2023.02.018 doi: 10.1016/j.jalgebra.2023.02.018
|
| [8] |
C. Psaroudakis, Ø. Skartsaterhagen, Ø. Solberg, Gorenstein categories, singular equivalences and finite generation of cohomology rings in recollements, Trans. Amer. Math. Soc. Ser. B, 1 (2014), 45–95. https://doi.org/10.1090/S2330-0000-2014-00004-6 doi: 10.1090/S2330-0000-2014-00004-6
|
| [9] |
H. H. Li, J. S. Hu, Y. F. Zheng, When the Schur functor induces a triangle-equivalence between Gorenstein defect categories, Sci. China Math., 65 (2022), 2019–2034. https://doi.org/10.1007/S11425-021-1899-3 doi: 10.1007/S11425-021-1899-3
|
| [10] | H. B. Jin, D. Yang, G. D. Zhou, A localisation theorem for singularity categories of proper dg algebras, preprint, arXiv: 2302.05054v2. https://doi.org/10.48550/arXiv.2302.05054 |
| [11] |
P. Liu, M. Lu, Recollements of singularity categories and monomorphism categories, Comm. Algebra, 43 (2015), 2443–2456. https://doi.org/10.1080/00927872.2014.894048 doi: 10.1080/00927872.2014.894048
|
| [12] |
M. Lu, Gorenstein defect categories of triangular matrix algebras, J. Algebra, 480 (2017), 346–367. https://doi.org/10.1016/j.jalgebra.2017.03.008 doi: 10.1016/j.jalgebra.2017.03.008
|
| [13] |
P. Zhang, Gorenstein-projective modules and symmetric recollements, J. Algebra, 388 (2013), 65–80. https://doi.org/10.1016/j.jalgebra.2013.05.008 doi: 10.1016/j.jalgebra.2013.05.008
|
| [14] | A. A. Beilinson, J. Bernstein, P. Deligne, Faisceaux pervers, in Astérisque, Société Mathématique de France, 100 (1982). |
| [15] | D. Happel, Partial tilting modules and recollement, in Proceedings of the International Conference on Algebra Dedicated to the Memory of A. I. Malcev, Part 2, American Mathematical Society, (1992), 345–361. https://doi.org/10.1090/conm/131.2/1175843 |
| [16] |
L. Angeleri Hügel, S. Koenig, Q. H. Liu, D. Yang, Ladders and simplicity of derived module categories, J. Algebra, 472 (2017), 15–66. https://doi.org/10.1016/j.jalgebra.2016.10.023 doi: 10.1016/j.jalgebra.2016.10.023
|
| [17] |
J. I. Miyachi, Recollement and idempotent ideals, Tsukuba J. Math., 16 (1992), 545–550. https://doi.org/10.21099/tkbjm/1496161981 doi: 10.21099/tkbjm/1496161981
|
| [18] | B. Parshall, Finite dimensional algebras and algebraic groups, in Classical Groups and Related Topics (eds. A.J. Hahn, D.G. James and Z.X. Wan), American Mathematical Society, 82 (1989). |
| [19] |
H. H. Li, J. S. Hu, Y. F. Zheng, H. Y. Zhu, Stratifying ideals and recollements of singularity categories, Sci. Sin. Math., 56 (2026), 1–12. https://doi.org/10.1360/SSM-2025-0156 doi: 10.1360/SSM-2025-0156
|
| [20] |
H. H. Li, D. D. Yang, Y. F. Zheng, J. S. Hu, 2-recollements of singularity categories and Gorenstein defect categories over triangular matrix algebras, Acta Math. Sin. Chin. Ser., 66 (2023), 1181–1194. https://doi.org/10.12386/A20220034 doi: 10.12386/A20220034
|
| [21] | M. Auslander, M. Bridger, Stable Module Theory, American Mathematical Society, 1969. https://doi.org/10.1090/memo/0094 |
| [22] |
L. L. Avramov, A. Martsinkovsky, Absolute, relative, and Tate cohomology of modules of finite Gorenstein dimension, Proc. Lond. Math. Soc., 85 (2002), 393–440. https://doi.org/10.1112/S0024611502013527 doi: 10.1112/S0024611502013527
|
| [23] |
H. Holm, Gorenstein homological dimensions, J. Pure Appl. Algebra, 189 (2004), 167–193. https://doi.org/10.1016/j.jpaa.2003.11.007 doi: 10.1016/j.jpaa.2003.11.007
|
| [24] |
X. W. Chen, Algebras with radical square zero are either self-injective or CM-free, Proc. Amer. Math. Soc., 140 (2012), 93–98. https://doi.org/10.1090/S0002-9939-2011-10921-3 doi: 10.1090/S0002-9939-2011-10921-3
|
| [25] |
R. Luo, Z. Y. Huang, When are torsionless modules projective?, J. Algebra, 320 (2008), 2156–2164. https://doi.org/10.1016/j.jalgebra.2008.04.027 doi: 10.1016/j.jalgebra.2008.04.027
|
| [26] |
M. Auslander, I. Reiten, On a generalized version of the Nakayama conjecture, Proc. Amer. Math. Soc., 52 (1975), 69–74. https://doi.org/10.1090/S0002-9939-1975-0389977-6 doi: 10.1090/S0002-9939-1975-0389977-6
|
| [27] | M. Auslander, I. Reiten, S. O. Smalø, Representation Theory of Artin Algebras, Cambridge University Press, 1995. https://doi.org/10.1017/CBO9780511623608 |
| [28] |
Ø. Skartsaterhagen, Singular equivalence and the (Fg) condition, J. Algebra, 452 (2016), 66–93. https://doi.org/10.1016/j.jalgebra.2015.12.012 doi: 10.1016/j.jalgebra.2015.12.012
|
| [29] | J. A. Green, Polynomial Representations of $GL_n$ (Lecture Notes In Mathematics, 830), Springer-Verlag, Berlin, 1980. https://doi.org/10.1112/blms/15.2.168 |
| [30] |
E. L. Green, C. Psaroudakis, On Artin algebras arising from Morita contexts, Algebr. Represent. Theory, 17 (2014), 1485–1525. https://doi.org/10.1007/s10468-013-9457-4 doi: 10.1007/s10468-013-9457-4
|