Quadratic and cubic invariants of unipotent affine automorphisms
| dc.creator | Bavula, V V | |
| dc.creator | Lenagan, T H | |
| dc.date | 2006-06-08 | |
| dc.date.accessioned | 2026-07-07T07:17:06Z | |
| dc.date.available | 2026-07-07T07:17:06Z | |
| dc.description | 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öck, \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. | |
| dc.description | 29 pages | |
| dc.identifier | https://arxiv.org/abs/math/0606196 | |
| dc.identifier | http://arxiv.org/abs/math/0606196 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/113819 | |
| dc.subject | Rings and Algebras | |
| dc.subject | Algebraic Geometry | |
| dc.subject | 14L24, 13A50, 16W20 | |
| dc.title | Quadratic and cubic invariants of unipotent affine automorphisms | |
| dc.type | text |