Mathematics – Rings and Algebras
Scientific paper
2006-06-08
Mathematics
Rings and Algebras
29 pages
Scientific paper
Let $K$ be an arbitrary field of characteristic zero, $P_n:= K[ x_1, ..., x_n]$ be a polynomial algebra, and $P_{n, x_1}:= K[x_1^{-1}, x_1, ..., x_n]$, for $n\geq 2$. Let $\s' \in {\rm Aut}_K(P_n)$ be given by $$ x_1\mapsto x_1-1, \quad x_1\mapsto x_2+x_1,\quad ... ,\quad x_n\mapsto x_n+x_{n-1}.$$ It is proved that the algebra of invariants, $F_n':= P_n^{\s'}$, is a polynomial algebra in $n-1$ variables which is generated by $[\frac{n}{2}]$ quadratic and $[\frac{n-1}{2}]$ cubic (free) generators that are given explicitly. Let $\s \in {\rm Aut}_K(P_n)$ be given by %$$\s \in {\rm Aut}_K(P_n): $$ x_1\mapsto x_1, \quad x_1\mapsto x_2+x_1, \quad ... ,\quad x_n\mapsto x_n+x_{n-1}.$$ It is well-known that the algebra of invariants, $F_n:= P_n^\s$, is finitely generated (Theorem of Weitzenb\"ock, \cite{Weitz}, 1932), has transcendence degree $n-1$, and that one can give an explicit transcendence basis in which the elements have degrees $1, 2, 3, ..., n-1$. However, it is an old open problem to find explicit generators for $F_n$. We find an explicit vector space basis for the quadratic invariants, and prove that the algebra of invariants $P_{n, x_1}^\s$ is a polynomial algebra over $K[x_1, x_1^{-1}]$ in $n-2$ variables which is generated by $[\frac{n-1}{2}]$ quadratic and $[\frac{n-2}{2}]$ cubic (free) generators that are given explicitly. The coefficients of these quadratic and cubic invariants throw light on the `unpredictable combinatorics' of invariants of affine automorphisms and of $SL_2$-invariants.
Bavula V. V.
Lenagan T. H.
No associations
LandOfFree
Quadratic and cubic invariants of unipotent affine automorphisms 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 Quadratic and cubic invariants of unipotent affine automorphisms, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quadratic and cubic invariants of unipotent affine automorphisms will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-507414