MỘT QUẢ CẦU TRƠN CHỈ TRÒN TẠI ĐÚNG MỘT ĐIỂM

Một quả bóng tròn cong như nhau theo mọi hướng. Thân một quả bóng bầu dục thì không: nó cong gắt theo vòng quanh phần bụng và chỉ cong nhẹ theo chiều dài. Tại mỗi điểm của một mặt, các nhà hình học ghi nhận mức uốn cong mạnh nhất và yếu nhất, mà hướng của chúng luôn vuông góc với nhau; đó là hai độ cong chính. Một điểm mà tại đó hai độ cong này bằng nhau, nơi mặt cong như nhau theo mọi hướng, được gọi là điểm rốn (umbilic). Trên một quả cầu hoàn hảo, mọi điểm đều là điểm rốn.

Đếm số vòng quay quanh một điểm rốn

Ở xa các điểm rốn, hướng uốn cong mạnh nhất và yếu nhất vẽ nên hai họ đường cong trên mặt, cắt nhau vuông góc ở mọi nơi. Hãy đi một vòng quanh một điểm rốn cô lập theo một vòng nhỏ và dõi theo một trong các đường này: nó xoay. Số vòng mà nó quay được là chỉ số của điểm rốn. Vì một đường thẳng không có mũi tên, nó có thể trùng lại chính nó sau nửa vòng, nên chỉ số có thể là một số bán nguyên, chẳng hạn 3/2.

Hai giả thuyết, theo cách bài báo phát biểu:

• Giả thuyết Loewner: chỉ số của một điểm rốn cô lập nhiều nhất là 1.
• Giả thuyết Carathéodory: một mặt chính quy lồi đóng (một mặt trơn, không có cạnh, phồng ra ngoài ở mọi nơi, như một quả trứng) trong không gian ba chiều thông thường có ít nhất hai điểm rốn.

Hai giả thuyết này liên hệ với nhau. Trên một mặt lồi đóng có các điểm rốn cô lập, tổng các chỉ số luôn bằng 2. Nếu không chỉ số nào có thể vượt quá 1, thì cần ít nhất hai điểm rốn: giả thuyết Loewner sẽ kéo theo giả thuyết Carathéodory. Một điểm rốn đơn độc sẽ phải tự mình gánh toàn bộ con số 2, và phá vỡ cả hai giả thuyết.

Công bố vào tháng 8, dựng lại từ các hàm sin

Những phản ví dụ đầu tiên không đến từ bài báo này. Theo phần mở đầu của nó, L. Alpöge đã công bố các phản ví dụ cho cả hai giả thuyết đối với mặt trơn, “được phát triển với sự hỗ trợ của AI”, trong một bài đăng trên X ngày 19 tháng 8 năm 2026. Cách xây dựng cục bộ của Alpöge đã đạt tới chỉ số 1 + k/2 với mọi số nguyên dương k, và Alpöge cho biết có một mặt đóng, lồi chặt, có đúng một điểm rốn, với chỉ số 2.

Naoya Ando, thuộc Đại học Kumamoto, và Masaaki Umehara, thuộc Viện Khoa học Tokyo (Institute of Science Tokyo), đặt mục tiêu đưa ra “một cách xây dựng đơn giản hơn thông qua một biến thể của cách xây dựng của Alpöge”. Hàm khởi đầu của Alpöge kết hợp ba hàm cosin với các hệ số −1/4, 3/10 và −1/32, nằm bên trong các hàm có chứa những hằng số như 10¹⁰ và 100. “Hạt giống” của họ là:

F(x, y) = a(x) − a(y) + sin x sin y, với a(t) = sin⁴t + 3 sin²t

Hãy hình dung một hàm hai biến như một địa hình gồm những gò và hõm. Hạt giống cần một tính chất: không ở đâu địa hình này được cong như nhau theo mọi hướng. Nói theo thuật ngữ kỹ thuật, ma trận Hessian phi vết của nó, tức bảng các đạo hàm cấp hai đã bị tước đi phần “như nhau theo mọi hướng”, không bao giờ triệt tiêu. Với hạt giống này, việc kiểm tra chỉ mất ba dòng. Tính chất ấy được gói gọn trong một số phức — một cặp số thông thường, gồm phần “thực” và phần “ảo”, chỉ bằng không khi cả hai phần đều bằng không: 12 − 16(sin⁴x + sin⁴y) + 2i cos x cos y. Phần ảo của nó chỉ triệt tiêu tại nơi một hàm cosin triệt tiêu; tại đó một hàm sin bằng ±1, nên phần thực của nó nhiều nhất là −4. Vậy nó không bao giờ bằng không.

