2つの定義の間の関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/21 21:24 UTC 版)
イデアルでの定義はイデール的な定義よりも非常に複雑で、ヘッケの定義したことの動機は、(ヘッケのL-函数と呼ばれる)L-函数の構成にあった。 ヘッケのL-函数はディリクレのL-函数の考えを、有理数から他の代数体へ拡張したものである。ヘッケ指標 χ に対し、ヘッケ指標のL-函数は、次のディリクレ級数として定義される。 ∑ ( I , m ) = 1 χ ( I ) N ( I ) − s = L ( s , χ ) {\displaystyle \sum _{(I,m)=1}\chi (I)N(I)^{-s}=L(s,\chi )\,} の和は、ヘッケ指標のモジュラス m と素な整数イデアルを渡る。記号 N(I) はイデアルノルム(英語版)(ideal norm)を意味する。部分群 Pm 上のヘッケ指標の振る舞いを統制する共通の実数部の条件は、ディリクレ級数がある適切な半平面の領域で絶対収束することを意味している。ヘッケはこれらのL-函数が全複素平面へ有理型接続を持ち、指標が自明であるときには s = 1 でオーダー 1 である極を持ち、それ以外では解析的であることを証明した。原始ヘッケ指標(原始ディリクレ指標に同じ方法である modulus に相対的に定義された)に対し、ヘッケは、これらのL-函数が指標の L-函数の函数等式を満たし、L-函数の複素共役指標であることを示した。 主イデアル上の座と、無限での座を含む全ての例外有限集合の上で 1 である単円の上への写像を取ることで、イデール類群の指標 ψ を考える。すると、ψ はイデアル群 IS の指標 χ を生成し、イデアル群は S 上に入らない素イデアル上の自由アーベル群となる。 S に入らない各々の素イデアル p の統一された元 π を取り、各々の p を、p の中では π であり、そうでない場合は 1 であるようなイデールのクラスへ写すことにより、IS からイデアル類への写像 Π を定義することができる。χ を Π と ψ の合成とすると、χ はイデアル群上の指標としてうまく定義できる。 逆の方向では、IS の許容(admissible)指標 χ が与えられると、一意にイデール類群 ψ が対応する。 ここの許容とは、集合 S を基礎とする modulus m が存在し、指標 χ が 1 mod m であるイデアル上で 1 となることを言う。 指標が大きいということは、指標が有限オーダーのタイプではないことを意味する無限タイプであるということである。有限オーダーのヘッケ指標は、ある意味で、すべて類体論により考慮されていて、それらの L-函数はアルティンのL-函数によりアルティン相互法則として示されている。しかし、ガウス体(英語版)(Gaussian field)と同じくらい単純な体でさえ、重要な方法で有限のオーダーを超えたヘッケ指標を持っている(以下の例を参照)。後日の虚数乗法論の発達では、大きな指標の固有な座の存在が、代数多様体の、(ひいては、モチーフの)重要なクラスのハッセ・ヴェイユのL-函数を提供することになることを示していた。
※この「2つの定義の間の関係」の解説は、「ヘッケ指標」の解説の一部です。
「2つの定義の間の関係」を含む「ヘッケ指標」の記事については、「ヘッケ指標」の概要を参照ください。
- 2つの定義の間の関係のページへのリンク