Luận án tiến sĩ: Bài toán hit của Peterson tại một số dạng bậc và ứng dụng - Trường ĐH Quy Nhơn

Bài toán hit của Peterson, ra đời từ năm 1987, là một bài toán quan trọng trong lĩnh vực đại số đồng điều và tô… 127 trang · Trường Đại Học Quy Nhơn · 2017.

• Tác giả: Đặng Võ Phúc
• Người hướng dẫn: PGS. Nguyễn Sum
• Trường học: Trường Đại Học Quy Nhơn
• Chuyên ngành: Đại Số và Lý Thuyết Số
• Đề tài: Bài Toán Hit Của Peterson: Nghiên Cứu và Ứng Dụng Tại Trường Đại Học Quy Nhơn
• Loại tài liệu: luận án tiến sĩ
• Năm xuất bản: 2017
• Địa điểm: Bình Định

Mục lục chi tiết

• Lời cam đoan
• Lời cảm ơn
• Bảng một số ký hiệu
• MỞ ĐẦU
• 1. Chương 1: Một số kiến thức cơ sở
• 1.1. Cấu trúc đại số Steenrod mod 2
• 1.2. Tác động của đại số Steenrod trên đại số đa thức Pk
• 1.3. Một số hàm số học
• 1.4. Đồng cấu Kameko
• 1.5. Quan hệ thứ tự giữa các đơn thức và đơn thức chấp nhận được
• 1.6. Tiêu chuẩn đơn thức hit của Singer
• 1.7. Một số kết quả về bài toán hit
• 1.8. Kết luận Chương 1
• 2. Chương 2: Bài toán hit đối với đại số đa thức tại bậc (k − 1)(2d − 1)
• 2.1. Một số đồng cấu
• 2.2. Chứng minh Định lý
• 2.3. Kết luận Chương 2
• 3. Chương 3: Bài toán hit đối với đại số đa thức năm biến tại một số dạng bậc
• 3.1. Chứng minh Định lý
• 3.2. Chứng minh Định lý
• 3.3. Kết luận Chương 3
• 4. Chương 4: Ứng dụng của bài toán hit cho đồng cấu chuyển đại số thứ năm của Singer
• 4.1. Đồng cấu chuyển đại số và giả thuyết của Singer
• 4.2. Chứng minh Định lý
• 4.3. Kết luận Chương 4
• Kết luận và kiến nghị
• Danh mục các công trình liên quan đến luận án
• Tài liệu tham khảo
• Phụ lục A
• A.1. Các đơn thức chấp nhận được bậc 4(2d − 1) trong P5
• A.2. Các đơn thức chấp nhận được bậc 6 trong P5
• A.3. Các đơn thức chấp nhận được bậc 17 trong P5
• A.4. Các đơn thức chấp nhận được bậc 18 trong P5
• A.5. Các đơn thức chấp nhận được bậc 39 trong P5

Tóm tắt

I. Bài Toán Hit Peterson Tổng Quan Nghiên Cứu tại QNU

Bài toán hit của Peterson, ra đời từ năm 1987, là một bài toán quan trọng trong lĩnh vực đại số đồng điều và tô pô đại số. Bài toán này liên quan đến việc xác định cấu trúc của không gian vector F2 ⊗A Pk, trong đó Pk là đại số đa thức của k biến trên trường F2, và A là đại số Steenrod mod 2. Việc giải quyết bài toán hit có ý nghĩa quan trọng trong việc nghiên cứu ảnh của đồng cấu chuyển của Singer và các bài toán kinh điển trong lý thuyết đồng luân. Nghiên cứu này được thực hiện tại Đại học Quy Nhơn và đóng góp vào việc làm sáng tỏ cấu trúc của đại số Steenrod.

1.1. Lịch Sử Phát Triển Bài Toán Hit và Đại Số Steenrod

Năm 1947, Steenrod xây dựng các toán tử đối đồng điều. Serre chỉ ra các toán tử Steenrod Sq k sinh ra tất cả các toán tử đối đồng điều ổn định, hình thành nên đại số Steenrod. Năm 1987, Peterson giới thiệu bài toán hit, mở ra một hướng nghiên cứu mới. Nhiều nhà toán học đã đóng góp vào việc giải quyết bài toán này. Wood chứng minh giả thuyết của Peterson cho trường hợp tổng quát vào năm 1989.

1.2. Ứng Dụng Bài Toán Hit Trong Tô Pô Đại Số

Bài toán hit không chỉ là một bài toán lý thuyết mà còn có nhiều ứng dụng thực tế. Nó là một công cụ hữu ích để nghiên cứu ảnh của đồng cấu chuyển của Singer, lý thuyết cobordism của các đa tạp, bài toán phân tích ổn định không gian phân loại của các 2-nhóm Abel sơ cấp, và lý thuyết biểu diễn modular của các nhóm tuyến tính. Các ứng dụng này cho thấy tầm quan trọng của việc nghiên cứu và giải quyết bài toán hit.

II. Thách Thức Nghiên Cứu Bài Toán Hit Peterson Vấn Đề Khó

Mặc dù đã có nhiều tiến bộ trong việc nghiên cứu bài toán hit, việc giải quyết bài toán này vẫn còn nhiều thách thức. Việc xác định tường minh một hệ sinh tối tiểu của F2-đại số phân bậc Pk là một vấn đề phức tạp. Bài toán hit mới chỉ được giải tường minh cho trường hợp k ≤ 4. Trong trường hợp tổng quát, nó vẫn là một bài toán mở. Các công cụ hiện có, như đồng cấu Kameko, vẫn chưa đủ để giải quyết hoàn toàn bài toán.

2.1. Giới Hạn Của Các Phương Pháp Hiện Tại

Việc giải bài toán hit tại các dạng bậc n có dạng (0.2) tương đương với tìm một cơ sở của không gian véctơ (F2 ⊗A Pk )n . Tuy nhiên, việc xác định tường minh được một cơ sở của (F2 ⊗A Pk )n là rất phức tạp, mặc dù đã có sự hỗ trợ của máy tính điện tử. Do đó, cần có những phương pháp mới và hiệu quả hơn để giải quyết bài toán này.

2.2. Khó Khăn Trong Tính Toán và Ước Lượng Số Chiều

Trong nhiều trường hợp, nếu đánh giá ước lượng được số chiều của không gian véctơ (F2 ⊗A Pk )n thì có thể giúp cho chúng ta thuận lợi hơn trong việc tính toán. Tuy nhiên, việc ước lượng chính xác số chiều này cũng là một thách thức lớn. Cần có những công cụ mạnh mẽ hơn để vượt qua những khó khăn này.

III. Phương Pháp Giải Bài Toán Hit Peterson Tiếp Cận Mới Nhất

