アデール環のソースを表示

'''アデール環'''(adele ring) （単にアデールと呼ぶ事もある）とは、[[有理数]]の[[可換体|体]]（あるいはより一般的な任意の[[代数体]]）の上に構成された自己双対な[[位相環]]であり、整数論における基本的な対象である。アデール環は有理数体の全ての完備化の情報をもっている。

アデール環は、はじめ[[類体論]]の簡素化と明確化のために[[クロード・シュヴァレー]](Claude Chevalley)により導入されたが、現代の整数論では欠かせない概念となっている。

アデール環の乗法群を代数体の乗法で割ってできる群は類体論において中心的な対象である。また多項式の有理数解を研究する{{仮リンク|ディオファントス幾何学|en|Diophantine geometry}}(Diophantine geometry)において、まず有理数体をふくむ完備なアデール環において解を発見し、それが実際に有理数体における解となるかを決定するという手法をとることもある。

「アデール」という用語は、「additive idèle」（加法的な[[イデール]]）を短くしたものであり<ref name=N357>Neukirch (1999) p. 357.</ref>、[[アンドレ・ヴェイユ]](André Weil)により導入された。それ以前の名前は「'''付値ベクトル'''(the valuation vectors)」であった。歴史的には、完備化を使わず定義された'''再部分化の環'''(the ring of repartitions)（現在は'''プレ-アデール'''(pre-adèle)と呼ばれることもある）がはじめに考えられ、その後アデールが定義された。

