A commuting derivations theorem on UFDs

arXiv0806.2038MaRDI QIDQ6209900FDOQ6209900

Authors: Harm Derksen, Arno van den Essen, Stefan Maubach 

Publication date: 12 June 2008

Abstract: Let $A$ be the polynomial ring over $k$ (a field of characteristic zero) in $n+1$ variables. The commuting derivations conjecture states that $n$ commuting locally nilpotent derivations on $A$, linearly independent over $A$, must satisfy $A^{D_1,\mathrm{...},D_m}=k[f]$ where $f$ is a coordinate. The conjecture can be formulated as stating that a $(G_m{)}^n$-action on $k^{n+1}$ must have invariant ring $k[f]$ where $f$ is a coordinate. In this paper we prove a statement (theorem ef{CDH2}) where we assume less on $A$ ($A$ is a {sc UFD} over $k$ of transcendence degree $n+1$ satisfying $A^{\ast }=k$) and prove less ($A/(f-alpha)$ is a polynomial ring for all but finitely many $alpha$). Under certain additional conditions (the $D_i$ are linearly independent modulo $(f-alpha)$ for each $alphaink$) we prove that $A$ is a polynomial ring itself and $f$ is a coordinate. This statement is proven even more generally by replacing ``free unipotent action of dimension $n$ for ``$G_a^n$-action. We make links with the (Abhyankar-)Sataye conjecture and give a new equivalent formulation of the Sataye conjecture.

Mathematics Subject Classification ID

Group actions on affine varieties (14R20) Conjugacy classes for groups (20E45) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Classical groups (algebro-geometric aspects) (14L35)

This page was built for publication: A commuting derivations theorem on UFDs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6209900)