SL\(_{2}\)-modules of small homological dimension (Q649082): Difference between revisions

Let \(V\) be a rational finite-dimensional \(\text{SL}_{2} :=\text{SL}_{2}\left( \mathbb{C}\right) \)-module, and let \(\mathcal{O}\left( V\right) \) be the polynomial functions on \(V\). Then \(\text{SL}_{2}\) acts on \(\mathcal{O}\left( V\right) \) and we let \(R=\mathcal{O}\left( V\right) ^{\text{SL}_{2}}\) be polynomial functions which are invariant under this action. Then \(R\) is a finitely generated \(\mathbb{C}\)-algebra, and the minimum number \(r\) of generators for \(R\) is related to the homological dimension of \(R\), namely hd\(\;R=r-m,\) where \(m\) is the size of a system of parameters of \(R\). \textit{V. L. Popov} [J. Reine Angew. Math. 341, 157--173 (1983; Zbl 0525.14007)] classified the modules with hd \(R\leq3,\) although often \(R\) has a high homological dimension. For example, if \(V_{n}\) is the set of binary forms of degree \(n\), then hd \(\mathcal{O}\left( V_{7}\right) ^{\text{SL} _{2}}=25\) and hd \(\mathcal{O}\left( V_{9}\right) ^{\text{SL}_{2} }=85.\) This work extends the results of Popov in two ways. First, it extends the classification to modules with hd \(R\leq15,\) providing a table which includes the number of generators for each. The generators are explicitly given at the end of the paper. Additionally, it is shown that if hd \(\mathcal{O}\left( V_{n}\right) ^{\text{SL}_{2}}\leq100\) then \(n\leq10.\)