<p>Let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(k^{[6]}\)</EquationSource> </InlineEquation> denote a polynomial ring in 6 variables over an algebraically closed field <i>k</i> of characteristic zero and consider the action of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({{\,\textrm{SL}\,}}_2(k)\)</EquationSource> </InlineEquation> on <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(k^{[6]}\)</EquationSource> </InlineEquation> induced by the irreducible representation of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({{\,\textrm{SL}\,}}_2\)</EquationSource> </InlineEquation> of degree 5 (the binary quintic representation). We consider the ring <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(Q = (k^{[6]})^{{{\,\textrm{SL}\,}}_2}\)</EquationSource> </InlineEquation> of invariant polynomials and show that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textrm{Aut}_k(Q) = k^*\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textrm{Aut}_k(Q)\)</EquationSource> </InlineEquation> is the group of <i>k</i>-algebra automorphisms of <i>Q</i>. Based on this result, we show that the group of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({{\,\textrm{SL}\,}}_2\)</EquationSource> </InlineEquation>-equivariant polynomial automorphisms of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(k^{[6]}\)</EquationSource> </InlineEquation> is isomorphic to <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(k^*\)</EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Automorphisms of the Ring of Invariants for the Binary Quintic Representation of \({{\,\textrm{SL}\,}}_2\)

  • Daniel Daigle,
  • Gene Freudenburg

摘要

Let \(k^{[6]}\) denote a polynomial ring in 6 variables over an algebraically closed field k of characteristic zero and consider the action of \({{\,\textrm{SL}\,}}_2(k)\) on \(k^{[6]}\) induced by the irreducible representation of \({{\,\textrm{SL}\,}}_2\) of degree 5 (the binary quintic representation). We consider the ring \(Q = (k^{[6]})^{{{\,\textrm{SL}\,}}_2}\) of invariant polynomials and show that \(\textrm{Aut}_k(Q) = k^*\) , where \(\textrm{Aut}_k(Q)\) is the group of k-algebra automorphisms of Q. Based on this result, we show that the group of \({{\,\textrm{SL}\,}}_2\) -equivariant polynomial automorphisms of \(k^{[6]}\) is isomorphic to \(k^*\) .