Bourbaki

习题 12, § 4

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

李群与李代数, IX, 401

Bourbaki marks this one as harder than the rest.

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

假设G是单连通的;对于所有 α∈R(G,T)\alpha \in R(G,T),放入 tα=t_{\alpha}= exp(12Kα\frac{1}{2}K_{\alpha})。放入N=NGN = N_G(T),并用φ:N→W\varphi : N\rightarrow W表示规范的映射。设 B 为 R(G,T)R(G,T) 中的基; 选择元素 nαn_{\alpha} (N∩Sα)(N\cap S_{\alpha}) -- (T∩Sα)(T\cap S_{\alpha}) 对于所有 α∈B\alpha \in B。

a) 证明φ(nα)=sα\varphi (n_{\alpha}) =s_{\alpha}和nα2=tαn^2_{\alpha}=t_{\alpha},从而nα4=1n^4_{\alpha}= 1。

b) 令α\alpha和β\beta是B中两个不同的元素,并令mαβm_{\alpha \beta}是W中sαsβs_{\alpha}s_{\beta}的阶。证明

nαnβ=nβnαn_{\alpha}n_{\beta}=n_{\beta}n_{\alpha}如果mαβ=2m_{\alpha \beta}= 2

nαnβnα=nβnαnβn_{\alpha}n_{\beta}n_{\alpha}=n_{\beta}n_{\alpha}n_{\beta}如果mαβ=3m_{\alpha \beta}= 3

(nαnβ)2=(nβnα)2(n_{\alpha}n_{\beta})^2= (n_{\beta}n_{\alpha})^2如果mαβ=4m_{\alpha \beta}= 4

(nαnβ)3=(nβnα)3(n_{\alpha}n_{\beta})^3= (n_{\beta}n_{\alpha})^3如果mαβ=6m_{\alpha \beta}= 6

(如果对于例mαβ=3m_{\alpha \beta}= 3,则(sαsβ)sα(sαsβ)−1=sβ(s_{\alpha}s_{\beta})s_{\alpha}(s_{\alpha}s_{\beta})^{-1}=s_{\beta}和sαsβ(α)=βs_{\alpha}s_{\beta}(\alpha ) =\beta;通过注释Sα∩Sβ∩T={e}S_{\alpha}\cap S_{\beta}\cap T =\{e\}来表明nαnβnαnβ−1nα−1nβ−1n_{\alpha}n_{\beta}n_{\alpha}n^{-1}_{\beta}n^{-1}_{\alpha}n^{-1}_{\beta}属于到SβS_{\beta},以及结论)。

c) Deduce from b) that there exists a unique section ν:W→N\nu : W\rightarrow N of φ\varphi such that ν(sα)=nα\nu (s_{\alpha}) =n_{\alpha} and ν(ww′)=ν(w)ν(w′)\nu (ww') =\nu (w)\nu (w') if l(ww′)=l(w)+l(w′)l(ww') =l(w) +l(w') (where l(w)l(w) denotes the length of ww with respect to the generating system (sα)α∈B(s_{\alpha})_{\alpha\in B}; cf. Chap. VI, §1, no. 5, Prop. 5). 输入nw=ν(w)n_w=\nu (w)。

d) 设W∗W^*为nαn_{\alpha}生成的N中的子群;证明W∗∩TW^*\cap T是阶≤2\leq 2的元素T由……组成的子群T2T_2并且W可以用W∗/T2W^*/T_2来识别。

e) 设w∈Ww\in W使得w2=1w^2= 1;证明 nw2=∏α∈Rwtαn^2_w=\prod_{\alpha\in R_w}t_{\alpha},其中 RwR_w 是

正根α\alpha的集合使得w(α)<0w(\alpha )<0(写出w=sα1...sαrw=s_{\alpha_1}. . . s_{\alpha_r},与r=l(w)r=l(w)和αi∈B\alpha_i\in B;应用cc) VI, §1, no. 6,科。提案 17 中的第 2 条)。 f) 假设 G 几乎是简单的。令 cc 为 W 中的 Coxeter 变换,hh 为 W 的 Coxeter 数(第 VI, §1, no. 11 章)。显示 nch=n^h_c= ∏α∈R+tα\prod_{\alpha\in R_+}t_{\alpha}(使用 cc),e),e) 和 Exerc。第 2 章V, §6)。

解答

尚未写出解答。

被以下引用

引用了

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