Tổng quan luận án

Luận án tiến sĩ toán học "Về dạng đại số của giả thuyết về các lớp cầu" được thực hiện bởi nghiên cứu sinh Ngô Anh Tuấn dưới sự hướng dẫn khoa học của GS. Nguyễn Hữu Việt Hưng, thuộc chuyên ngành Đại số và Lý thuyết số (mã số: 9460101.04) tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội năm 2019.

Luận án giải quyết các vấn đề xoay quanh dạng đại số của giả thuyết về các lớp cầu trong lý thuyết đồng luân ổn định và tôpô đại số, cụ thể là nghiên cứu tính chất triệt tiêu của đồng cấu Lannes-Zarati trên các $\mathcal{A}$-môđun không ổn định.

Tính cấp thiết và khoảng trống nghiên cứu

Trong tôpô đại số, bài toán cổ điển xác định ảnh của đồng cấu Hurewicz: $$H : \pi_^S(X) = \pi_(Q_0 X) \to H_(Q_0 X)$$ với $X$ là một CW-phức có điểm gốc và $Q_0 X = \Omega^\infty \Sigma^\infty X$ (thành phần liên thông chứa điểm gốc) vẫn là bài toán mở chưa có lời giải trọn vẹn. Khi $X = S^0$, giả thuyết cổ điển khẳng định rằng chỉ có các lớp bất biến Hopf bằng một (thuộc lọc Adams 1) và bất biến Kervaire bằng một (thuộc lọc Adams 2) là những phần tử trong $\pi_^S(S^0)$ được phát hiện bởi đồng cấu Hurewicz.

Đối với tổng quát không gian $X$, GS. Nguyễn Hữu Việt Hưng đã đưa ra giả thuyết mở rộng:

  • Giả thuyết 1 (Giả thuyết tổng quát về các lớp cầu): Cho $X$ là một CW-phức có điểm gốc. Khi đó đồng cấu Hurewicz $H : \pi_(Q_0 X) \to H_(Q_0 X)$ triệt tiêu trên các lớp của $\pi_*(Q_0 X)$ có lọc Adams lớn hơn 2.

Để tiếp cận giả thuyết hình học này qua công cụ đại số, Jean Lannes và Said Zarati đã xây dựng các đồng cấu $\varphi_s^M$ cho $\mathcal{A}$-môđun không ổn định $M$. Khi $M = \widetilde{H}^*(X)$, đồng cấu Lannes-Zarati tương ứng với một phân bậc liên kết của ánh xạ Hurewicz. Trên cơ sở đó, dạng đại số của giả thuyết được phát biểu:

  • Giả thuyết 2 (Dạng đại số tổng quát của giả thuyết về các lớp cầu): Đồng cấu Lannes-Zarati: $$\varphi_s^M : \text{Ext}_{\mathcal{A}}^{s, s+i}(M, \mathbb{F}_2) \to (\mathbb{F}2 \otimes{\mathcal{A}} R_s M)_i^*$$ triệt tiêu tại mọi gốc dương $i$ với $s > 2$, và với mọi $\mathcal{A}$-môđun không ổn định $M$.

Khoảng trống nghiên cứu được luận án lựa chọn là thiết lập công cụ biểu diễn dây chuyền tổng quát cho đối ngẫu của đồng cấu Lannes-Zarati, phân tích hành vi của đồng cấu ở các thứ bậc thấp ($s \le 2$), và chứng minh Giả thuyết 2 cho các trường hợp cụ thể: thứ bậc $s = 5$ đối với mặt cầu $S^0$, thứ bậc $s = 3, 4$ đối với không gian xạ ảnh thực vô hạn chiều $\mathbb{R}P^\infty$, cũng như mở rộng cho không gian xạ ảnh hữu hạn chiều $\mathbb{R}P^n$.

Mục tiêu nghiên cứu

  1. Xây dựng biểu diễn ở cấp độ dây chuyền cho đối ngẫu của đồng cấu Lannes-Zarati $(\varphi_s^M)^*$ đối với một $\mathcal{A}$-môđun không ổn định $M$ bất kỳ.
  2. Thiết lập tính tương thích giữa đồng cấu Lannes-Zarati với phép toán squaring $Sq^0$ và tính triệt tiêu trên các phần tử phân tích được trong nhóm $\text{Ext}$.
  3. Khảo sát chi tiết đồng cấu Lannes-Zarati ở các thứ bậc thấp $s = 0, 1, 2$ nhằm lý giải điều kiện lọc Adams lớn hơn 2 trong giả thuyết hình học.
  4. Chứng minh sự triệt tiêu của đồng cấu Lannes-Zarati thứ năm $\varphi_5^{S^0}$ trên mặt cầu $S^0$, và các đồng cấu thứ ba, thứ tư $\varphi_3^{\mathbb{R}P^\infty}$, $\varphi_4^{\mathbb{R}P^\infty}$ trên không gian xạ ảnh vô hạn chiều $\mathbb{R}P^\infty$.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Đại số Steenrod $\mathcal{A}$ modulo 2, đại số đa thức $P_s = \mathbb{F}2[x_1, \dots, x_s]$, đại số Dickson $D_s = P_s^{GL_s}$, xây dựng Singer $R_s M$, phức dây chuyền Singer $\Gamma^+ M$, đại số lambda $\Lambda$, nhóm $\text{Ext}{\mathcal{A}}^{s,*}(M, \mathbb{F}_2)$, và đồng cấu Lannes-Zarati $\varphi_s^M$.
  • Phạm vi nghiên cứu: Đại số đồng điều và tôpô đại số trên trường hệ số $\mathbb{F}_2$; tập trung vào các $\mathcal{A}$-môđun không ổn định $M = \mathbb{F}_2 = \widetilde{H}^(S^0)$, $M = \widetilde{H}^(\mathbb{R}P^\infty)$, $M = \widetilde{H}^*(\mathbb{R}P^n)$, và các $\mathcal{A}$-môđun có kiểu hữu hạn.

