Giả thuyết Poincaré

Đây chính là "mũi tên thời gian" khiến dòng Ricci hoạt động giống một dòng gradient: $\mathcal{F}$ chỉ có thể tăng, nên dòng chảy không bao giờ có thể quay lại một mêtric mà nó đã rời đi (không có quỹ đạo tuần hoàn không tầm thường), và các điểm bất động của dòng chảy (sai khác vi phôi và tỉ lệ) chính xác là các điểm tới hạn của $\mathcal{F}$, tức các soliton Ricci gradient. Nó biến một hệ phương trình đạo hàm riêng phi tuyến thành một thứ có cấu trúc định tính của giảm gradient trên một cảnh quan năng lượng.

Bước 1 (độ đo được bảo toàn). Dưới dòng Ricci, $\partial_t\,dV=-R\,dV$ (vì $\partial_t\log\sqrt{\det g}=\tfrac12g^{ij}\partial_tg_{ij}=-R$). Kết hợp với sự tiến triển $\partial_t f = -\Delta f + |\nabla f|^2 - R$ của $f$ cho $\partial_t(e^{-f}dV)=(-\partial_tf-R)e^{-f}dV=(\Delta f-|\nabla f|^2)e^{-f}dV=-\Delta(e^{-f})\,dV$, dùng $\Delta(e^{-f})=e^{-f}(|\nabla f|^2-\Delta f)$. Lấy tích phân trên đa tạp compact $M$, vế phải triệt tiêu theo định lý divergence, nên $\int_M e^{-f}dV$ hằng theo thời gian: $e^{-f}dV$ là một độ đo được bảo toàn mang theo bởi dòng chảy ghép cặp.

**Bước 2 (quy về tích phân của $\partial_t\varphi-\Delta\varphi$).** Đặt $\varphi=R+|\nabla f|^2$, nên $\mathcal F(g,f)=\int_M\varphi\,e^{-f}dV$. Lấy đạo hàm dưới dấu tích phân và dùng $\partial_t(e^{-f}dV)=-\Delta(e^{-f})\,dV$ từ Bước 1, $\frac{d}{dt}\mathcal F=\int_M(\partial_t\varphi)e^{-f}dV-\int_M\varphi\,\Delta(e^{-f})\,dV$. Vì toán tử Laplace thông thường tự liên hợp đối với $dV$ trên đa tạp compact $M$, $\int_M\varphi\,\Delta(e^{-f})\,dV=\int_M(\Delta\varphi)e^{-f}dV$, nên $\frac{d}{dt}\mathcal F=\int_M\big[\partial_t\varphi-\Delta\varphi\big]e^{-f}dV$.

**Bước 3 (phần $R$).** Công thức tiến triển của Hamilton cho độ cong vô hướng là $\partial_tR=\Delta R+2|\mathrm{Ric}|^2$, do đó $\partial_tR-\Delta R=2|\mathrm{Ric}|^2$ trực tiếp. Điều này đã đóng góp $2|\mathrm{Ric}|^2$ vào dấu ngoặc ở Bước 2.

**Bước 4 (phần $|\nabla f|^2$).** Vì $\partial_tg^{ij}=2R^{ij}$, quy tắc dây chuyền cho $\partial_t|\nabla f|^2=2\mathrm{Ric}(\nabla f,\nabla f)+2\langle\nabla f,\nabla(\partial_tf)\rangle$, và thay $\partial_tf=-\Delta f+|\nabla f|^2-R$ cùng đẳng thức $\langle\nabla f,\nabla|\nabla f|^2\rangle=2\nabla^2f(\nabla f,\nabla f)$ cho $\partial_t|\nabla f|^2=2\mathrm{Ric}(\nabla f,\nabla f)-2\langle\nabla f,\nabla\Delta f\rangle+4\nabla^2f(\nabla f,\nabla f)-2\langle\nabla f,\nabla R\rangle$. Công thức Bochner phát biểu $\Delta|\nabla f|^2=2|\nabla^2f|^2+2\langle\nabla f,\nabla\Delta f\rangle+2\mathrm{Ric}(\nabla f,\nabla f)$; trừ đi triệt tiêu cả hai bản sao $\mathrm{Ric}(\nabla f,\nabla f)$ và để lại $\partial_t|\nabla f|^2-\Delta|\nabla f|^2=-2|\nabla^2f|^2+4\nabla^2f(\nabla f,\nabla f)-4\langle\nabla f,\nabla\Delta f\rangle-2\langle\nabla f,\nabla R\rangle$.

