Bài toán mở, Hình học, Đại số, nêu năm 1950
Giả thuyết Hodge
Cho là một đa tạp đại số xạ ảnh trơn trên . Mọi lớp Hodge hữu tỷ — một lớp trong đến từ phân tích Hodge của đối đồng điều phức — đều là một tổ hợp tuyến tính trên của các lớp đối đồng điều của các đa tạp con đại số của có đối chiều .
Tính đến năm 2026, giả thuyết Hodge vẫn còn mở trong trường hợp tổng quát. Trường hợp đối chiều 1 đã được giải quyết trọn vẹn bởi định lý của Lefschetz (1924), và đối chiều bằng là hiển nhiên nhờ đối ngẫu Poincaré. Với đa tạp abel — từ lâu là bãi thử quan trọng nhờ cấu trúc tự đồng cấu phong phú — giả thuyết nay đã biết đúng ở mọi chiều tới 5: Tate xử lý lũy thừa của một đường cong elliptic, Tankeev và Ribet xử lý đa tạp abel đơn có chiều là số nguyên tố, Deligne chứng minh cho đa tạp kiểu CM bằng lý thuyết chu trình Hodge tuyệt đối của ông, và năm 2025 Markman hoàn tất chiều 4 và 5 bằng cách dựng chu trình đại số cho các lớp Weil vốn bí ẩn trước đó, dùng chùm cát tuyến. Ngoài chiều 5, và với đa tạp tổng quát (không phải abel) ở chiều cao hơn, chưa có kỹ thuật tương tự nào được biết, và phiên bản nguyên tinh chỉnh đã biết là sai (Atiyah–Hirzebruch, 1962), nên bất kỳ chứng minh nào cũng phải tạo ra chu trình đại số thật với hệ số hữu tỷ, chứ không chỉ hệ số tô pô.
Kết quả tốt nhất đã biết
- Định lý của Lefschetz giải quyết trọn vẹn đối chiều 1 cho mọi đa tạp xạ ảnh trơn (1924).
- Giả thuyết được chứng minh trọn vẹn cho đa tạp abel chiều tới 5 (Tate; Tankeev–Ribet; Deligne; Markman 2025, arXiv:2502.03415).
- Atiyah và Hirzebruch (1962) chỉ rõ chính xác vì sao phiên bản nguyên ngây thơ là sai, qua các vật cản xoắn — làm rõ phát biểu (hữu tỷ) đúng phải như thế nào.
Công cụ và chỗ dừng
| Công cụ | Đạt được | Chỗ dừng |
|---|---|---|
| Dãy khớp hàm mũ / định lý của Lefschetz | Chứng minh mọi lớp Hodge đối chiều 1 là đại số, với bất kỳ đa tạp xạ ảnh trơn (thậm chí Kähler compắc) nào, bằng cách liên hệ bó đường thẳng với lớp Chern. | Lập luận về căn bản chỉ nói về bó đường thẳng và không tổng quát hóa lên chu trình đại số đối chiều cao hơn. |
| Chu trình Hodge tuyệt đối (Deligne) | Chứng minh lớp Hodge trên đa tạp abel kiểu CM là đại số, và là nền tảng cho hầu hết các trường hợp đã biết ở đa tạp abel. | Dựa vào đối xứng thêm của nhân phức hoặc chiều nguyên tố; một đa tạp abel tổng quát, chưa nói tới đa tạp đại số tổng quát, không có cấu trúc như vậy để khai thác. |
| Chùm cát tuyến trên đa tạp abel kiểu Weil (Markman) | Dựng chu trình đại số cụ thể đại diện cho các lớp Weil vốn không thể tiếp cận trước đó, hoàn tất chiều 4 và 5 (2025). | Gắn với hình học đặc thù của đa tạp abel; chưa có cách dựng tương tự cho lớp Weil ở chiều 6 trở lên, hay cho đa tạp không phải abel. |
Câu hỏi còn mở
- Liệu cách dựng bằng chùm cát tuyến của Markman có mở rộng được tới lớp Weil trên đa tạp abel chiều 6 trở lên hay không?
- Vì giả thuyết Hodge nguyên đã sai, liệu có lý do cấu trúc nào để chờ đợi giả thuyết Hodge hữu tỷ cũng sai với một đa tạp không phải abel kỳ dị nào đó, hay một chứng minh thống nhất là khả dĩ?
Tài liệu tham khảo
- William V. D. Hodge (1952). The topological invariants of algebraic varieties
- Michael F. Atiyah, Friedrich Hirzebruch (1962). Analytic cycles on complex manifolds · DOI:10.1016/0040-9383(62)90094-0
- Eyal Markman (2025). Cycles on abelian 2n-folds of Weil type from secant sheaves on abelian n-folds · arXiv:2502.03415 [preprint, chưa bình duyệt]
- Claire Voisin (2002). Hodge Theory and Complex Algebraic Geometry I