Singularity categories and singular equivalences for resolving subcategories (Q509995): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Ryo Takahashi / rank | |||
Property / author | |||
Property / author: Ryo Takahashi / rank | |||
Normal rank | |||
Property / review text | |||
Let \(\mathcal{A}\) be an abelian category with enough projective objects. Denote by \(\mathrm{Gproj}\,A\) the full subcategory of Gorenstein projective objects of \(\mathcal{A}\), which is a Frobenius category, and its stable category \(\underline{\mathrm{Gproj}}\,A\) is triangulated. A quasi-resolving subcategory is a full subcategory containing the projective objects and closed under finite direct sums and kernels of epimorphisms, while resolving means that the subcategory is also closed under direct summands and extensions. Let \(\mathcal{X}\) be a quasi-resolving subcategory of \(\mathcal{A}\). For an integer \(n \geq 0\), \(\Omega^n\mathcal{X}\) is the full subcategory of \(\mathcal{A}\) consisting of \(n\)th syzygies of objects in \(\mathcal{X}\). Assume that \(\Omega^n\mathcal{X}\) is contained in \(\mathrm{Gproj}\,\mathcal{A}\) and it is closed under cosyzygies. (An example is the full subcategory of objects of Gorenstein projective dimension at most \(n\).) In this paper, the authors study the singularity category \(\mathrm{D}_{\mathrm{sg}}(\underline{\mathcal{X}})=\mathrm{D}^{\mathrm{b} }(\mathrm{mod} \underline{\mathcal{X}}) /\mathrm{K}^{\mathrm{b} }(\mathrm{proj}(\mathrm{mod}\underline{\mathcal{X}}))\) of the stable category \(\underline{\mathcal{X}}\) of \(\mathcal{X}\). The first main result characterizes the situation when \(\mathrm{D}_{\mathrm{sg}}(\underline{\mathcal{X}})\) is triangle equivalent to the the singularity category of the stable category of \(\mathcal{X}\cap \mathrm{Gproj}\,\mathcal{A}=\Omega^n\mathcal{X}\). This applies to the module category of a Gorenstein ring, and the second main result of the paper reads as follows. If \(R\) is a \(d\)-dimensional nonregular complete local ring with algebraically closed residue field \(k\) of characteristic 0, then the following statements are equivalent. (1) \(R\) is Gorenstein, and \(\underline{\mathrm{CM}}R)\) is regular. (2) \(R\) is a complete intersection, and \(\underline{\mathcal{X}}\) is regular for every resolving subcategory \(\mathcal{X}\) of mod \(R\). (3) \(R\) is a complete intersection, and \(\underline{\mathcal{X}}\) is regular for some resolving subcategory \(\mathcal{X}\) of mod \(R\) that contains a module of maximal complexity. (4) \(R\) is a simple hypersurface singularity of type (A\({}_1\)). In this case, \(\underline{\mathrm{CM}}R)\) is regular of dimension at most \(0\). | |||
Property / review text: Let \(\mathcal{A}\) be an abelian category with enough projective objects. Denote by \(\mathrm{Gproj}\,A\) the full subcategory of Gorenstein projective objects of \(\mathcal{A}\), which is a Frobenius category, and its stable category \(\underline{\mathrm{Gproj}}\,A\) is triangulated. A quasi-resolving subcategory is a full subcategory containing the projective objects and closed under finite direct sums and kernels of epimorphisms, while resolving means that the subcategory is also closed under direct summands and extensions. Let \(\mathcal{X}\) be a quasi-resolving subcategory of \(\mathcal{A}\). For an integer \(n \geq 0\), \(\Omega^n\mathcal{X}\) is the full subcategory of \(\mathcal{A}\) consisting of \(n\)th syzygies of objects in \(\mathcal{X}\). Assume that \(\Omega^n\mathcal{X}\) is contained in \(\mathrm{Gproj}\,\mathcal{A}\) and it is closed under cosyzygies. (An example is the full subcategory of objects of Gorenstein projective dimension at most \(n\).) In this paper, the authors study the singularity category \(\mathrm{D}_{\mathrm{sg}}(\underline{\mathcal{X}})=\mathrm{D}^{\mathrm{b} }(\mathrm{mod} \underline{\mathcal{X}}) /\mathrm{K}^{\mathrm{b} }(\mathrm{proj}(\mathrm{mod}\underline{\mathcal{X}}))\) of the stable category \(\underline{\mathcal{X}}\) of \(\mathcal{X}\). The first main result characterizes the situation when \(\mathrm{D}_{\mathrm{sg}}(\underline{\mathcal{X}})\) is triangle equivalent to the the singularity category of the stable category of \(\mathcal{X}\cap \mathrm{Gproj}\,\mathcal{A}=\Omega^n\mathcal{X}\). This applies to the module category of a Gorenstein ring, and the second main result of the paper reads as follows. If \(R\) is a \(d\)-dimensional nonregular complete local ring with algebraically closed residue field \(k\) of characteristic 0, then the following statements are equivalent. (1) \(R\) is Gorenstein, and \(\underline{\mathrm{CM}}R)\) is regular. (2) \(R\) is a complete intersection, and \(\underline{\mathcal{X}}\) is regular for every resolving subcategory \(\mathcal{X}\) of mod \(R\). (3) \(R\) is a complete intersection, and \(\underline{\mathcal{X}}\) is regular for some resolving subcategory \(\mathcal{X}\) of mod \(R\) that contains a module of maximal complexity. (4) \(R\) is a simple hypersurface singularity of type (A\({}_1\)). In this case, \(\underline{\mathrm{CM}}R)\) is regular of dimension at most \(0\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrei Marcus / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D09 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6685114 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
complete intersection | |||
Property / zbMATH Keywords: complete intersection / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finitely presented functor | |||
Property / zbMATH Keywords: finitely presented functor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
functor category | |||
Property / zbMATH Keywords: functor category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gorenstein ring | |||
Property / zbMATH Keywords: Gorenstein ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
resolving subcategory | |||
Property / zbMATH Keywords: resolving subcategory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
simple hypersurface singularity | |||
Property / zbMATH Keywords: simple hypersurface singularity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singular equivalence | |||
Property / zbMATH Keywords: singular equivalence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singularity category | |||
Property / zbMATH Keywords: singularity category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
stable category | |||
Property / zbMATH Keywords: stable category / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963717144 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1412.8061 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tilting, cotilting, and spectra of commutative noetherian rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5704250 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modules in resolving subcategories which are free on the punctured spectrum / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4097440 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation Theory of Artin Algebras I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable module theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homological theory of maximal Cohen-Macaulay approximations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4402491 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable equivalence of dualizing R-varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable equivalence of dualizing R-varieties. II: Hereditary dualizing R- varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable equivalence of dualizing R-varieties. III: Dualizing R-varieties stably equivalent to hereditary dualizing R-varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable equivalence of dualizing R-varieties. IV: Higher global dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable equivalence of dualizing R-varieties. V: Artin algebras stably equivalent to hereditary algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Applications of contravariantly finite subcategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4888447 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4251930 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Support varieties and cohomology over complete intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete intersection dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Models for singularity categories. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homological theory of contravariantly finite subcategories:auslander-buchweitz contexts, gorenstein categories and (co-)stabilization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On algebras of finite Cohen-Macaulay type. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The relative singularity category of a non-commutative resolution of singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modules that detect finite homological dimensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The singularity category of an algebra with radical square zero / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The radius of a subcategory of modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification of Resolving Subcategories and Grade Consistent Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative homological algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3686801 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological mirror symmetry for Brieskorn-Pham singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994341 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two theorems about maximal Cohen-Macaulay modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable categories of higher preprojective algebras. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singular derived categories of \(\mathbb{Q}\)-factorial terminalizations and maximal modification algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On triangulated orbit categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: the stable derived category of a noetherian scheme / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Filtering modules of finite projective dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residues and duality for singularity categories of isolated Gorenstein singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohen factorizations: weak functoriality and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3409132 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrix factorizations and singularity categories for stacks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Critères de platitude et de projectivité. Techniques de ''platification'' d'un module. (Criterial of flatness and projectivity. Technics of ''flatification of a module.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying resolving subcategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subcategories of singularity categories via tensor actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying thick subcategories of the stable category of Cohen-Macaulay modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contravariantly finite resolving subcategories over commutative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying resolving subcategories over a Cohen-Macaulay local ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reconstruction from Koszul homology and applications to module and derived categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalence of the Derived Category of a Variety with a Singularity Category / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995215 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A functorial approach to modules of G-dimension zero / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On singular equivalences of Morita type / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:11, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Singularity categories and singular equivalences for resolving subcategories |
scientific article |
Statements
Singularity categories and singular equivalences for resolving subcategories (English)
0 references
16 February 2017
0 references
Let \(\mathcal{A}\) be an abelian category with enough projective objects. Denote by \(\mathrm{Gproj}\,A\) the full subcategory of Gorenstein projective objects of \(\mathcal{A}\), which is a Frobenius category, and its stable category \(\underline{\mathrm{Gproj}}\,A\) is triangulated. A quasi-resolving subcategory is a full subcategory containing the projective objects and closed under finite direct sums and kernels of epimorphisms, while resolving means that the subcategory is also closed under direct summands and extensions. Let \(\mathcal{X}\) be a quasi-resolving subcategory of \(\mathcal{A}\). For an integer \(n \geq 0\), \(\Omega^n\mathcal{X}\) is the full subcategory of \(\mathcal{A}\) consisting of \(n\)th syzygies of objects in \(\mathcal{X}\). Assume that \(\Omega^n\mathcal{X}\) is contained in \(\mathrm{Gproj}\,\mathcal{A}\) and it is closed under cosyzygies. (An example is the full subcategory of objects of Gorenstein projective dimension at most \(n\).) In this paper, the authors study the singularity category \(\mathrm{D}_{\mathrm{sg}}(\underline{\mathcal{X}})=\mathrm{D}^{\mathrm{b} }(\mathrm{mod} \underline{\mathcal{X}}) /\mathrm{K}^{\mathrm{b} }(\mathrm{proj}(\mathrm{mod}\underline{\mathcal{X}}))\) of the stable category \(\underline{\mathcal{X}}\) of \(\mathcal{X}\). The first main result characterizes the situation when \(\mathrm{D}_{\mathrm{sg}}(\underline{\mathcal{X}})\) is triangle equivalent to the the singularity category of the stable category of \(\mathcal{X}\cap \mathrm{Gproj}\,\mathcal{A}=\Omega^n\mathcal{X}\). This applies to the module category of a Gorenstein ring, and the second main result of the paper reads as follows. If \(R\) is a \(d\)-dimensional nonregular complete local ring with algebraically closed residue field \(k\) of characteristic 0, then the following statements are equivalent. (1) \(R\) is Gorenstein, and \(\underline{\mathrm{CM}}R)\) is regular. (2) \(R\) is a complete intersection, and \(\underline{\mathcal{X}}\) is regular for every resolving subcategory \(\mathcal{X}\) of mod \(R\). (3) \(R\) is a complete intersection, and \(\underline{\mathcal{X}}\) is regular for some resolving subcategory \(\mathcal{X}\) of mod \(R\) that contains a module of maximal complexity. (4) \(R\) is a simple hypersurface singularity of type (A\({}_1\)). In this case, \(\underline{\mathrm{CM}}R)\) is regular of dimension at most \(0\).
0 references
complete intersection
0 references
finitely presented functor
0 references
functor category
0 references
Gorenstein ring
0 references
resolving subcategory
0 references
simple hypersurface singularity
0 references
singular equivalence
0 references
singularity category
0 references
stable category
0 references
0 references
0 references