Weil's conjecture on Tamagawa numbers: Difference between revisions
TakuyaMurata (talk | contribs) lk |
mNo edit summary |
||
(42 intermediate revisions by 24 users not shown) | |||
Line 1: | Line 1: | ||
{{short description|Conjecture in algebraic geometry}} |
|||
⚫ | |||
In [[mathematics]], the '''Weil conjecture on Tamagawa numbers''' is the statement that the [[Tamagawa number]] <math>\tau(G)</math> of a simply connected simple [[algebraic group]] defined over a [[number field]] is 1. In this case, ''simply connected'' means "not having a proper ''algebraic'' covering" in the algebraic [[group theory]] sense, which is not always [[simply connected space|the topologists' meaning]]. |
|||
⚫ | |||
⚫ | |||
⚫ | {{harvs|txt|authorlink=André Weil|last=Weil|year=1959}} calculated the Tamagawa number in many cases of [[classical group]]s and observed that it is an [[integer]] in all considered cases and that it was equal to 1 in the cases when the group is simply connected. The first observation does not hold for all groups: {{harvtxt|Ono|1963}} found examples where the Tamagawa numbers are not integers. The second observation, that the Tamagawa numbers of simply connected semisimple groups seem to be 1, became known as the Weil conjecture. |
||
⚫ | [[Robert Langlands]] (1966) introduced [[harmonic analysis]] methods to show it for [[Chevalley group]]s. K. F. Lai (1980) extended the class of known cases to [[quasisplit reductive group]]s. {{harvtxt|Kottwitz|1988}} [[mathematical proof|proved]] it for all groups satisfying the [[Hasse principle]], which at the time was known for all groups without [[E8 (group)|''E''<sub>8</sub>]] factors. V. I. Chernousov (1989) removed this restriction, by proving the Hasse principle for the resistant ''E''<sub>8</sub> case (see [[strong approximation in algebraic groups]]), thus completing the proof of Weil's conjecture. In 2011, [[Jacob Lurie]] and [[Dennis Gaitsgory]] announced a proof of the conjecture for algebraic groups over function fields over [[finite field]]s,{{sfn|Lurie|2014}} formally published in {{harvtxt|Gaitsgory|Lurie|2019}}, and a future proof using a version of the [[Grothendieck-Lefschetz trace formula|Grothendieck-]][[Lefschetz fixed-point theorem#Frobenius|Lefschetz trace formula]] will be published in a second volume. |
||
Tamagawa numbers were introduced by {{harvs|txt|authorlink=Tsuneo Tamagawa|last=Tamagawa|year=1966}}, and named after him by {{harvtxt|Weil|1959}}. |
|||
==Applications== |
|||
Here ''simply connected'' is in the algebraic [[group theory]] sense of not having a proper ''algebraic'' covering, which is not always the [[simply connected space|topologists' meaning]]. |
|||
⚫ | |||
⚫ | |||
==Tamagawa measure and Tamagawa numbers== |
|||
==See also== |
|||
Let ''k'' be a global field, ''A'' its ring of adeles, and ''G'' an algebraic group defined over ''k''. |
|||
*[[Tamagawa number]] |
|||
The Tamagawa measure on the adelic algebraic group ''G''(''A'') is defined as follows. Take a left-invariant ''n''-form ω on ''G''(''k'') defined over ''k'', where ''n'' is the dimension of ''G''. This induces Haar measures on ''G''(''k''<sub>''s''</sub>) for all places of ''s'', and hence a Haar measure on ''G''(''A''), if the product over all places converges. This Haar measure on ''G''(''A'') does not depend on the choice of ω, because multiplying ω by an element of ''k''* multiplies the Haar measure on ''G''(''A'') by 1, using the product formula for valuations. |
|||
The Tamagawa number τ(''G'') is the Tamagawa measure of ''G''(''A'')/''G''(''k''). |
|||
⚫ | |||
⚫ | |||
[[Robert Langlands]] (1966) introduced [[harmonic analysis]] methods to show it for [[Chevalley group]]s. J. G. M. Mars gave further results during the 1960s. |
|||
⚫ | K. F. Lai (1980) extended the class of known cases to [[quasisplit reductive group]]s. {{harvtxt|Kottwitz|1988}} proved it for all groups satisfying the [[Hasse principle]], which at the time was known for all groups without [[E8 (group)|''E''<sub>8</sub>]] factors. V. I. Chernousov (1989) removed this restriction, by proving the Hasse principle for the resistant ''E''<sub>8</sub> case (see [[strong approximation in algebraic groups]]), thus completing the proof of Weil's conjecture. |
||
==References== |
==References== |
||
{{reflist}} |
|||
*{{Springer|id=T/t092060|title=Tamagawa number}} |
*{{Springer|id=T/t092060|title=Tamagawa number}} |
||
*{{citation|last= Chernousov|first= V. I. |title=The Hasse principle for groups of type E8 |journal= Soviet Math. Dokl. |volume= 39 |year=1989|pages= 592–596|mr= 1014762}} |
*{{citation|last= Chernousov|first= V. I. |title=The Hasse principle for groups of type E8 |journal= Soviet Math. Dokl. |volume= 39 |year=1989|pages= 592–596|mr= 1014762}} |
||
*{{Citation |last1=Gaitsgory |first1=Dennis |author1-link=Dennis Gaitsgory |last2=Lurie |first2=Jacob |title=Weil's Conjecture for Function Fields (Volume I) |url=https://press.princeton.edu/books/paperback/9780691182148/weils-conjecture-for-function-fields |volume=199 |series=Annals of Mathematics Studies |publisher=[[Princeton University Press]] |location=Princeton |year=2019 |pages=viii, 311 |isbn=978-0-691-18213-1 |mr=3887650 |zbl=1439.14006 }} |
|||
*{{citation|last= Kottwitz|first= Robert E. |title=Tamagawa numbers |
|||
|journal= Ann. |
*{{citation|last= Kottwitz|first= Robert E. |title=Tamagawa numbers |journal= Ann. of Math. |series= 2 |volume= 127 |year=1988|issue= 3|pages=629–646|doi=10.2307/2007007|jstor=2007007|publisher=Annals of Mathematics|mr= 0942522}}. |
||
⚫ | |||
*{{citation|last=Lai|first= K. F. |
|||
⚫ | |||
|url= http://www.numdam.org/item?id=CM_1980__41_2_153_0|mr=581580}} |
|||
*{{citation |last=Langlands|first= R. P. |chapter=The volume of the fundamental domain for some arithmetical subgroups of Chevalley groups|year= 1966 |title= Algebraic Groups and Discontinuous Subgroups |series=Proc. Sympos. Pure Math.|pages= 143–148 |publisher=Amer. Math. Soc.|publication-place= Providence, R.I. |mr=0213362}} |
*{{citation |last=Langlands|first= R. P. |chapter=The volume of the fundamental domain for some arithmetical subgroups of Chevalley groups|year= 1966 |title= Algebraic Groups and Discontinuous Subgroups |series=Proc. Sympos. Pure Math.|pages= 143–148 |publisher=Amer. Math. Soc.|publication-place= Providence, R.I. |mr=0213362}} |
||
*{{Citation | last=Lurie | first=Jacob | author-link=Jacob Lurie | title=Tamagawa Numbers via Nonabelian Poincaré Duality | year=2014 | url=http://www.math.harvard.edu/~lurie/282y.html }} |
|||
*{{Citation | last1=Ono | first1=Takashi | title=On the Tamagawa number of algebraic tori | url=http://www.jstor.org/stable/1970502 | id={{MR|0156851}} | year=1963 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=78 | pages=47–73}} |
|||
*{{Citation | last1=Ono | first1=Takashi | title=On the |
*{{Citation | last1=Ono | first1=Takashi | author-link=Takashi Ono (mathematician) | title=On the Tamagawa number of algebraic tori | jstor=1970502 |mr=0156851 | year=1963 | journal=[[Annals of Mathematics]] |series=Second Series | issn=0003-486X | volume=78 | issue=1 | pages=47–73 | doi=10.2307/1970502}} |
||
*{{Citation | last1= |
*{{Citation | last1=Ono | first1=Takashi | title=On the relative theory of Tamagawa numbers | jstor=1970563 |mr=0177991 | year=1965 | journal=[[Annals of Mathematics]] |series=Second Series | issn=0003-486X | volume=82 | issue=1 | pages=88–111 | doi=10.2307/1970563| url=http://projecteuclid.org/euclid.bams/1183525960 }} |
||
*{{Citation | last1=Tamagawa | first1=Tsuneo | title=Algebraic Groups and Discontinuous Subgroups | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Proc. Sympos. Pure Math. |mr=0212025 | year=1966 | volume=IX | chapter=Adèles | pages=113–121}} |
|||
*{{citation|first=V. E.|last= Voskresenskii|title=Algebraic Groups and their Birational Invariants|series= AMS translation|year= 1991}} |
*{{citation|first=V. E.|last= Voskresenskii|title=Algebraic Groups and their Birational Invariants|series= AMS translation|year= 1991}} |
||
*{{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Exp. No. 186, Adèles et groupes algébriques | url=http://www.numdam.org/item?id=SB_1958-1960__5__249_0 | series=Séminaire Bourbaki | year=1959 | volume=5 | pages=249–257}} |
*{{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Exp. No. 186, Adèles et groupes algébriques | url=http://www.numdam.org/item?id=SB_1958-1960__5__249_0 | series=Séminaire Bourbaki | year=1959 | volume=5 | pages=249–257}} |
||
*{{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Adeles and algebraic groups | |
*{{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Adeles and algebraic groups | orig-year=1961 | url=https://books.google.com/books?id=vQvvAAAAMAAJ | publisher=Birkhäuser Boston | location=Boston, MA | series=Progress in Mathematics | isbn=978-3-7643-3092-7 |mr=670072 | year=1982 | volume=23}} |
||
== Further reading == |
|||
*Aravind Asok, Brent Doran and Frances Kirwan, [https://arxiv.org/abs/0801.4733 "Yang-Mills theory and Tamagawa Numbers: the fascination of unexpected links in mathematics"], February 22, 2013 |
|||
*J. Lurie, [https://www.cornell.edu/video/jacob-lurie-the-siegel-mass-formula The Siegel Mass Formula, Tamagawa Numbers, and Nonabelian Poincaré Duality] posted June 8, 2012. |
|||
[[Category:Conjectures]] |
[[Category:Conjectures]] |
||
[[Category:Theorems in |
[[Category:Theorems in group theory]] |
||
[[Category:Algebraic groups]] |
[[Category:Algebraic groups]] |
||
[[Category:Diophantine geometry]] |
[[Category:Diophantine geometry]] |
Latest revision as of 18:22, 3 December 2024
In mathematics, the Weil conjecture on Tamagawa numbers is the statement that the Tamagawa number of a simply connected simple algebraic group defined over a number field is 1. In this case, simply connected means "not having a proper algebraic covering" in the algebraic group theory sense, which is not always the topologists' meaning.
History
[edit]Weil (1959) calculated the Tamagawa number in many cases of classical groups and observed that it is an integer in all considered cases and that it was equal to 1 in the cases when the group is simply connected. The first observation does not hold for all groups: Ono (1963) found examples where the Tamagawa numbers are not integers. The second observation, that the Tamagawa numbers of simply connected semisimple groups seem to be 1, became known as the Weil conjecture.
Robert Langlands (1966) introduced harmonic analysis methods to show it for Chevalley groups. K. F. Lai (1980) extended the class of known cases to quasisplit reductive groups. Kottwitz (1988) proved it for all groups satisfying the Hasse principle, which at the time was known for all groups without E8 factors. V. I. Chernousov (1989) removed this restriction, by proving the Hasse principle for the resistant E8 case (see strong approximation in algebraic groups), thus completing the proof of Weil's conjecture. In 2011, Jacob Lurie and Dennis Gaitsgory announced a proof of the conjecture for algebraic groups over function fields over finite fields,[1] formally published in Gaitsgory & Lurie (2019), and a future proof using a version of the Grothendieck-Lefschetz trace formula will be published in a second volume.
Applications
[edit]Ono (1965) used the Weil conjecture to calculate the Tamagawa numbers of all semisimple algebraic groups.
For spin groups, the conjecture implies the known Smith–Minkowski–Siegel mass formula.[1]
See also
[edit]References
[edit]- ^ a b Lurie 2014.
- "Tamagawa number", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Chernousov, V. I. (1989), "The Hasse principle for groups of type E8", Soviet Math. Dokl., 39: 592–596, MR 1014762
- Gaitsgory, Dennis; Lurie, Jacob (2019), Weil's Conjecture for Function Fields (Volume I), Annals of Mathematics Studies, vol. 199, Princeton: Princeton University Press, pp. viii, 311, ISBN 978-0-691-18213-1, MR 3887650, Zbl 1439.14006
- Kottwitz, Robert E. (1988), "Tamagawa numbers", Ann. of Math., 2, 127 (3), Annals of Mathematics: 629–646, doi:10.2307/2007007, JSTOR 2007007, MR 0942522.
- Lai, K. F. (1980), "Tamagawa number of reductive algebraic groups", Compositio Mathematica, 41 (2): 153–188, MR 0581580
- Langlands, R. P. (1966), "The volume of the fundamental domain for some arithmetical subgroups of Chevalley groups", Algebraic Groups and Discontinuous Subgroups, Proc. Sympos. Pure Math., Providence, R.I.: Amer. Math. Soc., pp. 143–148, MR 0213362
- Lurie, Jacob (2014), Tamagawa Numbers via Nonabelian Poincaré Duality
- Ono, Takashi (1963), "On the Tamagawa number of algebraic tori", Annals of Mathematics, Second Series, 78 (1): 47–73, doi:10.2307/1970502, ISSN 0003-486X, JSTOR 1970502, MR 0156851
- Ono, Takashi (1965), "On the relative theory of Tamagawa numbers", Annals of Mathematics, Second Series, 82 (1): 88–111, doi:10.2307/1970563, ISSN 0003-486X, JSTOR 1970563, MR 0177991
- Tamagawa, Tsuneo (1966), "Adèles", Algebraic Groups and Discontinuous Subgroups, Proc. Sympos. Pure Math., vol. IX, Providence, R.I.: American Mathematical Society, pp. 113–121, MR 0212025
- Voskresenskii, V. E. (1991), Algebraic Groups and their Birational Invariants, AMS translation
- Weil, André (1959), Exp. No. 186, Adèles et groupes algébriques, Séminaire Bourbaki, vol. 5, pp. 249–257
- Weil, André (1982) [1961], Adeles and algebraic groups, Progress in Mathematics, vol. 23, Boston, MA: Birkhäuser Boston, ISBN 978-3-7643-3092-7, MR 0670072
Further reading
[edit]- Aravind Asok, Brent Doran and Frances Kirwan, "Yang-Mills theory and Tamagawa Numbers: the fascination of unexpected links in mathematics", February 22, 2013
- J. Lurie, The Siegel Mass Formula, Tamagawa Numbers, and Nonabelian Poincaré Duality posted June 8, 2012.