---
abstract: |
    Koszul and homogeneous Koszul algebras were defined by Priddy in [@Priddy1970]. There exist some relations between these algebras and the skew PBW extensions introduced in [@LezamaGallego]. In this paper we give conditions to guarantee that skew PBW extensions over fields are Koszul or homogeneous Koszul. We also show that a constant skew PBW extension of a field is a PBW deformation of its homogeneous version.

    *Key words and phrases.* Skew PBW extensions, pre-Koszul algebras, Koszul algebras, PBW algebras, PBW deformations.

    2010 *Mathematics Subject Classification.* 16S37, 16W50, 16W70, 16S36, 16S32.
author:
- |
    Héctor Suárez[^1] [^2]\
    Armando Reyes [^3]
title: '**Koszulity for skew PBW extensions over fields**'
---

Introduction
============

Koszul and homogeneous Koszul algebras were introduced by Priddy in [@Priddy1970]; despite of that these type of algebras have not been enough studied, they have important applications in algebraic geometry, Lie theory, quantum groups, algebraic topology and combinatorics. The structure and history of Koszul homogeneous algebras were detailed in [@Polishchuk]. There exist numerous equivalent definitions of homogeneous Koszul algebras (see for example [@Backelin]); in addition, Koszul algebras have been defined in a more general way by some authors and they are commonly called Generalized Koszul algebras (see for example [@BeilinsonGinzburgSoerge1996], [@Cassidy2008], [@Li2012], [@Woodcock1998]). In this paper we work with the definition given by Priddy, which is commonly called Koszul algebras in the classical sense.

Skew PBW extensions or $\sigma$-PBW extensions were defined in [@LezamaGallego]. Several properties of these extensions have been recently studied (see for example [@lezamaore], [@ArtamonovDerivations], [@Gallego4], [@Jimenez2], [@LezamaAcostaReyes2015], [@LezamaReyes], [@Reyes2013], [@Reyes2014], [@Reyes2014UIS], [@Reyes2015], [@SuarezLezamaReyes2015], [@Venegas2015]). There exist some relations between Koszul and homogeneous Koszul algebras with the skew PBW extensions. Our interest in this article is to study the Koszul property for the skew PBW extensions over fields. For this purpose we classify the skew PBW extensions in five sub-classes: constant, bijective, pre-commutative, quasi-commutative and semi-commutative, and we show that a skew PBW extension $A$ of a field is Koszul (homogeneous Koszul) when $A$ is pre-commutative and constant (semi-commutative). Finally, following the ideas presented in [@Braverman], we show that a constant skew PBW extension of a field is a PBW deformation of its homogeneous version.

