Locally nilpotent derivation on $A[X,Y]$ whose kernel is $A$; where $A$ is an affine $k$ domain, $char k=0$

Question

Let $k$ be a field of characteristic zero and $A$ be a $k$-algebra. A derivation on $A$ is a $k$-linear map $D: A \to A$ such that $D(ab)=aD(b)+bD(a), \forall a,b \in A$. A derivation is called locally nilpotent if for every $a\in A$, $\exists n_a\in \mathbb N$ such that $D^{n_a} (a)=0$, where $D^n$ means $D$ composed with itself $n$-times.

My question is : Given a finitely generated $k$-algebra $A$ which is also an integral domain, does there exist a locally nilpotent derivation on $A[X,Y]$ whose kernel is $A$ ?

Answer 1

I will write it as an answer for your last comment. Assume $A$ is a field and $ker D=A$ as in the question. Then $D\neq 0$ and so $D(f)\neq 0$ for some $f\in R=A[X,Y]$. Since $D\in LND$, $D^k(f)\neq 0, D^{k+1}(f)=0$ for some $k\geq 1$. Let $s=D^{k-1}(f)$. Then $D(s)\neq 0, D^2(s)=0$, so if $ker D=A$, $D(s)\in A$ and not zero. Replacing $s$ by $D(s)^{-1}s$, we may assume $D(s)=1$. Then, $R=A[s]$, by the usual Taylor expansion techniques as follows:

Define degree of $f\in R$ to be the largest integer such that $D^k(f)\neq 0$. We show by induction on the degree that $f\in A[s]$. If $\deg f=0$, then $D(f)=0$ and thus $f\in A$. Assume proved for smaller degrees. Let $\deg f=k>0$. Then, $D^{k+1}(f)=0$ and thus $D^k(f)=a\in A$. Now, let $g=f-as^k/k!$. Then, $D^k(g)=a-aD^k(s^k/k!)=a-a=0$, so $\deg g<k$ and thus, by induction $g\in A[s]$. Then clearly $f\in A[s]$.

But transcendence degree of $A[s]$ over $A$ is (at most) one and that of $R$ is two, a contradiction.