Ngô Bảo Châu nhận huy chương Fields năm 2010 cho chứng minh Bổ đề cơ bản của chương trình Langlands, bằng cách đưa vào những phương pháp hình học đại số mới. Bổ đề này là một đẳng thức giữa các tích phân trên những nhóm đối xứng khác nhau; nó được Robert Langlands và cộng sự phát biểu từ khoảng cuối thập niên 1970 và trở thành nút thắt mà nhiều kết quả quan trọng khác phải chờ. Chứng minh trọn vẹn của Ngô Bảo Châu hoàn thành năm 2008 và được in năm 2010.
Ông là người Việt Nam đầu tiên nhận giải thưởng này. Bài viết giải thích ở mức sinh viên toán: chương trình Langlands muốn nối những gì, vì sao một "bổ đề" lại khó đến vậy, ý tưởng chính trong cách tiếp cận của ông là gì, và vì sao không nên tóm tắt công trình này bằng những câu như "giải bài toán thế kỷ".
Hành trình học thuật
Ngô Bảo Châu sinh năm 1972 ở Hà Nội, học khối chuyên toán của Đại học Tổng hợp Hà Nội. Ông giành huy chương vàng Olympic Toán học Quốc tế năm 1988 với điểm tuyệt đối, và tiếp tục giành huy chương vàng năm 1989. Sau đó ông sang Pháp học đại học, học tại Trường Sư phạm Paris, và làm luận án tiến sĩ tại Đại học Paris-Sud dưới sự hướng dẫn của Gérard Laumon, bảo vệ năm 1997.
Hướng nghiên cứu của ông từ sớm đã gắn với chương trình Langlands và các công cụ hình học. Năm 2004, ông và Laumon công bố chứng minh Bổ đề cơ bản cho trường hợp các nhóm unita. Đến năm 2008, ông hoàn tất chứng minh cho trường hợp tổng quát, bài báo in năm 2010 trên tạp chí của Viện Nghiên cứu Khoa học Cao cấp Pháp. Huy chương Fields được trao tại Đại hội Toán học Quốc tế ở Hyderabad, Ấn Độ, tháng 8 năm 2010.
Từ năm 2010, ông là giáo sư Đại học Chicago, Hoa Kỳ. Ở trong nước, ông là giám đốc khoa học của Viện Nghiên cứu Cao cấp về Toán, thành lập năm 2011, nơi tổ chức các chương trình nghiên cứu ngắn hạn cho nhà toán học Việt Nam và các hoạt động phổ biến toán học. Nhiều người trẻ biết đến toán học cao cấp qua các bài giảng đại chúng và bài viết của ông.
Chương trình Langlands: một bộ từ điển giữa các ngành toán
Năm 1967, Robert Langlands viết một bức thư cho André Weil, phác ra một loạt giả thuyết nối hai thế giới tưởng như xa nhau. Một bên là lý thuyết số, nơi người ta nghiên cứu nghiệm của phương trình đa thức và các đối xứng của nghiệm, gọi là nhóm Galois. Bên kia là giải tích điều hoà, nơi người ta nghiên cứu các hàm có tính đối xứng rất cao, như dạng modular, và cách chúng phân tích thành các thành phần cơ bản, gọi là biểu diễn tự đẳng cấu.
Ý tưởng là có một từ điển: mỗi đối tượng bên này tương ứng với một đối tượng bên kia, và thông tin khó lấy ở một bên có thể đọc dễ ở bên kia. Bạn đã gặp một mục trong từ điển này nếu đọc về chứng minh định lý Fermat lớn: giả thuyết Taniyama – Shimura nói rằng mỗi đường cong eliptic tương ứng với một dạng modular. Chứng minh của Wiles là một trường hợp của chương trình Langlands.
Một công cụ chính để xây dựng từ điển là công thức vết, do Arthur Selberg khởi đầu và James Arthur phát triển rộng. Công thức vết so sánh hai cách tính cùng một đại lượng: một cách qua các biểu diễn, một cách qua các lớp phần tử của nhóm. Khi muốn so công thức vết của hai nhóm khác nhau để chuyển thông tin từ nhóm này sang nhóm kia, người ta phải so các tích phân quỹ đạo, và đó là chỗ Bổ đề cơ bản xuất hiện.
Bổ đề cơ bản phát biểu điều gì, ở mức hình dung
Tích phân quỹ đạo là gì. Cho một nhóm ma trận và một phần tử của nó, tập hợp mọi phần tử "liên hợp" với nó, giống như cùng một phép biến đổi nhìn trong các hệ toạ độ khác nhau, gọi là quỹ đạo. Tích phân quỹ đạo đo "kích thước" có trọng số của quỹ đạo ấy. Trong các bài toán số học địa phương, đây thường là một phép đếm rất phức tạp.
Nhóm nội soi. Với mỗi nhóm G, có những nhóm nhỏ hơn H gọi là nhóm nội soi, mang một phần thông tin của G. Langlands và Diana Shelstad nhận ra rằng để so công thức vết của G với của các H, cần một đẳng thức: một tổ hợp có dấu của các tích phân quỹ đạo trên G phải bằng tích phân quỹ đạo tương ứng trên H.
Vì sao gọi là "bổ đề". Ban đầu người ta nghĩ đây chỉ là một bước kỹ thuật, kiểm được bằng tính toán trực tiếp, nên gọi là bổ đề. Thực tế nó chống lại mọi nỗ lực tính trực tiếp, chỉ chứng minh được cho các nhóm nhỏ. Trong khi đó, nhiều kết quả của chương trình Langlands được viết theo kiểu "nếu Bổ đề cơ bản đúng thì".
Đổi góc nhìn sang hình học. Thay vì tính từng tích phân, Ngô Bảo Châu chuyển bài toán sang trường hợp trường hàm và diễn giải các tích phân quỹ đạo như việc đếm điểm trên những đối tượng hình học. Đối tượng then chốt là phân thớ Hitchin, một cấu trúc do Nigel Hitchin đưa ra năm 1987 trong bối cảnh hoàn toàn khác. Ông nghiên cứu sâu đối đồng điều của phân thớ này và chứng minh một định lý về giá, cho phép so sánh hai vế của đẳng thức.
Chuyển về trường hợp cần cho số học. Kết quả của Jean-Loup Waldspurger và các nhà toán học khác trước đó đã cho thấy chỉ cần chứng minh bổ đề trong trường hợp trường hàm đặc số dương là đủ suy ra trường hợp cần cho số học. Nhờ vậy, chứng minh hình học của Ngô Bảo Châu khép lại bài toán.
Vì sao công trình này quan trọng
Các nhà toán học đánh giá công trình theo hai tiêu chí: nó mở khoá được gì, và phương pháp mới có dùng được ở chỗ khác không. Bổ đề cơ bản ghi điểm ở cả hai.
- Nhiều kết quả về sự ổn định hoá công thức vết, do James Arthur và những người khác phát triển, trước đó phụ thuộc vào Bổ đề cơ bản. Khi bổ đề được chứng minh, chúng trở thành định lý không điều kiện.
- Các ứng dụng xuống lý thuyết số, như hiểu biểu diễn Galois gắn với các dạng tự đẳng cấu trên một số nhóm, có nền vững hơn.
- Phương pháp dùng phân thớ Hitchin và định lý về giá đã được nhiều người tiếp tục khai thác trong hình học đại số và chương trình Langlands hình học.
- Công trình cho thấy một bài toán tưởng là tính toán thuần tuý lại cần một ý tưởng cấu trúc từ một lĩnh vực khác, một bài học quen thuộc của toán học hiện đại.
Cần nói rõ: Bổ đề cơ bản là một mắt xích then chốt chứ không phải toàn bộ chương trình Langlands. Phần lớn chương trình vẫn là giả thuyết. Những câu tóm tắt kiểu "Ngô Bảo Châu giải chương trình Langlands" là sai, và chính ông cũng thường nhấn mạnh tính tập thể của công trình toán học.
Đọc tin tức về Ngô Bảo Châu: câu nào đúng, câu nào nên sửa
Khi tin nhận giải lan rộng năm 2010, báo chí và mạng xã hội dùng nhiều cách diễn đạt. Một số chính xác, một số cần hiệu chỉnh.
| Cách nói thường gặp | Nhận xét |
|---|---|
| Ngô Bảo Châu chứng minh Bổ đề cơ bản của chương trình Langlands | Chính xác |
| Ông giải bài toán khó nhất thế kỷ | Phóng đại; nên nói là một bài toán then chốt được chờ đợi khoảng ba thập niên |
| Ông chứng minh một mình từ đầu đến cuối | Ông hoàn tất trường hợp tổng quát; trước đó có công trình chung với Laumon và nền móng của nhiều người khác |
| Huy chương Fields là giải Nobel của toán học | Cách so sánh phổ thông; Fields chỉ trao cho người dưới 40 tuổi, bốn năm một lần, khác Nobel về tiêu chí |
| Ông là người Việt Nam đầu tiên nhận huy chương Fields | Chính xác |
| Bổ đề cơ bản đã có ứng dụng trong công nghệ | Không có cơ sở; đây là toán học thuần tuý ở trình độ nghiên cứu |
Thói quen tốt khi đọc tin khoa học là tìm nguồn gốc của mỗi câu đánh giá: một bài viết của chuyên gia trong ngành, hay một câu do người viết tin thêm vào cho hấp dẫn.
Sinh viên muốn tìm hiểu công trình này: dùng AI thế nào
Công trình của Ngô Bảo Châu ở trình độ nghiên cứu, nhưng con đường dẫn tới nó có thể chia thành những bước sinh viên đi được. AI hữu ích để vẽ bản đồ và giải thích khái niệm, miễn là bạn kiểm từng mảnh.
- Xác định nền cần có: đại số trừu tượng, nhóm Lie và biểu diễn, lý thuyết số đại số, hình học đại số. Câu lệnh mẫu: "Lập lộ trình đọc cho sinh viên năm ba muốn hiểu Bổ đề cơ bản, chia theo học phần, mỗi học phần ghi khái niệm cần nắm và lý do."
- Bắt đầu từ một ví dụ nhỏ: tích phân quỹ đạo cho nhóm ma trận cấp hai trên một trường hữu hạn. Nhờ AI dẫn dắt, nhưng tự tính các lớp liên hợp bằng tay.
- Đọc các bài giảng đại chúng và bài viết giới thiệu của chính tác giả hoặc của các chuyên gia, thường dễ hơn bài báo gốc nhiều lần.
- Với mọi khẳng định kỹ thuật chatbot đưa ra, hỏi lại: "Phát biểu này có trong tài liệu nào?" và kiểm. Ở trình độ này, mô hình ngôn ngữ rất dễ trộn thuật ngữ của các lĩnh vực gần nhau.
- Tham gia các chương trình hè, trường hè và bài giảng đại chúng của các viện toán học trong nước để hỏi trực tiếp người làm nghiên cứu.
Câu hỏi thường gặp
Ngô Bảo Châu có những giải thưởng nào trước huy chương Fields?
Trước năm 2010, ông nhận giải Nghiên cứu Clay năm 2004 cùng Gérard Laumon cho công trình về Bổ đề cơ bản trường hợp nhóm unita, và một số giải thưởng của giới toán học Pháp. Danh sách đầy đủ nên tra trên trang cá nhân hoặc trang của trường đại học nơi ông công tác.
Có cần giỏi Olympic mới làm được nghiên cứu toán không?
Không. Olympic rèn tốc độ giải bài toán ngắn đã biết là có lời giải; nghiên cứu là làm việc nhiều năm với bài toán chưa ai biết lời giải, cần đọc rộng và kiên trì. Nhiều nhà toán học lớn không thi Olympic, và nhiều người đoạt huy chương không theo nghiên cứu.
Chương trình Langlands hình học khác chương trình Langlands gốc thế nào?
Chương trình gốc làm việc với số và trường số. Phiên bản hình học thay chúng bằng các đường cong và đối tượng hình học, nơi có thêm nhiều công cụ. Công trình của Ngô Bảo Châu dùng ý tưởng hình học để giải một bài toán của chương trình gốc, nên nằm ở chỗ giao nhau của hai hướng.
Viện Nghiên cứu Cao cấp về Toán hoạt động thế nào?
Viện mời các nhà toán học trong và ngoài nước đến làm việc theo nhóm trong những khoảng thời gian ngắn, tổ chức hội thảo, trường hè và các hoạt động phổ biến toán học cho học sinh, sinh viên, giáo viên. Thông tin chương trình cụ thể từng năm nên tra từ thông báo chính thức của Viện.
Nên đọc gì để hiểu thêm ở mức phổ thông?
Các bài viết phổ biến khoa học của chính Ngô Bảo Châu và các bài giới thiệu của Liên đoàn Toán học Quốc tế khi trao giải năm 2010 là điểm khởi đầu tốt. Khi nhờ AI gợi ý tài liệu, hãy kiểm tên bài và nơi đăng, vì chatbot có thể bịa tên bài viết bằng tiếng Việt.