Abstract:We study the spectrum of closed subcategories in a quasi-scheme, i.e. a Grothendieck category $X$. The closed subcategories are the direct analogs of closed subschemes in the commutative case, in the sense that when $X$ is the category of quasi-coherent sheaves on a quasi-projective scheme $S$, then the closed subschemes of $S$ correspond bijectively to the closed subcategories of $X$. Many interesting quasi-schemes, such as the noncommutative projective scheme Qgr-$B$ = Gr-$B$/Tors-$B$ associated to a graded algebra $B$, arise as quotient categories of simpler abelian categories. In this paper we will show how to describe the closed subcategories of any quotient category $X/Y$ in terms of closed subcategories of $X$ with special properties, when $X$ is a category with a set of compact projective generators.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **How to describe and understand the closed sub - categories of quotient categories in non - commutative geometry**. Specifically, the author hopes to develop the theory of closed sub - categories in a broader framework and provide a method to describe the closed sub - categories of any quotient category \(X/Y\), which are related to the closed sub - categories with special properties in the original category \(X\).
### Decomposition of the main problems in the paper
1. **Understanding closed sub - categories in a category with a set of compact projective generators**:
- The author first studies the closed sub - categories in the Grothendieck category \(X\) with compact projective generators. This type of category can be regarded as a generalization of the module category \(\text{Mod}-R\).
- By introducing the concept of "ideal", the author proves that there is a one - to - one correspondence between closed sub - categories and ideals in the set of generators (Theorem 1.1).
2. **Understanding closed sub - categories in the quotient category \(X/Y\)**:
- Given a Grothendieck category \(X\) and its localizing sub - category \(Y\), the author explores how to derive the closed sub - categories in \(X/Y\) from the closed sub - categories in \(X\).
- The author defines the concepts of \(Y\)-essentially stable and \(Y\)-torsion - free generated, and proves that there is a one - to - one correspondence between the \(Y\)-closed sub - categories in \(X\) and the closed sub - categories in \(X/Y\) (Theorem 1.2).
### Formula representation
- **Ideal**: Let \(S=\{O_{\alpha}\}_{\alpha\in A}\) be a set of compact projective generators of the Grothendieck category \(X\), and the set \(\{J_{\alpha}\}_{\alpha\in A}\), where \(J_{\alpha}\subseteq O_{\alpha}\) for all \(\alpha\), is called an ideal in \(S\) if for any morphism \(f:O_{\alpha}\to O_{\beta}\), we have \(f(J_{\alpha})\subseteq J_{\beta}\).
- **Correspondence between closed sub - categories and ideals**: Each closed sub - category \(Z\) is generated by the objects \(\{O_{\alpha}/J_{\alpha}\}\), where \(\{J_{\alpha}\}\) is an ideal in \(S\).
- **Closed sub - categories in the quotient category**: Given a localizing sub - category \(Y\), the \(Y\)-closed sub - category \(Z\) in \(X\) satisfies the following conditions:
- \(Z\) is \(Y\)-torsion - free generated, that is, it is generated by all \(Y\)-torsion - free objects in \(Z\).
- \(Z\) is \(Y\)-essentially stable, that is, for all \(M\in Z\), we have \(\omega\pi(M)\in Z\).
### Summary
The core problem of this paper is to better understand and describe the closed sub - categories of quotient categories in non - commutative geometry by introducing new concepts and techniques, such as ideals and \(Y\)-essentially stable. This not only provides new tools for the study of non - commutative geometry, but also lays the foundation for understanding more complex algebraic structures.