Jump to content

Weil's conjecture on Tamagawa numbers: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m Slawekb moved page Weil conjecture on Tamagawa numbers to Weil's conjecture on Tamagawa numbers over redirect: More natural title
Jayy V (talk | contribs)
mNo edit summary
 
(24 intermediate revisions by 15 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]] τ(''G'') of a simply connected simple [[algebraic group]] defined over a number field is 1. {{harvs|txt|authorlink=André Weil|last=Weil|year=1959}} did not explicitly conjecture this, but calculated the Tamagawa number in many cases and observed that in the cases he calculated it was an integer, and equal to 1 when the group is simply connected. The first observation does not hold for all groups: {{harvtxt|Ono|1963}} found some examples whose 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. Several authors checked this in many cases, and finally [[Robert Kottwitz|Kottwitz]] proved it for all groups in 1988.
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]].

{{harvtxt|Ono|1965}} used the Weil conjecture to calculate the Tamagawa numbers of all semisimple algebraic groups.

Tamagawa numbers were introduced by {{harvs|txt|authorlink=Tsuneo Tamagawa|last=Tamagawa|year=1966}}, and named after him by {{harvtxt|Weil|1959}}.

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==

Let ''k'' be a global field, ''A'' its ring of adeles, and ''G'' an algebraic group defined over ''k''.
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'').


==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.


[[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.
Weil checked this in enough [[classical group]] cases to propose the conjecture. In particular for [[spin group]]s it implies the known [[Smith–Minkowski–Siegel mass formula]].


==Applications==
[[Robert Langlands]] (1966) introduced [[harmonic analysis]] methods to show it for [[Chevalley group]]s. J. G. M. Mars gave further results during the 1960s.
{{harvtxt|Ono|1965}} used the Weil conjecture to calculate the Tamagawa numbers of all semisimple algebraic groups.


For [[spin group]]s, the conjecture implies the known [[Smith–Minkowski–Siegel mass formula]].{{sfn|Lurie|2014}}
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.{{harvtxt|Lurie|2011}} {{harvtxt|Lurie|2014}}


==See also==
==See also==
*[[Ran space]]
*[[Tamagawa number]]


==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. of Math. (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 | authorlink=Takashi Ono (mathematician) | title=On the Tamagawa number of algebraic tori | url=http://www.jstor.org/stable/1970502 |mr=0156851 | year=1963 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=78 | pages=47–73 | doi=10.2307/1970502}}
*{{Citation | last1=Ono | first1=Takashi | title=On the relative theory of Tamagawa numbers | url=http://www.jstor.org/stable/1970563 |mr=0177991 | year=1965 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=82 | pages=88–111 | doi=10.2307/1970563}}
*{{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=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 | 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 | origyear=1961 | url=http://books.google.com/books/about/Adeles_and_algebraic_groups.html?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=2011 | url=http://people.mpim-bonn.mpg.de/teichner/Older/FRG-3.html }}
*{{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 }}


== Further reading ==
== Further reading ==
*Aravind Asok, Brent Doran and Frances Kirwan, [http://arxiv.org/pdf/0801.4733v1.pdf "Yang-Mills theory and Tamagawa Numbers: the fascination of unexpected links in mathematics"], February 22, 2013
*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, [http://www.cornell.edu/video/jacob-lurie-the-siegel-mass-formula The Siegel Mass Formula, Tamagawa Numbers, and Nonabelian Poincaré Duality] posted June 8, 2012.
*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 algebra]]
[[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]
  • "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]