Luận án này tập trung vào việc nghiên cứu bài toán hit của Peterson và ứng dụng các kết quả để kiểm chứng giả thuyết của Singer cho trường hợp k = 5 tại một số bậc. Nghiên cứu tập trung vào cấu trúc của không gian vector F2 ⊗A Pk với k > 5 tại một số dạng bậc và ứng dụng các kết quả này để kiểm chứng giả thuyết của Singer về đồng cấu chuyển thứ năm Tr5. Các công cụ như đồng cấu Kameko và hàm số học được sử dụng một cách sáng tạo.

3.1. Sử Dụng Đồng Cấu Kameko và Hàm Số Học

Một trong những công cụ hữu hiệu để tính toán bài toán hit cũng như nghiên cứu đồng cấu chuyển của Singer là đồng cấu Kameko. Hàm số học sau đây cũng được ứng dụng để giải quyết bài toán hit. Các công cụ này giúp đơn giản hóa bài toán và tìm ra các kết quả mới.

3.2. Rút Gọn Bài Toán Hit Về Các Dạng Bậc Đặc Biệt

Từ một kết quả của Wood, bài toán hit được rút gọn về tính toán tại các bậc có dạng n = s(2d − 1) + 2d m, với s, d, m là các số nguyên không âm sao cho 1 6 s 6 k, m = 0 hoặc s − 2 6 µ(m) 6 s − 1. Việc rút gọn này giúp tập trung vào các trường hợp quan trọng và giảm thiểu độ phức tạp của bài toán.

IV. Ứng Dụng Bài Toán Hit Kiểm Chứng Giả Thuyết Singer

Nghiên cứu này sử dụng các kết quả về bài toán hit để kiểm chứng giả thuyết của Singer trong trường hợp hạng năm tại các bậc 4(2d −1) và 5(2d −1)+6. Giả thuyết của Singer có liên hệ mật thiết với bài toán xác định tường minh một hệ sinh tối tiểu của F2 -đại số phân bậc Pk. Việc kiểm chứng giả thuyết Singer giúp làm sáng tỏ cấu trúc của đại số Steenrod.

4.1. Kiểm Chứng Tại Bậc 4 2d 1

Tại dạng bậc 4(2d − 1), ta có F2 ⊗GL5 P H4(2d −1) (B(Z/2)5 , F2 ) = 0, với mọi d. Áp dụng kết quả này và các kết quả của Lin, Chen và Tangora, ta thấy rằng đồng cấu chuyển đại số Tr5 : F2 ⊗GL5 P H4(2d −1) (B(Z/2)5 , F2 ) → Ext5,4.2d+1 A (F2 , F2 ) là đẳng cấu tầm thường. Do đó, giả thuyết của Singer là đúng cho trường hợp k = 5 tại bậc 4(2d − 1), với d là số nguyên dương bất kỳ.

4.2. Kiểm Chứng Tại Bậc 5 2d 1 6.2d

Đối với dạng bậc n = 5(2d − 1) + 6.2d , nghiên cứu kiểm chứng giả thuyết của Singer về đồng cấu Tr5 tại bậc này cho trường hợp d = 1 tương ứng với n = 17. Cụ thể, ứng dụng Định lý 3.2, tính toán tường minh cơ sở của F2 -không gian véctơ (F2 ⊗A P5 )GL 17. Kết quả cho thấy có đúng một lớp trong (F2 ⊗A P5 )17 khác 0 và bất biến đối với tác động của nhóm GL5 .

V. Kết Quả Nghiên Cứu Bài Toán Hit Đóng Góp Mới Quan Trọng

Nghiên cứu này đã đạt được một số kết quả quan trọng, bao gồm việc tính toán tường minh các đơn thức chấp nhận được bậc (k − 1)(2d − 1) trong Pk với k = 5, d là số nguyên dương bất kỳ. Nghiên cứu cũng xác định tường minh một cơ sở của F2 -không gian véctơ F2 ⊗A P5 tại bậc 5(2d − 1) + 6.2d , với d là một số nguyên dương tùy ý. Các kết quả này đóng góp vào việc giải quyết bài toán hit cho trường hợp k = 5.

5.1. Bảng Chiều Không Gian Vector F2 A P5 4 2d 1

Số chiều của F2 -không gian véctơ (F2 ⊗A P5 )4(2d −1) được xác định như bảng dưới đây: n = 4(2d − 1) d=1 | d=2 | d=3 | d=4 | d>5 dim(F2 ⊗A P5 )n | 45 | 190 | 480 | 650 | 651 Kết quả này cung cấp thông tin chi tiết về cấu trúc của không gian vector (F2 ⊗A P5 )4(2d −1).

5.2. Kết Quả Về dim F2 A P5 5 2d 1 6.2d

dim(F2 ⊗A P5 )n = 566 nếu d = 1 và dim(F2 ⊗A P5 )n = 2130 nếu d > 2. Kết quả này làm sáng tỏ cấu trúc của không gian vector (F2 ⊗A P5 ) tại bậc 5(2d − 1) + 6.2d.

VI. Kết Luận và Hướng Nghiên Cứu Mở Rộng Bài Toán Hit

Nghiên cứu này đã đóng góp vào việc làm sáng tỏ cấu trúc của đại số Steenrod và bài toán hit của Peterson. Các kết quả đạt được có thể được sử dụng để nghiên cứu sâu hơn về giả thuyết của Singer và các bài toán liên quan trong lý thuyết đồng luân. Hướng nghiên cứu trong tương lai có thể tập trung vào việc phát triển các phương pháp mới để giải quyết bài toán hit cho trường hợp k > 5 và ứng dụng các kết quả để giải quyết các bài toán khác trong tô pô đại số.

6.1. Hướng Nghiên Cứu Bài Toán Hit Trong Tương Lai

Phát triển các phương pháp mới để giải quyết bài toán hit cho trường hợp k > 5, tập trung vào việc tìm ra các công cụ mạnh mẽ hơn và hiệu quả hơn để đơn giản hóa bài toán. Nghiên cứu các ứng dụng của bài toán hit trong các lĩnh vực khác của toán học và vật lý.

6.2. Đề Xuất Phát Triển Nghiên Cứu Tại Đại Học Quy Nhơn

Tiếp tục đầu tư vào việc nghiên cứu bài toán hit và các vấn đề liên quan tại Đại học Quy Nhơn. Xây dựng một nhóm nghiên cứu mạnh về tô pô đại số và đại số đồng điều. Tạo điều kiện cho các sinh viên và nghiên cứu sinh tham gia vào các dự án nghiên cứu liên quan đến bài toán hit.

Nội dung chính

Tổng quan luận án

