Bourbaki

习题 25, § 2

标签 0AOQ,永久不变。引用为 [Bourbaki, Tag 0AOQ]。

李群与李代数, IV

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

我们使用Exerc的记号。 8. 假设在加法中,对于所有 s ∈ S,B 中 B ∩ gBg^{-1} 的指标 q_s 对于所有 g ∈ BsB 是有限的。

a) 证明对 (\tilde{G}, B) 满足 Exerc 的条件 (i) 和 (ii)。 22.

b) 证明,对于所有 γ ∈ Γ,Hecke 代数 H_k(G, B) 的映射 x ↦ γxγ^{-1} 定义自同构 σ 且 σ 仅取决于 Ω = Γ/(Γ ∩ B) 中 γ 的类 ω。

c) 设 k[Ω] 为 Ω 的群代数,(e_ω) 为典范基。证明由 j(e_ω ⊗ a_{BwB}) = a_{BωwB} (在 Exerc. 22 的记号中)定义的从 k[Ω] ⊗_k H_k(G, B) 到 H_k(\tilde{G}, B) 的线性映射 j 是双射的,并且

j−1(j(ew⊗x)j(ew′⊗y))=eww′⊗σω(x)y j^{-1}(j(e_w \otimes x)j(e_{w'} \otimes y)) = e_{ww'} \otimes \sigma_\omega(x)y
对于 ω,ω' ε Ω 和 x,y ε H_k(G, B)。

解答

尚未写出解答。

被以下引用

无。

引用了

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