Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "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ư, dưới sự hướng dẫn khoa học của PGS. Phan Hoàng Chơn và PGS. Nguyễn Sum, bảo vệ tại Trường Đại học Quy Nhơn năm 2021. Luận án thuộc chuyên ngành Đại số và Lí thuyết số, mã số 9 46 01 04, với hội đồng chấm luận án gồm các nhà khoa học: PGS. Lê Minh Hà (Phản biện 1), TS. Nguyễn Lê Chí Quyết (Phản biện 2), PGS. Trương Công Quỳnh (Phản biện 3).

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

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ô là một bài toán trung tâm. Các hàm tử đồng điều và đối đồng điều kì dị thông thường không đủ mạnh để giải quyết bài toán này. Kể từ khi Steenrod xây dựng các toán tử đối đồng điều ổn định (các toán tử bình phương $Sq^i$ cho trường hợp modulo 2 vào năm 1947 và các lũy thừa Steenrod $P^i$ cho trường hợp modulo $p$ lẻ vào năm 1952), đại số Steenrod $\mathcal{A}$ đã trở thành công cụ nền tảng. Một vấn đề cốt lõi gắn liền với cấu trúc này là việc xác định các nhóm đồng luân ổn định của mặt cầu $\pi_^S(S^0)$, vốn tương ứng với trang $E_2$ của dãy phổ Adams thông qua nhóm đối đồng điều của đại số Steenrod $\text{Ext}^{,*}_{\mathcal{A}}(F_p, F_p)$.

Để nghiên cứu $\text{Ext}^{,}{\mathcal{A}}(F_p, F_p)$, nhiều công cụ đã được phát triển như đại số vi phân phân bậc Lambda, dãy phổ May, giải thức tối tiểu và các công cụ bất biến modular. Tiêu biểu cho công cụ bất biến modular là đồng cấu chuyển Singer (1989) và đồng cấu Lannes-Zarati modulo $p$ (được Lannes và Zarati thiết lập năm 1987). Đồng cấu Lannes-Zarati $\phi_s^M$ được xem 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$ của dãy phổ Adams hội tụ đến thành phần $p$-xoắn của $\pi_^S(X)$. Dáng điệu của đồng cấu này liên quan chặt chẽ đến các giả thuyết về các lớp cầu của Curtis (với $p=2$), Wellington (với $p$ lẻ) và Eccles.

Khoảng trống nghiên cứu then chốt mà tác giả luận án chỉ ra là: trong khi đồng cấu Lannes-Zarati modulo 2 đã được nghiên cứu sâu sắc bởi nhiều tác giả, thì trường hợp modulo $p$ với $p$ là số nguyên tố lẻ vẫn còn rất ít kết quả do sự xuất hiện của toán tử Bockstein $\beta$ và hệ thống quan hệ Adem phức tạp làm tăng độ khó tính toán. Thêm vào đó, các phương pháp tiếp cận trước đây cho trường hợp $p=2$ thường dựa vào việc giải quyết bài toán "hit" của $R_s F_2$ (vốn chưa có lời giải tổng quát cho $p$ lẻ khi $s \ge 3$). Do đó, việc tìm kiếm một phương pháp tiếp cận mới trên mức độ dây chuyền để khảo sát dáng điệu của đồng cấu Lannes-Zarati modulo $p$ lẻ là một yêu cầu học thuật cấp thiết.

Mục tiêu, câu hỏi và giả thuyết nghiên cứu

Mục tiêu tổng quát của luận án là nghiên cứu dáng điệu (nhân và ảnh) của đồng cấu Lannes-Zarati modulo $p$ với $p$ là số nguyên tố lẻ, đồng thời mở rộng và kiểm tra lại một số trường hợp đối với $p=2$. Các mục tiêu cụ thể được xác định gồm:

  1. Thiết lập biểu diễn ở mức độ dây chuyền của đối ngẫu đồng cấu Lannes-Zarati modulo $p$, ký hiệu $(\phi_s^M)^#$, trên phức dây chuyền Singer-Hưng-Sum $\Gamma^+ M$.
  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^#$ (với $\Lambda$ là đại số Lambda) đối với $\mathcal{A}$-môđun không ổn định $M$ bất kỳ.
  3. Phát triển toán tử lũy thừa $P^0$ tác động lên các nhóm đối đồng điều $\text{Ext}^{s,*}{\mathcal{A}}(M, F_p)$ và trên $(F_p \otimes{\mathcal{A}} R_s M)^#$ nhằm quy giảm các tính toán phức tạp về các phần tử sinh đại diện.
  4. Xác định tường minh ảnh và nhân của đồng cấu Lannes-Zarati modulo $p$ trên $M = F_p$ với các hạng $s \le 3$, và trên môđun đối đồng điều thu gọn của không gian phân loại $M = \tilde{H}^*(BZ/p)$ với các hạng $s \le 1$.
  5. Khảo sát trường hợp $p=2$: đơn giản hóa việc kiểm tra lại các kết quả đã biết và xác định dáng điệu của $\phi_6^{F_2}$ trên các phần tử không phân tích được của $\text{Ext}^{6,6+t}_{\mathcal{A}}(F_2, F_2)$ trong dải bậc $0 \le t \le 114$.

