Sylvester versus Gundelfinger

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Actions of groups on commutative rings; invariant theory (13A50) Cohen-Macaulay modules (13C14) Commutative rings and modules of finite generation or presentation; number of generators (13E15) Computational aspects and applications of commutative rings (13P99) Symbolic computation and algebraic computation (68W30)

Abstract: Let

V_{n}

be the

{m S L}_{2}

-module of binary forms of degree

n

and let

V = V_{1} o p l u s V_{3} o p l u s V_{4}

. We show that the minimum number of generators of the algebra

R = m a t h b b C [V]^{{m S L}_{2}}

of polynomial functions on

V

invariant under the action of

{m S L}_{2}

equals 63. This settles a 143-year old question.

Review text

Let \(V_n\) be the \(\mathrm{SL}_2\) module of binary forms of degree \(n\) and \(V = V_1 \oplus V_3 \oplus V_4\). This paper shows that the invariant ring \(\mathbb{C}[V]^{\mathrm{SL}_2}\) has 63 minimal generators of degree at most~11. These days this is not a too complicated endeavour since we know that the invariant ring is Cohen-Macaulay and thus has a homogeneous system of parameters. The authors identify such a system to get their result.NEWLINENEWLINEThe paper also contains a very nice historical account, culminating in a correction of a table of \textit{Groundforms} published by Sylvester in the second volume of Amer. Jour. Math in 1879.

Recommendations

Cited in

(6)

This page was built for publication: Sylvester versus Gundelfinger

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q352375)