<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation> be a proper parabolic subalgebra of a simple Lie algebra <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathfrak {g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation>. Writing <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathfrak {p}=\mathfrak r\oplus \mathfrak m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">p</mi> <mo>=</mo> <mi mathvariant="fraktur">r</mi> <mo>⊕</mo> <mi mathvariant="fraktur">m</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathfrak r\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">r</mi> </math></EquationSource> </InlineEquation> being the Levi factor of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathfrak {m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">m</mi> </math></EquationSource> </InlineEquation> the nilpotent radical of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation>, the semi-direct product <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\tilde{\mathfrak {p}}=\mathfrak r\ltimes (\mathfrak {m})^a\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">~</mo> </mover> <mo>=</mo> <mi mathvariant="fraktur">r</mi> <mo>⋉</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> <mi>a</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((\mathfrak {m})^a\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> <mi>a</mi> </msup> </math></EquationSource> </InlineEquation> is an abelian ideal of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\tilde{\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation>, isomorphic to <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathfrak {m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">m</mi> </math></EquationSource> </InlineEquation> as an <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathfrak r\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">r</mi> </math></EquationSource> </InlineEquation>-module, is a Lie algebra. This is a special case of Inönü-Wigner contraction and may be considered as a degeneration of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation>. For any Lie algebra <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathfrak {a}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">a</mi> </math></EquationSource> </InlineEquation>, denote by <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(Sy(\mathfrak {a})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mi>y</mi> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">a</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the algebra of symmetric semi-invariants in the symmetric algebra <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(S(\mathfrak {a})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">a</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathfrak {a}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">a</mi> </math></EquationSource> </InlineEquation> under the adjoint action of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathfrak {a}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">a</mi> </math></EquationSource> </InlineEquation>. In this paper we are interested in the polynomiality of the algebra <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(Sy(\tilde{\mathfrak {p}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mi>y</mi> <mo stretchy="false">(</mo> <mover accent="true"> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">~</mo> </mover> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Inspired by our method in Fauquant-Millet, F., Joseph, A. (Ann. Sci. Éc. Norm. Sup. 38, 155–191 2005) where we studied the polynomiality of <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(Sy(\mathfrak {p})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mi>y</mi> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> (the nondegenerate case), we obtain in this paper a lower bound for the formal character of the algebra <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(Sy(\tilde{\mathfrak {p}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mi>y</mi> <mo stretchy="false">(</mo> <mover accent="true"> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">~</mo> </mover> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, when the latter is well defined. The method in the nondegenerate case does not apply directly in the degenerate case : in the present paper we define a so-called generalized PBW filtration on a highest weight irreducible representation of <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\mathfrak {g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation> to provide the lower bound. Combined with an upper bound we will construct in the near future for particular contractions <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\tilde{\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation>, our goal is to show that the algebra <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(Sy(\tilde{\mathfrak {p}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mi>y</mi> <mo stretchy="false">(</mo> <mover accent="true"> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">~</mo> </mover> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a polynomial algebra, by showing that both bounds coincide.</p>

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

Symmetric Semi-invariants for some Inönü-Wigner Contractions-I

  • Florence Fauquant-Millet

摘要

Let \(\mathfrak {p}\) p be a proper parabolic subalgebra of a simple Lie algebra \(\mathfrak {g}\) g . Writing \(\mathfrak {p}=\mathfrak r\oplus \mathfrak m\) p = r m with \(\mathfrak r\) r being the Levi factor of \(\mathfrak {p}\) p and \(\mathfrak {m}\) m the nilpotent radical of \(\mathfrak {p}\) p , the semi-direct product \(\tilde{\mathfrak {p}}=\mathfrak r\ltimes (\mathfrak {m})^a\) p ~ = r ( m ) a , where \((\mathfrak {m})^a\) ( m ) a is an abelian ideal of \(\tilde{\mathfrak {p}}\) p ~ , isomorphic to \(\mathfrak {m}\) m as an \(\mathfrak r\) r -module, is a Lie algebra. This is a special case of Inönü-Wigner contraction and may be considered as a degeneration of \(\mathfrak {p}\) p . For any Lie algebra \(\mathfrak {a}\) a , denote by \(Sy(\mathfrak {a})\) S y ( a ) the algebra of symmetric semi-invariants in the symmetric algebra \(S(\mathfrak {a})\) S ( a ) of \(\mathfrak {a}\) a under the adjoint action of \(\mathfrak {a}\) a . In this paper we are interested in the polynomiality of the algebra \(Sy(\tilde{\mathfrak {p}})\) S y ( p ~ ) . Inspired by our method in Fauquant-Millet, F., Joseph, A. (Ann. Sci. Éc. Norm. Sup. 38, 155–191 2005) where we studied the polynomiality of \(Sy(\mathfrak {p})\) S y ( p ) (the nondegenerate case), we obtain in this paper a lower bound for the formal character of the algebra \(Sy(\tilde{\mathfrak {p}})\) S y ( p ~ ) , when the latter is well defined. The method in the nondegenerate case does not apply directly in the degenerate case : in the present paper we define a so-called generalized PBW filtration on a highest weight irreducible representation of \(\mathfrak {g}\) g to provide the lower bound. Combined with an upper bound we will construct in the near future for particular contractions \(\tilde{\mathfrak {p}}\) p ~ , our goal is to show that the algebra \(Sy(\tilde{\mathfrak {p}})\) S y ( p ~ ) is a polynomial algebra, by showing that both bounds coincide.