<p>Let <i>G</i> be a real noncompact semisimple connected Lie group and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="121" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho : G \longrightarrow \text {SL}(V)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>:</mo> <mi>G</mi> <mo stretchy="false">⟶</mo> <mtext>SL</mtext> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a faithful irreducible representation on a finite-dimensional vector space <i>V</i> over <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>. We suppose that there exists a scalar product <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\texttt {g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="monospace">g</mi> </math></EquationSource> </InlineEquation> on <i>V</i> such that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho (G)=K\exp ({\mathfrak {p}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>K</mi> <mo>exp</mo> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="153" /> </InlineMediaObject> <EquationSource Format="TEX">\(K=\text {SO}(V,\texttt {g})\cap \rho (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>=</mo> <mtext>SO</mtext> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi mathvariant="monospace">g</mi> <mo stretchy="false">)</mo> <mo>∩</mo> <mi>ρ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="184" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {p}}=\text {Sym}_o (V,\texttt {g})\cap (\text {d} \rho )_e ({\mathfrak {g}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">p</mi> <mo>=</mo> <msub> <mtext>Sym</mtext> <mi>o</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi mathvariant="monospace">g</mi> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <msub> <mrow> <mo stretchy="false">(</mo> <mtext>d</mtext> <mi>ρ</mi> <mo stretchy="false">)</mo> </mrow> <mi>e</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Here, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq7.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {g}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation> denotes the Lie algebra of <i>G</i>, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {SO}(V,\texttt {g})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SO</mtext> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi mathvariant="monospace">g</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denotes the connected component of the orthogonal group containing the identity element and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Sym}_o (V,\texttt {g})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>Sym</mtext> <mi>o</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi mathvariant="monospace">g</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes the set of symmetric endomorphisms of <i>V</i> with trace zero. In this paper, we study the projective representation of <i>G</i> on <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {P}}(V)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">P</mi> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> arising from <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq11.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> </InlineEquation>. There is a corresponding <i>G</i>-gradient map <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="115" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{\mathfrak {p}}:{\mathbb {P}}(V) \longrightarrow {\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mi mathvariant="fraktur">p</mi> </msub> <mo>:</mo> <mi mathvariant="double-struck">P</mi> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟶</mo> <mi mathvariant="fraktur">p</mi> </mrow> </math></EquationSource> </InlineEquation>. Using <i>G</i>-gradient map techniques, we prove that the unique compact <i>G</i> orbit <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq13.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> inside the unique compact <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq14.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(U^\mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>U</mi> <mi mathvariant="double-struck">C</mi> </msup> </math></EquationSource> </InlineEquation> orbit <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq15.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 <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq16.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {P}} (V^\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">P</mi> <mo stretchy="false">(</mo> <msup> <mi>V</mi> <mi mathvariant="double-struck">C</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>U</i> is the semisimple connected compact Lie group with Lie algebra <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq17.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="113" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {k}} \oplus {\textbf {i}} {\mathfrak {p}}\subseteq \mathfrak {sl}(V^\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">k</mi> <mo>⊕</mo> <mi mathvariant="bold">i</mi> <mi mathvariant="fraktur">p</mi> <mo>⊆</mo> <mi mathvariant="fraktur">sl</mi> <mo stretchy="false">(</mo> <msup> <mi>V</mi> <mi mathvariant="double-struck">C</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, is the set of fixed points of an anti-holomorphic involutive isometry of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq18.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> and so a totally geodesic Lagrangian submanifold of <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq19.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>. Moreover, <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq20.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> is contained in <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq21.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {P}}(V)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">P</mi> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The restriction of the function <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq22.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{\mathfrak {p}}^\beta (x):=\langle \mu _{\mathfrak {p}}(x),\beta \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>μ</mi> <mrow> <mi mathvariant="fraktur">p</mi> </mrow> <mi>β</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>μ</mi> <mi mathvariant="fraktur">p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>β</mi> <mo stretchy="false">⟩</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq23.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle \cdot , \cdot \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> is an <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq24.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {Ad}(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Ad</mtext> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-invariant scalar product on <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq25.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation>, to <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq26.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> achieves the maximum on the unique compact orbit of a suitable parabolic subgroup and this orbit is connected. We also describe the irreducible representations of parabolic subgroups of <i>G</i> in terms of the facial structure of the convex body given by the convex envelope of the image <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10455_2025_9986_Article_IEq27.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{\mathfrak {p}}({\mathbb {P}}(V))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mi mathvariant="fraktur">p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">P</mi> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Projective representations of real semisimple Lie groups and the gradient map

  • Leonardo Biliotti

摘要

Let G be a real noncompact semisimple connected Lie group and let \(\rho : G \longrightarrow \text {SL}(V)\) ρ : G SL ( V ) be a faithful irreducible representation on a finite-dimensional vector space V over \(\mathbb {R}\) R . We suppose that there exists a scalar product \(\texttt {g}\) g on V such that \(\rho (G)=K\exp ({\mathfrak {p}})\) ρ ( G ) = K exp ( p ) , where \(K=\text {SO}(V,\texttt {g})\cap \rho (G)\) K = SO ( V , g ) ρ ( G ) and \({\mathfrak {p}}=\text {Sym}_o (V,\texttt {g})\cap (\text {d} \rho )_e ({\mathfrak {g}})\) p = Sym o ( V , g ) ( d ρ ) e ( g ) . Here, \({\mathfrak {g}}\) g denotes the Lie algebra of G, \(\text {SO}(V,\texttt {g})\) SO ( V , g ) denotes the connected component of the orthogonal group containing the identity element and \(\text {Sym}_o (V,\texttt {g})\) Sym o ( V , g ) denotes the set of symmetric endomorphisms of V with trace zero. In this paper, we study the projective representation of G on \({\mathbb {P}}(V)\) P ( V ) arising from \(\rho \) ρ . There is a corresponding G-gradient map \(\mu _{\mathfrak {p}}:{\mathbb {P}}(V) \longrightarrow {\mathfrak {p}}\) μ p : P ( V ) p . Using G-gradient map techniques, we prove that the unique compact G orbit \({\mathcal {O}}\) O inside the unique compact \(U^\mathbb {C}\) U C orbit \({\mathcal {O}}'\) O in \({\mathbb {P}} (V^\mathbb {C})\) P ( V C ) , where U is the semisimple connected compact Lie group with Lie algebra \({\mathfrak {k}} \oplus {\textbf {i}} {\mathfrak {p}}\subseteq \mathfrak {sl}(V^\mathbb {C})\) k i p sl ( V C ) , is the set of fixed points of an anti-holomorphic involutive isometry of \({\mathcal {O}}'\) O and so a totally geodesic Lagrangian submanifold of \({\mathcal {O}}'\) O . Moreover, \({\mathcal {O}}\) O is contained in \({\mathbb {P}}(V)\) P ( V ) . The restriction of the function \(\mu _{\mathfrak {p}}^\beta (x):=\langle \mu _{\mathfrak {p}}(x),\beta \rangle \) μ p β ( x ) : = μ p ( x ) , β , where \(\langle \cdot , \cdot \rangle \) · , · is an \(\text {Ad}(K)\) Ad ( K ) -invariant scalar product on \({\mathfrak {p}}\) p , to \({\mathcal {O}}\) O achieves the maximum on the unique compact orbit of a suitable parabolic subgroup and this orbit is connected. We also describe the irreducible representations of parabolic subgroups of G in terms of the facial structure of the convex body given by the convex envelope of the image \(\mu _{\mathfrak {p}}({\mathbb {P}}(V))\) μ p ( P ( V ) ) .