Luận án tiến sĩ toán học "Bài toán hit của Peterson tại một số dạng bậc và ứng dụng" được nghiên cứu sinh Đặng Võ Phúc thực hiện tại Trường Đại học Quy Nhơn dưới sự hướng dẫn khoa học của PGS. Nguyễn Sum, bảo vệ năm 2017 thuộc chuyên ngành Đại số và Lý thuyết số (mã số: 62 46 01 04).

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. Việc giải quyết bài toán này dẫn đến một vấn đề phức tạp trong lý thuyết đồng luân ổn định: tính toán tường minh đối đồng điều mod 2 của đại số Steenrod $\mathcal{A}$, ký hiệu là $H^{,}(\mathcal{A}, \mathbb{F}2) := \text{Ext}^{,}{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2)$. Đây là một $\mathbb{F}2$-đại số song phân bậc giao hoán, đồng thời là trang $E_2$ của dãy phổ Adams hội tụ về 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)$.

Năm 1989, Singer đã xây dựng đồng cấu chuyển đại số đối ngẫu: $$Tr_k : \mathbb{F}2 \otimes{GL_k} P H_(B(\mathbb{Z}/2)^k, \mathbb{F}_2) \longrightarrow \text{Ext}^{k, k+}_{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2)$$ và đưa ra giả thuyết rằng $Tr_k$ là một đơn cấu với mọi số nguyên dương $k$. Để giải quyết giả thuyết Singer, yếu tố then chốt là phải xác định tường minh cấu trúc của tích tensor $\mathbb{F}2 \otimes{\mathcal{A}} H^*(B(\mathbb{Z}/2)^k, \mathbb{F}_2) \cong \mathbb{F}2 \otimes{\mathcal{A}} P_k$, trong đó $P_k = \mathbb{F}_2[x_1, x_2, \ldots, x_k]$ là đại số đa thức $k$ biến trên trường $\mathbb{F}_2$ xét như một môđun trên đại số Steenrod $\mathcal{A}$.

Nhiệm vụ này quy về việc tìm một cơ sở của $\mathbb{F}_2$-không gian véctơ phân bậc $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)_n = (P_k)_n / (\mathcal{A}^+ \cdot P_k)_n$, được gọi là bài toán "hit" của Peterson (1987). Cho đến thời điểm luận án thực hiện, bài toán hit mới chỉ được giải quyết trọn vẹn cho số biến $k \le 4$. Với $k \ge 5$, bài toán vẫn là vấn đề mở và cực kỳ phức tạp. Vì vậy, việc nghiên cứu bài toán hit với số biến $k \ge 5$ tại một số dạng bậc đặc thù và ứng dụng kết quả này để kiểm chứng giả thuyết Singer là một yêu cầu cấp thiết của chuyên ngành Đại số và Tôpô đại số.

Mục tiêu và giả thuyết nghiên cứu

Mục tiêu tổng quát của luận án là khảo sát cấu trúc của không gian véctơ $\mathbb{F}2 \otimes{\mathcal{A}} P_k$ với $k \ge 5$ tại một số dạng bậc và ứng dụng kết quả thu được để kiểm chứng giả thuyết của Singer về đồng cấu chuyển đại số thứ năm $Tr_5$.

Các mục tiêu và giả thuyết cụ thể được văn bản xác định gồm:

1. Mục tiêu 1: Thiết lập một chặn dưới chặt hơn cho số chiều của không gian véctơ $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)_{(k-1)(2^d-1)}$ với $k \ge 3$ và $d \ge 1$ tùy ý, mở rộng kết quả của Mothebe (1997, 2013), đồng thời xác định điều kiện cần và đủ để dấu đẳng thức xảy ra.
2. Mục tiêu 2: Tính toán tường minh cơ sở và số chiều của không gian véctơ $\mathbb{F}2 \otimes{\mathcal{A}} P_5$ tại dạng bậc $n = 4(2^d - 1)$ với mọi số nguyên dương $d$.
3. Mục tiêu 3: Xác định tường minh cơ sở và số chiều của không gian véctơ $\mathbb{F}2 \otimes{\mathcal{A}} P_5$ tại dạng bậc $n = 5(2^d - 1) + 6 \cdot 2^d$ với $d$ là số nguyên dương bất kỳ (cụ thể tại $d = 1$ tương ứng bậc 17 và $d = 2$ tương ứng bậc 39).
4. Mục tiêu 4: Ứng dụng các kết quả bài toán hit để kiểm chứng giả thuyết của Singer đối với đồng cấu chuyển thứ năm $Tr_5$ tại bậc $4(2^d - 1)$ với mọi $d \ge 1$ và tại bậc 17 (với $d = 1$).
5. Giả thuyết nghiên cứu:
   • Kiểm chứng Giả thuyết Singer (1989): Đồng cấu $Tr_k$ là một đơn cấu với mọi $k \ge 1$.
   • Giả thuyết Peterson (1987): $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)_n = 0$ nếu $\alpha(n+k) > k$.
   • Giả thuyết 4.1 (do luận án đề xuất): Với $k = 5$ tại bậc 39, $\text{Ker}(\widetilde{Sq}0^*)^{(5,39)}{GL_5} = 0$.

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

• Đối tượng nghiên cứu: Đại số Steenrod mod 2 $\mathcal{A}$, đại số đa thức $P_k = \mathbb{F}_2[x_1, \ldots, x_k]$ như một $\mathcal{A}$-môđun trái không ổn định, bài toán hit của Peterson, các đơn thức chấp nhận được, đồng cấu Kameko $\widetilde{Sq}_0^*$, nhóm tuyến tính tổng quát $GL_k = GL(k, \mathbb{F}_2)$, không gian bất biến $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)^{GL_k}$, và đồng cấu chuyển đại số Singer $Tr_k$.
• Phạm vi nghiên cứu:
  • Về mặt cấu trúc: Xét trên trường nguyên tố $\mathbb{F}_2$.
  • Về số biến và dạng bậc: Khảo sát trường hợp $k \ge 3$ tại bậc $(k-1)(2^d-1)$; khảo sát chi tiết $k = 5$ tại hai họ bậc $n = 4(2^d-1)$ và $n = 5(2^d-1) + 6 \cdot 2^d$ với $d \in \mathbb{Z}^+$; khảo sát đồng cấu $Tr_5$ tại bậc $4(2^d-1)$ và bậc 17 (song bậc $(5, 22)$).

---

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

Quá trình phát triển của lý thuyết đại số Steenrod, bài toán hit và đồng cấu chuyển Singer được tác giả tổng thuật qua các mốc công trình:

