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 tác giả Ngô Anh Tuấn thực hiện tại Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội vào năm 2019, thuộc chuyên ngành Đại số và Lý thuyết số (mã số: 9460101.04), dưới sự hướng dẫn khoa học của Giáo sư Nguyễn Hữu Việt Hưng.

Về tính cấp thiết và khoảng trống nghiên cứu, một bài toán cổ điển chưa có lời giải trong tôpô đại số là 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, trong đó $Q_0 X = \Omega^\infty_0 \Sigma^\infty X$ là thành phần liên thông chứa điểm gốc của $QX = \Omega^\infty \Sigma^\infty X$. Toàn bộ đối đồng điều và đồng điều trong luận án được lấy trên trường hai phần tử $\mathbb{F}2$. Trong trường hợp cổ điển khi $X = S^0$, giả thuyết về các lớp cầu khẳng định rằng chỉ có các lớp mang bất biến Hopf bằng một hoặc bất biến Kervaire bằng một là những phần tử trong $\pi^S(S^0) \cong \pi_*(Q_0 S^0)$ được phát hiện bởi đồng cấu Hurewicz. Giáo sư Nguyễn Hữu Việt Hưng đã mở rộng bài toán này thành giả thuyết tổng quát:

  • 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 bài toán trên phương diện đại số đồng điều, tác giả sử dụng đồng cấu Lannes-Zarati thứ $s$, ký hiệu là $\varphi_s^M : Ext_\mathcal{A}^{s, s+i}(M, \mathbb{F}_2) \to (\mathbb{F}2 \otimes\mathcal{A} R_s M)_i^$, đối với một $\mathcal{A}$-môđun không ổn định $M$. Khi $M = \widetilde{H}^(X)$, đồng cấu này tương ứng với phân bậc liên kết của ánh xạ Hurewicz. Dạng đại số tổng quát của giả thuyết về các lớp cầu do Nguyễn Hữu Việt Hưng phát biểu được xác định như sau:

  • 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 : 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$.

Mục tiêu nghiên cứu của luận án là khảo sát các tính chất đại số tổng quát xung quanh đồng cấu Lannes-Zarati, từ đó chứng minh Giả thuyết 2 cho một số trường hợp cụ thể của môđun không ổn định $M$ và thứ bậc lọc Adams $s$.

Đối tượng nghiên cứu là đại số Steenrod $\mathcal{A}$ trên trường $\mathbb{F}_2$, các $\mathcal{A}$-môđun không ổn định $M$, xây dựng Singer $R_s M$, phức dây chuyền Singer $\Gamma^+ M$, và đồng cấu Lannes-Zarati $\varphi_s^M$. Phạm vi nghiên cứu về mặt không gian và môđun tập trung vào môđun tầm thường $M = \widetilde{H}^(S^0) = \mathbb{F}_2$, đối đồng điều rút gọn của không gian xạ ảnh thực vô hạn chiều $M = \widetilde{H}^(RP^\infty)$, và đối đồng điều rút gọn của không gian xạ ảnh thực hữu hạn chiều $M = \widetilde{H}^*(RP^n)$. Phạm vi về thứ bậc lọc khảo sát các giá trị $s \le 5$, đặc biệt là sự triệt tiêu tại các thứ bậc $s = 2, 3, 4, 5$.

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

Luận án điểm lại hệ thống công trình nghiên cứu nền tảng và các kết quả liên quan trực tiếp đến bài toán các lớp cầu:

Về lý thuyết đại số Steenrod và giải thức đồng điều, Steenrod (1942) đã đưa ra các toán tử đối đồng điều $Sq^i$. Adem (1952) chứng minh các hệ thức Adem mô tả toàn bộ quan hệ trong đại số Steenrod $\mathcal{A}$. Serre (1953) thiết lập cơ sở các đơn thức chấp nhận được của $\mathcal{A}$. Liulevicius (1969) nghiên cứu các toán tử squaring trên nhóm $Ext$. Priddy (1970) xây dựng đại số lambda $\Lambda$ và tương đương đồng luân giữa $\Lambda^* \otimes M$ và giải thức bar $B_*(M)$.

Về lý thuyết bất biến, Dickson (1911) mô tả vành bất biến $P_s^{GL_s} = \mathbb{F}2[Q{s,0}, \dots, Q_{s,s-1}]$, trong khi Mùi (1975) xác định vành bất biến $P_s^{T_s} = \mathbb{F}_2[V_1, \dots, V_s]$ của nhóm ma trận tam giác trên $T_s$. Singer (1983) đã liên kết lý thuyết bất biến với đại số lambda, xây dựng phức dây chuyền $\Gamma^+ M$ và chứng minh đẳng thức $H_s(\Gamma^+ M) \cong Tor_s^\mathcal{A}(\mathbb{F}_2, M)$.

