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

Bước 6 trên 9: Nghiệm

\kappa

và định lý lân cận chính tắc

Bước trước Bước tiếp

Hiểu nôm na

Khi đã có cả kiểm soát độ cong (từ ước lượng Hamilton–Ivey) lẫn kiểm soát thể tích (không sụp đổ địa phương), mọi "hình ảnh phóng to" có thể có gần một kỳ dị hóa ra chỉ thuộc một danh sách hình dạng rất ngắn, phân loại được: trụ tròn (cổ), chỏm bịt đầu trụ, hoặc các mảnh đóng có độ cong dương.

Cứ như thể, dù quả bóng bị bóp nghẹt dữ dội tới đâu, nhìn gần nó cũng chỉ có thể trông giống một trong vài hình dạng chuẩn — không bao giờ là thứ gì kỳ lạ. Danh sách ngắn đó chính là điều cho phép phẫu thuật, ở bước tiếp theo, được thực hiện một cách kiểm soát được và lặp lại được.

(M_\infty,g_\infty(t))_{t\in(-\infty,0]}\ \ \kappa\text{-noncollapsed},\quad \mathrm{Rm}\ge 0

Phân tích chi tiết

Kết hợp ước lượng kẹp Hamilton–Ivey với tính $\kappa$ -không sụp đổ, mọi giới hạn thổi phóng tại một kỳ dị thời gian hữu hạn 3 chiều đều là một "nghiệm $\kappa$ ": một nghiệm cổ đại đầy đủ, không phẳng trên $(-\infty,0]$ với độ cong mặt cắt không âm bị chặn và $\kappa$ -không sụp đổ ở mọi thang.

Trong §§11–12 của arXiv:math/0211159, Perelman phân loại mọi nghiệm $\kappa$ 3 chiều và suy ra định lý lân cận chính tắc: mọi điểm có độ cong vô hướng $R(x,t)\ge r_0^{-2}$ đủ lớn đều có một lân cận ở thang $R(x,t)^{-1/2}$ hoặc là một $\epsilon$ -cổ (gần $S^2\times I$ ), hoặc là một $\epsilon$ -chỏm (về mặt tô pô là $B^3$ hay một quả cầu xoắn bịt một cổ), hoặc thuộc một đa tạp đóng có độ cong dương.

Cấu trúc lân cận chính tắc này chính là mô hình địa phương cần thiết để định nghĩa, và kiểm soát, phẫu thuật qua các chỗ thắt cổ, được thực hiện ở bước tiếp theo.

Thuật ngữ trong bước này

Nghiệm $\kappa$: Một nghiệm cổ đại (xác định với mọi $t\le 0$ ) đầy đủ, không phẳng của dòng Ricci với độ cong không âm bị chặn và $\kappa$ -không sụp đổ ở mọi thang; mô hình địa phương cho mọi kỳ dị thời gian hữu hạn ở số chiều 3.
Lân cận chính tắc: Một lân cận nhỏ quanh một điểm độ cong cao mà, sau khi co giãn, được đảm bảo trông giống một trong hữu hạn hình dạng chuẩn: một cổ, một chỏm, hoặc một mảnh đóng có độ cong dương.

Kiến thức dùng ở bước này

Đa tạp trơn Giả thuyết Poincaré