Cuối tháng 5 vừa rồi, ở hội nghị AGAG ở Charlottesville (https://sites.google...gag-at-uva/home), một bạn đồng nghiệp đã hỏi mình rằng nếu muốn nghiên cứu về vấn đề nguyên lý địa phương-toàn cục (nguyên lý Hasse) và tính chất xấp xỉ yếu cho đa tạp đại số trên trường số, thì nên bắt đầu từ đâu. Mình nghĩ sẽ có ích, nên mình sẽ đăng lại email trả lời của mình (tiếng Anh ở dưới):
Rất vui được gặp bạn hôm nay ở Charlottesville. Vì bạn đã hỏi một số tài liệu tham khảo về nguyên lý Hasse và tính chất xấp xỉ yếu để bắt đầu tìm hiểu, tôi viết thư cho bạn hòng trả lời câu hỏi đó. Dưới đây là "túi khôn" của những những người trong cùng trường phái với tôi.
Trước hết, bạn cần làm quen với đối đồng điều Galois, lý thuyết trường các lớp và các định lý đối ngẫu số học (đối ngẫu địa phương Tate và đối ngẫu toàn cục Poitou-Tate. Tài liệu tham khảo điển hình cho chủ đề này là ghi chú "Arithmetic Duality Theorems" (miễn phí) của James S. Milne, hoặc cuốn sách của Harari mà bản tiếng Anh có tựa là "Galois Cohomology and Class Field Theory".
Cuốn sách "gối đầu giường" có lẽ là "Torsors and Rational Points" của Skorobogatov. Trở ngại Brauer-Manin, torsors trong hình học số... được giải thích một cách khá chi tiết trong đó. Bạn cũng có thể xem cuốn sách mới xuất bản của Colliot-Thélène và Skorobogatov là "The Brauer-Grothendieck Group".
Đối với các tính chất số học của nhóm đại số tuyến tính, tôi đề xuất cuốn sách của Platonov và Rapinchuk là "Algebraic Group and Number Theory", cũng như bài báo mang tính nền tảng của Sansuc, "Groupe de Brauer et arithmétique des groupes algébriques linéaires sur un corps de nombres" (sẽ rất tuyệt nếu bạn đọc được tiếng Pháp, đây là một bài báo xuất sắc).
Lý thuyết xuống thang (descent) là một từ khóa khác. Hãy xem hai bài báo "La descente sur les variétés rationnelles I" và "... II" của Colliot-Thélène và Sansuc. Lý thuyết này cũng xuất hiện trong sách của Skorobogatov. Ở một thái cực khác, người ta nói về phương pháp phân thớ (fibration). Bạn có thể xem xét việc đọc nó từ luận án của Harari là "Méthode des fibrations et obstruction de Manin". Bạn không nhất thiết phải hiểu chính xác toàn bộ chi tiết ở lần đọc đầu tiên, vì chúng thực sự rất kỹ thuật.
Nâng cao hơn, bạn có thể đọc các bài báo của Borovoi là "Abelian cohomology of reductive group" và "The Brauer-Manin obstructions for homogeneous spaces with connected or abelian stabilizer". Chúng minh họa một cơ chế tổng quát là "abel hóa đối đồng điều Galois không giao hóa", rất ngạc nhiên là cơ chế này vận hành rất tốt khi làm việc với nhóm đại số tuyến tính liên thông. Bạn cũng có thể cần biết một chút về H^2 không giao hoán: xem bài báo "Grothendieck's theorem on non-abelian H^2 and local-global principles" của Flicker, Schreiderer và Sujatha.
It was nice to have met you today in Charlottesville. Since you have asked for some references on the Hasse principle and weak approximation to start with, I am writing to you in an attempt to give you an answer. Here is the bag of tricks of people from the same school as mine.
First, you should get yourself familiar with Galois cohomology, class field theory, and arithmetic duality theorems (Tate local duality and Poitou-Tate global duality). Typical references for this topic are James S Milne's free notes "Arithmetic Duality Theorems", or Harari's textbook, whose English version has the title "Galois Cohomology and Class Field Theory".
The bedside book should be Skorobogatov's textbook "Torsors and Rational Points". Brauer-Manin obstruction, torsors in arithmetic geometry... are explained pretty thoroughly there. You can also take a look at Colliot-Thélène and Skorobogatov's recent textbook "The Brauer-Grothendieck Group".
As for arithmetics of linear algebraic groups, I recommend Platonov and Rapinchuk's textbook "Algebraic Group and Number Theory", as well as the fundamental paper of Sansuc, "Groupe de Brauer et arithmétique des groupes algébriques linéaires sur un corps de nombres" (it would be fantastic if you could read French, this is a formidable article).
"Descent theory" is another keyword. Take a look at Colliot-Thélène and Sansuc's papers "La descente sur les variétés rationnelles I" and "... II". This also appears in Skorobogatov's textbook. On the other extreme, one talks about the "fibration method". You should consider learning its ideas from Harari's thesis "Méthode des fibrations et obstruction de Manin". It is not really necessary to understand all the details in the first lecture since they are very technical.
For advanced readings, you can take a look at Borovoi's papers "Abelian cohomology of reductive groups" and "The Brauer-Manin obstructions for homogeneous spaces with connected or abelian stabilizer". They illustrate the general machinery of "abelianization of non-abelian Galois cohomology", which works surprisingly well for connected linear algebraic groups. You might also need to know a bit about non-abelian H^2: see Flicker, Schreiderer and Sujatha's paper "Grothendieck's theorem on non-abelian H^2 and local-global principles".
Bài viết đã được chỉnh sửa nội dung bởi nmlinh16: 27-06-2023 - 04:14