Bước 5 (Bochner có trọng số và một divergence triệt tiêu). Đưa vào toán tử Laplace Bakry–Émery (có trọng số $f$) $\Delta_f h = \Delta h - \langle\nabla f,\nabla h\rangle$; nó thỏa $\int_M(\Delta_fh)e^{-f}dV=0$ với mọi hàm $h$, vì $\Delta_fh\,e^{-f}=\mathrm{div}(e^{-f}\nabla h)$ là một divergence thuần túy. Viết $\Delta f=\Delta_ff+|\nabla f|^2$ biến $\langle\nabla f,\nabla\Delta f\rangle$ thành $\langle\nabla f,\nabla\Delta_ff\rangle+2\nabla^2f(\nabla f,\nabla f)$, và đẳng thức Bochner–Weitzenböck có trọng số $\tfrac12\Delta_f|\nabla f|^2=|\nabla^2f|^2+\langle\nabla f,\nabla\Delta_ff\rangle+(\mathrm{Ric}+\nabla^2f)(\nabla f,\nabla f)$ tách riêng $\langle\nabla f,\nabla\Delta_ff\rangle$. Thay tất cả vào biểu thức Bước 4, mọi số hạng dựng từ $\Delta_f|\nabla f|^2$ tích phân bằng không đối với $e^{-f}dV$ theo tính chất divergence triệt tiêu ở trên, và phần còn lại đúng bằng $\int_M\big[2|\nabla^2f|^2+4\mathrm{Ric}(\nabla f,\nabla f)-2\langle\nabla f,\nabla R\rangle\big]e^{-f}dV$.

Bước 6 (hoàn thành bình phương nhờ đẳng thức Bianchi rút gọn). Lấy tích phân từng phần $\langle\mathrm{Ric},\nabla^2f\rangle$ và dùng đẳng thức Bianchi thứ hai rút gọn $\nabla^iR_{ij}=\frac12\nabla_jR$ cho đúng $4\int_M\langle\mathrm{Ric},\nabla^2f\rangle e^{-f}dV=\int_M\big[4\mathrm{Ric}(\nabla f,\nabla f)-2\langle\nabla f,\nabla R\rangle\big]e^{-f}dV$ — chính xác là số hạng chéo còn lại từ Bước 5. Thay lại và cộng $2|\mathrm{Ric}|^2$ từ Bước 3, biểu thức dưới dấu tích phân ghép thành một bình phương hoàn chỉnh: $2|\mathrm{Ric}|^2+4\langle\mathrm{Ric},\nabla^2f\rangle+2|\nabla^2f|^2=2|\mathrm{Ric}+\nabla^2f|^2$.

Kết luận. Do đó $\frac{d}{dt}\mathcal{F}(g,f)=2\int_M|R_{ij}+\nabla_i\nabla_jf|^2e^{-f}dV\ge0$, một tổng bình phương đối với trọng số dương $e^{-f}dV$, nên $\mathcal{F}$ không giảm dọc theo dòng chảy ghép cặp, và nó hằng trên một khoảng đúng khi $R_{ij}+\nabla_i\nabla_jf\equiv0$ trên đó, tức đúng trên các soliton Ricci gradient tĩnh. $\blacksquare$

Hình học hóa dự đoán chính xác hai số phận dài hạn cho dòng Ricci có phẫu thuật trên một đa tạp 3 chiều compact: hội tụ (sau khi co giãn) về một tập các mảnh hình học thực sự, hoặc tuyệt chủng trong thời gian hữu hạn. Tính đơn liên loại trừ mọi hình học không dương ($\mathbb{H}^3$, $\mathrm{Nil}$, $\mathrm{Sol}$, $\mathbb{H}^2\times\mathbb{R}$, $\widetilde{\mathrm{SL}_2\mathbb{R}}$ đều buộc nhóm cơ bản không tầm thường lên bất kỳ mảnh compact nào), nên với các ứng viên $M\cong S^3$, số phận duy nhất có thể là tuyệt chủng — định lý này định lượng hóa số phận đó và biến một lập luận tô pô định tính thành giải tích chặt chẽ.

