アルティンのL-函数
原文と比べた結果、この記事には多数の︵または内容の大部分に影響ある︶誤訳があることが判明しています。情報の利用には注意してください。 |
定義
編集
Kを代数体とし、GをKの有限次ガロア拡大Lのガロア群とする。有限次元複素ベクトル空間V上のGの表現 ρ にたいし、アルティンの L-函数は次のオイラー積により定義される。
Kの整数環の素イデアルpがLで不分岐であるとき︵これは有限個の素イデアルを除いてなりたつ条件である︶、Gの共役類としてフロベニウス共役類 Frobp が定義され、ρ(Frobp) の一つの元の固有多項式は共役類に対してwell-definedである。従って
もフロベニウス共役類の元のえらびかたによらず定まるtについての有理函数であり、sを複素数として t = N (p)-s としたものがpにおけるオイラー因子である。︵ここで N(p) はpでの剰余体の元の個数をあらわす。︶
pがLで分岐する場合、pでの惰性群Iにより固定されるVの部分空間にたいして同様の構成をおこなったものが、分岐する素点pでのオイラー因子となる。[note 1]。
アルティンのL-函数
は、これらのオイラー因子をすべての素イデアルpについて無限積をとったものである。アルティンの相互法則によれば、Gがアーベル群のときこれらの L-函数は第二の記述を持つ︵Kが有理数体のときはディリクレのL-函数として、一般にはヘッケのL-函数として︶。非アーベル群Gとその表現にたいしアルティン L-函数はあらたな対象である。
ひとつの応用として、有理数体上のガロア拡大の場合のように、デデキントゼータ函数の分解を与えることがある。既約表現へ正則表現を分解することに応じ、そのようなゼータ函数は、Gの各々の既約表現に対応するアルティンのL-函数の積へと分解する。例えば、最も単純な例として、Gが3文字の対称群の場合を考える。Gが次数2の既約表現を持っているので、その表現のアルティンのL-函数は二次となり、考えている代数体のデデキントのゼータ函数を、︵自明表現に対する︶リーマンのゼータ函数と符号表現に対するディリクレの
-函数への分解を起こす。
函数等式
編集
アルティンのL-函数 L(ρ,s) は L(ρ*, 1 − s) との函数等式を満たす。ここで ρ* は ρ の複素共役表現︵反傾表現︶を表すとする。さらに詳しくは、Lを Λ(ρ, s) へと置き換える。ここに Λ はL-函数にあるガンマ要素をかけた函数である.絶対値1のある複素数 W(ρ) をもつ有理型函数の等式
Λ(ρ, s) = W(ρ)Λ(ρ*, 1 − s)
が成り立つ。W(ρ) がアルティンのルートナンバーである。これは2つの性質に関して深く研究されている。第一の性質は、ラングランズとドリーニュにより確立されたラングランズ・ドリーニュの局所定数(Langlands–Deligne local constant)への分解である。これは保型表現との関係を予想するために重要である。また、ρ と ρ* が同値表現(equivalent representation)である場合は、まさに函数等式が両辺で同じになる。代数的に言うと、このことは ρ が実表現(real representation)もしくは四元数表現(quaternionic representation)の場合である。従って、アルティンの根の数は +1 かまたは −1 である。符号がどうなるかという問題は、ガロア加群の理論に繋がっている(Perlis 2001)。
アルティン予想
編集
アルティン予想とは、非自明な既約表現 ρ にたいしアルティン L-函数 L(ρ,s) は全複素平面上で解析的である、という予想である[1]。
この予想は、ρ が1次元、つまりヘッケ指標に付随する L-函数やディリクレのL-函数に対しては成り立つ[1]。より一般的に、アルティンは、ρ が1次元表現から誘導される場合についてはこの予想が正しいことを示した。したがってガロア群が超可解群(supersolvable)であれば、すべての表現に対してアルティンの予想が成り立つ。
アンドレ・ヴェイユ(André Weil)は、函数体の場合にアルティンの予想が成り立つことを証明した。
2次元表現の射影像︵射影一般線形群への自然な像︶は巡回群、二面体群、四面体群、八面体群、二十面体群のいずれかで、このうち巡回群、二面体群の場合にはアルティン予想はヘッケの仕事から従う。ラングランズはベースチェンジ(base change lifting)の方法を使い四面体群の場合を証明し、タネル(Tunnell)は彼の仕事を拡張し八面体群の場合も証明した。ワイルズ(Wiles)は谷山志村予想を証明するため、これらの結果を使った。リチャード・テイラー(Richard Taylor)ほかは、︵非可解な︶八面体の場合についていくつかの点で前進をさせた。現在、いくつかの研究が進行中である。
誘導指標のブラウアーの定理によると、すべてのアルティンのL-函数はヘッケのL-函数の正と負の整数べきの積であることがしたがい、このことからアルティン L-函数は全複素平面上で有理型であることになる。
Langlands (1970)は、アルティン予想をラングランズ哲学において GL(n) の保型表現の L-函数にむすびつける事により証明できることを指摘した。さらに詳しくは、ラングランズ予想はアデール群GLn(AQ) のカスプ表現をガロア群の n-次元既約表現へ結びつける。ここで対応するガロア表現のアルティンのL-函数と保型表現のL-函数は同じものとなり、アルティン予想は保型的なカスプ表現のL-函数は正則であるという既に知られている事実から従う。このことはラングランズの仕事の主要な動機のひとつであった。
関連項目
編集- 同変L-函数(Equivariant L-function)
脚注
編集- ^ より正確には V の余不変商、つまり I により固定された最大の商空間を考えると言った方がよいが、ここでの結果は変わらない。ハッセ・ヴェイユのL-函数でもこのことは同様。
参考文献
編集- Artin, E. (1923). “Über eine neue Art von L Reihen”. Hamb. Math. Abh. 3. Reprinted in his collected works, ISBN 0-387-90686-X. English translation in Artin L-Functions: A Historical Approach by N. Snyder.
- Artin, Emil (1930), “Zur Theorie der L-Reihen mit allgemeinen Gruppencharakteren.” (German), Abhandlungen Hamburg 8: 292–306, doi:10.1007/BF02941010, JFM 56.0173.02
- Tunnell, Jerrold (1981). “Artin's conjecture for representations of octahedral type”. Bull. Amer. Math. Soc.. N. S. 5 (2): 173–175. doi:10.1090/S0273-0979-1981-14936-3.
- Gelbart, Stephen (1977). “Automorphic forms and Artin's conjecture”. Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn., Bonn, 1976). Lecture Notes in Math.. 627. Berlin: Springer. pp. 241–276
- Langlands, Robert (1967), Letter to Prof. Weil
- Langlands, R. P. (1970), “Problems in the theory of automorphic forms”, Lectures in modern analysis and applications, III, Lecture Notes in Math, 170, Berlin, New York: Springer-Verlag, pp. 18–61, doi:10.1007/BFb0079065, ISBN 978-3-540-05284-5, MR0302614
- Martinet, J. (1977), “Character theory and Artin L-functions”, in Fröhlich, A., Algebraic Number Fields, Proc. Symp. London Math. Soc., Univ. Durham 1975, Academic Press, pp. 1-87, ISBN 0-12-268960-7, Zbl 0359.12015
外部リンク
編集- Perlis, R. (2001), “Artin root numbers”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4