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

Bước 2 trên 9: Kỳ dị thời gian hữu hạn và chướng ngại sụp đổ địa phương

Hiểu nôm na

Hãy hình dung một quả bóng bay bị bóp chặt dọc theo một dải hẹp tới mức trông gần như một chiều tại đó. Chạy dòng Ricci trên một hình dạng ban đầu tổng quát có thể xảy ra đúng như vậy: độ cong tại một điểm duy nhất có thể vọt lên vô hạn trong thời gian hữu hạn dù phần còn lại của đa tạp vẫn hoàn toàn êm ả.

Để hiểu được chỗ bóp nghẹt, các nhà toán học phóng to xung quanh điểm bùng nổ ngay khi nó xảy ra. Ước lượng Hamilton–Ivey đảm bảo rằng dù hình ảnh phóng to trông ra sao ở số chiều 3, nó vẫn có độ cong không âm — nhưng phép phóng to cũng có thể âm thầm làm hình ảnh dẹt xuống thành thứ mỏng như lưỡi dao, và loại trừ điều này chính là mảnh ghép còn thiếu khiến tiến trình bị đình trệ nhiều năm.

\partial_t \mathrm{Rm} = \Delta \mathrm{Rm} + Q(\mathrm{Rm}), \qquad \lim_{t\to T^-}\sup_{M^3}|\mathrm{Rm}(\cdot,t)|=\infty

Phân tích chi tiết

Với một metric ban đầu tổng quát, số hạng phản ứng bậc hai $Q(\mathrm{Rm})$ trong phương trình tiến hóa độ cong có thể đẩy $|\mathrm{Rm}|\to\infty$ tại một vùng nào đó của đa tạp khi $t\to T^-<\infty$ : đây là một kỳ dị thời gian hữu hạn.

Co giãn parabol metric và thời gian tại các điểm có độ cong lớn tạo ra các "nghiệm cổ đại" xác định trên $(-\infty,0]$ , và ước lượng kẹp Hamilton–Ivey (Ivey; Hamilton [H4]) đảm bảo rằng trong số chiều 3, mọi giới hạn thổi phóng như vậy đều có độ cong mặt cắt không âm.

Tuy nhiên, định lý compact của Hamilton chỉ trích xuất được giới hạn thổi phóng trơn nếu bán kính đơn ánh tại điểm gốc sau khi co giãn được chặn cách không — việc loại trừ "sụp đổ địa phương" này chính là chướng ngại lớn nhất khiến chương trình của Hamilton chững lại, và là bài toán mà Perelman giải quyết ở các bước tiếp theo.

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

Nghiệm cổ đại: Một nghiệm của dòng Ricci xác định với mọi thời gian $t\in(-\infty,0]$ , xuất hiện như giới hạn của các phép co giãn gần một kỳ dị; nó nắm bắt hình học địa phương của đa tạp ngay trước khi bị bóp nghẹt.
Bán kính đơn ánh: Một cách gần đúng, bán kính lớn nhất quanh một điểm sao cho các hình cầu trắc địa bán kính đó không tự chồng lên nhau; khi nó co về không so với thang độ cong, hình học được gọi là "sụp đổ".

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

Hình học Riemann