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

ラマヌジャン予想（ラマヌジャンよそう、）は が提出した数学の予想。、 を素数として、重さ12 のカスプ形式

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

を満たすであろうと述べる。

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

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

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

を満たし、のおかげで

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

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

ラマヌジャン予想
1916年、ラマヌジャンは次のことを予想した。
1,  は乗法的(multiplicative),
2,  は完全乗法的ではないが、素数  と自然数jについて
 が成り立ち、
3, .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

数体の場合の一般ラマヌジャン予想の最良の境界を与える問題は、多くの数学者の関心を呼んできた。一つ一つの改善が現代数論の里程標と考えられている。GL(n) のラマヌジャン境界を理解するために、ユニタリなカスプ保型表現 π = ⊗' πv を考える。によれば、表現  からユニタリな放物型誘導により個々のp-進群の表現  を得ることができる。ここで個々の  は素点(place) v におけるGL(ni)の表現であり、
緩増加な により  の形で表わせる。n ≥ 2 とすると、ラマヌジャン境界は  となるような数値 δ ≥ 0 である。
ラングランズ対応は(archimedean valuation)に対して使うことができる。一般ラマヌジャン予想は境界が δ = 0 であることと同値である。

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

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

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

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

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

注釈

脚注

参考文献

*

 Reprinted in 

予想
モジュラー形式
シュリニヴァーサ・ラマヌジャン
数学に関する記事