MathLabs

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

Bước 1 trên 9: Chương trình dòng Ricci của Hamilton
Hiểu nôm na

Hơ nóng một tấm kim loại hình dạng kỳ lạ sẽ khiến nhiệt độ dàn đều theo thời gian. Năm 1982, Richard Hamilton đề xuất làm điều tương tự với chính hình dạng của không gian: cho một metric gijg_{ij} tiến hóa theo phương trình kiểu nhiệt ∂tgij=−2Rij\partial_t g_{ij} = -2R_{ij} để các chỗ lồi có độ cong dương co lại.

Hamilton chứng minh rằng nếu một hình dạng 3 chiều đóng ban đầu đã có độ cong dương ở khắp nơi, dòng này sẽ làm mịn nó dần cho tới khi trở thành một mặt cầu tròn hoàn hảo. Ông hy vọng rằng chạy cùng phương trình đó trên một hình dạng ban đầu bất kỳ cuối cùng sẽ lộ ra các mảnh hình học cơ bản mà Thurston đã phỏng đoán mọi đa tạp 3 chiều đều phân tích thành.

∂tgij=−2Rij,∂tR=ΔR+2∣Ric⁡∣2\partial_t g_{ij} = -2R_{ij}, \qquad \partial_t R = \Delta R + 2|\operatorname{Ric}|^2
Phân tích chi tiết

Hamilton (1982) đề xuất cho một metric Riemann tùy ý gijg_{ij} trên đa tạp 3 chiều đóng M3M^3 tiến hóa theo phương trình ∂tgij=−2Rij\partial_t g_{ij} = -2R_{ij} tiến hóa, trong đó RijR_{ij} là tenxơ độ cong Ricci. Dưới dòng này, độ cong vô hướng RR thỏa mãn phương trình phản ứng-khuếch tán ∂tR=ΔR+2∣Ric⁡∣2\partial_t R = \Delta R + 2|\operatorname{Ric}|^2, nên theo nguyên lý cực đại, giá trị nhỏ nhất của nó không giảm theo thời gian.

Dùng nguyên lý cực đại cho tenxơ, Hamilton chỉ ra dòng này bảo toàn tính dương của tenxơ Ricci ở số chiều 3, và khi Ric⁡>0\operatorname{Ric} > 0 ban đầu, dòng đã chuẩn hóa thể tích tồn tại với mọi thời gian và hội tụ trơn về một metric có độ cong dương hằng, nên M3M^3 là một thương của mặt cầu tròn S3S^3.

Chương trình của Hamilton là mở rộng kết quả hội tụ này cho một metric ban đầu tùy ý trên bất kỳ đa tạp 3 chiều đóng nào, kết hợp với việc phân loại tô pô các kết quả có thể xảy ra, sẽ chứng minh giả thuyết hình học hóa Thurston, và giả thuyết Poincaré như trường hợp đặc biệt đơn liên. Chướng ngại, được xử lý từ bước tiếp theo, là với một metric tổng quát, dòng có thể sinh kỳ dị trong thời gian hữu hạn trước khi đạt tới một giới hạn đẹp như vậy.

Thuật ngữ trong bước này
Dòng Ricci
Một phương trình tiến hóa ∂tgij=−2Rij\partial_t g_{ij} = -2R_{ij} làm biến dạng một metric Riemann theo hướng độ cong Ricci của chính nó, co lại các vùng có độ cong dương cao giống như dòng nhiệt làm mịn nhiệt độ.
Độ cong Ricci (Ric⁡\operatorname{Ric})
Một tenxơ đối xứng dựng từ độ cong của một đa tạp Riemann, đo một cách gần đúng việc thể tích một hình cầu nhỏ lệch khỏi giá trị Euclid ra sao; vết của nó là độ cong vô hướng RR.
Kiến thức dùng ở bước này