Về nguồn gốc tôpô của giả thuyết các lớp cầu, Adams (1960) giải quyết bài toán bất biến Hopf bằng một qua các chu trình vĩnh cửu trong $Ext_\mathcal{A}^{1,}(\mathbb{F}_2, \mathbb{F}2)$. Browder (1969) giải quyết bài toán bất biến Kervaire bằng một liên quan đến $Ext\mathcal{A}^{2,}(\mathbb{F}_2, \mathbb{F}_2)$. Curtis (1975), Snaith và Tornehave (1983), và Wellington (1982) thảo luận về giả thuyết các lớp cầu cho $X = S^0$. Lannes và Zarati (1987) đưa ra định nghĩa giải thức của đồng cấu $\varphi_s^M$. Mối liên hệ hình học giữa $\varphi_s^M$ và phân bậc của ánh xạ Hurewicz được Lannes (1992) và Goerss (1986) phác họa.

Về dạng đại số của giả thuyết, Nguyễn Hữu Việt Hưng (1997, 2001) đã chứng minh Giả thuyết 2 cho trường hợp $M = \widetilde{H}^(S^0) = \mathbb{F}_2$ ở các thứ bậc $s = 3$ và $s = 4$. Hưng và Peterson (1998) chứng minh sự triệt tiêu của $\varphi_s^{\mathbb{F}2}$ trên các phần tử phân tích được trong $Ext\mathcal{A}^s(\mathbb{F}_2, \mathbb{F}_2)$ với $s > 2$. Dạng yếu của giả thuyết (khẳng định mọi phần tử bậc dương trong $R_s M$ bị hit bởi các toán tử Steenrod bậc dương trong $P_s \otimes M$ với $s > 2$) được Trần Ngọc Nam và Nguyễn Hữu Việt Hưng (2001, 2006) chứng minh cho $M = \widetilde{H}^(S^0)$ và $M = \widetilde{H}^*(RP^\infty \times \dots \times RP^\infty)$, sau đó được Nguyễn Hữu Việt Hưng và Powell (2013) chứng minh cho $\mathcal{A}$-môđun không ổn định bất kỳ. Lin (1980, 2008), Cohen, Lin và Mahowald (1998), Chen (2011), Tangora (1970), Giambalvo và Peterson (1983) cung cấp các tính toán cụ thể trên các nhóm $Ext$.

Khoảng trống nghiên cứu mà luận án lựa chọn giải quyết bao gồm:

  1. Xác định biểu diễn cấp độ dây chuyền cụ thể của đối ngẫu đồng cấu Lannes-Zarati cho một môđun không ổn định bất kỳ.
  2. Kiểm tra tính triệt tiêu của đồng cấu Lannes-Zarati tại thứ bậc $s = 2$ cho các không gian khác nhau để làm rõ giả thiết lọc Adams lớn hơn 2.
  3. Nghiên cứu Giả thuyết 2 cho trường hợp mặt cầu $S^0$ tại thứ bậc kế tiếp $s = 5$.
  4. Nghiên cứu Giả thuyết 2 cho không gian xạ ảnh $RP^\infty$ tại các thứ bậc $s = 3$ và $s = 4$, cũng như không gian xạ ảnh hữu hạn chiều $RP^n$.

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

Cơ sở lý thuyết của luận án được xây dựng trên đại số đồng điều và tôpô đại số modulo 2, sử dụng các cấu trúc giải tích:

  • Đại số Steenrod $\mathcal{A}$: Đại số phân bậc kết hợp có đơn vị trên trường $\mathbb{F}2$, sinh bởi các toán tử bình phương Steenrod $Sq^i$ thỏa mãn hệ thức Adem $\sum{c} \binom{b-1-c}{a-2c} Sq^{a+b-c} Sq^c = 0$ với $a < 2b$, và công thức Cartan $Sq^k(fg) = \sum_{i+j=k} Sq^i(f) Sq^j(g)$.
  • Vành đa thức và đại số bất biến: Đại số đa thức $P_s = \mathbb{F}2[x_1, \dots, x_s]$ với $\deg x_i = 1$. Đại số Dickson $D_s = P_s^{GL_s} = \mathbb{F}2[Q{s,0}, \dots, Q{s,s-1}]$, trong đó $Q_{s,i}$ có bậc $2^s - 2^i$. Đại số Mùi $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)$ có bậc $2^{k-1}$.
  • Xây dựng Singer $R_s M$: Là $D_s$-môđun con của $P_s \otimes M$ sinh bởi $St_s M$, trong đó $St_s$ là đồng cấu Steenrod định nghĩa quy nạp từ $St_1(x; z) = \sum_{i=0}^{|z|} x^{|z|-i} \otimes Sq^i(z)$.
  • Hàm tử tái bất ổn định hóa $D$ và hàm tử dẫn xuất $D_s$: Xác định bởi $DM = M / Span{Sq^i z \mid i > \deg z}$. Lannes và Zarati chứng minh $\alpha_s^{\Sigma M} := e_s(\Sigma M) : D_s(\Sigma^{1-s} M) \to \Sigma R_s M$ là một đẳng cấu.
  • Đại số lambda $\Lambda$ và phức Singer $\Gamma^+ M$: $\Gamma_s = (\Phi_s)^{GL_s}$, $\Gamma^+s \subset \Gamma_s = D_s[Q{s,0}^{-1}]$, cùng vi phân $\partial_s: \Gamma^+s \otimes M \to \Gamma^+{s-1} \otimes M$ thỏa mãn $H_s(\Gamma^+ M) \cong Tor_s^\mathcal{A}(\mathbb{F}_2, M)$.