Tổng quan tài liệu và vị trí của luận án

Luận án tổng thuật có hệ thống các công trình nền tảng và các hướng phát triển liên quan đến giả thuyết về các lớp cầu và cấu trúc đại số của đại số Steenrod:

Tác giả & Năm Công trình / Đóng góp trích dẫn trong văn bản Mối liên hệ với luận án
Steenrod (1942), Adem (1952), Serre (1953) Định nghĩa toán tử $Sq^i$, thiết lập các quan hệ Adem và cơ sở Serre của các đơn thức chấp nhận được trong đại số Steenrod $\mathcal{A}$. Cung cấp nền tảng đại số phân bậc Hopf $\mathcal{A}$.
Dickson (1911), Mùi (1975) Xác định vành bất biến $P_s^{GL_s} = \mathbb{F}2[Q{s,0}, \dots, Q_{s,s-1}]$ và vành bất biến tam giác trên $P_s^{T_s} = \mathbb{F}_2[V_1, \dots, V_s]$. Cung cấp cấu trúc đại số Dickson $D_s$ và đại số Mùi $M_s$.
Adams (1960), Browder (1969) Giải quyết bài toán bất biến Hopf bằng 1 trong $\text{Ext}{\mathcal{A}}^{1,*}$ và bất biến Kervaire bằng 1 trong $\text{Ext}{\mathcal{A}}^{2,*}$. Xác định các lớp cầu kinh điển tại lọc Adams 1 và 2.
Curtis (1971), Snaith & Tornehave (1983), Wellington (1982) Thảo luận và kiểm chứng giả thuyết về các lớp cầu cho không gian $X = S^0$. Bối cảnh tôpô hình học của bài toán Hurewicz.
Lannes & Zarati (1987) Định nghĩa hàm tử tái bất ổn định hóa $\mathcal{D}$, xây dựng đồng cấu $\varphi_s^M$, chứng minh tính chất đẳng cấu $\alpha_s^{\Sigma M}$. Nguồn gốc lý thuyết của đồng cấu Lannes-Zarati.
Singer (1983, 1989) Xây dựng phức dây chuyền $\Gamma^+ M$, biểu diễn đại số lambda $\Lambda$ qua lý thuyết bất biến của $GL_s$, định nghĩa đồng cấu chuyển Singer. Công cụ đại số đồng điều phục vụ mô tả $(\varphi_s^M)^*$.
Lin (1979, 2008), Chen (1993), Giambalvo & Peterson (1987) Tính toán cấu trúc đại số của các nhóm $\text{Ext}_{\mathcal{A}}^s(\widetilde{H}^*(\mathbb{R}P^\infty), \mathbb{F}2)$ với $s=3, 4$, định lý Kahn-Priddy đại số, và cấu trúc $\text{Ext}{\mathcal{A}}^5(\mathbb{F}_2, \mathbb{F}_2)$. Dữ liệu giải tích đại số phục vụ việc triệt tiêu $\varphi_s$.
Nguyễn H. V. Hưng (1997, 2001, 2004, 2012) Chứng minh Giả thuyết 2 cho $M = \mathbb{F}_2$ khi $s = 3, 4$; biểu diễn dây chuyền của $(\varphi_s^{\mathbb{F}2})^*$; tính giao hoán của $Sq^0$ trên $(F_2 \otimes{\mathcal{A}} D_s)^*$. Khung lý thuyết trực tiếp được luận án kế thừa và tổng quát hóa.
Nguyễn H. V. Hưng & Peterson (1998) Chứng minh $\varphi_s^{\mathbb{F}2}$ triệt tiêu trên các phần tử phân tích được trong $\text{Ext}{\mathcal{A}}^s(\mathbb{F}_2, \mathbb{F}_2)$ với $s > 2$. Tiền đề để chứng minh tính triệt tiêu cho môđun tổng quát.
Trần N. Nam & Nguyễn H. V. Hưng (2001, 2006); Hưng & Powell (2012) Chứng minh dạng yếu của giả thuyết đại số (tính triệt tiêu trên ảnh của đồng cấu chuyển Singer) cho $S^0$, $(\mathbb{R}P^\infty)^{\times k}$ và cho mọi môđun không ổn định $M$. Khẳng định tính đúng đắn của dạng yếu của Giả thuyết 2.