Về mặt giả thuyết nghiên cứu, luận án tập trung kiểm chứng và đóng góp chứng minh cho:

  • Giả thuyết 1.2 (theo Hưng-Tuấn [34]): Cho $M$ là $\mathcal{A}$-môđun không ổn định bất kỳ, đồng cấu Lannes-Zarati modulo $p$ $$\phi_s^M: \text{Ext}^{s,s+t}{\mathcal{A}}(M, F_p) \longrightarrow (F_p \otimes{\mathcal{A}} R_s M)_t^#$$ là tầm thường tại tất cả các phần tử có gốc $t$ dương với mọi $s > 2$.

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

  • Đối tượng nghiên cứu: Đồng cấu Lannes-Zarati modulo $p$ ($\phi_s^M$); đại số Steenrod $\mathcal{A}$; đại số Lambda $\Lambda$; đại số Dyer-Lashof $R$; hàm tử Singer và xây dựng Singer $R_s M$; phức dây chuyền Singer-Hưng-Sum $\Gamma^+ M$; đối đồng điều của đại số Steenrod $\text{Ext}^{,}_{\mathcal{A}}(M, F_p)$; toán tử lũy thừa $P^0$.
  • Phạm vi nghiên cứu:
    • Về cấu trúc đại số: Xét trên phạm trù các $\mathcal{A}$-môđun không ổn định $\mathcal{U}$ trên trường $F_p$, tập trung chủ yếu vào số nguyên tố lẻ $p$, có so sánh đối chiếu với trường hợp $p=2$.
    • Về môđun cụ thể: Khảo sát chi tiết trên hai môđun là $M = F_p$ (môđun tầm thường) và $M = \tilde{H}^*(BZ/p)$ (đối đồng điều thu gọn của không gian phân loại của $p$-nhóm abel sơ cấp cấp $p$).
    • Về cấp hạng và bậc: Khảo sát hạng $s \le 3$ đối với $M = F_p$; hạng $s \le 1$ đối với $M = \tilde{H}^*(BZ/p)$; và hạng $s = 6$ với bậc $0 \le t \le 114$ đối với $p=2, M = F_2$.

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

Các hướng nghiên cứu trước trong văn bản

Lịch sử phát triển các công cụ liên quan đến đề tài được tác giả tổng thuật qua các mốc nghiên cứu:

  • Cấu trúc đại số Steenrod: Bắt đầu từ công trình của Steenrod (1947, 1952) về các phép toán $Sq^i$ và $P^i$. Các quan hệ Adem được thiết lập bởi Adem (1952). Cấu trúc đại số Hopf phân bậc, đối giao hoán, có bổ sung của đại số Steenrod được hoàn thiện bởi Cartan (1950), Serre (1953) và Milnor (1958).
  • Tính toán đối đồng điều $\text{Ext}^{,}_{\mathcal{A}}(F_p, F_p)$: Với $p=2$, các công trình tiêu biểu gồm Adams (1960), Wang (1967), May (1964, 1966), Tangora (1970), Lin (1974), Lin-Mahowald (1978), Bruner (1982). Tuy nhiên, bài toán này cho đến nay vẫn chưa có lời giải tổng quát, đặc biệt khi $p$ lẻ.
  • Đại số Lambda và đại số Dyer-Lashof: Bousfield và các cộng sự (1966) xây dựng đại số Lambda $\Lambda$. Priddy (1970) chứng minh $\Lambda$ đẳng cấu với giải thức co-Koszul của đại số Steenrod. Cấu trúc đại số Dyer-Lashof $R$ dưới dạng đại số thương của $\Lambda$ qua iđêan sinh bởi các phần tử có trội âm được làm rõ bởi Curtis (1975) và Wellington (1982).
  • Lý thuyết bất biến modular: Dickson (1911) và Mùi (1975) nghiên cứu vành bất biến của đại số đa thức và đại số ngoài dưới tác động của nhóm tuyến tính tổng quát $GL_s$ trên không gian véctơ $E_s = (Z/p)^s$.
  • Phức dây chuyền và hàm tử Singer: Singer (1980) xây dựng phức $\Gamma^+ M$ cho $p=2$, sau đó Hưng và Sum (2002) mở rộng phức dây chuyền Singer-Hưng-Sum cho $p$ lẻ, chứng minh đẳng cấu $H_s(\Gamma^+ M) \cong \text{Tor}^{\mathcal{A}}_s(F_p, M)$. Hàm tử Singer $R_s$ được Lannes-Zarati (1987) và Zarati (1984) khảo sát sâu sắc.
  • Đồng cấu Lannes-Zarati và các bài toán liên quan: Lannes và Zarati (1987) định nghĩa đồng cấu $\phi_s^M$, chứng minh $\phi_1^{F_2}$ là đẳng cấu và $\phi_2^{F_2}$ là toàn cấu. Kuhn (1993) liên kết đồng cấu này với ảnh của ánh xạ Hurewicz cho $p$ lẻ. Hưng và các cộng sự (1999, 2001, 2004, 2007) đã chứng minh $\phi_s^{F_2}$ triệt tiêu tại các phần tử có gốc dương với $3 \le s \le 5$, và mở rộng cho $M = \tilde{H}^* RP^\infty, \tilde{H}^* RP^n$ với $2 \le s \le 4$.

Khoảng trống luận án lựa chọn giải quyết

Toàn bộ các kết quả sâu về đồng cấu Lannes-Zarati tại các hạng cao $s \ge 2$ trước thời điểm luận án ra đời hầu như chỉ giới hạn ở trường hợp $p=2$ và phụ thuộc nặng nề vào các kết quả của bài toán "hit" (bài toán xác định các phần tử trong đại số đa thức không thuộc ảnh của các toán tử Steenrod bậc dương). Đối với $p$ lẻ, việc tính toán bài toán "hit" cho $R_s F_p$ là cực kỳ khó khăn.

