A commuting derivations theorem on UFDs

MaRDI QIDQ6209900zbMATH OpenFDO

Authors Harm Derksen, Arno van den Essen, Stefan Maubach

Publication date 12 June 2008

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)

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.

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)