SL₂-modules of small homological dimension

DOI10.1007/S00031-011-9138-5MaRDI QIDQ649082zbMATH OpenOpenAlexFDO

Authors Andries E. Brouwer, Mihaela Popoviciu

Publication date 30 November 2011

Published in Transformation Groups (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1102.4250

zbMATH Keywords

binary formshomological dimensionspecial linear group actions

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50)

Abstract: Let Vn be the SL2-module of binary forms of degree n and let V = Vn1+...+Vnp . We consider the algebra R of polynomial functions on V invariant under the action of SL2. The measure of the intricacy of these algebras is the length of their chains of syzygies, called homological dimension hdR. Popov gave in 1983 a classification of the cases in which hdR <=10 for a single binary form (p = 1) or hdR <=3 for a system of two or more binary forms (p > 1). We extend Popov's result and determine for p = 1 the cases with hdR <= 100, and for p > 1 those with hdR <= 15. In these cases we give a set of homogeneous parameters and a set of generators for the algebra R.

Review text

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.\)

Recommendations

• The degrees of a system of parameters of the ring of invariants of a binary form
• scientific article; zbMATH DE number 6440888
• scientific article; zbMATH DE number 3970956
• On the complication of algebras of combinant invariants
• Sylvester versus Gundelfinger
• On the ideals of general binary orbits: the low order cases
• Classification of Cohen-Macaulay Modules of Covariants for Systems of Binary Forms
• An algebraic independence result related to a conjecture of Dixmier on binary form invariants
• Separating invariants for the basic \(\mathbb G_{a}\)-actions
• Hyperdeterminant of an \(SL_{2}\)-homomorphism

Cites work

• Homological dimension of algebras of invariants.
• scientific article; zbMATH DE number 3970956 (Why is no real title available?)
• scientific article; zbMATH DE number 3702989 (Why is no real title available?)
• scientific article; zbMATH DE number 3532928 (Why is no real title available?)
• Invariants de plusieurs formes binaires
• On complete system of invariants for the binary form of degree 7
• On polarizations in invariant theory
• On the Graded Ring of Invariants of Binary Octavics
• Polarizations and nullcone of representations of reductive groups.
• The invariants of the binary decimic
• The invariants of the binary nonic

Cited in

(13)

• Some periodic \(SL(2,p^ n)\)-modules
• About Gordan's algorithm for binary forms
• On the complication of algebras of combinant invariants
• Effective rationality of second-order symmetric tensor spaces
• The Grothendieck and Picard groups of finite rank torsion free \(\mathfrak{sl}(2)\)-modules
• Slice modules over minimal 2-fundamental algebras.
• scientific article; zbMATH DE number 6907596 (Why is no real title available?)
• scientific article; zbMATH DE number 5130768 (Why is no real title available?)
• The homology of \(SL_2(\mathbb Z[1/m])\) for small \(m\).
• Hilbert polynomials of the algebras of \(SL_ 2\)-invariants
• The Structure of an SL₂‐module of finite Morley rank
• Covariant algebra of the binary nonic and the binary decimic
• Hyperdeterminant of an \(SL_{2}\)-homomorphism

This page was built for publication: SL\(_{2}\)-modules of small homological dimension

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