Lời giải: Dòng Ricci có phẫu thuật của Perelman (2002–2003), tóm lược
Chạy ngược toàn bộ đoạn phim từ thời điểm tắt, mọi mảnh từng bị loại bỏ bởi phẫu thuật hóa ra đều là một trong số ít khối xây dựng đơn giản; dán chúng lại theo các vết cắt sẽ ráp lại đa tạp ban đầu thành một tổng liên thông của các khối này.
Giả thiết loại trừ mọi khối xây dựng ngoại trừ mặt cầu 3 chiều tròn, nên tổng liên thông được ráp lại chỉ có thể là một tổng các mặt cầu — mà tổng như vậy lại chính là một mặt cầu — hoàn tất chứng minh.
Đi ngược từ qua hữu hạn lần phẫu thuật, mọi mảnh độ cong cao đã bị loại bỏ đều vi phôi với một dạng không gian cầu , , hoặc , và hoàn tác các phẫu thuật theo mặt cầu chiều sẽ ráp lại thành tổng liên thông của các mảnh như vậy.
Khi , định lý van Kampen buộc mọi phải tầm thường (nếu không sẽ chứa một nhóm con không tầm thường) và loại bỏ mọi hạng tử (vốn có vô hạn), chỉ còn lại tổng liên thông của các bản sao .
Một tổng liên thông của các mặt cầu 3 chiều tròn vi phôi — và do đó đồng phôi — với , hoàn tất chứng minh rằng mọi đa tạp 3 chiều đóng đơn liên đều đồng phôi với : giả thuyết Poincaré.
- Dạng không gian cầu ()
- Một đa tạp thu được như thương của mặt cầu 3 chiều tròn dưới một nhóm hữu hạn tác động tự do bằng các phép đẳng cự; nó tầm thường (bằng chính ) đúng khi là nhóm tầm thường.
- Tổng liên thông ()
- Thao tác cắt một hình cầu nhỏ ra khỏi mỗi đa tạp trong hai đa tạp và dán các mặt cầu biên thu được lại với nhau; đây là thao tác tô pô mà phẫu thuật theo dõi.