Tổng quan luận án

Bài toán phân loại đồng luân các ánh xạ liên tục giữa các mặt cầu $S^n \to S^m$ là bài toán trung tâm của Tôpô đại số kể từ năm 1930 khi H. Hopf phát hiện các ánh xạ không tầm thường $S^3 \to S^2$, $S^7 \to S^4$ và $S^{15} \to S^8$. Thông qua dãy phổ Adams do J. F. Adams thiết lập, việc tính toán thành phần 2-xoắn của nhóm đồng luân ổn định của mặt cầu $\pi_^S(S^0)$ được quy về việc xác định cấu trúc đối đồng điều của đại số Steenrod $\text{Ext}_{\mathcal{A}}^{s, s+}(\mathbb{F}_2, \mathbb{F}2)$. Tuy nhiên, không gian này có cấu trúc phức tạp và bài toán xác định $\text{Ext}{\mathcal{A}}^s(\mathbb{F}_2, \mathbb{F}_2)$ vẫn chưa được giải quyết đối với số chiều đồng điều $s \ge 5$. Nhằm tiếp cận đối tượng này thông qua lý thuyết bất biến, W. M. Singer đã xây dựng đồng cấu chuyển đại số $Tr_s$, đồng thời J. Lannes và S. Zarati thiết lập đồng cấu Lannes - Zarati $\phi_s$ liên kết với đồng cấu Hurewicz trên trang $E_2$ của dãy phổ Adams. Khoảng trống nghiên cứu mà luận án tập trung giải quyết là kiểm chứng các giả thuyết nền tảng liên quan đến hai đồng cấu này tại các bậc đồng điều cao ($s \ge 5$).

Mục tiêu và các giả thuyết nghiên cứu chính được văn bản xác định cụ thể như sau:

  1. Giả thuyết 1 (Giả thuyết Singer / Giả thuyết II.1): Đồng cấu chuyển đại số $Tr_s: \mathbb{F}2 \otimes{GL_s} P H_(BV_s) \to \text{Ext}_{\mathcal{A}}^{s, s+}(\mathbb{F}_2, \mathbb{F}2)$ là một đơn cấu với mọi $s \ge 0$. Mục tiêu của luận án là khảo sát tính chất đơn cấu và toàn cấu của $Tr_5$ tại bậc 11 thông qua kiểm chứng phần tử tới hạn $P(h_2) \in \text{Ext}{\mathcal{A}}^{5, 16}(\mathbb{F}_2, \mathbb{F}_2)$.
  2. Giả thuyết 2 (Dạng đại số của Giả thuyết cổ điển về lớp cầu / Giả thuyết III.1): Đồng cấu Lannes - Zarati $\phi_s: \text{Ext}_{\mathcal{A}}^{s, s+d}(\mathbb{F}_2, \mathbb{F}2) \to P(\mathbb{F}2 \otimes{GL_s} H*(BV_s))d$ triệt tiêu tại mọi phần tử có gốc $d > 0$ đối với mọi $s > 2$. Mục tiêu của luận án là mô tả tác động của toán tử squaring $Sq^0$ trên đối ngẫu của đại số Dickson và ứng dụng để chứng minh sự triệt tiêu của $\phi_s$ trên các họ phần tử trong $\text{Ext}{\mathcal{A}}^s(\mathbb{F}_2, \mathbb{F}_2)$.

Đối tượng nghiên cứu của luận án là đại số Steenrod môđulô 2 ($\mathcal{A}$), nhóm 2-abel sơ cấp hạng $s$ ($V_s$), đại số đa thức $P_s = H^*(BV_s)$, đại số bất biến Dickson $D_s = P_s^{GL_s}$, toán tử squaring cổ điển, toán tử squaring Kameko và toán tử squaring trên đối ngẫu của đại số Dickson. Phạm vi nghiên cứu tập trung vào cấu trúc đại số và đồng điều tại các số chiều phân bậc cụ thể, bao gồm hạng $s = 5$ tại bậc 11 đối với đồng cấu chuyển Singer, và hạng tổng quát $s \ge 3$ (đặc biệt là $s \le 7$) đối với toán tử squaring và đồng cấu Lannes - Zarati.

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

