Nguyên lý cục bộ-toàn cục

Nguyên lý cục bộ-toàn cục đặt câu hỏi liệu một phương trình có thể giải được trên tập số thực và trên mọi trường p-adic thì có nhất thiết phải giải được trên tập số hữu tỉ hay không; đối với các dạng toàn phương, câu trả lời là có, thể hiện sức mạnh của phép địa phương hóa.

Definition

Nguyên lý cục bộ-toàn cục là một heuristic cho rằng một bài toán Diophantine có nghiệm trên một trường toàn cục chính xác khi nó có nghiệm trên tất cả các phép hoàn thành của trường đó; định lý Hasse-Minkowski xác nhận điều này đối với các dạng toàn phương trên tập số hữu tỉ.

Scope

Chủ đề này bao gồm khái niệm về các “place” của số hữu tỉ (place thực và một place p-adic cho mỗi số nguyên tố), vành adele tập hợp tất cả các phép hoàn thành, nguyên lý Hasse về khả năng giải được, định lý Hasse-Minkowski rằng các dạng toàn phương tuân theo nguyên lý này, công thức tích và đối ứng Hilbert hỗ trợ, và những thất bại nổi tiếng của nguyên lý đối với các dạng bậc cao hơn và một số đường cong bậc ba, những điều này thúc đẩy sự ra đời của vật cản Brauer-Manin.

Core questions

• Các “place” và phép hoàn thành của số hữu tỉ là gì, và adele mã hóa chúng đồng thời như thế nào?
• Tại sao các dạng toàn phương thỏa mãn nguyên lý Hasse, và công thức tích cùng đối ứng Hilbert hoạt động như thế nào để đạt được điều này?
• Phép địa phương hóa làm giảm một câu hỏi về khả năng giải toàn cục thành việc kiểm tra từng phép hoàn thành như thế nào?
• Khi nào nguyên lý thất bại, và những vật cản nào giải thích những thất bại đó?

Key theories

Định lý Hasse-Minkowski

Một dạng toàn phương trên tập số hữu tỉ biểu diễn số không một cách không tầm thường nếu và chỉ nếu nó làm như vậy trên tập số thực và trên mọi trường p-adic, đây là thành công mẫu mực của nguyên lý cục bộ-toàn cục.

Công thức tích và đối ứng Hilbert

Các ký hiệu Hilbert cục bộ của một cặp số hữu tỉ nhân với nhau bằng một trên tất cả các “place”; công thức tích này, tương đương với đối ứng bậc hai, là động lực đằng sau chứng minh Hasse-Minkowski.

Những thất bại và quan điểm adele

Nguyên lý có thể thất bại đối với các dạng bậc ba trở lên và đối với các đường cong giống một; khuôn khổ adele và vật cản Brauer-Manin giải thích và đo lường những thất bại này.

Clinical relevance

Các phương pháp cục bộ-toàn cục làm cho nhiều bài toán Diophantine trở nên quyết định được bằng cách quy chúng về một số hữu hạn các kiểm tra cục bộ, và khuôn khổ adele là nền tảng cho lý thuyết giải tích của các dạng tự đẳng cấu và hàm L, những yếu tố này nuôi dưỡng chương trình Langlands và lý thuyết số tính toán.

History

Minkowski đã phân loại các dạng toàn phương hữu tỉ vào những năm 1890, và Hasse đã tái cấu trúc và mở rộng lý thuyết vào những năm 1920 bằng cách sử dụng số p-adic, hình thành nguyên lý cục bộ-toàn cục. Các adele và idele của Chevalley và luận án của Tate vào năm 1950 đã đặt nguyên lý này vào một khuôn khổ giải tích điều hòa mạnh mẽ trên các adele.

Key figures

• Helmut Hasse
• Hermann Minkowski
• Claude Chevalley
• John Tate

Seminal works

• serre1973

Frequently asked questions

Nguyên lý cục bộ-toàn cục có luôn đúng không?

Không. Nó đúng đối với các dạng toàn phương (Hasse-Minkowski) nhưng có thể thất bại đối với các phương trình bậc cao hơn và một số đường cong nhất định; những thất bại như vậy được nghiên cứu thông qua các vật cản như vật cản Brauer-Manin.

“Place” của số hữu tỉ là gì?

Một “place” là một lớp tương đương của các giá trị tuyệt đối: số hữu tỉ có một “place” Archimedean cho ra số thực và một “place” không Archimedean cho mỗi số nguyên tố cho ra một trường p-adic.