### A database of invariant rings.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

2000 Mathematics Subject Classification: Primary 20F55, 13F20; Secondary 14L30.We construct invariant polynomials for the reflection groups [3, 4, 3] and [3, 3, 5] by using some special sets of lines on the quadric P1 × P1 in P3. Then we give a simple proof of the well known fact that the ring of invariants are rationally generated in degree 2,6,8,12 and 2,12,20,30.

The purpose of this article is to give, for any (commutative) ring $A$, an explicit minimal set of generators for the ring of multisymmetric functions ${\mathrm{T}S}_{A}^{d}\left(A[{x}_{1},\cdots ,{x}_{r}]\right)={\left(A{[{x}_{1},\cdots ,{x}_{r}]}^{{\otimes}_{A}d}\right)}^{{\U0001d516}_{d}}$ as an $A$-algebra. In characteristic zero, i.e. when $A$ is a $\mathbb{Q}$-algebra, a minimal set of generators has been known since the 19th century. A rather small generating set in the general case has also recently been given by Vaccarino but it is not minimal in general. We also give a sharp degree bound on the generators, improving the degree bound previously...

The main purpose of this article is to give an explicit algebraic action of the group ${S}_{3}$ of permutations of 3 elements on affine four-dimensional complex space which is not conjugate to a linear action.

2000 Mathematics Subject Classification: 13N15, 13A50, 16W25.We reduce the Nowicki conjecture on Weitzenböck derivations of polynomial algebras to a well known problem of classical invariant theory.

Let $k\subseteq {k}^{\text{'}}$ be a field extension. We give relations between the kernels of higher derivations on $k\left[X\right]$ and ${k}^{\text{'}}\left[X\right]$, where $k\left[X\right]:=k[{x}_{1},\cdots ,{x}_{n}]$ denotes the polynomial ring in $n$ variables over the field $k$. More precisely, let $D={\left\{{D}_{n}\right\}}_{n=0}^{\infty}$ a higher $k$-derivation on $k\left[X\right]$ and ${D}^{\text{'}}={\left\{{D}_{n}^{\text{'}}\right\}}_{n=0}^{\infty}$ a higher ${k}^{\text{'}}$-derivation on ${k}^{\text{'}}\left[X\right]$ such that ${D}_{m}^{\text{'}}\left({x}_{i}\right)={D}_{m}\left({x}_{i}\right)$ for all $m\ge 0$ and $i=1,2,\cdots ,n$. Then (1) $k{\left[X\right]}^{D}=k$ if and only if ${k}^{\text{'}}{\left[X\right]}^{{D}^{\text{'}}}={k}^{\text{'}}$; (2) $k{\left[X\right]}^{D}$ is a finitely generated $k$-algebra if and only if ${k}^{\text{'}}{\left[X\right]}^{{D}^{\text{'}}}$ is a finitely generated ${k}^{\text{'}}$-algebra. Furthermore, we also show that the kernel $k{\left[X\right]}^{D}$ of a higher derivation $D$ of $k\left[X\right]$ can be generated by a set...

A. Crachiola and L. Makar-Limanov [J. Algebra 284 (2005)] showed the following: if X is an affine curve which is not isomorphic to the affine line ${\xb9}_{k}$, then ML(X×Y) = k[X]⊗ ML(Y) for every affine variety Y, where k is an algebraically closed field. In this note we give a simple geometric proof of a more general fact that this property holds for every affine variety X whose set of regular points is not k-uniruled.

Recently, E.Feigin introduced a very interesting contraction $\U0001d52e$ of a semisimple Lie algebra $\U0001d524$ (see arXiv:1007.0646 and arXiv:1101.1898). We prove that these non-reductive Lie algebras retain good invariant-theoretic properties of $\U0001d524$. For instance, the algebras of invariants of both adjoint and coadjoint representations of $\U0001d52e$ are free, and also the enveloping algebra of $\U0001d52e$ is a free module over its centre.

We give a short proof of a counterexample (due to Daigle and Freudenburg) to Hilbert's fourteenth problem in dimension five.

We survey counterexamples to Hilbert’s Fourteenth Problem, beginning with those of Nagata in the late 1950s, and including recent counterexamples in low dimension constructed with locally nilpotent derivations. Historical framework and pertinent references are provided. We also include 8 important open questions.

Let H be a Hopf algebra over a field k such that every finite-dimensional (left) H-module is semisimple. We give a counterpart of the first fundamental theorem of the classical invariant theory for locally finite, finitely generated (commutative) H-module algebras, and for local, complete H-module algebras. Also, we prove that if H acts on the k-algebra A = k[[X₁,...,Xₙ]] in such a way that the unique maximal ideal in A is invariant, then the algebra of invariants ${A}^{H}$ is a noetherian Cohen-Macaulay...

In my talk I am going to remind you what is the AK-invariant and give examples of its usefulness. I shall also discuss basic conjectures about this invariant and some positive and negative results related to these conjectures.

We classify all finitely generated integral algebras with a rational action of a reductive group such that any invariant subalgebra is finitely generated. Some results on affine embeddings of homogeneous spaces are also given.

This paper gives an algorithm for computing the kernel of a locally finite higher derivation on the polynomial ring k[x₁,..., xₙ] up to a given bound.

It is known that the identifiability of multivariate mixtures reduces to a question in algebraic geometry. We solve the question by studying certain generators in the ring of polynomials in vector variables, invariant under the action of the symmetric group.

We introduce in this article a new method to calculate all absolute and relatif primitive invariants of finite groups. This method is inspired from K. Girstmair which calculate an absolute primitive invariant of minimal degree. Are presented two algorithms, the first one enable us to calculate all primitive invariants of minimal degree, and the second one calculate all absolute or relative primitive invariants with distincts coefficients. This work take place in Galois Theory and Invariant Theory. ...