N-Koszul algebras, Calabi-Yau algebras and skew PBW extensions

Abstract

En el enfoque esquemático de la geometría algebraica no conmutativa surgen algunas clases importantes de álgebras no conmutativas como álgebras de Koszul, álgebras Artin-Schelter regulares, álgebras Calabi-Yau y, estrechamente relacionadas con estas, las extensiones PBW torcidas. Existen algunas relaciones entre estas álgebras y las extensiones PBW torcidas. Nosotros damos condiciones para garantizar cuáles extensiones PBW torcidas de un cuerpo son álgebras no homogéneas de Koszul o álgebras de Koszul. También, mostramos que una extensión PBW torcida constante de un cuerpo es una deformación PBW de su versión homogénea. Definimos las extensiones PBW torcidas graduadas, estudiamos algunas propiedades de estas álgebras y mostramos que si R es un álgebra PBW, entonces cada extensión PBW torcida graduada de R es un álgebra PBW, y por lo tanto un álgebra de Koszul. Como una generalización de los resultados anteriores, se demuestra que cada extensión PBW torcida graduada de un álgebra de Koszul finitamente presentada, es un álgebra de Koszul. La regularidad de Artin-Schelter y la condición de Calabi-Yau torcida se estudian para las extensiones PBW torcidas graduadas. Se demuestra que cada extensión PBW torcida cuasi-conmutativa graduada de un álgebra Artin-Schelter regular es un álgebra Artin-Schelter regular, y más general, extensiones PBW torcidas graduadas de un álgebra finitamente presentada Auslander-regular, son álgebras Artin-Schelter regulares. Como consecuencia, cada extensión PBW torcida cuasi-conmutativa graduada de un álgebra Calabi-Yau torcida finitamente presentada, es Calabi-Yau torcida, y las extensiones PBW torcidas graduadas de un álgebra Auslander-regular finitamente presentada son álgebras Calabi-Yau torcidas. Dado que las extensiones PBW torcidas cuasi-conmutativas graduadas con coeficientes en un álgebra Calabi-Yau torcida finitamente presentada, son Calabi-Yau torcidas, existe el automorfismo de Nakayama para estas extensiones. Con esto en mente, damos una descripción del automorphism de Nakayama para estas álgebras no conmutativas, usando el automorphism de Nakayama del anillo de coeficientes (Texto tomado de la fuente).

In the schematic approach to non-commutative algebraic geometry arises some important classes of non-commutative algebras like Koszul algebras, Artin-Schelter regular algebras, Calabi-Yau algebras, and closely related with them, the skew PBW extensions. There exist some relations between these algebras and the skew PBW extensions. We give conditions to guarantee that skew PBW extensions over fields are nonhomogeneous Koszul or Koszul algebras. We also show that a constant skew PBW extension of a field is a PBW deformation of its homogeneous version. We define graded skew PBW extensions, study some properties of these algebras and showed that if R is a PBW algebra then a graded skew PBW extension of R is a PBW algebra, and therefore, a Koszul algebra. As a generalization of the above results, we prove that every graded skew PBW extension of a finitely presented Koszul algebra is Koszul. Artin-Schelter regularity and the skew Calabi-Yau condition are studied for graded skew PBW extensions. We prove that every graded quasi-commutative skew PBW extension of an Artin-Schelter regular algebra is an Artin-Schelter regular algebra and, more general, graded skew PBW extensions of a finitely presented Auslander-regular algebra, are Artin-Schelter regular algebras. As a consequence, every graded quasi-commutative skew PBW extension of a finitely presented skew Calabi-Yau algebra is skew Calabi-Yau, and graded skew PBW extensions of a finitely presented Auslander-regular algebra are skew Calabi-Yau. Since graded quasi-commutative skew PBW extensions with coefficients in a finitely presented skew Calabi-Yau algebra are skew Calabi-Yau, the Nakayama automorphism exists for these extensions. With this in mind, we give a description of Nakayama automorphism for these non-commutative algebras using the Nakayama automorphism of the ring of the coefficients.