保型形式

複素平面の上半分（虚部が正の領域）で定義された関数を考える。この関数が、上半平面を自分自身に写す特定の変換群——モジュラー群——に対して特定の変換規則を満たすとき、その関数を保型形式と呼ぶ。定義は技術的だが、保型形式が持つ役割は現代数学の最も驚くべき物語の一つを形成している。フェルマーの最終定理の証明もその物語の一部だ。

対称性という言語

保型形式の本質は対称性の記述にある。ある関数がある変換に対して「ほぼ不変」——正確には決まった法則で変換される——という条件は、関数に強力な制約を課す。この制約が逆に、関数の係数に豊かな整数論的情報を埋め込む。

エドワード・フレンケルは『数学の大統一に挑む』のなかで、保型形式をラングランズ対応の「片方の柱」として位置づける。片方の柱がガロア表現（楕円曲線などの代数的対象の対称性を記述する構造）であるとすれば、保型形式はその対応物として、解析的な世界で同じ情報を担う。この二つの柱が対応しているという発見が、ラングランズ・プログラムの核心だ。

上半平面の幾何

上半平面の幾何はユークリッド幾何学とは異なる双曲幾何学に従う。モジュラー群による変換はこの空間を「タイル張り」し、基本領域と呼ばれる代表的な領域を定める。保型形式はこのタイルの上で整合的に振る舞う関数だ。

この対称性の豊かさは数論的な情報を生み出す。保型形式のフーリエ係数には、しばしば素数の性質に関する深い情報が含まれている。たとえばラマヌジャンのタウ関数——保型形式のフーリエ係数——の性質は、20世紀の数論家たちが解明に費やした膨大な努力の対象だった。「モンスター・ムーンシャイン」と呼ばれる現象では、保型形式の係数が群論の巨大な構造と不思議な一致を示す。

タニヤマ・志村とフェルマーへの架け橋

保型形式が数学史に残る役割を果たしたのは1990年代だ。タニヤマ・志村予想は、有理数体上のすべての楕円曲線が保型形式と対応するという命題だ。谷山豊と志村五郎が1950年代に提唱したこの予想は、1995年にアンドリュー・ワイルズが部分的に証明した。そしてこの証明は同時に、フェルマーの最終定理の証明でもあった。

フェルマーの反例となる整数解が存在するならば、対応する楕円曲線は保型形式と対応するはずがないことが示されていた。タニヤマ・志村予想が正しければ、フェルマーの反例は存在できない——この論理の連鎖が証明の核心だ。

統一の結節点

フレンケルが強調するように、保型形式は数論・代数幾何・表現論が交差する場所にある。一つの対象が複数の数学的言語で語られ、異なる言語での記述が互いに情報を与え合う。この交差点の豊かさがラングランズ・プログラムの核心であり、保型形式はその中心的な担い手だ。

保型形式の係数と素数

保型形式のフーリエ係数は素数と深く関係している。ラマヌジャン予想——重さ12のカスプ形式のn番目のフーリエ係数τ(n)の評価——は1974年にドリーニュがヴェイユ予想の解決の一部として証明した。保型形式の理論とL関数の理論が合流したところに、現代数論の最も深い問いがある。

BSD予想もその一つで、楕円曲線に対応するL関数の零点の振る舞いが有理点の構造を決定すると予想されている。保型形式は見た目の技術性とは裏腹に、数論の中心に佇む対象だ。

保型形式を学ぶことは、数論・複素解析・群論が同じ対象を異なる言語で記述しているという経験をすることだ。数学の分野が「本当は一つのことを言っている」という感覚——ラングランズ・プログラムが目指す統一の予感——は、保型形式という概念の中でもっとも具体的に感じ取れる。