Vị trí của luận án: Luận án mở rộng các kết quả của Nguyễn Hữu Việt Hưng từ trường hợp $M = \mathbb{F}_2$ sang các $\mathcal{A}$-môđun không ổn định $M$ bất kỳ; cung cấp biểu diễn dây chuyền tường minh của $(\varphi_s^M)^*$ qua phức Singer $\Gamma^+ M$; thiết lập sự phân tích của đối ngẫu qua $\mathcal{A}$-hệ sinh tối tiểu $\mathbb{F}2 \otimes{\mathcal{A}} \text{Ker}\partial_s$; và hoàn thành chứng minh tính triệt tiêu của $\varphi_5^{S^0}$, $\varphi_3^{\mathbb{R}P^\infty}$, $\varphi_4^{\mathbb{R}P^\infty}$ cũng như $\varphi_s^{\mathbb{R}P^n}$ ($s=2,3,4$).

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và các khái niệm sử dụng

  • Đại số Steenrod Modulo 2 ($\mathcal{A}$): Đại số kết hợp, phân bậc trên $\mathbb{F}2$ sinh bởi các toán tử $Sq^i$ ($i \ge 0$) thỏa mãn $Sq^0 = 1$, công thức Cartan $Sq^k(fg) = \sum{k_1+k_2=k} Sq^{k_1}(f)Sq^{k_2}(g)$, và các hệ thức Adem đối với $a < 2b$: $$Sq^a Sq^b = \sum_{i=0}^{[a/2]} \binom{b-i-1}{a-2i} Sq^{a+b-i} Sq^i$$
  • Lý thuyết bất biến Dickson và Mùi: Với $P_s = \mathbb{F}2[x_1, \dots, x_s]$, nhóm tam giác trên $T_s$ và nhóm tuyến tính tổng quát $GL_s = GL(s, \mathbb{F}2)$ tác động lên $P_s$. Vành bất biến Mùi là $P_s^{T_s} = \mathbb{F}2[V_1, \dots, V_s]$ với $V_k = \prod{c_j \in \mathbb{F}2} (c_1 x_1 + \dots + c{k-1}x{k-1} + x_k)$. Vành bất biến Dickson là đại số đa thức $D_s = P_s^{GL_s} = \mathbb{F}2[Q{s,0}, \dots, Q{s,s-1}]$ với phần tử bậc cao nhất $Q_{s,0} = V_1 \dots V_s$ có bậc $2^s - 1$.
  • Đại số Lambda ($\Lambda$) và Phức Singer ($\Gamma^+ M$): Đại số $\Lambda$ sinh bởi ${\lambda_k \mid k \ge 0}$ với quan hệ $\lambda(m, n) = 0$. Singer thiết lập đẳng cấu giữa đối ngẫu của đại số $\Lambda$ với đối đại số bất biến $\Gamma_s^+ \subset D_s[Q_{s,0}^{-1}]$, qua đó đồng điều của phức Singer $\Gamma^+ M = \Gamma^+ \otimes M$ đẳng cấu với $\text{Tor}_*^{\mathcal{A}}(\mathbb{F}_2, M)$.
  • Hàm tử tái bất ổn định hóa Lannes-Zarati: Hàm tử $\mathcal{D}(M) = M/EM$ với $EM = \text{Span}{Sq^i z \mid i > \text{deg } z}$. Hàm tử dẫn xuất $\mathcal{D}s(M) = H_s(\mathcal{D}F*(M))$. Xây dựng Singer $R_s M \subset P_s \otimes M$ là $D_s$-môđun sinh bởi $St_s(M)$. Lannes và Zarati chứng minh đẳng cấu tự nhiên $\alpha_s^{\Sigma M} : \mathcal{D}_s(\Sigma^{1-s} M) \to \Sigma R_s M$.

Phương pháp nghiên cứu

Luận án sử dụng phương pháp toán học thuần túy (đại số đồng điều kết hợp lý thuyết bất biến đại số và tôpô đại số):

  1. Phương pháp giải thức đại số đồng điều: Sử dụng giải thức bar $B_*(M)$ và phức $\Gamma^+ M$ của Singer để phân tích vi phân và cấu trúc chu trình/biên.
  2. Kỹ thuật biểu diễn dây chuyền: Chuyển đổi các cấu xạ trừu tượng trong phạm trù dẫn xuất về các ánh xạ tường minh ở cấp độ chuỗi phức dây chuyền.
  3. Phương pháp phân tích nhân tử và toán tử squaring: Sử dụng toán tử $Sq^0$ và đạo hàm riêng hình thức trên các đại số đa thức/đối đại số để rút gọn và truy nguyên các phần tử sinh trong nhóm $\text{Ext}$.
  4. Kỹ thuật tính toán ma trận và khử phần tử: Khai thác cơ sở tường minh của $\text{Ext}_{\mathcal{A}}^s$ đối với các không gian cụ thể ($\mathbb{R}P^\infty$, $S^0$) thông qua định lý Kahn-Priddy đại số và bảng quan hệ triệt tiêu.