Luận án lựa chọn giải quyết khoảng trống này bằng cách:

  1. Xây dựng một biểu diễn ở mức độ dây chuyền cho đồng cấu Lannes-Zarati $\phi_s^M$ thông qua đại số Lambda $\Lambda$ thay vì phụ thuộc vào bài toán "hit".
  2. Khảo sát tường minh cấu trúc đối ngẫu của xây dựng Singer $(R_s M)^#$ thông qua đại số Dyer-Lashof $R$.
  3. Giải quyết bài toán tính toán dáng điệu của $\phi_s^{F_p}$ khi $p$ lẻ tại các hạng $s = 1, 2, 3$, chỉ rõ sự khác biệt bản chất giữa trường hợp $p$ lẻ và trường hợp $p=2$ tại hạng $s=2$.

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

Khung lý thuyết và khái niệm sử dụng

Luận án vận hành trên nền tảng của các cấu trúc đại số trừu tượng và đại số đồng điều:

  • Đại số Steenrod $\mathcal{A}$: Là $F_p$-đại số phân bậc, kết hợp, có đơn vị. Khi $p=2$, sinh bởi ${Sq^i : i \ge 0}$ với $Sq^0 = 1$. Khi $p$ lẻ, sinh bởi ${P^i : i \ge 0}$ bậc $2(p-1)i$ với $P^0 = 1$ và toán tử Bockstein $\beta$ bậc 1 ($\beta^2 = 0$), tuân theo hệ thức Adem.
  • Phạm trù $\mathcal{U}$ các $\mathcal{A}$-môđun không ổn định: Môđun trái phân bậc $M$ thỏa mãn $Sq^i x = 0$ khi $\text{deg}(x) < i$ (với $p=2$), hoặc $P^i x = 0$ khi $2i > \text{deg}(x)$ và $\beta P^i x = 0$ khi $2i \ge \text{deg}(x)$ (với $p$ lẻ).
  • Hàm tử bất ổn định hóa $\mathcal{D}$ và hàm tử dẫn xuất: $\mathcal{D}: \mathcal{M} \to \mathcal{U}$ là 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}_{F_p}{\beta^\epsilon P^i x : \epsilon + 2i > \text{deg}(x)}$. Hàm tử dẫn xuất $\mathcal{D}s$ liên hệ với $\text{Tor}^{\mathcal{A}}{s,t}(F_p, M)$.
  • Xây dựng Singer $R_s M$: Cho $M \in \mathcal{U}$, $R_s M = B[s] \cdot St_s(M^+) \oplus B[s] \cdot St_s(M^-) \subset P_s \otimes M$, trong đó $P_s = H^*(BE_s) = E(x_1, \dots, x_s) \otimes F_p[y_1, \dots, y_s]$.
  • Đạ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$ chia cho iđêan sinh bởi các đơn thức có trội âm $e(I) < 0$.
  • 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}^{\mathcal{A}}_s(F_p, M)$.

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