Lịch sử nghiên cứu cấu trúc đại số Steenrod và các đồng cấu liên quan được tác giả tổng thuật qua các mốc công trình:

  • H. Hopf (1930): Phát hiện các ánh xạ Hopf gắn liền với các đại số có phép chia trên trường số thực.
  • L. S. Pontrjagin (thập niên 1940): Đưa ra các khẳng định về phân loại đa tạp 3 chiều compact liên thông định hướng được bằng đối đồng điều, sau đó xuất hiện các phản ví dụ dẫn đến nhu cầu tìm kiếm các toán tử đối đồng điều.
  • N. E. Steenrod (1947, 1952): Xây dựng hệ các toán tử $Sq^i$ trên đối đồng điều hệ số $\mathbb{F}_2$ và $\mathbb{F}_p$.
  • J. Adem (1952), H. Cartan (1950s), J.-P. Serre (1953), J. Milnor (1958): Xác định hệ quan hệ Adem, công thức Cartan, tính chất ổn định và cấu trúc đại số Hopf với phép liên hợp $\chi$ của đại số Steenrod $\mathcal{A}$.
  • J. F. Adams (1958, 1960): Thiết lập dãy phổ Adams nối kết $\text{Ext}_{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}2)$ với nhóm đồng luân ổn định $\pi*^S(S^0)$.
  • W. M. Singer (1989): Xây dựng đồng cấu chuyển đại số $Tr_s$, chứng minh $Tr_s$ là đẳng cấu với $s = 1, 2$, nêu Giả thuyết 1 về tính đơn cấu của $Tr_s$, và đưa ra khái niệm phần tử spike trong bài toán "hit".
  • J. M. Boardman (1991): Chứng minh $Tr_3$ là một đẳng cấu.
  • A. Liulevicius (1962): Xây dựng toán tử squaring cổ điển $Sq^i$ trên $\text{Ext}_{\mathcal{A}}^{*, *}(\mathbb{F}_2, \mathbb{F}_2)$ thông qua đồng cấu Frobenius.
  • M. Kameko (1990), M. C. Crabb và J. R. Hubbuck (1992): Giải bài toán "hit" cho $s \le 3$ và nghiên cứu tính bị chặn đều của $P H_*(BV_s)$ qua toán tử squaring Kameko $\widetilde{Sq^0}$.
  • Nguyễn H. V. Hưng (N. Hưng): Chứng minh tính đẳng cấu ở bậc lũy thừa $(s-2)$ của toán tử squaring Kameko; phát hiện toán tử squaring $Sq^0$ trên $P(\mathbb{F}2 \otimes{GL_s} H_(BV_s))$; thiết lập dạng đại số của Giả thuyết lớp cầu; cùng T. Nam chứng minh $j_s^ = \phi_s \circ Tr_s = 0$ với $s > 2$; chứng minh tồn tại vô số bậc mà $Tr_s$ không là đẳng cấu với $s \ge 5$; và chứng minh nếu $Tr_s$ phát hiện phần tử tới hạn thì $Tr_s$ không là đơn cấu.
  • R. R. Bruner, L. M. Hà, N. Hưng (2002): Khảo sát đầy đủ đồng cấu $Tr_4$. R. Bruner sử dụng máy tính xác định số chiều không gian $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_{11}$ bằng 315 và không gian con $GL_5$-bất biến của nó bằng 0.
  • J. Lannes và S. Zarati (1987), Ch. Peterson (1998): Xây dựng đồng cấu $\phi_s$ và chứng minh tính triệt tiêu của $\phi_s$ trên các phần tử phân tích được với $s > 2$.

Khoảng trống học thuật mà luận án trực tiếp giải quyết bao gồm: (1) Kiểm chứng bằng phương pháp giải tích đại số thuần túy (không dùng máy tính) tính chất của $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_{11}^{GL_5}$ để xác định xem phần tử tới hạn $P(h_2)$ có thuộc ảnh của $Tr_5$ hay không; (2) Thiết lập biểu diễn ở mức độ dây chuyền cho toán tử squaring trên đối ngẫu của đại số Dickson với mọi hạng $s \ge 3$, xác định tính đẳng cấu trên ảnh, và tìm các điều kiện số học của bậc triệt tiêu để áp dụng vào Giả thuyết Lannes - Zarati.

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

Luận án sử dụng khung lý thuyết của Tôpô đại số, Đại số đồng điều và Lý thuyết bất biến môđulô 2. Vành hệ số xuyên suốt là trường hữu hạn $\mathbb{F}_2 = {0, 1}$.

Hệ thống ký hiệu và công cụ toán học nền tảng gồm:

Ký hiệu / Khái niệm Định nghĩa và vai trò trong luận án
$\mathbb{F}_2$ Trường gồm 2 phần tử ${0, 1}$.
$V_s \cong (\mathbb{Z}_2)^s$ Nhóm 2-abel sơ cấp hạng $s$, $BV_s$ là không gian phân loại tương ứng.
$GL_s := GL(V_s)$ Nhóm tuyến tính tổng quát các ma trận khả nghịch $s \times s$ trên $\mathbb{F}_2$.
$\mathcal{A}$ Đại số Steenrod môđulô 2 sinh bởi các toán tử $Sq^i$ ($i \ge 0$) thỏa mãn quan hệ Adem và công thức Cartan.
$\text{Ext}_{\mathcal{A}}^{s, t}(\mathbb{F}_2, \mathbb{F}_2)$ Đối đồng điều của đại số Steenrod $\mathcal{A}$, trang $E_2$ của dãy phổ Adams.
$P_s := H^*(BV_s)$ Đại số đa thức $\mathbb{F}_2[x_1, \dots, x_s]$ với $\deg(x_i) = 1$.
$D_s := P_s^{GL_s}$ Đại số Dickson gồm các phần tử $GL_s$-bất biến của $P_s$, $D_s = \mathbb{F}2[Q{s,0}, \dots, Q_{s,s-1}]$, với $\deg(Q_{s,i}) = 2^s - 2^i$.
$M_s := P_s^{T_s}$ Đại số Mùi gồm các phần tử bất biến dưới nhóm ma trận tam giác trên $T_s$, $M_s = \mathbb{F}_2[V_1, \dots, V_s]$.
$P H_*(BV_s)$ Không gian con của $H_*(BV_s)$ gồm các phần tử bị triệt tiêu bởi mọi toán tử $Sq^i$ với $i > 0$.
$P(\mathbb{F}2 \otimes{GL_s} H_*(BV_s))$ Đối ngẫu của không gian $\mathbb{F}2 \otimes{\mathcal{A}} D_s = D_s / \mathcal{A}^+ D_s$.
Spike Đơn thức $x^{p_1} y^{p_2} z^{p_3} t^{p_4} \in P_4$ với $p_j = 2^{a_j} - 1$, không thể xuất hiện trong ảnh $\mathcal{A}^+ P_4$.

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 kết hợp giữa biến đổi đại số, phân tích tổ hợp phân bậc, quy nạp toán học và lý thuyết biểu diễn môđun:

  • Kỹ thuật xử lý bài toán hit: Phân rã không gian đa thức $P_5$ tại bậc 11 theo số lượng biến độc lập xuất hiện trong đơn thức (từ 1 biến đến 5 biến), xác định các quan hệ tuyến tính môđulô $\mathcal{A}^+ P_5$ để rút gọn không gian về một hệ sinh tối thiểu.
  • Kỹ thuật đối xứng và toán tử chiếu: Sử dụng các phép chiếu $\pi_{tu}: P_5 \to P_5/(t, u) \cong P_3$, $\pi_u: P_5 \to P_5/(u) \cong P_4$ cùng các phép biến đổi tuyến tính trong $GL_5$ như $\omega_{xy}: x \mapsto x + y$, $\omega_{xz}: x \mapsto x + z$, $\omega_{yt}: y \mapsto y + t$, và phép hoán vị $\sigma$ để thiết lập hệ phương trình triệt tiêu cho các hệ số của phần tử bất biến.
  • Biểu diễn mức dây chuyền: Chuyển đổi tác động của toán tử squaring đối ngẫu $Sq^{*0}$ trên đại số Dickson thông qua đại số Mùi $M_s$ và đối đại số vi phân $\Gamma^\wedge = \bigoplus_{s \ge 0} \Gamma_s^\wedge$ với các biến $v_i = V_i / (V_1 \cdots V_{i-1})$.
  • Nguồn dữ liệu đối chứng: Luận án sử dụng các kết quả tính toán số chiều của R. Bruner [9] và bảng các họ phần tử trong $\text{Ext}_{\mathcal{A}}^{*, *}(\mathbb{F}_2, \mathbb{F}_2)$ của M. Tangora [55] làm cơ sở đối chiếu cho các chứng minh giải tích.

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 các kiến thức cơ sở phục vụ cho toàn bộ chứng minh trong luận án:

  • Đại số Steenrod $\mathcal{A}$: Nhắc lại cấu trúc đại số phân bậc kết hợp sinh bởi các toán tử $Sq^i$ ($i \ge 0$), thỏa mãn $Sq^0 = \text{id}$, $Sq^n(x) = x^2$ khi $\deg(x)=n$, $Sq^i(x) = 0$ khi $i > \deg(x)$, công thức Cartan $Sq^k(xy) = \sum_{i=0}^k Sq^i(x)Sq^{k-i}(y)$ và hệ thức Adem: $$Sq^a Sq^b = \sum_{k=0}^{[a/2]} \binom{b-1-k}{a-2k} Sq^{a+b-k} Sq^k \quad (0 < a < 2b)$$ Đại số $\mathcal{A}$ có cơ sở Serre-Cartan gồm các đơn thức chấp nhận được $Sq^{i_1} \cdots Sq^{i_s}$ ($i_{j-1} \ge 2i_j$). $\mathcal{A}$ là một đại số Hopf liên thông với phép bổ sung $\epsilon$, phép đối nhân $\psi(Sq^k) = \sum_{i=0}^k Sq^i \otimes Sq^{k-i}$ và phép tự phản đẳng cấu (phép liên hợp) $\chi$.
  • Lý thuyết bất biến: Mô tả tác động của đại số Steenrod và nhóm tuyến tính $GL_s$ lên đại số đa thức $P_s = H^(BV_s) = \mathbb{F}2[x_1, \dots, x_s]$ và đại số đối đồng điều $H(BV_s) \cong \Gamma(a_1, \dots, a_s)$. Nêu rõ cấu trúc đại số Mùi $M_s = P_s^{T_s} = \mathbb{F}2[V_1, \dots, V_s]$ với $V_i = \prod{c_j \in \mathbb{F}2} (c_1 x_1 + \dots + c{i-1} x_{i-1} + x_i)$, và đại số Dickson $D_s = P_s^{GL_s} = \mathbb{F}2[Q{s,0}, \dots, Q_{s,s-1}]$ với hệ thức truy hồi $Q_{s,i} = Q_{s-1,i-1}^2 + Q_{s-1,i} V_s$.
  • Ba toán tử squaring:
    1. Toán tử squaring cổ điển Liulevicius: $Sq^0: \text{Ext}_{\mathcal{A}}^{s, s+d}(\mathbb{F}_2, \mathbb{F}2) \to \text{Ext}{\mathcal{A}}^{s, 2(s+d)}(\mathbb{F}_2, \mathbb{F}_2)$, cảm sinh từ đối ngẫu của đồng cấu Frobenius $F(\xi) = \xi^2$ trên $\mathcal{A}^*$.
    2. Toán tử squaring Kameko: $\widetilde{Sq^0}: (\mathbb{F}2 \otimes{GL_s} P H_(BV_s))d \to (\mathbb{F}2 \otimes{GL_s} P H(BV_s))_{2d+s}$, giao hoán với toán tử squaring cổ điển qua đồng cấu chuyển $Tr_s$.
    3. Toán tử squaring trên đối ngẫu của đại số Dickson: $Sq^0: P(\mathbb{F}2 \otimes{GL_s} H_(BV_s))d \to P(\mathbb{F}2 \otimes{GL_s} H(BV_s))_{2d+s}$, giao hoán với toán tử squaring cổ điển qua đồng cấu Lannes - Zarati $\phi_s$, và thỏa mãn biểu đồ giao hoán qua đồng cấu $j_s^* = \phi_s \circ Tr_s$.