Phương pháp nghiên cứu trong luận án là phương pháp toán học thuần túy thuộc hướng lý thuyết và đại số đồng điều, không sử dụng dữ liệu thực nghiệm hay thống kê:

  • Phương pháp phân tích cấp độ dây chuyền: Nâng các đồng cấu trong đối đồng điều lên giải thức bar $B_*(M)$ và phức Singer thông qua các phép nối dây chuyền.
  • Kỹ thuật tính toán ma trận và hệ thức Adem: Biến đổi các tích toán tử Steenrod bằng phép đạo hàm hình thức $\alpha(Sq^k) = Sq^{k-1}$ và đạo hàm riêng hình thức trên các bất biến Dickson.
  • Phương pháp đối ngẫu và phân tích nhóm $Ext$: Sử dụng các ghép cặp đối ngẫu giữa $Tor$ và $Ext$, đồng thời khai thác cơ sở biểu diễn của đại số lambda $\Lambda$.
  • Phương pháp phổ và định lý Kahn-Priddy đại số: Áp dụng toàn cấu cảm sinh $g_: Ext_\mathcal{A}^{s-1}(\widetilde{H}^(RP^\infty), \mathbb{F}2) \to Ext\mathcal{A}^s(\widetilde{H}^*(S^0), \mathbb{F}_2)$ ở mọi gốc dương để chuyển đổi bài toán giữa các không gian tôpô khác nhau.

Nguồn dữ liệu của luận án bao gồm các văn bản toán học, các công thức giải tích hình thức, các bảng cơ sở và bảng phần tử sinh của các nhóm $Ext_\mathcal{A}^{s,}(\widetilde{H}^(RP^\infty), \mathbb{F}2)$ và $Ext\mathcal{A}^{s,*}(\mathbb{F}_2, \mathbb{F}_2)$ đã được công bố bởi Lin, Chen, Giambalvo-Peterson, và Tangora.

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

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

Chương I trình bày hệ thống các khái niệm và kết quả nền tảng được dùng trong toàn bộ luận án, chia thành hai tiết:

Tiết I.1 trình bày tổng quan về đại số Steenrod $\mathcal{A}$ trên trường $\mathbb{F}2$. Tác giả nhắc lại các toán tử bình phương $Sq^i$, công thức Cartan, hệ thức Adem, định nghĩa dãy chỉ số chấp nhận được $I = (i_1, \dots, i_k)$ thỏa mãn $i_j \ge 2i{j+1}$, và định lý của Serre khẳng định các đơn thức chấp nhận được lập thành cơ sở cộng tính của $\mathcal{A}$. Tiết này cũng mô tả tác động của $\mathcal{A}$ trên vành đa thức $P_s = H^*((RP^\infty)^{\times s})$ thông qua công thức $Sq^k(x_i^n) = \binom{n}{k} x_i^{n+k}$, đồng thời trình bày cấu trúc đại số Hopf đối giao hoán của $\mathcal{A}$.

Tiết I.2 giới thiệu lý thuyết bất biến và đại số lambda $\Lambda$ theo công trình của Singer. Nội dung bao gồm tác động của nhóm tuyến tính tổng quát $GL_s(\mathbb{F}2)$ và nhóm tam giác trên $T_s$ lên $P_s$, cấu trúc của đại số đa thức bất biến Mùi $P_s^{T_s} = \mathbb{F}2[V_1, \dots, V_s]$, đại số bất biến Dickson $P_s^{GL_s} = \mathbb{F}2[Q{s,0}, \dots, Q{s,s-1}]$, và các công thức quy nạp biểu diễn $Q{s,i}$. Tác giả trình bày phép địa phương hóa $\Phi_s = (P_s){L(s)}$, các đại số bất biến $\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}$, cấu trúc đối đại số $\Delta = \bigoplus{s \ge 0} \Delta_s$, không gian con $\Gamma^+s \subset \Gamma_s$, và xây dựng phức dây chuyền Singer $\Gamma^+ M$ với vi phân $\partial_s$. Bên cạnh đó, tác giả trình bày đại số lambda $\Lambda$, cơ sở chấp nhận được ${\lambda{j_1} \dots \lambda{j_s} \mid 0 \le j_1 \le 2j_2, \dots, j_{s-1} \le 2j_s}$, đẳng cấu Singer $\ell_s : \Gamma^+_s \to (\Lambda^s)^$, và tính giao hoán giữa vi phân $\partial$ trong $\Gamma^+ M$ và vi phân $\delta$ trong $\Lambda \otimes N^$.

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

Chương II tập trung nghiên cứu bản chất hình thức và tính chất của đồng cấu Lannes-Zarati tại các thứ bậc $s \le 2$:

