<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak {m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">m</mi> </math></EquationSource> </InlineEquation> be a nilpotent ideal in the Borel subalgebra <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathfrak {b}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">b</mi> </math></EquationSource> </InlineEquation> of a complex finite-dimensional semisimple Lie algebra, and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathfrak {m}^{\bullet }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="fraktur">m</mi> </mrow> <mo>∙</mo> </msup> </math></EquationSource> </InlineEquation> the subset of (ad-)nilpotent elements in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathfrak {b}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">b</mi> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">m</mi> </math></EquationSource> </InlineEquation> is the minimal ideal containing them. This set is stable under the adjoint action of the corresponding Borel subgroup <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textbf{B}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">B</mi> </math></EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak {m}^{\bullet }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="fraktur">m</mi> </mrow> <mo>∙</mo> </msup> </math></EquationSource> </InlineEquation> contains a unique closed <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textbf{B}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">B</mi> </math></EquationSource> </InlineEquation>-orbit which is the orbit of a nilpotent element whose support is the set of minimal roots associated to the root space decomposition of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathfrak {m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">m</mi> </math></EquationSource> </InlineEquation>.</p>

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

On adjoint orbits in nilpotent ideals of a Borel subalgebra

  • Rupert W. T. Yu

摘要

Let \(\mathfrak {m}\) m be a nilpotent ideal in the Borel subalgebra \(\mathfrak {b}\) b of a complex finite-dimensional semisimple Lie algebra, and \(\mathfrak {m}^{\bullet }\) m the subset of (ad-)nilpotent elements in \(\mathfrak {b}\) b such that \(\mathfrak {m}\) m is the minimal ideal containing them. This set is stable under the adjoint action of the corresponding Borel subgroup \(\textbf{B}\) B . We prove that \(\mathfrak {m}^{\bullet }\) m contains a unique closed \(\textbf{B}\) B -orbit which is the orbit of a nilpotent element whose support is the set of minimal roots associated to the root space decomposition of \(\mathfrak {m}\) m .