Chương 396: Chắc chắn còn đường nào đơn giản hơn

Tôi dịch đoạn văn trên sang tiếng Việt, giữ nguyên số dòng, văn phong tiểu thuyết:

---

Tiểu Súc trong buổi giảng về phương trình Navier-Stokes đã đề xuất hướng đi ấy, và tư tưởng cốt lõi chính là như vậy. Anh ấy đã ánh xạ hành vi phi nhiễu loạn của trường chuẩn trong vùng năng lượng thấp vào một khung hình học. Phần lõi của khung hình học ấy, chính là lý thuyết ràng buộc nhóm hòa (holonomy) mà anh ấy từng xây dựng khi chứng minh tính chỉnh quy toàn cục của phương trình Navier-Stokes.

Trong khung hòa, mọi cấu hình vật lý của trường chuẩn đều bị chiếu xuống một không gian thương, và cấu trúc của không gian thương ấy hoàn toàn do nhóm hòa của trường chuẩn quyết định. Sự tồn tại của khe năng lượng, tương đương với điều kiện cực tiểu của một phiếm hàm năng lượng nào đó trên không gian thương. Nói cách khác, anh ấy không tính xem khe năng lượng là bao nhiêu, mà chứng minh rằng khe năng lượng phải tồn tại.

Cũng giống như chứng minh trong một thung lũng nhất định phải có một điểm thấp nhất, chứ không cần biết điểm ấy cao bao nhiêu. Bạn có thể xuất phát từ những đường sống núi hai bên thung lũng, dùng tô pô học và nguyên lý biến phân để chứng minh, dưới những ràng buộc địa hình nhất định, nhất định tồn tại ít nhất một cực tiểu cục bộ. Cực tiểu ấy có thể nông, có thể sâu, nhưng sự tồn tại của nó được đảm bảo bởi cấu trúc hình học của địa hình, không cần bất kỳ phép xấp xỉ nào.

Và những gì Tiểu Súc cần làm, chính là tìm ra cấu trúc hình học trên không gian thương của trường chuẩn, thứ đảm bảo sự tồn tại của cực tiểu ấy. Trước đây anh ấy đã hoàn thành phần lớn cấu trúc cốt lõi của khung hình học này. Từ không gian thương xoáy của phương trình Navier-Stokes, mở rộng toán tử ràng buộc hòa của trường xoáy tới không gian cấu hình của trường chuẩn Yang-Mills, định nghĩa metric trọng trên không gian thương của trường chuẩn, thiết lập định lý chính quy hóa độ cong mở rộng, dùng phép cắt xương sườn nhóm bậc cao để loại bỏ bản sao Gribov… Tất cả những thứ ấy anh ấy đều đã làm xong.

Nhưng mỗi lần lật tới trang cuối cùng của tài liệu, nhìn vào bước cuối cùng chưa hoàn thiện ấy, Tiểu Súc lại cảm thấy có chỗ nào đó có thể đơn giản hơn nữa. Giống như một con đường, rõ ràng đã thông suốt, nhưng vẫn cứ nghĩ rằng trong bụi cỏ bên cạnh có thể ẩn chứa một lối tắt thẳng hơn.

Nơi đẹp đẽ nhất của toán học, chính là ở sự đơn giản và đối xứng tuyệt đối. Những công thức tối thượng đích thực, bao giờ cũng là đạo mạt vô cùng đơn giản, chẳng bao giờ rườm rà.

“Chắc chắn còn có một con đường thuận tiện hơn.”

Tiểu Súc lẩm bẩm, đẩy bàn phím sang một bên, cầm lại bút và giấy.

Những công thức trên màn hình máy tính anh ấy thuộc đến nỗi nhắm mắt cũng có thể suy luận ra. Nhưng chính sự quen thuộc ấy, đôi khi lại khiến người ta không nhìn thấy một khả năng khác.

Đầu bút chạm xuống giấy, phát ra tiếng xào xạc nhỏ.

Anh ấy xuất phát từ biểu diễn cơ bản của nhóm hòa SU(3), vẽ hệ thống tám chiều lên giấy. Hệ thống gốc của SU(3) là một hình lục giác, sáu vector gốc phân bố đều trên mặt phẳng, trung tâm là một điểm gốc. Mỗi vector gốc tương ứng với một thành phần của trường chuẩn, góc giữa các vector gốc quyết định mối quan hệ giao hoán giữa các thành phần ấy.

Phương pháp xử lý truyền thống là tách riêng từng mode tương ứng với mỗi vector gốc ra để chính quy hóa, sau đó dùng lý thuyết biểu diễn nhóm để kết hợp chúng lại. Phương án này là thứ mà Diệp Trăn và những người khác đang thử trong tài liệu, logic đương nhiên không sai, nhưng khi tính toán thực tế lại cực kỳ phiền phức, bởi SU(3) có tám phần tử sinh độc lập, mỗi phần tử sinh ấy cần xử lý riêng biệt, cộng thêm mối quan hệ không giao hoán giữa chúng sinh ra vô số hạng giao nhau, toàn bộ phép suy luận giống như một cuộn len bị thắt tới vô số nút, rối và nhiều.

Tiểu Súc cúi xuống viết vài dòng, đột nhiên ngừng bút.