Tiết II.1 trình bày chi tiết cách xây dựng đồng cấu Lannes-Zarati $\varphi_s^M$ cho một $\mathcal{A}$-môđun không ổn định $M$ bất kỳ thông qua hàm tử treo $\Sigma^t$, phần tử Singer $e_s(M) \in Ext_\mathcal{A}^s(\Sigma^{-s} M, P_s \otimes M)$, hàm tử tái bất ổn định hóa $D$, đẳng cấu Lannes-Zarati $\alpha_s^{\Sigma M} : D_s(\Sigma^{1-s} M) \to \Sigma R_s M$, và đồng cấu tự nhiên $i_s : \mathbb{F}2 \otimes\mathcal{A} D_s(M) \to Tor_s^\mathcal{A}(\mathbb{F}2, M)$. Đối ngẫu của đồng cấu Lannes-Zarati được định nghĩa chính xác là: $$(\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 Tor_s^\mathcal{A}(\mathbb{F}_2, \Sigma^{-s} M).$$ Tại $s = 0$, tác giả chỉ ra rằng $(\varphi_0^M)^* = id : \mathbb{F}2 \otimes\mathcal{A} M \to Tor_0^\mathcal{A}(\mathbb{F}2, M)$, tương ứng với đẳng cấu $\varphi_0^M : Hom\mathcal{A}(M, \mathbb{F}2) \to Hom{\mathbb{F}_2}(M/AM, \mathbb{F}_2)$.

Tiết II.2 đi sâu khảo sát các thứ bậc $s = 0, 1, 2$ nhằm lý giải điều kiện lọc Adams trong Giả thuyết 1. Tác giả chứng minh Mệnh đề II.4 (Mệnh đề 3 trong phần Mở đầu):

  • Đồng cấu $\varphi_0^{RP^\infty} : Ext_\mathcal{A}^0(\widetilde{H}^(RP^\infty), \mathbb{F}_2) \to (\mathbb{F}2 \otimes\mathcal{A} R_0 \widetilde{H}^(RP^\infty))^*$ là một đẳng cấu.
  • Đồng cấu $\varphi_1^{RP^\infty}$ là một đơn cấu trên $Span{\hat{h}_i h_j \mid i \ge j}$ và triệt tiêu trên $Span{\hat{h}_i h_j \mid i < j}$.
  • Đồng cấu $\varphi_2^{RP^\infty} = 0$, nghĩa là triệt tiêu hoàn toàn tại mọi gốc dương trên $Ext_\mathcal{A}^{2,}(\widetilde{H}^(RP^\infty), \mathbb{F}_2)$.

Đồng thời, tác giả chứng minh Mệnh đề II.6 (Mệnh đề 4): Đối với mọi CW-phức $X$ có điểm gốc mà đồng điều rút gọn $\widetilde{H}_*(X)$ không tầm thường và hữu hạn sinh ở mỗi bậc, đồng cấu Lannes-Zarati thứ nhất $\varphi_1^X$ luôn khác không ở mọi gốc dương. Sự khác biệt giữa tính triệt tiêu của $\varphi_2^{RP^\infty}$ và tính khác không phổ quát của $\varphi_1^X$ giải thích tại sao Giả thuyết 1 bắt buộc phải đặt điều kiện trên các lớp đồng luân có lọc Adams lớn hơn 2.

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

Chương III công bố các kết quả lý thuyết tổng quát về đồng cấu Lannes-Zarati trên các $\mathcal{A}$-môđun không ổn định:

Tiết III.1 chứng minh Định lý III.1 (Định lý 5): Với mọi $\mathcal{A}$-môđun không ổn định $M$ và 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 bậc $|z|$) là một biểu diễn cấp độ dây chuyền của đối ngẫu của đồng cấu Lannes-Zarati $(\varphi_s^M)^* : (\mathbb{F}2 \otimes\mathcal{A} R_s M)i \to Tor{s, s+i}^\mathcal{A}(\mathbb{F}2, M)$. Ánh xạ này tự nhiên đối với các $\mathcal{A}$-đồng cấu. Định lý này dẫn đến mệnh đề tương đương: Giả thuyết 2 đúng khi và chỉ khi với mọi $q \in D_s$ và $z \in M$ có ít nhất một phần tử bậc dương, $q Q{s,0}^{|z|} \otimes z$ là một biên trong phức Singer $\Gamma^+ M$ với $s > 2$.

Tiết III.2 thiết lập Định lý III.8 (Định lý 8): Đối ngẫu $(\varphi_s^M)^$ phân tích được qua $\mathbb{F}2 \otimes\mathcal{A} Ker \partial_s$, cụ thể là $(\varphi_s^M)^ = p \circ i$, trong đó $i: \mathbb{F}2 \otimes\mathcal{A} R_s M \to \mathbb{F}2 \otimes\mathcal{A} Ker \partial_s$ và $p$ là toàn cấu cảm sinh từ phép chiếu chính tắc $p: Ker \partial_s \to Tor_s^\mathcal{A}(\mathbb{F}_2, M)$. Để chứng minh, tác giả sử dụng môđun $S_s M$ và đơn cấu $f_s : S_s M \to P_s \otimes M$ của Singer.

