THÔNG TIN TÀI LIỆU
Mục lục Lời cam đoan Lời cảm ơn Mở đầu I Kiến thức chuẩn bị 16 I.1 Đại số Steenrod môđulô 16 I.1.1 Xây dựng toán tử Steenrod 16 I.1.2 Đại số Steenrod đại số Hopf 19 I.2 Lý thuyết bất biến đối bất biến 20 I.3 Các toán tử squaring 22 I.3.1 Toán tử squaring cổ điển 22 I.3.2 Toán tử squaring Kameko 23 I.3.3 Toán tử squaring đối ngẫu đại số Dickson 24 II Nghiên cứu bước đầu đồng cấu chuyển Singer hạng 27 II.1 Đồng cấu chuyển đại số 29 II.2 Một hệ sinh A-môđun P5 bậc 11 30 II.3 Các GL5 -bất biến 36 II.4 Chứng minh Định lý II.2 45 II.5 Kết luận Chương II 46 III Toán tử squaring đối ngẫu đại số Dickson Đồng cấu Lannes Zarati 47 III.1 Chuẩn bị 49 III.2 Biểu diễn mức độ dây chuyền toán tử squaring đối ngẫu theo bất biến Dickson III.3 Toán tử squaring đẳng cấu ảnh 49 51 III.4 Bậc triệt tiêu toán tử squaring 57 III.5 Bậc triệt tiêu toán tử squaring hạng nhỏ ´ III.6 Ưng dụng để khảo sát đồng cấu Lannes-Zarati 63 65 III.7 Kết luận Chương III 74 Kiến nghị nghiên cứu 74 Danh mục cơng trình tác giả liên quan đến luận án 75 Tài liệu tham khảo 76 Bảng số ký hiệu F2 Trường với phần tử Sn Mặt cầu n-chiều Vs Nhóm 2-abel sơ cấp hạng s BVs Không gian phân loại nhóm Vs GLs := GL(Vs ) Nhóm tuyến tính tổng quát Vs , đẳng cấu với nhóm s × s-ma trận khả nghịch trường F2 RP∞ Không gian xạ ảnh thực vô hạn chiều H∗ (X) Đồng điều không gian tôpô X với hệ số F2 H ∗ (X) Đối đồng điều không gian tôpô X với hệ số F2 A Đại số Steenrod (môđulô 2) Ext∗A (F2 , F2 ) Đối đồng điều đại số Steenrod (môđulô 2) TorA ∗ (F2 , F2 ) Đồng điều đại số Steenrod (môđulô 2) π∗S (S0) Nhóm đồng luân ổn định S0 Mở đầu Phân loại đồng luân ánh xạ liên tục hai mặt cầu (có thể có số chiều khác nhau) tốn trung tâm Tơpơ đại số kể từ năm 1930, H Hopf [70, 71] tìm ánh xạ không tầm thường, ngày mang tên ông: S3 → S2 , S7 → S4 , S15 → S8 Các ánh xạ Hopf quan hệ mật thiết với cấu trúc đại số trường số thực có phép chia trường số phức, thể quaternion, đại số Cayley Một công cụ để nghiên cứu toán phân loại đồng luân toán tử Steenrod, ký hiệu Sq i : H ∗ (X; F2 ) → H ∗+i (X; F2 ), với i ≥ 0, tác động tự nhiên đối đồng điều không gian tôpô X với hệ số F2 Các toán tử Sq i Steenrod [51] xây dựng năm 1947 Đến năm 1952, ông [52] mở rộng kết cho đối đồng điều hệ số Fp với p số nguyên tố lẻ Các toán tử Steenrod cho phép nhận biết khác không gian mà cấu trúc vành đối đồng điều khơng thể nhìn thấy Lược sử việc phát toán tử tóm tắt sau Bằng cách dùng đồng điều, người ta phân loại đa tạp chiều, compact, liên thông, định hướng Cụ thể, đa tạp đồng phôi với xuyến với g "lỗ" M g , hay mặt cầu gắn g "quai", với g ≥ Trong thập niên 1940, Pontrjagin viết số báo đưa khẳng định tương tự cho đa tạp chiều, compact, liên thơng, định hướng Nhưng sau đó, người ta tìm thấy phản ví dụ cho điều này: tồn đa tạp ba chiều có vành đối đồng điều khơng đồng phơi với Steenrod phát nguyên nhân kiện có tốn tử Sq i thực việc kết nối phần tử đối đồng điều đa tạp cho theo cách khác Đại số sinh Sq i (i ≥ 0) với phép cộng phép hợp thành toán tử thông thường gọi đại số Steenrod (môđulô 2), ký hiệu A Cấu trúc đại số này, sau đó, làm sáng tỏ Adem [4], Cartan [63], Serre [69], Milnor [38] Cụ thể, đại số Steerod (môđulô 2) đại số tenxơ Sq i môđulô quan hệ Adem [4]: [a ] a b Sq Sq = k=0 b−1−k Sq a+b−k Sq k , (với < a < 2b) a − 2k Tác động tốn tử Steenrod lên tích đối đồng điều thỏa mãn công thức Cartan [63]: k k Sq i(x)Sq k−i (y) Sq (xy) = i=0 Trong [69], sở nghiên cứu tốn xác định đối đồng điều mơđulơ không gian Eilenberg-Mac Lane, Serre đại số Steenrod đại số tất toán tử đối đồng điều ổn định (theo nghĩa "giao hốn với phép treo") phạm trù khơng gian tôpô Trong [38], Milnor thu kết đẹp bất ngờ đại số Steenrod khảo sát đại số Hopf Nói riêng, ơng chứng minh đối ngẫu đại số Steenrod đại số đa thức với phần tử sinh xác định tường minh Adams xây dựng [1] dãy phổ, sau mang tên ông, với trang E2 đối đồng điều đại số Steenrod Ext∗A (F2 , F2 ) hội tụ đến thành phần 2-xoắn nhóm đồng luân ổn định mặt cầu π∗S (S0) Kể từ sau cơng trình đó, việc xác định Ext∗A (F2 , F2 ) trở thành toán quan trọng hàng đầu lý thuyết đồng luân ổn định Ext∗A (F2 , F2 ) nghiên cứu tập trung sâu sắc từ năm 1960 (Adams [2], Wang [56], May [36], Tangora [55], Lin [32], Lin-Mahowald [33] nhiều cơng trình khác) Tuy nhiên, nay, cịn đối tượng khó hiểu Bài tốn xác định ExtsA (F2 , F2 ) mở s ≥ Nhằm nghiên cứu ExtsA (F2 , F2 ) thông qua lý thuyết bất biến, Singer xây dựng [48] đồng cấu chuyển (F2 , F2 ), T rs : F2 ⊗ P H∗ (BVs ) −→ Exts,s+∗ A GLs BVs khơng gian phân loại nhóm 2-abel sơ cấp hạng s, P H∗ (BVs ) không gian H∗ (BVs) gồm tất phần tử bị triệt tiêu toán tử Steenrod bậc dương Ông T rs đồng cấu thực chất (khơng tầm thường) Nói riêng, T rs đẳng cấu với s = 1, T r := ⊕s T rs đồng cấu đại số Năm 1991, Boardman [6] khẳng định thêm giá trị đồng cấu chuyển chứng minh T r3 đẳng cấu Từ đó, đồng cấu chuyển đại số T r kỳ vọng công cụ hữu hiệu để nghiên cứu đối đồng điều đại số Steenrod Đặc biệt, Singer đưa giả thuyết sau Giả thuyết (W M Singer [48, Giả thuyết 1.1]) Đồng cấu chuyển (F2 , F2 ) T rs : F2 ⊗ P H∗ (BVs ) −→ Exts,s+∗ A GLs đơn cấu với s ≥ Đồng cấu T rs xây dựng [48] hồn tồn cơng cụ đại số Tuy nhiên, ánh xạ cảm sinh đồng cấu chuyển hình học trs : π∗ ((BVs )+ ) → π∗ (S0) trang E2 dãy phổ Adams (xem Kahn-Priddy [30], Mitchell [40], Singer [48]) Đối ngẫu P H∗ (BVs ) F2 ⊗Ps , Ps đại số đa thức s biến, biến A có bậc Bài tốn xác định sở cho không gian véctơ phân bậc F2 ⊗Ps (hay A xác định hệ sinh tối thiểu Ps xem A-mơđun) nội dung toán "hit" thu hút nhiều nhà nghiên cứu Tôpô đại số (Peterson [43], Singer [47, 48], Wood [60], Priddy [45], Kameko [31], Alghamdi-Crabb-Hubbuck [5], N H V Hưng [18][22], N H V Hưng-T N Nam [23, 24], Bruner-Hà-Hưng [10], T N Nam [67], N Sum [54]) Liulevicius có lẽ người tồn toán tử s+i,2(s+d) Sq i : Exts,s+d (F2 , F2 ) → ExtA A (F2 , F2 ) đối đồng điều đại số Steenrod có hầu hết tính chất tốn tử Steenrod tác động đối đồng điều không gian tôpô s,2(s+d) (xem [35]) Tuy nhiên, điểm khác biệt Sq : Exts,s+d (F2 , F2 ) −→ ExtA A (F2 , F2 ) không ánh xạ đồng Ngày nay, gọi tốn tử squaring cổ điển Trong giải toán "hit" với s ≤ 3, Kameko [31] xây dựng toán tử Sq : (F2 ⊗ P H∗ (BVs ))d −→ (F2 ⊗ P H∗ (BVs ))2d+s GLs GLs miền xác định đồng cấu chuyển dạng tương tự tốn tử squaring cổ điển Thật ra, cơng trình nói trên, Kameko khơng ký hiệu tốn tử Sq 0, ông không nhận mối quan hệ với tốn tử squaring cổ điển Boardman [6] Minami [39] sau tốn tử nói trên, sau gọi tốn tử squar8 ing Kameko, giao hoán với toán tử Sq Exts,s+∗ (F2 , F2 ) qua đồng cấu chuyển đại số A T rs : Exts,s+∗ (F2 , F2 ) → F2 ⊗ P H∗ (BVs ) A GLs Nhóm tuyến tính tổng quát GLs tác động qui Vs , đó, H ∗ (BVs ) H∗ (BVs ) Hơn nữa, tác động A GLs H∗ (BVs ) giao hốn với Do đó, tác động qui A H∗ (BVs ) cảm sinh tác động A F2 ⊗ H∗ (BVs ) Nhận xét F2 ⊗ H∗ (BVs ) đối ngẫu đại số Dickson [14] gồm GLs GLs tất phần tử H ∗ (BVs ) bất biến tác động GLs Trong [18], N H V Hưng phát tồn toán tử, gọi squaring, Sq : P (F2 ⊗ H∗ (BVs ))d −→ P (F2 ⊗ H∗ (BVs ))2d+s , GLs GLs dạng tương tự tốn tử squaring cổ điển, tương thích với tốn tử squaring Kameko Ơng [21] chứng minh toán tử Sq Exts,s+∗ (F2 , F2 ) A P (F2 ⊗ H∗ (BVs )) giao hoán với qua đồng cấu Lannes-Zarati GLs (F2 , F2 ) −→ P (F2 ⊗ H∗ (BVs )) ϕs : Exts,s+∗ A GLs Để hiểu ý nghĩa công trình N H V Hưng, chúng tơi nói qua vài nét Giả thuyết cổ điển lớp cầu Đồng cấu Lannes - Zarati Lấy Q0S0 thành phần chứa điểm gốc QS0 = limn Ωn Sn Nhóm đồng luân thành phần Q0 S0 nhóm đồng ln ổn định điểm gốc S0 Bài tốn tìm ảnh đồng cấu Hurewicz H : π∗S (S0) ∼ = π∗ (Q0S0) → H∗ (Q0 S0; F2 ) đặt khoảng 40 năm trước, chưa giải Giả thuyết cổ điển lớp cầu phán đốn khó liên quan đến toán này: đồng cấu Hurewicz phát phần tử π∗S (S0) có bất biến Hopf bất biến Kervaire (Xem Curtis [13], SnaithTornehave [50], Wellington [57].) Đồng cấu Lannes-Zarati, xây dựng [64, 66], phân bậc liên kết đồng cấu Hurewicz H : π∗S (S0) ∼ = π∗(Q0 S0) → H∗ (Q0S0) trang E2 dãy phổ Adams hội tụ đến π∗S (S0) (xem Lannes-Zarati [65], Goerss [16]) Mặt khác, dãy phổ Adams hội tụ π∗S (S0 ), phần tử với bất biến Hopf bất biến Kervaire 2,∗ đại diện chu kỳ vĩnh cửu Ext1,∗ A (F2 , F2 ) ExtA (F2 , F2 ); lớp ϕ1 ϕ2 không tầm thường (xem Adams [2], Browder [8], Lannes-Zarati [66]) Từ đó, N H V Hưng đưa dạng đại số Giả thuyết cổ điển lớp cầu sau Giả thuyết (N H V Hưng [18, Giả thuyết 1.2]) Đồng cấu Lannes-Zarati (F2 , F2 ) −→ P (F2 ⊗ H∗ (BVs ))d ϕs : Exts,s+d A GLs phần tử có gốc d dương với s > Giả thuyết N H V Hưng chứng minh cho s = 3, [18, 21] Mặt khác, N H V Hưng F P Peterson [26] chứng minh ϕ := ⊕s ϕs đồng cấu đại số sở đồng cấu phần tử phân tích có chiều đồng điều lớn Vì vậy, để chứng minh phần cịn lại Giả thuyết 2, ta cần xét ϕs phần tử khơng phân tích Mối liên hệ ba tốn tử squaring nói với đồng cấu chuyển đại số đồng cấu Lannes-Zarati tóm lược biểu đồ giao hoán sau (F2 ⊗ P H∗ (BVs ))d T rs ✲ GLs Exts,s+d (F2 , F2 ) A Sq0 GLs ✲ P (F2 ⊗ H∗ (BVs ))d GLs Sq0 ❄ (F2 ⊗ P H∗ (BVs ))2d+s ϕs Sq0 ❄ T rs ✲ s,2(s+d) ExtA (F2 , F2 ) ❄ ϕs ✲ P (F2 ⊗ H∗ (BVs ))2d+s GLs N H V Hưng [18] hợp thành js∗ = ϕs ◦ T rs : F2 ⊗ P H∗ (BVs ) → GLs P (F2 ⊗ H∗ (BVs )) đồng cấu cảm sinh từ phép đồng Vs , toán tử Sq GLs F2 ⊗ P H∗ (BVs ) P (F2 ⊗ H∗ (BVs )) giao hốn với qua js∗ Hơn nữa, ơng GLs GLs với T N Nam [23] chứng minh js∗ = với s > Đây câu trả lời khẳng định cho dạng yếu Giả thuyết cổ điển lớp cầu Trong luận án này, nghiên cứu hai vấn đề sau Thứ nhất, bước đầu khảo sát đồng cấu chuyển đại số hạng mối liên hệ với Giả thuyết Singer Như nói trên, T rs đẳng cấu với s = 1, 2, (xem Singer [48], Boardman [6]) T r4 khảo sát hoàn toàn đầy đủ Bruner-HàHưng [10], N H V Hưng [22], L M Hà [17], T N Nam [68], Hưng-Quỳnh [28] Với số chiều đồng điều s ≥ 5, N H V Hưng tồn vơ số bậc mà T rs không đẳng cấu (xem [22, Định lý 1.2]) Điều khác lạ chứng minh Định lý 1.2 [22] chỗ: ta chưa biết bậc T rs khơng tồn cấu hay không đơn cấu Do vậy, Giả thuyết để ngỏ Bàn giả thuyết này, 10 Định lý 1.5 N H V Hưng [22] nói T rs phát phần tử tới hạn, T rs không đơn cấu, nữa, T rk không đơn cấu vô hạn bậc với k > s Trong đó, phần tử gọi tới hạn bị triệt tiêu tốn tử squaring cổ điển gốc thỏa mãn điều kiện số học (xem [22, Định nghĩa 5.2]) Chẳng hạn, P (h2 ) phần tử tới hạn có bậc đồng điều nhỏ Hơn nữa, tích P (h2 ) với phần tử Adams hn sinh phần tử tới hạn bậc đồng điều lớn (xem [22, Mệnh đề 5.5]) Vì thế, chúng tơi muốn kiểm chứng khả áp dụng Định lý 1.5 [22] cho phần tử P (h2 ) Câu hỏi đặt liệu phần tử P (h2 ) có nằm ảnh đồng cấu chuyển hay không Nếu P (h2 ) ∈ Im(T r5), T r5 khơng đơn cấu, Giả thuyết Singer bị bác bỏ Tuy nhiên, theo quan điểm Định lý 1.5 [22], kết Chương II phần tử P (h2) phần "ủng hộ" Giả thuyết Singer (Xem Định lý 1.) Thứ hai, chúng tơi khảo sát tốn tử squaring Sq đối ngẫu đại số Dickson P (F2 ⊗ H∗ (BVs )) với s ≥ Tác động Sq mơđun nói mơ tả GLs tường minh với s ≤ (xem N H V Hưng [18, §5]) Một mặt, chúng tơi nghiên cứu tính "đẳng cấu tận cùng" toán tử Sq (xem Định lý 2) Hiện tượng tương tự với thuộc tính tốn tử squaring Kameko N H V Hưng phát [22]: Xuất phát từ bậc F2 ⊗ P H∗ (BVs ) tác động toán tử squaring Kameko Sq GLs liên tiếp (s − 2) lần, ta rơi vào miền mà Sq trở thành đẳng cấu Tính "đẳng cấu tận cùng" tốn tử squaring P (F2 ⊗ H∗ (BVs )) cho số GLs thông tin không gian (xem Hệ III.3.2) Lưu ý P (F2 ⊗ H∗ (BVs )) xác GLs định hoàn toàn với s ≤ 5, chưa biết với s > Mặt khác, xác định số điều kiện bậc P (F2 ⊗ H∗ (BVs )) Sq triệt tiêu Các kết GLs theo hướng ứng dụng hiệu vào việc nghiên cứu dạng đại số Giả thuyết cổ điển lớp cầu (xem Hệ 5, Mệnh đề 6, Mệnh đề 7) Luận án chia làm chương Trong Chương I, chúng tơi trình bày kiến thức dùng phần luận án, bao gồm đại số Steenrod, lý thuyết bất biến đối bất biến, toán tử squaring Các kết luận án trình bày Chương II Chương III Trong Chương II, chứng minh khẳng định sau 11 Định lý Phần tử P (h2 ) ∈ Ext5,16 A (F2 , F2 ) không nằm ảnh đồng cấu chuyển T r5 : (F2 ⊗ P H∗ (BV5))11 → Ext5,16 A (F2 , F2 ) GL5 Khẳng định cho thấy Định lý 1.5 N H V Hưng [22] không áp dụng cho phần tử tới hạn P (h2 ) Do đó, theo quan điểm định lý này, ta có thêm kiện "ủng hộ" Giả thuyết Singer tính đơn cấu đồng cấu chuyển Không gian (F2 ⊗ P H∗ (BV5))11 đối ngẫu (F2 ⊗P5 )GL 11 , P5 đại số đa GL5 A thức biến, biến có bậc Bước mẫu chốt chứng minh Định lý khẳng định (F2 ⊗P5 )GL = (xem Mệnh đề II.3.1) Lưu ý rằng, việc sử dụng 11 A máy tính, R R Bruner (F2 ⊗P5 )11 không gian véctơ 315 chiều, không A gian GL5 -bất biến có số chiều Để chứng minh (F2 ⊗P5 )GL = 0, 11 A thay tìm sở gồm 315 phần tử (F2 ⊗P5 )11 (khá lớn tương đối khó), A chúng tơi dùng số lập luận thay hệ sinh khơng gian Trong Chương III, chúng tơi trình bày kết thu nghiên cứu toán tử squaring Sq P (F2 ⊗ H∗ (BVs )) ứng dụng khảo sát dạng đại số GLs Giả thuyết cổ điển lớp cầu Gọi Ds đại số Dickson [14] gồm tất GLs -bất biến H ∗ (BVs), Ds = H ∗ (BVs)GLs = F2 [Qs,0, , Qs,s−1 ], Qs,i bất biến Dickson có bậc 2s − 2i Đặt d(i0, , is−1 ) ∈ F2 ⊗ H∗ (BVs ) GLs i s−1 Qs,s−1 theo sở gồm tất đơn thức Ds theo đối ngẫu đơn thức Qis,0 biến Qs,0, , Qs,s−1 Định lý sau đây, đánh số Định lý III.3.1, kết thứ Chương III Định lý Toán tử squaring Sq : P (F2 ⊗ H∗ (BVs )) → P (F2 ⊗ H∗ (BVs )) GLs GLs đẳng cấu ảnh Im(Sq 0) Hơn nữa, d(i0, , is−1) ∈ P (F2 ⊗ H∗ (BVs )) GLs Sq 0d(i0, , is−1) = d(s − 2, 2i1 + 1, , 2is−1 + 1), 0, i0 = s − 2, trái lại Dãy {ai| i ≥ 0} gồm phần tử P (F2 ⊗ H∗ (BVs )) (hoặc F2 ⊗ P H∗ (BVs), GLs GLs hay ExtsA (F2 , F2 )) gọi họ Sq = Sq 0(ai−1) với i > Một họ 12 Giả thuyết III.6.1 (N H V Hưng [18, Giả thuyết 1.2]) ϕs = phần tử có gốc δ dương với s > Giả thuyết N H V Hưng [19, 21] chứng minh với s = 3, 4, mở với s ≥ Lấy {ai | i ≥ 0} họ Sq ExtsA (F2 , F2 ), tức = (Sq 0)i (a0) với i, Sq toán tử squaring cổ điển ExtsA (F2 , F2 ) Nhắc lại toán tử squaring Sq P (F2 ⊗ H∗ (BVs )) giao hoán với toán tử squaring cổ điển Sq ExtsA (F2 , F2 ) GLs qua đồng cấu Lannes-Zarati ϕs : Exts,s+∗ (F2 , F2 ) → P (F2 ⊗ H∗ (BVs )) A GLs Do đó, ϕs (ai ) = (Sq 0)i (ϕs (a0)) với i Nếu ϕs (at) = ϕs (ai ) = với i ≥ t Vì vậy, ta cần khảo sát khả ϕs (at) = với t nhỏ Mệnh đề sau suy từ Hệ III.3.2 Đây nội dung Mệnh đề Mệnh đề III.6.4 Nếu {ai | i ≥ 0} họ Sq hữu hạn Exts,∗ A (F2 , F2 ), ϕs (ai ) = với i > Chứng minh Từ giả thiết {ai| i ≥ 0} họ Sq hữu hạn biểu thức ϕs (ai ) = ϕs (Sq 0)i (a0 ) = (Sq 0)i (ϕs (a0)), ta suy {ϕs (ai )| i ≥ 0} họ Sq hữu hạn P (F2 ⊗ H∗ (BVs )) Theo Hệ III.3.2, họ Sq {ϕs (ai)| i ≥ 0} P (F2 ⊗ H∗ (BVs )) GLs GLs có độ dài nhiều Vì vậy, ϕs (ai ) = với i > Khẳng định sau nội dung Mệnh đề hệ Định lý III.4.1 Mệnh đề III.6.5 Lấy {ai|i ≥ 0} họ Sq Exts,∗ A (F2 , F2 ) Giả sử δ = Stem(a0) thỏa mãn điều kiện (i) ν(δ + s) ≤ [log2(s − 2)] + với s ≥ 3; (ii) δ khơng có dạng δs xác định Định lý III.4.1 Nói riêng, δ + s khơng dạng liệt kê tương ứng Bổ đề III.5.3 – III.5.5 với ≤ s ≤ 68 Khi đó, ϕs (ai ) = với i > Chứng minh Áp dụng Định lý III.4.1, từ giả thiết ta suy Sq triệt tiêu bậc δ P (F2 ⊗ H∗ (BVs )) Do đó, Sq 0(ϕs (a0 )) = Hệ ϕs (ai ) = ϕs (Sq 0)i (a0) = GLs (Sq 0)i (ϕs (a0 )) = với i > Vậy mệnh đề chứng minh Khẳng định nội dung Mệnh đề Mệnh đề III.6.6 Nếu Stem(a0) < 2s−1 ϕs (ai ) = với i ≥ Chứng minh Ta thấy miền giá trị đồng cấu Lannes-Zarati P (F2 ⊗ H∗ (BVs )) GLs đỗi ngẫu F2 ⊗Ds Mặt khác, Ds = F2 [Qs,0, , Qs,s−1] bậc nhỏ A deg(Qs,s−1 ) = 2s−1 Do đó, Stem(a0) < 2s−1 ϕs (a0) = Điều suy ϕs (ai ) = với i ≥ Áp dụng Mệnh đề III.6.5 Mệnh đề III.6.6 lên tất phần tử biết ExtsA (F2 , F2 ) với s ≤ 39 liệt kê [9] Bruner [34] Lin, ta thu bảng sau Trong đó, dấu “+" xuất cột thứ tư thứ năm để kết áp dụng tương ứng Mệnh đề III.6.6 Mệnh đề III.6.5 cho họ Sq với phần tử dẫn đầu a0 Nói riêng, việc so sánh thông thường gốc a0 với bậc liệt kê Bổ đề III.5.3 – III.5.5, ta thu thông tin cột thứ năm Lưu ý N H V Hưng [20, 21] chứng minh ϕs triệt tiêu phần tử có gốc dương với s = s = Do đó, bảng này, ta xét s ≥ Bruner dự đoán phần tử D11 , H11 bảng, ứng với s = 5, ảnh D1 H1 qua Sq Trong [34], Lin chứng minh điều đúng, nữa, họ Sq với phần tử dẫn đầu tương ứng D1 H1 có vơ số phần tử Tương tự, họ Sq dẫn đầu phần tử Q3 , x5,77, x5,80 có vơ số phần tử Trong [34], Q3, x5,77, x5,80 ký hiệu tương ứng Q3(0), T0 , V0 69 s a0 Stem(a0) ϕs (ai ) = ∀ i ≥ ϕs (ai) = ∀ i > Stem(a0) < 2s−1 từ Stem(a0) + s P h1 + P h2 11 + n 31 + x 37 + D1 52 + H1 62 + Q3 67 + D11 109 + x5,77 125 + x5,80 128 + H11 129 + r 30 q 32 + t 36 + y 38 + C 50 + G 54 + D2 58 + A 61 + A 61 + A” 64 + x6,47 71 + x6,53 76 + t1 78 + x6,68 85 + + 70 s a0 Stem(a0) ϕs (ai) = ∀ i ≥ ϕs (ai) = ∀ i > Stem(a0) < 2s−1 từ Stem(a0) + s C1 106 + x6,89 108 + G1 114 + x6,94 124 + x6,97 126 + x6,99 127 + x6,101 128 + x6,102 128 + x6,107 132 + x6,110 134 + P c0 16 + i 23 + j 26 + k 29 + l 32 + m 35 + B1 46 + B2 48 + Q2 57 + B3 60 + x7,33 63 + x7,34 63 + x7,40 66 + x7,53 75 + m1 77 + 71 s a0 Stem(a0) ϕs (ai) = ∀ i ≥ Stem(a0) < 2s−1 ϕs (ai) = ∀ i > từ Stem(a0) + s x7,57 77 + x7,74 87 + x7,79 95 + x7,81 97 + x7,83 99 + x7,84 99 + x7,88 101 + x7,90 103 + x7,92 105 + x7,93 107 + x7,97 112 + x7,101 121 + x7,103 124 + x7,109 127 + x7,110 127 + x7,118 130 + x7,124 133 + P d0 22 + P e0 25 + N 46 + x8,32 62 + x8,33 62 + G21 68 + P D3 69 + 72 s a0 Stem(a0) ϕs (ai ) = ∀ i ≥ Stem(a0) < 2s−1 ϕs (ai ) = ∀ i > từ Stem(a0) + s x8,51 74 + x8,57 77 + x8,75 91 + x8,78 93 + x8,80 94 + x8,83 96 + x8,93 101 + x8,105 112 + x8,113 123 + x8,114 124 + x8,115 125 + x8,116 125 + x8,117 126 + x8,118 126 + x8,119 126 + x8,120 126 + x8,124 127 + x8,132 129 + x8,133 130 + x8,136 131 + x8,139 132 + x8,140 132 + ≤ s ≤ 39 tất + 73 III.7 Kết luận Chương III Các kết Chương III là: • Chứng minh tốn tử squaring đối ngẫu đại số Dickson đẳng cấu tận cùng, cụ thể toán tử squaring Sq P (F2 ⊗ H∗ (BVs)) đẳng GLs cấu ảnh • Chỉ lớp bậc triệt tiêu toán tử squaring Sq P (F2 ⊗ H∗ (BVs )) GLs • Đưa số kết mang tính chất khẳng định cho giả thuyết đồng cấu Lannes-Zarati, nói đồng cấu Lannes - Zarati ϕs triệt tiêu phần tử có gốc dương hạng lớn Hệ ϕs triệt tiêu hầu hết phần tử biết đối đồng điều đại số Steenrod liệt kê [9] [34] Các kết Chương III cơng bố cơng trình [2, 4] thuộc Danh mục cơng trình tác giả liên quan đến luận án Kiến nghị nghiên cứu (1) N H V Hưng [19] xây dựng biểu diễn mức độ dây chuyền cho đối ngẫu đồng cấu chuyển theo lý thuyết bất biến Chúng khảo sát đồng cấu chuyển dựa theo biểu diễn mức độ dây chuyền thời gian tới (2) N H V Hưng [20] chứng minh phép bao hàm Ds ⊂ Γ∧s biểu diễn mức độ dây chuyền đối ngẫu đồng cấu Lannes-Zarati, thiết lập giả thuyết nói phần tử bậc dương Ds TorA s (F2 , F2 ) với s > Chúng dự định nghiên cứu giả thuyết (3) Mở rộng hướng nghiên cứu sang khảo sát toán tử squaring cổ điển Sq đối đồng điều đại số Steenrod ExtsA (F2 , F2 ) Cụ thể hơn, tiếp cận giả thuyết N H V Hưng [22] nói tồn số nguyên dương t phụ thuộc vào s cho (Sq 0)i−t : Im(Sq 0)t → Im(Sq 0)i đẳng cấu với i ≥ t 74 Danh mục cơng trình tác giả liên quan đến luận án [1] Võ T N Quỳnh (2007), "On behavior of the fifth algebraic transfer", in Proceedings of the School and Conference in Algebraic Topology, 11, Geom Topol Publ., Conventry, pp 309–326 [2] Nguyễn H V Hưng, Võ T N Quỳnh (2009), "The squaring operation on A-generators of the Dickson algebra", Proc Japan Acad., 85(6), Ser A, pp 67–70 [3] Nguyễn H V Hưng, Võ T N Quỳnh (2009), "The image of Singer’s fourth transfer", C R Acad Sci Paris, Serie I, 347, pp 1415–1418 [4] Nguyễn H V Hưng, Võ T N Quỳnh (2010), "The squaring operation on A-generators of the Dickson algebra", Math Proc Camb Phil Soc., 148, pp 267–288 Các kết luận án báo cáo tại: - Hội nghị tổng kết năm 2004 Khoa Toán - Cơ - Tin học (Trường đại học Khoa học Tự nhiên - Đại học Quốc gia Hà nội, 11/2004, báo cáo 15 phút) - Hội nghị Khoa học kỷ niệm 50 năm thành lập Khoa Toán - Cơ - Tin học (Trường đại học Khoa học Tự nhiên - Đại học Quốc gia Hà nội, 10/2006, báo cáo 15 phút) - Hội nghị Đông Á lần thứ Tôpô đại số, Đại học Quốc gia Hàn Quốc, Seoul, Hàn Quốc, 11/2007, báo cáo 25 phút - Hội nghị toàn quốc Đại số - Hình học - Tơpơ, Đại học Vinh, 12/2007 - Xemina Bộ mơn Đại số - Hình học - Tôpô, Trường đại học Khoa học Tự nhiên Hà nội, 10/2007 - Xemina Phịng Hình học - Tơpơ thuộc Viện Toán học Hà nội, 3/2008 - Hội nghị Đông Á lần thứ ba Tôpô đại số, Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà nội, 12/2009, báo cáo 40 phút 75 Tài liệu tham khảo Tiếng Anh [1] J F Adams (1958), "On the structure and applications of the Steenrod algebra", Comment Math Helv 32, pp 180–214 [2] J F Adams (1960), "On the non-existence of elements of Hopf invariant one", Ann of Math 72, pp 20–104 [3] J F Adams (1974), "Operations of the nth kind in K-theory, and what we don’t know about RP ∞ ", in New Developments in Topology, G Segal (ed.), London Math Soc Lect Note Series 11, pp 1–9 [4] J Adem (1952), " The iteration of Steenrod squaries in algebraic topology", Proc Nat Acad Sci USA 38, pp 720–726 [5] M A Alghamdi, M C Crabb, J R Hubbuck (1962), "Representations of the homology of BV and the Steenrod algebra I", London Math Soc Lecture Note Ser., (176)(2), pp 217–234 [6] J M Boardman (1993), "Modular representations on the homology of powers of real projective space", in Algebraic Topology (Oaxtepec 1991), Contemp Math 146, Amer Math Soc., Providence., pp 49–70 [7] A K Bousfield, E B Curtis, D M Kan, D G Quillen, D L Rector, J W Schlesinger (1966), "The mod p lower central series and the Adams spectral sequence", Topology 5, pp 331–342 76 [8] W Browder (1969), "The Kervaire invariant of a framed manifold and its generalization", Ann of Math 90, pp 157–186 [9] R R Bruner (1997), "The cohomology of the mod Steenrod algebra: A computer calculation", WSU Research Report 37, 217 pages [10] R R Bruner, Lê M Hà, Nguyễn H V Hưng (2005), "On behavior of the algebraic transfer", Trans Amer Math Soc 357, pp 473–487 [11] D P Carlisle, R M W Wood (1992), "The boundedness cọnecture for the action of the Steenrod algebra on polynomials", in Adams Memorial Symposium on Algebraic Topology , Lond Math Soc Lect Note Series 176, pp 203–216 [12] M C Crabb, J R Hubbuck (1996), "Representation of the homology of BV and the Steenrod algebra II", Algebraic Topology: New Trends in Localization and Periodicity (Sant Feliu de Guixois, 1994; C Broto et al., eds.), Progr Math., Birkhă auser, 136, pp 143154 [13] E B Curtis (1975), "The Dyer-Lashof algebra and the lambda algebra", Illinois Jour Math 18, pp 231–246 [14] L E Dickson (1911), "A fundamental system of invariants of the general modular linear group with a solution of the form problem", Trans Amer Math Soc 12, pp 75–98 [15] V Giambalvo, F P Peterson (2001), "A-generators for ideals in the Dickson algebra", J Pure Appl Algebra 158, pp 161–182 [16] P G Goerss (1986), "Unstable projectives and stable Ext : with applications", Proc London Math Soc 53, pp 539–561 [17] Lê M Hà (2007), "Sub-Hopf algebras of the Steenrod algebra and the Singer transfer", in Proceedings of the School and Conference in Algebraic Topology, 11, Geom Topol Publ., Conventry, pp 101–124 [18] Nguyễn H V Hưng (1997), "Spherical classes and the algebraic transfer", Trans Amer Math Soc 349, pp 3893–3910 77 [19] Nguyễn H V Hưng (1999), "The weak conjecture on spherical classes", Math Zeit 231, pp 727–743 [20] Nguyễn H V Hưng (2001), "Spherical classes and the lambda algebra", Trans Amer Math Soc 353, pp 4447–4460 [21] Nguyễn H V Hưng (2003), "On triviality of Dickson invariants in the homology of the Steenrod algebra", Math Proc Camb Phil Soc 134, pp 103–113 [22] Nguyễn H V Hưng (2005), "The cohomology of the Steenrod algebra and representations of the general linear groups", Trans Amer Math Soc 357, pp 4065–4089 [23] Nguyễn H V Hưng, Trần N Nam (2001), "The hit problem for the Dickson algebra", Trans Amer Math Soc 353, pp 5029–5040 [24] Nguyễn H V Hưng, Trần N Nam (2001), "The hit problem for the modular invariants of linear groups", J Algebra 246(1), pp 367–384 [25] Nguyễn H V Hưng, F P Peterson (1995), "A–generators for the Dickson algebra", Trans Amer Math Soc 347, pp 4687–4728 [26] Nguyễn H V Hưng, F P Peterson (1998), "Spherical classes and the Dickson algebra", Math Proc Camb Phil Soc 124, pp 253–264 [27] Nguyễn H V Hưng, Võ T N Quỳnh (2009), "The squaring operation on A-generators of the Dickson algebra", Proc Japan Acad., 85(6), Ser A, pp 67–70 [28] Nguyễn H V Hưng, Võ T N Quỳnh (2009), "The image of Singer’s fourth transfer", C R Acad Sci Paris, Serie I, 347, pp 1415–1418 [29] Nguyễn H V Hưng and Võ T N Quỳnh (2010), "The squaring operation on Agenerators of the Dickson algebra", Math Proc Camb Phil Soc., 148, pp 267–288 [30] D S Kahn, S B Priddy (1978), "The transfer and stable homotopy theory", Math Proc Cambridge Philos Soc 83(1), pp 103–111 [31] M Kameko (1990), Products of projective spaces as Steenrod modules, Ph D Thesis, Johns Hopkins University 78 [32] W H Lin, "Some differentials in Adams spectral sequence for spheres", Trans Amer Math Soc., to appear [33] W H Lin, M Mahowald (1998), "The Adams spectral sequence for Minami’s theorem", Contemp Math 220, pp 143–177 5,∗ [34] W H Lin (2008), "Ext4,∗ A (F2 , F2 ) and ExtA (F2 , F2 )", Topology and its Applications, Vol 155, pp 459-496 [35] A Liulevicius (1962), The factorization of cyclic reduced powers by secondary cohomology operations, Mem Amer Math Soc., No 42, Amer Math Soc., Providence [36] J P May (1964), "The cohomology of restricted Lie algebras and of Hopf algebras, application to the Steenrod algebra", Ph D Thesis, Princeton University New Jersey [37] J P May (1970), "A general algebraic approach to Steenrod operations", Lecture Notes in Math Vol 168, Springer-Verlag, pp 153–231 [38] J Milnor (1958), "The Steenrod algebra and its dual", Annals of Math 67, pp 150– 171 [39] N Minami (1999), "The iterated transfer analogue of the new doomsday conjecture", Trans Amer Math Soc 351, pp 2325–2351 [40] S A Mitchell (1985), "Splitting B(Z/p)n and BT n via modular representation theory", Math Z 189, pp 1–9 [41] Huỳnh Mùi (1975), "Modular invariant theory and cohomology algebras of symmetric groups", Jour Fac Sci Univ Tokyo Sect IA Math 22, pp 310–369 [42] Huỳnh Mùi (1985), "Homology operations derived from modular coinvariants", Lecture Notes in Math., Springer-Verlag, Berlin and New York, 1172, pp 85–115 [43] F P Peterson (1987), "Generators of H ∗ (RP ∞ ∧RP ∞ ) as a module over the Steenrod algebra", Abstracts Amer Math Soc 833-55-89 [44] J H Palmieri (1999), "Quillen stratification for the Steenrod algebra", Ann of Math 149, pp 421–449 79 [45] S Priddy (1990), "On characterizing summands in the classifying space of a group" , I, Amer Jour Math 112, pp 737-748 [46] Võ T N Quỳnh (2007), "On behavior of the fifth algebraic transfer", in Proceedings of the School and Conference in Algebraic Topology, 11, Geom Topol Publ., Conventry, pp 309–326 [47] W M Singer (1983), "Invariant theory and the lambda algebra", Trans Amer Math Soc 280, pp 673–693 [48] W M Singer (1989), "The transfer in homological algebra", Math Zeit 202, pp 493–523 [49] W M Singer (1991), "On the action of the Steenrod squares on polynomials algebras", Proc Amer Math Soc 111, pp 577–583 [50] V Snaith, J Tornehave (1982), "On π∗S (BO) and the Arf invariant of framed manifolds", Amer Math Soc Contemporary Math 12, pp 299–313 [51] N E Steenrod (1947), " Products of cocycles and extensions of mappings", Ann of Math., No.48, pp 290–320 [52] N E Steenrod (1952), " Reduced powers of cohomology classes", Ann of Math., No.56, pp 47–67 [53] N E Steenrod, D B A Epstein (1962), Cohomology Operations, Ann of Math Stud., No 50, Princeton University Press, New Jersey [54] N Sum, The hit problem for the polynomial algebra of four variables, Preprint (2007), 240 pages [55] M C Tangora (1970), "On the cohomology of the Steenrod algebra", Math Zeit 116, pp 18–64 [56] J S P Wang (1967), "On the cohomology of the mod-2 Steenrod algebra and the non-existence of elements of Hopf invariant one", Illinois J Math 11, pp 480–490 80 [57] R J Wellington (1982), "The unstable Adams spectral sequence of free iterated loop spaces", Memoirs Amer Math Soc., No 258 [58] G Whitehead (1942), "On the homotopy groups of spheres and rotation groups", Ann of Math., 43, 634–640 [59] C Wilkerson (1977), "Classifying spaces, Steenrod operations and algebraic closure", Topology 16, pp 227–237 [60] R M W Wood (1989), "Steenrod squares of polynomials and the Peterson conjecture", Math Proc Cambridge Phil Soc 105, pp 307–309 [61] A Zacharious (1967), "A subalgebra of Ext∗,∗ A (F2 , F2 )", Bull Amer Math Soc., 73, pp 647–648 [62] A Zacharious (1973/74), "A polynomial subalgebra of the cohomology of the Steenrod algebra", Publ Res Inst Math Sci., 9, pp 157–164 Tiếng Pháp [63] H Cartan (1950), "Une théories axiomatique des carrés de Steenrod ", C R Acad Sci Paris Sér I Math 230, pp 425-427 [64] J Lannes, S Zarati (1983), "Foncteurs dérivés de la déstabilisation", C R Acad Sci Paris Sér I Math., 296(14), pp 573–576 [65] J Lannes, S Zarati (1983), "Invariants de Hopf d’ordre supérieur et suite spectrale d’Adams", C R Acad Sci Paris Sér I Math 296(15), pp 695–698 [66] J Lannes, S Zarati (1987), "Sur les foncteurs dérivés de la déstabilisation", Math Zeit 194, pp 25–59 [67] Trần N Nam (2004), "A-générateurs génériques pour l’algèbre polynomiale", Advances in Mathematics 186(2), pp 334–362 [68] Trần N Nam (2008), "Transfert algébrique et représentation modulaire du groupe linéare", Ann Inst Fourier Grenoble 58(5), pp 1785–1837 81 [69] J P Serre (1953), "Cohomologie des complexes d’Eilenberg-MacLane", Comment Math Helv 27, pp 198-232 Ting c ă [70] H Hopf (1931), " Uber die Abbildungen der dreidimensionalen Sphăare auf die Kugelflăache", Math Ann 104, pp 637665 ă [71] H Hopf (1935), " Uber die Abbildungen von Sphăare auf Sphăare niedrigerer Dimension", Fundam Math 25, pp 427440 82
Ngày đăng: 15/09/2020, 14:43
Xem thêm: