アデール的代数群
抽象代数学において,アデール的代数群(アデールてきだいすうぐん,英: adelic algebraic group)は数体 K 上の代数群 G と K のアデール環 A = A(K) によって定義される半位相群である.それは A に値を持つ G の点からなる;適切な位相の定義は G が線型代数群のときに限り簡単である.G がアーベル多様体のときにはそれは技術的な障害を表す.概念は潜在的には玉河数との関係で有用であることが知られてはいるが.アデール的代数群は数論において広く用いられ,特に保型表現論と二次形式の数論において用いられる.
G が線型代数群のとき,それはアファイン N-空間におけるアファイン代数多様体である.アデール的代数群 G(A) 上の位相はアデール環の N 個のコピーのデカルト積 AN の部分空間位相が取られる.
イデール
重要な例であるイデール群 (idele group) I(K) は G = GL1 の場合である.ここでイデール(idele あるいは idèle, /ɪˈdɛlz/)の集合は可逆なアデールの全体からなる;しかしイデール群の位相はアデールの部分集合としての位相ではない.そうではなく,GL1 が2次元アフィン空間において {(t, t−1)} によってパラメトリックに定義された'双曲線'として入っていると考えて,イデール群に正しく割り当てられた位相は A2 への包含から誘導されるものである;射影と合成して,イデールは A の部分空間位相よりも細かい位相を持っていることが従う.
AN の中に積 KN は離散部分群として入っている.これは G(K) が G(A) の離散部分群であることも意味する.イデール群の場合には,商群
- I(K)/K×
はイデール類群である.これはイデアル類群と密接に関係している(より大きいが).イデール類群はそれ自身はコンパクトではない;イデールはまずノルム 1 のイデールで置き換えられなければならず,するとイデール類群におけるそれらの像はコンパクト群である;これの証明は類数の有限性と本質的に同値である.
イデール類群のガロワコホモロジーの研究は類体論において中心的な事柄である.イデール類群の指標は,今では通常ヘッケ指標と呼ばれるが,L 関数の最も基本的なクラスを生じる.
玉河数
より一般の G に対して,玉河数は G(A)/G(K) の測度として定義される(あるいは間接的に計算される).
玉河恒夫の観察は K 上定義された G 上の不変微分形式 ω から始めて関係した測度が well-defined であるということだった:ω は c を K の非零元として cω に置き換えることもできるが,K の付値の積公式は,各有向因子上 ω から構成された積測度に対して,商の測度の c からの独立性を反映する.半単純群に対する玉河数の計算は古典的な二次形式の理論の重要な部分を含む.
用語の歴史
歴史的には idèle が テンプレート:Harvs によって "élément idéal"(フランス語で「理想元」)の名の下で導入され,Chevalley (1940) がハッセの提案に従って "idèle" に省略した.(これらの論文において彼はハウスドルフでない位相のイデールを与えることもした.)これは無限次拡大に対して位相群のことばで類体論を定式化するためであった.Weil (1938) は関数体の場合にアデールの環を定義し(たが名づけなかった),Idealelemente のシュバレーの群がこの環の可逆元の群であることを指摘した.Tate (1950) はアデールの環を制限直積として定義したが,彼はその元をアデールではなく "valuation vector" と呼んだ.
Chevalley (1951) は関数体の場合に "repartitions" の名の下でアデールの環を定義した.用語 adèle(additive idèle の省略で,フランス人女性の名前でもある)は,まもなくその後使われた {{#invoke:Footnotes | harvard_citation }}.アンドレ・ヴェイユが導入したのであろう.Ono (1957) によるアデール的代数群の一般的な構成はアルマン・ボレルとハリシュ・チャンドラによって基礎づけられた代数群の理論に続いた.
参考文献
- Chevalley, Claude (1936), “Généralisation de la théorie du corps de classes pour les extensions infinies.” (French), Journal de Mathématiques Pures et Appliquées 15: 359–371, JFM 62.1153.02
- Chevalley, Claude (1940), “La théorie du corps de classes”, Annals of Mathematics. Second Series 41: 394–418, ISSN 0003-486X, JSTOR 1969013, MR 0002357
- Chevalley, Claude (1951), Introduction to the Theory of Algebraic Functions of One Variable, Mathematical Surveys, No. VI, Providence, R.I.: American Mathematical Society, MR 0042164
- Jaffard, Paul (1953), Anneaux d'adèles (d'après Iwasawa), Séminaire Bourbaki,, Secrétariat mathématique, Paris, MR 0157859
- Ono, Takashi (1957), “Sur une propriété arithmétique des groupes algébriques commutatifs”, Bulletin de la Société Mathématique de France 85: 307–323, ISSN 0037-9484, MR 0094362
- Tate, John T. (1950), “Fourier analysis in number fields, and Hecke's zeta-functions”, Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965), Thompson, Washington, D.C., pp. 305–347, ISBN 978-0-9502734-2-6, MR 0217026
- Weil, André (1938), “Zur algebraischen Theorie der algebraischen Funktionen.” (German), Journal für Reine und Angewandte Mathematik 179: 129–133, doi:10.1515/crll.1938.179.129, ISSN 0075-4102