Tiết III.3 xây dựng toán tử squaring $Sq^0$ trên $(\mathbb{F}2 \otimes\mathcal{A} R_s \widetilde{H}^(RP^\infty))^$ và chứng minh Định lý III.9 (Định lý 9): Toán tử này giao hoán với toán tử squaring cổ điển trên $Ext_\mathcal{A}^s(\widetilde{H}^*(RP^\infty), \mathbb{F}_2)$ qua đồng cấu Lannes-Zarati $\varphi_s^{RP^\infty}$.

Tiết III.4 và Tiết III.5 ứng dụng đạo hàm riêng hình thức trên các đại số bất biến và khảo sát tính hàm tử. Mệnh đề III.10 (Mệnh đề 10) chứng minh rằng nếu $\pi: M \to M'$ là một toàn cấu các $\mathcal{A}$-môđun không ổn định và $\varphi_s^M$ triệt tiêu tại mọi gốc dương thì $\varphi_s^{M'}$ cũng triệt tiêu tại mọi gốc dương.

Tiết III.6 chứng minh Định lý III.11 (Định lý 11): Cho $M$ là $\mathcal{A}$-môđun không ổn định có kiểu hữu hạn, đồng cấu $\varphi_s^M$ triệt tiêu tại mọi gốc dương $i$ trên các phần tử tích $\alpha\beta$ với $\alpha \in Ext_\mathcal{A}^m(\mathbb{F}_2, \mathbb{F}2)$, $\beta \in Ext\mathcal{A}^{s-m}(M, \mathbb{F}_2)$ thỏa mãn: hoặc $m \ge 2, s-m > 0$; hoặc $m = s \ge 2$ và $stem(\beta) > s-2$. Từ kết quả này, tác giả suy ra Mệnh đề III.7: Đồng cấu $\varphi_5^{RP^\infty}$ triệt tiêu trên các phần tử phân tích được tại mọi gốc dương.

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 giải quyết sự triệt tiêu cụ thể của đồng cấu Lannes-Zarati cho $S^0$, $RP^\infty$ và $RP^n$:

Tiết IV.1 trình bày Định lý IV.1 (Định lý 14, công trình chung của Nguyễn Hữu Việt Hưng, Lê Minh Quỳnh và Ngô Anh Tuấn): Đồng cấu Lannes-Zarati thứ năm cho mặt cầu không chiều $\varphi_5^{S^0}: 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$. Dựa trên kết quả của Hưng và Peterson, tác giả tập trung tính toán trên các phần tử không phân tích được của $Ext\mathcal{A}^5(\mathbb{F}_2, \mathbb{F}_2)$ bằng cách sử dụng các bảng tính toán của Giambalvo-Peterson và Tangora.

Tiết IV.2 và Tiết IV.3 nghiên cứu Giả thuyết 2 cho không gian xạ ảnh vô hạn chiều, chứng minh Định lý IV.2 và Định lý IV.3 (Định lý 15): Đồng cấu Lannes-Zarati $\varphi_s^{RP^\infty}$ triệt tiêu tại mọi gốc dương $i$ với $s = 3$ và $s = 4$. Quá trình chứng minh sử dụng các cấu trúc tường minh của nhóm $Ext_\mathcal{A}^3(\widetilde{H}^(RP^\infty), \mathbb{F}2)$ và $Ext\mathcal{A}^4(\widetilde{H}^(RP^\infty), \mathbb{F}_2)$ được xác định bởi Lin và Chen.

Tiết IV.4 thiết lập mối liên hệ giữa các không gian qua Mệnh đề IV.4 (Mệnh đề 16): Sử dụng định lý Kahn-Priddy đại số qua toàn cấu $g_: Ext_\mathcal{A}^{s-1}(\widetilde{H}^(RP^\infty), \mathbb{F}2) \to Ext\mathcal{A}^s(\widetilde{H}^*(S^0), \mathbb{F}2)$, tác giả chứng minh rằng nếu $\varphi{s-1}^{RP^\infty}$ triệt tiêu tại mọi gốc dương thì $\varphi_s^{S^0}$ cũng triệt tiêu tại mọi gốc dương với mọi $s \ge 1$. Từ đó thu được Hệ quả 17: Đồng cấu $\varphi_s^{S^0}$ triệt tiêu tại mọi gốc dương với $s = 3, 4, 5$.

Tiết IV.5 xét không gian xạ ảnh hữu hạn chiều, chứng minh Mệnh đề IV.5 (Mệnh đề 18): Đồng cấu Lannes-Zarati $\varphi_s^{RP^n}: Ext_\mathcal{A}^s(\widetilde{H}^(RP^n), \mathbb{F}_2) \to (\mathbb{F}2 \otimes\mathcal{A} R_s \widetilde{H}^(RP^n))^*$ triệt tiêu ở 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 trình bày chi tiết các bước tính toán phức tạp đối ngẫu trong giải thức bar và đại số lambda phục vụ chứng minh Định lý 14 và Định lý 15 tại $s = 4$.