Chương II: Nghiên cứu bước đầu về đồng cấu chuyển Singer hạng 5

Chương II tập trung khảo sát đồng cấu chuyển Singer hạng 5 tại bậc 11:

  • Xây dựng đồng cấu chuyển đại số $Tr_s$: Thiết lập qua dãy khớp ngắn $0 \to P_1 \to \widehat{P_1} \to \Sigma^{-1}\mathbb{F}2 \to 0$ và tích Yoneda $e_s = (e_1 \times P{s-1}) \circ \dots \circ (e_1 \times P_1) \circ e_1 \in \text{Ext}_{\mathcal{A}}^s(\Sigma^{-s}\mathbb{F}2, P_s)$. Ánh xạ $(\widetilde{Tr}s)*(z) = e_s \cap z$ có ảnh nằm trong không gian các phần tử $GL_s$-bất biến $(\mathbb{F}2 \otimes{\mathcal{A}} P_s)^{GL_s}$, từ đó cảm sinh đồng cấu đại số $Tr = \bigoplus{s \ge 0} Tr_s$.
  • Xác định hệ sinh của $\mathcal{A}$-môđun $P_5$ tại bậc 11 (Bổ đề II.1): Mọi đơn thức bậc 11 $(a, b, c, d, e) = x^a y^b z^c t^d u^e$ được phân loại thành 5 trường hợp theo số biến:
    • 1 biến: $(11, 0, 0, 0, 0) = Sq^4(7, 0, 0, 0, 0) \in \mathcal{A}^+ P_5$.
    • 2 biến: Tất cả các dạng $(10, 1, 0, 0, 0)$, $(9, 2, 0, 0, 0)$, $(8, 3, 0, 0, 0)$, $(7, 4, 0, 0, 0)$, $(6, 5, 0, 0, 0)$ đều bị "hit" bởi $Sq^4$ và $Sq^2$.
    • 3 biến: $(7, 3, 1, 0, 0)$ (spike), $(5, 3, 3, 0, 0)$; các đơn thức khác bị "hit".
    • 4 biến: $(7, 2, 1, 1, 0)$, $(5, 3, 2, 1, 0)$; các đơn thức khác bị "hit" hoặc biểu thị tuyến tính qua hai đơn thức này.
    • 5 biến: $(7, 1, 1, 1, 1)$ (spike), $(5, 3, 1, 1, 1)$, $(3, 3, 3, 1, 1)$ (spike), $(4, 3, 2, 1, 1)$; các đơn thức khác biểu thị tuyến tính qua chúng.

Không gian $(\mathbb{F}2 \otimes{\mathcal{A}} P_5){11}$ được phân tích thành tổng trực tiếp của các không gian sinh bởi các họ hoán vị: $$(\mathbb{F}2 \otimes{\mathcal{A}} P_5){11} = L(A) \oplus L(B) \oplus L(C) \oplus L(D) \oplus L(E) \oplus L(F) \oplus L(G, H)$$

Bảng phân loại các họ đơn thức bậc 11:

Ký hiệu họ Đơn thức đại diện Đặc điểm phân loại
$A$ $(7, 3, 1, 0, 0)$ Phụ thuộc đúng 3 biến, dạng spike
$B$ $(5, 3, 3, 0, 0)$ Phụ thuộc đúng 3 biến
$C$ $(7, 2, 1, 1, 0)$ Phụ thuộc đúng 4 biến
$D$ $(5, 3, 2, 1, 0)$ Phụ thuộc đúng 4 biến
$E$ $(7, 1, 1, 1, 1)$ Phụ thuộc cả 5 biến, dạng spike
$F$ $(3, 3, 3, 1, 1)$ Phụ thuộc cả 5 biến, dạng spike
$G$ $(5, 3, 1, 1, 1)$ Phụ thuộc cả 5 biến
$H$ $(4, 3, 2, 1, 1)$ Phụ thuộc cả 5 biến
  • Triệt tiêu các $GL_5$-bất biến (Mệnh đề II.3): Tác giả chứng minh $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_{11}^{GL_5} = 0$ thông qua 5 bổ đề:
    1. Sử dụng phép chiếu $\pi_{tu}$ và phép chuyển vị $\sigma_{xy}$, chứng minh $p_A = 0$ và $p_B = 0$.
    2. Sử dụng phép chiếu $\pi_u$ và phép biến đổi $\omega_{xy}$, $\omega_{xz}$, chứng minh $p_C = 0$ và $p_D = 0$.
    3. Sử dụng tính chất spike của $(7, 1, 1, 1, 1)$ và phép biến đổi $\sigma(x \mapsto x+z, y \mapsto y+z)$, chứng minh $p_E = 0$.
    4. Sử dụng tính chất spike của $(3, 3, 3, 1, 1)$ và phép biến đổi $\omega_{xy}$, chứng minh $p_F = 0$.
    5. Đưa các đơn thức của họ $G$ và $H$ về họ $K$ (các hoán vị của $(3, 3, 2, 2, 1)$), sau đó dùng tác động của $\sigma$ và $\omega_{yt} \circ \omega_{xy}$ để suy ra $p_{(G, H)} = 0$.
  • Chứng minh Định lý II.2: Vì $(\mathbb{F}2 \otimes{\mathcal{A}} P_5){11}^{GL_5} = 0$, không gian đối ngẫu của miền xác định của $Tr_5$ tại bậc 11 triệt tiêu, suy ra $(\mathbb{F}2 \otimes{GL_5} P H*(BV_5)){11} = 0$. Do đó, $\text{Im}(Tr_5){11} = 0$. Mặt khác, phần tử tới hạn $P(h_2) \in \text{Ext}_{\mathcal{A}}^{5, 16}(\mathbb{F}_2, \mathbb{F}_2)$ là một phần tử khác không (theo Bruner và Tangora). Vì vậy, $P(h_2) \notin \text{Im}(Tr_5)$. Kết quả này dẫn đến việc $Tr_5$ không là toàn cấu tại bậc 11 và không thể dùng $P(h_2)$ để bác bỏ Giả thuyết 1 của Singer.

Chương III: Toán tử squaring trên đối ngẫu của đại số Dickson và Đồng cấu Lannes - Zarati

Chương III trình bày các kết quả về toán tử squaring $Sq^0$ trên $P(\mathbb{F}2 \otimes{GL_s} H_*(BV_s))$ và áp dụng vào Giả thuyết Lannes - Zarati:

  • *Biểu diễn ở mức độ dây chuyền của $Sq^{0}$ (Mệnh đề III.1): Trên cơ sở các biến Dickson $Q(I) = Q_{s,0}^{i_0} Q_{s,1}^{i_1} \cdots Q_{s,s-1}^{i_{s-1}}$, toán tử đối ngẫu $Sq^{*0}: \mathbb{F}2 \otimes{\mathcal{A}} D_s \to \mathbb{F}2 \otimes{\mathcal{A}} D_s$ được xác định tường minh: $$Sq^{*0}(Q(I)) = \begin{cases} Q_{s,0}^{\frac{i_0+s-2}{2}} Q_{s,1}^{\frac{i_1-1}{2}} \cdots Q_{s,s-1}^{\frac{i_{s-1}-1}{2}}, & \text{nếu } i_0 + s \text{ chẵn, } i_1, \dots, i_{s-1} \text{ lẻ}, \ 0, & \text{trái lại.} \end{cases}$$ Chứng minh được thực hiện bằng quy nạp theo hạng $s$ thông qua việc đồng nhất $Sq_v^0 = Sq_x^0$ trên đại số Mùi $M_s$.
  • Tính đẳng cấu trên ảnh (Định lý III.1 / Định lý 2): Toán tử $Sq^0: P(\mathbb{F}2 \otimes{GL_s} H_(BV_s)) \to P(\mathbb{F}2 \otimes{GL_s} H_(BV_s))$ là một đẳng cấu trên ảnh $\text{Im}(Sq^0)$. Nếu $d(I) = d(i_0, \dots, i_{s-1})$ là phần tử đối ngẫu của $Q(I)$ thì: $$Sq^0(d(i_0, \dots, i_{s-1})) = \begin{cases} d(s-2, 2i_1+1, \dots, 2i_{s-1}+1), & \text{nếu } i_0 = s-2, \ 0, & \text{trái lại.} \end{cases}$$ Hệ quả III.3: Mọi họ $Sq^0$ ${a_i \mid a_i = Sq^0(a_{i-1})}$ trong $P(\mathbb{F}2 \otimes{GL_s} H_*(BV_s))$ hoặc là họ vô hạn, hoặc là họ có độ dài bằng đúng 1.
  • Tác động trên cơ sở đóng (Mệnh đề III.8): Đối với cơ sở đóng ${[Q(I)] \mid I \in \mathcal{I}}$ của $\mathbb{F}2 \otimes{\mathcal{A}} D_s$, tác động của $Sq^0$ trên phần tử cơ sở $d(I)$ được xác định chính xác theo công thức nhân đôi chỉ số lẻ.
  • Xác định các bậc triệt tiêu (Định lý III.4): Xét hàm số học $\kappa_s(r) = r + 2^{\nu(s-2-r)}$ với $\nu(m)$ là số mũ của 2 trong phân tích thừa số nguyên tố của $m$. Toán tử $Sq^0$ trên $P(\mathbb{F}2 \otimes{GL_s} H_*(BV_s))$ triệt tiêu tại mọi bậc $\delta$ thỏa mãn một trong hai điều kiện:
    1. $\nu(\delta + s) \le [\log_2(s-2)] + 1$ với $s \ge 3$.
    2. $\delta$ không thuộc dãy các dạng bậc $\delta_s$ xác định quy nạp bởi: $$\delta_s = \delta_{s-1} - 1 + 2^{s-1} [\kappa_{s-1}^{j_1} \kappa_{s-2}^{j_2} \cdots \kappa_2^{j_{s-2}}(0) + 1]$$ với $1 \le j_1 \le j_2 \le \dots \le j_{s-1}$, xuất phát từ $\delta_2 = 2^{j_1+1} - 2$.
  • Ứng dụng vào Giả thuyết Lannes - Zarati:
    • Hệ quả 5: Nếu ${a_i \mid i \ge 0}$ là một họ $Sq^0$ hữu hạn trong $\text{Ext}_{\mathcal{A}}^{s, *}(\mathbb{F}_2, \mathbb{F}_2)$ thì $\phi_s(a_i) = 0$ với mọi $i > 0$.
    • Mệnh đề 6: Nếu ${a_i}$ là một họ $Sq^0$ có gốc $\delta = \text{Stem}(a_0)$ thỏa mãn $\nu(\delta + s) \le [\log_2(s-2)] + 1$ hoặc $\delta \ne \delta_s$, thì $\phi_s(a_i) = 0$ với mọi $i > 0$. Hầu hết các họ phần tử được liệt kê trong bảng của Bruner [9] và Tangora [55] đều thỏa mãn các điều kiện này.
    • Mệnh đề 7: Nếu gốc của phần tử ban đầu thỏa mãn $\text{Stem}(a_0) < 2^{s-1}$ thì đồng cấu triệt tiêu hoàn toàn: $\phi_s(a_i) = 0$ với mọi $i \ge 0$.

