<p>Let <i>G</i> be a simple algebraic group and <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="110" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}\subset {\mathfrak g}={\mathrm {Lie\,}}G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo>⊂</mo> <mi mathvariant="fraktur">g</mi> <mo>=</mo> <mrow> <mi mathvariant="normal">Lie</mi> <mspace width="0.166667em" /> </mrow> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation> a nilpotent orbit. If <i>H</i> is a reductive subgroup of <i>G</i> with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak h}={\mathrm {Lie\,}}H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">h</mi> <mo>=</mo> <mrow> <mi mathvariant="normal">Lie</mi> <mspace width="0.166667em" /> </mrow> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak g}={\mathfrak h}\oplus {\mathfrak m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">g</mi> <mo>=</mo> <mi mathvariant="fraktur">h</mi> <mo>⊕</mo> <mi mathvariant="fraktur">m</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak m}={\mathfrak h}^\perp \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">m</mi> <mo>=</mo> <msup> <mrow> <mi mathvariant="fraktur">h</mi> </mrow> <mo>⊥</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>. We consider the natural projections <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\varphi }: \overline{\mathcal {O}}\rightarrow \mathfrak {h}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">φ</mi> </mrow> <mo>:</mo> <mover> <mi mathvariant="script">O</mi> <mo>¯</mo> </mover> <mo stretchy="false">→</mo> <mi mathvariant="fraktur">h</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\psi }: \overline{\mathcal {O}}\rightarrow \mathfrak {m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">ψ</mi> </mrow> <mo>:</mo> <mover> <mi mathvariant="script">O</mi> <mo>¯</mo> </mover> <mo stretchy="false">→</mo> <mi mathvariant="fraktur">m</mi> </mrow> </math></EquationSource> </InlineEquation> and two related properties of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((H, \mathcal {O})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo>,</mo> <mi mathvariant="script">O</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>: <Equation ID="Equ1"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_Equ1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="408" /> </MediaObject> <EquationSource Format="TEX">\( (\mathcal {P}_1): \overline{\mathcal {O}}\cap {\mathfrak m}=\{0\}; \qquad (\mathcal {P}_2): H \text { has a dense orbit in } \mathcal {O}. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mover> <mi mathvariant="script">O</mi> <mo>¯</mo> </mover> <mo>∩</mo> <mi mathvariant="fraktur">m</mi> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo>;</mo> <mspace width="2em" /> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mi>H</mi> <mspace width="0.333333em" /> <mtext>has a dense orbit in</mtext> <mspace width="0.333333em" /> <mi mathvariant="script">O</mi> <mo>.</mo> </mrow> </math></EquationSource> </Equation>It is shown that either of these properties implies that <i>H</i> is semisimple. We prove that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathcal {P}_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> implies <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathcal {P}_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">O</mi> </math></EquationSource> </InlineEquation> and the converse holds for <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}_\textsf{min}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">O</mi> <mi mathvariant="sans-serif">min</mi> </msub> </math></EquationSource> </InlineEquation>, the minimal nilpotent orbit. If <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathcal {P}_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> holds, then <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq13.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\varphi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">φ</mi> </mrow> </math></EquationSource> </InlineEquation> is finite and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\([\varvec{\varphi }(e),\varvec{\psi }(e)]=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mrow> <mi mathvariant="bold-italic">φ</mi> </mrow> <mo stretchy="false">(</mo> <mi>e</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mrow> <mi mathvariant="bold-italic">ψ</mi> </mrow> <mo stretchy="false">(</mo> <mi>e</mi> <mo stretchy="false">)</mo> <mo stretchy="false">]</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(e\in \mathcal {O}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>e</mi> <mo>∈</mo> <mi mathvariant="script">O</mi> </mrow> </math></EquationSource> </InlineEquation>. Then <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq16.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\varvec{\varphi }(\mathcal {O})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mrow> <mrow> <mi mathvariant="bold-italic">φ</mi> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">O</mi> <mo stretchy="false">)</mo> </mrow> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> is the closure of a nilpotent <i>H</i>-orbit <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq17.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">O</mi> </mrow> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation>. The orbit <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq17.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">O</mi> </mrow> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> is “shared” in the sense of Brylinski–Kostant (J. Am. Math. Soc. <b>7</b>(2), 269–298 1994). We obtain a classification of all pairs <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq19.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((H,\mathcal {O})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo>,</mo> <mi mathvariant="script">O</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with property <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathcal {P}_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and discuss various relations between <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">O</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq17.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">O</mi> </mrow> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation>. In particular, we detect an omission in the list of pairs of simple groups (<i>H</i>,&#xa0;<i>G</i>) having a shared orbit that was given by Brylinski and Kostant. It is also proved that <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathcal {P}_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">P</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq24.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\((H,\mathcal {O}_\textsf{min})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo>,</mo> <msub> <mi mathvariant="script">O</mi> <mi mathvariant="sans-serif">min</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> implies that <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10322_Article_IEq25.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="175" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{G{\cdot }\varvec{\varphi }(\mathcal {O}_\textsf{min})}=\overline{G{\cdot }\varvec{\psi }(\mathcal {O}_\textsf{min})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mrow> <mi>G</mi> <mo>·</mo> <mrow> <mi mathvariant="bold-italic">φ</mi> </mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">O</mi> <mi mathvariant="sans-serif">min</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>¯</mo> </mover> <mo>=</mo> <mover> <mrow> <mi>G</mi> <mo>·</mo> <mrow> <mi mathvariant="bold-italic">ψ</mi> </mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">O</mi> <mi mathvariant="sans-serif">min</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Projections of Nilpotent Orbits in a Simple Lie Algebra and Shared Orbits

  • Dmitri I. Panyushev

摘要

Let G be a simple algebraic group and \(\mathcal {O}\subset {\mathfrak g}={\mathrm {Lie\,}}G\) O g = Lie G a nilpotent orbit. If H is a reductive subgroup of G with \({\mathfrak h}={\mathrm {Lie\,}}H\) h = Lie H , then \({\mathfrak g}={\mathfrak h}\oplus {\mathfrak m}\) g = h m , where \({\mathfrak m}={\mathfrak h}^\perp \) m = h . We consider the natural projections \(\varvec{\varphi }: \overline{\mathcal {O}}\rightarrow \mathfrak {h}\) φ : O ¯ h and \(\varvec{\psi }: \overline{\mathcal {O}}\rightarrow \mathfrak {m}\) ψ : O ¯ m and two related properties of \((H, \mathcal {O})\) ( H , O ) : \( (\mathcal {P}_1): \overline{\mathcal {O}}\cap {\mathfrak m}=\{0\}; \qquad (\mathcal {P}_2): H \text { has a dense orbit in } \mathcal {O}. \) ( P 1 ) : O ¯ m = { 0 } ; ( P 2 ) : H has a dense orbit in O . It is shown that either of these properties implies that H is semisimple. We prove that \((\mathcal {P}_1)\) ( P 1 ) implies \((\mathcal {P}_2)\) ( P 2 ) for all \(\mathcal {O}\) O and the converse holds for \(\mathcal {O}_\textsf{min}\) O min , the minimal nilpotent orbit. If \((\mathcal {P}_1)\) ( P 1 ) holds, then \(\varvec{\varphi }\) φ is finite and \([\varvec{\varphi }(e),\varvec{\psi }(e)]=0\) [ φ ( e ) , ψ ( e ) ] = 0 for all \(e\in \mathcal {O}\) e O . Then \(\overline{\varvec{\varphi }(\mathcal {O})}\) φ ( O ) ¯ is the closure of a nilpotent H-orbit \(\mathcal {O}'\) O . The orbit \(\mathcal {O}'\) O is “shared” in the sense of Brylinski–Kostant (J. Am. Math. Soc. 7(2), 269–298 1994). We obtain a classification of all pairs \((H,\mathcal {O})\) ( H , O ) with property \((\mathcal {P}_1)\) ( P 1 ) and discuss various relations between \(\mathcal {O}\) O and \(\mathcal {O}'\) O . In particular, we detect an omission in the list of pairs of simple groups (HG) having a shared orbit that was given by Brylinski and Kostant. It is also proved that \((\mathcal {P}_1)\) ( P 1 ) for \((H,\mathcal {O}_\textsf{min})\) ( H , O min ) implies that \(\overline{G{\cdot }\varvec{\varphi }(\mathcal {O}_\textsf{min})}=\overline{G{\cdot }\varvec{\psi }(\mathcal {O}_\textsf{min})}\) G · φ ( O min ) ¯ = G · ψ ( O min ) ¯ .