Lời giải: Dòng Ricci có phẫu thuật của Perelman (2002–2003), tóm lược
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.
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 không có nhân tử nguyên tố phi cầu — đặc biệt nếu — thì dòng Ricci có phẫu thuật tắt trong thời gian hữu hạn , 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 hoặc (được đảm bảo khi đơn liên và chưa phải là mặt cầu) để quét bằng một họ mặt cầu 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 ; 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.
- Nhóm cơ bản ()
- 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; nghĩa là mọi vòng lặp trong đều co được về một điểm, tức đơ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.