Bảng tổng hợp các định lý và kết quả chính theo chương:

Chương Ký hiệu kết quả Nội dung toán học chính Ý nghĩa đối với các giả thuyết
Chương II Mệnh đề II.3 $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_{11}^{GL_5} = 0$ Khẳng định không gian $GL_5$-bất biến bậc 11 triệt tiêu bằng lập luận giải tích.
Chương II Định lý II.2 $P(h_2) \notin \text{Im}(Tr_5)$ $Tr_5$ không là toàn cấu tại bậc 11; bảo toàn tính chưa bị bác bỏ của Giả thuyết Singer.
Chương III Mệnh đề III.1 Biểu diễn dây chuyền của $Sq^{*0}$ trên $\mathbb{F}2 \otimes{\mathcal{A}} D_s$ Cung cấp công thức tường minh để tính toán tác động của đối ngẫu squaring.
Chương III Định lý III.1 (Định lý 2) $Sq^0$ là đẳng cấu trên $\text{Im}(Sq^0)$ Thiết lập tính chất "đẳng cấu ở tận cùng", suy ra độ dài họ $Sq^0$ chỉ có thể là 1 hoặc vô hạn.
Chương III Định lý III.4 (Định lý 4) Điều kiện số học $\nu(\delta+s)$ và $\delta \ne \delta_s$ để $Sq^0$ triệt tiêu Xác định các miền bậc mà tại đó toán tử squaring triệt tiêu hoàn toàn.
Chương III Hệ quả 5, Mệnh đề 6, 7 $\phi_s(a_i) = 0$ trên các họ $Sq^0$ thỏa mãn điều kiện bậc Chứng minh dạng đại số của Giả thuyết lớp cầu đúng trên hầu hết các phần tử đã biết.

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

Luận án đã đạt được các đóng góp học thuật mới về lý luận Tôpô đại số:

  1. Về đồng cấu chuyển đại số Singer hạng 5:
    • Xây dựng thành công hệ sinh tường minh của $\mathcal{A}$-môđun $P_5$ tại bậc 11 gồm 8 họ đơn thức $A, B, C, D, E, F, G, H$.
    • Chứng minh thuần túy bằng phương pháp giải tích đại số rằng $(\mathbb{F}2 \otimes{\mathcal{A}} P_5){11}^{GL_5} = 0$, xác nhận kết quả tính toán máy tính của R. Bruner mà không cần tìm cơ sở 315 phần tử của $(\mathbb{F}2 \otimes{\mathcal{A}} P_5){11}$.
    • Chứng minh phần tử tới hạn $P(h_2) \in \text{Ext}_{\mathcal{A}}^{5, 16}(\mathbb{F}_2, \mathbb{F}_2)$ không nằm trong ảnh của $Tr_5$, chỉ ra rằng $Tr_5$ không là toàn cấu tại bậc 11 và bổ sung bằng chứng ủng hộ Giả thuyết 1 của Singer.
  2. Về toán tử squaring và Giả thuyết Lannes - Zarati:
    • Thiết lập công thức mức độ dây chuyền tường minh cho toán tử squaring đối ngẫu $Sq^{*0}$ trên đại số bất biến Dickson $D_s$ với mọi hạng $s \ge 3$.
    • Chứng minh toán tử squaring $Sq^0$ trên đối ngẫu của đại số Dickson $P(\mathbb{F}2 \otimes{GL_s} H_*(BV_s))$ là một đẳng cấu trên ảnh $\text{Im}(Sq^0)$, dẫn đến tính chất phân loại họ $Sq^0$ (chỉ có độ dài 1 hoặc vô hạn).
    • Xác định điều kiện số học và công thức truy hồi tường minh cho các bậc triệt tiêu của $Sq^0$ với mọi $s$, cụ thể hóa cho các trường hợp $s \le 7$.
    • Chứng minh tính triệt tiêu của đồng cấu Lannes - Zarati $\phi_s$ trên các họ phần tử hữu hạn và các họ có gốc thỏa mãn điều kiện số học hoặc có $\text{Stem}(a_0) < 2^{s-1}$, mở rộng phạm vi kiểm chứng Giả thuyết lớp cầu cho các số chiều $s \ge 5$.