Nội dung chính theo từng chương

Chương I: Kiến thức chuẩn bị

Chương I hệ thống hóa toàn bộ các công cụ và cấu trúc toán học làm nền tảng cho luận án, chia thành 2 tiết:

  • Tiết I.1 (Đại số Steenrod): Trình bày định nghĩa đại số Steenrod $\mathcal{A}$ modulo 2, công thức Cartan, các quan hệ Adem, cơ sở Serre của các đơn thức chấp nhận được $Sq^I = Sq^{i_1}\dots Sq^{i_k}$ thỏa mãn $i_j \ge 2i_{j+1}$, và cấu trúc đại số Hopf đối giao hoán của $\mathcal{A}$. Mô tả tác động của $\mathcal{A}$ lên đại số đa thức $P_s = \mathbb{F}_2[x_1, \dots, x_s]$ qua công thức $Sq^k(x_i^{n}) = \binom{n}{k} x_i^{n+k}$.
  • Tiết I.2 (Lý thuyết bất biến và đại số lambda): Trình bày mô tả của Singer về đại số lambda thông qua lý thuyết bất biến của $GL_s(\mathbb{F}_2)$. Trình bày cấu trúc vành bất biến Mùi $P_s^{T_s} = \mathbb{F}2[V_1, \dots, V_s]$, vành bất biến Dickson $D_s = \mathbb{F}2[Q{s,0}, \dots, Q{s,s-1}]$, đại số địa phương hóa $\Delta_s = (\Phi_s)^{T_s} = \mathbb{F}_2[v_1^{\pm 1}, \dots, v_s^{\pm 1}]$ và $\Gamma_s = (\Phi_s)^{GL_s}$. Xây dựng phức dây chuyền Singer $(\Gamma^+ M)_s = \Gamma_s^+ \otimes M$ với vi phân $\partial_s$ thỏa mãn $H_s(\Gamma^+ M) \cong \text{Tor}_s^{\mathcal{A}}(\mathbb{F}_2, M)$. Thiết lập đẳng cấu $\ell_s : \Gamma_s^+ \to (\Lambda_s)^*$ giao hoán với các vi phân tương ứng.

Chương II: Đồng cấu Lannes-Zarati thứ không, thứ nhất và thứ hai

Chương II tập trung xây dựng tường minh đồng cấu Lannes-Zarati và khảo sát hành vi tại các bậc $s \le 2$:

  • Tiết II.1 (Nhìn lại đồng cấu Lannes-Zarati): Trình bày chi tiết cách xây dựng đồng cấu $\varphi_s^M$ thông qua hàm tử treo đại số $\Sigma^t$, phần tử mở rộng $e_s(M) = e_1 \otimes \dots \otimes e_1 \otimes M \in \text{Ext}_{\mathcal{A}}^s(\Sigma^{-s}M, P_s \otimes M)$, và đẳng cấu $\alpha_s^{\Sigma M} : \mathcal{D}s(\Sigma^{1-s}M) \to \Sigma R_s M$. Đối ngẫu $(\varphi_s^M)^$ được định nghĩa bởi: $$(\varphi_s^M)^ = \Sigma^{-1} i_s (1 \otimes{\mathcal{A}} (\alpha_s^{\Sigma M})^{-1}) \Sigma : \mathbb{F}2 \otimes{\mathcal{A}} R_s M \to \text{Tor}_s^{\mathcal{A}}(\mathbb{F}2, \Sigma^{-s}M)$$ Với $s = 0$, đồng cấu $\varphi_0^M : \text{Hom}{\mathcal{A}}(M, \mathbb{F}2) \to \text{Hom}{\mathbb{F}_2}(M/AM, \mathbb{F}_2)$ là một đẳng cấu tự nhiên.

  • Tiết II.2 (Đồng cấu Lannes-Zarati ở thứ bậc nhỏ hơn hoặc bằng 2):

    • Trường hợp $M = \widetilde{H}^(S^0) = \mathbb{F}_2$:* Tác giả điểm lại kết quả của Lannes-Zarati: $\varphi_1^{S^0}$ là đẳng cấu; $\varphi_2^{S^0}$ là toàn cấu với hạt nhân là $\text{Span}{h_i h_j \mid |i-j| \ge 2}$.
    • Trường hợp không gian xạ ảnh $\mathbb{R}P^\infty$ (Mệnh đề II.4 / Mệnh đề 3):
      1. $\varphi_0^{\mathbb{R}P^\infty} : \text{Ext}_{\mathcal{A}}^0(\widetilde{H}^(\mathbb{R}P^\infty), \mathbb{F}_2) \to (\mathbb{F}2 \otimes{\mathcal{A}} \widetilde{H}^(\mathbb{R}P^\infty))^*$ là một đẳng cấu.
      2. $\varphi_1^{\mathbb{R}P^\infty}$ là một đơn cấu trên $\text{Span}{h_i \hat{h}_j \mid i \ge j}$ và triệt tiêu trên $\text{Span}{h_i \hat{h}_j \mid i < j}$.
      3. $\varphi_2^{\mathbb{R}P^\infty} = 0$ tại mọi gốc dương.
    • Tính khác không của $\varphi_1^X$ tổng quát (Mệnh đề II.6 / Mệnh đề 4): Cho $X$ là một CW-phức có điểm gốc bất kỳ mà $\widetilde{H}_*(X) \ne 0$ và hữu hạn sinh ở mỗi bậc. Khi đó đồng cấu Lannes-Zarati thứ nhất $\varphi_1^X$ khác không ở mọi gốc dương. Kết quả này giải thích lý do Giả thuyết 1 và 2 bắt buộc phải đặt điều kiện lọc Adams $s > 2$.