Ánh mắt anh ấy dừng thẳng tại điểm trung tâm của hình lục giác hệ thống gốc.

Hệ thống gốc của SU(3) có một tính chất cực kỳ đặc biệt, ấy là tổng sáu vector gốc của nó bằng không.

Điều này đương nhiên không phải là sự trùng hợp ngẫu nhiên, mà là hệ quả trực tiếp từ những ràng buộc tô pô không giao hoán và tính đoàn kết. Nếu tổng của tất cả các vectơ gốc bằng không, điều đó có nghĩa hệ thống gốc vốn dĩ đã sở hữu một mode zero, một bậc tự do dư thừa có thể bị lược bỏ.

Mode zero. Bậc tự do dư thừa. Lược bỏ.

Những từ ngữ ấy va đập trong tâm trí anh, tạo nên những tiếng vang lạ lùng.

Anh lật mở bài báo kinh điển của Grothendieck năm 1960 về lý thuyết lược đồ, mắt lướt qua một đoạn luận thuật về đối đồng điều trên không gian thương.

Grothendieck đã chứng minh trong bài báo ấy rằng nếu tác động của một nhóm đại số là tự do, sự tồn tại của ánh xạ thương được quyết định bởi lớp chướng ngại bậc nhất của nhóm đối đồng điều của nhóm đó. Đối với SU(3), nhóm đối đồng điều bậc nhất của nó là tầm thường, điều đó có nghĩa là tác động của nhóm hòa hợp lên không gian cấu hình trường chuẩn vốn dĩ đã là tự do.

Không có chướng ngại. Không cần xử lý bất kỳ trở ngại đối đồng điều nào!

Trong khi đó, Ye Zhen và những người khác đã dành tới ba chương trong tài liệu của họ để bàn luận cách né tránh những trở ngại đối đồng điều ấy, vòng vo mãi mà hóa ra chướng ngại ấy chẳng hề tồn tại. Họ đã bị những giáo trình chuẩn về lý thuyết trường chuẩn mắc kẹt trong lối tư duy cũ. Những giáo trình ấy khi xử lý nhóm không giao hoán, luôn bắt đầu bằng việc cố định gauge, rồi phát hiện ra sự cố định gauge không triệt để, sau đó mới đưa vào trường bù, tức ghost field, để triệt tiêu bậc tự do dư thừa, cuối cùng để lại trong tích phân đường những ma trận phức tạp đầy rẫy.

Nhưng nếu bắt đầu trực tiếp từ cấu trúc tô pô của nhóm hòa hợp, sử dụng ngôn ngữ lược đồ của Grothendieck để miêu tả lại không gian thương của trường chuẩn, sẽ phát hiện ra rằng bước cố định gauge vốn dĩ là thừa thãi.

Cấu hình vật lý của trường chuẩn vốn dĩ đã hình thành một không gian thương được định nghĩa tốt, không cần bất kỳ điều kiện cố định bổ sung nào, bởi vì tác động của nhóm hòa hợp lên không gian cấu hình vốn dĩ đã là tự do, không gian thương từ đầu đã được định nghĩa tốt.

Giống như việc bạn muốn chia một nhóm người thành các nhóm nhỏ. Cách truyền thống là phát cho mỗi người một chiếc thẻ số, rồi xếp theo số. Nhưng bạn phát hiện ra thẻ số bị trùng, người thì có hai thẻ, kẻ thì chẳng có thẻ nào, thế là bạn lại phải thiết kế một cơ chế kiểm tra phức tạp để loại bỏ sự trùng lặp.

Cách ấy đương nhiên có thể thực hiện được, nhưng không nghi ngờ gì nữa, kết quả cuối cùng chắc chắn sẽ cực kỳ phức tạp và nặng nề.

Đương nhiên là không thể chấp nhận được.

Tiêu Túc cầm lấy cây bút, gạch bỏ toàn bộ năm trang chứng minh trước đây.

Phải bắt đầu lại từ đầu.

Lần này, anh quyết định thay đổi hướng tiếp cận, không bắt đầu từ sự cố định gauge nữa, mà trực tiếp xây dựng không gian thương từ tác động nhóm của nhóm hòa hợp lên không gian cấu hình.

Sử dụng ngôn ngữ lược đồ của Grothendieck, anh xem không gian cấu hình của trường chuẩn như một ngăn xếp đại số, tác động của nhóm hòa hợp định nghĩa lên quan hệ tương đương trên ngăn xếp ấy, còn không gian thương chính là không gian mô của ngăn xếp đại số ấy.

Trên không gian mô, điều kiện cực tiểu của phiếm hàm năng lượng không còn cần xử lý bất kỳ bậc tự do dư thừa nào nữa.

Vấn đề về bản sao Gribov tự động biến mất.

Bởi vì trong khuôn khổ của ngăn xếp đại số, tất cả các bản sao Gribov đều được nhận diện là cùng một điểm ngăn xếp, chúng vốn dĩ là một.

Tốc độ chứng minh càng lúc càng nhanh, đầu bút lông trên giấy gần như không ngừng nghỉ.

Từ định nghĩa không gian mô, đến sự khái quát hóa của metric có trọng số, đến định lý chính quy hóa độ cong phiên bản không giao hoán, từng bước một, như những quân domino, lần lượt đổ xuống.