Văn bản không đề xuất các giải pháp kỹ thuật thực tiễn ngoài phạm vi toán học lý thuyết; các kiến nghị được tập trung cho các bài toán mở tiếp theo trong lý thuyết đồng luân.

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

Văn bản luận án nêu rõ các giới hạn phạm vi nghiên cứu và đề xuất các hướng phát triển tiếp theo:

  • Hạn chế:
    • Kết quả tại Chương II mới chỉ khảo sát được tại bậc 11 đối với phần tử $P(h_2)$, chưa giải quyết trọn vẹn tính đơn cấu của $Tr_5$ trên toàn bộ các bậc khác.
    • Các kết quả về đồng cấu Lannes - Zarati $\phi_s$ trong Chương III chứng minh được sự triệt tiêu tại các phần tử $a_i$ với $i > 0$, nhưng chưa khẳng định được tính triệt tiêu tại chính phần tử khởi đầu $a_0$ của mỗi họ $Sq^0$ khi $\text{Stem}(a_0) \ge 2^{s-1}$.
    • Cấu trúc không gian $P(\mathbb{F}2 \otimes{GL_s} H_*(BV_s))$ mới chỉ được xác định hoàn toàn với $s \le 5$, vẫn chưa được biết đầy đủ với $s > 5$.
  • Kiến nghị nghiên cứu tiếp theo (trang 74):
    1. Tiếp tục kiểm tra tính đơn cấu của đồng cấu chuyển Singer $Tr_s$ đối với các phần tử tới hạn khác trong $\text{Ext}_{\mathcal{A}}^s(\mathbb{F}_2, \mathbb{F}_2)$ với $s \ge 5$.
    2. Mở rộng việc xác định cơ sở đóng cho đại số thương $\mathbb{F}2 \otimes{\mathcal{A}} D_s$ khi $s > 5$.
    3. Hoàn thiện chứng minh Giả thuyết III.1 (Giả thuyết Lannes - Zarati) cho các phần tử không phân tích được có gốc lớn trong $\text{Ext}_{\mathcal{A}}^s(\mathbb{F}_2, \mathbb{F}_2)$.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị chuyên môn cao đối với:

  • Nghiên cứu sinh và nhà nghiên cứu chuyên ngành Tôpô đại số và Đại số đồng điều: Có thể tham khảo trực tiếp kỹ thuật xử lý bài toán "hit" bằng hệ thống toán tử chiếu và phép biến đổi tuyến tính trong Chương II để tính toán không gian coinvariant $(\mathbb{F}2 \otimes{\mathcal{A}} P_s)^{GL_s}$ cho các hạng và bậc khác.
  • Giảng viên và chuyên gia nghiên cứu Lý thuyết bất biến môđulô 2: Phương pháp biểu diễn mức dây chuyền của toán tử squaring trên đại số Dickson và đại số Mùi trong Chương III cung cấp công cụ tính toán giải tích hữu hiệu cho các bài toán phân bậc trên vành đa thức đối xứng.
  • Phần đáng tham khảo nhất: Bổ đề II.1 và Mệnh đề II.3 (kỹ thuật triệt tiêu hệ số không gian bất biến qua các phần tử spike) cùng Định lý III.1 và Định lý III.4 (công thức truy hồi xác định bậc triệt tiêu của toán tử squaring).

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

1. Tại sao việc chứng minh $P(h_2) \notin \text{Im}(Tr_5)$ lại có ý nghĩa quan trọng đối với Giả thuyết Singer?
Theo định lý của N. Hưng [22], nếu tồn tại một phần tử tới hạn nằm trong ảnh của $Tr_s$ thì $Tr_s$ sẽ không là một đơn cấu, đồng thời $Tr_k$ cũng không là đơn cấu tại vô số bậc với mọi $k > s$. Vì $P(h_2) \in \text{Ext}_{\mathcal{A}}^{5, 16}(\mathbb{F}_2, \mathbb{F}_2)$ là phần tử tới hạn có bậc đồng điều nhỏ nhất, nếu $P(h_2) \in \text{Im}(Tr_5)$ thì Giả thuyết 1 của Singer về tính đơn cấu sẽ bị bác bỏ ngay lập tức. Kết quả chứng minh $P(h_2) \notin \text{Im}(Tr_5)$ của luận án khẳng định không thể dùng $P(h_2)$ để phủ định giả thuyết, qua đó cung cấp thêm bằng chứng ủng hộ tính đúng đắn của Giả thuyết Singer.

