Lời giải: Chứng minh của Hill–Hopkins–Ravenel bằng lý thuyết đồng luân ổn định tương đương (2009)

Đột phá năm 1969 của William Browder "The Kervaire invariant of a framed manifold" chuyển một bài toán hình học của tô pô vi phân thành một câu hỏi tồn tại đại số trong lý thuyết đồng luân ổn định. Bất biến Kervaire cổ điển, được Michel Kervaire đưa ra năm 1960 để dựng đa tạp tô pô đầu tiên không có cấu trúc trơn, gắn một phần tử của $\mathbb{Z}/2$ với mọi đa tạp đóng có framed chiều $(4k+2)$ bằng cách tính một hàm toàn phương trên đồng điều chiều giữa; bài toán hỏi trong các chiều $n$ nào thì tồn tại đa tạp có framed với bất biến Kervaire bằng $1$.

Browder chứng minh hai sự kiện cấu trúc. Thứ nhất, bất biến triệt tiêu đồng nhất khi $n$ không có dạng $2^{j+1}-2$: ở mọi chiều khác, phẫu thuật trên các lớp đồng điều chiều giữa luôn thực hiện được không bị cản, triệt tiêu mọi giá trị toàn phương khác không và để lại một mặt cầu có framed. Thứ hai, ở các chiều còn lại $n = 2^{j+1}-2$, sự tồn tại đa tạp có bất biến Kervaire bằng $1$ là tương đương với sự sống sót của một lớp đại số cụ thể trong dãy phổ Adams cổ điển: phần tử $h_j^2 \in \operatorname{Ext}_{\mathcal{A}}^{2,2^{j+1}}(\mathbb{F}_2, \mathbb{F}_2)$ trên đại số Steenrod $\mathcal{A}$ modulo $2$ phải là một chu trình vĩnh cửu, sống sót qua mọi vi phân $d_r$ ($r \ge 2$) để biểu diễn một phần tử khác không $\theta_j \in \pi_{2^{j+1}-2}^S$.

Phép rút gọn của Browder do đó giới hạn bài toán vào danh sách chiều thưa thớt $n \in \{2, 6, 14, 30, 62, 126, 254, \ldots\}$ và chuyển thách thức từ dựng đa tạp trơn lạ sang tính các vi phân trong dãy phổ Adams — dọn đường cho các cấu hình số chiều thấp ở Bước 2 và định lý không tồn tại của Hill, Hopkins và Ravenel.