Dưới đây là bảng tổng hợp các kết quả chính về tính triệt tiêu của đồng cấu Lannes-Zarati được trình bày trong luận án:

Môđun / Không gian $M$ Thứ bậc $s$ Hành vi của đồng cấu Lannes-Zarati $\varphi_s^M$ tại các gốc dương Kết quả / Vị trí trong văn bản Tác giả công bố
$\widetilde{H}^*(RP^\infty)$ $s = 0$ Đẳng cấu trên $Hom_\mathcal{A}(\widetilde{H}^*(RP^\infty), \mathbb{F}_2)$ Mệnh đề II.4(i) Ngô Anh Tuấn (2019)
$\widetilde{H}^*(RP^\infty)$ $s = 1$ Đơn cấu trên $Span{\hat{h}_i h_j \mid i \ge j}$, triệt tiêu trên $Span{\hat{h}_i h_j \mid i < j}$ Mệnh đề II.4(ii) Ngô Anh Tuấn (2019)
$\widetilde{H}^*(RP^\infty)$ $s = 2$ Triệt tiêu hoàn toàn tại mọi gốc dương Mệnh đề II.4(iii) Ngô Anh Tuấn (2019)
CW-phức $X$ bất kỳ hữu hạn sinh $s = 1$ Khác không ở mọi gốc dương Mệnh đề II.6 Ngô Anh Tuấn (2019)
Môđun $M$ không ổn định bất kỳ $s \ge 0$ Biểu diễn dây chuyền đối ngẫu $(\widetilde{\varphi}s^M)^*(q St_s(z)) = q Q{s,0}^{ z } \otimes z$
Môđun $M$ kiểu hữu hạn $s \ge 2$ Triệt tiêu trên các phần tử phân tích được $\alpha\beta$ Định lý III.11 Ngô Anh Tuấn (2019)
$\widetilde{H}^*(S^0) = \mathbb{F}_2$ $s = 5$ Triệt tiêu hoàn toàn tại mọi gốc dương Định lý IV.1 Nguyễn H. Hưng, Lê M. Quỳnh, Ngô A. Tuấn (2017)
$\widetilde{H}^*(RP^\infty)$ $s = 3, 4$ Triệt tiêu hoàn toàn tại mọi gốc dương Định lý IV.2, IV.3 Ngô Anh Tuấn (2019)
$\widetilde{H}^*(S^0) = \mathbb{F}_2$ $s = 3, 4, 5$ Triệt tiêu hoàn toàn tại mọi gốc dương Hệ quả 17 Hưng (1997, 2001), Hưng-Quỳnh-Tuấn (2017)
$\widetilde{H}^*(RP^n)$ $s = 2, 3, 4$ Triệt tiêu hoàn toàn tại mọi gốc dương với mọi $n \ge 1$ Mệnh đề IV.5 Ngô Anh Tuấn (2019)

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

Luận án đạt được các kết quả và đóng góp học thuật cụ thể như sau:

  1. Thiết lập công thức cấp độ dây chuyền cho đối ngẫu của đồng cấu Lannes-Zarati: Chứng minh biểu diễn tường minh $(\widetilde{\varphi}s^M)^*(q St_s(z)) = q Q{s,0}^{|z|} \otimes z$ từ $R_s M$ vào phức Singer $\Gamma^+_s M$ cho một $\mathcal{A}$-môđun không ổn định $M$ bất kỳ, chuyển bài toán triệt tiêu trong đối đồng điều thành bài toán xác định phần tử biên trong phức Singer.
  2. Chứng minh sự phân tích qua hệ sinh tối tiểu của các chu trình: Chứng minh đối ngẫu $(\varphi_s^M)^*$ phân tích được qua $\mathbb{F}2 \otimes\mathcal{A} Ker \partial_s$ nhờ vào đơn cấu $f_s : S_s M \to P_s \otimes M$.
  3. Xây dựng toán tử squaring tương thích: Thiết lập toán tử squaring $Sq^0$ trên $(\mathbb{F}2 \otimes\mathcal{A} R_s \widetilde{H}^(RP^\infty))^$ và chứng minh tính giao hoán của nó với toán tử squaring cổ điển trên $Ext_\mathcal{A}^s(\widetilde{H}^*(RP^\infty), \mathbb{F}_2)$ thông qua $\varphi_s^{RP^\infty}$.
  4. Chứng minh tính triệt tiêu trên các phần tử phân tích được: Mở rộng kết quả của Hưng và Peterson cho một $\mathcal{A}$-môđun không ổn định kiểu hữu hạn $M$ bất kỳ trên các phần tử có dạng $\alpha\beta$.
  5. Chứng minh Giả thuyết 2 cho các trường hợp cụ thể:
    • Chứng minh đồng cấu Lannes-Zarati thứ năm $\varphi_5^{S^0}$ triệt tiêu tại mọi gốc dương cho mặt cầu $S^0$ (kết quả hợp tác cùng Nguyễn Hữu Việt Hưng và Lê Minh Quỳnh).
    • Chứng minh đồng cấu Lannes-Zarati thứ ba và thứ tư ($\varphi_3^{RP^\infty}$ và $\varphi_4^{RP^\infty}$) triệt tiêu tại mọi gốc dương cho không gian xạ ảnh vô hạn chiều $RP^\infty$.
    • Chứng minh $\varphi_s^{RP^n}$ triệt tiêu tại mọi gốc dương với $s = 2, 3, 4$ cho không gian xạ ảnh hữu hạn chiều $RP^n$ với mọi $n$.
  6. Làm rõ ranh giới lọc Adams của giả thuyết: Chứng minh $\varphi_1^X$ luôn khác không ở mọi gốc dương trên bất kỳ CW-phức hữu hạn sinh không tầm thường nào, trong khi $\varphi_2^{RP^\infty} = 0$, cung cấp bằng chứng giải thích lý do Giả thuyết 1 yêu cầu lọc Adams lớn hơn 2.