Luận án là công trình nghiên cứu lý thuyết thuần túy thuộc toán học cơ bản, sử dụng các phương pháp đại số:

  1. Phương pháp biểu diễn dây chuyền: Chuyển đổi các cấu trúc đồng cấu ở mức đối đồng điều về các ánh xạ bảo toàn vi phân ở mức độ phức dây chuyền (giữa phức Singer-Hưng-Sum $\Gamma^+ M$, giải thức bar $\mathcal{B}(\mathcal{A}, \mathcal{A}, M)$ và phức đối đồng điều $\Lambda \otimes M^#$).
  2. Kỹ thuật toán tử lũy thừa: Phát triển toán tử lũy thừa $P^0$ tác động trên các nhóm $\text{Ext}$ và trên $(F_p \otimes_{\mathcal{A}} R_s M)^#$. Tận dụng tính tương thích giao hoán với $\phi_s^M$ để xây dựng các $P^0$-họ ${a_i}$ thỏa mãn $a_{i+1} = P^0(a_i)$, cho phép suy ra ảnh của toàn bộ họ phần tử chỉ từ việc tính toán tại phần tử gốc $a_{i_0}$.
  3. Phương pháp dãy phổ mở rộng: Xây dựng dãy phổ mở rộng dựa trên mô hình dãy phổ Cohen-Lin-Mahowald-Chen để tính toán các nhóm $\text{Ext}^{s,}_{\mathcal{A}}(\tilde{H}^(BZ/p), F_p)$ với $s = 0, 1$.

Nguồn tư liệu và dữ liệu

Nguồn dữ liệu của luận án là dữ liệu toán học suy diễn lý thuyết, bao gồm hệ thống các định lý, công thức đại số và bất biến modular đã được công bố trong các công trình toán học quốc tế: các hệ thức Adem, công thức Cartan, hệ thức Nishida, bảng đối đồng điều của đại số Steenrod modulo $p$, và các bất biến modular Dickson-Mùi.

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 các khái niệm, ký hiệu và công cụ nền tảng xuyên suốt luận án, gồm 6 tiểu mục:

  • 1.1 Đại số Steenrod: Trình bày định nghĩa đại số Steenrod $\mathcal{A}$ trên $F_p$, các quan hệ Adem giữa các toán tử $Sq^a Sq^b$ (cho $p=2$) và giữa $P^a P^b$, $P^a \beta P^b$ (cho $p$ lẻ). Thiết lập cơ sở chấp nhận được của $\mathcal{A}$ gồm các đơn thức có dạng $P^I = \beta^{\epsilon_0} P^{i_1} \beta^{\epsilon_1} \dots P^{i_s} \beta^{\epsilon_s}$ thỏa mãn $i_j \ge p i_{j+1} + \epsilon_j$.
  • 1.2 Môđun trên đại số Steenrod: Định nghĩa phạm trù $\mathcal{M}$ các $\mathcal{A}$-môđun trái phân bậc, phạm trù con $\mathcal{U}$ các $\mathcal{A}$-môđun không ổn định và phép treo $\Sigma^s M$.
  • 1.3 Đồng cấu Lannes-Zarati: Trình bày chi tiết hàm tử bất ổn định hóa $\mathcal{D}(M) = M/EM$, ánh xạ tự nhiên $i_s^M: \mathcal{D}s(M) \to \text{Tor}^{\mathcal{A}}{s,t}(F_p, M)$. Khái quát định lý của Zarati về đẳng cấu $\alpha_s(\Sigma M): \mathcal{D}s(\Sigma^{1-s} M) \to \Sigma R_s M$, từ đó định nghĩa đối ngẫu $(\phi_s^M)^#: (F_p \otimes{\mathcal{A}} R_s M)t \to \text{Tor}^{\mathcal{A}}{s, s+t}(F_p, M)$ và đồng cấu Lannes-Zarati $\phi_s^M: \text{Ext}^{s, s+t}_{\mathcal{A}}(M, F_p) \to \text{Ann}((R_s M)^#)_t$.
  • 1.4 Phức dây chuyền Singer-Hưng-Sum: Giới thiệu đối đồng điều $P_s = H^(BE_s)$ và các bất biến dưới tác động của nhóm tuyến tính $GL_s$. Nhắc lại đại số Dickson $D[s] = F_p[y_1, \dots, y_s]^{GL_s} = F_p[q_{s,0}, \dots, q_{s, s-1}]$ và kết quả của Mùi về cấu trúc tự do của $(H^ BE_s)^{GL_s}$ trên $D[s]$. Trình bày định nghĩa không gian $\Delta_s, \Gamma_s^+$, lũy thừa toàn thể ổn định $S_s(m)$ và định nghĩa phức dây chuyền Singer-Hưng-Sum $(\Gamma^+ M)_s = \Gamma_s^+ S_s(M)$. Trình bày mối liên hệ giữa $\Gamma^+ M$ và giải thức bar $\mathcal{B}(F_p, \mathcal{A}, M)$ qua đơn cấu $\iota_s^M$.
  • 1.5 Đại số Lambda và đại số Dyer-Lashof: Trình bày định nghĩa đại số Lambda $\Lambda$ qua các phần tử sinh $\lambda_{i-1}, \mu_{j-1}$ và hệ thức Adem trong $\Lambda$. Trình bày vi phân của phức $\Lambda \otimes M^#$ và đẳng cấu vi phân $\nu^M: \Gamma^+ M \to \Lambda^# \otimes M$. Trình bày đại số Dyer-Lashof $R = \Lambda / (\text{đơn thức có } e(I) < 0)$ và các hệ thức Nishida mô tả tác động của đại số Steenrod trên $R$.
  • 1.6 Dãy phổ: Khái quát lý thuyết dãy phổ tổng quát, trang $E_r$, vi phân $d_r$, và dãy phổ sinh bởi phức có lọc hội tụ về đối đồng điều của phức.

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ề biểu diễn đại số của đồng cấu Lannes-Zarati ở mức độ dây chuyền:

  • Hàm tử Singer (Mục 2.1): Khảo sát cấu trúc của $B[s]$ và $B[s]$ (ảnh của ánh xạ hạn chế từ đối đồng điều của nhóm đối xứng $\Sigma_{p^s}$ vào $p$-nhóm abel sơ cấp). Định nghĩa lũy thừa toàn thể không ổn định $St_s(m)$ và xây dựng Singer $R_s M = B[s] \cdot St_s(M^+) \oplus B[s] \cdot St_s(M^-)$. Luận án chứng minh:

    • Mệnh đề 2.2: Với mọi $\mathcal{A}$-môđun không ổn định $M$, $R_s M$ là môđun con chứa trong $(\Gamma^+ M)_s$. Phép nhúng chính tắc được xác định qua công thức: $$\lambda St_s(m) \longmapsto (-1)^{sn} \lambda L_s^{\frac{p-1}{2}(2n+\delta)} S_s(m)$$ với $m \in M^{2n+\delta}$ ($\delta \in {0, 1}$).
    • Mệnh đề 2.7: Thiết lập $F_p$-cơ sở tường minh của $R_s M$ bao gồm các phần tử có dạng: $$R_{s;0}^{\sigma_1} q_{s,0}^{j_1} \dots R_{s;s-1}^{\sigma_s} q_{s,s-1}^{j_s} St_s(m)$$ với $\sigma_k \in {0, 1}$, $j_1 \in \mathbb{Z}$, $j_k \ge 0$ ($k \ge 2$), thỏa mãn điều kiện $2j_1 + \sigma_1 + \dots + \sigma_s \ge |m|$.
    • Mệnh đề 2.9: Xác định $F_p$-cơ sở của $(R_s M)^#$ là tập hợp tất cả các phần tử $Q_I \otimes \ell = \beta^{\epsilon_1} Q_{i_1} \dots \beta^{\epsilon_s} Q_{i_s} \otimes \ell$ với $I \in \mathcal{I}_{|\ell|}$ (tức $e(I) \ge |\ell|$) và $\ell$ chạy khắp cơ sở thuần nhất của $M^#$.

  • Biểu diễn ở mức độ dây chuyền (Mục 2.2):

    • Định lý 2.1 (Chơn-Như [17, Định lý 3.1]): Với $\mathcal{A}$-môđun không ổn định $M$, phép nhúng $(\tilde{\phi}_s^M)^#: R_s M \to (\Gamma^+ M)_s$ cho bởi: $$\gamma \longmapsto (-1)^{\frac{(s-2)(s-1)}{2}} \gamma$$ là 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)^#$.
    • Hệ quả 2.3 (Chơn-Như [17, Hệ quả 3.3]): Khi $M = F_p$, do $R_s F_p \cong B[s]$, phép nhúng $(\tilde{\phi}_s^{F_p})^#: B[s] \to \Gamma_s^+$ cho bởi $\gamma \mapsto (-1)^{\frac{(s-2)(s-1)}{2}} \gamma$ là biểu diễn dây chuyền của $(\phi_s^{F_p})^#$.
    • Mệnh đề 2.4 (Chơn-Như [17, Mệnh đề 3.4]): Phép chiếu $\tilde{\phi}_s^{F_p}: \Lambda_s \to R_s$ xác định bởi $\lambda_I \mapsto (-1)^{\frac{(s-2)(s-1)}{2}} Q_I$ là biểu diễn dây chuyền của $\phi_s^{F_p}$.
    • Mệnh đề 2.5 (Chơn-Như [18, Mệnh đề 3.7]): Cho $M$ là $\mathcal{A}$-môđun không ổn định bất kỳ, phép chiếu: $$\tilde{\phi}_s^M: \Lambda_s \otimes M^# \longrightarrow (R_s M)^#$$ xác định 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 đồng cấu Lannes-Zarati $\phi_s^M$.

  • Chứng minh Mệnh đề 2.2 (Mục 2.3): Chi tiết hóa các bước giải tích đồng điều trên dãy khớp ngắn của phức bar kết hợp hàm tử bất ổn định hóa $E(-)$, xây dựng biểu diễn dây chuyền của $(\alpha_s(\Sigma M))^{-1}: \Sigma R_s M \to \mathcal{D}_s(\Sigma^{1-s} M)$.

  • Toán tử lũy thừa (Mục 2.4): Thiết lập tác động của toán tử $P^0$ trên $\text{Ext}^{s,*}{\mathcal{A}}(M, F_p)$ và trên $(F_p \otimes{\mathcal{A}} R_s M)^#$, chứng minh tính tương thích giao hoán với $\phi_s^M$. Điều này cho phép xác định $\phi_s^M(a_i)$ thông qua $\phi_s^M(a_{i_0})$ đối với mọi $P^0$-họ ${a_i}$.

  • Trường hợp $p = 2$ (Mục 2.5): Điều chỉnh kết quả cho đặc số 2:

    • Mệnh đề 2.10: $(R_s M)^#$ có cơ sở gồm $Q_I \otimes \ell$ với $e(I) \ge |\ell|$.
    • Mệnh đề 2.11: Phép chiếu $\tilde{\phi}_s^M: \Lambda_s \otimes M^# \to (R_s M)^#$ cho bởi $\lambda_I \otimes \ell \mapsto [Q_I \otimes \ell]$ là biểu diễn dây chuyền của $\phi_s^M$ modulo 2.

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

Chương 3 áp dụng toàn bộ các công cụ dây chuyền đã thiết lập ở Chương 2 để tính toán cụ thể dáng điệu của $\phi_s^M$:

  • Ảnh của $\phi_s^{F_p}$ modulo $p$ trên $F_p$ (Mục 3.1):

    • Định lý 3.1 (Chơn-Như [17, Định lý 4.1]): Đồng cấu Lannes-Zarati hạng 1: $$\phi_1^{F_p}: \text{Ext}^{1, 1+t}_{\mathcal{A}}(F_p, F_p) \longrightarrow \text{Ann}(B[1]^#)_t$$ là một đẳng cấu. Kết quả này tương đồng với trường hợp $p=2$ của Lannes và Zarati.
    • Định lý 3.2 (Chơn-Như [17, Định lý 4.2]): Đồng cấu Lannes-Zarati hạng 2: $$\phi_2^{F_p}: \text{Ext}^{2, 2+t}_{\mathcal{A}}(F_p, F_p) \longrightarrow \text{Ann}(B[2]^#)_t$$ chỉ không tầm thường tại các phần tử có gốc $t = 0$ và $t = 2(p-1)p^{i+1} - 2$ ($i \ge 0$). Luận án đối chiếu với kết quả của Wellington [66] về việc $\text{Ann}(R_2)$ còn không tầm thường tại $t = 2(p-1)p(p^i + \dots + 1)$ ($i > 0$), từ đó rút ra kết luận quan trọng: $\phi_2^{F_p}$ không phải là toàn cấu. Đây là điểm khác biệt căn bản giữa $p$ lẻ và $p=2$ (khi mà $\phi_2^{F_2}$ là toàn cấu).
    • Định lý 3.4 (Chơn-Như [18, Định lý 5.1]): Đồng cấu Lannes-Zarati hạng 3: $$\phi_3^{F_p}: \text{Ext}^{3, 3+t}{\mathcal{A}}(F_p, F_p) \longrightarrow (F_p \otimes{\mathcal{A}} R_3 F_p)_t^#$$ là một đơn cấu với $t=0$ và bị triệt tiêu tại tất cả các phần tử có gốc $t$ dương ($t > 0$). Kết quả này khẳng định Giả thuyết 1.2 đúng đắn đối với trường hợp $s=3, M=F_p$ khi $p$ lẻ.

  • Ảnh của đồng cấu Lannes-Zarati trên $M = \tilde{H}^*(BZ/p)$ (Mục 3.3):

    • Luận án mở rộng dãy phổ kiểu Cohen-Lin-Mahowald-Chen để tính toán đối đồng điều.
    • Định lý 3.5 & 3.6: Xác định hệ $F_p$-cơ sở tường minh cho các nhóm mở rộng $\text{Ext}^{0,t}{\mathcal{A}}(\tilde{H}^*(BZ/p), F_p)$ và $\text{Ext}^{1, 1+t}{\mathcal{A}}(\tilde{H}^*(BZ/p), F_p)$.
    • Định lý 3.7 (Chơn-Như [18, Định lý 5.6]): Đồng cấu $\phi_0^{\tilde{H}^*(BZ/p)}$ là một đẳng cấu.
    • Định lý 3.8 & Hệ quả 3.9 (Chơn-Như [18, Định lý 5.7 & Hệ quả 5.8]): Xác định ảnh cụ thể của các phần tử cơ sở qua $\phi_1^{\tilde{H}^*(BZ/p)}$ và chứng minh rằng đồng cấu này không phải là một toàn cấu.

  • Trường hợp $p = 2$ trên $F_2$ và $\tilde{H}^*(BZ/2)$ (Mục 3.4):

    • Sử dụng phương pháp dây chuyền của luận án để kiểm tra lại các kết quả đã biết của Lannes-Zarati, Hưng và cộng sự với các bước tính toán tinh giản hơn.
    • Khảo sát các phần tử không phân tích được trong $\text{Ext}^{6, 6+t}_{\mathcal{A}}(F_2, F_2)$ với $0 \le t \le 114$ dựa trên danh mục của Chen [12].
    • Định lý 3.10: Chứng minh đồng cấu Lannes-Zarati modulo 2 hạng 6: $$\phi_6^{F_2}: \text{Ext}^{6, 6+t}_{\mathcal{A}}(F_2, F_2) \longrightarrow \text{Ann}((R_6 F_2)^#)_t$$ tầm thường (bằng 0) trên tất cả các phần tử không phân tích được trong dải bậc $0 \le t \le 114$.

Bảng tổng hợp so sánh dáng điệu của đồng cấu Lannes-Zarati

Cấu trúc / Đối tượng Trường hợp $p = 2$ (đã biết trong y văn) Trường hợp $p$ lẻ (kết quả của luận án)
Biểu diễn dây chuyền của $(\phi_s^M)^#$ trên $\Gamma^+ M$ Phép nhúng chính tắc sai khác về dấu (Hưng-Tuấn) Phép nhúng chính tắc với dấu $(-1)^{\frac{(s-2)(s-1)}{2}}$ (Định lý 2.1)
Biểu diễn dây chuyền của $\phi_s^M$ trên $\Lambda \otimes M^#$ $\lambda_I \otimes \ell \mapsto [Q_I \otimes \ell]$ $\lambda_I \otimes \ell \mapsto (-1)^{\frac{(s-1)(s-2)}{2}} [Q_I \otimes \ell]$ (Mệnh đề 2.5)
Đồng cấu hạng 1: $\phi_1^{F_p}$ Đẳng cấu (Lannes-Zarati) Đẳng cấu (Định lý 3.1)
Đồng cấu hạng 2: $\phi_2^{F_p}$ Toàn cấu (Lannes-Zarati) Không phải toàn cấu; chỉ khác 0 tại $t=0$ và $t=2(p-1)p^{i+1}-2$ (Định lý 3.2)
Đồng cấu hạng 3: $\phi_3^{F_p}$ Triệt tiêu tại $t > 0$ (Hưng và cộng sự) Đơn cấu tại $t=0$, triệt tiêu tại mọi $t > 0$ (Định lý 3.4)
Đồng cấu trên $\tilde{H}^*(BZ/p)$ hạng 0 ($\phi_0$) Đẳng cấu (Hưng-Tuấn) Đẳng cấu (Định lý 3.7)
Đồng cấu trên $\tilde{H}^*(BZ/p)$ hạng 1 ($\phi_1$) Không là toàn cấu (Hưng-Tuấn) Không là toàn cấu (Hệ quả 3.9)
Đồng cấu hạng 6: $\phi_6^{F_2}$ Chưa khảo sát trên các phần tử Chen Tầm thường trên các phần tử không phân tích được với $0 \le t \le 114$ (Định lý 3.10)

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

Luận án tự nêu các đóng góp mới về mặt lý luận và khoa học chuyên ngành như sau:

  1. Thiết lập biểu diễn dây chuyền tường minh của đồng cấu Lannes-Zarati:

    • Đã chứng minh phép nhúng chính tắc $(\tilde{\phi}_s^M)^#: R_s M \to (\Gamma^+ M)_s$ cho bởi $\gamma \mapsto (-1)^{\frac{(s-2)(s-1)}{2}} \gamma$ là biểu diễn dây chuyền của đối ngẫu $(\phi_s^M)^#$ trên phức dây chuyền Singer-Hưng-Sum với mọi $\mathcal{A}$-môđun không ổn định $M$ khi $p$ lẻ (tổng quát hóa kết quả của Hưng-Tuấn cho $p=2$).
    • Đã thiết lập biểu diễn dây chuyền của $\phi_s^M$ trên phức đại số Lambda $\Lambda_s \otimes M^# \to (R_s M)^#$ thông qua phép chiếu $\lambda_I \otimes \ell \mapsto (-1)^{\frac{(s-1)(s-2)}{2}} [Q_I \otimes \ell]$.

  2. Phát triển và ứng dụng kỹ thuật toán tử lũy thừa $P^0$:

    • Đã chứng minh sự tồn tại và tính tương thích giao hoán của toán tử $P^0$ trên $\text{Ext}^{s,}{\mathcal{A}}(M, F_p)$ và trên $(F_p \otimes{\mathcal{A}} R_s M)^#$ qua đồng cấu $\phi_s^M$ đối với $M = F_p$ và $M = \tilde{H}^(BZ/p)$.
    • Khái niệm $P^0$-họ cho phép quy việc xác định giá trị của $\phi_s^M$ trên vô hạn phần tử về việc khảo sát một số hữu hạn các phần tử gốc, khắc phục khó khăn của việc tính toán trực tiếp trên đại số Dyer-Lashof $R$.

  3. Mô tả tường minh dáng điệu của đồng cấu Lannes-Zarati modulo $p$ trên $F_p$:

    • Chứng minh $\phi_1^{F_p}$ là đẳng cấu.
    • Chứng minh $\phi_2^{F_p}$ chỉ khác không tại gốc $t=0$ và $t=2(p-1)p^{i+1}-2$, qua đó chỉ ra $\phi_2^{F_p}$ không phải toàn cấu (phát hiện sự khác biệt bản chất so với $p=2$).
    • Chứng minh $\phi_3^{F_p}$ là đơn cấu tại $t=0$ và triệt tiêu tại tất cả các gốc dương $t > 0$, qua đó khẳng định Giả thuyết 1.2 đúng với trường hợp $s=3, M=F_p$.

  4. Xác định dáng điệu của đồng cấu Lannes-Zarati trên $\tilde{H}^*(BZ/p)$:

    • Xây dựng thành công dãy phổ mở rộng để tính toán cơ sở của $\text{Ext}^{0,t}{\mathcal{A}}(\tilde{H}^*(BZ/p), F_p)$ và $\text{Ext}^{1,1+t}{\mathcal{A}}(\tilde{H}^*(BZ/p), F_p)$.
    • Chứng minh $\phi_0^{\tilde{H}^(BZ/p)}$ là đẳng cấu và $\phi_1^{\tilde{H}^(BZ/p)}$ không phải toàn cấu.

  5. Đóng góp mới đối với trường hợp $p=2$:

    • Đơn giản hóa kỹ thuật tính toán cho các kết quả đã biết trước đây.
    • Chứng minh $\phi_6^{F_2}$ tầm thường trên tất cả các phần tử không phân tích được của $\text{Ext}^{6,6+t}_{\mathcal{A}}(F_2, F_2)$ trong phạm vi bậc $0 \le t \le 114$.

Kiến nghị và giải pháp đề xuất

Văn bản luận án đề xuất việc áp dụng bộ công cụ biểu diễn dây chuyền trên đại số Lambda kết hợp toán tử lũy thừa $P^0$ như một giải pháp thay thế hiệu quả cho phương pháp giải bài toán "hit" truyền thống trong các nghiên cứu tiếp theo về đối đồng điều của đại số Steenrod.

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

Hạn chế

Dựa trên phạm vi và các nội dung văn bản đề cập:

  • Do độ phức tạp tính toán của các quan hệ Adem trong đại số Dyer-Lashof $R$ tăng rất nhanh khi hạng $s$ tăng lên, các tính toán tường minh của luận án đối với $M = F_p$ mới giải quyết trọn vẹn đến hạng $s = 3$.
  • Đối với môđun $M = \tilde{H}^*(BZ/p)$, kết quả tính toán tường minh và khảo sát đồng cấu Lannes-Zarati mới thực hiện được cho hạng $s = 0$ và $s = 1$.
  • Đối với trường hợp $p=2$, việc khảo sát đồng cấu $\phi_6^{F_2}$ mới thực hiện trên tập các phần tử không phân tích được trong dải bậc $0 \le t \le 114$ do Chen xác định, chưa mở rộng ra toàn bộ các phần tử phân tích được hoặc dải bậc $t > 114$.

Hướng nghiên cứu tiếp

Các hướng nghiên cứu được gợi mở trực tiếp từ văn bản luận án gồm:

  1. Tiếp tục nghiên cứu kiểm chứng Giả thuyết 1.2 cho các hạng $s \ge 4$ trong trường hợp modulo $p$ lẻ.
  2. Mở rộng việc tính toán đối đồng điều $\text{Ext}^{s,}_{\mathcal{A}}(\tilde{H}^(BZ/p), F_p)$ và khảo sát dáng điệu của $\phi_s^{\tilde{H}^*(BZ/p)}$ cho các hạng $s \ge 2$.
  3. Nghiên cứu mở rộng dáng điệu của đồng cấu Lannes-Zarati $\phi_6^{F_2}$ cho các phần tử có bậc cao hơn $t > 114$ và khảo sát các hạng cao hơn $s \ge 7$ đối với trường hợp $p=2$.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo chuyên sâu, có giá trị học thuật đối với các đối tượng cụ thể:

  • Nghiên cứu sinh và học viên cao học ngành Đại số, Lí thuyết số và Tôpô đại số: Cung cấp tài liệu chi tiết, hệ thống về lý thuyết đại số Steenrod modulo $p$ lẻ, cấu trúc đối ngẫu của đại số Dyer-Lashof, đại số Lambda và bất biến modular Dickson-Mùi.
  • Giảng viên và nhà nghiên cứu đại số đồng điều: Các kỹ thuật xây dựng biểu diễn dây chuyền của đối đồng điều thông qua phức Singer-Hưng-Sum $\Gamma^+ M$ (Chương 2) và kỹ thuật sử dụng toán tử lũy thừa $P^0$ (Mục 2.4) là công cụ hữu ích để giải quyết các bài toán liên quan đến đối đồng điều của các đại số Hopf phân bậc.
  • Các nhà nghiên cứu về bài toán lớp cầu và dãy phổ Adams: Kết quả về dáng điệu triệt tiêu của $\phi_s^M$ tại các bậc gốc dương là tài liệu tham khảo trực tiếp cho các công trình nghiên cứu xoay quanh giả thuyết Wellington, giả thuyết Curtis và giả thuyết Eccles.

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

1. Đồng cấu Lannes-Zarati hạng 2 modulo $p$ ($\phi_2^{F_p}$) khi $p$ lẻ có điểm gì khác biệt so với trường hợp $p=2$?

Trong trường hợp $p=2$, Lannes và Zarati (1987) đã chứng minh $\phi_2^{F_2}$ là một toàn cấu. Tuy nhiên, khi $p$ là số nguyên tố lẻ, Định lý 3.2 của luận án chứng minh rằng $\phi_2^{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$). Đối chiếu với kết quả của Wellington (1982) chỉ ra không gian đích $\text{Ann}(R_2)$ còn chứa các phần tử không tầm thường tại các gốc $t = 2(p-1)p(p^i + \dots + 1)$ ($i > 0$). Do đó, ảnh của $\phi_2^{F_p}$ không phủ hết $\text{Ann}(R_2)$, nghĩa là $\phi_2^{F_p}$ không phải là toàn cấu.

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

Theo Mệnh đề 2.5 của luận án, với $M$ là $\mathcal{A}$-môđun không ổn định bất kỳ, biểu diễn ở mức độ dây chuyền của đồng cấu Lannes-Zarati $\phi_s^M$ là phép chiếu: $$\tilde{\phi}_s^M: \Lambda_s \otimes M^# \longrightarrow (R_s M)^#$$ được xác định cụ thể bởi công thức: $$\lambda_I \otimes \ell \longmapsto (-1)^{\frac{(s-1)(s-2)}{2}} [Q_I \otimes \ell]$$ trong đó $\lambda_I \in \Lambda_s$, $\ell \in M^#$, và $[Q_I \otimes \ell]$ là lớp tương đương đại diện trong không gian thương $(R_s M)^#$.

3. Toán tử lũy thừa $P^0$ có vai trò gì trong việc giảm nhẹ khối lượng tính toá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ả hai không gian $\text{Ext}^{s,*}{\mathcal{A}}(M, F_p)$ và $(F_p \otimes{\mathcal{A}} R_s M)^#$, đồng thời giao hoán với đồng cấu Lannes-Zarati $\phi_s^M$. Khi một tập hợp các phần tử lập thành một $P^0$-họ ${a_i}$ thỏa mãn $a_{i+1} = P^0(a_i)$, ta có thể tính $\phi_s^M(a_i)$ hoàn toàn thông qua giá trị của phần tử gốc $\phi_s^M(a_{i_0})$. Điều này cho phép bỏ qua việc tính toán lặp lại các quan hệ Adem phức tạp trên đại số Dyer-Lashof đối với các phần tử bậc cao.

4. Luận án đã đạt được kết quả gì đối với Giả thuyết 1.2 của Hưng-Tuấn?

Giả thuyết 1.2 phát biểu rằng với mọi $\mathcal{A}$-môđun không ổn định $M$, đồng cấu Lannes-Zarati $\phi_s^M$ bị triệt tiêu tại tất cả các phần tử có gốc $t > 0$ khi $s > 2$. Luận án đã chứng minh thành công trường hợp $s = 3$ với $M = F_p$ cho $p$ là số nguyên tố lẻ (Định lý 3.4): $\phi_3^{F_p}$ là đơn cấu khi $t = 0$ và triệt tiêu hoàn toàn khi $t > 0$, qua đó khẳng định tính đúng đắn của Giả thuyết 1.2 cho trường hợp này.

5. Kết quả khảo sát đồng cấu Lannes-Zarati hạng 6 modulo 2 ($\phi_6^{F_2}$) trên các phần tử Chen là gì?

Dựa vào danh mục các phần tử không phân tích được trong $\text{Ext}^{6,6+t}_{\mathcal{A}}(F_2, F_2)$ với $0 \le t \le 114$ do Chen xác định năm 2011, luận án áp dụng biểu diễn dây chuyền và chứng minh tại Định lý 3.10 rằng $\phi_6^{F_2}$ nhận giá trị tầm thường (bằng 0) trên tất cả các phần tử không phân tích được này.

Kết luận

Luận án "Một số vấn đề về đồng cấu Lannes-Zarati modulo p" của tác giả Phạm Bích Như đã giải quyết thỏa đáng việc thiết lập biểu diễn dây chuyền của đồng cấu Lannes-Zarati modulo $p$ trên phức Singer-Hưng-Sum và đại số Lambda. Công trình đã mô tả tường minh ảnh và nhân của đồng cấu này đối với môđun tầm thường $F_p$ (ở các hạng $s \le 3$) và môđun $\tilde{H}^*(BZ/p)$ (ở các hạng $s \le 1$) khi $p$ lẻ, chỉ ra sự khác biệt về tính toàn cấu của hạng $s=2$ so với trường hợp modulo 2, đồng thời xác nhận Giả thuyết 1.2 tại hạng $s=3$. Các kỹ thuật kết hợp giữa biểu diễn dây chuyền, toán tử lũy thừa $P^0$ và dãy phổ mở rộng cung cấp phương pháp tiếp cận hiệu quả cho các nghiên cứu tiếp theo về đối đồng điều của đại số Steenrod và tôpô đại số.