Tổng quan luận án

Luận án tiến sĩ toán học "Một số vấn đề về đồng cấu Lannes-Zarati modulo p" được thực hiện bởi nghiên cứu sinh Phạm Bích Như tại Trường Đại học Quy Nhơn vào năm 2021, thuộc chuyên ngành Đại số và Lí thuyết số (mã số: 9 46 01 04), dưới sự hướng dẫn khoa học của PGS. Phan Hoàng Chơn và PGS. Nguyễn Sum.

Trong tôpô đại số, bài toán phân loại kiểu đồng luân của các không gian tôpô và xác định các nhóm đồng luân ổn định của mặt cầu $\pi_^S(S^0)$ là những bài toán trung tâm. Trang $E_2$ của dãy phổ Adams hội tụ về thành phần $p$-xoắn của $\pi_^S(S^0)$ chính là đối đồng điều của đại số Steenrod, ký hiệu $\text{Ext}_{\mathcal{A}}^{,}(\mathbb{F}p, \mathbb{F}p)$. Để nghiên cứu cấu trúc này, đồng cấu Lannes-Zarati modulo $p$, ký hiệu $\phi_s^M: \text{Ext}{\mathcal{A}}^{s,s+t}(M, \mathbb{F}p) \to \text{Ann}((R_s M)^#)t$, đóng vai trò như một phân bậc liên kết của ánh xạ Hurewicz $H: \pi*^S(X) \cong \pi*(QX) \to H*(QX)$ trên trang $E_2$. Dáng điệu của đồng cấu này có mối quan hệ trực tiếp với các giả thuyết về các lớp cầu của Curtis, Wellington và Eccles.

Khoảng trống nghiên cứu được luận án xác định xuất phát từ thực tế: trong khi đồng cấu Lannes-Zarati modulo 2 ($p = 2$) đã được Lannes, Zarati, Hưng và các cộng sự khảo sát tương đối chi tiết, thì trường hợp $p$ là số nguyên tố lẻ vẫn còn nhiều vấn đề mở do sự xuất hiện của toán tử Bockstein $\beta$ và sự phức tạp của các quan hệ Adem trong đại số Dyer-Lashof modulo $p$.

Mục tiêu nghiên cứu của luận án bao gồm các nội dung cụ thể sau:

  1. Xây dựng biểu diễn ở mức độ dây chuyền của đối ngẫu của đồng cấu Lannes-Zarati $(\phi_s^M)^#$ trên phức dây chuyền Singer-Hưng-Sum $\Gamma^+ M$ đối với một $\mathcal{A}$-môđun $M$ bất kỳ và trường hệ số $\mathbb{F}_p$ ($p$ lẻ).
  2. Thiết lập biểu diễn ở mức độ dây chuyền của đồng cấu Lannes-Zarati $\phi_s^M$ trên phức $\Lambda \otimes M^#$ qua đại số Lambda $\Lambda$ và đại số Dyer-Lashof $R$.
  3. Phát triển và ứng dụng toán tử lũy thừa $P^0$ tương thích với đồng cấu Lannes-Zarati để khảo sát nhân và ảnh của $\phi_s^{\mathbb{F}_p}$ với $s \le 3$ cho $p$ lẻ, nhằm tránh bài toán "hit" phức tạp trong $R_s \mathbb{F}_p$.
  4. Thiết lập dãy phổ mở rộng để tính các nhóm mở rộng $\text{Ext}_{\mathcal{A}}^{s, s+t}(\widetilde{H}^(B\mathbb{Z}/p), \mathbb{F}_p)$ với $s = 0, 1$, từ đó xác định tường minh ảnh và nhân của $\phi_s^{\widetilde{H}^(B\mathbb{Z}/p)}$ với $s = 0, 1$.
  5. Mở rộng và áp dụng phương pháp trên cho trường hợp $p = 2$ để kiểm tra lại các kết quả kinh điển và khảo sát đồng cấu Lannes-Zarati hạng 6 ($\phi_6^{\mathbb{F}2}$) trên các phần tử không phân tích được trong $\text{Ext}{\mathcal{A}}^{6,6+t}(\mathbb{F}_2, \mathbb{F}_2)$ với $0 \le t \le 114$.

Đối tượng nghiên cứu của luận án là đại số Steenrod $\mathcal{A}$, các $\mathcal{A}$-môđun không ổn định, xây dựng Singer $R_s M$, phức dây chuyền Singer-Hưng-Sum $\Gamma^+ M$, đại số Lambda $\Lambda$, đại số Dyer-Lashof $R$ và đồng cấu Lannes-Zarati $\phi_s^M$. Phạm vi nghiên cứu tập trung vào cấu trúc đại số và đồng điều trong tôpô đại số trên trường hữu hạn $\mathbb{F}_p$ với $p$ là số nguyên tố lẻ và đối sánh với trường hợp $p = 2$.

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ác công trình nền tảng và các phát triển liên quan trong lý thuyết đại số Steenrod và đồng cấu Lannes-Zarati:

  • Đại số Steenrod và cấu trúc đại số: Steenrod (1947, 1952) đặt nền móng với các toán tử bình phương $Sq^i$ trên $\mathbb{F}_2$ và lũy thừa $P^i$ trên $\mathbb{F}_p$ ($p$ lẻ). Cartan (1950) thiết lập công thức Cartan cho tích cup. Adem (1952) chứng minh các quan hệ Adem xác định cấu trúc liên kết của đại số Steenrod $\mathcal{A}$. Milnor (1958) chỉ ra $\mathcal{A}$ là một đại số Hopf và mô tả đại số đối ngẫu $\mathcal{A}^* = \mathbb{F}_p[\xi_1, \xi_2, \dots] \otimes E(\tau_0, \tau_1, \dots)$ đối với $p$ lẻ.
  • Đối đồng điều của đại số Steenrod: Adams (1960), Wang (1967), May (1964, 1970), Tangora (1970), Lin (1979), Lin-Mahowald (1981), Bruner (1982) nghiên cứu $\text{Ext}_{\mathcal{A}}^{,}(\mathbb{F}_2, \mathbb{F}_2)$. Các phương pháp tiếp cận kinh điển gồm đại số Lambda (Bousfield và cộng sự, 1966), giải thức co-Koszul (Priddy, 1970), dãy phổ May và giải thức tối tiểu.
  • Đồng cấu chuyển Singer và đồng cấu Lannes-Zarati: Singer (1989) xây dựng đồng cấu chuyển đại số. Lannes và Zarati (1987), Zarati (1984), Lannes (1988), Kuhn (1995) xây dựng và phát triển đồng cấu $\phi_s^M$ liên hệ với các hàm tử dẫn xuất $\mathcal{D}_s$ của hàm tử bất ổn định hóa $\mathcal{D}$ và ánh xạ Hurewicz trên không gian vòng lặp vô hạn $QX$.
  • Dáng điệu đồng cấu Lannes-Zarati modulo 2: Lannes-Zarati (1987) chứng minh $\phi_1^{\mathbb{F}_2}$ là đẳng cấu và $\phi_2^{\mathbb{F}_2}$ là toàn cấu. Hưng và các cộng sự (1997, 2001, 2008, 2014) chứng minh $\phi_s^{\mathbb{F}_2}$ triệt tiêu trên các phần tử có gốc dương với $3 \le s \le 5$, đồng thời xác định dáng điệu của $\phi_s^M$ khi $M = \widetilde{H}^(RP^\infty)$ và $M = \widetilde{H}^(RP^n)$ với $2 \le s \le 4$.
  • Phức Singer-Hưng-Sum và đại số Dyer-Lashof: Singer (1980) xây dựng phức $\Gamma^+$ cho $p=2$, sau đó Hưng-Sum (1995) mở rộng phức $\Gamma^+ M$ cho trường hợp $p$ lẻ để tính $\text{Tor}_s^{\mathcal{A}}(\mathbb{F}_p, M)$. Đại số Dyer-Lashof $R$ và các quan hệ Nishida được nghiên cứu bởi Curtis (1975), Wellington (1982) và May (1976).

Vị trí của luận án: Khắc phục khoảng trống khi khảo sát đồng cấu Lannes-Zarati đối với số nguyên tố lẻ $p$. Thay vì tiếp cận gián tiếp qua bài toán "hit" của $R_s \mathbb{F}_p$ (vốn rất khó tính toán ở trường hợp $p$ lẻ), luận án chọn hướng tiếp cận trực tiếp thông qua biểu diễn mức độ dây chuyền trên phức $\Gamma^+ M$ và phức Lambda $\Lambda \otimes M^#$, kết hợp công cụ toán tử lũy thừa $P^0$ và dãy phổ mở rộng.

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

Cơ sở lý thuyết

Luận án sử dụng các khung lý thuyết thuần túy của đại số đồng điều và tôpô đại số:

  • Đại số Steenrod $\mathcal{A}$: Đại số phân bậc kết hợp trên $\mathbb{F}_p$ sinh bởi các phần tử $P^i$ bậc $2(p-1)i$ và $\beta$ bậc 1 thỏa mãn $\beta^2 = 0$ cùng hệ thức Adem.
  • Phạm trù $\mathcal{U}$ các $\mathcal{A}$-môđun không ổn định: Môđun $M$ thỏa mãn $P^i x = 0$ khi $2i > \text{deg}(x)$ và $\beta P^i x = 0$ khi $2i+1 > \text{deg}(x)$ với mọi $x \in M$.
  • Hàm tử bất ổn định hóa $\mathcal{D}$: Phụ hợp trái của phép nhúng $\mathcal{U} \hookrightarrow \mathcal{M}$, xác định bởi $\mathcal{D}(M) = M / EM$, với $EM = \text{Span}_{\mathbb{F}_p}{\beta^\epsilon P^i x : \epsilon + 2i > \text{deg}(x), x \in M}$.
  • Xây dựng Singer $R_s M$ và đại số bất biến Dickson-Mùi: Với $E_s = (\mathbb{Z}/p)^s$, $P_s = H^(BE_s) = E(x_1, \dots, x_s) \otimes \mathbb{F}_p[y_1, \dots, y_s]$. Đại số bất biến $(H^(BE_s))^{GL_s}$ được sinh bởi các bất biến Dickson $q_{s,i}$ và bất biến Mùi $M_{s; i_1, \dots, i_k}$. Không gian $R_s M = B[s] \cdot St_s(M^+) \oplus B^-[s] \cdot St_s(M^-)$ là một $\mathcal{A}$-môđun con của $P_s \otimes M$.
  • Phức dây chuyền Singer-Hưng-Sum $\Gamma^+ M$: Phức vi phân thỏa mãn $H_s(\Gamma^+ M) \cong \text{Tor}_s^{\mathcal{A}}(\mathbb{F}_p, M)$.
  • Đại số Lambda $\Lambda$ và đại số Dyer-Lashof $R$: $\Lambda$ là đại số vi phân phân bậc sinh bởi $\lambda_{i-1}$ và $\mu_{j-1}$; $R$ là đại số thương của $\Lambda$ trên iđêan sinh bởi các đơn thức có độ vượt (excess) âm.

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

Luận án sử dụng các phương pháp đại số và giải tích đồng điều:

  • Phương pháp biểu diễn dây chuyền: Chuyển đổi các đồng cấu giữa các nhóm đối đồng điều thành các ánh xạ dây chuyền tường minh giữa các phức vi phân phân bậc ($\Gamma^+ M$, $\Lambda \otimes M^#$ và giải thức Bar $B(\mathbb{F}_p, \mathcal{A}, M)$).
  • Phương pháp sơ đồ giao hoán và giải thức đại số: Sử dụng các dãy khớp ngắn môđun, định lý năm đồng cấu và phép nâng chu trình để chứng minh tính tương thích và đơn cấu của các ánh xạ dây chuyền.
  • Kỹ thuật toán tử lũy thừa $P^0$: Thiết lập tác động của toán tử lũy thừa $P^0$ trên $\text{Ext}_{\mathcal{A}}^{s,*}(M, \mathbb{F}p)$ và trên $(R_s M)^#$, khai thác tính giao hoán $P^0 \circ \phi_s^M = \phi_s^M \circ P^0$ để tính toán ảnh của toàn bộ $P^0$-họ ${a_i}$ từ một phần tử gốc $a{i_0}$.
  • Phương pháp dãy phổ từ phức có lọc: Mở rộng dãy phổ kiểu Cohen-Lin-Mahowald-Chen cho trường hợp $p$ lẻ để phân tích các trang $E_r$ và tính đối đồng điều $\text{Ext}_{\mathcal{A}}^{s,}(\widetilde{H}^(B\mathbb{Z}/p), \mathbb{F}_p)$.

Nguồn tư liệu nghiên cứu là các văn bản toán học giải tích, các cấu trúc đại số trừu tượng và các công trình khoa học đã công bố trong danh mục tài liệu tham khảo.

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

Chương 1. Kiến thức chuẩn bị

Chương 1 hệ thống hóa toàn bộ các công cụ và cấu trúc đại số nền tảng phục vụ cho các chứng minh ở Chương 2 và Chương 3:

  • Đại số Steenrod và môđun: Trình bày định nghĩa $\mathcal{A}$, hệ thức Adem cho $p=2$ và $p$ lẻ, cấu trúc đại số Hopf và đại số đối ngẫu Milnor $\mathcal{A}^*$. Định nghĩa phạm trù môđun không ổn định $\mathcal{U}$ và phép treo $\Sigma^s M$.
  • Đồng cấu Lannes-Zarati: Thiết lập hàm tử bất ổn định hóa $\mathcal{D}$, các hàm tử dẫn xuất $\mathcal{D}_s(M)$ và định lý đẳng cấu của Zarati $\alpha_s(\Sigma M): \mathcal{D}_s(\Sigma^{1-s}M) \xrightarrow{\cong} \Sigma R_s M$. Từ đó đưa ra định nghĩa đối ngẫu $(\phi_s^M)^#: (\mathbb{F}p \otimes{\mathcal{A}} R_s M)t \to \text{Tor}{s,s+t}^{\mathcal{A}}(\mathbb{F}p, M)$ và đồng cấu Lannes-Zarati $\phi_s^M: \text{Ext}{\mathcal{A}}^{s,s+t}(M, \mathbb{F}_p) \to \text{Ann}((R_s M)^#)_t$.
  • Phức Singer-Hưng-Sum: Chi tiết cấu trúc bất biến Dickson $D[s] = \mathbb{F}p[q{s,0}, \dots, q_{s,s-1}]$ và bất biến Mùi $M_{s; i_1, \dots, i_k}$. Định nghĩa không gian $\Gamma_s^+$ và phức $\Gamma^+ M = {(\Gamma^+ M)s}{s \ge 0}$ cùng vi phân $\partial$. Chứng minh ánh xạ $\iota^M: (\Gamma^+ M)s \to B_s(\mathbb{F}p, \mathcal{A}, M)$ là đơn cấu vi phân cảm sinh đẳng cấu $H*(\Gamma^+ M) \cong \text{Tor}*^{\mathcal{A}}(\mathbb{F}_p, M)$ qua bổ đề năm đồng cấu.
  • Đại số Lambda và đại số Dyer-Lashof: Trình bày hệ thức Adem, vi phân trong $\Lambda$, và mô tả đẳng cấu vi phân $\nu^M: \Gamma^+ M \xrightarrow{\cong} \Lambda^# \otimes M$. Trình bày cấu trúc đại số Dyer-Lashof $R = \Lambda / (e(I) < 0)$ và các quan hệ Nishida.
  • Dãy phổ: Trình bày lý thuyết dãy phổ tổng quát ${E_r, d_r}$ sinh bởi phức có lọc $F^p C$, sự hội tụ và phân bậc liên kết $G_{p,q}(A)$.

Chương 2. Biểu diễn dây chuyền của đồng cấu Lannes-Zarati

Chương 2 trình bày các kết quả cốt lõi về mặt xây dựng dây chuyền cho đồng cấu Lannes-Zarati modulo $p$:

  • Hàm tử Singer và cấu trúc cơ sở: Chứng minh phép nhúng chính tắc $R_s M \hookrightarrow (\Gamma^+ M)s$ đặt tương ứng phần tử trong $R_s M$ với các chu trình trong $(\Gamma^+ M)s$. Xác định cơ sở $\mathbb{F}p$ của $R_s M$ thông qua các đơn thức $R{s;0}^{\sigma_1} q{s,0}^{j_1} \cdots R{s;s-1}^{\sigma_s} q_{s,s-1}^{j_s} S_s(m)$ và thiết lập song ánh $\varphi_n: J_n \to I_n$. Từ đó chứng minh $(R_s M)^#$ là một $\mathcal{A}$-môđun thương phải của $R_s \otimes M^#$ với cơ sở là các phần tử $Q_I \otimes \ell = \beta^{\epsilon_1} Q_{i_1} \cdots \beta^{\epsilon_s} Q_{i_s} \otimes \ell$ thỏa mãn $e(I) \ge |\ell|$.
  • Biểu diễn dây chuyền trên phức Singer-Hưng-Sum (Định lý 2.1): Chứng minh ánh xạ $(\tilde{\phi}_s^M)^#: R_s M \to (\Gamma^+ M)_s$ xác định bởi: $$\gamma \mapsto (-1)^{\frac{(s-2)(s-1)}{2}} \gamma$$ là một đơn cấu và là biểu diễn ở mức độ dây chuyền của đối ngẫu $(\phi_s^M)^#$.
  • Biểu diễn dây chuyền trên đại số Lambda (Mệnh đề 2.5): Với $M$ là $\mathcal{A}$-môđun không ổn định bất kỳ, ánh xạ $\tilde{\phi}_s^M: \Lambda_s \otimes M^# \to (R_s M)^#$ cho bởi: $$\lambda_I \otimes \ell \mapsto (-1)^{\frac{(s-1)(s-2)}{2}} [Q_I \otimes \ell]$$ là biểu diễn ở mức độ dây chuyền của $\phi_s^M$.
  • Kỹ thuật chứng minh Mệnh đề 2.2: Sử dụng dãy khớp ngắn $0 \to \Sigma^{2-s} P_1 \otimes M \to \Sigma^{2-s}\widehat{P} \otimes M \to \Sigma^{1-s} M \to 0$, liên kết các toán tử nối $\delta_1$ và vi phân giải thức Bar để thiết lập biểu đồ giao hoán tính toán tường minh $\alpha_s(\Sigma M)$.
  • Toán tử lũy thừa $P^0$ và $P^0$-họ: Chứng minh sự tồn tại và tính tương thích của toán tử $P^0$ trên $\text{Ext}{\mathcal{A}}^s(M, \mathbb{F}p)$ và trên $(R_s M)^#$. Định nghĩa khái niệm $P^0$-họ ${a_i : i \ge i_0}$ thỏa mãn $a{i+1} = P^0(a_i)$, cho phép xác định $\phi_s^M(a_i)$ qua $\phi_s^M(a{i_0})$.
  • Trường hợp $p = 2$: Xác lập lại biểu diễn dây chuyền $\tilde{\phi}_s^M(\lambda_I \otimes \ell) = [Q_I \otimes \ell]$ trên cơ sở đơn thức chấp nhận được với $e(I) \ge |\ell|$.

Chương 3. Ảnh của đồng cấu Lannes-Zarati

Chương 3 áp dụng các biểu diễn dây chuyền và toán tử $P^0$ để xác định tường minh cấu trúc ảnh và nhân của đồng cấu Lannes-Zarati trên các môđun cụ thể:

  • Dáng điệu của $\phi_s^{\mathbb{F}_p}$ với $s \le 3$ trên $\mathbb{F}_p$ ($p$ lẻ):
    • Hạng 1 (Định lý 3.1): $\phi_1^{\mathbb{F}p}: \text{Ext}{\mathcal{A}}^{1, 1+t}(\mathbb{F}_p, \mathbb{F}_p) \to \text{Ann}(B[1]^#)_t$ là một đẳng cấu.
    • Hạng 2 (Định lý 3.2): $\phi_2^{\mathbb{F}p}: \text{Ext}{\mathcal{A}}^{2, 2+t}(\mathbb{F}_p, \mathbb{F}_p) \to \text{Ann}(B[2]^#)_t$ chỉ không tầm thường tại các gốc $t = 0$ và $t = 2(p-1)p^{i+1} - 2$ ($i \ge 0$). Do $\text{Ann}(R_2)$ không tầm thường thêm tại $t = 2(p-1)p(p^i + \dots + 1)$ ($i > 0$), $\phi_2^{\mathbb{F}_p}$ không phải là toàn cấu (khác biệt với trường hợp $p = 2$).
    • Hạng 3 (Định lý 3.4): $\phi_3^{\mathbb{F}p}: \text{Ext}{\mathcal{A}}^{3, 3+t}(\mathbb{F}_p, \mathbb{F}_p) \to (\mathbb{F}p \otimes{\mathcal{A}} R_3 \mathbb{F}_p)^#_t$ là đơn cấu tại $t = 0$ và triệt tiêu trên tất cả các phần tử có gốc dương $t > 0$.
  • Giả thuyết tổng quát: Luận án đề xuất giả thuyết: với mọi $\mathcal{A}$-môđun không ổn định $M$, đồng cấu $\phi_s^M$ triệt tiêu tại mọi phần tử có gốc dương $t > 0$ khi $s > 2$.
  • Dáng điệu của $\phi_s^M$ trên $M = \widetilde{H}^*(B\mathbb{Z}/p)$ ($p$ lẻ):
    • Xây dựng dãy phổ mở rộng tính nhóm mở rộng: xác định cơ sở của $\text{Ext}_{\mathcal{A}}^{0,t}(\widetilde{H}^(B\mathbb{Z}/p), \mathbb{F}p)$ gồm các phần tử $h_i$ bậc $2(p-1)p^i - 1$, và cơ sở của $\text{Ext}{\mathcal{A}}^{1,1+t}(\widetilde{H}^(B\mathbb{Z}/p), \mathbb{F}_p)$ gồm các phần tử $h_i h_j$, $h_i(1)$ và $p b_i(k)$.
    • Hạng 0 (Định lý 3.6): $\phi_0^{\widetilde{H}^*(B\mathbb{Z}/p)}$ là một đẳng cấu.
    • Hạng 1 (Định lý 3.7 & Hệ quả 3.8): $\phi_1^{\widetilde{H}^(B\mathbb{Z}/p)}$ biến $h_i(1) \mapsto \beta Q^{p^i} a b[p^i-1]$, $h_j h_i \mapsto \beta Q^{p^j} a b[(p-1)p^i-1]$ ($0 \le j < i$), và triệt tiêu trên các phần tử còn lại. Suy ra $\phi_1^{\widetilde{H}^(B\mathbb{Z}/p)}$ không phải là toàn cấu.
  • Trường hợp $p = 2$ và hạng 6 (Định lý 3.10): Khảo sát $\phi_6^{\mathbb{F}2}$ trên các phần tử không phân tích được của $\text{Ext}{\mathcal{A}}^{6,6+t}(\mathbb{F}_2, \mathbb{F}_2)$ theo phân loại của Chen (2012) với $0 \le t \le 114$, chứng minh $\phi_6^{\mathbb{F}_2}$ hoàn toàn tầm thường trên tập các phần tử này.
Đối tượng $M$ Hạng $s$ Đặc số $p$ Dáng điệu của $\phi_s^M$ Tính chất ánh xạ
$\mathbb{F}_p$ $s = 1$ $p > 2$ Không tầm thường Đẳng cấu
$\mathbb{F}_p$ $s = 2$ $p > 2$ Không tầm thường tại $t = 0, 2(p-1)p^{i+1}-2$ Không là toàn cấu
$\mathbb{F}_2$ $s = 2$ $p = 2$ Không tầm thường Toàn cấu
$\mathbb{F}_p$ $s = 3$ $p > 2$ Đơn cấu tại $t = 0$; triệt tiêu với mọi $t > 0$ Đơn cấu tại $t=0$
$\widetilde{H}^*(B\mathbb{Z}/p)$ $s = 0$ $p > 2$ Không tầm thường Đẳng cấu
$\widetilde{H}^*(B\mathbb{Z}/p)$ $s = 1$ $p > 2$ Khác 0 trên $h_i(1), h_j h_i$; triệt tiêu trên phần còn lại Không là toàn cấu
$\mathbb{F}_2$ $s = 6$ $p = 2$ Triệt tiêu trên phần tử không phân tích được ($0 \le t \le 114$) Tầm thường

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

Luận án đạt được các kết quả lý thuyết mới trong lĩnh vực Đại số và Lí thuyết số / Tôpô đại số:

  1. Thiết lập tường minh biểu diễn mức độ dây chuyền của đồng cấu Lannes-Zarati modulo $p$ ($p$ lẻ): Xây dựng công thức ánh xạ dây chuyền $(\tilde{\phi}_s^M)^#: R_s M \to (\Gamma^+ M)_s$ trên phức Singer-Hưng-Sum với hệ số dấu $(-1)^{\frac{(s-2)(s-1)}{2}}$, và công thức $\tilde{\phi}_s^M: \Lambda_s \otimes M^# \to (R_s M)^#$ trên đại số Lambda với hệ số dấu $(-1)^{\frac{(s-1)(s-2)}{2}}$. Đây là sự mở rộng tổng quát hóa kết quả của Hưng và Tuấn (2014) từ $p=2$ sang trường hợp số nguyên tố lẻ $p$.
  2. Khám phá và ứng dụng toán tử lũy thừa $P^0$: Chứng minh sự tồn tại và tính tương thích của toán tử lũy thừa $P^0$ trên $\text{Ext}_{\mathcal{A}}^s(M, \mathbb{F}_p)$ và $(R_s M)^#$, xây dựng cấu trúc $P^0$-họ giúp đơn giản hóa và rút gọn đáng kể khối lượng tính toán khi khảo sát đồng cấu Lannes-Zarati mà không cần giải bài toán "hit".
  3. Mô tả tường minh dáng điệu của $\phi_s^{\mathbb{F}_p}$ với $s \le 3$ ($p$ lẻ): Chứng minh $\phi_1^{\mathbb{F}_p}$ là đẳng cấu; chứng minh $\phi_2^{\mathbb{F}_p}$ không phải là toàn cấu (chỉ ra sự khác biệt cấu trúc so với trường hợp $p = 2$); chứng minh $\phi_3^{\mathbb{F}_p}$ là đơn cấu tại gốc $t=0$ và triệt tiêu tại mọi gốc dương $t > 0$.
  4. Đưa ra giả thuyết tổng quát về sự triệt tiêu của $\phi_s^M$: Đề xuất giả thuyết $\phi_s^M$ triệt tiêu trên các phần tử có gốc dương với $s > 2$ đối với mọi $\mathcal{A}$-môđun không ổn định $M$ khi $p$ lẻ, tương thích với các giả thuyết hình học về lớp cầu của Wellington và Eccles.
  5. Tính toán đối đồng điều và mô tả $\phi_s^{\widetilde{H}^*(B\mathbb{Z}/p)}$ với $s = 0, 1$: Xây dựng dãy phổ mở rộng tính $\text{Ext}_{\mathcal{A}}^{s,}(\widetilde{H}^(B\mathbb{Z}/p), \mathbb{F}_p)$ với $s=0, 1$; chứng minh $\phi_0^{\widetilde{H}^(B\mathbb{Z}/p)}$ là đẳng cấu và $\phi_1^{\widetilde{H}^(B\mathbb{Z}/p)}$ không phải là toàn cấu, đồng thời mô tả tường minh tác động trên từng phần tử cơ sở.
  6. Đánh giá $\phi_6^{\mathbb{F}_2}$ trên các phần tử không phân tích được: Chứng minh $\phi_6^{\mathbb{F}2}$ triệt tiêu trên tất cả các phần tử không phân tích được trong $\text{Ext}{\mathcal{A}}^{6,6+t}(\mathbb{F}_2, \mathbb{F}_2)$ với dải bậc $0 \le t \le 114$.

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

  • Hạn chế:
    • Các tính toán giải tích tường minh cho $\phi_s^{\mathbb{F}_p}$ trên trường $\mathbb{F}_p$ mới dừng lại ở các hạng $s \le 3$ do khi $s \ge 4$, các quan hệ Adem trong đại số Dyer-Lashof $R$ và phức vi phân Lambda trở nên phức tạp.
    • Đối với môđun $M = \widetilde{H}^*(B\mathbb{Z}/p)$, kết quả tường minh về ảnh và nhân mới được thiết lập cho các hạng $s = 0$ và $s = 1$.
    • Khảo sát đồng cấu Lannes-Zarati hạng 6 modulo 2 ($\phi_6^{\mathbb{F}_2}$) mới được thực hiện trên tập các phần tử không phân tích được trong phạm vi bậc $0 \le t \le 114$ dựa trên dữ liệu phân loại có sẵn.
  • Hướng nghiên cứu tiếp:
    • Tiếp tục phát triển kỹ thuật đại số Lambda và toán tử $P^0$ để kiểm chứng giả thuyết triệt tiêu của $\phi_s^M$ ($s > 2$) đối với các hạng $s \ge 4$ khi $p$ lẻ.
    • Nghiên cứu mở rộng dãy phổ để tính toán các nhóm $\text{Ext}_{\mathcal{A}}^{s,}(\widetilde{H}^(B\mathbb{Z}/p), \mathbb{F}_p)$ với $s \ge 2$ và khảo sát dáng điệu của $\phi_s^{\widetilde{H}^*(B\mathbb{Z}/p)}$ ở các hạng cao hơn.
    • Mở rộng phạm vi khảo sát dáng điệu của $\phi_s^{\mathbb{F}_2}$ với $s \ge 6$ trên toàn bộ trang $E_2$ của dãy phổ Adams.

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: Cung cấp hệ thống kiến thức nền tảng và kỹ thuật tính toán chuyên sâu về đại số Steenrod, đại số Lambda, đại số Dyer-Lashof và lý thuyết bất biến Dickson-Mùi.
  • Giảng viên và nhà nghiên cứu Tôpô đại số - Đại số đồng điều: Kỹ thuật biểu diễn dây chuyền trên phức Singer-Hưng-Sum (Chương 2), phương pháp xử lý toán tử lũy thừa $P^0$, và kỹ thuật xây dựng dãy phổ tính nhóm Ext (Chương 3) là những công cụ có thể áp dụng trực tiếp cho các bài toán liên quan đến đối đồng điều của đại số Steenrod và các bất biến modular.

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

1. Đồng cấu Lannes-Zarati modulo $p$ được định nghĩa như thế nào và có ý nghĩa gì trong tôpô đại số?

Đồng cấu Lannes-Zarati modulo $p$ là ánh xạ tuyến tính $\phi_s^M: \text{Ext}_{\mathcal{A}}^{s,s+t}(M, \mathbb{F}p) \to \text{Ann}((R_s M)^#)t$, trong đó $M$ là một $\mathcal{A}$-môđun không ổn định và $R_s M$ là xây dựng Singer. Ánh xạ này được xem như một phân bậc liên kết của ánh xạ Hurewicz $H: \pi*^S(X) \to H*(QX)$ trên trang $E_2$ của dãy phổ Adams hội tụ về thành phần $p$-xoắn của nhóm đồng luân ổn định của mặt cầu. Do đó, việc xác định nhân và ảnh của $\phi_s^M$ cho phép khảo sát cấu trúc của ánh xạ Hurewicz và kiểm chứng các giả thuyết về các lớp cầu của Curtis, Wellington và Eccles.

2. Vì sao việc nghiên cứu đồng cấu Lannes-Zarati đối với số nguyên tố lẻ $p$ khó khăn hơn trường hợp $p = 2$?

Ở trường hợp $p$ lẻ, cấu trúc đại số Steenrod $\mathcal{A}$ phức tạp hơn do có thêm sự xuất hiện và tác động của toán tử Bockstein $\beta$ bậc 1 bên cạnh các toán tử lũy thừa $P^i$. Điều này dẫn đến việc các quan hệ Adem trong đại số Dyer-Lashof $R$ và phức vi phân trong đại số Lambda $\Lambda$ có nhiều thành phần đan xen, khiến các tính toán đồng điều và việc giải bài toán "hit" trong $R_s \mathbb{F}_p$ trở nên khó khăn hơn nhiều so với trường hợp $p = 2$.

3. Biểu diễn ở mức độ dây chuyền của đồng cấu Lannes-Zarati trên đại số Lambda được thiết lập như thế nào?

Biểu diễn dây chuyền của $\phi_s^M$ trên phức $\Lambda_s \otimes M^#$ được luận án thiết lập qua ánh xạ $\tilde{\phi}_s^M: \Lambda_s \otimes M^# \to (R_s M)^#$, xác định bởi: $$\lambda_I \otimes \ell \mapsto (-1)^{\frac{(s-1)(s-2)}{2}} [Q_I \otimes \ell]$$ với $I = (\epsilon_1, i_1, \dots, \epsilon_s, i_s)$ là dãy chỉ số chấp nhận được thỏa mãn điều kiện độ vượt $e(I) \ge |\ell|$, và $\ell$ là phần tử trong cơ sở đối ngẫu của $M$.

4. Điểm khác biệt cơ bản về dáng điệu của $\phi_2^{\mathbb{F}_p}$ giữa trường hợp $p$ lẻ và $p = 2$ là gì?

Khi $p = 2$, Lannes và Zarati (1987) đã chứng minh $\phi_2^{\mathbb{F}_2}$ là một toàn cấu. Ngược lại, khi $p$ là số nguyên tố lẻ, Định lý 3.2 của luận án chỉ ra rằng $\phi_2^{\mathbb{F}_p}$ chỉ không tầm thường tại các gốc $t = 0$ và $t = 2(p-1)p^{i+1}-2$ ($i \ge 0$). Vì không gian đích $\text{Ann}(R_2)$ còn không tầm thường tại các phần tử có gốc $t = 2(p-1)p(p^i + \dots + 1)$ ($i > 0$), nên $\phi_2^{\mathbb{F}_p}$ không phải là toàn cấu khi $p$ lẻ.

5. Toán tử lũy thừa $P^0$ đóng vai trò gì trong phương pháp tiếp cận của luận án?

Toán tử lũy thừa $P^0$ tác động tương thích trên cả $\text{Ext}{\mathcal{A}}^s(M, \mathbb{F}p)$ và $(R_s M)^#$ thông qua đồng cấu Lannes-Zarati ($P^0 \circ \phi_s^M = \phi_s^M \circ P^0$). Nhờ đó, với một họ các phần tử dạng ${a_i}$ thỏa mãn $a{i+1} = P^0(a_i)$ ($P^0$-họ), việc xác định ảnh $\phi_s^M(a_i)$ được quy hoàn toàn về việc tính toán trên phần tử đại diện ban đầu $\phi_s^M(a{i_0})$, giúp giảm thiểu khối lượng biến đổi đại số phức tạp và tránh việc phải giải quyết bài toán "hit".

Kết luận

Luận án tiến sĩ của tác giả Phạm Bích Như đã giải quyết bài toán biểu diễn ở mức độ dây chuyền của đồng cấu Lannes-Zarati modulo $p$ ($p$ lẻ) trên phức Singer-Hưng-Sum $\Gamma^+ M$ và trên đại số Lambda $\Lambda \otimes M^#$. Bằng việc phát triển công cụ toán tử lũy thừa $P^0$ và dãy phổ mở rộng, công trình đã xác định tường minh cấu trúc ảnh và nhân của đồng cấu Lannes-Zarati hạng $s \le 3$ trên trường $\mathbb{F}_p$ và hạng $s \le 1$ trên môđun $\widetilde{H}^*(B\mathbb{Z}/p)$, đồng thời làm rõ sự khác biệt bản chất giữa trường hợp $p$ lẻ và $p = 2$. Các kết quả đạt được đóng góp những mô hình đại số tính toán cụ thể cho lý thuyết đồng điều của đại số Steenrod và củng cố cơ sở cho các giả thuyết về lớp cầu trong tôpô đại số.