Lời giải: Chứng minh của Ngô qua thớ Hitchin và định lý giá hình học (2008)

Bước 6 trên 9: Định lý giá của Ngô: không giá nào nhỏ hơn toàn bộ đáy

Hiểu nôm na

Về nguyên tắc, một số mảnh khối xây dựng từ định lý phân tích có thể tập trung trên một phần nhỏ, ngoại lệ của không gian tham số $A$ — chẳng hạn chỉ trên những điểm mà thớ kỳ dị bất thường. Định lý giá của Ngô loại trừ điều này: mọi mảnh liên quan đều trải rộng khắp toàn bộ $A$ , lớn và đều đặn hết mức có thể.

Về trực giác, họ này không thể 'giấu' thêm tô pô ở những góc đặc biệt; điều gì xảy ra ở trường hợp tổng quát cũng xảy ra khắp nơi, theo một nghĩa được kiểm soát chính xác.

\mathrm{Supp}(\text{perverse summand}) = A \qquad \text{(no smaller support occurs)}

Phân tích chi tiết

Định lý giá của Ngô (2010, Định lý 6.4, dựa trên các kết quả từng phần của Goresky, Kottwitz và MacPherson cho các nhóm cổ điển) chỉ ra rằng giá của các số hạng đảo ngược khác không trong định lý phân tích không thể là đa tạp con đóng thực sự của $A$ : giá của mỗi số hạng phải là hợp của các thành phần có chiều đầy đủ. Chứng minh kết hợp một ước lượng chiều cho các giá có thể có — qua một chặn ' $\delta$ -chính quy' trên biệt thức, đại khái đo mức độ kỳ dị của thớ tổng quát trên một miền — với một lập luận toàn cục dùng một lớp phong phú trên không gian modun Hitchin và định lý Lefschetz cứng.

Đây là đầu vào hình học mới sâu sắc nhất duy nhất trong bài báo của Ngô; chính nó xác định chính xác đối đồng điều của thớ hóa Hitchin đủ để so sánh vế $G$ và vế $H$ , thay vì chỉ chặn nó.

Với giá được xác định là khắp nơi, đối đồng điều của thớ hóa được xác định, trên miền mở trù mật nơi các thớ là các thớ Springer aphin thực sự, chính bởi các đối tượng ở Bước 3.

Thuật ngữ trong bước này

định lý giá: Định lý năm 2010 của Ngô khẳng định rằng mọi số hạng đảo ngược trong phân tích của phép đẩy tiến thớ hóa Hitchin có giá trên toàn bộ không gian tham số $A$ (sai khác các mảnh chiều đầy đủ), loại trừ các đóng góp ẩn trên các đa tạp con nhỏ hơn.
$\delta$ -chính quy: Một điều kiện kỹ thuật đo mức tăng của biệt thức (ghi lại mức độ kỳ dị của tâm hóa của $\gamma$ ) trên đáy Hitchin $A$ ; dùng để chặn chiều của các giá có thể có.

Kiến thức dùng ở bước này

Đại số đồng điều Hình học đại số