ヤン・デネフ:無限のゼータ関数の意味を解き明かす
数論には、多項式方程式が素数の累乗を法としていくつの解を持つか、そしてその素数の累乗が大きくなるにつれてその解の数がどのように変化するかという、数え上げ問題の一群が存在する。これらは各多項式に対して無限に多くの個別の数を作り出す。ヤン・デネフの中心的な貢献は、これらの無限の数の族が複雑さの点において決して真に無限ではなく、常に単一のよく振る舞う関数にまとめることができることを、幾度となく示したことであった。その洞察、そしてそれを証明するために彼が構築した幾何学的機構は、数論とモデル理論の双方の一角を塗り替えた。
ヒルベルトの第10問題からルーヴェンへ
デネフは1951年9月4日にベルギーで生まれた。1975年にKUルーヴェン(カトリック・ルーヴェン大学)で博士号を取得し、ルイ・フィリップ・ブーカールとウィレム・クイックの共同指導を受けた。博士論文のテーマはヒルベルトの第10問題、すなわち1900年にダヴィッド・ヒルベルトによって提起された、与えられた多項式方程式が整数解を持つかどうかを判定する一般的なアルゴリズムが存在するかという問題であった。整数に関するこの問題の完全な解決は、わずか数年前の1970年にユーリ・マチャセビッチによって否定的になされていた。デネフの初期の業績は、関連する決定不能性の結果を新しい数論的設定に拡張・深化させたものであり、博士論文としては非常に野心的な滑り出しであった。彼は生涯をKUルーヴェンで過ごし、同大学の教授となり、退官するまで在職し、その後名誉数学教授の称号を授与された。
p進積分とゼータ関数の有理性
デネフの最も影響力のある業績の多くは、p進積分に関係している。これは実数上ではなく、固定された素数pの周りに構築された代替的な数体系であるp進数上で行う微積分の方法であり、そこでは「近さ」は通常の距離ではなく割り切れるかどうかによって測られる。数論学者たちはp進積分を用いて、多項式のイグサ・ゼータ関数を研究する。これは、素数のあらゆる累乗を法とした多項式の方程式の解の数を一度に符号化する母関数である。デネフは、これらのゼータ関数について深い有理性の結果を証明し、それらが無限に多くの個別の数え上げ問題を符号化しているにもかかわらず、有限個の代数的データによって支配されていること、すなわち本質的に、p、p²、p³などを法とする数の無限の列が、恣意的に振る舞うのではなく、単一の代数的法則に従うことを示した。これには、p進解析と数理論理学、特にp進体に対する量子化除去(モデル理論的手法であり、p進数に関する記述を標準的で扱いやすい形に単純化することを可能にする)を組み合わせることが必要であった。これは、現代数学において、古典数論の問題に対して論理学が決定的な道具を提供する最も鮮やかな例の一つである。
フランソワ・ロゼールとのモティーフ積分
1990年代後半から、デネフとフランスの数学者フランソワ・ロゼールはモティーフ積分を開発した。これは、数値的なゼータ関数を代数的多様体のグロタンディーク環の元(単なる数値的な数え上げではなく、幾何学的対象の「形」に対する形式的な帳簿システム)で置き換えることにより、p進積分を遠くまで一般化したものである。彼らの論文「Motivic Igusa Zeta Functions」(1998年)や「Germs of Arcs on Singular Algebraic Varieties and Motivic Integration」(1999年)は、数学者が代数的多様体の特異点(幾何学的図形が滑らかでなくなる点)を、それらを通過するアーク(形式的べき級数曲線)の空間上で積分することによって研究できるようにする手法を導入した。モティーフ積分は特異点論に全く新しい道具箱を与え、その後、数論という本来の領域をはるか超えて、弦理論に近い代数幾何学の分野などにも応用されてきた。この一連の業績により、デネフは2002年に北京で開催された国際数学者会議(ICM)に招待講演者として招かれた。これは、その分野の方向性を過去数年間にわたって形作ったと評価される数学者に留保される、この分野における最も明確な認知の証の一つである。
アックス・コッヘンの定理の拡張
デネフはまた、ジャン=ルイ・コリオ=テレーヌの予想を証明した。これは、p進体の代数的振る舞いを、有限体上の形式的べき級数体のそれと結びつける1965年の基礎的結果であるアックス・コッヘンの定理を、有限個を除くすべての素数pに対して一般化するものである。このような結果(もともとは数理論理学の深い道具、すなわち超積の構成を用いて証明された)をより広い幾何学的設定に拡張することは、デネフのキャリアを通じて繰り返されるテーマであり、論理学の抽象的機械を用いて非常に具体的な数論的問題を解決するという、彼の首尾一貫した方法論を反映している。
ヤンが天才と呼ばれる理由
デネフの業績全体に見られる特異な才能は、ほとんどの研究者がどちらか一方を専門とする2つの数学的方言(数理論理学の抽象的機械[量子化除去、モデルの完全性、超積]と、方程式およびその解に関する古典代数幾何学・数論の具体的な問題)の間の並外れた流暢さである。デネフの重要な一手は、困難な幾何学的または数論的な問題が、その下敷きにおいては論理学の道具によって解決できる命題であることを見抜くことであった。これは、彼とロゼールによるモティーフ積用の発明において最も鮮明に現れており、そこでは論理学的手法(p進体上の量子化除去)が採用され、代数幾何学のための全く新しい積分論の構築に利用された。ICMでの招待講演は、引用数とは無関係に、数学コミュニティがこの業績を分野を形作るものと評価したことの真のシグナルである。誠実な限界として、フィールズ賞受賞者とは異なり、デネフの評判は数論、モデル理論、代数幾何学という特定分野に集中している点が挙げられる。入手可能なプロフィールにはフィールズ賞、ウルフ賞、またはそれに匹敵する最高峰の栄誉は記録されておらず、彼の業績に対する賞賛の多くは、数学の最も有名な名前に付随する幅広い称賛ではなく、引用数や専門家による認識(5,000回以上の引用、ICMでの招待講演)を通じたものである。それは真の、技術的に深い天才であり、彼の専門とする分野の隅で働く人々に主に見えるものである。
業績
デネフがロゼールとともに築き上げた理論であるモティーフ積分は、導入から20年以上経過した現在でも活発な研究分野であり、イグサ・ゼータ関数への当初の応用をはるかに超えて成長し、代数幾何学における特異点を研究するための標準的なツールとなっている。数論における具体的な問題を切り開くためにモデル理論の抽象的機械に手を伸ばすというデネフのより広い方法は、論理学が純粋に基礎的な分野ではなく、真に有用な数学の分枝としての地位を固めるのに貢献した。この事例は、モデル理論がなぜ現役の数論学者のツールボックスに属するのかを説明する際に、数学者たちによって今なお引用されている。

