Phân tích chi tiết phản chứng bác bỏ Giả thuyết Jacobian trong không gian C^3 của Levent Alpoge. Ánh xạ biến 3 điểm phân biệt về cùng 1 điểm ảnh.
Giả thuyết Jacobian (Jacobian Conjecture) là một trong những bài toán mở nổi tiếng và thách thức nhất của Hình học Đại số hiện đại. Mới đây, bài đăng của nhà toán học Levent Alpoge (Đại học Harvard) đã thu hút sự chú ý lớn từ cộng đồng toán học khi đưa ra một ví dụ phản chứng trực tiếp cho giả thuyết này trong không gian ba chiều \(\mathbb{C}^3\).
Giả thuyết Jacobian
Giả thuyết Jacobian: Cho một ánh xạ đa thức \(F: \mathbb{C}^n \to \mathbb{C}^n\). Nếu định thức Jacobian \(\det J(F)\) là một hằng số khác \(0\), thì \(F\) phải là một song ánh.
Phản ví dụ (Levent Alpoge)
Bài đăng trên X của Alpoge
1. Thiết lập ánh xạ
Xét ánh xạ đa thức \(F: \mathbb{C}^3 \to \mathbb{C}^3\) xác định bởi
\[F(x,y,z) = \big(f_1(x,y,z),\, f_2(x,y,z),\, f_3(x,y,z)\big)\]
với các hàm đa thức thành phần:
\[ \begin{cases} f_1(x,y,z) = (1+xy)^3 z + y^2 (1+xy)(4+3xy) \\[6pt] f_2(x,y,z) = y + 3x(1+xy)^2 z + 3xy^2(4+3xy) \\[6pt] f_3(x,y,z) = 2x - 3x^2 y - x^3 z \end{cases} \]
2. Định thức Jacobian
Ma trận Jacobian \(J(F)\) của ánh xạ được cho bởi:
\[ J(F) = \begin{pmatrix} \dfrac{\partial f_1}{\partial x} & \dfrac{\partial f_1}{\partial y} & \dfrac{\partial f_1}{\partial z} \\[10pt] \dfrac{\partial f_2}{\partial x} & \dfrac{\partial f_2}{\partial y} & \dfrac{\partial f_2}{\partial z} \\[10pt] \dfrac{\partial f_3}{\partial x} & \dfrac{\partial f_3}{\partial y} & \dfrac{\partial f_3}{\partial z} \end{pmatrix}. \]Thực hiện phép khai triển và rút gọn định thức của ma trận \(J(F)\), ta thu được:
\[ \det J(F) = -2. \]Do \(-2\) là hằng số khác \(0\), ánh xạ thỏa mãn điều kiện của Giả thuyết Jacobian.
3. Kiểm tra tính đơn ánh
Xét ba điểm phân biệt trong không gian \(\mathbb{C}^3\):
\[ A = \left(0, 0, -\frac{1}{4}\right), \quad B = \left(1, -\frac{3}{2}, \frac{13}{2}\right), \quad C = \left(-1, \frac{3}{2}, \frac{13}{2}\right). \]
Thế tọa độ điểm \(A\left(0, 0, -\dfrac{1}{4}\right)\) vào ánh xạ \(F\):
\[f_1(A) = (1+0)^3\left(-\frac{1}{4}\right) + 0 = -\frac{1}{4},\] \[ f_2(A) = 0, \quad f_3(A) = 0\] \[ \implies F(A) = \left(-\frac{1}{4}, 0, 0\right).\]
Tương tự, tính toán trực tiếp đối với hai điểm \(B\) và \(C\) ta cũng thu được:
\[ F(B) = \left(-\frac{1}{4}, 0, 0\right) \quad \text{và} \quad F(C) = \left(-\frac{1}{4}, 0, 0\right). \]
Suy ra
\[ F(A) = F(B) = F(C) = \left(-\frac{1}{4}, 0, 0\right). \]Vậy \(F\) không phải là đơn ánh.
Kết luận
Vì ánh xạ đa thức \(F: \mathbb{C}^3 \to \mathbb{C}^3\) có định thức Jacobian \(\det J(F) = -2 \neq 0\) nhưng lại biến ba điểm phân biệt \(A, B, C\) về cùng một điểm ảnh, nên \(F\) không phải là đơn ánh. Đây chính là một ví dụ phản chứng hoàn chỉnh bác bỏ Giả thuyết Jacobian trên \(\mathbb{C}^3\).
Ghi chú
Bài đăng trên mạng xã hội X của nhà toán học Levent Alpoge, cùng sự gợi mở từ người bạn Akhil và quá trình tính toán trong thời gian diễn ra trận chung kết World Cup của Fable (Claude Fable 5 AI), đã tạo nên sự chú ý lớn trong cộng đồng Đại số.
Giả thuyết Jacobian được Ott-Heinrich Keller đưa ra từ năm 1939. Trong suốt gần một thế kỷ, việc tìm kiếm phản chứng cho giả thuyết này ở các chiều \(n > 2\) luôn là bài toán vô cùng hóc búa.
Điểm khéo léo của ánh xạ này nằm ở cách sắp xếp các đa thức thành phần sao cho khi lấy đạo hàm riêng và tính định thức, toàn bộ các biến số \(x, y, z\) đều bị triệt tiêu hoàn toàn, để lại hằng số \(-2\).
