|
|
| Line 1: |
Line 1: |
| {{for||Weil–Châtelet group|Mordell–Weil group|Weyl group}}
| | Hello and welcome. My title is Irwin and I completely dig that name. Bookkeeping is what I do. The preferred pastime for my kids and me is to play baseball but I haven't produced a dime with it. His family members life in South Dakota but his spouse wants them to transfer.<br><br>my page [http://richlinked.com/index.php?do=/profile-32092/info/ std testing at home] |
| In mathematics, a '''Weil group''', introduced by {{harvs|txt|authorlink=André Weil|last=Weil|year=1951}}, is a modification of the [[absolute Galois group]] of a [[local field|local]] or [[global field]], used in [[class field theory]]. For such a field ''F'', its Weil group is generally denoted ''W<sub>F</sub>''. There also exists "finite level" modifications of the Galois groups: if ''E''/''F'' is a [[finite extension]], then the '''relative Weil group''' of ''E''/''F'' is ''W<sub>E''/''F''</sub> = ''W<sub>F</sub>''/{{SubSup|''W''|''E''|''c''}} (where the superscript ''c'' denotes the [[commutator subgroup]]).
| |
| | |
| For more details about Weil groups see {{harv|Artin|Tate|2009}} or {{harv|Tate|1979}} or {{harv|Weil|1951}}.
| |
| | |
| ==Weil group of a class formation==
| |
| | |
| The '''Weil group''' of a [[class formation]] with fundamental classes ''u''<sub>''E''/''F''</sub> ∈ ''H''<sup>2</sup>(''E''/''F'', ''A''<sup>''F''</sup>) is a kind of modified Galois group, used in various formulations of class field theory, and in particular in the [[Langlands program]].
| |
| | |
| If ''E''/''F'' is a normal layer, then the (relative) Weil group ''W<sub>E''/''F''</sub> of ''E''/''F'' is the extension
| |
| :1 → ''A''<sup>''F''</sup> → ''W<sub>E''/''F''</sub> → Gal(''E''/''F'') → 1
| |
| corresponding (using the interpretation of elements in the second [[group cohomology]] as central extensions) to the fundamental class ''u''<sub>''E''/''F''</sub> in ''H''<sup>2</sup>(Gal(''E''/''F''), ''A''<sup>''F''</sup>). The Weil group of the whole formation is defined to be the inverse limit of the Weil groups of all the layers
| |
| ''G''/''F'', for ''F'' an open subgroup of ''G''.
| |
| | |
| The reciprocity map of the class formation (''G'', ''A'') induces an isomorphism from ''A<sup>G</sup>'' to the abelianization of the Weil group.
| |
| | |
| ==Weil group of an archimedean local field==
| |
| | |
| For archimedean local fields the Weil group is easy to describe: for '''C''' it is the group '''C'''<sup>×</sup> of non-zero complex numbers, and for '''R''' it is a non-split extension of the Galois group of order 2 by the group of non-zero complex numbers, and can be identified with the subgroup '''C'''<sup>×</sup> ∪ ''j'' '''C'''<sup>×</sup> of the non-zero quaternions.
| |
| | |
| ==Weil group of a finite field==
| |
| | |
| For finite fields the Weil group is [[infinite cyclic]]. A distinguished generator is provided by the [[Frobenius automorphism]]. Certain conventions on terminology, such as [[arithmetic Frobenius]], trace back to the fixing here of a generator (as the Frobenius or its inverse).
| |
| | |
| ==Weil group of a local field==
| |
| | |
| For local of characteristic ''p'' > 0, the Weil group is the subgroup of the absolute Galois group of elements that act as a power of the Frobenius automorphism on the constant field (the union of all finite subfields).
| |
| | |
| For ''p''-adic fields the Weil group is a dense subgroup of the absolute Galois group, consisting of all elements whose image in the Galois group of the residue field is an integral power of the Frobenius automorphism.
| |
| | |
| More specifically, in these cases, the Weil group does not have the subspace topology, but rather a finer topology. This topology is defined by giving the inertia subgroup its subspace topology and imposing that it be an open subgroup of the Weil group. (The resulting topology is "[[locally profinite group|locally profinite]]".)
| |
| | |
| ==Weil group of a function field==
| |
| | |
| For global fields of characteristic ''p''>0 (function fields), the Weil group is the subgroup of the absolute Galois group of elements that act as a power of the Frobenius automorphism on the constant field (the union of all finite subfields).
| |
| | |
| ==Weil group of a number field==
| |
| | |
| For number fields there is no known "natural" construction of the Weil group without using cocycles to construct the extension. The map from the Weil group to the Galois group is surjective, and its kernel is the connected component of the identity of the Weil group, which is quite complicated.
| |
| | |
| ==Weil–Deligne group==
| |
| | |
| The '''Weil–Deligne group scheme''' (or simply '''Weil–Deligne group''') ''W''′<sub>''K''</sub> of a non-archimedean local field, ''K'', is an extension of the Weil group ''W<sub>K</sub>'' by a one-dimensional additive group scheme ''G''<sub>''a''</sub>, introduced by {{harvtxt|Deligne|1973|loc=8.3.6}}. In this extension the Weil group acts on the
| |
| additive group by
| |
| :<math> \displaystyle wxw^{-1} = ||w||x</math>
| |
| where ''w'' acts on the residue field of order ''q'' as ''a''→''a''<sup>''q''<sup>||''w''||</sup></sup>.
| |
| | |
| The local Langlands correspondence for GL<sub>''n''</sub> over ''K'' (now proved) states that there is a natural bijection between isomorphism classes of irreducible admissible representations of GL<sub>''n''</sub>(''K'') and certain ''n''-dimensional representations of the Weil–Deligne group of ''K''.
| |
| | |
| The Weil–Deligne group often shows up through its representations. In such cases, the Weil–Deligne group is sometimes taken to be ''W<sub>K</sub>'' × ''SL''(2,'''C''') or ''W<sub>K</sub>'' × ''SU''(2,'''R'''), or is simply done away with and [[Weil–Deligne representation]]s of ''W<sub>K</sub>'' are used instead.<ref>{{harvnb|Rohrlich|1994}}</ref>
| |
| | |
| In the archimedean case, the Weil–Deligne group is simply defined to be Weil group.
| |
| | |
| ==<span id="Langlands group"></span>Langlands group==
| |
| [[Robert Langlands]] introduced a conjectural group ''L<sub>F</sub>'' attached to each local or global field ''F'', coined the '''Langlands group''' of ''F'' by [[Robert Kottwitz]], that satisfies properties similar to those of the Weil group. In Kottwitz's formulation, the Langlands group should be an extension of the Weil group by a compact group. When ''F'' is local, ''L<sub>F</sub>'' is the Weil–Deligne group of ''F'', but when ''F'' is global, the existence of ''L<sub>F</sub>'' is still conjectural. The Langlands correspondence for ''F'' is a "natural" bijection between the irreducible ''n''-dimensional complex representations of ''L<sub>F</sub>'' and, in the local case, the irreducible admissible representations of GL<sub>''n''</sub>(''F''), in the global case, the cuspidal automorphic representations of GL<sub>''n''</sub>('''A'''<sub>''F''</sub>), where '''A'''<sub>''F''</sub> denotes the [[adele ring|adele]]s of ''F''.<ref>{{harvnb|Kottwitz|1984|loc=§12}}</ref>
| |
| | |
| ==See also==
| |
| | |
| *[[Shafarevich–Weil theorem]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| | |
| *{{Citation | last1=Artin | first1=Emil | author1-link=Emil Artin | last2=Tate | first2=John | author2-link=John Tate | title=Class field theory | origyear=1952 | url=http://books.google.com/books?isbn=978-0-8218-4426-7 | publisher=AMS Chelsea Publishing, Providence, RI | isbn=978-0-8218-4426-7 | mr=0223335 | year=2009}}
| |
| *{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Modular functions of one variable, II (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972) | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture notes in mathematics | doi=10.1007/978-3-540-37855-6_7 | mr=0349635 | year=1973 | volume=349 | chapter=Les constantes des équations fonctionnelles des fonctions L | pages=501–597}}
| |
| *{{Citation
| |
| | last=Kottwitz
| |
| | first=Robert
| |
| | title=Stable trace formula: cuspidal tempered terms
| |
| | year=1984
| |
| | journal=Duke Mathematical Journal
| |
| | volume=51
| |
| | issue=3
| |
| | pages=611–650
| |
| | doi=10.1215/S0012-7094-84-05129-9
| |
| | mr=0757954
| |
| }}
| |
| *{{Citation
| |
| | last=Rohrlich
| |
| | first=David
| |
| | contribution=Elliptic curves and the Weil–Deligne group
| |
| | title=Elliptic curves and related topics
| |
| | editor-last=Kisilevsky
| |
| | editor-first=Hershey
| |
| | editor2-last=Murty
| |
| | editor2-first=M. Ram
| |
| | year=1994
| |
| | isbn=978-0-8218-6994-9
| |
| | volume=4
| |
| | series=CRM Proceedings and Lecture Notes
| |
| | publisher=[[American Mathematical Society]]
| |
| }}
| |
| *{{citation|last=Tate|first= J. |chapter=Number theoretic background |url=http://www.ams.org/online_bks/pspum332/ |title=Automorphic forms, representations, and L-functions Part 2, |pages= 3–26|series=Proc. Sympos. Pure Math.|volume= XXXIII|publisher= Amer. Math. Soc.|publication-place= Providence, R.I.|year=1979|isbn=0-8218-1435-4}}
| |
| * {{Citation | last1=Weil | first1=André | author1-link = André Weil | title=Sur la theorie du corps de classes (On class field theory) | year=1951 | journal=Journal of the Mathematical Society of Japan | issn=0025-5645 | volume=3 | pages=1–35 | doi=10.2969/jmsj/00310001}}, reprinted in volume I of his collected papers, ISBN 0-387-90330-5
| |
| | |
| [[Category:Class field theory]]
| |
Hello and welcome. My title is Irwin and I completely dig that name. Bookkeeping is what I do. The preferred pastime for my kids and me is to play baseball but I haven't produced a dime with it. His family members life in South Dakota but his spouse wants them to transfer.
my page std testing at home