On finite generation of kernels of locally nilpotent \(R\)-derivations of \(R[X,Y,Z]\) (Q2654049)

In the article under review, the authors establish that the kernel of a locally nilpotent \(R\)-derivation of a polynomial ring in \(3\) variables over a Dedekind domain \(R\) containing \(\mathbb{Q}\) is always a finitely generated \(R\)-algebra, hence generalizing a result essentially due Zariski in the case where \(R\) is a field. They establish that the hypothesis is sharp, that is, if \(R\) is neither a field nor a Dedekind domain then there exists locally nilpotent \(R\)-derivations of \(R[X,Y,Z]\) with non finitely generated kernels.