On the ring of invariants of ordinary quartic curves in characteristic 2 (Q2509269): Difference between revisions

\textit{E. Nart} and \textit{C. Ritzenthaler} [J. Number Theory 116, No. 2, 443--473 (2006; Zbl 1102.14019)] showed that the moduli space of the ordinary non-singular quartic curves over fields of characteristic \(2\) is isomorphic to a certain open subset of an affine variety, whose coordinate ring is given as the invariant algebra \(S[W'{^\ast}]^G\) of a certain \(6\)-dimensional \(\mathbb{F}_2\)-vector space \(W'{^\ast}\) provided of a linear action of the finite group \(G:=\text{GL}_3(\mathbb{F}_2)\). In the paper under review the authors obtain a complete description of this invariant algebra by combining a theoretical analysis with the application of specially tailored computational techniques. They show that the module \(W'{^\ast}\) is a trivial source \(G\)-module and the algebra \(S[W'{^\ast}]^G\) is Cohen-Macaulay. An optimal set of primary invariants has degrees \(\{2,3,3,4,6,7\}\), and a corresponding minimal set of secondary invariants has cardinality \(18\); moreover, \(S[W'{^\ast}]^G\) is generated as an algebra by at most \(11\) invariants.