ラマヌジャン・ピーターソン予想

テンプレート:要改訳 ラマヌジャン予想（ラマヌジャンよそう、テンプレート:Lang）は、シュリニヴァーサ・ラマヌジャンが1916年に提出した数学の予想。テンプレート:Math、テンプレート:Mvar を素数として、重さ12 のカスプ形式

Δ (z) = \sum_{n > 0} τ (n) q^{n} = q \prod_{n > 0} {(1 - q^{n})}^{24} = q - 24 q^{2} + 252 q^{3} - 1472 q^{4} + 4830 q^{5} - \dots

のフーリエ係数によって与えられるラマヌジャンのタウ函数テンプレート:Mathが

| τ (p) | \leq 2 p^{11 / 2}

を満たすだろうと述べる。

本予想は20世紀の数論と代数幾何学を牽引した重要な予想の一つとなり、後にヴェイユ予想に帰着され、1974年にドリーニュがヴェイユ予想を解決したことにより解決された。

一般ラマヌジャン予想 (generalized Ramanujan conjecture) またはラマヌジャン・ピーターソン予想 (Ramanujan–Petersson conjecture) は、狭義にはピーターソンにて提出されたもので、他のモジュラー形式や保型形式へのラマヌジャン予想の一般化である。広義には多くのバリエーションが存在し、中でもオリジナルのような1変数正則保型形式と異なり、多変数や非正則の保型形式を扱う場合については反例も知られ、未解決である。

ラマヌジャンのL-函数

リーマンゼータ函数やディリクレのL-函数は、オイラー積

テンプレート:NumBlk

を満たし、テンプレート:仮リンクのおかげで

テンプレート:NumBlk

となる。リーマンゼータ函数やディリクレのL-函数以外に、上の関係式を満たすL-函数が存在するのであろうか？実際は、保型形式のL-函数はオイラー積 (1) を満たすが、完全乗法性を持たないので(2)を満たさない。しかし、1916年にラマヌジャンは、保型形式のL-函数が次の関係式を満たすであろうことを発見した。

テンプレート:NumBlk

ここに、テンプレート:Math はラマヌジャンのタウ函数である。(3) の中の項テンプレート:Math は、完全乗法性からの差異と考えられる。上のL-函数をラマヌジャンのL-函数と言う。

ラマヌジャン予想

1916年、ラマヌジャンは次のことを予想した。

1, テンプレート:Math は乗法的(multiplicative),
2, テンプレート:Math は完全乗法的ではないが、素数テンプレート:Mvar と自然数jについて

τ (p^{j + 1}) = τ (p) τ (p^{j}) - p^{11} τ (p^{j - 1}) (j = 1, 2, 3, \dots)

が成り立ち、

3, テンプレート:Math.

ラマヌジャンは等式 (3) の右辺の分母の中の、テンプレート:Math の二次方程式

1 - τ (p) u + p^{11} u^{2}

が、いつも虚数根を持つことを多くの例から観察していた。二次方程式の根と係数の関係から、第三の関係式が導出でき、これをラマヌジャン予想と言う。更に、ラマヌジャンのタウ函数に対しては、上記の二次式の根を α と β とすると、

Re (α) = Re (β) = p^{11 / 2} .

すなわち、上記の二次方程式の根の実部は、テンプレート:Math となり、リーマン予想と似た形となる。ここから、全てのテンプレート:Mathについて、任意のテンプレート:Math に対してテンプレート:Math という少しだけ弱い予想が導かれる。

1917年、ルイス･モーデル (Louis J. Mordell) は、今日ヘッケ作用素として知られる複素解析的な技法を導入し、最初の 2つの関係式を証明した。三番目の関係式はテンプレート:Harvtxt でヴェイユ予想の証明の系として証明されたが、系であることを示すのは微妙な問題で、全く明らかではなかった。その部分は久賀道郎の仕事であり、佐藤幹夫、志村五郎、伊原康隆らも貢献し、テンプレート:Harvtxt がそれを応用したものである。この関係性の存在によって、エタール・コホモロジー理論による結果が得られつつあった1960年代後半において、いくつかの深い研究が触発された。

モジュラー形式のラマヌジャン・ピーターソン予想

