Syzygies for the vector invariants of the dihedral group (Q6187298)

The present paper studies the ideals of generators and relations of the algebra of invariants related to the dihedral group \(D_{2n}\) of odred \(2n\) (in other sources denoted also by \(D_n\) -- the geometric convention). In general, if \(G\) has a linear representation of a finite dimensional complex vector space \(V\), one can define the diagonal action of \(G\) on the space \(V^m\) of \(m\)-tuples of vectors from \(V\), for any positive integer \(m\). The algebra \(R(m) :=\mathbb C[V^m]^G\) of polynomial functions on \(V^m\) fixed under the actions of \(G\) is called the algebra of vector invariants of \(G\). \textit{H. Weyl} [The classical groups, their invariants and representations. 2nd ed. Princeton, NJ: Princeton University Press (1946; Zbl 1024.20502)] gave a systematic study of the case when \(G\) is one of the classical subgroups of the general linear group GL\((V)\), a description of the generators of \(R(m)\) is referred to as a First Fundamental Theorem, whereas a description of the generators of the ideal of relations between the generators of \(R(m)\) is referred to as a Second Fundamental Theorem for the vector invariants of \(G\). Because of its geometric structure, the dihedral group is one of the most investigated groups not only in group theory but in applied sciences in general. This paper uses some previous results of \textit{M. Hunziker} [Transform. Groups 2, No. 2, 147--163 (1997; Zbl 0890.20032)] for the description of the generators of \(\mathbb C[V^m]^{D_{2n}}\). It is shown that the ideal of relations between the generators of the algebra of invariants is generated by relations depending on no more than 3 vector variables. A minimal generating system is found for the cases of \(m = 2\) and an arbitrary \(n\), and for the cases of an arbitrary \(m\) and \(n = 4, n = 5\), and \(n = 6\).