• Đại số Steenrod: Năm 1947, Steenrod [40] xây dựng các toán tử đối đồng điều $Sq^k$. Năm 1952, Adem [2] thiết lập các quan hệ Adem. Năm 1953, Serre [70] chứng minh các toán tử Steenrod sinh ra mọi toán tử đối đồng điều ổn định mod 2. Milnor (1958 [22]) xác định cấu trúc đại số Hopf liên thông, đối giao hoán của $\mathcal{A}$. Mosher và Tangora (1968 [24]) khảo sát cấu trúc $\mathcal{A}$ dưới dạng đại số thương của đại số tensor.
• Bài toán hit của Peterson: Peterson (1987 [28]) khởi xướng nghiên cứu bài toán hit, đưa ra giả thuyết $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)_n = 0$ khi $\alpha(n+k) > k$ và chứng minh cho $k \le 2$. Wood (1989 [64]) chứng minh giả thuyết Peterson cho $k$ tổng quát và rút gọn việc tính toán về dạng bậc $n = s(2^d-1) + 2^d m$ (với $1 \le s \le k$, $m = 0$ hoặc $s-2 \le \mu(m) \le s-1$). Ứng dụng bài toán hit còn được phát triển trong lý thuyết cobordism (Peterson [29]), phân tích ổn định không gian phân loại (Priddy [33]), và lý thuyết biểu diễn modular (Wood [66], Walker-Wood [59]).
• Các kết quả theo số biến $k$: Kameko (Luận án Tiến sĩ tại ĐH Johns Hopkins, 1990 [18]) giải quyết bài toán hit cho $k = 3$, xây dựng đồng cấu Kameko $\widetilde{Sq}_0^*$ và nêu giả thuyết về cận trên số chiều $\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_k)n \le \prod{i=1}^k (2^i - 1)$. Nguyễn Sum giải quyết trọn vẹn bài toán hit cho $k = 4$ trong bản thảo 240 trang năm 2010 và công bố năm 2015 [48]. Đồng thời, Sum (2010 [44, 45]) đã chứng minh phủ định giả thuyết của Kameko khi $k \ge 5$.
• Đánh giá số chiều và tính đẳng cấu Kameko lặp: Mothebe (Luận án Tiến sĩ tại ĐH Manchester, 1997 [25]; công bố 2013 [26], 2014 [27]) thiết lập bất đẳng thức chặn dưới cho số chiều tại bậc $(k-1)(2^d-1)$. Nguyễn Hưng (2001 [14]) chỉ ra đồng cấu lặp Kameko là đẳng cấu khi $d > k-2$. Nguyễn Tín và Nguyễn Sum (2016 [57]) mở rộng kết quả của Hưng, đưa ra điều kiện cần và đủ cho tính đẳng cấu của đồng cấu lặp Kameko với $t \ge t(k, m) := \max{0, k - \alpha(m+k) - \varsigma(m+k)}$. Nguyễn Tín (2014-2016 [54, 55, 56]) và Nguyễn Sum (2015 [50]) đã tính toán bài toán hit cho $P_5$ tại các bậc $s=5, m \in {1, 2, 3, 4, 5}$.
• Đồng cấu chuyển Singer: Singer (1989 [38]) chứng minh $Tr_k$ là đẳng cấu với $k \le 2$, kiểm chứng một số bậc khi $k = 3, 4$, và chỉ ra $Tr_5$ không là toàn cấu tại bậc 9. Boardman (1993 [3]) chứng minh $Tr_3$ là đẳng cấu. Bruner, Lê Minh Hà, Nguyễn Hưng, Trần Ngọc Nam, Đặng Châu Quỳnh, Phan Hoàng Chơn (1998-2015 [5, 9, 10, 11, 12, 14, 15, 16, 17, 34, 68, 69]) đã xác định hoàn toàn ảnh của $Tr_4$. Hưng [14] chứng minh với $k \ge 5$ có vô số bậc mà tại đó $Tr_k$ không là đẳng cấu, nhưng giả thuyết Singer về tính đơn cấu vẫn để ngỏ.

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

1. Chặn dưới số chiều của Mothebe $[25, 26]$ đối với $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)_{(k-1)(2^d-1)}$ chưa chặt và chưa xác định được điều kiện xảy ra đẳng thức.
2. Bài toán hit đối với $P_5$ tại bậc $n = 4(2^d-1)$ có hiệu $n - 5 = 4 \cdot 2^d - 9$ luôn là số lẻ, do đó không thể sử dụng trực tiếp tính đẳng cấu của đồng cấu Kameko lặp để tính toán.
3. Cấu trúc cơ sở của $P_5$ tại dạng bậc $n = 5(2^d-1) + 6 \cdot 2^d$ (với $m = 6$) chưa được xác định tường minh cho $d \ge 1$.
4. Giả thuyết Singer đối với $Tr_5$ chưa được kiểm chứng tại các dạng bậc $4(2^d-1)$ và $5(2^d-1) + 6 \cdot 2^d$.

---

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

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

• Đại số Steenrod mod 2 $\mathcal{A}$: Là $\mathbb{F}2$-đại số kết hợp tự do phân bậc sinh bởi ${Sq^i : i \ge 0}$ chia cho iđêan sinh bởi các quan hệ Adem: $$Sq^a Sq^b = \sum{c=0}^{[a/2]} \binom{b-1-c}{a-2c} Sq^{a+b-c} Sq^c \quad (0 < a < 2b)$$ Toán tử $Sq^0 = 1$, và $Sq^m$ tác động lên tích thỏa mãn công thức Cartan: $Sq^m(fg) = \sum_{t=0}^m Sq^t(f)Sq^{m-t}(g)$.
• Cấu trúc $\mathcal{A}$-môđun trên $P_k$: Tác động trên các phần tử sinh $x_t$ bậc 1 được định nghĩa: $Sq^0(x_t) = x_t$, $Sq^1(x_t) = x_t^2$, và $Sq^m(x_t) = 0$ với $m > 1$.
• Các hàm số học:
  • $\alpha(n)$: Số các chữ số 1 trong khai triển nhị phân của $n$.
  • $\mu(n) = \min{r \in \mathbb{N} : \alpha(n+r) \le r} = \min\left{r \in \mathbb{N} : n = \sum_{t=1}^r (2^{d_t}-1), d_t > 0\right}$.
  • $\varsigma(n)$: Số nguyên không âm lớn nhất $u$ sao cho $n$ chia hết cho $2^u$.