Về mặt kiến nghị và hướng giải pháp, tác giả đề xuất tiếp tục khai thác biểu diễn dây chuyền của $(\varphi_s^M)^*$ trong phức Singer kết hợp với các kỹ thuật đại số Dickson để tiếp cận Giả thuyết 2 ở các giá trị $s$ cao hơn.

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

Về mặt hạn chế, văn bản luận án xác định rõ các ranh giới chưa giải quyết:

  • Giả thuyết 2 mới chỉ được chứng minh cho một số trường hợp cụ thể của môđun $M$ và số chiều lọc Adams thấp: đối với $M = \widetilde{H}^(S^0)$, kết quả mới dừng lại ở $s \le 5$; đối với $M = \widetilde{H}^(RP^\infty)$, kết quả mới đạt đến $s = 3$ và $s = 4$.
  • Đối với trường hợp tổng quát của một $\mathcal{A}$-môđun không ổn định $M$ tùy ý với $s > 2$, Giả thuyết 2 vẫn là một bài toán mở chưa có lời giải hoàn chỉnh.
  • Các tính toán trên nhóm $Ext$ ở các thứ bậc cao bị phụ thuộc vào độ phức tạp của các chu trình không phân tích được và việc mô tả tường minh cơ sở của các nhóm này.

Về hướng nghiên cứu tiếp:

  • Tiếp tục nghiên cứu kiểm chứng Giả thuyết 2 cho trường hợp mặt cầu $S^0$ ở các thứ bậc tiếp theo $s \ge 6$.
  • Khảo sát sự triệt tiêu của đồng cấu Lannes-Zarati thứ năm $\varphi_5^{RP^\infty}$ trên các phần tử không phân tích được của $Ext_\mathcal{A}^5(\widetilde{H}^*(RP^\infty), \mathbb{F}_2)$ (luận án mới chứng minh triệt tiêu trên các phần tử phân tích được).
  • Phát triển các công cụ tính toán đồng điều nâng cao nhằm giải quyết trọn vẹn Giả thuyết 2 cho mọi $\mathcal{A}$-môđun không ổn định.

Giá trị tham khảo

Luận án là tài liệu tham khảo hữu ích cho các đối tượng và hoạt động học thuật sau:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Đại số, Tôpô đại số và Đại số đồng điều: Tài liệu cung cấp tổng quan hệ thống về đại số Steenrod, đại số bất biến Dickson, đại số Mùi, đại số lambda và phức Singer, hỗ trợ đắc lực cho việc nghiên cứu cấu trúc của các nhóm $Ext_\mathcal{A}^{,}(M, \mathbb{F}_2)$.
  • Giảng viên và nhà nghiên cứu lý thuyết tôpô đại số: Cung cấp phương pháp tiếp cận đại số đối với bài toán Hurewicz và giả thuyết các lớp cầu, đặc biệt là kỹ thuật biểu diễn cấp độ dây chuyền trong phức Singer được trình bày ở Chương III.
  • Phần đáng tham khảo nhất:
    • Tiết III.1 và III.2 với chứng minh chi tiết về biểu diễn dây chuyền của đối ngẫu đồng cấu Lannes-Zarati và sự thương hóa qua hệ sinh tối tiểu của các chu trình.
    • Chương IV và phần Phụ lục với các tính toán tường minh trên các nhóm Ext bậc cao đối với $S^0$ và $RP^\infty$, liên kết trực tiếp với định lý Kahn-Priddy đại số.

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

1. Đồng cấu Lannes-Zarati thứ $s$ có mối liên hệ như thế nào với bài toán tôpô cổ điển về đồng cấu Hurewicz?
Khi chọn môđun $M = \widetilde{H}^(X)$ là đối đồng điều rút gọn của một CW-phức có điểm gốc $X$, đồng cấu Lannes-Zarati $\varphi_s^X : Ext_\mathcal{A}^{s, s+i}(\widetilde{H}^(X), \mathbb{F}2) \to (\mathbb{F}2 \otimes\mathcal{A} R_s \widetilde{H}^(X))_i^$ tương ứng với một phân bậc liên kết của đồng cấu Hurewicz $H: \pi(Q_0 X) \to H_(Q_0 X)$. Việc chứng minh đồng cấu Lannes-Zarati triệt tiêu tại các gốc dương với $s > 2$ cung cấp phiên bản đại số chứng minh đồng cấu Hurewicz triệt tiêu trên các lớp đồng luân có lọc Adams lớn hơn 2.

