Algebras Associated to Inverse Systems of Projective Schemes
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914848212779008 |
|---|---|
| author | Conner, Andrew Goetz, Peter |
| author_facet | Conner, Andrew Goetz, Peter |
| contents | Artin, Tate and Van den Bergh initiated the field of noncommutative projective algebraic geometry by fruitfully studying geometric data associated to noncommutative graded algebras. More specifically, given a field $\mathbb K$ and a graded $\mathbb K$-algebra $A$, they defined an inverse system of projective schemes $Υ_A = \{{Υ_d(A)}\}$. This system affords an algebra, $\mathbf B(Υ_A)$, built out of global sections, and a $\mathbb K$-algebra morphism $τ: A \to \mathbf B(Υ_A)$. We study and extend this construction. We define, for any natural number $n$, a category ${\tt PSys}^n$ of projective systems of schemes and a contravariant functor $\mathbf B$ from ${\tt PSys}^n$ to the category of associative $\mathbb K$-algebras. We realize the schemes ${Υ_d(A)}$ as ${\rm Proj \ } {\mathbf U}_d(A)$, where ${\mathbf U}_d$ is a functor from associative algebras to commutative algebras. We characterize when the morphism $τ: A \to \mathbf B(Υ_A)$ is injective or surjective in terms of local cohomology modules of the ${\mathbf U}_d(A)$. Motivated by work of Walton, when $Υ_A$ consists of well-behaved schemes, we prove a geometric result that computes the Hilbert series of $\mathbf B(Υ_A)$. We provide many detailed examples that illustrate our results. For example, we prove that for some non-AS-regular algebras constructed as twisted tensor products of polynomial rings, $τ$ is surjective or an isomorphism. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_17139 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Algebras Associated to Inverse Systems of Projective Schemes Conner, Andrew Goetz, Peter Algebraic Geometry Rings and Algebras 16S38, 16W50 Artin, Tate and Van den Bergh initiated the field of noncommutative projective algebraic geometry by fruitfully studying geometric data associated to noncommutative graded algebras. More specifically, given a field $\mathbb K$ and a graded $\mathbb K$-algebra $A$, they defined an inverse system of projective schemes $Υ_A = \{{Υ_d(A)}\}$. This system affords an algebra, $\mathbf B(Υ_A)$, built out of global sections, and a $\mathbb K$-algebra morphism $τ: A \to \mathbf B(Υ_A)$. We study and extend this construction. We define, for any natural number $n$, a category ${\tt PSys}^n$ of projective systems of schemes and a contravariant functor $\mathbf B$ from ${\tt PSys}^n$ to the category of associative $\mathbb K$-algebras. We realize the schemes ${Υ_d(A)}$ as ${\rm Proj \ } {\mathbf U}_d(A)$, where ${\mathbf U}_d$ is a functor from associative algebras to commutative algebras. We characterize when the morphism $τ: A \to \mathbf B(Υ_A)$ is injective or surjective in terms of local cohomology modules of the ${\mathbf U}_d(A)$. Motivated by work of Walton, when $Υ_A$ consists of well-behaved schemes, we prove a geometric result that computes the Hilbert series of $\mathbf B(Υ_A)$. We provide many detailed examples that illustrate our results. For example, we prove that for some non-AS-regular algebras constructed as twisted tensor products of polynomial rings, $τ$ is surjective or an isomorphism. |
| title | Algebras Associated to Inverse Systems of Projective Schemes |
| topic | Algebraic Geometry Rings and Algebras 16S38, 16W50 |
| url | https://arxiv.org/abs/2406.17139 |