Bước 1 (bất đẳng thức Cauchy–Schwarz đặc thù chiều 3). Tại một điểm của đa tạp 3 chiều, tenxơ Ricci là một ma trận đối xứng $3\times3$ với các trị riêng $\lambda_1,\lambda_2,\lambda_3$, và $R=\lambda_1+\lambda_2+\lambda_3$. Bất đẳng thức Cauchy–Schwarz (trung bình lũy thừa) trên ba số cho $(\lambda_1+\lambda_2+\lambda_3)^2\le3(\lambda_1^2+\lambda_2^2+\lambda_3^2)$, tức $|\mathrm{Ric}|^2\ge R^2/3$, đẳng thức xảy ra đúng tại các điểm Einstein ($\mathrm{Ric}=\tfrac{R}{3}g$). Bất đẳng thức này đặc thù cho chiều 3 và chính là điều cho phép lập luận khép lại chỉ bằng độ cong vô hướng $R$.

**Bước 2 (bất đẳng thức vi phân cho $R$).** Thay vào công thức tiến triển của Hamilton $\partial_tR=\Delta R+2|\mathrm{Ric}|^2$ cho $\partial_tR=\Delta R+2|\mathrm{Ric}|^2\ge\Delta R+\tfrac23R^2$.

Bước 3 (nguyên lý cực đại tại điểm cực tiểu). Đặt $R_{\min}(t)=\min_{x\in M}R(x,t)$. Tại điểm mà cực tiểu không gian của $R$ đạt được, $\Delta R\ge0$ (kiểm tra đạo hàm cấp hai), nên bất đẳng thức vi phân ở Bước 2 buộc $\frac{d}{dt}R_{\min}\ge\frac23R_{\min}^2$ theo nghĩa hàng rào (nguyên lý cực đại của Hamilton cho các cực tiểu tiến triển dưới dòng Ricci). Phẫu thuật chỉ ghép vào các mêtric có độ cong ít nhất bằng ngưỡng phẫu thuật, nên nó không bao giờ có thể hạ $R_{\min}$ xuống thấp hơn giá trị trước đó; do đó bất đẳng thức vi phân này duy trì qua hữu hạn các thời điểm phẫu thuật.

Bước 4 (giải phương trình vi phân mô hình). Giải $y'=\tfrac23y^2$, $y(0)=r_0>0$, bằng tách biến: $\int y^{-2}dy=\int\tfrac23dt$ cho $-\tfrac1y=\tfrac23t-\tfrac1{r_0}$, tức $\tfrac1{y(t)}=\tfrac1{r_0}-\tfrac23t$, tức $y(t)=\dfrac{r_0}{1-\frac23 r_0 t}$. Đây chính xác là độ cong vô hướng của một mặt cầu tròn co lại với kích thước ban đầu tương ứng, và $y(t)\to+\infty$ đúng lúc mẫu số triệt tiêu, tại $t=T$, với $T=\dfrac{3}{2r_0}$.

Bước 5 (so sánh). Vì $R_{\min}(t)$ thỏa $\frac{d}{dt}R_{\min}\ge\tfrac23R_{\min}^2$ trong khi $y(t)$ thỏa phương trình này với dấu bằng và cùng giá trị ban đầu $r_0$, nguyên lý so sánh phương trình vi phân cho $R_{\min}(t)\ge y(t)$ chừng nào cả hai còn xác định. Vì $y(t)\to+\infty$ khi $t\to T^-$, $R_{\min}(t)$ phải đã thoát ra $+\infty$ tại hoặc trước $T$: dòng chảy không thể tiếp tục trơn quá $T$ mà không làm độ cong bùng nổ, nên phẫu thuật phải can thiệp không muộn hơn $T$.

Bước 6 (từ bùng nổ tới tuyệt chủng). Một thành phần mà trên đó $R_{\min}\to\infty$, so sánh với mặt cầu co lại mô hình ở Bước 4, đang co lại về thể tích không ở khắp nơi nhanh ít nhất như vậy; không còn chỗ để nó tồn tại quá $T$. Vì $M$ đơn liên, hình học hóa không cho phép mảnh nào có độ cong không dương (các mảnh $\mathbb{H}^3$, $\mathrm{Nil}$, $\mathrm{Sol}$, $\mathbb{H}^2\times\mathbb{R}$, $\widetilde{\mathrm{SL}_2\mathbb{R}}$ đều buộc một nhóm cơ bản không tầm thường lên một đa tạp 3 chiều compact), nên không còn mảnh hình học nào sống sót một khi các mảnh độ cong dương đã co lại hết: mọi thành phần liên thông có mặt tại thời điểm $t$ đều buộc phải biến mất qua phẫu thuật không muộn hơn thời điểm $T=\tfrac{3}{2r_0}$, tức dòng chảy có phẫu thuật tuyệt chủng trước $T$. $\blacksquare$