2. Biểu diễn cấp độ dây chuyền của đối ngẫu đồng cấu Lannes-Zarati được xác định bằng công thức nào?
Theo Định lý III.1 của luận án, với một $\mathcal{A}$-môđun không ổn định $M$ và 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$$ (trong đó $q \in D_s$, $z \in M$ là phần tử thuần nhất có bậc $|z|$) 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 Tor{s, s+i}^\mathcal{A}(\mathbb{F}_2, M)$. Ánh xạ này có tính tự nhiên đối với các $\mathcal{A}$-đồng cấu của các $\mathcal{A}$-môđun không ổn định.

3. Tại sao giả thuyết tổng quát về các lớp cầu lại đòi hỏi điều kiện lọc Adams phải lớn hơn 2?
Kết quả tính toán tại Chương II của luận án chỉ ra rằng đối với mọi CW-phức $X$ có điểm gốc mà $\widetilde{H}_*(X)$ không tầm thường và hữu hạn sinh ở mỗi bậc, đồng cấu Lannes-Zarati thứ nhất $\varphi_1^X$ luôn khác không ở mọi gốc dương (Mệnh đề II.6). Đồng thời, đối với tích $S^0 \times Y$, đồng cấu Lannes-Zarati thứ hai $\varphi_2^{S^0 \times Y}$ cũng khác không ở mọi gốc dương. Do đó, hiện tượng triệt tiêu không thể xảy ra ở các thứ bậc $s = 1$ và $s = 2$, buộc giả thuyết phải giới hạn ở các lớp có lọc Adams $s > 2$.

4. Mối liên hệ giữa đồng cấu Lannes-Zarati của không gian xạ ảnh $RP^\infty$ và của mặt cầu $S^0$ được thiết lập qua kết quả nào?
Mối liên hệ này được thiết lập thông qua Mệnh đề IV.4 dựa trên định lý Kahn-Priddy đại số của Lin: tồn tại toàn cấu cảm sinh $g_: Ext_\mathcal{A}^{s-1}(\widetilde{H}^(RP^\infty), \mathbb{F}2) \to Ext\mathcal{A}^s(\widetilde{H}^*(S^0), \mathbb{F}2)$ tại mọi gốc dương ($s \ge 1$). Luận án chứng minh rằng nếu $\varphi{s-1}^{RP^\infty}$ triệt tiêu tại mọi gốc dương thì $\varphi_s^{S^0}$ cũng triệt tiêu tại mọi gốc dương. Kết hợp với việc $\varphi_2^{RP^\infty} = 0$, $\varphi_3^{RP^\infty} = 0$ và $\varphi_4^{RP^\infty} = 0$, tác giả thu được sự triệt tiêu của $\varphi_s^{S^0}$ tại $s = 3, 4, 5$.

5. Luận án đã giải quyết Giả thuyết 2 cho những trường hợp cụ thể nào?
Luận án đã chứng minh khẳng định của Giả thuyết 2 trong các trường hợp: $M = \widetilde{H}^(S^0) = \mathbb{F}_2$ tại thứ bậc $s = 5$; $M = \widetilde{H}^(RP^\infty)$ tại các thứ bậc $s = 3$ và $s = 4$; $M = \widetilde{H}^*(RP^n)$ tại các thứ bậc $s = 2, 3, 4$ với mọi số nguyên dương $n$; và trên toàn bộ các phần tử phân tích được của $Ext_\mathcal{A}^s(M, \mathbb{F}_2)$ đối với một $\mathcal{A}$-môđun không ổn định kiểu hữu hạn $M$ bất kỳ.

Kết luận

Luận án tiến sĩ của tác giả Ngô Anh Tuấn đã khảo sát có hệ thống dạng đại số của giả thuyết về các lớp cầu thông qua nghiên cứu đồng cấu Lannes-Zarati. Tác giả đã thiết lập thành công biểu diễn cấp độ dây chuyền cho đối ngẫu của đồng cấu Lannes-Zarati trên phức Singer và chứng minh tính giao hoán của nó với toán tử squaring. Luận án xác nhận tính đúng đắn của giả thuyết đại số cho mặt cầu $S^0$ ở thứ bậc $s = 5$, cho không gian xạ ảnh $RP^\infty$ ở các thứ bậc $s = 3, 4$, và cho không gian xạ ảnh hữu hạn chiều $RP^n$ ở các thứ bậc $s = 2, 3, 4$. Những kết quả đạt được đóng góp các cứ liệu toán học cụ thể vào lý thuyết đồng điều của đại số Steenrod và tôpô đại số.