Các tác giả cho biết họ đã dùng ChatGPT để hỗ trợ tìm kiếm các hàm ứng viên và chỉnh sửa văn bản, và họ đã tự kiểm chứng mọi lập luận.

Gấp một hoa văn vô tận vào một điểm

Hạt giống lặp lại mãi mãi trên khắp mặt phẳng. Các tác giả ép toàn bộ hoa văn ấy vào một đĩa nhỏ xíu: H_k(z) = exp(−|z|^(−k/4)) F(z^(−k/2)), trong đó z là một điểm của mặt phẳng được viết dưới dạng một số phức duy nhất và k là một số nguyên dương mà các tác giả được tự do chọn. Phép thế này đưa những vùng xa xôi của mặt phẳng về phía tâm, nên hoa văn sin chồng chất thành những vòng ngày càng khít quanh tâm. Thừa số mũ đè bẹp mọi thứ: tại tâm, hàm và mọi đạo hàm của nó đều bằng không. Các nhà toán học gọi một hàm như vậy là phẳng.

Quanh tâm đó, các hướng uốn cong mạnh nhất của địa hình này quay 1 + k/2 vòng: 3/2 với k = 1, 2 với k = 2, 5/2 với k = 3, không có giới hạn trên (Định lý 1.3). Cùng với Fujiyama, chính hai tác giả này trước đó đã đạt tới các chỉ số lớn tùy ý bằng những ví dụ chỉ thuộc lớp C¹, tức khả vi một lần, tại điểm rốn; những ví dụ mới này thì trơn.

Để biến một địa hình thành một mặt, các tác giả dùng một hàm tựa (support function): với mỗi hướng, nó cho khoảng cách từ một tâm đến mặt phẳng tiếp xúc với mặt cong ở phía đó, giống như một cây thước áp vào một hòn sỏi. Một hàm tựa hằng mô tả một mặt cầu. Cộng một bội nhỏ của địa hình vào hằng số đó sẽ cho một mặt có các điểm rốn và chỉ số khớp với của địa hình. Đây là một tương ứng kinh điển; bài báo chỉ chứng minh phần nó cần cho mặt đóng và trích dẫn phần còn lại. Kết quả: những mảnh mặt trơn nhỏ mang các điểm rốn có chỉ số 1 + k/2 với mọi k, nên chỉ số không có trần. Điều tương tự cũng đúng cho một lớp mặt trong không gian Lorentz–Minkowski, nơi mà, trong công thức Pythagoras tính khoảng cách, bình phương của một trong ba hiệu tọa độ bị trừ đi thay vì cộng vào.

Điểm rốn duy nhất nằm ở cực bắc

Với mặt đóng, mặt phẳng vô tận của hạt giống được quấn quanh một mặt cầu, như một phép chiếu bản đồ chạy ngược: nó phủ mọi điểm trừ cực bắc, nơi mọi vùng xa xôi của nó hội tụ. Hạt giống được làm tắt dần theo một cách khác, sao cho nó suy giảm nhanh hơn mọi lũy thừa của khoảng cách tới tâm của mặt phẳng đó, và một bội nhỏ ε của nó được cộng vào hàm tựa của mặt cầu ấy. Với ε đủ nhỏ, kết quả là một mặt đóng, gần như tròn, lồi chặt: nó phồng ra ngoài ở mọi nơi. Tại mọi điểm trừ một điểm, tính chất của hạt giống loại trừ khả năng có điểm rốn. Ngoại lệ là cực bắc, N = (0, 0, 1): tại đó, hàm tựa trùng với hàm tựa của mặt cầu ở mọi đạo hàm, nên N là một điểm rốn, và là điểm rốn duy nhất (Định lý 2.2). Vì tổng các chỉ số phải bằng 2, chỉ số của nó là 2. Một điểm rốn: giả thuyết Carathéodory sai. Chỉ số 2, lớn hơn 1: giả thuyết Loewner cũng sai.

Trơn, nhưng không giải tích

Mọi mặt trong bài báo đều khả vi vô hạn lần, hay “trơn”. Các tác giả nói rõ rằng các mặt của họ trong không gian thông thường không phải là giải tích thực, một kiểu trơn chặt chẽ hơn, trong đó, gần mỗi điểm, hình dạng được cho chính xác bởi một tổng vô hạn các lũy thừa. Bài báo không nói gì về việc liệu các mặt giải tích có thể chỉ có một điểm rốn hay không. Nó tự mô tả là khép kín đối với điểm rốn chỉ số 2 và phản ví dụ cho giả thuyết Carathéodory. Và nó không chứa hình vẽ nào của mặt: hai hằng số định hình mặt, δ và ε, chỉ được yêu cầu “đủ nhỏ”, và không có giá trị nào được đưa ra.