<p>The classical invariant theory for the queer Lie superalgebra <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak{q}}_n\)</EquationSource> </InlineEquation>&gt; investigates its invariants in the supersymmetric algebra <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq2.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="386" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr{U}}_{s,l}^{r,k}:=\text{Sym}(V^{\bigoplus r}\bigoplus \Pi(V)^{\bigoplus k}\bigoplus V^{*\bigoplus s}\bigoplus \Pi(V^{*})^{\bigoplus l}),\)</EquationSource> </InlineEquation> where <i>V</i> = ℂ<sup><i>n</i>∣<i>n</i></sup> is the natural module of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak{q}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="fraktur">q</mi> </mrow> <mrow> <mi mathvariant="fraktur">n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, <i>V*</i> is its dual and Π is the parity reversing functor. This paper aims to construct a quantum analogue <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq4.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr{B}}_{s,l}^{r,k}\)</EquationSource> </InlineEquation> of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq5.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr{U}}_{s,l}^{r,k}\)</EquationSource> </InlineEquation> and to explore the quantum queer superalgebra <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{U}_{q}(\mathfrak{q}_{n})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="normal">U</mi> </mrow> <mrow> <mi>q</mi> </mrow> </msub> <mo stretchy="false">(</mo> <msub> <mrow> <mi mathvariant="fraktur">q</mi> </mrow> <mrow> <mi mathvariant="fraktur">n</mi> </mrow> </msub> <mo mathvariant="fraktur" stretchy="false">)</mo> </math></EquationSource> </InlineEquation>-invariants in <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq4.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr{B}}_{s,l}^{r,k}\)</EquationSource> </InlineEquation>.</p><p>The strategy involves braided tensor products of the quantum analogues A<sub><i>r,n</i></sub>, A<Stack> <sub><i>k,n</i></sub> <sup>Π</sup> </Stack> of the supersymmetric algebras Sym(<i>V</i><sup>⊕<i>r</i></sup>), Sym(Π(<i>V</i>)<sup>⊕<i>k</i></sup>), and their dual partners Ā<sub><i>s,n</i></sub>, and Ā<Stack> <sub><i>l,n</i></sub> <sup>Π</sup> </Stack>. These braided tensor products are defined using explicit braiding operators due to the absence of a universal R-matrix for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{U}_{q}(\mathfrak{q}_{n})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="normal">U</mi> </mrow> <mrow> <mi>q</mi> </mrow> </msub> <mo stretchy="false">(</mo> <msub> <mrow> <mi mathvariant="fraktur">q</mi> </mrow> <mrow> <mi mathvariant="fraktur">n</mi> </mrow> </msub> <mo mathvariant="fraktur" stretchy="false">)</mo> </math></EquationSource> </InlineEquation>. Furthermore, we obtain an isomorphism between the braided tensor product A<sub><i>r,n</i></sub> ⊗ A<sub><i>k,n</i></sub> and A<sub><i>r</i>+<i>k,n</i></sub>, an isomorphism between A<Stack> <sub><i>k,n</i></sub> <sup>Π</sup> </Stack> and A<sub><i>k,n</i></sub>, as well as the corresponding isomorphisms for their dual parts. Consequently, the <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{U}_{q}(\mathfrak{q}_{n})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="normal">U</mi> </mrow> <mrow> <mi>q</mi> </mrow> </msub> <mo stretchy="false">(</mo> <msub> <mrow> <mi mathvariant="fraktur">q</mi> </mrow> <mrow> <mi mathvariant="fraktur">n</mi> </mrow> </msub> <mo mathvariant="fraktur" stretchy="false">)</mo> </math></EquationSource> </InlineEquation>-module superalgebra <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq4.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr{B}}_{s,l}^{r,k}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>l</mi> </mrow> <mrow> <mi>r</mi> <mo>,</mo> <mi>k</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> is identified with <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq11.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr{B}}_{s+l,0}^{r+k,0}\)</EquationSource> </InlineEquation>. This allows us to obtain a set of generators of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{U}_{q}(\mathfrak{q}_{n})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="normal">U</mi> </mrow> <mrow> <mi>q</mi> </mrow> </msub> <mo stretchy="false">(</mo> <msub> <mrow> <mi mathvariant="fraktur">q</mi> </mrow> <mrow> <mi mathvariant="fraktur">n</mi> </mrow> </msub> <mo mathvariant="fraktur" stretchy="false">)</mo> </math></EquationSource> </InlineEquation>-invariants in <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2838_Article_IEq4.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr{B}}_{s,l}^{r,k}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>l</mi> </mrow> <mrow> <mi>r</mi> <mo>,</mo> <mi>k</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation>.</p>

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

Braided tensor products and polynomial invariants for the quantum queer superalgebra

  • Zhihua Chang,
  • Yongjie Wang

摘要

The classical invariant theory for the queer Lie superalgebra \({\mathfrak{q}}_n\) > investigates its invariants in the supersymmetric algebra \({\mathscr{U}}_{s,l}^{r,k}:=\text{Sym}(V^{\bigoplus r}\bigoplus \Pi(V)^{\bigoplus k}\bigoplus V^{*\bigoplus s}\bigoplus \Pi(V^{*})^{\bigoplus l}),\) where V = ℂnn is the natural module of \(\mathfrak{q}_{n}\) q n , V* is its dual and Π is the parity reversing functor. This paper aims to construct a quantum analogue \({\mathscr{B}}_{s,l}^{r,k}\) of \({\mathscr{U}}_{s,l}^{r,k}\) and to explore the quantum queer superalgebra \(\mathrm{U}_{q}(\mathfrak{q}_{n})\) U q ( q n ) -invariants in \({\mathscr{B}}_{s,l}^{r,k}\) .

The strategy involves braided tensor products of the quantum analogues Ar,n, A k,n Π of the supersymmetric algebras Sym(Vr), Sym(Π(V)k), and their dual partners Ās,n, and Ā l,n Π . These braided tensor products are defined using explicit braiding operators due to the absence of a universal R-matrix for \(\mathrm{U}_{q}(\mathfrak{q}_{n})\) U q ( q n ) . Furthermore, we obtain an isomorphism between the braided tensor product Ar,n ⊗ Ak,n and Ar+k,n, an isomorphism between A k,n Π and Ak,n, as well as the corresponding isomorphisms for their dual parts. Consequently, the \(\mathrm{U}_{q}(\mathfrak{q}_{n})\) U q ( q n ) -module superalgebra \({\mathscr{B}}_{s,l}^{r,k}\) B s , l r , k is identified with \({\mathscr{B}}_{s+l,0}^{r+k,0}\) . This allows us to obtain a set of generators of \(\mathrm{U}_{q}(\mathfrak{q}_{n})\) U q ( q n ) -invariants in \({\mathscr{B}}_{s,l}^{r,k}\) B s , l r , k .