1937年、エーリッヒ・ヘッケはヘッケ作用素を導入し、モーデルがラマヌジャン予想の最初の 2つの命題を証明した際の技法をSL(2,R) の離散部分群 Γ の保型形式のL-函数へと一般化した。任意のモジュラー形式

f (z) = \sum_{n = 0}^{\infty} a_{n} q^{n} (q = e^{2 π i z})

について、ディリクレ級数

φ (s) = \sum_{n = 1}^{\infty} a_{n} n^{- s}

を書ける。離散部分群 Γ の重さ k ≥ 2 のモジュラー形式 f(z) に対して、 a_n=O(n^k-1+ε) であるため、φ(s) は Re(s) > k の領域では絶対収束する。f は重さ k のモジュラー形式なので、(s-k)φ(s) は整関数であり、R(s)=(2π)^-sΓ(s)φ(s) は次の函数等式を満たす。

R (k - s) = (- 1)^{k / 2} R (s) .

このことは、1929年にウィルトン(Wilton)により証明された。この f と φ の対応は 1 対 1 である（a₀=(-1)^k/2Res_s=kR(s)）。x > 0 に対して g(x)=f(ix)-a₀ とすると、g(x) は次のメリン変換を通して R(s) と関係付けられる。

R (s) = \int_{0}^{\infty} g (x) x^{s - 1} d x \Leftrightarrow g (x) = \frac{1}{2 π i} \int_{R e_{s = σ_{0}}} R (s) x^{- s} d s .

この対応が、上の函数等式を満たすディリクレ級数を、SL(2,R) の離散部分群の保型形式に関連付ける。

k ≥ 3 である場合について、テンプレート:仮リンクはモジュラー形式の空間のテンプレート:仮リンク（テンプレート:仮リンク(Weil-Petersson metric)も参照）を導入した。この予想の名称は彼の名前にちなんでいる。ピーターソン計量の下に、モジュラー形式の空間上にカスプ形式の空間とその直交空間として直交性を定義でき、それらは有限次元を持つ。さらに、リーマン・ロッホの定理を用いて、正則モジュラー形式の空間の次元を具体的に計算できる。（モジュラー形式の空間の次元を参照）

テンプレート:Harvtxtは、アイヒラー・志村同型を用いてラマヌジャン予想をヴェイユ予想に帰着し、後に証明した。より一般化されたラマヌジャン・ピーターソン予想は、重さkの指数 (k − 1)/2 を持つ同様の定式化を採るが、テンプレート:仮リンク(congruence subgroup)の楕円モジュラー形式の理論における正則カスプ形式を扱う。これらの結果も同じくヴェイユ予想の系として得られるが、 k = 1である場合は例外であり、これはテンプレート:Harvtxtの結果である。

マース形式に対するラマヌジャン・ピーターソン予想は、2016年現在未解決である。これは正則である場合はうまく機能したドリーニュの方法が、実解析的な場合は機能しないことによる。

保型形式のラマヌジャン・ピーターソン予想