Skew PBW extensions {#section2}
===================

In this section we recall some elementary properties of skew PBW extensions; in addition, we will introduce some sub-classes of them: constant, pre-commutative and semi-commutative. Examples of these sub-classes are presented.

Definitions and properties
--------------------------

\[def.skewpbwextensions\] Let $R$ and $A$ be rings. We say that $A$ is a *skew PBW extension of* $R$ (also called a $\sigma$-PBW extension of $R$) if the following conditions hold:

1.  $R\subseteq A$;

2.  there exist finitely many elements $x_1,\dots ,x_n\in A$ such $A$ is a left $R$-free module with basis

    ${\rm Mon}(A):= \{x^{\alpha}=x_1^{\alpha_1}\cdots x_n^{\alpha_n}\mid \alpha=(\alpha_1,\dots
    ,\alpha_n)\in \mathbb{N}^n\}$, with $\mathbb{N}:=\{0,1,2,\dots\}$.

    The set $Mon(A)$ is called the set of standard monomials of $A$.

3.  For each $1\leq i\leq n$ and any $r\in R\ \backslash\ \{0\}$, there exists an element $c_{i,r}\in R\ \backslash\ \{0\}$ such that $$\label{sigmadefinicion1}
    x_ir-c_{i,r}x_i\in R.$$

4.  For any elements $1\leq i,j\leq n$ there exists $c_{i,j}\in R\ \backslash\ \{0\}$ such that $$\label{sigmadefinicion2}
    x_jx_i-c_{i,j}x_ix_j\in R+Rx_1+\cdots +Rx_n.$$ Under these conditions we will write $A:=\sigma(R)\langle
    x_1,\dots,x_n\rangle$.

The notation $\sigma(R)\langle x_1,\dots,x_n\rangle$ and the name of the skew PBW extensions are due to the following proposition.

\[sigmadefinition\] Let $A$ be a skew PBW extension of $R$. For each $1\leq i\leq
n$, there exists an injective endomorphism $\sigma_i:R\rightarrow
R$ and a $\sigma_i$-derivation $\delta_i:R\rightarrow R$ such that $$x_ir=\sigma_i(r)x_i+\delta_i(r),\ \ \ \  \ r \in R.$$

\[sigmapbwderivationtype\] Let $A$ be a skew PBW extension of $R$, $\Sigma:=\{\sigma_1,\dotsc, \sigma_n\}$ and $\Delta:=\{\delta_1,\dotsc, \delta_n\}$, where $\sigma_i$ and $\delta_i$ ($1\leq i\leq n$) are as in the Proposition \[sigmadefinition\].

1.  $A$ is called [*pre-commutative*]{} if the condition [(]{}iv[)]{} in Definition \[def.skewpbwextensions\] is replaced by:\
    For any $1\leq i,j\leq n$ there exists $c_{i,j}\in R\ \backslash\ \{0\}$ such that $$\label{relat.pre-comm}
    x_jx_i-c_{i,j}x_ix_j\in Rx_1+\cdots +Rx_n.$$

2.  \[def.quasicom\] $A$ is called *quasi-commutative* if the conditions [(]{}iii[)]{} and [(]{}iv[)]{} in Definition \[def.skewpbwextensions\] are replaced by

    1.  for each $1\leq i\leq n$ and all $r\in R\ \backslash\ \{0\}$ there exists $c_{i,r}\in R\ \backslash\ \{0\}$ such that $$x_ir=c_{i,r}x_i;$$

    2.  for any $1\leq i,j\leq n$ there exists $c_{i,j}\in R\ \backslash\ \{0\}$ such that $$x_jx_i=c_{i,j}x_ix_j.$$

3.  $A$ is called *bijective* if $\sigma_i$ is bijective for each $\sigma_i\in \Sigma$, and $c_{i,j}$ is invertible for any $1\leq
    i<j\leq n$.

4.  Any element $r$ of $R$ such that $\sigma_i(r)=r$ and $\delta_i(r)=0$ for all $1\leq i\leq n$ will be called a [*constant*]{}. $A$ is called *constant* if every element of $R$ is constant.

5.  $A$ is called [*semi-commutative*]{} if $A$ is quasi-commutative and constant.

Recall that a *filtered ring* is a ring $B$ with a family $F(B)=\{F_n(B)\mid n \in
\mathbb{Z}\}$ of subgroups of the additive group of $B$ where we have the ascending chain $\dotsb
\subset F_{n-1}(B)\subset F_n(B)\subset \dotsb$ such that $1\in F_0(B)$ and $F_n(B)F_m(B)\subseteq
F_{n+m}(B)$ for all $n,m\in \mathbb{Z}$. From a filtered ring $B$ it is possible to construct its associated graded ring $Gr(B)$ taking $Gr(B)_n:=F_n(B)/F_{n-1}(B)$. The following proposition establishes that one can construct a quasi-commutative skew PBW extension from a given skew PBW extension of a ring $R$.

\[remarkAsigma\] Let $A$ be a skew PBW extension of $R$. Then, there exists a quasicommutative skew PBW extension $A^{\sigma}$ of $R$ in $n$ variables $z_1,\dotsc, z_n$ defined by the relations $z_ir=c_{i,r}z_i$, $z_jz_i=c_{i,j}z_iz_j$, for $1\le i\le n$, where $c_{i,r}, c_{i,j}$ are the same constants that define $A$. Moreover, if $A$ is bijective then $A^{\sigma}$ is also bijective.

The next proposition computes the graduation of a skew PBW extension.

\[teo.Gr(A)\] Let $A$ be an arbitrary skew PBW extension of $R$. Then, $A$ is a filtered ring with increasing filtration given by $$\label{eq1.3.1a}
F_m(A):=\begin{cases} R & {\rm if}\ \ m=0\\ \{f\in A\mid {\rm deg}(f)\le m\} & {\rm if}\ \ m\ge 1
\end{cases}$$ and the corresponding graded ring $Gr(A)$ is isomorphic to $A^{\sigma}$.

Examples and classification {#ex and classif}
---------------------------

\[general exam\] In [@LezamaGallego] and [@LezamaReyes] was presented a list of examples of quasi-commutative or bijective skew PBW extensions. We also classify these examples according to Definition \[sigmapbwderivationtype\]. Through this paper, $\mathbb{K}$ will denote a field and $K$ a commutative ring.

1.  Classical polynomial ring; Ore extensions of bijective type and Weyl algebras; Universal enveloping algebra of a Lie algebra; Tensor product; crossed product; Algebra of $q$-differential operators; Algebra of shift operators; Mixed algebras; Algebra of discrete linear systems; Linear partial differential operators; Linear partial shift operators; Algebra of linear partial difference operators; Algebra of linear partial q-dilation operators; Algebra of linear partial q-differential operators; Diffusion algebra 1 ([@Reyes2014UIS]); Diffusion algebra 2 ([@LezamaReyes]); Additive analogue of the Weyl algebra; Multiplicative analogue of the Weyl algebras; Quantum algebras; Dispin algebras; Woronowicz algebras; Complex algebras; Algebra $\textbf{U}$; Manin algebras; Algebra of quantum matrices; $q$-Heisenberg algebras; Quantum enveloping algebras of $\mathfrak{sl}(2,\mathbb{K})$; The algebra of differential operators on a quantum space; Witten’s deformation of ${\mbox{${\cal U}$}}(\mathfrak{sl}(2,\mathbb{K}))$; Quantum Weyl algebra of Maltsiniotis; Quantum Weyl algebras; Multiparameter quantized Weyl algebras; Quantum symplectic space and Quadratic algebras in 3 variables.

2.  \[jordan plane\]Jordan plane. The Jordan plane $A$ is the free $\mathbb{K}$-algebra generated by $x,y$ with relation $yx = xy + x^2$, so $A=\mathbb{K}\langle x, y\rangle/ \langle yx-xy-x^2\rangle\cong \sigma(\mathbb{K}[x])\langle y\rangle$.

3.  \[Sklyanin\] Particular Sklyanin algebra. The Sklyanin algebra (Example 1.14, [@Rogalski]) is the $\mathbb{K}$-algebra $S = \mathbb{K}\langle x, y, z\rangle/\langle ayx + bxy + cz^2, axz + bzx + cy^2, azy + byz + cx^2\rangle$, where $a, b, c\in \mathbb{K}$. If $c\neq 0$ then $S$ is not a skew PBW extension. If $c=0$ and $a,b\neq 0$ then in $S$: $yx = -\frac{b}{a}xy$; $zx =  -\frac{a}{b}xz$ and $zy =  -\frac{b}{a}yz$, therefore $S\cong\sigma(\mathbb{K})\langle x,y,z\rangle$ is a skew PBW extension of $\mathbb{K}$, and we call this algebra a *particular Sklyanin algebra*.

4.  Multi-parameter quantum affine $n$-spaces. Let $n\geq 1$ and $\textbf{q}$ be a matrix $(q_{ij})_{n\times n}$ with entries in a field $\mathbb{K}$ where $q_{ii} = 1$ y $q_{ij}q_{ji} = 1$ for all $1\leq i, j \leq n$. Then multi-parameter quantum affine $n$-space $\mathcal{O}_{\textbf{q}}(\mathbb{K}^n)$ is defined to be $\mathbb{K}-$algebra generated by $x_1,\dots, x_n$ with the relations $x_jx_i = q_{ij}x_ix_j$ for all $1\leq i, j \leq n$.

5.  \[ex.homog envoluniversal\] Homogenized enveloping algebra ([@Smith2], Chapter 12). Let $\mathcal{G}$ a finite dimensional Lie algebra over $\mathbb{K}$ with basis $\{x_1, \dots,
    x_n\}$ and $\mathcal{U}(\mathcal{G})$ its enveloping algebra. The *homogenized enveloping algebra* of $\mathcal{G}$ is $\mathcal{A}(\mathcal{G}):= T(\mathcal{G}\oplus \mathbb{K}z)/\langle
    R\rangle$, where $T(\mathcal{G}\oplus \mathbb{K}z)$ is the tensor algebra, $z$ is a new variable, and $R$ is spanned by $\{z\otimes x-x\otimes z\mid x\in \mathcal{G}\}\cup \{x\otimes y-y\otimes
    x-[x,y]\otimes z\mid x,y\in \mathcal{G}\}$. From the PBW Theorem for $\mathcal{G}\otimes
    \mathbb{K}(z)$, considered as a Lie algebra over $\mathbb{K}(z)$, we get that $\mathcal{A}(\mathcal{G})$ is a skew PBW extension of $\mathbb{K}[z]$.

\[classif\]

We classify the above examples of skew PBW extensions as constant (C), bijective (B), pre-commutative (P), quasi-commutative (QC) and semi-commutative (SC); the classification is presented in the next table, where the symbols $\star$ and $\checkmark$ denote negation and affirmation, respectively.

\[sridharan\] *Sridharan enveloping algebra of 3-dimensional Lie algebra $\mathcal{G}$*. Let $\mathcal{G}$ be a finite dimensional Lie algebra, and let $f \in Z^2(\mathcal{G},\mathbb{K})$ be an arbitrary *$2-$cocycle*, that is, $f: \mathcal{G}\times\mathcal{G}\to
\mathbb{K} \text{ such that } f (x, x) =0$ and $$f(x, [y, z])+ f ( z, [x, y])  + f ( y, [z, x] )=
0$$ for all $x, y, z\in
\mathcal{G}$. The Sridharan enveloping algebra of $\mathcal{G}$ is defined to be the associative algebra $\mathcal{U}_f(\mathcal{G}) = T(\mathcal{G})/I,$ where $T(\mathcal{G})$ is the tensor algebra of $\mathcal{G}$ and $I$ is the two-sided ideal of $T(\mathcal{G})$ generated by the elements $$(x\otimes y) - (y \otimes x) - [x, y] - f(x, y), \text{ for all $x, y\in
\mathcal{G}$}.$$ Note that if $f=0$ then $\mathcal{U}_f(\mathcal{G})=\mathcal{U}_0(\mathcal{G})=\mathcal{U}(\mathcal{G})$. For $x\in \mathcal{G}$, we still denote by $x$ its image in $\mathcal{U}_f(\mathcal{G})$. $\mathcal{U}_f(\mathcal{G})$ is a filtered algebra with the associated graded algebra $gr(\mathcal{U}_f(\mathcal{G}))$ being a polynomial algebra. Let $\mathbb{K}$ be an algebraically closed field of characteristic zero. If $\mathcal{G}$ is a Lie $\mathbb{K}$-algebra of dimension three, then the Sridharan enveloping algebra $\mathcal{U}_f(\mathcal{G})$ for $f \in Z^2(\mathcal{G},\mathbb{K})$ is isomorphic to one of ten associative $\mathbb{K}$-algebras (see [@Nuss1], Theorem 1.3), which is defined by three generators $x,y,z$ and the commutation relations as the following table shows. Therefore, the Sridharan enveloping algebra $\mathcal{U}_f(\mathcal{G})$ is a skew PBW extension of $\mathbb{K}$, i.e. $\mathcal{U}_f(\mathcal{G})\cong\sigma(\mathbb{K})\langle x,y,z\rangle$, and it is classified as follows:

where $\alpha\in \mathbb{K} \backslash\{0\}$.

Koszulity
=========

Some authors have defined Koszul algebras in a more general sense than [@Priddy1970] (see for example [@BeilinsonGinzburgSoerge1996], [@Li2012], [@Woodcock1998]). Our focus is to study the Koszul property for skew PBW extensions taking into account the definition given in [@Priddy1970]. In this section we give sufficient conditions to guarantee that skew PBW extensions are Koszul or homogeneous Koszul. For this purpose, we show the relationship between $\mathbb{K}$-algebras that are skew PBW extensions and certain classes of algebras defined in [@Priddy1970] containing the Koszul and homogeneous Koszul algebras. Let $L:=\mathbb{K}\langle x_1,\dots, x_n\rangle$ the free associative algebra (tensor algebra) in $n$ generators $x_1,\dots, x_n$. Note that $L$ is positively graded with graduation given by $L:=\bigoplus_{j\geq 0}L_j$, where $L_0= \mathbb{K}$ and $L_j$ spanned by all words of length $j$ in the alphabet $\{x_1, \dots,
x_n\}$, for $j>0$.

Pre-Koszul algebras
-------------------

We present a definition of pre-Koszul and homogeneous pre-Koszul algebras, analogous to the definition given by Priddy in [@Priddy1970].

\[def.varios\] Let $L=\mathbb{K}\langle x_1,\dots, x_n\rangle$ and let $B:=L/I$.

1.  $B$ is said to be a *pre-Koszul* algebra if $I$ is a two sided ideal generated by elements of the form $$\label{rep.prekosz}
    \sum_{i=1}^{n}c_ix_i + \sum_{1\leq j,k\leq n}c_{j,k}x_jx_k, \text{ where } c_i \text{ and } c_{j,k} \text{ are in } \mathbb{K},$$

2.  A pre-Koszul algebra is said to be *pre-Koszul homogeneous* if $c_i=0$, for $1\leq i\leq n$ in (\[rep.prekosz\]).

Presentations of special types of skew PBW extensions are given in the following remark.

\[notac.skewpbwext\] Let $A= \sigma(\mathbb{K})\langle x_1,\dots, x_n\rangle$ be a skew PBW extension of a field $\mathbb{K}$.

1.  We note that $A = \mathbb{K}\langle x_1,\dots, x_n\rangle/I,$ where $I$ is the two sided ideal generated by elements as in $(iii)$ and $(iv)$ of the Definition \[def.skewpbwextensions\], i.e., elements of the form $$\label{rep.skewpbwext}
    c_r + x_ir-c_{i,r}x_i,\quad r_0+r_1x_1+ \cdots + r_nx_n+ x_jx_i-c_{i,j}x_ix_j,$$ where $r\neq 0$, $c_r$, $c_{i,r}\neq 0$, $r_0$, $r_1,\dots, r_n$, $c_{i,j}\neq 0$ are elements in $\mathbb{K}$, with $ 1\leq i,j\leq n$.

2.  If $A$ is pre-commutative, then $A = \mathbb{K}\langle x_1,\dots, x_n\rangle/I$, where $I$ is the two sided ideal generated by elements of the form $$\label{rep.pre-commut}
    c_r + x_ir-c_{i,r}x_i,\quad r_1x_1+ \cdots + r_nx_n+ x_jx_i-c_{i,j}x_ix_j,$$ where $r\neq 0$, $c_r$, $c_{i,r}\neq 0$, $r_1,\dots, r_n$, $c_{i,j}\neq 0$ are elements in $\mathbb{K}$, with $ 1\leq i,j\leq n$.

3.  If $A$ is constant, then $A = \mathbb{K}\langle x_1,\dots, x_n\rangle/I,$ where $I$ is the two sided ideal generated by elements of the form $$\label{rep.const}
    r_0 +r_1x_1+ \cdots + r_nx_n+ x_jx_i-c_{i,j}x_ix_j,$$ where $r_0, r_1,\dots, r_n$, $c_{i,j}\neq 0$ are elements in $\mathbb{K}$, with $ 1\leq i,j\leq n$.

4.  If $A$ is quasi-commutative then $A = \mathbb{K}\langle x_1,\dots, x_n\rangle/I,$ where $I$ is the two sided ideal generated by elements as in $(iii')$ and $(iv')$ of the Definition \[def.quasicom\], i.e., elements of the form $$\label{rep.quasi-comm}
    x_ir-c_{i,r}x_i,\quad  x_jx_i-c_{i,j}x_ix_j$$ where $r\neq 0$, $c_{i,r}\neq 0$, $c_{i,j}\neq 0$ are elements in $\mathbb{K}$, with $ 1\leq i,j\leq n$.

5.  If $A$ is semi-commutative then $A = \mathbb{K}\langle x_1,\dots, x_n\rangle/I,$ where $I$ is the two sided ideal generated by elements of the form $$\label{rep.semi-comm}
    x_jx_i-c_{i,j}x_ix_j$$ where $c_{i,j}\neq 0$ are elements in $\mathbb{K}$, with $ 1\leq i,j\leq n$.

If otherwise is not assumed, in this paper all skew PBW extensions are $\mathbb{K}$-algebras and extensions of the field $\mathbb{K}$ (i.e., $R=\mathbb{K}$ in Definition \[def.skewpbwextensions\]), so $A=\sigma(\mathbb{K})\langle x_1\dots, x_n\rangle$ is necessarily a constant skew PBW extension.

\[prop.pre-Koszul\]

Let $A= \sigma(\mathbb{K})\langle x_1,\dots, x_n\rangle$ be a skew PBW extension. If $A$ is pre-commutative then $A$ is pre-Koszul.

From (\[rep.pre-commut\]) and (\[rep.const\]) we have that $A = \mathbb{K}\langle x_1,\dots, x_n\rangle/I,$ where $I$ is the two sided ideal generated by elements of the form $$\label{rep.preKskewpbwext}
r_1x_1+ \cdots +r_nx_n+ x_jx_i-c_{i,j}x_ix_j.$$ Then we conclude that $A$ is pre-Koszul.

\[example3.5\] According to the classifications presented in the tables of Section \[section2\], the following skew $PBW$ extensions are pre-Kozul algebras: classical polynomial ring over a field; particular Sklyanin algebra; universal enveloping algebra of a Lie algebra; algebra of linear partial q-dilation operators; additive analogue of the Weyl algebra; multiplicative analogue of the Weyl algebra; quantum algebra $\mathcal{U}'(so(3,K))$; dispin algebra; Woronowicz algebra; $q$-Heisenberg algebra; multi-parameter quantum affine $n$-space; types 1, 2, 3, 4, 5 and 6 of Sridharan enveloping algebra of 3-dimensional Lie algebras.

\[prop2\] Let $A$ be a skew PBW extension. If $A$ is semi-commutative then $A$ is pre-Koszul homogeneous.

If $A$ is a semi-commutative skew PBW extension then $A$ from (\[rep.semi-comm\]) and Proposition \[prop.pre-Koszul\] we get that $A$ is pre-Kozul homogeneous.

From Example \[example3.5\] we obtain the following examples of pre-Kozul homogeneous skew $PBW$ extensions: classical polynomial ring over a field; particular Sklyanin algebras; multiplicative analogue of the Weyl algebra; multi-parameter quantum affine $n$-space; the Sridharan enveloping algebra of 3-dimensional Lie algebra with $[x,y]=[y,z]=[z,x]=0$.

Let $B$ be a pre-Koszul algebra. One can truncate the relations in (\[rep.prekosz\]) leaving only their homogeneous quadratic parts. Let $B^{(0)}$ be the obtained algebra. Then $B^{(0)}$ is called the *associated homogeneous pre-Koszul algebra* of $B$. Note that $B$ is homogeneous if and only if $B^{(0)}\cong B$ as algebras.

\[prop.asshompreKoszul\] Let $A$ be a pre-Koszul skew PBW extension, then $A^\sigma$ is the associated homogeneous pre-Koszul algebra of $A$.

Let $A$ be a pre-Koszul skew PBW extension. By Proposition \[remarkAsigma\] there exists a quasi-commutative skew PBW extension $A^{\sigma}$ of $\mathbb{K}$ in $n$ variables $z_1,\dotsc, z_n$ defined by the relations $z_ir=c_{i,r}z_i$, $z_jz_i=c_{i,j}z_iz_j$, for $1\le i\le n$, where $c_{i,r}, c_{i,j}$ are the same constants that define $A$. Since $A$ is pre-Koszul then by Proposition \[prop.pre-Koszul\] $A$ is constant and therefore $A^{\sigma}$ is defined by the relations $z_jz_i=c_{i,j}z_iz_j$. Then $A^{(0)}\cong A^{\sigma}$.

Koszul algebras and skew PBW extensions
---------------------------------------

Let $B$ be a finitely graded algebra generated in degree $1$; consider the *Yoneda algebra* of $B$ defined by

$E(B):=\bigoplus_{i\geq 0}Ext_B^i(\mathbb{K},\mathbb{K})$;

the $Ext$ groups here are computed in the category of graded $B$-modules with graded $Hom$ spaces; the product in $E(B)$ is defined in the following way: Let $\{P_i\xrightarrow{d_i} P_{i-1}\}_{i\geq
0}$ be a graded projective resolution of $\mathbb{K}$ that defines the groups $Ext_B^i(\mathbb{K},\mathbb{K})$, with $P_{-1}:=\mathbb{K}$; moreover, let $\overline{f}\in
Ext_B^i(\mathbb{K},\mathbb{K})=\ker(d_{i+1}^*)/Im{f_i^*}$ with $f\in ker(d_{i+1}^*)\subseteq
Hom_B(P_i,\mathbb{K})$ and $\overline{g}\in
Ext_B^j(\mathbb{K},\mathbb{K})=\ker(d_{j+1}^*)/Im{f_j^*}$ with $g\in ker(d_{j+1}^*)\subseteq
Hom_B(P_j,\mathbb{K})$, then we define $$\begin{aligned}
Ext_B^i(\mathbb{K},\mathbb{K})\times Ext_B^j(\mathbb{K},\mathbb{K}) & \to Ext_B^{i+j}(\mathbb{K},\mathbb{K})\\
(\overline{f},\overline{g})& \mapsto \overline{f}\ \overline{g}:=\overline{fg'},\end{aligned}$$ where $g':P_{i+j}\to P_i$ is defined inductively by the following commutative diagrams: $$\begin{diagram}
\node[2]{P_j} \arrow{sw,t,..}{g_0} \arrow{s,r}{g} \\
\node{P_0} \arrow{e,b}{d_0} \node{\mathbb{K}}
\end{diagram}\Rightarrow
\begin{diagram}
\node[2]{P_{j+1}} \arrow{sw,t,..}{g_1} \arrow{s,r}{g_0 d_{j+1}} \\
\node{P_1} \arrow{e,b}{d_1} \node{Im(d_1)}
\end{diagram}\ \ \Rightarrow \cdots \ \Rightarrow\
\begin{diagram}
\node[2]{P_{j+i}} \arrow{sw,t,..}{g':=g_i} \arrow{s,r}{g_{i-1} d_{j+i}} \\
\node{P_i} \arrow{e,b}{d_i} \node{Im(d_i)}
\end{diagram}$$ Can be proved that this product is well defined, i.e., it does not depend of the projective resolution of $\mathbb{K}$ and the choosing of $g_0,g_1,\dots,g_{i-1}, g_i$; moreover, $fg'\in
\ker(d_{i+j+1}^*)$: In fact, from the step $i+1$ in the previous inductive procedure we have that $d_{i+1}g_{i+1}=g_id_{i+j+1}$, so $fd_{i+1}g_{i+1}=fg_id_{i+j+1}$, i.e., $0=d_{i+1}^*(f)g_{i+1}=d_{i+j+1}^*(fg_i)$.

Thus, $E(B)$ is a graded algebra; note that the $\mathbb{K}$-vector space $Ext_B^i(\mathbb{K},\mathbb{K})$ is graded

$Ext_B^i(\mathbb{K},\mathbb{K})=\bigoplus_{j\geq 0}Ext_B^{i,j}(\mathbb{K},\mathbb{K})$,

with

$Ext_B^{i,j}(\mathbb{K},\mathbb{K}):=(Ext_B^i(\mathbb{K},\mathbb{K}))_{-j}:=Ext_B^i(\mathbb{K},\mathbb{K}(-j))$,

so setting $E^{i,j}(B):=Ext_B^{i,j}(\mathbb{K},\mathbb{K})$ we get that

$E(B)=\bigoplus_{i,j\geq 0}E^{i,j}(B)$

is a bigraded algebra. For $i\geq 0$, we write

$E^i(B):=\bigoplus_{j\geq 0}E^{i,j}(B)$;

in particular,

$E^0(B)=\bigoplus_{j\geq 0}Hom_B^j(\mathbb{K},\mathbb{K})=\bigoplus_{j\geq
0}(Hom_B(\mathbb{K},\mathbb{K}))_{-j}=\bigoplus_{j\geq 0}Hom_B(\mathbb{K},\mathbb{K}(-j))$,

with $Hom_B(\mathbb{K},\mathbb{K}(-j)):=\{f\in
Hom_B(\mathbb{K},\mathbb{K})|f(\mathbb{K}_l)\subseteq \mathbb{K}_{l-j}, l\in \mathbb{Z}\}$.

\[def.homKosz\] Let $B$ be a homogeneous pre-Koszul algebra, $B$ is called *homogeneous Koszul* if the following equivalent conditions hold:

1.  $Ext^{i,j}_B(\mathbb{K}, \mathbb{K})=0$ for $i\neq j$;

2.  $E(B)$ is generated by $E^{1,1}(B)$;

3.  The module $\mathbb{K}$ admits a *linear free resolution*, i.e., a resolution by free $B$-modules $$\cdots \to P_2\to P_1\to P_0\to \mathbb{K}\to 0$$ such that $P_i$ is generated in degree $i$.

\[def.Koszul\] We say that a pre-Koszul algebra $B$ is a *Koszul algebra* if $B^{(0)}$ is a homogeneous Koszul algebra.

\[Koszul impl homKos\] Notice that if $B$ is homogeneous Koszul algebra then $B$ is Koszul. In fact, as $B$ is homogeneous then $B^{(0)}\cong B$ as algebras and so $B^{(0)}$ is homogeneous Koszul, therefore $B$ is Koszul.

In the current literature, homogeneous Koszul algebras are called simply Koszul algebras. Some authors have studied Koszul algebras defined by Priddy in [@Priddy1970]. For example Koszul algebras are defined in [@Polishchuk], analogous to the Definition \[def.Koszul\]. Let $P\subseteq \mathbb{K}\bigoplus L_1 \bigoplus L_2$ a subspace of $F_2(L)$ and $A= L/\langle P\rangle$. Let $A^{(0)}= L/\langle R\rangle$, where $R$ is obtained by taking homogeneous part of $P$. $A$ is said to be (nonhomogeneous) Koszul if $A^{(0)}$ is homogeneous Koszul (see [@Polishchuk], page 140). In [@LodayVallete2012] Koszul algebras are defined as follows. Let $V$ a graded vector space and a degree homogeneous subspace $P\subseteq V\bigoplus V^{\otimes 2}$, the algebra $A=T(V)/\langle P\rangle$ is called (nonhomogeneous quadratic) Koszul if $P\cap V=\{0\}$, $\{P\otimes V + V\otimes P\}\cap V^{\otimes 2}\subseteq P\cap V^{\otimes 2}$ and $T(V)/\langle \pi(P) \rangle$ is homogeneous Koszul, where $\pi$ : $T(V)\twoheadrightarrow V^{\otimes 2}$ is the projection onto the quadratic part of the tensor algebra. R. Berger in [@Berger7] defined the notion of $N$-Koszul algebra, if $N = 2$, the notion of homogeneous Koszul algebra is obtained. To avoid confusion, we still use the names given in the Definition \[def.homKosz\] (homogeneous Koszul) and the Definition \[def.Koszul\] (Koszul).\
Let $L=\mathbb{K}\langle x_1,\dots, x_n\rangle$ the free associative algebra in $n$ generators $x_1,\dots, x_n$. Let $R$ a subspace of $F_2(L)=\mathbb{K}\bigoplus L_1\bigoplus L_2$, the algebra $L/\langle R\rangle$ is called (nonhomogeneous) *quadratic algebra*. $L/\langle R\rangle$ is called *homogeneous quadratic algebra* if $R$ is a subspace of $L_2$, for $\langle R\rangle$ the two-sided ideal of $L$ generated by $R$. Let $A = \mathbb{K}\langle x_1,\dots, x_n\rangle/\langle R\rangle$ be a quadratic algebra with a fixed generators $\{x_1,\dots, x_n\}$. For a multiindex $\alpha:=(i_1,\dots, i_m)$, where $1\leq i_k\leq n$, we denote the monomials in $\mathbb{K}\langle x_1,\dots, x_n\rangle$ by $x^{\alpha}:=x_{i_1}x_{i_2}\cdots x_{i_m}$. For $\alpha=\emptyset$ we set $x^{\emptyset}:=1$. Now let us equip the subspace $L_2$ with the basis consisting of the monomials $x_{i_1}x_{i_2}$. Let $S^{(1)}:=\{1, 2,\dots,n\}$, $S^{(1)}\times S^{(1)}$ the cartesian product, then for $R\subseteq L_2$ we obtain the set $S\subseteq S_1\times S_1$ of pairs of indices $(l, m)$ for which the class of $x_lx_m$ in $L_2/R$ is not in the span of the classes of $x_rx_s$ with $(r, s) < (l, m)$, where $<$ denotes the lexicographical order ([@Polishchuk], 4.1-Lemma 1.1). Hence, the relations in $A$ can be written in the following form:

$$x_ix_j =\sum_{\substack{(r,s)<(i,j)\\(r,s)\in S}}c^{rs}_{ij} x_rx_s,\qquad (i, j) \in S^{(1)}\times S^{(1)}\ \backslash\ S.$$

Define further $S^{(0)}:= \{\emptyset\}$, and for $m\geq 2$, $$S^{(m)}:= \{(i_1,\dots, i_m) \mid (i_k, i_{k+1}) \in S, \ k = 1,\dots, m - 1\}$$ and consider the monomials $\{x_{i_1}\cdots x_{i_m} \in A_m \mid  (i_1,\dots, i_m) \in S^{(m)}\}$. Note that these monomials always span $A_m$ as a vector space and and the monomials $$\label{eq.monPBW}
(A,S):=\{x_{i_1}\cdots x_{i_m} \mid  (i_1,\dots, i_m) \in \cup_{m> 0}S^{(m)}\}$$ linearly span the entire $A$. We call $(A,S)$ in (\[eq.monPBW\]) a *PBW-basis* of $A$ if they are linearly independent and hence form a $\mathbb{K}$-linear basis. The elements $x_1, \dots, x_n$ are called PBW-*generators* of $A$. A *PBW-algebra* is a homogeneous quadratic algebra admitting a PBW-basis, i.e., there exists a permutation of $x_1,\dots, x_n$ such that the standard monomials in $x_1,\dots, x_n$ conform a $\mathbb{K}$-basis of $A$.

\[prop.PBW alg\] Let $A$ be a semi-commutative skew PBW extension. Then $A$ is a PBW algebra.

If $A=\sigma(\mathbb{K})\langle x_1,\dots, x_n\rangle$ is a semi-commutative skew PBW extension, then $A=\mathbb{K}\langle x_1,\dots, x_n\rangle/\langle x_jx_i-c_{i,j}x_ix_j\rangle$ (as in (\[rep.semi-comm\])) is a homogeneous quadratic algebra with generators $x_1,\dots, x_n$ and relations $x_jx_i-c_{i,j}x_ix_j$. Using the above notation we have that for $1\leq i \leq j\leq n$, the class of $x_ix_j$ is not in the span of the classes of $x_rx_s$ with $(r, s) < (i,j)$, but, the class of $x_jx_i$ is in the span of the class of $x_ix_j$ with $(i,j)<(j,i)$. Therefore $S=\{(i,j)\mid 1\leq i \leq j\leq n\}=S^{(2)}$ and $S^{(m)} = \{(i_1,\dots, i_m)\mid i_1\leq i_2\leq\cdots \leq i_m, \ 1\leq i_k \leq n\}$ for $m\geq 3$. Then $$(A,S)= \{x_1^{m_1}\cdots x_n^{m_n}\mid m_1,\dots, m_n\geq 0\}= {\rm Mon}(A):= \{x_1^{\alpha_1}\cdots
x_n^{\alpha_n}\mid (\alpha_1,\dots ,\alpha_n)\in
\mathbb{N}^n\}.$$

By Definition \[def.skewpbwextensions\] [(ii)]{}, ${\rm Mon}(A)$ is a $\mathbb{K}$-basis for $A$ and therefore $A$ is a PBW algebra.

\[teo.PBW alg is Koszul\] If $B$ is a PBW algebra then $B$ is a homogeneous Koszul algebra.

The Theorem \[teo.PBW alg is Koszul\] and this proof can also be found in [@Polishchuk], Theorem 3.1, page 84; there they also present an example of a homogeneous Koszul algebra which is not PBW algebra.

\[cor. semi hom kosz\] Every semi-commutative skew PBW extension is homogeneous Koszul algebra.

If following from Proposition \[prop.PBW alg\] and Theorem \[teo.PBW alg is Koszul\].

\[teo.Koszul sew PBW ext\] Every pre-commutative skew PBW extension is Koszul.

If $A$ is a pre-commutative skew PBW extension then by Remark \[notac.skewpbwext\], $A= \mathbb{K}\langle x_1,\dots, x_n\rangle/I$, where $I$ is the two-sided ideal generated by relations of the form $x_jx_i-c_{i,j}x_ix_j+\sum_{t=1}^nk_tx_t$, $0 \neq c_{i,j}, k_t\in \mathbb{K}$, $1\leq i,j,t \leq n$. By Proposition \[prop.pre-Koszul\] $A$ is pre-Koszul, therefore from Proposition \[prop.asshompreKoszul\], $ A^{(0)}=A^{\sigma}=\mathbb{K}\langle x_1,\dots, x_n\rangle/\langle x_jx_i-c_{i,j}x_ix_j \rangle$ is the associated homogeneous pre-Koszul algebra of $A$. Note that $A^{\sigma}$ is semi-commutative, so by Corollary \[cor. semi hom kosz\], $A^{(0)}$ is a homogeneous Koszul algebra, i.e., $A$ is Koszul.

If $A$ is a pre-commutative skew PBW extension then $Gr(A)$ is homogeneous Koszul.

\[ex of homog koszul\] Next we present some examples of homogeneous Koszul skew PBW extensions, many of which had already been presented by other authors with the name of Koszul algebras. For this purpose we use the classification given in Subsection \[ex and classif\] and Corollary \[cor. semi hom kosz\]: classical polynomial ring; particular Sklyanin algebra; Algebra of linear partial q-dilation operators; multiplicative analogue of the Weyl algebra; multi-parameter quantum affine $n$-spaces; the Sridharan enveloping algebra of 3-dimensional Lie algebra with $[x,y]=[y,z]=[z,x]=0$.

\[ex of koszul\] Recall that every homogeneous Koszul algebra is Koszul (Remark \[Koszul impl homKos\]), so Examples \[ex of homog koszul\] are Koszul skew PBW extensions. According to classification given in Subsection \[ex and classif\] and Theorem \[teo.Koszul sew PBW ext\] the next skew PBW extensions are Koszul: universal enveloping algebra of a Lie algebra, with $\mathbb{K}$ a field; diffusion algebra 1; quantum algebra; Dispin algebra; Woronowicz algebra; $q$-Heisenberg algebra; types 1, 2, 3, 4, 5 and 6 of Sridharan enveloping algebra of 3-dimensional Lie algebra (Example \[sridharan\]).

Note that some particular classes of skew PBW extensions in Examples \[ex of homog koszul\] and \[ex of koszul\] represent the same algebra. For example, Sridharan enveloping algebra of 3-dimensional Lie algebra of type 1 and the classical polynomial ring $\mathbb{K}[x,y,z]$ are the same algebra.

PBW deformations {#sect.PBW defor}
================

Let $V$ be a vector space over a field $\mathbb{K}$ and let $T(V) =\bigoplus T^i(V)$ be its tensor algebra over $\mathbb{K}$. Consider the natural filtration $F_i(T)=\{\bigoplus T^j(V)\mid j\leq i\}$ of $T(V)$. Fix a subspace $P\subseteq F_2(T)=\mathbb{K}\bigoplus V\bigoplus (V\otimes V)$, and let us consider the two-sided ideal $\langle P\rangle$ in $T(V)$ generated by $P$. Let $A=T(V)/\langle P\rangle$ be a nonhomogeneous quadratic algebra. It inherits a filtration $A_0\subseteq A_1 \subseteq\cdots A_n \subseteq\cdots$ from $T(V)$, let $Gr(A)$ the associated graded algebra. Consider the natural projection $\pi : F_2 (T)=\mathbb{K}\bigoplus V\bigoplus (V\otimes V)\to V\otimes V$ on the homogeneous component, set $R=\pi(P)$ and consider the homogeneous quadratic algebra $T(V)/\langle R\rangle$. $T(V)/\langle R\rangle$ is called the *homogeneous version* (or the *induced homogeneous quadratic*) algebra of $A$ determined by $P$. We have the natural epimorphism $p: T(V)/\langle R\rangle \to Gr(A)$ (induced by the projection $T(V)\to A$).

\[def.PBW deformation\] With the above notation, a nonhomogeneous quadratic algebra $A:=T(V)/\langle P\rangle$ is a *Poincaré-Birkhoff-Witt [(PBW)]{} deformation* (or satisfies the PBW *property* with respect to the subspace $P$ of $F_2(T)$) of $B:=T(V)/\langle R\rangle$ if the natural projection $p: T(V)/\langle R\rangle)\to Gr (A)$ is an isomorphism.

Let $A=T(V)/\langle P\rangle$ with $P\subseteq V\bigoplus V^{\otimes 2}$, $P\cap V =\{0\}$ and $\{ P\otimes V + V\otimes P\}\cap V^{\otimes 2}\subseteq P\cap V^{\otimes 2}$. If $A$ is Koszul, then the epimorphism $p$: $B=T(V)/\langle R \rangle\to Gr(A)$ is an isomorphism of graded algebras, i.e., $A$ is a PBW deformation of $B$.

Let $A=T(V)/\langle P\rangle$, with $P\subseteq V\bigoplus V^{\otimes 2}$. If $B= T(V)/\langle R\rangle$ is homogeneous Koszul, then:

1.  $P\cap V =\{0\}\Leftrightarrow \langle P \rangle \cap V =\{0\}$

2.  $\{ P\otimes V + V\otimes P\}\cap V^{\otimes 2}\subseteq P\cap V^{\otimes 2} \Leftrightarrow \langle P \rangle \cap \{V\bigoplus V^{\otimes 2}\}=P$.

\[homogeneous version and const\] [@Braverman], Lemma 0.4 establishes that if the algebra $T(V)/\langle P\rangle$ is a PBW deformation of $T(V)/\langle R\rangle$ then it satisfies the following conditions:

1.  $P\cap F_1(T) = 0$;

2.  $(F_1(T)\cdot P\cdot F_1(T))\cap F_2(T) = P$.

If a nonhomogeneous quadratic algebras satisfy $(I)$ then the subspace $P\subset F_2(T)$ can be described in terms of two maps $\alpha: R\to V$ and $\beta: R\to \mathbb{K}$ as $P=\{ x-\alpha(x)-\beta(x)\mid x\in R\}$. If $A=T(V)/\langle P\rangle$ is a PBW deformations of its homogeneous version then $P$ can not have relations in $F_1(T)$, so:

1.  If $A$ is a PBW deformation of some skew PBW extension $B$, then $A$ is constant.

2.  The homogeneous version of a skew PBW extension $A$ is the skew PBW extension $B$ such that the conditions $(i)$ and $(ii)$ of Definition \[def.skewpbwextensions\] for $A$ are satisfy for $B$, and the conditions $(iii)$ and $(iv)$ are replaced by $x_jx_i-c_{i,j}x_ix_j=0$, where $c_{i,j}$ are the same that for $A$.

3.  The homogeneous version of a skew PBW extension is homogeneous Koszul.

For example the homogeneous version for the universal enveloping algebra of a Lie algebra $\mathcal{G}$, $\mathcal{U}(\mathcal{G})$ is the symmetric algebra $\mathbb{S}(\mathcal{G})$.

\[prop.deformation of skew\] Let $A$ be a constant skew PBW extension of a field $\mathbb{K}$. Then $A$ is a PBW deformation of its homogeneous version $B$.

Let $A$ be a constant skew PBW extension of a field $\mathbb{K}$ then, $x_jx_i-c_{i,j}x_ix_j+r_0+r_1x_1+\cdots +r_nx_n$ (as in Definition \[def.skewpbwextensions\]) are the generated relations of the subspace $P$, that is, $A=\mathbb{K}\langle x_1, \dots, x_n\rangle/\langle P \rangle$. Then the subspace $\pi(P) =R$ is generated by the relations $x_jx_i-c_{i,j}x_ix_j$, i.e, $\mathbb{K}\langle x_1, \dots, x_n\rangle/\langle R \rangle=B$ is the homogeneous version of $A$. Now for Theorem \[teo.Gr(A)\], $Gr(A)\cong A^{\sigma}$ where $A^{\sigma}$ is a skew PBW extension of $\mathbb{K}$ in $n$ variables $z_1,\dotsc, z_n$ defined by the relations $z_jz_i=c_{i,j}z_iz_j$, for $1\le i\le n$. So by Remark \[homogeneous version and const\], $A^{\sigma}\cong B$ and therefore $Gr(A)\cong B$, i.e., $A$ is a PBW deformation of $B$.

Note that if a skew PBW extension $A$ is not constant then the Proposition \[prop.deformation of skew\] fails, indeed: the homogeneous version of $A$ is the skew PBW extension $B$ with relations $x_jx_i-c_{i,j}x_ix_j=0$, where $c_{i,j}$ are the same that for $A$, but $Gr(A)$ is defined defined by the relations $z_ir=c_{i,r}z_i$, $z_jz_i=c_{i,j}z_iz_j$ (see Theorem \[teo.Gr(A)\] and Proposition \[remarkAsigma\]), so $Gr(A)\ncong B$.\
Let $T(V)/\langle P\rangle$ be a nonhomogeneous quadratic algebra. Take $R=p(P)\subseteq T^2(V)$ and consider the corresponding homogeneous quadratic algebra $A=T(V)/\langle R\rangle$. The main theorem of [@Braverman] establishes that if $A$ is a homogeneous Koszul algebra then conditions $(I)$ and $(J)$ in Remark \[homogeneous version and const\] imply that the algebra $T(V)/\langle P\rangle$ is a PBW deformation of $A$.

If $A$ is a PBW deformation of a skew PBW extension $B$, then $B$ is homogeneous Koszul.

Let $A=\sigma(\mathbb{K})\langle x_1,\dots, x_n\rangle$ be a PBW deformation of $B$, then $$A=\mathbb{K}\langle x_1,\dots, x_n\rangle/\langle x_jx_i-c_{i,j}x_ix_j+ k_0+k_1x_1+\cdots + k_nx_n\rangle,$$ with $c_{i,j}\in \mathbb{K} \ \backslash \ \{0\}$, $k_l\in \mathbb{K}$, $1\leq i,j\leq n$, $0\leq l\leq n$ and $B\cong \mathbb{K}\langle x_1,\dots, x_n\rangle/\langle x_jx_i-c_{i,j}x_ix_j\rangle$. Then $B$ is a semi-commutative skew PBW extension of $\mathbb{K}$, and by Corollary \[cor. semi hom kosz\], we conclude that $B$ is homogeneous Koszul.

**Acknowledgements**

The authors express their gratitude to Professor Oswaldo Lezama for valuable suggestions and helpful comments for the improvement of the paper.

[30]{}

J.P. Acosta, C. Chaparro, O. Lezama, I. Ojeda and C. Venegas, Ore and Goldie theorems for skew $PBW$ extensions, [*Asian-European J. Math.*]{} **06** (2013) 1350061 \[20 pages\].

V. Artamonov, Derivations of Skew PBW-Extensions, [*Commun. Math. Stat.*]{} **3**(4) (2015) 449-457.

J. Backelin and R. Fröberg, Koszul algebras, Veronese subrings and rings with linear resolutions, [*Rev. Roumaine Math. Pures Appl.*]{} **30**(2) (1985) 85-97.

A. Beilinson, V. Ginzburg and W. Soergel, Koszul duality patterns in representation theory, [*J. Am. Math. Soc*]{}. **9** (1996) 473-527.

R. Berger, Koszulity for nonquadratic algebras, [*J. Algebra*]{} **239** (2001) 705-734.

A. Braverman and D. Gaitsgory, Poincaré-Birkhoff-Witt theorem for quadratic algebras of Koszul type, [*J. Algebra*]{} **181** (1996) 315-328.

T. Cassidy and B. Shelton, Generalizing the notion of Koszul algebra, [*Math. Z*]{}. **260** (2008) 93-114.

C. Gallego and O. Lezama, Gröbner bases for ideals of $\sigma$-PBW extensions, [*Comm. Algebra*]{} **39**(1) (2011) 50-75.

C. Gallego and O. Lezama, $d$-Hermite rings and skew PBW extensions, [*São Paulo J. Math. Sci.*]{} **10**(1) (2016) 60-72.

H. Jiménez and O. Lezama, Gröbner bases for modules over $\sigma-PBW$ extensions, [*Acta Math. Academiae Paedagogicae Nyíregyháziensis*]{} **32**(1) (2016) 39-66.

O. Lezama, J. P. Acosta and A. Reyes, Prime ideals of skew PBW extensions, [*Rev. Un. Mat. Argentina*]{} **56**(2) (2015) 39-55.

O. Lezama and A. Reyes, Some homological properties of skew PBW extensions, [*Comm. Algebra*]{} **42** (2014) 1200-1230.

H. Li, [*Gröbner Bases in Ring Theory*]{}, World Scientific Publishing Company, 2012.

L. Li, A generalized Koszul theory and its application, [*Trans. Amer. Math. Soc.*]{} **366**(2) (2014) 931-977.

J-L. Loday and B. Vallette, [*Algebraic Operads*]{}, Grundlehren Math. Wiss, Vol. **346** (Springer, Heidelberg, 2012).

P. Nuss, L’homologie cyclique des algèbres enveloppantes des algèbres de Lie de dimension trois, [*J. Pure Appl. Algebra*]{} **73** (1991) 39-71.

A. Polishchuk and C. Positselski, [*Quadratic Algebras*]{}, Univ. Lecture Ser., Vol. **37** (Amer. Math. Soc., Providence, RI, 2005).

S. Priddy, Koszul resolutions, [*Trans. Am. Math. Soc.*]{} **152** (1970) 39-60.

A. Reyes, Gelfand-Kirillov dimension of skew PBW extensions, [*Rev. Col. Mat.*]{} **47**(1) (2013) 95-111.

A. Reyes, Uniform dimension over skew PBW extensions, [*Rev. Col. Mat.*]{} **48**(1) (2014) 79-96.

A. Reyes, Jacobson’s conjecture and skew PBW extensions, [*Rev. Integr. Temas Mat.*]{} **32**(2) (2014) 139-152.

A. Reyes, Skew PBW extensions of Baer, quasi-Baer, p.p. and p.q.-rings, [*Rev. Integr. Temas Mat.*]{} **33**(2) (2015) 173-189.

D. Rogalski, An introduction to non-commutative projective algebraic geometry, [*arXiv:1403.3065 \[math.RA\]*]{}.

S.P. Smith, Some finite dimensional algebras related to elliptic curves, [*Rep. Theory of Algebras and Related topics* ]{} CMS Conf. Proc. **19**, AMS (1996) 315-348.

H. Suárez, O. Lezama and A. Reyes, Some relations between $N$-Koszul, Artin-Schelter regular and Calabi-Yau algebras with skew PBW extensions, [*Revista Ciencia en Desarrollo*]{} **6**(2) (2015) 205-213.

C. Venegas, Automorphisms for skew PBW extensions and skew quantum polynomial rings, [*Comm. Algebra*]{}, **43**(5) (2015) 1877-1897.

D. Woodcock, Cohen-Macaulay complexes and Koszul rings, [*J. Lond. Math. Soc*]{}. **57** (1998) 398-410.

[^1]: Seminario de Álgebra Constructiva - $SAC^2$, Departamento de Matemáticas, Universidad Nacional de Colombia - sede Bogotá.

[^2]: Escuela de Matemáticas y Estadística, Universidad Pedagógica y Tecnológica de Colombia - sede Tunja.

[^3]: Seminario de Álgebra Constructiva - $SAC^2$, Departamento de Matemáticas, Universidad Nacional de Colombia - sede Bogotá.
