MathLabs

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

Bước 7 trên 9: Dòng Ricci có phẫu thuật qua các chỗ thắt cổ
Bước trướcBước tiếp
Hiểu nôm na

Giống như cắt một quả bóng hình đồng hồ cát hẹp ở chỗ eo và dán một chỏm tròn vào mỗi đầu bị cắt, phẫu thuật của Perelman cắt đa tạp dọc theo cổ mỏng mà một kỳ dị sắp bóp nghẹt, thay nó bằng hai chỏm trơn, rồi khởi động lại dòng.

Vì định lý lân cận chính tắc đảm bảo vùng bị bóp nghẹt thực sự trông giống một chiếc cổ, phẫu thuật này có thể thực hiện đủ chính xác để mọi kiểm soát trước đó — kẹp độ cong, không sụp đổ địa phương — sống sót qua thao tác và có thể dùng lại sau đó.

S2×[−ϵ−1,ϵ−1] ⟶ B3⊔B3(M ⇝ M1 # M2)S^2\times[-\epsilon^{-1},\epsilon^{-1}]\ \longrightarrow\ B^3\sqcup B^3\qquad(M\ \leadsto\ M_1\,\#\,M_2)
Hình tương tự mặt 2 chiều cho một ϵ\epsilon-cổ: một eo hình trụ hẹp nối hai vùng rộng hơn, nơi phẫu thuật cắt theo một mặt cầu tiết diện và bịt chỏm hai đầu
Hyperboloid một tầng trong không gian ba chiều với phần eo tròn hẹp loe rộng ở trên và dưới, minh họa hình học chỗ thắt cổ nơi dòng Ricci có phẫu thuật cắt ngang cổ và bịt chỏm hai phía.
Phân tích chi tiết

Trong preprint thứ hai (arXiv:math/0303109), Perelman xây dựng dòng Ricci có phẫu thuật: tại thời điểm kỳ dị TT, các thành phần liên thông bị phủ hoàn toàn bởi các lân cận chính tắc độ cong cao được bỏ đi (tô pô của chúng đã biết từ phép phân loại ở bước trước), còn mỗi "sừng" còn lại kết thúc tại một cổ kỳ dị được cắt dọc theo một mặt cầu tiết diện nhỏ S2S^2 và dán vào các chỏm hình cầu B3B^3 trơn có độ cong dương, rồi dòng khởi động lại.

Chọn ngưỡng phẫu thuật δ(t)\delta(t) đủ nhỏ sẽ bảo toàn kẹp độ cong, κ\kappa-không sụp đổ, và các cận lân cận chính tắc qua mỗi lần phẫu thuật; và vì mỗi lần phẫu thuật lấy đi ít nhất một lượng thể tích cố định (∼h3\sim h^3), chỉ có hữu hạn lần phẫu thuật có thể xảy ra trong bất kỳ khoảng thời gian hữu hạn nào.

Với các phẫu thuật được kiểm soát và hữu hạn về số lượng, dòng có thể tiếp tục tới bất kỳ thời điểm định trước nào — hoặc cho tới khi đa tạp biến mất hoàn toàn — điều này đặt nền cho lập luận tắt hữu hạn ở bước tiếp theo.

Thuật ngữ trong bước này
Chỗ thắt cổ (ϵ\epsilon-cổ)
Một vùng có hình dạng trụ mỏng S2×IS^2\times I sắp tách đa tạp thành hai mảnh khi bán kính tiết diện của nó co về không.
Phẫu thuật
Thao tác tô pô cắt một đa tạp dọc theo một mặt cầu nhỏ và dán vào các chỏm trơn, dùng để loại bỏ một kỳ dị đang hình thành trong khi tiếp tục dòng trên phần còn lại.
Kiến thức dùng ở bước này
Đa tạp trơnGiả thuyết Poincaré
Lỗi hay gặp. Phẫu thuật theo mặt cầu 22 chiều có thể tách đa tạp thành các hạng tử tổng liên thông M≅M1 # M2M\cong M_1\,\#\,M_2, vì vậy phải kiểm tra cả việc phẫu thuật không tụ lại trong thời gian hữu hạn lẫn việc tô pô của MM ban đầu khôi phục được từ các mảnh bị loại bỏ.