テンプレート:Harvtxt は、ラマヌジャン・ピーターソン予想を GL₂ の保型表現の言葉を使って再定式化した。それは保型表現の局所成分が主系列表現であるという形を採っており、佐武はこの条件が他の群の上の保型形式へのラマヌジャン・ピーターソン予想の一般化になっていると予想した。言い換えると、カスプ形式の局所成分は緩増加ということである。しかしながら、何人かの研究者はanisotropic群^{[# 1]}で反例を発見している。この場合は無限遠点にて成分が緩増加でない。テンプレート:Harvtxt とテンプレート:Harvtxt は、表現 θ₁₀ に関係するユニタリ群 U_2,1 とシンプレクティック群 Sp₄の、殆ど至る所で整律されていないような保型形式を構成し、一部の準分裂(quasi-split)や分裂群に対してさえ、この予想が偽であることを示した。

反例が発見されたのち、テンプレート:Harvtxt は予想の修正版を提出した。一般ラマヌジャン予想の現行の定式化は、連結な簡約群の大域的にジェネリックな尖点保型表現を扱っている。ここで言うジェネリック（生成的）とは、その表現がテンプレート:仮リンクをもつという意味である。これは、そのような表現の局所成分が緩増加であると主張している。ラングランズの観察によると、GL(n) の保型表現の対称べきのラングランズ函手性を確立すれば、ラマヌジャン・ピーターソン予想を証明できる。

数体上のラマヌジャン予想に向けた境界

数体の場合の一般ラマヌジャン予想の最良の境界を与える問題は、多くの数学者の関心を呼んできた。一つ一つの改善が現代数論の里程標と考えられている。GL(n) のラマヌジャン境界を理解するために、ユニタリなカスプ保型表現 π = ⊗' π_v を考える。テンプレート:仮リンクによれば、表現 $τ_{1, v} \otimes \dots \otimes τ_{d, v}$ からユニタリな放物型誘導^{[# 2]}により個々のp-進群の表現 $π_{v}$ を得ることができる。ここで個々の $τ_{i, v}$ は素点(place) v におけるGL(n_i)の表現であり、緩増加な $τ_{i_{0}, v}$ により $τ_{i_{0}, v} \otimes | \det |_{v}^{σ_{i, v}}$ の形で表わせる。n ≥ 2 とすると、ラマヌジャン境界は $\max_{i} | σ_{i, v} | \leq δ$ となるような数値 δ ≥ 0 である。ラングランズ対応はテンプレート:仮リンク(archimedean valuation)に対して使うことができる。一般ラマヌジャン予想は境界が δ = 0 であることと同値である。

テンプレート:Harvtxt は、一般線型群 GL(n) での最初の境界 δ ≤ 1/2 を与えたが、これは自明な境界と呼ばれている。重要なブレイクスルーとなったのはテンプレート:Harvtxt で、任意の n と任意の数体に対して現在最良の一般的な境界 δ ≡ 1/2 - 1/(n²+1) を得た。GL(2) の場合には、キム(Kim)とサルナック(Sarnak)が、数体が有理数体である場合に δ = 7/64 という画期的な境界を得ている。これは、ラングランズ・シャヒーディの方法を通して得た対称的な 4乗数についてのテンプレート:Harvtxt の函手性の結果として得られた。キム＝サルナック境界は任意の数体へ一般化できる（テンプレート:Harvtxt）。

GL(n) 以外の簡約群についての一般ラマヌジャン予想は、ラングランズ函手性の原理から導出できる。重要な例としてテンプレート:仮リンク(classical group)があり、ここでの最良の境界はラングランズの函手の持ち上げの結果としてテンプレート:Harvtxt にて得られた。

大域函数体上のラマヌジャン・ピーターソン予想

ドリンフェルトによる大域函数体上の GL(2) の大域的ラングランズ対応の証明は、ラマヌジャン・ピーターソン予想の証明を導く。ラフォルグの定理(2002)は、ドリンフェルトのシュトゥーカ(Drinfeld's shtuka)の技法を正標数の GL(n)に拡張したものである。テンプレート:Harvtxt は、大域函数体を含むようにラングランズ・シャヒーディの方法を拡張するというもう一つの技法を用いてテンプレート:仮リンクのラマヌジャン予想を証明した。

応用

ラマヌジャン予想の最も有名な応用は、テンプレート:仮リンク、フィリップスとサルナックによるラマヌジャングラフの明示的な構成である。実際「ラマヌジャングラフ」という名称はこの構成方法に由来している。他の応用例として、一般線型群 GL(n) のラマヌジャン・ピーターソン予想から、いくつかの離散群のラプラシアンの固有値についてのセルバーグの予想が得られる。

注釈

テンプレート:Reflist

脚注

テンプレート:Reflist

参考文献

引用エラー: 「#」という名前のグループの <ref> タグがありますが、対応する <references group="#"/> タグが見つかりません

[# 1]

[# 2]

ラマヌジャン・ピーターソン予想

目次

ラマヌジャンのL-函数

ラマヌジャン予想

モジュラー形式のラマヌジャン・ピーターソン予想

保型形式のラマヌジャン・ピーターソン予想

数体上のラマヌジャン予想に向けた境界

大域函数体上のラマヌジャン・ピーターソン予想

応用

注釈

脚注

参考文献

ナビゲーションメニュー

ラマヌジャン・ピーターソン予想

ラマヌジャンのL-函数

ラマヌジャン予想

モジュラー形式のラマヌジャン・ピーターソン予想

保型形式のラマヌジャン・ピーターソン予想

数体上のラマヌジャン予想に向けた境界

大域函数体上のラマヌジャン・ピーターソン予想

応用

注釈

脚注

参考文献

ナビゲーション メニュー

検索

ナビゲーションメニュー