<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak {g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation> be a simple Lie algebra over <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation> and <i>G</i> be the corresponding simply connected algebraic group. Consider a nilpotent element <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(e\in \mathfrak {g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>e</mi> <mo>∈</mo> <mi mathvariant="fraktur">g</mi> </mrow> </math></EquationSource> </InlineEquation>, the corresponding element <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\chi =(e, \bullet )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>χ</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>e</mi> <mo>,</mo> <mo>∙</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {g}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="fraktur">g</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>, and the coadjoint orbit <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {O}=G\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">O</mi> <mo>=</mo> <mi>G</mi> <mi>χ</mi> </mrow> </math></EquationSource> </InlineEquation>. We are interested in the set <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak {J}\mathfrak {d}^1(\mathcal {W})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">J</mi> <msup> <mrow> <mi mathvariant="fraktur">d</mi> </mrow> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of codimension 1 ideals <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(J\subset \mathcal {W}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>J</mi> <mo>⊂</mo> <mi mathvariant="script">W</mi> </mrow> </math></EquationSource> </InlineEquation> in a finite <i>W</i>-algebra <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {W}=U(\mathfrak {g}, e)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">W</mi> <mo>=</mo> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">g</mi> <mo>,</mo> <mi>e</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We have a natural action of the component group <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\Gamma =Z_G(\chi )/Z_G^\circ (\chi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>=</mo> <msub> <mi>Z</mi> <mi>G</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>χ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msubsup> <mi>Z</mi> <mi>G</mi> <mo>∘</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>χ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathfrak {J}\mathfrak {d}^1(\mathcal {W})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">J</mi> <msup> <mrow> <mi mathvariant="fraktur">d</mi> </mrow> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Denote the set of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-stable points of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathfrak {J}\mathfrak {d}^1(\mathcal {W})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">J</mi> <msup> <mrow> <mi mathvariant="fraktur">d</mi> </mrow> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> by <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathfrak {J}\mathfrak {d}^{1}(\mathcal {W})^{\Gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">J</mi> <msup> <mrow> <mi mathvariant="fraktur">d</mi> </mrow> <mn>1</mn> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">W</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="normal">Γ</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. For a classical <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathfrak {g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation> Premet and Topley proved that <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathfrak {J}\mathfrak {d}^{1}(\mathcal {W})^{\Gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">J</mi> <msup> <mrow> <mi mathvariant="fraktur">d</mi> </mrow> <mn>1</mn> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">W</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="normal">Γ</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> are parameterized by the points of an affine space. In this paper we will give an alternative proof of this fact using completely different approach. As a corollary of our construction, we imply that for classical <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathfrak {g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation> all <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-invariant 1-dimensional representations of <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathcal {W}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">W</mi> </math></EquationSource> </InlineEquation> are obtained by a parabolic induction introduced by Losev.</p>

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

On Invariant 1-Dimensional Representations of a Finite W-Algebra

  • Dmytro Matvieievskyi

摘要

Let \(\mathfrak {g}\) g be a simple Lie algebra over \(\mathbb {C}\) C and G be the corresponding simply connected algebraic group. Consider a nilpotent element \(e\in \mathfrak {g}\) e g , the corresponding element \(\chi =(e, \bullet )\) χ = ( e , ) in \(\mathfrak {g}^*\) g , and the coadjoint orbit \(\mathbb {O}=G\chi \) O = G χ . We are interested in the set \(\mathfrak {J}\mathfrak {d}^1(\mathcal {W})\) J d 1 ( W ) of codimension 1 ideals \(J\subset \mathcal {W}\) J W in a finite W-algebra \(\mathcal {W}=U(\mathfrak {g}, e)\) W = U ( g , e ) . We have a natural action of the component group \(\Gamma =Z_G(\chi )/Z_G^\circ (\chi )\) Γ = Z G ( χ ) / Z G ( χ ) on \(\mathfrak {J}\mathfrak {d}^1(\mathcal {W})\) J d 1 ( W ) . Denote the set of \(\Gamma \) Γ -stable points of \(\mathfrak {J}\mathfrak {d}^1(\mathcal {W})\) J d 1 ( W ) by \(\mathfrak {J}\mathfrak {d}^{1}(\mathcal {W})^{\Gamma }\) J d 1 ( W ) Γ . For a classical \(\mathfrak {g}\) g Premet and Topley proved that \(\mathfrak {J}\mathfrak {d}^{1}(\mathcal {W})^{\Gamma }\) J d 1 ( W ) Γ are parameterized by the points of an affine space. In this paper we will give an alternative proof of this fact using completely different approach. As a corollary of our construction, we imply that for classical \(\mathfrak {g}\) g all \(\Gamma \) Γ -invariant 1-dimensional representations of \(\mathcal {W}\) W are obtained by a parabolic induction introduced by Losev.