On pairs of commuting derivations of the polynomial ring in two variables
Abstract
Let $k$ be an arbitrary field of characteristic zero, $k[x, y]$ be the polynomial ring and $D$ a $k$-derivation of the ring $k[x, y]$. Recall that a nonconstant polynomial $F\in k[x, y]$ is said to be a Darboux polynomial of the derivation $D$ if $D(F)=\lambda F$ for some polynomial $\lambda \in k[x, y]$. We prove that any two linearly independent over the field $k$ commuting $k$-derivations $D_{1}$ and $D_{2}$ of the ring $k[x, y]$ either have a common Darboux polynomial, or $D_{1}=D_{u_{1}}, D_{2}=D_{u_{2}}$ are Jacobian derivations i.e., $D_{i}(f)=\det J(u_{i}, f)$ for every $f\in k[x, y], i=1, 2,$ where the polynomials $u_{1}, u_{2}$ satisfy the condition $\det J(u_{1}, u_{2})=c\in k^{\star}.$ This statement about derivations is an analogue of the known fact from Linear Algebra about common eigenvectors of pairs of commuting linear operators.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2009
- DOI:
- 10.48550/arXiv.0911.2073
- arXiv:
- arXiv:0911.2073
- Bibcode:
- 2009arXiv0911.2073P
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Rings and Algebras;
- 13N15;
- 17A36
- E-Print:
- 5 pages