<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1354_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(G:=K\ltimes N\)</EquationSource> </InlineEquation> be the semidirect product with Lie algebra <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1354_Article_IEq2.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {g},\)</EquationSource> </InlineEquation> where <i>N</i> is a simply connected nilpotent Lie group, and <i>K</i> is a subgroup of the automorphisms group, <i>Aut</i>(<i>N</i>),&#xa0; of <i>N</i>. We say that the pair (<i>K</i>,&#xa0;<i>N</i>) is a nilpotent Gelfand pair when the set <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1354_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_K^1(N)\)</EquationSource> </InlineEquation> of integrable <i>K</i>-invariant functions on <i>N</i> forms an abelian algebra under convolution. According to Lipsman, the unitary dual <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1354_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{G}\)</EquationSource> </InlineEquation> of <i>G</i> is in one-to-one correspondence with the space of admissible coadjoint orbits <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1354_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {g}^\ddag /G\)</EquationSource> </InlineEquation> of <i>G</i>. Under some assumptions on the pair (<i>K</i>,&#xa0;<i>N</i>) we will show in this paper and its sequel (part II), that the Kirillov–Lipsman bijection <Equation ID="Equ31"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1354_Article_Equ31.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </MediaObject> <EquationSource Format="TEX">\(\widehat{G}\simeq \mathfrak {g}^\ddagger /G\)</EquationSource> </Equation>is a homeomorphism for a class of Lie groups associated with the nilpotent Gelfand pairs (<i>K</i>,&#xa0;<i>N</i>). Part I (this paper) concerns generalities and the study of the convergence in the quotient space <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1354_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {g}^\ddag /G.\)</EquationSource> </InlineEquation> More precisely, we give a necessary and sufficient conditions when a sequence of admissible coadjoint orbits converges in <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1354_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {g}^\ddag /G.\)</EquationSource> </InlineEquation></p>

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

Kirillov–Lipsman orbit method of a class of Gelfand pairs: part I

  • Aymen Rahali,
  • Ibtissem Ben Chenni

摘要

Let \(G:=K\ltimes N\) be the semidirect product with Lie algebra \(\mathfrak {g},\) where N is a simply connected nilpotent Lie group, and K is a subgroup of the automorphisms group, Aut(N),  of N. We say that the pair (KN) is a nilpotent Gelfand pair when the set \(L_K^1(N)\) of integrable K-invariant functions on N forms an abelian algebra under convolution. According to Lipsman, the unitary dual \(\widehat{G}\) of G is in one-to-one correspondence with the space of admissible coadjoint orbits \(\mathfrak {g}^\ddag /G\) of G. Under some assumptions on the pair (KN) we will show in this paper and its sequel (part II), that the Kirillov–Lipsman bijection \(\widehat{G}\simeq \mathfrak {g}^\ddagger /G\) is a homeomorphism for a class of Lie groups associated with the nilpotent Gelfand pairs (KN). Part I (this paper) concerns generalities and the study of the convergence in the quotient space \(\mathfrak {g}^\ddag /G.\) More precisely, we give a necessary and sufficient conditions when a sequence of admissible coadjoint orbits converges in \(\mathfrak {g}^\ddag /G.\)