Math Labs

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 phát triển một mêtric Riemann gijg_{ij} trên một đa tạp đóng theo phương trình ∂tgij=−2Rij\partial_t g_{ij} = -2R_{ij}. 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ô Δgij\Delta g_{ij} — đ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, ∂tR=ΔR+2∣Ric⁡∣2\partial_t R = \Delta R + 2|\operatorname{Ric}|^2, nên nguyên lý cực đại khiến min⁡MR\min_M R 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 Rm\mathrm{Rm} 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 RR: ∣Ric⁡˚∣≤CR1−δ|\mathring{\operatorname{Ric}}| \le C R^{1-\delta} với một δ>0\delta>0 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 Ric⁡>0\operatorname{Ric}>0 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 đó M3M^3 là một thương của S3S^3 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, ∣Rm∣|\mathrm{Rm}| 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ị.

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