Geometría proyectiva no conmutativa

En matemáticas, la geometría proyectiva no conmutativa es un análogo no conmutativo de la geometría proyectiva en el contexto de la geometría algebraica no conmutativa .

Ejemplos

• El plano cuántico, el ejemplo más básico, es el anillo cociente del anillo libre:

${\displaystyle k\langle x,y\rangle /(yx-qxy)}$

• De manera más general, el anillo polinomial cuántico es el anillo cociente:

${\displaystyle k\langle x_{1},\dots ,x_{n}\rangle /(x_{i}x_{j}-q_{ij}x_{j}x_{i})}$

Proyecto de construcción

Por definición, la Proj de un anillo graduado R es la categoría cociente de la categoría de módulos graduados finitamente generados sobre R por la subcategoría de módulos de torsión. Si R es un anillo graduado noetheriano conmutativo generado por elementos de grado uno, entonces la Proj de R en este sentido es equivalente a la categoría de haces coherentes sobre la Proj habitual de R . Por lo tanto, la construcción puede considerarse como una generalización de la construcción Proj para un anillo graduado conmutativo.

Véase también

• Álgebra elíptica
• Álgebra de Calabi-Yau
• Álgebra de Sklyanin

Referencias

• Ajitabh, Kaushal (1994), Módulos sobre álgebras regulares y planos cuánticos (PDF) (tesis doctoral)
• Artin, Michael (1992), "Geometría de planos cuánticos", Matemáticas contemporáneas , 124 : 1–15, MR  1144023
• Rogalski, D (2014). "Una introducción a la geometría proyectiva no conmutativa". arXiv : 1403.3065 [matemáticas.RA].