<p>In this paper, we extend the results of Grantcharov and Robitaille in 2021 on mixed tensor products and Capelli determinants to the superalgebra setting. Specifically, we construct a family of superalgebra homomorphisms <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="334" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi _R: U(\mathfrak {gl}(m+1|n)) \rightarrow \mathcal {D}'(m|n) \otimes U(\mathfrak {gl}(m|n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>φ</mi> <mi>R</mi> </msub> <mo>:</mo> <mi>U</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">gl</mi> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊗</mo> <mi>U</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">gl</mi> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for a certain space of differential operators <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}'(m|n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> indexed by a central element <i>R</i> of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="163" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}'(m|n) \otimes U(\mathfrak {gl}(m|n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊗</mo> <mi>U</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">gl</mi> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We then use this homomorphism to determine the image of Gelfand generators of the center of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="110" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(\mathfrak {gl}(m+1|n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">gl</mi> <mo stretchy="false">(</mo> <mi>m</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We achieve this by first relating <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi _R\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>φ</mi> <mi>R</mi> </msub> </math></EquationSource> </InlineEquation> to the corresponding Harish-Chandra homomorphisms and then using a super-analog of Newton’s formula for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {gl}(m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">gl</mi> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> relating Capelli generators and Gelfand generators. We also use the homomorphism <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq9.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi _R\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>φ</mi> <mi>R</mi> </msub> </math></EquationSource> </InlineEquation> to obtain representations of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="110" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(\mathfrak {gl}(m+1|n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">gl</mi> <mo stretchy="false">(</mo> <mi>m</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> from those of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(\mathfrak {gl}(m|n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">gl</mi> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and find conditions under which these inflations are simple. Finally, we show that for a distinguished central element <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>R</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="163" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}'(m|n)\otimes U(\mathfrak {gl}(m|n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊗</mo> <mi>U</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">gl</mi> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the kernel of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi _{R_1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>φ</mi> <msub> <mi>R</mi> <mn>1</mn> </msub> </msub> </math></EquationSource> </InlineEquation> is the ideal of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="110" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(\mathfrak {gl}(m+1|n))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">gl</mi> <mo stretchy="false">(</mo> <mi>m</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">|</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> generated by the first Gelfand invariant <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9908_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>.</p>

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

Mixed Tensor Products, Capelli Berezinians, and Newton’s Formula for \(\mathfrak {gl}(m|n)\)

  • Sidarth Erat,
  • Arun S. Kannan,
  • Shihan Kanungo

摘要

In this paper, we extend the results of Grantcharov and Robitaille in 2021 on mixed tensor products and Capelli determinants to the superalgebra setting. Specifically, we construct a family of superalgebra homomorphisms \(\varphi _R: U(\mathfrak {gl}(m+1|n)) \rightarrow \mathcal {D}'(m|n) \otimes U(\mathfrak {gl}(m|n))\) φ R : U ( gl ( m + 1 | n ) ) D ( m | n ) U ( gl ( m | n ) ) for a certain space of differential operators \(\mathcal {D}'(m|n)\) D ( m | n ) indexed by a central element R of \(\mathcal {D}'(m|n) \otimes U(\mathfrak {gl}(m|n))\) D ( m | n ) U ( gl ( m | n ) ) . We then use this homomorphism to determine the image of Gelfand generators of the center of \(U(\mathfrak {gl}(m+1|n))\) U ( gl ( m + 1 | n ) ) . We achieve this by first relating \(\varphi _R\) φ R to the corresponding Harish-Chandra homomorphisms and then using a super-analog of Newton’s formula for \(\mathfrak {gl}(m)\) gl ( m ) relating Capelli generators and Gelfand generators. We also use the homomorphism \(\varphi _R\) φ R to obtain representations of \(U(\mathfrak {gl}(m+1|n))\) U ( gl ( m + 1 | n ) ) from those of \(U(\mathfrak {gl}(m|n))\) U ( gl ( m | n ) ) , and find conditions under which these inflations are simple. Finally, we show that for a distinguished central element \(R_1\) R 1 in \(\mathcal {D}'(m|n)\otimes U(\mathfrak {gl}(m|n))\) D ( m | n ) U ( gl ( m | n ) ) , the kernel of \(\varphi _{R_1}\) φ R 1 is the ideal of \(U(\mathfrak {gl}(m+1|n))\) U ( gl ( m + 1 | n ) ) generated by the first Gelfand invariant \(G_1\) G 1 .