令k为特征零的交换域,k上的V向量空间,以及Ψ在V上的分离二次方形式。令Γ∈S2(V∗)(或Γ∗∈S2(V))与元素关联到Ψ(或Ψ的逆形式)。用乘积与 Γ∗ 求得的 S(V) 的 Q 自同态表示,用 S(V) 的 Δ 自同态表示,由内部乘积与 Γ 求出,并用 h 表示S(V)的自同态,Sr(V)的约化到−2n−r的乘法。 a) 如果 (xi)1≤i≤n 是 V 的正交基,则 Q(P)=21(∑xi2).P 和 Δ(P)=21∑∂x2i∂2P 对应于 P∈S(V)。
b) 证明公式[Δ,Q]=−h,[h,Δ]=2Δ,[h,Q]=−2Q。
c) 令 Hr 为 Sr(V) 的子空间被 Δ 湮没(“次数 r 的调和齐次多项式”)。从 b) 推导出有直和分解,在 O(Ψ) 下稳定,由下式给出
Sr(V)=Hr⊕QHr−2⊕Q2Hr−4⊕⋯。
d) 证明表示 Hr 是不可约的(cf. 第 VIII, §13, no. 3, (IV))。
e) 将k=C和V=Cn配备通常的二次形式(n≥3)。由此我们得到SO(n,R)的不可约表示τr;锻炼记号。 §4的2,证明τr的最高权是rϖ1。
f) 令Γ为从Killing形式获得的G的卡西米尔元素。证明公式 ΓS(V) = 2n−41(−4QΔ+(H+2nI)((H+(2−2n)I))。 计算 Γ(τr) 并推出形式 QΓ 的值(命题 4)。