MathLabs

Lời giải: Dòng Ricci có phẫu thuật của Perelman (2002–2003), tóm lược

Bước 8 trên 9: Thời gian tắt hữu hạn khi π1(M3)=0\pi_1(M^3) = 0
Hiểu nôm na

Riêng với giả thuyết Poincaré, ta không cần theo dõi dòng chạy mãi mãi: Perelman chỉ ra rằng nếu đa tạp ban đầu đơn liên, dòng Ricci có phẫu thuật sẽ đốt cháy toàn bộ đa tạp và nó biến mất trong thời gian hữu hạn.

Cơ chế là quét đa tạp bằng một họ mặt cầu 2 chiều đang co lại (dùng tính khác không của một nhóm đồng luân bậc cao hơn); diện tích của chúng co lại với tốc độ đảm bảo dưới dòng và không thể lén tăng trở lại qua một lần phẫu thuật, nên phép quét "hẹp nhất" trong họ đó rốt cuộc bị buộc co về một điểm.

π1(M3)=0   ⟹   ∃ Text<∞: M(t)=∅(∀t>Text)\pi_1(M^3)=0\ \implies\ \exists\,T_{\mathrm{ext}}<\infty:\ M(t)=\varnothing\quad(\forall t>T_{\mathrm{ext}})
Phân tích chi tiết

Trong preprint thứ ba (arXiv:math/0307245; và độc lập, Tobias Colding và William Minicozzi đưa ra một lập luận liên quan), Perelman chứng minh rằng nếu một đa tạp 3 chiều đóng định hướng M3M^3 không có nhân tử nguyên tố phi cầu — đặc biệt nếu π1(M3)=0\pi_1(M^3)=0 — thì dòng Ricci có phẫu thuật tắt trong thời gian hữu hạn Text<∞T_{\mathrm{ext}}<\infty, nghĩa là đa tạp bị tiêu thụ hoàn toàn bởi kỳ dị và phẫu thuật tới thời điểm đó.

Chứng minh dùng tính khác không của π2(M3)\pi_2(M^3) hoặc π3(M3)\pi_3(M^3) (được đảm bảo khi M3M^3 đơn liên và chưa phải là mặt cầu) để quét M3M^3 bằng một họ mặt cầu 22 chiều hoặc đĩa cực tiểu; bề rộng min-max của phép quét này co lại với tốc độ được kiểm soát dưới dòng, không tăng qua phẫu thuật, và phải đạt tới không trong thời gian hữu hạn.

Đạt tới bề rộng không nghĩa là các mảnh cuối cùng còn lại bị phủ hoàn toàn bởi lân cận chính tắc và bị loại bỏ bởi phẫu thuật, nên không còn gì sau TextT_{\mathrm{ext}}; sự tắt hữu hạn này chính là điều cho phép toàn bộ lịch sử phẫu thuật được tháo ngược ở bước cuối để nhận diện đa tạp ban đầu.

Thuật ngữ trong bước này
Nhóm cơ bản (π1\pi_1)
Nhóm các vòng lặp dựa tại một điểm, sai khác biến dạng liên tục; π1(M3)=0\pi_1(M^3)=0 nghĩa là mọi vòng lặp trong M3M^3 đều co được về một điểm, tức M3M^3 đơn liên.
Bề rộng min-max
Giá trị nhỏ nhất có thể của "diện tích lớn nhất" trong mọi cách quét một đa tạp bằng một họ mặt liên tục đại diện cho một lớp đồng luân khác không cố định; một cách đo lượng không gian đa tạp còn lại cho một phép quét như vậy.
Kiến thức dùng ở bước này