Chương III: Đồng cấu Lannes-Zarati: những kết quả chung

Chương III trình bày các định lý cấu trúc nền tảng cho đồng cấu Lannes-Zarati đối với $\mathcal{A}$-môđun không ổn định bất kỳ:

  • Tiết III.1 (Biểu diễn dây chuyền của đồng cấu Lannes-Zarati): Chứng minh Định lý III.1 (Định lý 5): Ánh xạ $$(\widetilde{\varphi}s^M)^* : R_s M \to \Gamma_s^+ M, \quad q St_s(z) \mapsto q Q{s,0}^{|z|} \otimes z$$ với $q \in D_s, z \in M$ thuần nhất, là một biểu diễn cấp độ dây chuyền của đối ngẫu $(\varphi_s^M)^* : (\mathbb{F}2 \otimes{\mathcal{A}} R_s M)i \to \text{Tor}{s, s+i}^{\mathcal{A}}(\mathbb{F}2, M)$. Từ đó, Giả thuyết 2 tương đương với khẳng định: $\forall q \in D_s, z \in M$ (có ít nhất một phần tử bậc dương), phần tử $q Q{s,0}^{|z|} \otimes z$ là một biên trong phức Singer $\Gamma^+ M$ với mọi $s > 2$.
  • Tiết III.2 (Thương hóa qua $\mathcal{A}$-hệ sinh tối tiểu): Chứng minh Định lý III.6 (Định lý 8 - kết quả chung với Nguyễn H. V. Hưng): Đối ngẫu $(\varphi_s^M)^$ phân tích qua $\mathbb{F}2 \otimes{\mathcal{A}} \text{Ker}\partial_s$ theo biểu đồ: $$(\varphi_s^M)^ = p \circ \bar{i} : \mathbb{F}2 \otimes{\mathcal{A}} R_s M \xrightarrow{\bar{i}} \mathbb{F}2 \otimes{\mathcal{A}} \text{Ker}\partial_s \xrightarrow{p} \text{Tor}_s^{\mathcal{A}}(\mathbb{F}2, M)$$ trong đó $\bar{i}$ cảm sinh từ phép nhúng $i : R_s M \hookrightarrow \text{Ker}\partial_s$ ($i(q St_s(z)) = q Q{s,0}^{|z|} \otimes z$), và $p$ cảm sinh từ phép chiếu chính tắc lên nhóm đồng điều.
  • Tiết III.3 (Đồng cấu Lannes-Zarati và toán tử squaring): Chứng minh Định lý III.8 (Định lý 9): Tồn tại toán tử squaring $Sq^0$ trên $(\mathbb{F}2 \otimes{\mathcal{A}} R_s \widetilde{H}^(\mathbb{R}P^\infty))^$ làm biểu đồ sau giao hoán: $$\begin{array}{ccc} \text{Ext}{\mathcal{A}}^s(\widetilde{H}^(\mathbb{R}P^\infty), \mathbb{F}_2) & \xrightarrow{\varphi_s^{\mathbb{R}P^\infty}} & (\mathbb{F}2 \otimes{\mathcal{A}} R_s \widetilde{H}^(\mathbb{R}P^\infty))^* \ \downarrow Sq^0 & & \downarrow Sq^0 \ \text{Ext}{\mathcal{A}}^s(\widetilde{H}^(\mathbb{R}P^\infty), \mathbb{F}_2) & \xrightarrow{\varphi_s^{\mathbb{R}P^\infty}} & (\mathbb{F}2 \otimes{\mathcal{A}} R_s \widetilde{H}^(\mathbb{R}P^\infty))^* \end{array}$$
  • Tiết III.4 & III.5 (Đạo hàm riêng hình thức và tính hàm tử): Thiết lập chứng minh mới cho Bổ đề Singer bằng đạo hàm riêng hình thức. Thiết lập tính hàm tử (Mệnh đề III.10 / Mệnh đề 10): Nếu $\pi : M \to M'$ là toàn cấu các $\mathcal{A}$-môđun không ổn định và $\varphi_s^M = 0$ tại mọi gốc dương thì $\varphi_s^{M'} = 0$ tại mọi gốc dương.
  • Tiết III.6 (Sự triệt tiêu trên các phần tử phân tích được): Chứng minh Định lý III.11 (Định lý 11): Với $M$ là $\mathcal{A}$-môđun không ổn định kiểu hữu hạn, $\varphi_s^M$ triệt tiêu trên các phần tử dạng tích $\alpha\beta$ tại mọi gốc dương $i$, trong đó $\alpha \in \text{Ext}_{\mathcal{A}}^m(\mathbb{F}_2, \mathbb{F}2)$, $\beta \in \text{Ext}{\mathcal{A}}^{s-m}(M, \mathbb{F}_2)$ với $m \ge 2, s-m > 0$ hoặc $m = s \ge 2$ và $\text{stem}(\beta) > s-2$. Áp dụng cho $\mathbb{R}P^\infty$, suy ra $\varphi_5^{\mathbb{R}P^\infty}$ triệt tiêu trên các phần tử phân tích được (Mệnh đề III.13 / Mệnh đề 7).

