Abstract <p> We give an explicit formula for the index of a Lie algebra of the shape <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathfrak{g}} _0= {\mathfrak{h}} \oplus( {\mathfrak{g}} / {\mathfrak{h}} )^{ \text{ab} }\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq2.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathfrak{g}} \)</EquationSource> </InlineEquation> is a semisimple Lie algebra, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathfrak{h}} \)</EquationSource> </InlineEquation> is a subalgebra in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathfrak{g}} \)</EquationSource> </InlineEquation> regarded as a subalgebra in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq5.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathfrak{g}} _0\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(( {\mathfrak{g}} / {\mathfrak{h}} )^{ \text{ab} }\)</EquationSource> </InlineEquation> is an <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathfrak{h}} \)</EquationSource> </InlineEquation>-module <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathfrak{g}} / {\mathfrak{h}} \)</EquationSource> </InlineEquation> regarded as an Abelian ideal of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq9.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathfrak{g}} _0\)</EquationSource> </InlineEquation>. This formula has applications to Poisson commutative subalgebras in the symmetric algebra <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3224_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\( \operatorname{S} ( {\mathfrak{g}} )\)</EquationSource> </InlineEquation> and to completely integrable systems. </p> <p> <b> DOI</b> 10.1134/S1061920825600199 </p>

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

Index of Inönü–Wigner Contractions of Semisimple Lie Algebras

  • D.A. Timashev

摘要

Abstract

We give an explicit formula for the index of a Lie algebra of the shape \( {\mathfrak{g}} _0= {\mathfrak{h}} \oplus( {\mathfrak{g}} / {\mathfrak{h}} )^{ \text{ab} }\) , where \( {\mathfrak{g}} \) is a semisimple Lie algebra, \( {\mathfrak{h}} \) is a subalgebra in \( {\mathfrak{g}} \) regarded as a subalgebra in \( {\mathfrak{g}} _0\) , and \(( {\mathfrak{g}} / {\mathfrak{h}} )^{ \text{ab} }\) is an \( {\mathfrak{h}} \) -module \( {\mathfrak{g}} / {\mathfrak{h}} \) regarded as an Abelian ideal of \( {\mathfrak{g}} _0\) . This formula has applications to Poisson commutative subalgebras in the symmetric algebra \( \operatorname{S} ( {\mathfrak{g}} )\) and to completely integrable systems.

DOI 10.1134/S1061920825600199