== 定義 ==
整数の[[射有限群#射有限完備化|射有限完備化]] <math>\widehat{\mathbb{Z}}</math> は、環 <math>\mathbb{Z} / n \mathbb{Z}</math> の[[逆極限]]
:<math> \widehat{\mathbb{Z}} = \varprojlim \,\mathbb{Z}/n\mathbb{Z} </math>
である。[[中国の剰余定理]]により、これは全ての[[p-進数|p-進整数]]環の積に同型である。
:<math> \widehat{\mathbb{Z}} = \prod_{p} \mathbb{Z}_p. </math>

'''整アデールの環'''(ring of integral adeles) '''A'''<sub>'''Z'''</sub> は、積
:<math>  \mathbb{A}_\mathbb{Z} = \mathbb{R} \times \widehat{\mathbb{Z}}</math>
である。

'''有理アデールの環'''(ring of rational adeles) '''A'''<sub>'''Q'''</sub> は[[テンソル積]]
:<math>  \mathbb{A}_\mathbb{Q} =\mathbb{Q}\otimes_\mathbb Z \mathbb{A}_\mathbb{Z} </math>
である（'''A'''<sub>'''Z'''</sub> が開いた環となるような位相を入れる）。

さらに一般的な任意の代数体 F のアデールの環 '''A'''<sub>F</sub> はテンソル積
:<math>  \mathbb{A}_F =F\otimes_\mathbb Z \mathbb{A}_\mathbb{Z}</math>
である（'''A'''<sub>'''Q'''</sub> の <math>\deg(F)</math> 個のコピーの積として位相を入れる）。

（有理）アデール環は、全ての[[p-進数|p-進完備化]] '''Q'''<sub>p</sub> と[[実数]]（もしくは、言い換えると、有理数の全ての完備化）の{{仮リンク|制限直積|en|restricted product}}(restricted product)
:<math>  \mathbb{A}_\mathbb{Q} = \mathbb{R} \times {\prod_{p}}' \mathbb{Q}_p </math>
として定義することができる。この場合、制限直積とは、アデール (''a''<sub>&infin;</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>, ''a''<sub>5</sub>, …) について、有限個を除いて a<sub>p</sub> が[[p-進数|p-進整数]]となっていることを言う。<ref name=N357/>

有限体の[[代数多様体の函数体|函数体]]のアデールは、同じような方法で定義することができ、全ての完備化の制限直積として定義される。

==性質==
アデール環は、上で定めた位相に関して[[局所コンパクト空間|局所コンパクト]]で完備な[[群 (数学)|群]]である。この群は、その指標群に位相群として同型であるという意味で、自己双対である。アデール環は、数体や函数体を離散的{{仮リンク|余コンパクト|en|co-compact}}(co-compact)な部分群として持っている。同様に、イデールと呼ばれるアデールの乗法群も、以下に定義するトポロジーに関して局所コンパクトである。

==イデール群==
アデール環の可逆元の群を'''[[イデール群]]'''(idele group, idèle group)と言う<ref name=N357/><ref>William Stein, [http://wstein.org/129/lectures/day23-24/day23.pdf "Algebraic Number Theory"], May 4, 2004, p. 5.</ref>。イデールの概念はイデアルの修正であって、シュヴァレー (Chevalley) によって導入され、"ideal element"（略して "id. el."）と名前を付けた<ref name=N357/>。ここでイデールはアデールの部分集合であるが、イデールの位相はアデールの位相の制限位相ではない。なぜなら逆元を求める写像はこの位相で連続でなくなる。代わりに、イデールは xy = 1 である全てのペア (x, y) ∈ A × A からなる閉部分集合に誘導位相を入れたものと同一視される。イデール群は、局所整な単元の部分群に関して局所体の単数群の{{仮リンク|制限直積|en|restricted product}}(restricted product)として実現される<ref>Neukirch (1999) pp. 357–358.</ref>。イデールは局所コンパクトな位相群をなす<ref name=N361>Neukirch (1999) p. 361.</ref>。

'''主イデール'''(principal idele)は、数体や函数体の可逆元の対角埋め込みによって与えられ、主イデールによるイデール群の商は、'''イデール類群'''(idele class group)である。<ref>Neukirch (1999) pp. 358–359.</ref> これは[[類体論]]の重要な対象で、体のアーベル拡大を記述する。{{仮リンク|局所類体論|en|local class field theory}}(local class field theory)の局所相互写像の積は、数体と函数体の最大アーベル拡大のガロア群へイデール群からの準同型を与える。ガウスの二次相互法則を高度に一般化した[[アルティン相互法則]]は、この積が数体の乗法群上では 0 となることをいっている。このようにして、イデール類群から体の[[絶対ガロア群]]のアーベル的な部分への大域相互法則が得られる。<ref>{{cite book | first1=Henri | last1=Cohen | author1-link=Henri Cohen (number theorist) | first2=Peter | last2=Stevenhagen | chapter=Computational class field theory | pages=497–534 | editor1-first=J.P. | editor1-last=Buhler | editor2-first=Stevenhagen | editor2-last=P. | title=Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography | series=MSRI Publications | volume=44 | publisher=[[Cambridge University Press]] | year=2008 | isbn=978-0-521-20833-8 | zbl=1177.11095 }}</ref>

==応用==
有限体上の曲線の函数体のアデールの自己双対性から曲線の[[リーマン・ロッホの定理]]や曲線の双対理論がみちびかれる。

アデールは局所コンパクトアーベル群であるから、非自明な変換不変測度を持っている。同様に、イデール群も非自明な変換不変測度を持っていて、ゼータ積分を定義することに使える。ゼータ積分は[[岩澤健吉]]と[[ジョン・テイト]](John Tate)の論文で明確に導入された。ゼータ積分は数体や函数体のゼータ函数のいくつかの重要な性質を研究することを可能とする。その美しく簡潔な方法は、有理型函数の函数等式をアデールの[[調和解析]]と自己双対性の単純な応用へと還元する方法である。[[テイト論文]]を参照。<ref name=N503>Neukirch (1999) p. 503</ref>

[[代数群]]の理論と結合した環 A は[[アデール的代数群]]を導く。有限体上の滑らかな曲線の函数体に対し、そのアデール環の乗法群（つまり、GL(1)）の曲線の函数体の乗法群と整アデールの単数群による商は、すなわち、局所的に整である成分を持つアデールは、曲線のラインバンドルの同型群と同型である。このように、アデール環は幾何学的な情報を持っている。[[アンドレ・ヴェイユ]](André Weil)が既に指摘したことであるが、これを GL(n) について同様の構成を行うと曲線上の階数 n のベクトルバンドルの同型類全体のなす集合と同型となる。

数論の他の重要な対象として、アデール的 GL(n) の保型表現があり、GL(n) による商の上の二乗可積分複素数値函数の空間の構成要素となっている。これらは、[[ラングランズ・プログラム]]で中心的な役割を果たし、体のガロア群の有限次表現の研究となり、類体論の非可換拡大の研究のひとつとなっている。

この理論の別の発展は、アデール的線型代数群の{{仮リンク|玉河数|redirect=1|en|Tamagawa number}}(Tamagawa number)に関連している。玉河数は、G('''Q''') を G(A) へ関連付ける体積測度で、言わば、どのようにして G(A) の中の[[離散群]]である G('''Q''') を G(''A'') の中にあるのかということを測る数値である。{{仮リンク|玉河数についてのヴェイユの予想|en|Weil conjecture on Tamagawa numbers}}(Weil conjecture on Tamagawa numbers)は、[[単連結]]な G に対して玉河数は常に 1 であろうという予想であった。この予想はヴェイユの現代的な[[二次形式]]の理論の扱いから来ている。証明は場合によって異なり、数十年を要し、最終的には1988年{{仮リンク|ロバート・コットウィッツ|en|Robert Kottwitz}}(Robert Kottwitz)、1989年の V. I. チェルノウソフ(V. I. Chernousov)により得られた。玉河数の考え方の影響は、[[バーチ・スウィンナートン＝ダイアー予想]]の定式化の中で使うことを通して、また、{{仮リンク|スペンサー・ブロッホ|en|Spencer Bloch}}(Spencer Bloch)や[[加藤和也 (数学者)|加藤和也]]や他の多くの数学者によって開拓された玉河数予想を通して、[[アーベル多様体]]の数論の中に生きている。
<!--Another development of the theory is related to the [[Tamagawa number]] for an adelic linear algebraic group. This is a volume measure relating ''G''('''Q''') with ''G''(''A''), saying how ''G''('''Q'''), which is a [[discrete group]] in ''G''(''A''), lies in the latter. A [[Weil conjecture on Tamagawa numbers|conjecture of André Weil]] was that the Tamagawa number was always 1 for a [[simply connected]] ''G''. This arose out of Weil's modern treatment of results in the theory of [[quadratic form]]s; the proof was case-by-case and took decades, the final steps were taken by [[Robert Kottwitz]] in 1988 and [[V. I. Chernousov]] in 1989. The influence of the Tamagawa number idea was felt in the theory of arithmetic of [[abelian varieties]] through its use in the statement of  the [[Birch and Swinnerton-Dyer conjecture]], and through the Tamagawa number conjecture developed by [[Spencer Bloch]], [[Kazuya Kato]] and many other mathematicians.-->

==参照項目==
*{{仮リンク|シュヴァルツ・ブリュア函数|en|Schwartz–Bruhat function}}(Schwartz–Bruhat function)

==脚注==
<references />

==参考文献==
ほとんどの現代の数論の書籍が参考文献となる。
*{{Citation | last1=Fröhlich | first1=A. | author1-link=Albrecht Fröhlich | last2=Cassels | first2=J. W. | author2-link=J. W. S. Cassels | title=Algebraic number theory | publisher=[[Academic Press]] | location=London and New York | isbn=978-0-12-163251-9 | year=1967 | zbl=0153.07403 }}
*{{Citation | last=Lang | first=Serge | author-link=Serge Lang | title=Algebraic number theory | edition=2nd | publisher=[[Springer-Verlag]] | year=1994 | series=[[Graduate Texts in Mathematics]] | volume=110 | place=New York | isbn=978-0-387-94225-4 | mr=1282723 | zbl=0811.11001 }}
*{{Neukirch ANT}}

{{デフォルトソート:あてえるかん}}
[[Category:数論]]
[[Category:数学に関する記事]]