数論的ゼータ函数

数論的ゼータ函数

数論的ゼータ函数（Arithmetic Zeta Function）は、整数上の有限型スキームに関連したゼータ関数であり、リーマンゼータ関数やデデキントゼータ関数の一般化と位置付けられます。この関数は数論の基本的なお題の一つとされ、様々な数学的な概念に関連しています。

定義

数論的ゼータ函数 ζX(s) は、オイラー積に基づいて定義されます。具体的には、以下のように表現されます：

$$
egin{aligned}
ext{ζ}_{X}(s) &= ext{∏}_{x} rac{1}{1 - N(x)^{-s}} \\
ext{ N(x) はスキーム X の閉点に対する剰余体の個数を表します。}
ext{∏} は、スキーム X 上の全ての閉点 x に渡ってかけ算をします。
ext{また、剰余体が有限な点をも考慮します。}
ag{1}
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }

$$

例

具体例として、スキーム X が q 個の元を持つ有限体のスペクトルである場合、次のように表されます：

$$
ext{ζ}_{X}(s) = rac{1}{1 - q^{-s}} ag{2}
$$

さらに、X を整数の環のスペクトルとすると、そこから ζX(s) はリーマンゼータ函数に帰納的に対応します。また、代数体の整数のスペクトルを考慮すると、ζX(s) はデデキントゼータ函数として特定されます。

ゼータ函数の特殊な場合

アフィン空間および射影空間におけるゼータ函数は、それぞれ次のように定義されます：

$$
egin{aligned}
ext{ζ}_{ ext{A}^{n}(X)}(s) &= ext{ζ}_{X}(s - n) \\
ext{ζ}_{ ext{P}^{n}(X)}(s) &= ext{∏}_{i=0}^{n} ext{ζ}_{X}(s - i) ag{3}
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }

ext{ }

このような式は、特定の条件を持つ閉じた部分スキームと開いた部分スキームの合併が行われる場合にも成立します。特に、この関数は素数を指定とした場合、次のように表現されます：

$$
ext{ζ}_{X}(s) = ext{∏}_{p} ext{ζ}_{X_{p}}(s) ag{4}
$$

この表現はオイラー積と見做され、各々の要素はオイラー要素と称されます。

主要な予想

数論的ゼータ函数に関する正規なスキーム X の振る舞いについては、数多くの予想が立てられています。これらの予想は、多くの場合、オイラー・リーマン・デデキントゼータ函数に関連した1次元の定理を一般化したものです。特に、Z上のスキームが平坦である必要はありません。

有理型接続と函数等式

ハッセとヴェイユは、数論的ゼータ函数 ζX(s) の有理型接続の存在を予測し、特に、s → n - s という函数等式を満たすことを示しました。これは、Z上の平坦なスキームに対しても知られており、特定の条件下で有理型接続が成立します。

一般化されたリーマン予想

一般化リーマン予想では、ζX(s) の零点が特定のクリティカル帯に存在することが予想されています。この予測は、エミール・アルティンやハッセなどによって正の標数において証明されていますが、Z上の平坦なスキームに対しては未だ証明がなされていません。

極の位数

ゼータ函数の極の位数や留数は、数論的な不変量に関連付けられています。特に、s = n における極は既約成分の数と関係し、ジョン・テイトによる予測が広く知られています。

このように、数論的ゼータ函数は数論の様々な側面を理解するための重要な道具であり、その研究は今後さらに進展することが期待されています。

もう一度検索