<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(r\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>r</mi> </math></EquationSource> </InlineEquation> be a nonconstant noncommutative rational function in <i>m</i> variables over an algebraically closed field <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> of characteristic 0. We show that for <i>n</i> large enough, there exists an <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(X\in {{\,\textrm{M}\,}}_{n}(\mathbb {K})^m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>∈</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>M</mtext> <mspace width="0.166667em" /> </mrow> <mi>n</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">)</mo> </mrow> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(r(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has <i>n</i> distinct and nonzero eigenvalues. This result is used to study the linear and multiplicative Waring problems for matrix algebras. Concerning the linear problem, we show that for <i>n</i> large enough, every matrix in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {sl}_{n}(\mathbb {K})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">sl</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> can be written as <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(r(Y)-r(Z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mi>r</mi> <mo stretchy="false">(</mo> <mi>Z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(Y,Z\in {{\,\textrm{M}\,}}_{n}(\mathbb {K})^m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Y</mi> <mo>,</mo> <mi>Z</mi> <mo>∈</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>M</mtext> <mspace width="0.166667em" /> </mrow> <mi>n</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">)</mo> </mrow> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. We also discuss variations of this result for the case where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(r\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>r</mi> </math></EquationSource> </InlineEquation> is a noncommutative polynomial. Concerning the multiplicative problem, we show, among other results, that if <i>f</i> and <i>g</i> are nonconstant polynomials, then, for <i>n</i> large enough, every nonscalar matrix in <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\operatorname {GL}_{n}(\mathbb {K})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>GL</mo> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> can be written as <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f(Y)\cdot g(Z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> <mo>·</mo> <mi>g</mi> <mo stretchy="false">(</mo> <mi>Z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(Y,Z\in {{\,\textrm{M}\,}}_{n}(\mathbb {K})^m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Y</mi> <mo>,</mo> <mi>Z</mi> <mo>∈</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>M</mtext> <mspace width="0.166667em" /> </mrow> <mi>n</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">)</mo> </mrow> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Matrix evaluations of noncommutative rational functions and Waring problems

  • Matej Brešar,
  • Jurij Volčič

摘要

Let \(r\) r be a nonconstant noncommutative rational function in m variables over an algebraically closed field \(\mathbb {K}\) K of characteristic 0. We show that for n large enough, there exists an \(X\in {{\,\textrm{M}\,}}_{n}(\mathbb {K})^m\) X M n ( K ) m such that \(r(X)\) r ( X ) has n distinct and nonzero eigenvalues. This result is used to study the linear and multiplicative Waring problems for matrix algebras. Concerning the linear problem, we show that for n large enough, every matrix in \(\mathfrak {sl}_{n}(\mathbb {K})\) sl n ( K ) can be written as \(r(Y)-r(Z)\) r ( Y ) - r ( Z ) for some \(Y,Z\in {{\,\textrm{M}\,}}_{n}(\mathbb {K})^m\) Y , Z M n ( K ) m . We also discuss variations of this result for the case where \(r\) r is a noncommutative polynomial. Concerning the multiplicative problem, we show, among other results, that if f and g are nonconstant polynomials, then, for n large enough, every nonscalar matrix in \(\operatorname {GL}_{n}(\mathbb {K})\) GL n ( K ) can be written as \(f(Y)\cdot g(Z)\) f ( Y ) · g ( Z ) for some \(Y,Z\in {{\,\textrm{M}\,}}_{n}(\mathbb {K})^m\) Y , Z M n ( K ) m .