(Đã dịch) Học Bá Đích Hắc Khoa Kỹ Hệ Thống - Chương 1100: Fields giải thưởng cường giả, kinh khủng như vậy
【 làm ords=nζ(x, s)=(i∈z)Σ(? ? 1)^(i+ 1)·dimq·ki '(x)(n) thành lập lúc, tồn tại cq(d, k)={(f(x 1), ···, f(xn))∈fnq|f(x)∈fq[x], degf(x)≤k? ? 1}. . . 】
Phòng thí nghiệm của Viện Toán học Đại học Nam Kinh.
Vào giờ phút này, các thành viên nhóm nghiên cứu Đại số và Hình học Lý thuyết Thống nhất (GUT), bao gồm cả Schulz vừa mới gia nhập, đang đứng trước tấm bảng trắng, say sưa nhìn những biểu thức toán học gần như phủ kín khắp nơi.
Sau khoảng năm phút suy tư, Lục Chu vuốt cằm, đưa ra một nhận định chắc chắn.
"Một ý tưởng rất thú vị."
Perelman gật đầu đồng tình với lời nhận xét của Lục Chu, và cũng tán thưởng nói.
"Quả thật, đây là một hướng suy nghĩ vô cùng mới mẻ."
Faltings không nói gì, nhưng biểu cảm trên gương mặt ông đã thể hiện rõ ràng sự đồng tình.
Schulz mỉm cười, mở lời: "Đây là điều ta phát hiện khi nghiên cứu không gian Perfectoid, và chính phát hiện này đã khiến ta nảy ra ý tưởng dùng nó để xây dựng Lý thuyết Thống nhất (GUT). Cả năm ngoái, ta đã dành để hoàn thiện nó. Chỉ cần chúng ta có thể tìm ra biểu thức chính xác của cq(d, k) và thay nó vào Suy luận 4, chúng ta có thể liên hệ h(v) với các Motive bất khả quy tổng quát."
Lục Chu khẽ gật đầu: "Đúng vậy, như thế chúng ta có thể thông qua việc thảo luận hàm số h(v), gián tiếp nghiên cứu cấu trúc trực tiếp và sự phân giải của lý thuyết Motive."
Quả không hổ danh Schulz – người mà ngay cả Giáo sư Faltings, vốn không mấy khi khen ngợi người khác, cũng phải gọi là thiên tài – thực sự có tài năng đáng nể.
Lý thuyết hình học không gian Perfectoid của anh ấy đã phát huy tác dụng không ngờ tới trong việc nghiên cứu lý thuyết Motive.
Đáng quý hơn cả là, so với những học giả chỉ chuyên tâm nghiên cứu một mình như Perelman, anh ấy có năng lực biểu đạt và giao tiếp vượt trội hơn hẳn.
Thông thường, việc thuyết phục các học giả trong cùng lĩnh vực nghiên cứu chấp nhận quan điểm vượt trội của mình, thường khó khăn không kém việc đưa ra chính quan điểm vượt trội đó.
Dù sao, bất luận là một vấn đề toán học phức tạp hay đơn giản, để đi sâu vào đều cần tốn một lượng thời gian và tinh lực nhất định. Chỉ khi phần lớn mọi người đều nhận thấy nó đủ quan trọng, mới có người chủ động tiếp thu nó.
Trước sự tán thành của Lục Chu, Schulz cười gật đầu, tâm trạng hiển nhiên tốt đẹp, nói: "Nhân tiện, chúng ta vẫn chưa đặt một cái tên dễ nghe cho phương pháp này. Sau này khi cần dùng đến nó, chúng ta không thể cứ đọc một chuỗi dài biểu thức toán học như vậy mỗi lần."
Lục Chu suy nghĩ một lát rồi nói: "... Gọi là Ứng dụng điều kiện đối ngẫu Poincaré thì sao? Ta nhận thấy phần cốt lõi của luận chứng, đại khái chính là sự mở rộng của lý thuyết đối ngẫu Poincaré sang nhiều chiều hơn."
"Cách diễn giải như vậy quá rườm rà, hiện nay đang thịnh hành những phương thức diễn giải cô đọng hơn, ví dụ như..." Nhắm mắt trầm tư một lúc, Schulz giơ ngón trỏ lên, khẽ cười nói, "Lý thuyết 'Xếp chồng (Fold)' thì sao? Xét một cách trừu tượng, chúng ta chính là xếp chồng một tập hợp các biểu thức đại số để rút ra kết luận thú vị như vậy."
Nghe cái tên kỳ cục này, Lục Chu không khỏi thầm mắng trong lòng: Cái thứ này rốt cuộc cô đọng ở chỗ nào chứ? Ngắn gọn thì đúng là ngắn gọn đấy, nhưng nghe tên thì làm sao liên tưởng được đến phương pháp đang được áp dụng cơ chứ?
Trần Dương và Perelman thì không có ý kiến gì, những chuyện không mấy quan trọng như vậy đối với họ mà nói chẳng đáng kể.
Còn Giáo sư Faltings, ý kiến của ông hiển nhiên là giống như Lục Chu, ông lắc đầu nói.
"Các cậu thanh niên các cậu cứ thích đặt mấy cái tên hoa mỹ, ta thấy tên mà Giáo sư Lục đặt rất hay rồi."
Lục Chu: "..."
Mặc dù rất vui vì Giáo sư Faltings đồng tình với quan điểm của mình, nhưng Lục Chu luôn cảm thấy mình có chút bị thiệt thòi ở đâu đó.
Nhìn các vị đại lão trao đổi, những người khác trong phòng làm việc đều giữ im lặng.
Nhìn chăm chú vào những biểu thức toán học gần như phủ kín trên bảng trắng, Hàn Mộng Kỳ cau mày trầm tư, dường như đã hiểu, nhưng lại luôn cảm thấy có gì đó chưa thông suốt.
Hà Xương Văn cũng chau mày, vẻ mặt đầy nghiêm trọng, tay phải vô thức gãi gãi mái tóc còn thưa thớt trên đầu.
Còn về Quý Mặc...
Anh chàng này đã hoàn toàn ngớ người ra.
Từ trước đến nay, cậu ta vẫn luôn nghĩ rằng mình đã rất gần với lĩnh vực tiên phong của giới toán học, đặc biệt là khi Lục Chu đồng ý cho cậu ta tham gia vào đề tài nghiên cứu Lý thuyết Thống nhất Toán học (GUT), trong lòng cậu ta càng tin chắc điều này, rằng chẳng bao lâu nữa mình có thể trở thành một học giả độc lập, gánh vác một phương.
Thế nhưng giờ đây, niềm kiêu hãnh của cậu ta lại bị đả kích tan nát.
Trước mặt những "siêu nhân" thực sự này, đừng nói là chen vào lời, thậm chí muốn hiểu rốt cuộc họ đang thảo luận điều gì, cũng phải tốn rất nhiều công sức.
Quả không hổ danh những cường giả tầm giải thưởng Fields...
Sợ thật, khủng khiếp như vậy!
Ánh mắt đờ đẫn nhìn chằm chằm bảng trắng, Quý Mặc nuốt nước bọt, nói: "Sư huynh... Giá trị k trong biểu thức 8 kia được tìm ra bằng cách nào vậy ạ, sao đệ lại có chút không hiểu."
"Đừng hỏi, tập trung mà nhìn." Nhìn chằm chằm bảng trắng, Hà Xương Văn vẻ mặt đầy nghiêm trọng.
Tưởng rằng mình đã làm phiền sư huynh suy nghĩ, Quý Mặc vội vàng im lặng.
Một lát sau, chỉ thấy Hà Xương Văn chợt nhướng mày, rồi quay đầu sang bên, khẽ hỏi Hàn Mộng Kỳ bên cạnh.
"Cái phương trình dùng để suy ra biểu thức 2 từ biểu thức 1 là gì vậy? Em đã thấy bao giờ chưa?"
Hàn Mộng Kỳ im lặng nói: "... Cái đó chỉ là suy luận từ giả thuyết Weil thôi mà."
Quý Mặc: "..."
Lục Chu đã đưa ra một dàn khung để giải quyết toàn bộ vấn đề.
Còn phương pháp mà Schulz đề xuất, nhằm vào một vấn đề cụ thể nào đó trong toàn bộ dàn khung, đã đưa ra một lời giải đáp hoàn chỉnh.
Trên thực tế, tiền đề để biểu thức đó được thành lập chính là giả thuyết Beilinson-Bloch nổi tiếng trong hình học đại số.
Để giải quyết nó không phải là chuyện dễ dàng, thực tế thì trong suốt một năm qua, điều khiến Schulz bối rối cũng chính là vấn đề này.
Nếu không có cách nào chứng minh, thậm chí nếu giả thuyết Beilinson-Bloch là không thành lập, thì bộ phương pháp mang tên "Fold" mà anh ấy đề xuất cũng sẽ chẳng có ý nghĩa gì.
Tuy khó thì khó thật, nhưng có Lục Chu ở đây, Schulz cũng không quá lo lắng.
Vấn đề ở cấp độ này, chắc chắn sẽ không khó hơn giả thuyết Riemann.
Đặc biệt là đối với Lục Chu mà nói.
Không ai am hiểu việc giải quyết các vấn đề chứng minh hơn anh ấy.
Cuộc thảo luận tiếp tục diễn ra.
Ngay khi Lục Chu vừa đưa ra phương pháp liên hệ giữa k-nhóm cao cấp c���a một đường cong elliptic và liên hệ bất biến phân tích, từ đó giải quyết giả thuyết Beilinson-Bloch, điện thoại trong túi anh chợt rung lên.
Mặc dù lúc này không muốn nghe, nhưng để tránh trì hoãn chuyện quan trọng, Lục Chu vẫn liếc nhìn màn hình điện thoại.
Khi thấy cuộc gọi đến từ học tỷ, Lục Chu nghĩ chắc hẳn bên Tinh Không Khoa Kỹ có chuyện gì đó, thế là anh chỉ chỉ điện thoại di động của mình.
"Tôi ra ngoài nghe điện thoại một lát, có việc công."
Schulz cười nói: "Không sao đâu, vừa hay tôi cũng cần một chút thời gian để suy nghĩ về ý tưởng mà cậu vừa nêu ra."
Lục Chu khẽ gật đầu, một tay quay người đi về phía hành lang bên ngoài văn phòng, một tay nhấn nút nghe máy, còn chưa kịp lên tiếng chào hỏi, đã nghe thấy giọng nói đầy lo lắng của học tỷ từ đầu dây bên kia vọng tới.
"Cậu mau xem Weibo đi!"
Phần dịch thuật của chương này thuộc quyền sở hữu riêng của truyen.free, mọi hành vi sao chép đều bị cấm tuyệt.