Bourbaki

Bài tập 18, § 9

Đại số, II, p. 204

Bourbaki marks this one as harder than the rest.

Cho E=P(V)E = \mathbf{P}(V) là một mặt phẳng xạ ảnh trên một trường KK, uu là một ánh xạ song ánh của EE lên chính nó, thu được bằng cách chuyển qua thương từ một ánh xạ nửa tuyến tính song ánh vv của VV lên chính nó, đối với một tự đẳng cấu σ\sigma của KK. a) Chứng minh rằng bốn tính chất sau là tương đương: α)\alpha) với mọi x∈Ex \in E, xx, u(x)u(x) và u2(x)u^2(x) nằm trên một đường thẳng; β)\beta) mọi đường thẳng của EE chứa một điểm bất biến đối với uu; γ)\gamma) qua mọi điểm của EE đi qua một đường thẳng bất biến đối với uu; δ)\delta) với mọi đường thẳng DD của EE, ba đường thẳng DD, u(D)u(D) và u2(D)u^2(D) có một điểm chung. (Trước hết chứng minh rằng α\alpha) và γ)\gamma) là tương đương; suy ra, bằng đối ngẫu (II, p. 203, Bài tập 12), rằng β)\beta) và δ)\delta) là tương đương; cuối cùng chứng minh rằng γ)\gamma) kéo theo β)\beta) và suy ra bằng đối ngẫu rằng β)\beta) kéo theo γ)\gamma).) b) Giả sử rằng uu có các tính chất đã nêu trong a). Chứng minh rằng nếu trong EE tồn tại một đường thẳng DD bất biến đối với uu và chỉ chứa một điểm aa bất biến đối với uu, thì uu thu được bằng cách chuyển qua thương từ một phép trượt vv của VV (II, p. 206, Bài tập 11). (Chứng minh rằng mọi đường thẳng bất biến đối với uu đều chứa aa; bằng cách xét một đường thẳng không đi qua aa, chứng minh rằng tồn tại một đường thẳng D0D_0 đi qua aa và chứa ít nhất hai điểm bất biến đối với uu; kết luận rằng mọi điểm của D0D_0 nhất thiết đều bất biến đối với uu.) c) Giả sử rằng uu có các tính chất đã nêu trong a). Chứng minh rằng nếu trong EE tồn tại một đường thẳng DD bất biến đối với uu và chỉ chứa hai điểm bất biến đối với uu, thì uu thu được bằng cách chuyển qua thương từ một phép vị tự vv của VV (II, p. 206, Bài tập 11). (Nếu aa, bb là hai điểm của DD bất biến đối với uu, chứng minh rằng mọi đường thẳng bất biến đối với uu đều đi qua aa hoặc đi qua bb; sau đó nhận xét rằng tồn tại ít nhất hai điểm khác cc, dd phân biệt với aa, bb và bất biến đối với uu, và do đó đường thẳng DcdD_{cd} đi qua aa hoặc bb; kết luận bằng cách chứng minh rằng mọi điểm của DcdD_{cd} đều bất biến đối với uu.) d) Giả sử rằng uu có các tính chất đã nêu trong a) và rằng mọi đường thẳng của EE bất biến đối với uu chứa ít nhất ba điểm phân biệt bất biến đối với uu; khi đó tồn tại trong EE một khung xạ ảnh (II, p. 202, Bài tập 10) mà mỗi điểm của nó đều bất biến đối với uu; kết luận rằng tồn tại một cơ sở (ei)1≤i≤3(e_i)_{1 \leq i \leq 3} của VV sao cho uu thu được bằng cách chuyển qua thương từ một ánh xạ nửa tuyến tính vv của VV lên chính nó sao cho v(ei)=eiv(e_i) = e_i với 1≤i≤31 \leq i \leq 3. Tập hợp các điểm của EE bất biến đối với uu khi đó là mặt phẳng xạ ảnh P(V0)\mathbf{P}(V_0), trong đó V0V_0 là không gian vectơ trên trường K0K_0 gồm các phần tử bất biến của σ\sigma, sinh bởi e1e_1, e2e_2, e3e_3. e) Giả sử từ đây rằng uu thỏa mãn các điều kiện của a) và d), và rằng cả uu lẫn u2u^2 đều không phải là đồng nhất. Chứng minh rằng tồn tại γ∈K\gamma \in K sao cho γσ=γ\gamma^\sigma = \gamma và

(ξσ−ξ)σ=γ(ξσ−ξ) (\xi^\sigma - \xi)^\sigma = \gamma (\xi^\sigma - \xi)
với mọi ξ∈K\xi \in K (sử dụng điều kiện α\alpha) của a), và sự tồn tại của ζ∈K\zeta \in K sao cho ζσ≠ζ\zeta^\sigma \neq \zeta). Chứng minh rằng γ≠−1\gamma \neq -1, rồi rằng, với mọi ξ∈K\xi \in K sao cho ξσ≠ξ\xi^\sigma \neq \xi, ta có
(1+γ)ξσγ=γξ(1+γ) (1 + \gamma) \xi^\sigma \gamma = \gamma \xi (1 + \gamma)

(áp dụng (1) bằng cách thay ξ\xi bởi ξ2\xi^2); mở rộng (2) đến mọi ξ∈K\xi \in K bằng cách nhận thấy rằng ξ=η−ζ\xi = \eta - \zeta, trong đó ησ≠η\eta^\sigma \neq \eta và ξσ≠ζ\xi^\sigma \neq \zeta. Kết luận rằng γ≠1\gamma \neq 1, rồi suy ra từ (1) và (2) rằng ta có

ξσ=(1+γ)ξ(1+γ)−1 \xi^\sigma = (1 + \gamma)\xi(1 + \gamma)^{-1}
với mọi ξ∈K\xi \in K, và rằng γ+γ−1\gamma + \gamma^{-1} thuộc tâm của KK. Đảo lại. Cho một ví dụ trong đó γ\gamma không thuộc tâm của KK, nhưng γ+γ−1\gamma + \gamma^{-1} thuộc tâm này.

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini, gpt-5-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.