Lời giải: Chứng minh của Ngô qua thớ Hitchin và định lý giá hình học (2008)
Bổ đề cung cấp một thành phần địa phương then chốt để ổn định hóa công thức vết Arthur–Selberg; tự nó không chứng minh toàn bộ công thức vết hay mọi định lý phân loại về sau. Khi kết hợp với các công trình toàn cục và lý thuyết biểu diễn khác, nó cho phép những tiến bộ lớn trong chương trình Langlands.
Ngô Bảo Châu nhận Huy chương Fields năm 2010 nhờ chứng minh này.
Bổ đề cơ bản là trở ngại lớn cuối cùng để ổn định hóa công thức vết Arthur–Selberg cho các nhóm khử được tổng quát: có nó trong tay, vế hình học của công thức vết cho có thể viết lại thành tổng các phân bố ổn định trên và các nhóm nội soi của nó, đúng như chương trình nội soi của Langlands và Shelstad đã dự đoán từ đầu những năm 1980 (Hales 2011, §7).
James Arthur ngay lập tức dùng công thức vết đã ổn định hóa để hoàn thành phân loại phổ tự đẳng cấu rời rạc của các nhóm cổ điển như và theo phổ của , công bố thành một chuyên khảo nghiên cứu năm 2013; bổ đề cơ bản cũng là nền tảng cho các tiến bộ tiếp theo trong toàn bộ chương trình Langlands.
Vì công trình này, Ngô Bảo Châu nhận giải Fields năm 2010, và chứng minh — đưa một câu hỏi thuần túy địa phương, -adic đi qua hình học toàn cục của thớ hóa Hitchin rồi quay trở lại — được xem rộng rãi là một trong những ứng dụng sâu sắc nhất của hình học đại số vào lý thuyết số cho đến nay.
- biểu diễn tự đẳng cấu
- Một hiện thân theo lý thuyết biểu diễn của một đối tượng giống dạng modular, gắn với một nhóm khử được trên một trường số; việc phân loại các biểu diễn này là mục tiêu trung tâm của chương trình Langlands.