Bourbaki

习题 17, § 2

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

李群与李代数, IV

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

我们保留Exerc的假设和记号。 15 和 16。 选择元素 φ∈J\varphi \in \mathscr{J} 将A0A_0(§1§ 1,练习16)的规范室CC带到II的规范室CeC_e,并且如练习中所示。 15 dd),用群GG中公寓φ(A0)∈U\varphi(A_0) \in \mathscr{U}的NN稳定子表示。对于A0A_0的任何子集DD,用GG的BDB_D子群表示,保持φ(D)\varphi(D)的所有点固定:我们有B=BCB = B_C和B∩N=BA0B \cap N = B_{A_0}。

a) 令α\alpha为A0A_0包含于CC的一半。 Show that BαB_\alpha acts transitively on the semi-apartments of II distinct from φ(α)\varphi(\alpha) whose wall is the wall LL of φ(α)\varphi(\alpha) (let XX be such a semi-apartment, FF a panel contained in LL and C′C' a chamber of φ(α)\varphi(\alpha) containing FF; show, by using Exerc. 16 cc) and Exerc. 13 aa), that there exists g∈Gg \in G such that g(X∪φ(α))=φ(A0)g(X \cup \varphi(\alpha)) = \varphi(A_0) and g(C′)=C′g(C') = C'; show that g(F)=Fg(F) = F and deduce from Exerc. 22 cc of §1§ 1 that g∈Bαg \in B_\alpha). 推断出 BLB_L 在有墙 LL 的半公寓上具有双重传递作用,并且 (BL,Bα,BL∩N)(B_L, B_\alpha, B_L \cap N) 是一个 Tits 系统,其 Weyl 群是阶 2(cf. 练习 7)。

b) 令D1D_1和D2D_2是A0A_0的两个凸子集,使得C⊂D1⊂D2C \subset D_1 \subset D_2并且存在A0A_0的唯一一半α\alpha以及D1⊂αD_1 \subset \alpha和D2⊄αD_2 \not\subset \alpha:则D1=D2∩αD_1 = D_2 \cap \alpha(§1§ 1,Exerc. 21 cc)。显示BD1=BαBD2B_{D_1} = B_\alpha B_{D_2}和Bα∩BD2=B∩NB_\alpha \cap B_{D_2} = B \cap N(通过考虑最小的可能的长度的画廊,其中一个末端等于CC,另一个末端等于包含点a∈D2−D1a \in D_2 - D_1);表明A0A_0存在两个相邻的房间C1′C'_1和C2′C'_2,使得C1′⊂D1,C2′⊂D2,C2′⊄D1C'_1 \subset D_1, C'_2 \subset D_2, C'_2 \not\subset D_1和C1′∩C2′C'_1 \cap C'_2包含在α\alpha的墙壁L′L'中。输入 Ci=φ(Ci′),F=φ(C1′∩C2′)C_i = \varphi(C'_i), F = \varphi(C'_1 \cap C'_2) 和 L=φ(L′)L = \varphi(L')。证明 D1∪C2′D_1 \cup C'_2 的凸包等于 D2D_2。让b∈BD1b \in B_{D_1}:然后b(C1)=C1b(C_1) = C_1,所以b(F)=Fb(F) = F和b(C2)≠C1b(C_2) \neq C_1。推断b(C2)∪Lb(C_2) \cup L的凸包是一个与φ(α)\varphi(\alpha)不同且有墙LL的半公寓XX,并且存在b′∈Bαb' \in B_\alpha使得

b′(φ(A0))=X∪φ(α). b'(\varphi(A_0)) = X \cup \varphi(\alpha).

证明 b′b(a)=ab'b(a) = a 对于所有 a∈φ(D1∪C2′)a \in \varphi(D_1 \cup C'_2) 以及 b′b∈BD2b'b \in B_{D_2}。

c) 令(αi)1≤i≤q(\alpha_i)_{1 \leq i \leq q}为A0A_0包含于CC的一半,编号为映射

j↦⋂1≤i≤jαi j \mapsto \bigcap_{1 \leq i \leq j} \alpha_i

是严格递减(cf. §1§ 1,练习 17)。证明 B=Bα1…BαqB = B_{\alpha_1} \ldots B_{\alpha_q} 并且如果 bi,bi′∈Bαib_i, b'_i \in B_{\alpha_i} 与 b1…bq=b1′…bq′b_1 \ldots b_q = b'_1 \ldots b'_q,则 bi′∈bi(B∩N)b'_i \in b_i(B \cap N) 对应 1≤i≤q1 \leq i \leq q。

解答

尚未写出解答。

被以下引用

无。

引用了

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