• Đồng cấu Kameko: Đồng cấu $\mathbb{F}_2$-tuyến tính $\psi : P_k \to P_k$ xác định bởi $\psi(x) = u$ nếu $x = x_1 x_2 \ldots x_k u^2$ và $\psi(x) = 0$ trong các trường hợp khác. Đồng cấu này cảm sinh đồng cấu Kameko $\widetilde{Sq}0^* : (\mathbb{F}2 \otimes{\mathcal{A}} P_k){2d+k} \to (\mathbb{F}2 \otimes{\mathcal{A}} P_k)_d$.
• Véctơ trọng, quan hệ thứ tự và đơn thức chấp nhận được:
  • Với mỗi đơn thức $x = x_1^{a_1} \ldots x_k^{a_k}$, véctơ trọng $\omega(x) = (\omega_1(x), \omega_2(x), \ldots)$ với $\omega_i(x) = \sum_{j=1}^k \alpha_{i-1}(a_j)$, và véctơ lũy thừa $\sigma(x) = (a_1, \ldots, a_k)$.
  • Thứ tự từ điển trái được thiết lập trên tập các véctơ trọng và véctơ lũy thừa.
  • Quan hệ tương đương: $f \equiv g \Leftrightarrow f - g \in \mathcal{A}^+ \cdot P_k$; $f \equiv_\omega g \Leftrightarrow f - g \in \mathcal{A}^+ \cdot P_k + P_k^-(\omega)$.
  • Không gian thương $QP_k(\omega) = P_k(\omega) / (\mathcal{A}^+ \cdot P_k \cap P_k(\omega) + P_k^-(\omega))$. Ta có phân tích: $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)n = \bigoplus{\deg \omega = n} QP_k(\omega)$.
  • Đơn thức $x$ là không chấp nhận được nếu nó tương đương với tổng các đơn thức nhỏ hơn; ngược lại là chấp nhận được. Đơn thức $x$ là không chấp nhận được chặt nếu $x = \sum y_\ell + \sum Sq^m(g_m)$ với $y_\ell < x$ và $1 \le m \le 2^u-1$ ($u = \max{i : \omega_i(x) > 0}$).
• Phân tích tổng trực tiếp: $\mathbb{F}2 \otimes{\mathcal{A}} P_k = (\mathbb{F}2 \otimes{\mathcal{A}} P_k^0) \oplus (\mathbb{F}2 \otimes{\mathcal{A}} P_k^+)$, trong đó $P_k^0 = \langle {x_1^{a_1} \ldots x_k^{a_k} : a_1 \ldots a_k = 0} \rangle$ và $P_k^+ = \langle {x_1^{a_1} \ldots x_k^{a_k} : a_1 \ldots a_k > 0} \rangle$. Ta có $\mathbb{F}2 \otimes{\mathcal{A}} P_k^0 \cong \bigoplus_{1 \le r \le k-1} \bigoplus_{\ell(I)=r} (\mathbb{F}2 \otimes{\mathcal{A}} P_I^+)$.
• Tiêu chuẩn Singer: Đơn thức $z = x_1^{a_1} \ldots x_k^{a_k}$ là spike nếu $a_j = 2^{s_j}-1$. Nếu $\mu(n) \le k$ và $z$ là spike cực tiểu bậc $n$, mọi đơn thức $x$ có $\omega(x) < \omega(z)$ đều là đơn thức hit ($x \equiv 0$).

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

Luận án sử dụng phương pháp đại số thuần túy kết hợp công cụ Tôpô đại số:

1. Xây dựng các đồng cấu đại số $\tau_i : P_{k-1} \to P_k$, $p_{(i;I)} : P_k \to P_{k-1}$ và ánh xạ tuyến tính $\varphi_{(i;I)} : P_{k-1} \to P_k$ để chuyển đổi bài toán giữa các đại số đa thức khác số biến.
2. Phương pháp quy nạp toán học theo số biến $k$, theo tham số bậc $d$, theo độ dài dãy chỉ số $\ell(I)$, và theo số mũ lũy thừa $a_i$.
3. Phân rã không gian theo các véctơ trọng $\omega$, xác định tập sinh cực tiểu và chứng minh tính độc lập tuyến tính thông qua tác động của hệ các phép chiếu $p_{(i;I)}$.
4. Kỹ thuật đối ngẫu giữa đồng điều và đối đồng điều kỳ dị của không gian phân loại $B(\mathbb{Z}/2)^k$, kết hợp tính bất biến dưới tác động của nhóm tuyến tính tổng quát $GL_k$.

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

Dữ liệu của luận án là các cấu trúc đại số trừu tượng, hệ thống định lý và công thức từ các công trình toán học chuyên ngành đã công bố quốc tế và trong nước. Các tính toán đơn thức chấp nhận được, số chiều không gian và ma trận tác động được kiểm chứng giải tích bằng logic toán học chặt chẽ.

---

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

Chương 1. Một số kiến thức cơ sở

Chương 1 hệ thống hóa các kiến thức nền tảng về đại số Steenrod mod 2 $\mathcal{A}$, cấu trúc $\mathcal{A}$-môđun của $P_k$, các hàm số học $\alpha, \mu$, đồng cấu Kameko $\widetilde{Sq}_0^*$, thứ tự đơn thức, các khái niệm đơn thức chấp nhận được, không chấp nhận được chặt, đơn thức spike và tiêu chuẩn đơn thức hit của Singer.

Chương này trình bày các mệnh đề, định lý quan trọng làm công cụ tính toán:

• Mệnh đề 1.3: $\mu(n) = r$ khi và chỉ khi tồn tại duy nhất dãy $d_1 > d_2 > \ldots > d_r > 0$ sao cho $n = \sum_{t=1}^r 2^{d_t} - r$.
• Định lý Kameko (Định lý 1.1): Nếu $\mu(2d+k) = k$ thì $\widetilde{Sq}0^* : (\mathbb{F}2 \otimes{\mathcal{A}} P_k){2d+k} \to (\mathbb{F}2 \otimes{\mathcal{A}} P_k)_d$ là một đẳng cấu $GL_k$-môđun.
• Định lý Tín - Sum (Định lý 1.2): Đồng cấu lặp Kameko $(\widetilde{Sq}0^*)^{d-t} : (\mathbb{F}2 \otimes{\mathcal{A}} P_k){k(2^d-1)+2^d m} \to (\mathbb{F}2 \otimes{\mathcal{A}} P_k)_{k(2^t-1)+2^t m}$ là một đẳng cấu $GL_k$-môđun với mọi $d > t$ khi và chỉ khi $t \ge t(k, m) := \max{0, k - \alpha(m+k) - \varsigma(m+k)}$.
• Định lý Sum (Định lý 1.4): Thiết lập công thức truy hồi theo số biến cho số chiều không gian véctơ $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)_n$ khi $s = k-1$ và $d > k-1 > 3$.
• Hệ quả 1.2: Thiết lập công thức tổng quát tính số chiều dựa trên hạt nhân của đồng cấu Kameko $\text{Ker}(\widetilde{Sq}_0^*)$, chứng minh giả thuyết Kameko không đúng khi $k \ge 5$.

Chương 2. Bài toán hit đối với đại số đa thức tại bậc $(k − 1)(2^d − 1)$

