Bourbaki

习题 18, § 1

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

李群与李代数, IV

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

令 AA 为公寓(练习 15)。 AA的折叠是AA的自同态π\pi,使得π2=π\pi^2 = \pi,并且使得AA的每个室在0或2个室的π\pi下是像。

a) 设π\pi是AA的折叠,CC是AA的一个室,这样π(C)=C\pi(C) = C。对于CC的任何相邻房间C′C',π(C′)=C′\pi(C') = C'或π(C′)=C\pi(C') = C;如果a∈Ca \in C我们有π(a)=a\pi(a) = a。证明,如果 (C0=C,C1,…,Cn)(C_0 = C, C_1, \ldots, C_n) 是一个画廊,则所有 ii 的 π(Ci)=Ci\pi(C_i) = C_i 或 (C0,π(C1),…,π(Cn))(C_0, \pi(C_1), \ldots, \pi(C_n)) 都不是最小的(事实上有两个连续的相等的室)。推断任何四肢在π\pi下不变的最小画廊在π\pi下不变。如果(C=C0,C1,…,Cn)(C = C_0, C_1, \ldots, C_n)是一个最小画廊,并且如果π(Cn)≠Cn\pi(C_n) \neq C_n,则存在指标ii和0≤i<n0 \leq i < n,使得π(Cj)=Cj\pi(C_j) = C_j代表0≤j≤i0 \leq j \leq i,π(Cj)≠Cj\pi(C_j) \neq C_j代表i<j≤ni < j \leq n。

b) 令C1C_1和C2C_2是两个不同的相邻室,π,π′\pi, \pi'是AA的两个折叠。假设π(C0)=C1\pi(C_0) = C_1和π′(C1)=C0\pi'(C_1) = C_0。令CC为一个腔室,并考虑以下三个条件:

π(C)=C;d(C,C1)<d(C,C2);π′(C)≠C. \begin{align*} \pi(C) &= C; \\ d(C, C_1) &< d(C, C_2); \\ \pi'(C) &\neq C. \end{align*}

证明 (1)  ⟹  (2)  ⟹  (3)(1) \implies (2) \implies (3) 并推断出三个条件是等价的。 Show that π\pi (resp. π′\pi') is the unique folding of AA taking C2C_2 (resp.

C₁)到C₁(分别为C₂)(假设满足(2),并让(C₁,C₂',...,Cₙ' = C)成为一个最小画廊:表明π'(C'_{j+1}) 是与 π'(C'_j) 和包含面板 π'(C'_j ∩ C'_{j+1})) 不同的独特室。证明 A 的集合 T\mathscr{T} 的 π(C\mathscr{C}) 和 π'(T\mathscr{T}) 形式划分以及对于所有 a ∈ π(A) ∩ π'(A) π(a) = π'(a) = a。证明从 A 到自身的映射重合与 π' 在 π(A) 上以及 π 在 π'(A) 上是 A 的对合自同构。称为相对于面板 C₁ ∩ CΜ 的反射。证明它是 A 中唯一非平凡的自同构,且 C₁ ∩ Cι 的所有点保持固定(使用练习 15 b))。

c) 假设 A 是与 Coxeter 系统 (W, S) 关联的公寓,并保留 Exerc 的记号。 16. 令C₁和C₂为两个相邻的室,并令t为T的元素,使得壁L_t是C₁∩C2的支撑。令 M_j 为由 L_t 和包含 C_j 确定的 A 的一半(对于 j = 1, 2)。证明映射 π 由 π(a) = a 定义,如果 a ∈ M₁,并且 π(a) = t(a) 如果 a ∈ M2 是 A 的折叠,使得 π(C₂) = C₁ 并且相对于面板 C₁ ∩ C₂ 的反射为映射a↦t(a)。

解答

尚未写出解答。

被以下引用

引用了

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