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

Bước 3 trên 9: Tích phân quỹ đạo như phép đếm điểm trên thớ Springer aphin

Hiểu nôm na

Hóa ra một tích phân quỹ đạo trên $\mathbb{F}_q((t))$ có một ý nghĩa hình học cụ thể: nó đếm (với trọng số thích hợp) các mạng — các mạng con dạng lưới của một không gian — được giữ nguyên khi $\gamma$ tác động lên chúng. Không gian của mọi mạng bất biến như vậy được gọi là thớ Springer aphin của $\gamma$ .

Điều này diễn giải lại một tích phân giải tích khó thành một bài toán đếm trên một đối tượng hình học cụ thể, đúng là loại câu hỏi mà hình học đại số được sinh ra để trả lời.

\mathbf{O}_\gamma(\mathbf{1}_K) \ \propto \ \#\,\mathrm{Spr}_\gamma(\mathbb{F}_q), \qquad \mathrm{Spr}_\gamma = \{\text{lattices fixed by } \gamma\}

Phân tích chi tiết

Trên $F = \mathbb{F}_q((t))$ , sau khi chuẩn hóa và cắt cụt chuẩn, một tích phân quỹ đạo với hàm thử compact-mở thích hợp liên hệ với phép đếm điểm $\mathbb{F}_q$ trên thớ Springer aphin $\mathrm{Spr}_\gamma$ . Thớ Springer aphin đầy đủ nói chung là một ind-scheme; các phép cắt cụt hữu hạn chiều hoặc thương thích hợp mới là đối tượng hình học có đối đồng điều đi vào công thức vết Grothendieck–Lefschetz. Nhờ đó tích phân địa phương trở thành bài toán đếm đối đồng điều.

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

thớ Springer aphin: Đa tạp đại số chiều hữu hạn tham số hóa các mạng trong một không gian vectơ trên $\mathbb{F}_q((t))$ được bất biến bởi một phần tử $\gamma$ cho trước; được Kazhdan và Lusztig đưa ra để nghiên cứu tích phân quỹ đạo bằng hình học.

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

Hình học đại số