Bài toán bất biến Kervaire bằng một

Đã giải, 2009Tô pô

Phát biểu

Xác định mọi số chiều $n = 4k + 2$ trong đó tồn tại một đa tạp trơn, đóng, có khung ổn định $M^n$ sao cho bất biến Kervaire $\Phi(M^n) \in \mathbb{Z}/2\mathbb{Z}$ (bất biến Arf của dạng toàn phương làm mịn dạng giao ở chiều giữa trên $H_{2k+1}(M^n; \mathbb{Z}/2\mathbb{Z})$ cảm sinh bởi khung ổn định) bằng $1$ .

Năm 1969, William Browder chứng minh rằng một đa tạp trơn đóng có khung với bất biến Kervaire bằng $1$ chỉ có thể tồn tại ở các chiều $n = 2^{j+1} - 2$ , và chỉ khi lớp $h_j^2$ ở trang $E_2$ của dãy phổ Adams $\bmod\,2$ tồn tại vĩnh viễn để biểu diễn một phần tử $\theta_j$ trong nhóm đồng luân ổn định của mặt cầu $\pi_{2^{j+1}-2}^S$ . Các phép dựng ở các chiều $2, 6, 14, 30$ và $62$ ( $1 \le j \le 5$ ) đã hoàn tất vào năm 1984 (đỉnh điểm là công trình của Michael Barratt, John Jones và Mark Mahowald). Năm 2009 (xuất bản trên Annals of Mathematics năm 2016), Michael A. Hill, Michael J. Hopkins và Douglas C. Ravenel dùng lý thuyết đồng luân ổn định đẳng biến và dãy phổ lát cắt $C_8$ để chứng minh rằng $\theta_j$ không tồn tại với mọi $j \ge 7$ (từ chiều $254$ trở lên), chỉ để ngỏ chiều $126$ ( $j = 6$ ). Tháng 12 năm 2024, Weinan Lin, Guozhen Wang và Zhouli Xu công bố một preprint (`arXiv:2412.10879`, chưa qua bình duyệt) chứng minh bằng tính toán dãy phổ Adams có máy tính hỗ trợ rằng $h_6^2$ là chu trình vĩnh viễn, qua đó khẳng định sự tồn tại ở chiều $126$ .

Chứng minh của Hill–Hopkins–Ravenel bằng lý thuyết đồng luân ổn định tương đương (2009)Michael A. Hill, Michael J. Hopkins, and Douglas C. Ravenel, 2009Độ khó 5/5Nghiên cứuBản tóm lược

Tài liệu tham khảo

William Browder (1969). The Kervaire invariant of framed manifolds and its generalization · DOI:10.2307/1970747
Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel (2016). On the nonexistence of elements of Kervaire invariant one · DOI:10.4007/annals.2016.184.1.1 · arXiv:0908.3724
Weinan Lin, Guozhen Wang, Zhouli Xu (2024). On the Last Kervaire Invariant Problem · arXiv:2412.10879 [preprint, chưa bình duyệt]

Lịch sử bài toán

1960Michel Kervaire đưa ra bất biến Kervaire nhận giá trị trong $\mathbb{Z}/2\mathbb{Z}$ cho đa tạp có khung chiều $(4k+2)$ và dùng nó để dựng một đa tạp tuyến tính từng khúc chiều $10$ không có cấu trúc trơn.
1969William Browder chứng minh rằng đa tạp trơn đóng có khung với bất biến Kervaire bằng một chỉ có thể tồn tại ở các chiều $n = 2^{j+1} - 2$ , và chỉ khi $h_j^2$ tồn tại vĩnh viễn trong dãy phổ Adams $\bmod\,2$ .
1984Michael Barratt, John Jones và Mark Mahowald chứng minh sự tồn tại của phần tử có bất biến Kervaire bằng một $\theta_5$ ở chiều $62$ , hoàn tất các trường hợp khẳng định $n = 2, 6, 14, 30, 62$ .
2009Michael Hill, Michael Hopkins và Douglas Ravenel công bố chứng minh rằng không tồn tại đa tạp trơn có khung với bất biến Kervaire bằng một ở các chiều $2^{j+1} - 2$ với mọi $j \ge 7$ (từ chiều $254$ trở lên), bác bỏ "Giả thuyết Ngày tận thế" và chỉ để ngỏ chiều $126$ .
2024Weinan Lin, Guozhen Wang và Zhouli Xu công bố một preprint (`arXiv:2412.10879`) chứng minh rằng $h_6^2$ là một chu trình vĩnh viễn trong dãy phổ Adams, qua đó thiết lập sự tồn tại của đa tạp trơn có khung với bất biến Kervaire bằng một ở chiều còn mở cuối cùng là $126$ .