Chương 2 nghiên cứu cấu trúc của $\mathbb{F}2 \otimes{\mathcal{A}} P_k$ tại bậc $n = (k-1)(2^d-1)$ với $k \ge 3$ và $d \ge 1$.

Tác giả xây dựng các công cụ đại số:

• Ánh xạ $\varphi_{(i;I)} : P_{k-1} \to P_k$ và đồng cấu $p_{(i;I)} : P_k \to P_{k-1}$ với $(i; I) \in \mathcal{N}_k$.
• Khảo sát hai không gian con tương ứng với hai véctơ trọng: $\omega(k,d) = ((k-1)^{(d)})$ và $\omega'(k,d) = ((k-1)^{(d-1)}, k-3, 1)$.
• Mệnh đề 2.2: Tập hợp $\mathcal{B}(d) = {[\varphi_{(i;I)}(X^{2^d-1})]{\omega(k,d)} : (i;I) \in \mathcal{N}{k,p}}$ là một cơ sở của $QP_k(\omega(k,d))$, từ đó tính được số chiều: $$\dim QP_k(\omega(k,d)) = \sum_{t=1}^p \binom{k}{t} \quad \text{với } p = \min{k, d}$$
• Mệnh đề 2.6: Với $q = \min{k, d-1}$, tập hợp $\bar{\mathcal{B}}(d)$ độc lập tuyến tính trong $QP_k(\omega'(k,d))$, dẫn tới: $$\dim QP_k(\omega'(k,d)) \ge (k-3)\binom{k}{2} \sum_{\ell=1}^q \binom{k}{\ell}$$ Dấu bằng xảy ra khi $d \ge k$.

Kết hợp các kết quả trên, tác giả chứng minh kết quả chính của chương:

• Định lý 2.1: Cho $n = (k-1)(2^d-1)$ với $d \in \mathbb{Z}^+$, $p = \min{k, d}$, $q = \min{k, d-1}$. Nếu $k \ge 3$ thì: $$\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_k)n \ge \sum{t=1}^p \binom{k}{t} + (k-3)\binom{k}{2} \sum_{\ell=1}^q \binom{k}{\ell}$$ Dấu đẳng thức xảy ra khi và chỉ khi: $k = 3$; hoặc $k = 4, d \ge 5$; hoặc $k = 5, d \ge 6$.
• Hệ quả 2.10: Mở rộng và làm chặt bất đẳng thức của Mothebe $[25, 26]$: $$\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_k)n \ge N(k, n) + \sum{t=2}^p \binom{k}{t} + (k-3)\binom{k}{2}\sum_{\ell=2}^q \binom{k}{\ell}$$ trong đó $N(k, n)$ là số các đơn thức spike bậc $n$ trong $P_k$.

Chương 3. Bài toán hit đối với đại số đa thức năm biến tại một số dạng bậc

Chương 3 tập trung giải quyết trọn vẹn bài toán hit cho $P_5$ tại hai dạng bậc: $n = 4(2^d-1)$ và $n = 5(2^d-1) + 6 \cdot 2^d$.

1. Dạng bậc $n = 4(2^d-1)$ (Mục 3.1)

Vì $n - 5 = 4 \cdot 2^d - 9$ luôn lẻ với mọi $d \ge 1$, không thể dùng tính đẳng cấu của đồng cấu Kameko lặp. Tác giả sử dụng phân tích $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_{4(2^d-1)} = \bigoplus QP_5(\omega)$, tập 21 đơn thức chấp nhận được $\mathcal{B}_4(4(2^d-1))$ của Sum [47], cùng công thức truy hồi theo số biến cho trường hợp $d \ge 5$.

Kết quả thu được là Định lý 3.1:

Bậc $n = 4(2^d-1)$	$d = 1$	$d = 2$	$d = 3$	$d = 4$	$d \ge 5$
Giá trị bậc $n$	4	12	28	60	$4(2^d-1)$
$\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_n$	45	190	480	650	651

2. Dạng bậc $n = 5(2^d-1) + 6 \cdot 2^d$ (Mục 3.2)

Tác giả chứng minh $\mu(n+5) = \mu(11 \cdot 2^d) = \mu(11) = 5$. Theo Định lý Kameko, đồng cấu lặp: $$(\widetilde{Sq}0^*)^{d-2} : (\mathbb{F}2 \otimes{\mathcal{A}} P_5){5(2^d-1)+6 \cdot 2^d} \longrightarrow (\mathbb{F}2 \otimes{\mathcal{A}} P_5)_{39}$$ là một đẳng cấu $GL_5$-môđun với mọi $d \ge 2$. Do đó, việc tính toán quy về hai trường hợp cơ sở: $d = 1$ ($n = 17$) và $d = 2$ ($n = 39$).

Kết quả được khẳng định trong Định lý 3.2:

• Với $d = 1$ ($n = 17$): $\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_{17} = 566$.
• Với $d \ge 2$ (bao gồm $d = 2, n = 39$): $\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_n = 2130$.

Toàn bộ danh mục các đơn thức chấp nhận được được tác giả liệt kê chi tiết trong Phụ lục A của luận án.

Chương 4. Ứng dụng của bài toán hit cho đồng cấu chuyển đại số thứ năm của Singer

Chương 4 ứng dụng các kết quả bài toán hit để kiểm chứng giả thuyết Singer về đồng cấu chuyển đại số $Tr_5$: $$Tr_5 : \mathbb{F}2 \otimes{GL_5} P H_n(B(\mathbb{Z}/2)^5, \mathbb{F}2) \longrightarrow \text{Ext}^{5, 5+n}{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2)$$

1. Kiểm chứng tại bậc $n = 4(2^d-1)$

Từ kết quả bài toán hit ở Chương 3, tác giả chỉ ra $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}{4(2^d-1)} = 0$, lấy đối ngẫu thu được $\mathbb{F}2 \otimes{GL_5} P H{4(2^d-1)}(B(\mathbb{Z}/2)^5, \mathbb{F}2) = 0$ với mọi $d \ge 1$. Kết hợp với kết quả của Lin [21], Chen [7] và Tangora [53] về $\text{Ext}^{5, 4 \cdot 2^d + 1}{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}2) = 0$, đồng cấu chuyển đại số: $$Tr_5 : \mathbb{F}2 \otimes{GL_5} P H{4(2^d-1)}(B(\mathbb{Z}/2)^5, \mathbb{F}2) \longrightarrow \text{Ext}^{5, 4 \cdot 2^d + 1}{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2)$$ là một đẳng cấu tầm thường giữa hai không gian véctơ có số chiều bằng 0. Do đó, giả thuyết Singer đúng cho $k = 5$ tại bậc $4(2^d-1)$ với mọi số nguyên dương $d$.

2. Kiểm chứng tại bậc $n = 5(2^d-1) + 6 \cdot 2^d$ với $d = 1$ ($n = 17$)

