Mathematics – Algebraic Geometry
Scientific paper
2008-06-12
Mathematics
Algebraic Geometry
This draft was already written in 2006
Scientific paper
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,...,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 \ref{CDH2}) where we assume less on $A$ ($A$ is a {\sc UFD} over $k$ of transcendence degree $n+1$ satisfying $A^*=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 $\alpha\in k$) 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.
Den Essen Arno Van
Derksen Harm
Maubach Stefan
No associations
LandOfFree
A commuting derivations theorem on UFDs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A commuting derivations theorem on UFDs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A commuting derivations theorem on UFDs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-690759