Mặt cầu 6 chiều có thể mô tả bằng số phức — câu hỏi 79 năm vừa có lời đáp

Năm 1947, Heinz Hopf hỏi: mặt cầu sáu chiều có mang được một cấu trúc phức không, tức có thể phủ nó bằng những tấm bản đồ toạ độ phức dán với nhau bằng hàm chỉnh hình, như mặt cầu Riemann? Ngày 23/8/2026, Levent Alpöge (nhà nghiên cứu tại Anthropic) công bố bản thảo 108 trang, tác giả ghi là Claude và Alpöge, tuyên bố câu trả lời là CÓ: một họ đa tạp phức compact ba chiều, vi phôi với mặt cầu sáu chiều. Video đi từ đầu: nhân với i là quay 90 độ; mặt cầu Riemann với hai bản đồ z và w = 1/z; vì sao Hopf loại được mặt cầu 4 và 8 chiều; định lý Borel–Serre 1953 (chỉ S² và S⁶ có cấu trúc hầu phức); cấu trúc hầu phức của S⁶ bằng số bát phân (Kirchhoff 1947) và vì sao nó không khả tích (1951, tenxơ Nijenhuis, Newlander–Nirenberg 1957). Rồi tới cách dựng: một họ xuyến phức hai chiều trên mặt cầu Riemann, với ba điểm đặc biệt 0, 1, ∞ — quanh 0 một phần lưới quay 120°, quanh 1 quay 90°, quanh ∞ bị trượt (họ ba, bốn, vô cực); thớ ở ∞ được vá bằng mặt đại số khung lục giác dán cạnh đối, thớ ở 0 và 1 bằng phép biến đổi logarit Kodaira (thớ bội 3 và 4). Kiểm tra nó là S⁶: nhóm cơ bản cyclic cấp |4m + 3n| (chọn m = 1, n = −1 được 1); đặc trưng Euler bằng 2 dồn cả về thớ ở ∞; đồng điều của mặt cầu; Smale 1961 và Kervaire–Milnor 1963. Cuối cùng là bóng hình S⁶ chiếu xuống S³ phủ bởi các nút xuyến (3, 4). Kết quả mâu thuẫn trực tiếp với một định lý đã in của Campana, Demailly và Peternell (1998, đính chính 2020): họ khẳng định một S⁶ phức, nếu có, không có hàm phân hình khác hằng; đa tạp mới chiếu chỉnh hình xuống mặt cầu Riemann nên có. Bản thảo chỉ ra bước lập luận cũ không áp dụng: thớ lục giác ở ∞ không chuẩn tắc. Điều video nói rõ để không gây hiểu lầm: kết quả CHƯA qua bình duyệt ở tạp chí. Philip Engel (Đại học Illinois Chicago) đã viết một chứng minh độc lập 25 trang (13/9/2026), có ghi đã dùng ChatGPT hỗ trợ soạn thảo và tự kiểm toàn bộ nội dung toán học; Boris Alexeev (OpenAI) đã chứng minh hình thức một phiên bản trong Lean. Mức độ đóng góp cụ thể của con người và của mô hình trong bản thảo gốc chưa được mô tả công khai. Câu hỏi rộng hơn của Yau (mọi đa tạp hầu phức compact từ 6 chiều trở lên có cấu trúc phức không) vẫn còn mở. CÁC MỐC 0:00 Mở đầu 0:51 Phép nhân với i 1:22 Mặt cầu Riemann 1:57 Câu hỏi của Hopf 2:20 Loại trừ 2:52 Bát phân và S⁶ 3:28 Hầu phức chưa đủ 4:08 Bảy mươi chín năm 4:47 Bản thảo 108 trang 5:21 Xuyến phức 5:56 Ba điểm đặc biệt 6:34 Vá ba thớ 7:10 Không còn vòng lặp 7:45 Đặc trưng Euler 8:14 Từ đồng điều tới vi phôi 8:45 Bóng hình ba chiều 9:16 Một định lý đã in 9:53 Kiểm chứng 10:37 Ý nghĩa 11:11 Đăng ký NGUỒN Claude và L. Alpöge, "The (3, 4, ∞) modular family of 2-tori, completed at its three special points, is a complex structure on S6" (108 trang, 2026), alpo.ge/s6.pdf Philip Engel, "Complex structures on S6" (25 trang, 13/9/2026), philip-engel.github.io/S6.pdf Boris Alexeev, hình thức hoá Lean: github.com/plby/HopfProblem Quanta Magazine, Konstantin Kakaes, "Transformation" (10/9/2026) — lời của Alpöge, Engel, Mohammed Abouzaid. I. Agricola, G. Bazzoni, O. Goertsches, P. Konstantis, S. Rollenske, "On the history of the Hopf problem" (2018), arXiv:1708.01068. F. Campana, J.-P. Demailly, T. Peternell, "The algebraic dimension of compact complex threefolds with vanishing second Betti number", Compositio Math. 112 (1998). H. Hopf (1948); A. Kirchhoff (1947); A. Borel và J.-P. Serre (1953); A. Newlander và L. Nirenberg (1957); S. Smale (1961); M. Kervaire và J. Milnor (1963). Mọi con số và ma trận trên hình (đơn đạo bậc 3 và 4, phần luỹ đơn ở ∞, |4m + 3n| = 1, đặc trưng Euler, nút xuyến (3, 4), cấu trúc bát phân J² = −1) được tự tính lại bằng một cổng kiểm riêng trước khi dựng. @thelanmath — BẤM ĐĂNG KÝ để kênh phục vụ bạn thêm các video sau.