• Định lý 4.4: Xác định chính xác cấu trúc $GL_5$-bất biến tại bậc 17: có đúng một lớp khác 0 trong $(\mathbb{F}2 \otimes{\mathcal{A}} P_5){17}$ bất biến dưới tác động của nhóm $GL_5$, tức là: $$\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}{17} = 1$$
• Dựa trên kết quả của Singer [38], Lê Minh Hà [12] và Tangora [53], phần tử $h_2 d_0 = h_0 e_0 \in \text{Ext}^{5, 22}_{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2)$ là phân tích được và nằm trong ảnh của $Tr_5$.
• Hệ quả 4.5: Đồng cấu chuyển đại số: $$Tr_5 : \mathbb{F}2 \otimes{GL_5} P H_{17}(B(\mathbb{Z}/2)^5, \mathbb{F}2) \longrightarrow \text{Ext}^{5, 22}{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2)$$ là một đẳng cấu giữa hai không gian véctơ 1 chiều. Như vậy, giả thuyết Singer đúng cho trường hợp hạng năm tại bậc 17.

3. Khảo sát tại bậc $n = 39$ ($d = 2$)

Tại bậc 39, đồng cấu Kameko $(\widetilde{Sq}0^*)^{(5,39)} : (\mathbb{F}2 \otimes{\mathcal{A}} P_5){39} \to (\mathbb{F}2 \otimes{\mathcal{A}} P_5){17}$ là toàn cấu các $GL_5$-môđun. Mọi phần tử trong $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}{39}$ có dạng $\gamma[\psi(d_0)] + [a]$ với $[a] \in \text{Ker}(\widetilde{Sq}0^*)^{(5,39)}{GL_5}$. Do phần tử $h_3 d_1 = h_1 e_1 \in \text{Ext}^{5, 44}_{\mathcal{A}}(\mathbb{F}2, \mathbb{F}2)$ thuộc ảnh của $Tr_5$ nên $\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}{39} \ge 1$. Tác giả thiết lập Giả thuyết 4.1: Với $k = 5$ tại bậc 39, $\text{Ker}(\widetilde{Sq}0^*)^{(5,39)}{GL_5} = 0$. Nếu giả thuyết này đúng, $\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}{39} = 1$ và $Tr_5$ là đẳng cấu tại bậc 39.

---

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

Luận án đạt được 5 kết quả đóng góp khoa học chính:

1. Thiết lập chặn dưới mới cho số chiều tại bậc $(k-1)(2^d-1)$: Thiết lập bất đẳng thức tổng quát cho $\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_k)_{(k-1)(2^d-1)}$ với $k \ge 3, d \ge 1$ (Định lý 2.1), mở rộng và làm chặt bất đẳng thức của Mothebe (1997, 2013), đồng thời chỉ ra chính xác điều kiện cần và đủ để đạt dấu đẳng thức (khi $k = 3$; $k = 4, d \ge 5$; hoặc $k = 5, d \ge 6$).
2. Giải quyết bài toán hit cho $P_5$ tại bậc $4(2^d-1)$: Xác định tường minh tập sinh cực tiểu và công thức tính số chiều của $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_{4(2^d-1)}$ với mọi $d \ge 1$ (bậc 4: 45 chiều; bậc 12: 190 chiều; bậc 28: 480 chiều; bậc 60: 650 chiều; bậc $4(2^d-1)$ với $d \ge 5$: 651 chiều).
3. Giải quyết bài toán hit cho $P_5$ tại bậc $5(2^d-1) + 6 \cdot 2^d$: Chứng minh số chiều $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_n$ bằng 566 khi $d = 1$ (bậc 17) và bằng 2130 khi $d \ge 2$ (bao gồm bậc 39 tại $d = 2$), đồng thời xây dựng hệ thống đơn thức chấp nhận được tương ứng.
4. Xác định cấu trúc $GL_5$-bất biến tại bậc 17: Chứng minh không gian $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}_{17}$ có số chiều đúng bằng 1.
5. Kiểm chứng giả thuyết Singer đối với $Tr_5$: Chứng minh giả thuyết Singer đúng trong trường hợp hạng năm tại họ bậc $4(2^d-1)$ với mọi $d \ge 1$ (đẳng cấu tầm thường) và tại bậc 17 (đẳng cấu tại song bậc $(5, 22)$).

Kiến nghị và đề xuất

• Đề xuất chứng minh Giả thuyết 4.1 ($\text{Ker}(\widetilde{Sq}0^*)^{(5,39)}{GL_5} = 0$) để hoàn tất kiểm chứng giả thuyết Singer đối với $Tr_5$ tại bậc 39 và các bậc $5(2^d-1)+6 \cdot 2^d$ với $d > 2$.
• Đề xuất tiếp tục nghiên cứu cấu trúc bài toán hit của $P_5$ tại các dạng bậc $s(2^d-1) + 2^d m$ với các bộ tham số $(s, m)$ còn lại.

---

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

Hạn chế

• Luận án tập trung nghiên cứu trên số biến $k = 5$ tại hai dạng bậc cụ thể ($s = 4, m = 0$ và $s = 5, m = 6$), chưa bao quát toàn bộ các bộ tham số $(s, m)$ khác trong công thức phân loại bậc của Wood.
• Đối với bậc 39 ($d = 2$ của dạng bậc $5(2^d-1) + 6 \cdot 2^d$), do độ phức tạp tính toán tổ hợp quá lớn, luận án dừng lại ở việc đưa ra Giả thuyết 4.1 về hạt nhân của đồng cấu Kameko mà chưa thể hoàn tất chứng minh giải tích trọn vẹn cho trường hợp này.

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

1. Kiểm chứng Giả thuyết 4.1 để khẳng định tính đơn cấu của đồng cấu chuyển Singer $Tr_5$ tại bậc 39 và tổng quát cho $d \ge 2$.
2. Tính toán bài toán hit cho đại số đa thức 5 biến $P_5$ tại các dạng bậc $s(2^d-1) + 2^d m$ với $s \in {1, 2, 3, 4, 5}$ và $m \ge 7$.
3. Phát triển các kỹ thuật đại số để tiếp cận bài toán hit và đồng cấu chuyển Singer cho số biến $k \ge 6$.

---

Giá trị tham khảo

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

• Nghiên cứu sinh, học viên cao học và giảng viên: Chuyên ngành Đại số và Lý thuyết số, Tôpô đại số, Lý thuyết đồng luân, và Đại số giao hoán.
• Các nhà nghiên cứu lý thuyết đối đồng điều: Cung cấp phương pháp xác định trang $E_2$ của dãy phổ Adams thông qua đồng cấu chuyển Singer và bài toán hit.

Các phần có giá trị tham khảo chuyên sâu

