Jump to content

Weil's conjecture on Tamagawa numbers: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
include mentioning the latest contribution by Gaitsgory & Lurie (2019) on the subject
Jayy V (talk | contribs)
mNo edit summary
 
(6 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{short description|Conjecture in algebraic geometry}}
{{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 the [[simply connected space|topologists' meaning]].
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]].


==History==
==History==
{{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.
{{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}} 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 fields,{{sfn|Lurie|2014}} formally published in {{harvtxt|Gaitsgory|Lurie|2019}}, and a future volume using a version of the Grothendieck-Lefschetz trace formula will be published in a second volume.
[[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.


==Applications==
==Applications==
Line 19: Line 19:
*{{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. 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= 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. |title=Tamagawa number of reductive algebraic groups|journal= Compositio Mathematica|volume= 41 |issue= 2 |year=1980|pages= 153–188 |url= http://www.numdam.org/item?id=CM_1980__41_2_153_0|mr=581580}}
*{{citation|last=Lai|first= K. F. |title=Tamagawa number of reductive algebraic groups|journal= Compositio Mathematica|volume= 41 |issue= 2 |year=1980|pages= 153–188 |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 | 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=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=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=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 }}
Line 28: Line 30:
*{{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 | 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}}
*{{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}}
*{{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=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 |zbl=1439.14006 }}


== Further reading ==
== Further reading ==

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]
  • "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]