【未解決問題】ホッジ予想 ─ 説明が最も難しいと言われる100万ドルの数学問題

当サイトを閲覧いただきありがとうございます。本記事はミレニアム懸賞問題の中で「最も説明が難しい」と評判の難問「ホッジ予想」について解説します。

最初に正直にお断りします。この問題は、当シリーズで扱ってきた中でも飛び抜けて抽象的です。リーマン予想やP対NP問題は日常の言葉に翻訳できましたが、ホッジ予想は専門家でさえ「一般向けの正確な説明はほぼ不可能」と口をそろえるほどで、その内容を理解するには大学院レベルの数学がいくつも必要になります。ですので本記事の目標は、中身を理解してもらうことではありません。「こういう雰囲気の、こういう位置づけの問題があるのだ」という感触だけを、できる限り正直に持ち帰ってもらうことを目指します。

ニュートン超図解新書最強に面白いパラドックスAmazonで見る →

100の思考実験Amazonで見る →

まず「穴を数える」という発想から

いきなり核心は無理なので、遠くから近づいていきます。出発点は、図形の「穴」を数えるという数学の発想です。

ドーナツには穴が1つ、8の字のプレッツェルには穴が2つあります。この「穴の数」のような、図形を伸び縮みさせても変わらない特徴を調べる分野を、当シリーズのポアンカレ予想でも触れたトポロジーと呼びます。数学者は、こうした穴をきちんと数え、分類するための精巧な道具を発達させてきました。単純な穴だけでなく、高い次元の複雑な図形が持つ、目には見えないさまざまな種類の「穴のようなもの」を、体系立てて数えられるのです。

ここで舞台となる図形は、私たちが思い描くドーナツのような素朴なものではありません。方程式で定義される、複素数の世界の図形という、非常に高い次元の抽象的な対象です。とはいえ、「複雑な図形には、いろいろな種類の穴が空いている」というイメージだけ持っていれば、次に進めます。

「素直な材料でできた穴」はどれか

ホッジ予想が問うのは、大まかに言えば次のことです。

複雑な図形に空いたたくさんの穴のうち、どれが「方程式で書ける素直な図形」を貼り合わせて作れるものか。

もう少しイメージを足します。図形の穴には、いろいろな「素性」があります。ある穴は、方程式でシンプルに書ける部品（数学では代数的な図形と呼びます）を組み合わせて、いわばきれいな材料から作られている。別の穴は、そうした素直な材料では作れない、もっと得体の知れないものかもしれません。

一方で、数学者は穴の「見た目の特徴」を調べる、まったく別系統の道具（ホッジ理論という解析的な手法）も持っています。ホッジ予想が主張するのは、この「見た目の特徴」を調べるだけで、その穴が素直な材料からできているかどうかを見分けられる、という対応関係です。

つまり構図は、当シリーズのBSD予想とよく似ています。幾何学的な性質（穴が素直な材料でできているか）と、解析的な性質（穴の見た目の特徴）という、異なる方法で調べた二つの結果が、実は完全に一致するはずだ、という予想なのです。異分野の間に架かった、目に見えない橋。現代数学が最も愛するテーマが、ここでも中心にあります。

たとえるなら、こういうことです。ある部品が金属でできているかどうかを、いちいち削って中身を確かめなくても、磁石を近づけるだけで見分けられるとしたら便利ですよね。ホッジ予想は、「穴が素直な材料でできているか」という調べにくい性質を、「見た目の特徴」という調べやすい性質だけで判定できるという、そういう種類の便利な対応関係が成り立つはずだ、と言っているのです。もちろん実際の対象は磁石のようには単純ではありませんが、「調べにくいものを、調べやすい別のもので言い当てる」という発想の骨格は、この比喩とまったく同じです。

なぜ、これほどまでに難しいのか

ホッジ予想の難しさには、はっきりした理由があります。

第一に、扱う対象が、直感の届かない高次元・複素数の世界にあることです。ポアンカレ予想の3次元でさえ思い描くのが難しかったのに、ホッジ予想の舞台はさらにその先です。手で触れる例で試すということが、ほとんどできません。

第二に、この予想が「作れるはずのものを、実際に作ってみせる」ことを要求する点です。見た目の特徴を満たす穴について、それを作る素直な材料が確かに存在することを示さねばならないのですが、存在するはずのものを具体的に構成するのは、数学で最も難しい種類の作業です。当シリーズの奇数完全数で見た「あるはずなのに見つからない/ないはずなのに証明できない」の、さらに込み入った版だと言えます。

正直に付け加えると、私自身もこの予想の技術的な中身を完全に理解しているわけではありません。だからこそ、この記事では知ったかぶりをせず、「難しいものは難しい」と認めることを大切にしたいと思います。世の中には、専門家が生涯をかけても全容をつかめない知の高峰が実在する。その事実を知ること自体が、知的な謙虚さを育ててくれるように思うのです。分からないことを分からないと正直に言えるのは、むしろ気持ちのよいことだと私は感じています。

「分かりにくさ」そのものが教えてくれること

せっかくなので、この問題の分かりにくさ自体を少し味わってみたいと思います。なぜ、リーマン予想は一般向けに説明できて、ホッジ予想はできないのでしょうか。

理由は、問題を理解するのに必要な「前提の数」の違いにあります。リーマン予想は「素数の並び」という、誰もが小学校で出会う対象が主役です。P対NP問題は「解くと確かめる」という日常の実感から入れます。ところがホッジ予想の主役は、それ自体を理解するのに何段もの抽象化を積み上げないと姿を現さない対象です。土台の上に土台を重ねた高層ビルの最上階のような場所にあり、1階から階段で上がろうとすると、途中の階の説明だけで一冊の教科書が要ります。

これは、この問題の欠点ではありません。むしろ人類の知が、いかに高く積み上がっているかの証拠です。数学は数千年かけて、抽象の上にさらに抽象を重ねる塔を建ててきました。その最上階からしか見えない景色があり、ホッジ予想はそこにある。「一足飛びには理解できない知が存在する」という事実は、少し悔しくもあり、同時にとても心強くもあります。人類はまだ、自分たちが建てた塔のてっぺんを、完全には見晴らせていないのですから。

分からないなりに味わうための疑問

結局、私たちは何を持ち帰ればいいのですか？

3つで十分だと思います。第一に、これはミレニアム懸賞問題の一つで、100万ドルがかかった数学の最重要問題だということ。第二に、その内容は「複雑な図形の穴のうち、どれが素直な材料からできているかを、別の方法で見分けられるか」という、異分野を結ぶ橋の問題だということ。第三に、あまりに抽象的で、専門家でも一般向けの正確な説明を諦めるほど難しいということ。この3点をつかんでいれば、教養として十分すぎるほどです。世界にはそういう問題も実在するのだ、という感触こそが、この記事の贈り物です。

なぜ、そんなに分かりにくい問題に100万ドルもかけるのですか？

分かりにくさと重要さは別物だからです。ホッジ予想は、代数幾何学という分野の根幹に位置し、そこが証明されれば図形と方程式をめぐる膨大な数学が統一的に整理されると期待されています。当シリーズのリーマン予想が、証明されれば数論の建物全体を支える土台になるのと同じ構図です。地味で分かりにくい土台ほど、抜けたときの被害も、固まったときの恩恵も大きい。数学者が価値を置くのは、華やかさではなく、他の多くの結果を支える基礎になれるかどうかなのです。

素人がこれ以上踏み込むにはどうすればいいですか？

正直なところ、ホッジ予想は「まず登るべき山ではない」と申し上げたいです。同じ知的興奮を、もっと登りやすい山で味わうほうが健全だと思います。当シリーズのポアンカレ予想は「宇宙の形」という手触りがあり、P対NP問題は「解くと確かめる」という日常の実感から入れます。異分野を結ぶ橋の面白さなら、まだしも具体例のあるBSD予想が入り口として優れています。ホッジ予想は、それらを楽しんだ先に「世界にはこんな高峰もあるらしい」と遠くから眺める、地図上の目印くらいに考えておくのが、ちょうど良い距離感だと思います。