<p>From the viewpoint of Johnson graphs as slices of a hypercube, we derive a novel algebra homomorphism <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sharp \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>♯</mo> </math></EquationSource> </InlineEquation> from the universal Racah algebra <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Re \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(\mathfrak {sl}_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We use the Casimir elements of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Re \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation> to describe the kernel of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sharp \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>♯</mo> </math></EquationSource> </InlineEquation>. By pulling back via <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sharp \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>♯</mo> </math></EquationSource> </InlineEquation> every <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(\mathfrak {sl}_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-module can be viewed as an <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Re \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation>-module. We show that for any finite-dimensional <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(\mathfrak {sl}_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-module <i>V</i>, the <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Re \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation>-module <i>V</i> is completely reducible and three generators of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Re \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation> act on every irreducible <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1422_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Re \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℜ</mi> </math></EquationSource> </InlineEquation>-submodule of <i>V</i> as a Leonard triple. In particular, Leonard triples can be constructed in terms of the second dual distance operator of the hypercube <i>H</i>(<i>D</i>,&#xa0;2) and a decomposition of the second distance operator of <i>H</i>(<i>D</i>,&#xa0;2) induced by Johnson graphs.</p>

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

Johnson graphs as slices of a hypercube and an algebra homomorphism from the universal Racah algebra into \(U(\mathfrak {sl}_2)\)

  • Hau-Wen Huang,
  • Chia-Yi Wen

摘要

From the viewpoint of Johnson graphs as slices of a hypercube, we derive a novel algebra homomorphism \(\sharp \) from the universal Racah algebra \(\Re \) into \(U(\mathfrak {sl}_2)\) U ( sl 2 ) . We use the Casimir elements of \(\Re \) to describe the kernel of \(\sharp \) . By pulling back via \(\sharp \) every \(U(\mathfrak {sl}_2)\) U ( sl 2 ) -module can be viewed as an \(\Re \) -module. We show that for any finite-dimensional \(U(\mathfrak {sl}_2)\) U ( sl 2 ) -module V, the \(\Re \) -module V is completely reducible and three generators of \(\Re \) act on every irreducible \(\Re \) -submodule of V as a Leonard triple. In particular, Leonard triples can be constructed in terms of the second dual distance operator of the hypercube H(D, 2) and a decomposition of the second distance operator of H(D, 2) induced by Johnson graphs.