Lời giải: Dòng Ricci có phẫu thuật của Perelman (2002–2003), tóm lược
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 tiến hóa theo phương trình kiểu nhiệt để 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.
Hamilton (1982) đề xuất phát triển một mêtric Riemann trên một đa tạp đóng theo phương trình . Sau khi kéo ngược theo các vi phôi phụ thuộc thời gian sinh bởi nghiệm của phương trình nhiệt cho ánh xạ điều hòa (mẹo de Turck), hệ trở thành parabol chặt — số hạng chính của nó là toán tử Laplace thô — điều này cho tồn tại và duy nhất trong thời gian ngắn trên đa tạp đóng. Các đại lượng độ cong tiến hóa theo các phương trình phản ứng–khuếch tán; với độ cong vô hướng, , nên nguyên lý cực đại khiến không giảm dọc theo dòng.
Ở chiều 3, Hamilton áp dụng nguyên lý cực đại tenxơ cho sự tiến hóa của và chứng minh rằng tính dương của tenxơ Ricci được bảo toàn, hơn nữa phần vết bằng không bị bóp theo : với một nào đó. Các vùng có độ cong vô hướng lớn do đó trở nên tiệm cận tròn, và kết hợp với chặn đường kính của Myers, dòng chuẩn hóa thể tích trên đa tạp 3 chiều với tồn tại ở mọi thời điểm và hội tụ trơn tới một mêtric có độ cong mặt cắt dương hằng — do đó là một thương của tròn.
Chương trình của Hamilton là áp dụng cùng dòng đó cho một mêtric bất kỳ trên một đa tạp 3 chiều đóng tùy ý và đọc ra phân rã hình học của Thurston từ hành vi thời gian dài của nó, với giả thuyết Poincaré là trường hợp đặc biệt đơn liên. Trở ngại là với mêtric ban đầu tổng quát, có thể bùng lên trước khi đạt tới giới hạn đẹp nào; vì thế việc hiểu dòng hội tụ tới đâu đòi hỏi, theo thứ tự, phân tích bùng nổ (bước tiếp theo), một cơ chế loại trừ các giới hạn suy biến, và một cách tiếp tục dòng qua các thời điểm kỳ dị.
- Dòng Ricci
- Một phương trình tiến hóa 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 ()
- 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 .