2. Khái niệm "spike" được định nghĩa như thế nào và giữ vai trò gì trong các phép chứng minh của Chương II?
Theo W. M. Singer [49], một đơn thức $x^{p_1} y^{p_2} z^{p_3} t^{p_4}$ được gọi là một spike nếu các số mũ có dạng $p_j = 2^{a_j} - 1$ với $a_j \ge 0$. Đặc tính quan trọng của spike là chúng không bao giờ xuất hiện trong bất kỳ biểu thức nào có dạng $Sq^i(Y)$ với $i > 0$. Do đó, các đơn thức spike không thể bị "hit" và hệ số của chúng trong mọi quan hệ tuyến tính trên $\mathbb{F}2 \otimes{\mathcal{A}} P_s$ đều độc lập. Trong Chương II, tác giả sử dụng các phần tử spike làm mốc bất biến để buộc các hệ số $a, e, f$ của các họ đơn thức phải triệt tiêu qua các phép biến đổi tuyến tính.

3. Mối quan hệ giữa toán tử squaring Kameko $\widetilde{Sq^0}$ và toán tử squaring trên đối ngẫu của đại số Dickson $Sq^0$ là gì?
Cả hai toán tử đều là các dạng tương tự của toán tử squaring cổ điển Liulevicius trên $\text{Ext}{\mathcal{A}}^{*, }(\mathbb{F}_2, \mathbb{F}2)$. Toán tử squaring Kameko tác động trên miền xác định của đồng cấu chuyển Singer $\mathbb{F}2 \otimes{GL_s} P H(BV_s)$ và giao hoán với toán tử cổ điển qua $Tr_s$. Toán tử squaring trên đối ngẫu đại số Dickson tác động trên $P(\mathbb{F}2 \otimes{GL_s} H(BV_s))$ và giao hoán với toán tử cổ điển qua đồng cấu Lannes - Zarati $\phi_s$. Hai toán tử này giao hoán trực tiếp với nhau qua đồng cấu chính tắc $j_s^: \mathbb{F}2 \otimes{GL_s} P H_(BV_s) \to P(\mathbb{F}2 \otimes{GL_s} H_(BV_s))$.

4. Định lý về tính đẳng cấu của toán tử squaring trên ảnh của nó dẫn đến hệ quả gì cho các họ $Sq^0$?
Định lý III.1 chứng minh rằng toán tử $Sq^0: P(\mathbb{F}2 \otimes{GL_s} H_(BV_s)) \to P(\mathbb{F}2 \otimes{GL_s} H_(BV_s))$ là một đẳng cấu khi thu hẹp trên $\text{Im}(Sq^0)$. Do đó, nếu một họ $Sq^0$ ${a_i}$ có phần tử $a_1 = Sq^0(a_0) \ne 0$ thì $a_1 \in \text{Im}(Sq^0)$, kéo theo $a_2 = Sq^0(a_1) \ne 0$, và quá trình này tiếp diễn vô hạn. Vì vậy, mọi họ $Sq^0$ trong không gian này chỉ có thể rơi vào hai trường hợp: hoặc là một họ vô hạn (nếu $a_1 \ne 0$), hoặc là một họ hữu hạn có độ dài đúng bằng 1 (nghĩa là $a_0 \ne 0$ nhưng $a_1 = Sq^0(a_0) = 0$).

5. Luận án đã áp dụng các kết quả về toán tử squaring để kiểm chứng Giả thuyết Lannes - Zarati như thế nào?
Dựa trên tính chất giao hoán $\phi_s(Sq^0(x)) = Sq^0(\phi_s(x))$ và các định lý xác định bậc triệt tiêu của $Sq^0$, tác giả chỉ ra rằng nếu một phần tử $a_i$ ($i > 0$) thuộc một họ $Sq^0$ hữu hạn hoặc có gốc $\delta = \text{Stem}(a_0)$ thỏa mãn $\nu(\delta + s) \le [\log_2(s-2)] + 1$ hoặc $\delta \ne \delta_s$, thì $Sq^0$ triệt tiêu tại bậc tương ứng trên $P(\mathbb{F}2 \otimes{GL_s} H_*(BV_s))$, dẫn đến $\phi_s(a_i) = 0$. Kết quả này bao quát toàn bộ các họ phần tử đã được lập bảng bởi Bruner và Tangora.

Kết luận

Luận án đã giải quyết các bài toán chuyên sâu về cấu trúc đồng điều của đại số Steenrod thông qua việc khảo sát đồng cấu chuyển Singer hạng 5 và toán tử squaring trên đối ngẫu của đại số Dickson. Tác giả đã chứng minh phần tử tới hạn $P(h_2)$ không thuộc ảnh của $Tr_5$, khẳng định $Tr_5$ không là toàn cấu tại bậc 11 và củng cố Giả thuyết đơn cấu của Singer. Đồng thời, luận án thiết lập biểu diễn dây chuyền của toán tử đối ngẫu $Sq^{*0}$, chứng minh tính đẳng cấu của $Sq^0$ trên ảnh của nó, xác định các điều kiện số học cho bậc triệt tiêu và chứng minh tính đúng đắn của dạng đại số Giả thuyết lớp cầu trên hầu hết các họ phần tử đã biết trong $\text{Ext}_{\mathcal{A}}^s(\mathbb{F}_2, \mathbb{F}_2)$.