Maps between schematic semi-graded rings

Andrés Chacón,María Camila Ramírez,Armando Reyes

2024-01-28

Abstract:Motivated by Smith's work \cite{Smith2003, Smith2016} on maps between non-commu\-tative projective spaces of the form ${\rm Proj}_{nc} A$ in the setting of non-commutative projective geometry developed by Rosenberg and Van den Bergh, and the notion of schematicness introduced by Van Oystaeyen and Willaert \cite{VanOystaeyenWillaert1995} to $\mathbb{N}$-graded rings with the aim of formulating a non-commutative scheme theory à la Grothendieck \cite{EGAII1961}, in this paper we consider a first approach to maps in the Smith's sense in the more general setting of non-commutative projective spaces over semi-graded rings defined by Lezama and Latorre \cite{LezamaLatorre2017}. We extend Smith's key result \cite[Theorem 3.2]{Smith2003}, \cite[Theorem 1.2]{Smith2016} from the category of schematic $\mathbb{N}$-graded rings to the category of schematic semi-graded rings.

Algebraic Geometry,Quantum Algebra

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to define and study the mappings between non - commutative projective spaces over semi - graded rings in the framework of non - commutative geometry. Specifically, the goal of the paper is to generalize Smith's theory of mappings between non - commutative projective spaces from N - graded rings to more general semi - graded rings.

### Background and Motivation

1. **Non - commutative generalization of Serre's theorem**:
- Serre's theorem describes the relationship between coherent sheaves on projective schemes and graded modules. Artin and Zhang generalized this result to non - commutative algebraic geometry and defined non - commutative projective spaces.
- Van Oystaeyen and Willaert further developed the theory of non - commutative schemes and introduced the concept of "schematicness" for dealing with non - commutative N - graded rings.

2. **Smith's work**:
- Smith studied the mappings between non - commutative projective spaces and defined closed immersions. He proved that a surjective graded ring homomorphism \( A \to A/J \) induces a closed immersion \( \text{Proj}_{\text{nc}}(A/J) \to \text{Proj}_{\text{nc}}(A) \).

3. **Introduction of semi - graded rings**:
- Lezama and Latorre introduced semi - graded rings, which are a broader class of rings covering a variety of non - commutative ring structures. They studied the geometric and algebraic properties of these rings and applied them to the definition of non - commutative projective spaces.

### Main contributions of the paper

1. **Extension of Smith's results**:
- This paper generalizes Smith's key results from N - graded rings to semi - graded rings. Specifically, the author proves that if \( R \) is a schematic semi - graded ring and \( J \) is a compatible semi - graded ideal, then \( R/J \) is also schematic.
- Further, the author defines the mappings between non - commutative projective spaces over semi - graded rings and proves the properties of these mappings, especially the existence of closed immersions.

2. **Construction of adjoint functor pairs**:
- The author constructs two adjoint functor pairs \( (i^*, i_*) \) and \( (i^*, i_!) \) and proves that these functor pairs satisfy certain natural isomorphisms, thereby establishing the theory of mappings between non - commutative projective spaces.

3. **Verification of the schematicness condition**:
- The author proves that if \( J \) satisfies an additional condition (denoted as \( (*) \)), then \( R/J \) remains schematic. This condition is trivially satisfied in the case of commutative rings, but needs special verification in non - commutative rings.

### Conclusion

Through these works, the paper provides a new research framework for semi - graded rings in non - commutative geometry, expanding the application range of existing theories. This not only enriches the research content of non - commutative algebraic geometry, but also provides a theoretical basis for further exploring the properties of non - commutative projective spaces.