原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳 があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。
数学におけるセルバーグクラス (Selberg class)とは、L-函数 のクラスの公理 的定義である。セルバーグクラスの元は、ディリクレ級数 であり、L-函数、あるいはゼータ函数 と共通に呼ばれる函数によって満たされる 4つの公理に従う。この 4つの公理は、これらの函数の本質的な性質を捉えていると思われる。このクラスの完全な性質は未だ予想にすぎないが、定義は保型形式 やリーマン予想 との関係に対して見方を与え、これらの分類と性質の説明を与えるのではないかと期待されている。このクラスは、アトル・セルバーグ (Atle Selberg) により (Selberg 1992 ) で定義された。
定義
セルバーグクラス S の定義は、 Re(s) > 1 で絶対収束するディリクレ級数
F
(
s
)
=
∑
n
=
1
∞
a
n
n
s
{\displaystyle F(s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}}
で、次の 4 つの公理を満たすもの全てと定義する。
解析性 : 函数 (s − 1)m F(s) は、ある非負な整数 m があり、有限のオーダー の整函数 である。
ラマヌジャン予想 : 任意の ε > 0; に対し、
a
1
=
1
{\displaystyle a_{1}=1}
であり、
a
n
≪
ϵ
n
ϵ
{\displaystyle a_{n}\ll _{\epsilon }n^{\epsilon }}
である。
函数等式 : 次の形のガンマ要素が存在する。
γ
(
s
)
=
e
i
ϕ
Q
s
∏
i
=
1
k
Γ
(
ω
i
s
+
μ
i
)
{\displaystyle \gamma (s)=e^{i\phi }Q^{s}\prod _{i=1}^{k}\Gamma (\omega _{i}s+\mu _{i})}
ここに、
ϕ
{\displaystyle \phi }
は実数であり、Q は実数で正、Γ はガンマ函数 、ω1 は実数で正、μi は非負な実部を持つ複素数で、函数
Φ
(
s
)
=
γ
(
s
)
F
(
s
)
{\displaystyle \Phi (s)=\gamma (s)F(s)\,}
は、
Φ
(
s
)
=
Φ
(
1
−
s
¯
)
¯
;
{\displaystyle \Phi (s)={\overline {\Phi (1-{\overline {s}})}};}
を満たす。
オイラー積 : F(s) は、次のように素数を渡る積として書くことができる。
F
(
s
)
=
∏
p
F
p
(
s
)
for Re
(
s
)
>
1
{\displaystyle F(s)=\prod _{p}F_{p}(s){\text{ for Re}}(s)>1\,}
ここに、
log
F
p
(
s
)
=
∑
n
=
0
∞
b
p
n
p
n
s
{\displaystyle \log F_{p}(s)=\sum _{n=0}^{\infty }{\frac {b_{p^{n}}}{p^{ns}}}}
であり、ある θ < 1/2 が存在して、
b
p
n
=
O
(
p
n
θ
)
{\displaystyle b_{p^{n}}=O(p^{n\theta })}
である。
定義へのコメント
μi が負のとき、リーマン予想 を満たさないような L-函数が知られているので、条件として μi の実部が非負であることを加えている。特に、例外固有値に関連付いているマースカスプ形式 (Maass cusp form)は、ラマヌジャン・ピーターソン予想 が成り立ち、函数等式を持つが、リーマン予想を満たさない。
θ < 1/2 という条件は重要である。θ = 1/2 の場合は、ディリクレのエータ函数 (英語版 ) (Dirichlet eta-function)があるが、リーマン予想が成立しない。[ 1]
条件 4 は、an が乗法的 であることを言っていて、
F
p
(
s
)
=
∑
n
=
0
∞
a
p
n
p
n
s
for Re
(
s
)
>
0
{\displaystyle F_{p}(s)=\sum _{n=0}^{\infty }{\frac {a_{p^{n}}}{p^{ns}}}{\text{ for Re}}(s)>0}
が成り立つ。
例
S の元の典型例は、リーマンゼータ函数 である[ 2] 。他の例は、モジュラ判別式 が Δ である L-函数
L
(
s
,
Δ
)
=
∑
n
=
1
∞
a
n
n
s
{\displaystyle L(s,\Delta )=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}}
である。ここに
a
n
=
τ
(
n
)
/
n
11
/
2
{\displaystyle a_{n}=\tau (n)/n^{11/2}}
とし、τ(n) はラマヌジャンのタウ函数 とする[ 3] 。加えて、F が S の元で、χ が原始ディリクレ指標 であれば、
F
χ
(
s
)
=
∑
n
=
1
∞
χ
(
n
)
a
n
n
s
{\displaystyle F^{\chi }(s)=\sum _{n=1}^{\infty }{\frac {\chi (n)a_{n}}{n^{s}}}}
で定義される Fχ も S の元である。
全ての知られている例は、保型形式のL-函数 (automorphic L-function)であり、Fp (s) の相反性(reciprocals)は有界な次数 p−s の多項式である[ 4] 。
基本的性質
リーマンゼータ函数がそうであるように、S の元 F はガンマ要素 γ(s) の極から発生する自明なゼロ点 を持つ。他のゼロ点は F の非自明なゼロ点 と呼ばれる。これらは全て、ある帯状領域 1 − A ≤ Re(s) ≤ A に位置する。F の非自明なゼロ点で 0 ≤ Im(s) ≤ T にあるものの数を NF (T) で表すとする[ 5] 。セルバーグは
N
F
(
T
)
=
d
F
T
log
(
T
+
C
)
2
π
+
O
(
log
T
)
.
{\displaystyle N_{F}(T)=d_{F}{\frac {T\log(T+C)}{2\pi }}+O(\log T).}
であることを示した。ここに dF は F の次数 (あるいは次元 )と呼ばれる。これは、
d
F
=
2
∑
i
=
1
k
ω
i
{\displaystyle d_{F}=2\sum _{i=1}^{k}\omega _{i}}
によりあたえられる[ 6] 。F = 1 は、その次数が 1 より小さな 唯一のS の函数である。
F と G がセルバーグクラスであれば、それらの積はセルバーグクラスであり
d
F
G
=
d
F
+
d
G
.
{\displaystyle d_{FG}=d_{F}+d_{G}.}
が成り立つ。S の函数 F ≠ 1 は、Fi が S に属すような F = F1 F2 と記述できるならいつでも F = F1 もしくは、F = F2 であるとき、函数が原始的' であるという。dF = 1 ならば、F は原始的である。すべての S の函数 F ≠ 1 は原始的な函数で記述できるである。次に示すセルバーグの予想は、原始函数への分解が一意的であることを意味する。
原始的函数の例として、リーマンゼータ函数や原始的なディリクレ指標を持つディリクレのL-函数 がある。下記の予想 1 と 2 を前提とすると、ラマヌジャン予想を満たす既約な カスプ的な 保型表現 のL-函数は、原始的である[ 7] 。
セルバーグの予想
(Selberg 1992 )でセルバーグは、S の函数に関連する予想を提出した。
予想 1: S の全ての F に対し、整数 nF が存在し、
∑
p
≤
x
|
a
p
|
2
p
=
n
F
log
log
x
+
O
(
1
)
{\displaystyle \sum _{p\leq x}{\frac {|a_{p}|^{2}}{p}}=n_{F}\log \log x+O(1)}
となり、F が原始的であれば、いつも nF = 1 であろう。
予想 2: 異なる原始的な F, F′ ∈ S に対し
∑
p
≤
x
a
p
a
p
′
p
=
O
(
1
)
{\displaystyle \sum _{p\leq x}{\frac {a_{p}a_{p}^{\prime }}{p}}=O(1)}
となるであろう。
F
=
∏
i
=
1
m
F
i
{\displaystyle F=\prod _{i=1}^{m}F_{i}}
が原始的な函数へと分解し、χ が原始的ディリクレ指標であれば、
F
χ
=
∏
i
=
1
m
F
i
χ
{\displaystyle F^{\chi }=\prod _{i=1}^{m}F_{i}^{\chi }}
となり、Fi χ は原始的であろう。
S に対するリーマン予想: S の全ての元 F に対し、F の非自明なゼロ点は全て直線 Re(s) = 1/2 の上にあるであろう。
予想の結果
予想 1 と 2 は、F が s = 1 で位数 m の極を持つと、F(s)/ζ(s)m は整函数であることを示唆している。特にこの結果は、デデキント予想[ 8] を含んでいる。
ラム・ムーティ (英語版 ) (M. Ram Murty)は (Murty 1994 ) で、予想 1 と 2 はアルティン予想 (Artin conjecture)を含むことを示した。実際、ムーティは、有理数の可解拡大 (solvable extension)のガロア群 に対応するアルティンのL-函数 が、ラングランズ予想 により予想されるように、保型表現 であることを示した[ 9] 。
S の函数は、素数定理 の類似をも満たす。F(s) は直線 Re(s) = 1 上のゼロ点を持たない。上記のように、予想 1 と 2 は S の中の函数の原始的な函数への一意的な分解を意味する。他の結果としては、F が原始的であれば、nF = 1 と同値である[ 10] 。
脚注
^ Conrey & Ghosh 1993 , §1
^ Lapidus, Michel Laurent (2008). In Search of the Riemann Zeros: Strings, Fractal Membranes and Noncommutative Spacetimes . American Mathematical Society . p. 389. ISBN 0821842226 . Zbl 1150.11003
^ Murty 2008
^ Murty 1994
^ 境界上にあるゼロ点は半分の重複度を数えるとする。
^ ωi は、F により一意に定義されるとは限らないが、セルバーグの結果は、この和がwell-definedであることを示している。
^ Murty 1994 , Lemma 4.2
^ デデキントの卓越した予想を立てた.
Q
{\displaystyle \mathbb {Q} }
の任意の代数拡大
F
{\displaystyle F}
に対し、ゼータ函数
ζ
F
(
s
)
{\displaystyle \zeta _{F}(s)}
はリーマンのゼータ函数
ζ
(
s
)
{\displaystyle \zeta (s)}
で割ることができる。つまり、商
ζ
F
(
s
)
/
ζ
(
s
)
{\displaystyle \zeta _{F}(s)/\zeta (s)}
は整函数となる。さらに一般的に、デデキント予想は、
K
{\displaystyle K}
が
F
{\displaystyle F}
の有限拡大であれば、
ζ
K
(
s
)
/
ζ
F
(
s
)
{\displaystyle \zeta _{K}(s)/\zeta _{F}(s)}
は整函数になるであろうという予想である。この予想は未だ解決されていない。
^ Murty 1994 , Theorem 4.3
^ Conrey & Ghosh 1993 , § 4
参考文献
Selberg, Atle (1992), “Old and new conjectures and results about a class of Dirichlet series”, Proceedings of the Amalfi Conference on Analytic Number Theory (Maiori, 1989) , Salerno: Univ. Salerno, pp. 367–385, MR 1220477 , Zbl 0787.11037 Reprinted in Collected Papers, vol 2 , Springer-Verlag, Berlin (1991)
Conrey, J. Brian ; Ghosh, Amit (1993), “On the Selberg class of Dirichlet series: small degrees”, Duke Mathematical Journal 72 (3): 673–693, arXiv :math.NT/9204217 , MR 1253620 , Zbl 0796.11037
Murty, M. Ram (1994), “Selberg's conjectures and Artin L -functions”, Bulletin of the American Mathematical Society, New Series (American Mathematical Society) 31 (1): 1–14, arXiv :math/9407219 , MR 1242382 , Zbl 0805.11062
Murty, M. Ram (2008), Problems in analytic number theory , Graduate Texts in Mathematics , Readings in Mathematics, 206 (Second ed.), Springer-Verlag , Chapter 8, doi :10.1007/978-0-387-72350-1 , ISBN 978-0-387-72349-5 , MR 2376618 , Zbl 1190.11001
Ivić, Aleksandar (2013), The theory of Hardy's Z-function , Cambridge Tracts in Mathematics, 196 , Cambridge: Cambridge University Press , ISBN 978-1-107-02883-8 , Zbl pre06093527
関連項目