Completing the classification of representations of \(SL_n\) with complete intersection invariant ring (Q2040585): Difference between revisions

In [J. Lie Theory 11, No. 1, 207--229 (2001; Zbl 0982.20028)], \textit{D. A. Shmelkin} classified the representations of \(\mathrm{SL}_n\) with complete intersection invariant ring, leaving the proof wether or not six representations have complete intersection invariant rings as an open problem. The paper under consideration addresses these remaining cases and it is shown that all six of them have indeed a complete intersection invariant ring, which completes the classification of Shmelkin. There are three main ingredients for proving this result: Firstly, a graphtheoretical method for finding generators and syzygies for invariant rings of \(\mathrm{SL}_n\)-representations containing (anti-)symmetric powers of the standard representation. This method was introduced by the author in [Adv. Math. 389, 34 p. (2021; Zbl 1483.13015)] for the antisymmetric case and is generalized to the symmetric case in the present paper. Secondly, an algorithm to compute Hilbert series, which is a modification of an algorithm developed by \textit{G. Xin} in [Electron. J. Comb. 11, No. 1, 20 p. (2004; Zbl 1066.11060)] and lastly an algorithm to show that a certain ideal basis is a Gröbner basis.