## alpha derivations

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I am curious. Is there a "slick" way of showing that given an arbitrary algebra $A$ with generating set $X$, an algebra endomorphism $\alpha : A\to A$ and a function (satisfying some conditions) $d : X\to A$, that $d$ extends uniquely to an $\alpha$-derivation $D : A\to A$?

-
I don't understand the tag "quantum-group". Isn't this just commutative algebra, specifically Kähler differentials? – Martin Brandenburg Apr 11 2012 at 18:37
@Martin, the question is not about derivations but $\alpha$-derivations, a notion which is usually found in "quantum contexts". – Mariano Suárez-Alvarez Apr 11 2012 at 19:20
When $M$ is an $A$-module, then I can talk about derivations $A \to M$. This is standard commutative algebra. When $M=A$ is considered as an $A$-module via $\alpha$, then we get $\alpha$-derivations. So this is really just a special case. My answer is valid for arbitrary modules. – Martin Brandenburg Apr 11 2012 at 19:29

1
Martin, given an algebra endomorphism $\alpha:A\to A$ of a not-necessaryli-commutative algebra and an $A$-bimodule $M$, a (left) $\alpha$-derivation is a map $d:A\to M$ such that $d(ab)=\alpha(a)d(b)+d(a)b$. This notion is not the same as the one you describe in your comment above. – Mariano Suárez-Alvarez Apr 11 2012 at 20:03

1
Oh, thanks. I've misunderstood this terminology. – Martin Brandenburg Apr 11 2012 at 20:12
show 2 more comments

## 2 Answers

Suppose $V$ is a vector space, let $TV=\bigoplus_{n\geq0}V^{\otimes n}$ be the tensor algebra on $V$ and let $I$ be an ideal of $TV$. Let $A=TV/I$ be the quotient algebra, let $p:TV\to A$ be the canonical projection and let $\alpha:A\to A$ be an endomorphism of algebras. Let, moreover, $\delta:V\to A$ be any linear map.

There is a (in fact unique) linear map $\delta_1:TV\to A$ such that

• the restriction of $\delta_1$ to $V\subseteq TV$ is $\delta$, and
• $\delta_1(xy)=\alpha(p(x))\delta(y)+\delta(x)p(y)$ for all $x$, $y\in TV$.

Indeed, these two conditions show that its restriction to $V^{\otimes n}$ must be given by `$$\delta_1(x_1\otimes\cdots\otimes x_n)=\sum_{i=1}^n\alpha(p(x_1\cdots x_{i-1}))\delta(x_i)p(x_{i+1}\cdots x_n),$$` and if we use this formula to define $\delta_1$, a boring verification will show that we get a map that actually works.

Let $I$ is generated by elements ${r_j}_{j\in J}\subseteq TV$ and let us suppose that

$$\text{$\delta_1(r_j)=0$ for all $j\in J$.} \tag{$\star$}$$

It is then easy to see that $\delta_1(I)=0$, using the fact that the ideal $I$ is the linear span of all elements of the form $xr_jy$ with $x$, $y\in TV$ and $j\in J$. As a consequence, $\delta_1$ passes down to the quotient to give a linear map $\delta_2:A=TV/I\to A$ which by design is an $\alpha$-derivation.

We conclude that $(\star)$ is a sufficient condition for the existence of an $\alpha$-derivation extending $d:V\to A$, and a little reflection will show that it is also necessary. As Martin has shown earlier that we have uniqueness, we are happy.

The condition is one that one can check in concrete examples with little trouble.

An example. Let $q$ be a scalar and let $A$ be the free algebra generated by $K$, $L$, and $F$ subject to the relations \begin{gather} KL=1=LK, \\ FK=q^2KF. \end{gather} The first two relations tell us that $L=K^{-1}$, and using the second one one can see without much pain that ${F^aK^b:a\in\mathbb N,b\in\mathbb Z}$ is a basis of $A$. A little extra work will show that there is an automorphism $\alpha:A\to A$ such that $$\alpha(F^aK^b)=q^{-2b}F^aK^b.$$ We want to construct an $\alpha$-derivation $d$ of $A$ such that $$d(F)=\frac{K-K^{-1}}{q-q^{-1}}$$ and $$d(K)=d(L)=0.$$

We let $V$ be the vector space with basis ${K,L,F}$, define $\delta:V\to A$ putting $\delta(K)=\delta(L)=0$ and $\delta(F)=(q-q^{-1})^{-1}(K-K^{-1})$ and use the technology developed above. We have the map $\delta_1:TV\to A$ amd we have to check that it vanishes on the elements $KL-1$, $LK-1$ and $FK-q^2KF$. We have, for example, $$\delta_1(KL-1)=\alpha(K)\delta(L)-\delta(L)K=0$$ simply because $\delta$ kills $K$ and $L$, and similarly for the second relator. The third one is more interesting: \begin{align} \delta_1(FK-q^2KF)&=\alpha(F)\delta(K)+\delta(F)K-q^2\alpha(K)\delta(F)-q^2\delta(K)F\\ &=\delta(F)K-q^2\alpha(K)\delta(F)\\ &=\frac{K-K^{-1}}{q-q^{-1}}K-q^2(q^{-2}K)\frac{K-K^{-1}}{q-q^{-1}}\\ &=0. \end{align} We have checked our condition $(\star)$, so there is an $\alpha$-derivation $d:A\to A$ which does what we wanted.

This example is one of the steps required in showing that $U_q(\mathfrak{sl}_2)$ is an iterated Ore extension —indeed, $U_q(\mathfrak{sl}_2)=A[E;\alpha, d]$.

-

Note that this is exactly the same thing as for usual derivations!  – Mariano Suárez-Alvarez Apr 12 2012 at 6:31
This also works if we have a base ring (instead of a base field); then $V$ is a module etc. – Martin Brandenburg Apr 12 2012 at 6:38

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

The key is to observe that the definition of a derivation $d$ immediately implies that $\ker(d)$ is a subalgebra of $A$. Now if $d,d'$ are derivations, then $d-d'$ is a derivation. Thus, if $d$ and $d'$ coincide on algebra generators, they coincide everywhere.

-

This seems to give me uniqueness if I have a derivation, however, am I correct that one can always extend an appropriate function $d : X\to A$ to a derivation?  By "appropriate", the function should respect the defining relations of the algebra $A$ in some way correct? – Ryan Apr 12 2012 at 0:45
Yes, Mariano has given a perfect answer. I didn't know that we can give these sufficient conditions in general, because even for algebraic extensions of fields it depends on the minimal polynomials and the characteristic. – Martin Brandenburg Apr 12 2012 at 6:33
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 92, "mathjax_display_tex": 5, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9027934074401855, "perplexity_flag": "head"}