• Chương 2: Kỹ thuật xây dựng các họ đồng cấu $\tau_i, p_{(i;I)}, \varphi_{(i;I)}$ và phân tích không gian thương $QP_k(\omega)$ để đánh giá số chiều đại số đa thức nhiều biến.
• Chương 3: Phương pháp xử lý bài toán hit trong trường hợp $n - k$ lẻ (khi không áp dụng được trực tiếp tính đẳng cấu Kameko lặp) thông qua công thức truy hồi theo số biến.
• Chương 4: Quy trình tính toán các lớp bất biến $GL_k$ từ cơ sở của bài toán hit để khảo sát ảnh và hạt nhân của đồng cấu chuyển Singer.
• Phụ lục A: Bảng danh mục tường minh các đơn thức chấp nhận được tại các bậc 4, 6, 12, 17, 18, 28, 39, 60 trong $P_5$, có thể sử dụng làm dữ liệu kiểm chứng cho các thuật toán đại số máy tính.

---

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

1. Bài toán hit của Peterson đối với đại số đa thức $P_k$ là gì và có vai trò như thế nào trong Tôpô đại số?

Bài toán hit của Peterson (1987) là bài toán tìm một hệ sinh tối tiểu của đại số đa thức phân bậc $P_k = \mathbb{F}_2[x_1, \ldots, x_k]$ xét như một môđun trên đại số Steenrod mod 2 $\mathcal{A}$. Về mặt đại số tuyến tính, bài toán quy về việc tìm một cơ sở cho $\mathbb{F}_2$-không gian véctơ phân bậc $(P_k)_n / (\mathcal{A}^+ \cdot P_k)_n \cong (\mathbb{F}2 \otimes{\mathcal{A}} P_k)n$. Trong Tôpô đại số, giải quyết bài toán hit là bước quyết định để xác định cấu trúc đối đồng điều của đại số Steenrod $\text{Ext}^{,}{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2)$, kiểm chứng giả thuyết Singer về đồng cấu chuyển đại số $Tr_k$, nghiên cứu lý thuyết cobordism của đa tạp, và phân tích ổn định không gian phân loại $B(\mathbb{Z}/2)^k$.

2. Định lý 2.1 của luận án mở rộng kết quả của Mothebe như thế nào?

Mothebe (1997, 2013) thiết lập chặn dưới: $$\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_k){(k-1)(2^d-1)} \ge N(k, (k-1)(2^d-1)) + \sum{i=2}^{\min{k,d}} \binom{k}{i}$$ Định lý 2.1 của luận án đã thiết lập chặn dưới chặt hơn: $$\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_k){(k-1)(2^d-1)} \ge \sum{t=1}^p \binom{k}{t} + (k-3)\binom{k}{2} \sum_{\ell=1}^q \binom{k}{\ell}$$ với $p = \min{k, d}$ và $q = \min{k, d-1}$. Đồng thời, luận án chứng minh dấu đẳng thức xảy ra khi và chỉ khi: $k = 3$; hoặc $k = 4, d \ge 5$; hoặc $k = 5, d \ge 6$, điều mà các công trình trước đó chưa xác định được.

3. Số chiều của không gian $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)_n$ tại các dạng bậc khảo sát trong Chương 3 là bao nhiêu?

Theo Định lý 3.1 và Định lý 3.2:

• Tại dạng bậc $n = 4(2^d-1)$: Số chiều lần lượt là 45 (với $d=1$), 190 (với $d=2$), 480 (với $d=3$), 650 (với $d=4$) và đạt giá trị ổn định 651 với mọi $d \ge 5$.
• Tại dạng bậc $n = 5(2^d-1) + 6 \cdot 2^d$: Số chiều bằng 566 khi $d=1$ (bậc 17) và bằng 2130 với mọi $d \ge 2$ (bậc 39 khi $d=2$).

4. Giả thuyết Singer đối với $Tr_5$ được kiểm chứng như thế nào trong luận án?

Luận án kiểm chứng giả thuyết Singer cho $Tr_5$ tại hai trường hợp:

• Tại bậc $4(2^d-1)$ ($d \ge 1$): Chứng minh $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}{4(2^d-1)} = 0$, dẫn tới miền xác định của $Tr_5$ triệt tiêu. Vì $\text{Ext}^{5, 4 \cdot 2^d + 1}{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2) = 0$, $Tr_5$ là đẳng cấu tầm thường giữa hai không gian 0 chiều.
• Tại bậc 17 ($d = 1$ của dạng bậc $5(2^d-1)+6 \cdot 2^d$): Chứng minh $\dim(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}{17} = 1$ và chỉ ra phần tử sinh $h_2 d_0 = h_0 e_0 \in \text{Ext}^{5, 22}{\mathcal{A}}(\mathbb{F}_2, \mathbb{F}_2)$ nằm trong ảnh của $Tr_5$, suy ra $Tr_5$ là một đẳng cấu.

5. Nội dung và ý nghĩa của Giả thuyết 4.1 trong luận án là gì?

Giả thuyết 4.1 phát biểu rằng: Với $k = 5$ tại bậc 39, hạt nhân của đồng cấu Kameko bất biến dưới tác động của nhóm tuyến tính tổng quát triệt tiêu, tức $\text{Ker}(\widetilde{Sq}0^*)^{(5,39)}{GL_5} = 0$. Giả thuyết này có ý nghĩa quyết định: nếu đúng, nó chứng minh không gian $(\mathbb{F}2 \otimes{\mathcal{A}} P_5)^{GL_5}_{39}$ có số chiều bằng 1, qua đó suy ra $Tr_5$ là một đẳng cấu tại bậc 39, khẳng định giả thuyết Singer cho trường hợp hạng năm tại bậc này và mở rộng cho mọi $d \ge 2$.

---

Kết luận

Luận án tiến sĩ của Đặng Võ Phúc đã giải quyết trọn vẹn bài toán hit của Peterson đối với đại số đa thức 5 biến $P_5$ tại hai dạng bậc $n = 4(2^d-1)$ và $n = 5(2^d-1)+6 \cdot 2^d$, đồng thời thiết lập chặn dưới chặt hơn cho số chiều của $(\mathbb{F}2 \otimes{\mathcal{A}} P_k)_{(k-1)(2^d-1)}$ với $k \ge 3$. Thông qua việc xác định tường minh các lớp bất biến $GL_5$, công trình đã kiểm chứng và khẳng định tính đúng đắn của giả thuyết Singer về đồng cấu chuyển đại số thứ năm $Tr_5$ tại bậc $4(2^d-1)$ với mọi $d \ge 1$ và tại bậc 17. Các kết quả này đóng góp trực tiếp vào lý thuyết biểu diễn môđun trên đại số Steenrod và cung cấp công cụ tính toán đối đồng điều trong Tôpô đại số.