Chương IV: Về sự triệt tiêu của đồng cấu Lannes-Zarati đối với mặt cầu $S^0$ và không gian xạ ảnh

Chương IV trình bày các kết quả giải quyết Giả thuyết 2 cho các không gian hình học cụ thể:

  • Tiết IV.1 (Đồng cấu Lannes-Zarati thứ 5 cho mặt cầu $S^0$): Chứng minh Định lý IV.1 (Định lý 14 - công trình chung của Nguyễn H. V. Hưng, Lê M. Quỳnh, và Ngô A. Tuấn): Đồng cấu Lannes-Zarati thứ năm: $$\varphi_5^{S^0} : \text{Ext}_{\mathcal{A}}^{5, 5+i}(\widetilde{H}^(S^0), \mathbb{F}_2) \to (\mathbb{F}2 \otimes{\mathcal{A}} R_5 \widetilde{H}^(S^0))_i^*$$ triệt tiêu tại mọi gốc dương $i$. Chứng minh sử dụng kết quả triệt tiêu trên phần tử phân tích được của Hưng-Peterson, kết hợp tính toán tường minh của Giambalvo-Peterson và Lin trên các phần tử không phân tích được.
  • Tiết IV.2 & IV.3 (Sự triệt tiêu của $\varphi_3$ và $\varphi_4$ cho $\mathbb{R}P^\infty$): Chứng minh Định lý IV.3 và IV.4 (Định lý 15): $$\varphi_s^{\mathbb{R}P^\infty} : \text{Ext}_{\mathcal{A}}^{s, s+i}(\widetilde{H}^(\mathbb{R}P^\infty), \mathbb{F}_2) \to (\mathbb{F}2 \otimes{\mathcal{A}} R_s \widetilde{H}^(\mathbb{R}P^\infty))i^* = 0$$ tại mọi gốc dương $i$ với $s = 3$ và $s = 4$. Quá trình chứng minh dựa trên tính toán cấu trúc các nhóm $\text{Ext}{\mathcal{A}}^3(\widetilde{H}^(\mathbb{R}P^\infty), \mathbb{F}2)$ của Lin và $\text{Ext}{\mathcal{A}}^4(\widetilde{H}^(\mathbb{R}P^\infty), \mathbb{F}_2)$ của Chen.
  • Tiết IV.4 (Mối liên hệ giữa $\mathbb{R}P^\infty$ và $S^0$): Áp dụng định lý Kahn-Priddy đại số của Lin khẳng định $g_* : \text{Ext}_{\mathcal{A}}^{s-1}(\widetilde{H}^(\mathbb{R}P^\infty), \mathbb{F}2) \to \text{Ext}{\mathcal{A}}^s(\widetilde{H}^(S^0), \mathbb{F}2)$ là toàn cấu tại mọi gốc dương ($s \ge 1$), thiết lập Mệnh đề IV.5 (Mệnh đề 16): Nếu $\varphi{s-1}^{\mathbb{R}P^\infty} = 0$ tại mọi gốc dương thì $\varphi_s^{S^0} = 0$ tại mọi gốc dương. Từ đó thu lại Hệ quả 17: $\varphi_s^{S^0} = 0$ tại mọi gốc dương với $s = 3, 4, 5$.
  • Tiết IV.5 (Không gian xạ ảnh hữu hạn chiều $\mathbb{R}P^n$): Chứng minh Mệnh đề IV.6 (Mệnh đề 18): Đồng cấu Lannes-Zarati $\varphi_s^{\mathbb{R}P^n} = 0$ ở mọi gốc dương với $s = 2, 3, 4$ và với mọi số nguyên dương $n$.

Phần Phụ lục

Phần Phụ lục trình bày chi tiết các bảng tính toán ma trận đại số đồng điều và kỹ thuật khử chu trình phục vụ trực tiếp cho các bước chứng minh của Định lý 14 ($\varphi_5^{S^0} = 0$) và Định lý 15 đối với $s = 4$ ($\varphi_4^{\mathbb{R}P^\infty} = 0$).

Kết quả và những đóng góp mới

Luận án đạt được các kết quả khoa học mới về mặt lý luận đại số đồng điều và tôpô đại số:

  1. Biểu diễn dây chuyền tổng quát: Thiết lập công thức tường minh cho đối ngẫu của đồng cấu Lannes-Zarati $(\widetilde{\varphi}s^M)^*(q St_s(z)) = q Q{s,0}^{|z|} \otimes z$ trên $\mathcal{A}$-môđun không ổn định $M$ bất kỳ, chuyển hóa bài toán triệt tiêu của đồng cấu $\varphi_s^M$ thành bài toán xác định phần tử biên trong phức Singer $\Gamma^+ M$.
  2. Định lý phân tích qua Ker: Chứng minh đối ngẫu $(\varphi_s^M)^*$ phân tích qua $\mathcal{A}$-hệ sinh tối tiểu của các chu trình $\mathbb{F}2 \otimes{\mathcal{A}} \text{Ker}\partial_s$ trong phức Singer.
  3. Toán tử Squaring và tính triệt tiêu trên phần tử phân tích được: Xây dựng toán tử $Sq^0$ trên $(\mathbb{F}2 \otimes{\mathcal{A}} R_s \widetilde{H}^(\mathbb{R}P^\infty))^$ giao hoán với toán tử $Sq^0$ cổ điển trên $\text{Ext}{\mathcal{A}}$; chứng minh tính triệt tiêu của $\varphi_s^M$ trên các phần tử phân tích được trong $\text{Ext}{\mathcal{A}}^s(M, \mathbb{F}_2)$.
  4. Khảo sát thứ bậc thấp: Chứng minh $\varphi_1^X \ne 0$ tại mọi gốc dương với mọi CW-phức hữu hạn sinh không tầm thường, giải thích đầy đủ cơ sở của giả thiết lọc Adams $s > 2$ trong giả thuyết về các lớp cầu.
  5. Kiểm chứng Giả thuyết 2 cho các lớp không gian quan trọng:
    • Chứng minh $\varphi_5^{S^0} = 0$ tại mọi gốc dương cho mặt cầu $S^0$.
    • Chứng minh $\varphi_3^{\mathbb{R}P^\infty} = 0$ và $\varphi_4^{\mathbb{R}P^\infty} = 0$ tại mọi gốc dương cho không gian xạ ảnh thực vô hạn chiều.
    • Chứng minh $\varphi_s^{\mathbb{R}P^n} = 0$ tại mọi gốc dương với $s = 2, 3, 4$ cho mọi không gian xạ ảnh hữu hạn chiều $\mathbb{R}P^n$.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế: Giả thuyết 2 mới chỉ được chứng minh đầy đủ cho một số trường hợp riêng biệt ($M = \mathbb{F}_2$ tới bậc $s \le 5$; $M = \widetilde{H}^(\mathbb{R}P^\infty)$ tới bậc $s \le 4$; $M = \widetilde{H}^(\mathbb{R}P^n)$ tới bậc $s \le 4$), chưa giải quyết trọn vẹn cho bậc $s$ tùy ý và cho một $\mathcal{A}$-môđun không ổn định tổng quát.
  • Hướng nghiên cứu tiếp:
    1. Nghiên cứu sự triệt tiêu của $\varphi_s^{S^0}$ cho $s \ge 6$ và $\varphi_s^{\mathbb{R}P^\infty}$ cho $s \ge 5$.
    2. Khảo sát cấu trúc vi phân trong phức Singer $\Gamma^+ M$ để tìm kiếm chứng minh tổng quát cho Giả thuyết 2 với mọi $\mathcal{A}$-môđun không ổn định $M$.
    3. Ứng dụng các kết quả đại số vào việc xác định ảnh của đồng cấu Hurewicz trong lý thuyết đồng luân ổn định hình học.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo dành cho:

  • Nghiên cứu sinh và học viên cao học ngành Đại số, Lý thuyết số và Tôpô: Cung cấp tài liệu chi tiết về kỹ thuật tính toán trên đại số Steenrod $\mathcal{A}$, đại số Dickson $D_s$, đại số Lambda $\Lambda$, và phức Singer $\Gamma^+ M$.
  • Giảng viên và nhà nghiên cứu Tôpô đại số / Đại số đồng điều: Kế thừa công cụ biểu diễn dây chuyền của đồng cấu Lannes-Zarati (Chương III) và kỹ thuật liên kết qua định lý Kahn-Priddy đại số (Chương IV) để nghiên cứu các bài toán đồng luân của các phổ và không gian xạ ảnh.

Câu hỏi thường gặp

1. Giả thuyết về các lớp cầu dạng đại số (Giả thuyết 2) phát biểu như thế nào?

