<p>We describe all Rota—Baxter operators of any weight on the space of matrices from <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2(F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> considered under the product <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="137" /> </InlineMediaObject> <EquationSource Format="TEX">\(a\circ b = (ab + ba)/2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∘</mo> <mi>b</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>a</mi> <mi>b</mi> <mo>+</mo> <mi>b</mi> <mi>a</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and usually denoted as <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2(F)^{(+)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mo>+</mo> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. This algebra is known to be a simple Jordan one. We introduce symmetrized Rota—Baxter operators of weight&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> and show that every Rota—Baxter operator of weight&#xa0;0 on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2(F)^{(+)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mo>+</mo> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> either is a Rota—Baxter operator of weight&#xa0;0 on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2(F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> or is a&#xa0;symmetrized Rota—Baxter operator of weight&#xa0;0 on the same <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2(F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We also prove that every Rota—Baxter operator of nonzero weight&#xa0;<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2(F)^{(+)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mo>+</mo> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> is either a Rota—Baxter operator of weight&#xa0;<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2(F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> or is, up to the action of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="137" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi :R\rightarrow -R-\lambda \textrm{id}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo>:</mo> <mi>R</mi> <mo stretchy="false">→</mo> <mo>-</mo> <mi>R</mi> <mo>-</mo> <mi>λ</mi> <mtext>id</mtext> </mrow> </math></EquationSource> </InlineEquation>, a&#xa0;symmetrized Rota—Baxter operator of weight&#xa0;<InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1932_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2(F)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Rota—Baxter operators on the simple Jordan algebra of matrices of order two

  • Vsevolod Gubarev,
  • Alexander Panasenko

摘要

We describe all Rota—Baxter operators of any weight on the space of matrices from \(M_2(F)\) M 2 ( F ) considered under the product \(a\circ b = (ab + ba)/2\) a b = ( a b + b a ) / 2 and usually denoted as \(M_2(F)^{(+)}\) M 2 ( F ) ( + ) . This algebra is known to be a simple Jordan one. We introduce symmetrized Rota—Baxter operators of weight  \(\lambda \) λ and show that every Rota—Baxter operator of weight 0 on \(M_2(F)^{(+)}\) M 2 ( F ) ( + ) either is a Rota—Baxter operator of weight 0 on \(M_2(F)\) M 2 ( F ) or is a symmetrized Rota—Baxter operator of weight 0 on the same \(M_2(F)\) M 2 ( F ) . We also prove that every Rota—Baxter operator of nonzero weight  \(\lambda \) λ on \(M_2(F)^{(+)}\) M 2 ( F ) ( + ) is either a Rota—Baxter operator of weight  \(\lambda \) λ on \(M_2(F)\) M 2 ( F ) or is, up to the action of \(\phi :R\rightarrow -R-\lambda \textrm{id}\) ϕ : R - R - λ id , a symmetrized Rota—Baxter operator of weight  \(\lambda \) λ on \(M_2(F)\) M 2 ( F ) .