Bourbaki

习题 10, § 1

标签 01JT,永久不变。引用为 [Bourbaki, Tag 01JT]。

李群与李代数, VIII, 221

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令mm为整数>0>0,S\mathbf{S}分级代数k[X1,…,Xm]k[X_1,\ldots,X_m],以及k∗k^*的a1,…,ama_1,\ldots,a_m元素。令Φ=∑i,j=1maijXiXj\Phi=\displaystyle\sum_{i,j=1}^{m}a_{ij}X_iX_j为二次形式;把

Di=∂∂XiandD=∑i,j=1mbijDiDj D_i=\frac{\partial}{\partial X_i} \qquad\text{and}\qquad D=\sum_{i,j=1}^{m}b_{ij}D_iD_j

其中(bij)(b_{ij})是(aij)(a_{ij})的逆矩阵。 a) 如果ff是次数nn齐次,证明S\mathbf{S}上存在唯一的s\mathfrak{s}模结构,使得X+f=X_+f=12D(f),X−f=12Φf\frac{1}{2}D(f), X_-f=\frac{1}{2}\Phi f和Hf=−(m/2+n)fHf=-(m/2 +n)f。 b) 输入 An=Sn∩A^n=\mathbf{S}^n\cap Ker(D)。证明对于 2p+q=n2p+q=n,Sn\mathbf{S}^n 是子空间 Φp.Aq\Phi^p.A^q 的直和。推断身份

∑n=0∞\sum_{n=0}^{\infty} 暗淡(An^n)Tn=(1+T)/(1−T)m−1T^n= (1 + T)/(1-T)^{m-1}。

c) 如果ff是AnA^n的非零元素,则S\mathbf{S}的简单s\mathfrak{s}子模的Φpf,p≥0\Phi^pf,p\geq 0、形式基,同构于模Z(−m2−n)Z(-\frac{m}{2}-n)锻炼。 2.

d) 使情况m=1m= 1和m=2m= 2明确。使用案例m=3m= 3恢复Exerc的结果。 9.

解答

尚未写出解答。

被以下引用

无。

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。