Giả thuyết 2 do Nguyễn Hữu Việt Hưng phát biểu khẳng định rằng: Với mọi $\mathcal{A}$-môđun không ổn định $M$ và với mọi số nguyên $s > 2$, đồng cấu Lannes-Zarati: $$\varphi_s^M : \text{Ext}_{\mathcal{A}}^{s, s+i}(M, \mathbb{F}_2) \to (\mathbb{F}2 \otimes{\mathcal{A}} R_s M)_i^*$$ triệt tiêu tại mọi gốc dương $i$ ($i > 0$).

2. Biểu diễn cấp độ dây chuyền của đối ngẫu đồng cấu Lannes-Zarati được xây dựng như thế nào?

Theo Định lý III.1 (Định lý 5), với mọi $s \ge 0$, ánh xạ: $$(\widetilde{\varphi}s^M)^* : R_s M \to \Gamma_s^+ M, \quad q St_s(z) \mapsto q Q{s,0}^{|z|} \otimes z$$ (với $q \in D_s$, $z \in M$ thuần nhất có bậc $|z|$, và $Q_{s,0}$ là bất biến Dickson bậc cao nhất $2^s - 1$) chính là biểu diễn ở cấp độ dây chuyền của đối ngẫu $(\varphi_s^M)^* : (\mathbb{F}2 \otimes{\mathcal{A}} R_s M)i \to \text{Tor}{s, s+i}^{\mathcal{A}}(\mathbb{F}_2, M)$.

3. Vì sao trong các giả thuyết về các lớp cầu cần giả thiết lọc Adams $s > 2$?

Vì tại các thứ bậc $s \le 2$, đồng cấu Lannes-Zarati nhìn chung không triệt tiêu. Cụ thể: $\varphi_0^M$ luôn là một đẳng cấu; $\varphi_1^X$ khác không ở mọi gốc dương với mọi CW-phức $X$ có $\widetilde{H}_*(X) \ne 0$ hữu hạn sinh; còn $\varphi_2^{S^0}$ là toàn cấu và khác không trên các phần tử đại diện cho các lớp bất biến Kervaire bằng 1. Do đó, hiện tượng triệt tiêu chỉ xuất hiện từ bậc $s > 2$.

4. Luận án đã chứng minh sự triệt tiêu của đồng cấu Lannes-Zarati trên những không gian cụ thể nào?

Luận án đã chứng minh đồng cấu Lannes-Zarati triệt tiêu tại mọi gốc dương đối với:

  • Mặt cầu $S^0$ ở thứ bậc $s = 5$ ($\varphi_5^{S^0} = 0$).
  • Không gian xạ ảnh thực vô hạn chiều $\mathbb{R}P^\infty$ ở các thứ bậc $s = 2, 3, 4$ ($\varphi_2^{\mathbb{R}P^\infty} = \varphi_3^{\mathbb{R}P^\infty} = \varphi_4^{\mathbb{R}P^\infty} = 0$).
  • Không gian xạ ảnh thực hữu hạn chiều $\mathbb{R}P^n$ ở các thứ bậc $s = 2, 3, 4$ ($\varphi_s^{\mathbb{R}P^n} = 0$, $\forall n \ge 1$).

5. Định lý Kahn-Priddy đại số được sử dụng như thế nào trong luận án?

Định lý Kahn-Priddy đại số của Lin khẳng định rằng đồng cấu cảm sinh $g_* : \text{Ext}_{\mathcal{A}}^{s-1}(\widetilde{H}^(\mathbb{R}P^\infty), \mathbb{F}2) \to \text{Ext}{\mathcal{A}}^s(\widetilde{H}^(S^0), \mathbb{F}2)$ là một toàn cấu tại mọi gốc dương với $s \ge 1$. Tác giả sử dụng kết quả này để thiết lập mệnh đề: nếu $\varphi{s-1}^{\mathbb{R}P^\infty} = 0$ tại mọi gốc dương thì kéo theo $\varphi_s^{S^0} = 0$ tại mọi gốc dương.

Kết luận

Luận án tiến sĩ của tác giả Ngô Anh Tuấn đã giải quyết thành công nhiều trường hợp quan trọng của dạng đại số của giả thuyết về các lớp cầu thông qua công cụ đại số đồng điều và lý thuyết bất biến của đại số Steenrod. Công trình đã thiết lập biểu diễn dây chuyền tổng quát cho đối ngẫu của đồng cấu Lannes-Zarati trên phức Singer $\Gamma^+ M$ và chứng minh tính tương thích với toán tử squaring. Đồng thời, luận án hoàn thành việc chứng minh sự triệt tiêu của đồng cấu Lannes-Zarati thứ 5 cho mặt cầu $S^0$ và thứ 3, thứ 4 cho không gian xạ ảnh thực $\mathbb{R}P^\infty$ cùng các không gian hữu hạn chiều $\mathbb{R}P^n$. Đây là những đóng góp có ý nghĩa học thuật quan trọng đối với lý thuyết đồng cấu Lannes-Zarati và bài toán xác định ảnh của đồng cấu Hurewicz trong tôpô đại số.