Derivations of Polynomial Algebra

Question

Let $A=\mathbb{F}_p[x,y]$, the commutative polynomial algebra on two variables over the finite field $\mathbb{F}_p$. Define a derivation on an algebra as a map which satisfies the Leibniz rule, ie if $d$ is a derivation then

$$d(ab)=ad(b)+bd(a)$$

Let $Der(A)$ be the $\mathbb{F}_p$-module (algebra?) of derivations of $A$. I'm interested in knowing what $Der(A)$ is. First of all, I'm not sure exactly how complicated the algebraic structure it carries is. I know that it's at least a $\mathbb{F}_p$-module. But is it an algebra? I suspect no, but I can't nail down a reason why. Is it a module over a bigger ring? $\mathbb{F}_p[x,y]$ seems like it might be a good choice- but again, I'm not very sure of this. Finally, what's an explicit description of elements of $Der(A)$? Is it just linear combinations of $\frac{d}{dx}$ and $\frac{d}{dy}$?

I apologize if this is a bit overly broad, but I'm encountering derivations over finite fields for the first time, and I'd like to really understand what's going on.

Answer 1

Let $\Lambda$ be an associative algebra over the field $k$. Then $\operatorname{Der}(\Lambda)$ is a $k$-Lie algebra under the operation $[f,g]:=fg-gf$ (on the right $fg$ means the composition of the two maps $f$ and $g$). $\operatorname{Der}(\Lambda)$ has an ideal $\operatorname{IDer}(\Lambda)$, the inner derivations, consisting of those derivations of the form $d_\lambda(x):= \lambda x - x \lambda$ (this is trivial in your case).

The quotient $\operatorname{Der}(\Lambda)/\operatorname{IDer}(\Lambda)$ is isomorphic to the first Hochschild cohomology group $\operatorname{HH}^1(\Lambda)$. The Hochschild cohomology has the structure of a Gerstenhaber algebra, in particular $\operatorname{HH}^1(\Lambda)$ is a Lie algebra. The Lie algebra structure defined above induces a Lie algebra structure on $\operatorname{Der(\Lambda)}/\operatorname{IDer}(\Lambda)$ that agrees with the Lie algebra structure coming from the Gerstenhaber algebra structure.

Each Hochschild cohomology group is a module over $\operatorname{HH^0}(\Lambda)$. Zeroth Hochschild cohomology is the centre of the algebra, so in your case the whole algebra. The action of the centre is $(z\cdot \partial) (x) := z\partial(x)$.

In your case ($A = \mathbb{F}_p[x,y]$) the derivation algebra is much bigger than just linear combinations of the two derivative operators. In fact given any $a,b \in A$ you can define a derivation $\partial$ on $A$ by setting $\partial(1)=0, \partial(x)=a, \partial(y)=b$ and extending according to the derivation rules. It's clear that a derivation is completely determined by its action on $x$ and $y$, thus $\partial = a\frac{\partial}{\partial x} + b\frac{\partial}{\partial y}$ where the action of $a,b \in A$ is the action of the centre defined in the last paragraph. So these two partial derivatives do generate the derivations, but as an $A$-module not an $\mathbb{F}_p$-module.

Answer 2

Let's call $Der(A)$ the set of all your derivations $d:A\to A$. What algebraic structure does it have?

1) $Der(A)$ is an $A$-module via the definition that for $a\in A$ and $d\in Der(A)$ we demand that $(a \bullet d)(b)= a\cdot d(b)$ where $\cdot$ on the right means multiplication in $A$.

non2) $Der(A)$ is not a subalgebra of $\mathcal L_{\mathbb F_p-lin}(A,A),\circ $ in the sense that given two derivations $d,d'\in A$, the composition $d\circ d'$ is not a derivation.
For example $(\frac{\partial}{\partial x} \circ\frac{\partial}{\partial y})(xy)=1\neq x(\frac{\partial}{\partial x} \circ\frac{\partial}{\partial y})(y)+y(\frac{\partial}{\partial x}\circ \frac{\partial}{\partial y})(x)=0$

2) However $Der(A)$ is a Lie algebra under the bracket $[d,d']=d\circ d'-d'\circ d$.

3) The $A$-module of derivations $A\to A$ is the dual module of a very interesting $A$-module $\Omega_A$ (the module of Kähler differentials), i.e. $Der(A)=\mathcal L_{A-lin}(\Omega_A,A)$. So there remains to compute $\Omega_A$.

4) It is easy to see, once you you are acquainted with the easy formalism of Kähler differentials, that $\Omega_A=A^2=A\delta x\oplus A \delta y$, so that $Der(A)=\mathcal L_{A-lin}(\Omega_A,A)= A\frac{\partial}{\partial x}\oplus A\frac{\partial}{\partial y}$

5) Summing up $$ Der(\mathbb F_p[x,y])=\ \mathbb F_p[x,y]\frac{\partial}{\partial x}\oplus \mathbb F_p[x,y]\frac{\partial}{\partial y} $$