ホッジ予想に本気で挑む――証明できるところまで進み、最後に残る壁を見極める

「ホッジ予想を、持てる能力を最大限に使って解いてみてほしい」。この依頼に対して、最初に結果を明確にしておく。今回の検討では、一般のホッジ予想の証明にも反例にも到達しなかった。現在の公式な位置づけを確認すると、クレイ数学研究所はホッジ予想を未解決問題として扱っている。したがって、この記事を「ついに解決した」という報告として読むことはできない。クレイ数学研究所の問題紹介

それでも、挑戦の内容を数学として残すことはできる。問題の文章を正確な式に直し、解ける場合を自分の手で追い、自然に思いつく証明を実行して、どの一行が正当化できないのかを突き止める。さらに、最後に必要になる命題を検査可能な形に整理する。その過程には、未解決問題を「難しいらしい」という印象から、具体的な構造を持つ問いへ変える価値がある。

本文中の基本定理は既知の数学であり、新しい成果として主張しない。「試み」と書いた箇所は、その定理を組み合わせて解決へ進もうとする検討である。「条件付き」と書いた命題は、追加の仮定が必要な論理的帰結である。この三つを区別しながら、直観から数式へ、数式から証明の障害へと進んでいこう。

1．何を解けば、ホッジ予想を解いたことになるのか
2．穴の数だけでは足りない理由
3．複素数が与える二重の方向
4．なぜ「有理数で書ける」が決定的なのか
5．代数的サイクルは「一個の図形」とは限らない
6．最初に、完全に計算できる場合を解く
7．余次元一では、すでに橋が架かっている
8．曲線の類にも届く――硬レフシェッツを使う
9．四次元で、初めて中央に空白が残る
10．第一の試み――すべてを因子の積に分解する
11．第二の試み――レフシェッツ分解で帰納法を進める
12．第三の試み――三次元の切り口へ落とす
13．第四の試み――調和形式の美しさから図形を取り出す
14．第五の試み――正値性と最小化を使う
15．第六の試み――解ける図形へ変形して戻す
16．特殊な点で見つかった図形が、一般の点へ動かない理由
17．第七の試み――ベクトル束とチャーン類へ翻訳する
18．アーベル多様体なら、群構造が助けてくれるか
19．整数係数版の反例は、何を教えてくれるのか
20．K3 曲面の成功から、何を借りられるか
21．ここからは、自分の手で四次元の問題を整理する
22．代数的な類を原始部分へ射影しても、代数性は保たれる
23．「すべての方向を検出できる」が同値条件になる
24．有限個の曲面があれば、残りは厳密な線形代数になる
25．二行二列の模型で、残差の意味を確かめる
26．ポアンカレ双対性だけでは、検出する曲面は出てこない
27．「ある低次元の空間から来る」と分かれば十分なのか
28．数値計算でホッジ類を見つける際の壁
29．検出条件が証明できたなら、有限回で基底が作れる
30．反例を探すなら、何を示す必要があるのか
31．AI が書く証明を、どこから疑えばよいのか
32．証明支援系で確かめられること、まだ確かめていないこと
33．本気で続きを研究するなら、何を選ぶか
34．今回、解けたことと解けなかったこと
参考資料と読み分け方

1．何を解けば、ホッジ予想を解いたことになるのか

ホッジ予想の舞台は、複素数の世界にある滑らかな射影代数多様体である。ひとまず、多項式方程式で定義され、尖った特異点がなく、無限遠まで含めて整えられた図形、と考えてよい。「滑らか」「射影的」という条件は装飾ではない。後で使う解析と代数の橋を成立させるための、本質的な仮定である。

この図形を調べるとき、私たちは少なくとも二つの見方を持てる。一つは、図形の中に多項式方程式で切り出せる部分図形を探す見方である。もう一つは、図形の上で微分形式を考え、積分やコホモロジーを通して全体の構造を測る見方である。前者は方程式の幾何、後者は解析と位相の幾何に近い。

代数的な部分図形があれば、それに対応するコホモロジーの類を作れる。その類には、複素幾何から来る特別な性質が現れる。ホッジ予想が問うのは逆向きである。コホモロジーの側でその特別な性質を満たす類は、必ず代数的な部分図形から作れるのだろうか。

正確には、複素次元を、余次元をとして、

と置く。交わりはの中で取る。有理係数のコホモロジーを複素係数へ写したうえで、ホッジ分解の成分に入るものを集めた空間である。予想は、ここに属する任意の類が、余次元の代数的部分多様体の類の有理数係数の有限和になる、という主張だ。この定式化の基準には、Deligne による公式解説を用いる。Deligne, The Hodge Conjecture

「ある図形で成立する」「ある次数で成立する」だけでは、一般予想の解決にはならない。すべての滑らかな複素射影多様体について、すべての余次元で成立すると証明する必要がある。逆に、一つでも条件を満たす反例を構成できれば、一般予想は否定される。この量化の大きさを、最後まで忘れないようにしたい。

2．穴の数だけでは足りない理由

位相幾何の入門では、ドーナツと球の違いを「穴の数」で説明することが多い。これはよい入口だが、ホッジ予想を理解するにはもう一段進む必要がある。コホモロジーは、穴をただ数える一覧表ではない。次数ごとのベクトル空間を持ち、それらの間に積があり、写像に応じて引き戻しや押し出しが働く、かなり豊かな構造である。

微分形式で考えるなら、閉形式とは微分してゼロになる形式であり、完全形式とは何かを微分して得られる形式である。閉形式を完全形式の違いを無視してまとめたものが、ド・ラームコホモロジーになる。同じ類に属する二つの形式は、代表の見た目が違っても、閉じたサイクルに沿う積分では同じ情報を与える。

ここで大切なのは、コホモロジー類と、それを代表する一つの微分形式を混同しないことである。一つの類には多数の代表があり、ある計量を選ぶと、その中から調和形式という特別な代表を取り出せる。しかし、代表をきれいに選べたことと、その類を代数的部分図形で表せたことは別である。

たとえば、一枚の地図に道筋を描くことと、その道筋に沿って本物の鉄道を敷くことは同じではない。コホモロジーの側で整ったデータが見つかっても、方程式で定義される部分図形という実体を作る工程が残る。この比喩は完全ではないが、解析的な記述から幾何学的な存在へ移る難しさを表している。

もう一つ注意したい。「位相的なサイクルが存在する」ことも、求める結論とは違う。特異ホモロジーのサイクルは、連続的な単体を貼り合わせて作ることができる。代数的サイクルは、多項式方程式というはるかに厳しい条件を満たす。位相的な実現を示した後にも、代数性という大きな制約が待っている。

3．複素数が与える二重の方向

複素数の微分には、とという二つの種類が現れる。複素多様体の局所座標を使うと、微分形式はを何個、を何個含むかで分類できる。前者を個、後者を個持つ形式を、型の形式という。

コンパクトなケーラー多様体では、この分類がコホモロジーにも反映される。それがホッジ分解である。

滑らかな複素射影多様体は、この理論が使える重要な対象である。複素共役はとを交換する。また、コホモロジーの積は型を足し合わせる。型と型の類を掛けると、型の類になる。

ここから、余次元一の代数的部分図形の類を掛け合わせると、型の類が得られそうだ、という自然な発想が生まれる。実際、その方向の構成は成功する。ただし、それですべての型の有理類を作れるかどうかは、別に考えなければならない。

型は「複素方向と共役方向が同じ数だけ現れる」という意味である。しかし、それを左右対称の図形という視覚的な対称性と同一視してはいけない。これはコホモロジーの分解に関する条件であり、個々の部分図形の外見を規定しているわけではない。

さらに、ホッジ分解は複素構造に依存する。同じような位相空間の上でも、複素構造を変えると、どの有理類が型になるかが変わりうる。予想は位相だけの命題でも、多項式だけの命題でもなく、その両者が出会う場所にある。ホッジ理論とレフシェッツ分解の解析的な基礎については、Demailly の講義資料が詳しい。Demailly, Complex Analytic and Differential Geometry

4．なぜ「有理数で書ける」が決定的なのか

ホッジ予想で見落とされやすいのが、有理係数という条件である。複素ベクトル空間のすべての元を、そのまま有理数係数の代数的サイクルで表そうとしているわけではない。対象は、その中に偶然入っている有理コホモロジーの類だけである。

この違いを、平面内の直線で考えてみよう。直線は実数上では一次元の大きさを持つ。しかし、その直線上で両座標が有理数になる点は原点しかない。もしならが有理数になってしまい、矛盾するからだ。

同様に、複素数や実数を係数とした空間が大きいからといって、その中に有理構造に沿った方向が多く存在するとは限らない。ホッジ数は複素ベクトル空間の次元を測るが、有理ホッジ類の空間の次元をそのまま教えてくれるわけではない。

有理係数と整数係数にも違いがある。ある類自体は整数係数の代数的サイクルでは表せなくても、正の整数を掛けたなら表せるかもしれない。その場合、

となるので、有理係数の予想にとっては十分である。分母を許すという小さな変更が、問題の真偽を左右する。

身近な模型はである。整数のは左側にはないが、有理数を係数としてよいならと書ける。整数版の障害がこのような有限指数の違いであるなら、有理化によって消える。反例の話を読むときは、それが整数の障害なのか、有理化した後にも残る障害なのかを見分ける必要がある。

5．代数的サイクルは「一個の図形」とは限らない

余次元の代数的サイクルとは、余次元の既約な閉部分多様体を、係数を付けて有限個足し合わせた形式的な和である。有理係数なら、

という形を許す。係数は負でもよい。したがってホッジ予想は、どんなホッジ類にも一個の美しい滑らかな部分多様体が対応する、という主張ではない。

たとえばは、二つの部分図形の差を表す。図形の集合として差を取るのではなく、コホモロジーへ送ったときに類を引き算する。こうした形式的な和を認めることで、線形代数と幾何をつなげられる。

また、部分多様体には特異点があってもよい。滑らかでなければならないのは、基本設定における周囲の多様体である。内部のサイクルまで全部滑らかでなければならない、と要求すると、元の予想より強い別の問題を作ってしまう。

サイクルに有理同値という関係を入れると、チャウ群が得られる。サイクル類写像は、この同値関係を通してコホモロジーへ降りる。したがって予想は、

が全射だ、という形にも書ける。チャウ群とチャーン類の構成は、Stacks Project に体系的にまとめられている。Stacks Project, Chow Homology and Chern Classes

全射であることと単射であることは違う。異なる代数的サイクルが同じコホモロジー類を持つ可能性は残るし、予想が真でも、チャウ群の全体像がコホモロジーだけで決まるわけではない。この記事で追うのは、写像の「像が足りるか」という問題である。

6．最初に、完全に計算できる場合を解く

一般論へ進む前に、複素射影空間を調べよう。超平面の類をとすると、有理コホモロジー環は

である。したがって次数の類はすべてと書ける。ここでは有理数である。

一般の位置にある枚の超平面を交差させると、余次元の線形部分空間が現れる。そのコホモロジー類がである。よって任意のは、という有理サイクルから来る。これで射影空間に対するホッジ予想は確かめられた。

この証明で実際に働いたことは三つある。まず、対象となるコホモロジー空間の基底を把握した。次に、その基底の各元を実現する代数的部分図形を作った。最後に、有理線形結合によってすべての対象を覆った。以後も、この三段階を基準にすると、何ができて何ができていないかを判断しやすい。

射影空間の積でも同様に進む。二つの因子から来る超平面類をとすると、コホモロジー環はで生成され、単項式は線形部分空間の積で実現される。したがって、この場合もすべての偶数次コホモロジー類が代数的である。

ただし、この成功を一般化するには根拠が必要である。一般の射影多様体のコホモロジー環が超平面類だけで生成されるとは限らない。「簡単な例で基底が作れた」という事実は、「すべての例で同じ基底がある」という証明にはならない。最初の分岐点は、まさにここにある。

7．余次元一では、すでに橋が架かっている

ホッジ予想を解く試みの出発点として最も強力なのが、レフシェッツの定理である。滑らかな複素射影多様体では、整数係数の類は因子の類として実現される。有理類なら分母を払ってからこの結果を使えばよい。

なぜ余次元一ではうまくいくのか。証明の骨格は指数完全列にある。解析的な層を用いて、

を考える。ここでは正則関数の層、はゼロにならない正則関数の層である。指数関数の局所的な対数が、この列の完全性を支えている。

長完全列の一部は

となる。最初の群は正則線束の同型類を記述し、矢印は第一チャーン類を与える。ホッジ理論によって最後の群はと対応する。

整数類を複素コホモロジーへ写したものは、複素共役で不変である。したがって、その成分が消えれば、共役である成分も消える。残るのは成分だ。完全性により、そのような類は線束の第一チャーン類として得られる。

射影多様体上では正則線束は代数的線束として扱え、代数的線束は有理切断の零点と極の差から因子を与える。ここで、ホッジ型の条件から代数的な幾何対象の存在まで、論理がつながる。もちろん、この説明は背景定理を使った証明の骨格であり、層コホモロジーそのものの構成まで一から展開したものではない。

大切なのは、成功の仕組みである。ホッジ型の条件が「ある写像の核であること」に翻訳され、その核が「線束から来る像」と一致した。高余次元でも同じ働きをする装置があればよい、と考えたくなる。しかし、その願いをそのまま補題として採用することはできない。

8．曲線の類にも届く――硬レフシェッツを使う

今度は複素次元の多様体で、余次元、つまり一次元の代数的サイクルに対応する類を考える。超平面類をとして、と書く。

硬レフシェッツの定理は、この場面で

と同型になることを保証する。そこで有理ホッジ類を一つ取り、その一意的な逆像をとする。

この逆像は有理類である。写像そのものが有理数上の線形同型だからだ。また、を掛ける操作はホッジ型をだけ増やすので、が型なら、は型でなければならない。

前節の結果から、は有理係数の因子類である。それに枚の超平面の類を掛ければ、一次元の代数的サイクルの類になる。よっても代数的である。交差がきれいでない場合も、滑らかな多様体のチャウ環における交積として扱える。

この議論は重要な教訓を含む。逆写像を代数的対応として構成したわけではない。今回は逆像が二次コホモロジーに入り、そのすべての有理類を別の定理で代数化できたために成功したのである。逆写像の存在だけで代数性が保存された、と読み替えると、後の議論を誤る。

これにより、任意の次元で余次元一と、一次元サイクルに対応する余次元が扱える。両端の余次元零と余次元も、それぞれ連結成分と点の類で扱える。複素次元三以下なら、これらがすべての余次元を覆う。したがって有理ホッジ予想は、三次元以下の滑らかな複素射影多様体について成立する。

9．四次元で、初めて中央に空白が残る

複素次元四の場合を整理しよう。余次元零は多様体全体、余次元一は因子、余次元三は曲線、余次元四は点である。前節までの議論で、これらは処理できる。しかし余次元二、つまり代数的曲面に対応する四次コホモロジーだけは残る。

ここには、因子を二つ掛けてできる類もある。しかし、そうした積だけで全体を張れるという保証はない。もし全体を張れるなら、その多様体に関しては問題は解ける。難しいのは、その保証がない場合である。

この意味で、複素四次元の余次元二は、一般論が初めて自動では解けなくなる場所である。「四次元多様体はすべて未解決」という意味ではない。個別の種類には強い定理があり、簡単に計算できる例も多い。あくまで、任意の滑らかな射影多様体を対象とする議論の最初の空白である。

実次元に直せば、周囲は八次元、曲面は四次元になる。日常の空間で図を描くことが難しくなるため、ここからは交叉数、線形写像、分解などが主要な道具になる。見えないから曖昧にしてよいのではなく、見えない分だけ次数と仮定を丁寧に管理する必要がある。

以下の証明の試みでは、この中央の空白を中心に考える。狙うべき場所を絞ることで、一般予想をただ大きく眺めるより、どの操作が本当に役立つかを見極めやすくなる。

10．第一の試み――すべてを因子の積に分解する

最初の案は非常に自然である。余次元一のホッジ類は因子から作れる。ならば余次元の類を、余次元一の類の積に分解すればよいのではないか。

まず、次の条件付きの命題は正しい。

条件付き命題。 の有理ホッジ類の環が余次元一の有理ホッジ類で生成されるなら、に対する有理ホッジ予想は成立する。

証明は短い。各生成元を定理によって因子の類として表す。コホモロジーの積に対応する代数的サイクルの交積を取り、最後に有理線形結合を取る。得られる類が、仮定によってすべての有理ホッジ類を覆う。ここには論理の飛躍はない。

しかし、これで解けたのは「生成されるなら」という部分である。一般のについてその仮定を示していない。コホモロジーが次数二から生成されるという性質は、滑らかな射影多様体の定義には含まれていない。

もっと根本的に、代数的サイクルの中にも、因子の積だけでは説明しきれないものが存在しうる。余次元二の部分多様体が代数的であるからといって、それが二つの大域的な因子の完全交差であるとは限らない。「代数的」と「因子の積から生成される」は異なる条件だ。

この試みを判定するときには、二つの部分空間を分けるとよい。因子類の積で張られる空間を、すべての代数的サイクルの類で張られる空間をと書く。すると

である。ホッジ予想が求めるのは右の包含が等号になることだ。左の包含まで等号にする必要はない。

したがって、因子の積では表せないホッジ類を見つけても、それだけでは反例にはならない。必要なのは、その類があらゆる代数的サイクルの有理線形結合でも表せないことの証明である。構成方法の限界と、対象そのものの不存在を分ける。この区別は、以後のすべての試みに共通する。

11．第二の試み――レフシェッツ分解で帰納法を進める

次の案は、硬レフシェッツと原始分解を使う方法である。超平面類を掛けることで作られた成分を取り除けば、低い次数の問題に帰着できるのではないか。実際、この案は問題の一部を整理する。

複素四次元の場合、

を原始コホモロジーと呼ぶ。レフシェッツ分解により、

と分かれる。したがって有理ホッジ類は、と一意に書ける。分解はホッジ型と両立するので、は有理類、は有理な原始類となる。

は既知の方法で代数的である。よって四次元の問題は、原始部分にある有理類を代数化する問題へ絞れる。これは有効な整理である。ただし、原始部分が自動的にゼロになるわけではない。

帰納法が止まる理由も見える。原始部分は、超平面類を掛ける操作だけでは前の次数から作れない残りである。そこで「もう一度超平面で割ればよい」と言っても、その逆操作が必要な場所で定義されていなかったり、核が現れたりする。

実際、ここではである。超平面類を掛けてから情報を取り戻そうとしても、すでにゼロになった原始成分を区別できない。これは単に計算が面倒という障害ではなく、写像が情報を失っているという構造的な障害である。

この試みの成果は、「難しいのは全部」という曖昧さを減らしたことにある。四次元については、因子と超平面から来る部分を確実に取り除き、残る問題を原始有理類へ集約できた。しかし、集約は解決ではない。残った空間に新しい幾何的構成を与える必要がある。

12．第三の試み――三次元の切り口へ落とす

四次元で困っているなら、超平面で切って三次元にすればよいのではないか。三次元のホッジ予想はすでに扱えた。この発想は魅力的だが、写像の向きと次数を追うと問題が現れる。

滑らかな超平面切断をとする。は複素三次元である。四次のホッジ類を制限すると、を得る。この類は上の曲線の有理サイクルで表せる。

しかし、その曲線をに押し出したらどうなるか。曲線はの中でも曲線なので、における余次元は三である。対応するコホモロジー類はに入る。もともと欲しかったの曲面類にはならない。

式で書けば、押し出しと引き戻しは

を満たす。戻ってくるのはそのものではなく、超平面類を掛けたである。原始部分なら、これはゼロになる。

さらに、この状況では原始四次類の制限自体がゼロになることも分かる。弱レフシェッツによっては同型であり、ポアンカレ双対性からも同型になる。したがってなら、である。

つまり、今回いちばん知りたい成分は、一般の超平面切断へ移ると見えなくなる。低次元に落とせば簡単になること自体は正しいが、その過程で目的の情報まで落としてしまっている。

この失敗は、帰納法を使うときのよい点検法になる。次元を下げた後に命題が証明できても、その証明を元の次元へ戻す写像があるかを確認する。戻すと次数が変わらないか、核に大切な情報が入っていないか、必要な逆写像が本当に構成されているか。これらを省くと、もっともらしい文章だけが残ってしまう。

13．第四の試み――調和形式の美しさから図形を取り出す

ホッジ理論は、各コホモロジー類に調和形式という優れた代表を与える。有理類を取り、その調和代表をとする。このの幾求を調べれば、代数的部分多様体を取り出せないだろうか。

ここで誘惑されるのが、形式の零点集合や、特定の方向で消える場所を集める方法である。関数の零点が図形を定めるのだから、形式でも似たことができそうに見える。しかし、一般の微分形式の零点集合が複素解析的部分集合になるという定理はない。

調和であることは楕円型の微分方程式を満たすという条件であり、正則な方程式で切り出された集合を持つという条件ではない。また、形式の零点を取ったとして、その余次元が期待どおりになる保証も、その基本類がになる保証もない。

もう少し洗練された案として、形式を「ある複素部分多様体上で積分する作用素」に変換することを考えられる。部分多様体は、テスト形式に対してを返すカレントを与える。代数的サイクルからカレントへ進む方向は自然である。

だが、一般の閉じた型カレントが、有限個の部分多様体上の積分カレントの和になるとは限らない。滑らかな形式が表す広がった情報と、特定の部分集合へ集中する情報の間には差がある。有理なコホモロジー類を持つことは、カレントの局所的な集中の仕方まで直接には決めない。

この経路で証明するなら、「与えられた有理ホッジ類に対して、適切な解析的サイクル型の代表を構成できる」という新しい存在定理が必要になる。その定理を示さずに「標準的な正則化で得られる」と書いてしまうと、問題の中心を言い換えて隠しただけになる。

調和形式は、ホッジ類を調べる強力な入口である。しかし、その代表を選ぶことと、代数的サイクルを作ることの間に、自動的な一本道は見つからなかった。

14．第五の試み――正値性と最小化を使う

代数的な複素部分多様体には、ケーラー幾何と相性のよい体積や正値性がある。そこで、同じコホモロジー類を表す対象の中で体積やエネルギーを最小化すれば、複素的な部分図形が現れるのではないか、と考えられる。

この案を実行する前に、少なくとも三つの区別が必要である。第一に、一般の有理ホッジ類は正のサイクルの類である必要がない。ホッジ予想は負の係数も許す。第二に、何らかの弱い意味で最小化対象が存在しても、その対象が正則な複素部分多様体になるとは限らない。第三に、局所的な正則性が得られても、大域的に必要な代数的サイクルを作れたかは別に確認する必要がある。

たとえば、差によってしか自然に表せない類を、最初から正の一個の対象で表そうとするなら、元の問題を強めている可能性がある。強い命題が真なら便利だが、それが偽でも元のホッジ予想は偽にならない。

実際、正のカレントを正の代数的サイクルの組合せで近似するという、関連する強化版には反例が構成されている。Babaee と Huh の研究は、正値性を足せば解決に近づくという単純な見込みに注意を促すものだ。ただし、その反例を標準的な有理ホッジ予想の反例として扱うことはできない。Babaee–Huh, A tropical approach to a generalized Hodge conjecture for positive currents

ここから得られる設計上の教訓は、解析的手法を捨てることではない。自分が導入した正値性、滑らかさ、連結性、係数の符号などが、もとの予想には存在しなかった追加条件であると意識することである。

最小化がうまく働く特別なクラスを探すことは有益だろう。しかし、一般解決を主張するなら、どんな有理ホッジ類にも手法を適用できることを証明しなければならない。今回の検討では、その適用範囲の壁を越える議論は得られなかった。

15．第六の試み――解ける図形へ変形して戻す

図形を連続的に変え、よく分かる特殊な図形に移してから答えを持ち帰る。代数幾何では非常に強力な考え方である。ホッジ予想に対しても、まず有理ホッジ類を持つ多様体を家族の中で動かし、代数的サイクルが分かっている点へ運ぶことを考えたい。

ただし、二つの問題が分かれる。第一は、その類が変形先でもホッジ型のままであるか。第二は、ある点で得られた代数的サイクルを、元の点まで運べるか。コホモロジー類の平行移動と、部分多様体そのものの変形は同じではない。

滑らかな射影的家族では、コホモロジーは局所系を作り、局所的には同じ有理ベクトル空間として追跡できる。一方、ホッジ分解の位置は動く。そのため、固定した有理類が型にとどまるパラメータには特別な条件が課される。

Cattani、Deligne、Kaplan の定理は、ホッジ類がホッジ類であり続ける軌跡の代数性を与える。モノドロミーを考慮して正確に定式化する必要があるが、全体としてホッジ軌跡は可算個の閉代数的部分多様体の合併として現れる、という方向の深い結果である。Cattani–Deligne–Kaplan, On the Locus of Hodge Classes

しかし、パラメータの軌跡が代数的であることは、その軌跡上の各ファイバーに必要なサイクルが存在することを直接には意味しない。条件を満たす場所の形を知ることと、そこで要求される対象を構成することの間に差が残る。

たとえば、方程式の可解性に関係するパラメータ集合がきれいな代数曲線になったとしても、その曲線上の各点で具体的な解を与える仕組みが自動的に得られるとは限らない。今回必要なのは、まさにその存在と輸送の仕組みである。

この経路の核心には、変分ホッジ予想と呼ばれる種類の問題が現れる。ある点で代数的だった平坦なホッジ類が、ホッジ型を保ったまま動くとき、他の点でも代数的であり続けるか。これを無条件の一般定理として使うことはできない。Deligne の講義録に付された Milne の解説も、この変分的な命題とアーベル多様体の問題の関係を論じている。Deligne–Milne, Hodge Cycles on Abelian Varieties

16．特殊な点で見つかった図形が、一般の点へ動かない理由

前節の障害を、もう少し具体的に考えよう。家族の中のある多様体だけが、特別な曲線や曲面を含むことがある。その部分図形を含むという条件が、パラメータに方程式を課しているからである。特殊な点で見つかった部分図形を、無条件に近くのすべての多様体へ動かせるわけではない。

一方、コホモロジー類は局所系の中で追えることがある。すると、類は存在するのに、その代表としていた部分図形は変形できない、という状況が考えられる。このとき別の部分図形の組合せが同じ類を表す可能性はある。しかし、それを実際に構成する必要がある。

「一つのサイクルが動かない」ことも、まだ反例にはならない。元のサイクルとは違うサイクルで代用できるかもしれないからだ。ここでも、選んだ代表の変形可能性と、そのコホモロジー類の代数性を区別しなければならない。

退化を用いる場合は、別の注意も必要になる。滑らかな多様体を特異なファイバーへ近づけると、扱いやすい成分分解が得られることがある。しかし、特異ファイバーのコホモロジーは、元の滑らかなファイバーのものと単純に同じではない。消滅サイクルやモノドロミーなど、退化そのものが生む情報が加わる。

そこで「特異ファイバー上では代数的だから、一般ファイバー上でも代数的」と結論するには、特殊化の逆向きに進むための定理が必要になる。特殊化ができることと、持ち上げができることは対称ではない。

今回、この方法で得たのは明確な作業表である。まずホッジ類を保つ家族を作る。次に既知のサイクルを持つ点を確保する。そして、サイクルの輸送または代替サイクルの存在を証明する。最初の二段階が成功しても、三段階目を省くことはできない。

17．第七の試み――ベクトル束とチャーン類へ翻訳する

部分多様体を直接作るのが難しいなら、ベクトル束や連接層を作り、そのチャーン類を利用する方法はどうだろうか。第一チャーン類はすでに余次元一で成功している。高いチャーン類やチャーン指標を使えば、高余次元の類も扱えそうに見える。

代数的ベクトル束のチャーン類は代数的サイクルの類を与える。滑らかな代数多様体では、代数的理論と有理チャウ群をチャーン指標で結ぶ仕組みもある。したがって、適切な代数的束や代数的理論の元を構成できるなら、それは有効な経路である。

しかし、ここで「位相的なベクトル束」と「正則なベクトル束」と「代数的なベクトル束」を区別しなければならない。位相的な分類から所望の特性類を持つ仮想的な束が得られても、それに正則構造を入れられるとは限らない。

射影多様体上では、正則な連接層を代数的な連接層へ対応させる理論が使える。けれども、その前段階で、指定した類を実現する正則な対象を作れている必要がある。位相的な対象を一足飛びに代数化してよいわけではない。

このため、「すべての有理ホッジ類は適切な束のチャーン指標で表せる」と置くと、その文の中に未解決の代数化を移し替えている可能性がある。表現を変えることは研究上有益だが、同じ難問が違う記号で再登場していないかを検査しなければならない。

それでも、この経路には具体的な利点がある。特定の幾何では、モジュライ空間上の普遍的な層や、それに代わる捩れた対象を構成できることがある。そのチャーン類から代数的対応を作り、コホモロジー上の写像を実現する。後で触れる K3 曲面に関する研究は、抽象的なホッジ構造と具体的な層の構成が結びつく一例である。

今回の一般問題では、任意の有理ホッジ類に対するそのような束や層の構成法は得られなかった。入口を広げることはできたが、最後の存在定理が依然として必要である。

18．アーベル多様体なら、群構造が助けてくれるか

アーベル多様体は、射影代数多様体であると同時に、足し算が定義された代数群でもある。平行移動、自己準同型、積、双対性など、多くの構造が使える。しかもコホモロジーは一次コホモロジーの外積代数として記述できるため、一般の多様体より線形代数に近く見える。

この豊富な構造は、確かに大きな強みである。しかし、有理ホッジ類を線形代数や対称性の不変量として記述できることと、その不変量を代数的サイクルで実現することは、まだ別の段階である。

ここで誤解されやすいのが、絶対ホッジ類である。Deligne はアーベル多様体のホッジ類について、絶対ホッジ性という強い性質を証明した。これは、体の自己同型による共役を考慮してもホッジ性が保たれるという方向の条件である。単に一つの複素構造でホッジ型を持つより、ずっと強い安定性を意味する。

しかし「絶対ホッジ類だから代数的」と一般に結論してよいわけではない。代数的な類が絶対ホッジ類になるという方向と、その逆方向を取り違えると、予想を証明したように見えてしまう。絶対性に関する定理の正確な位置は、Deligne の原論文・講義録で確認できる。Deligne, Hodge Cycles on Abelian Varieties

Milne の解説は、アーベル多様体のホッジ類を因子類や特別な Weil 類との関係で整理し、さらにレフシェッツ型標準予想からアーベル多様体のホッジ予想へ至る条件付きの関係を説明している。これは重要な還元だが、前提となる予想を勝手に既知として扱ってはならない。Milne, Hodge classes on abelian varieties

群構造があるから簡単、という見込みは、この地点で修正が必要になる。対称性は対象となる類を絞り、計算を可能にする。一方、幾何的な実現には、それに対応する別の構成が要る。線形代数の明快さが、存在問題の解決を保証するわけではないのである。

19．整数係数版の反例は、何を教えてくれるのか

標準的な有理ホッジ予想とは別に、整数係数のホッジ類を整数係数の代数的サイクルで表そうとする整数版がある。この普遍的な主張は偽である。ここで、その事実を「ホッジ予想はもう反証された」と短く言い換えると、問題の種類を取り違える。

近年の具体例として、Engel、de Gaay Fortman、Schreieder による論文を見よう。著者らは、次元四以上の非常に一般の主偏極アーベル多様体で、曲線の類が最小類の偶数倍になることなどを示し、アーベル多様体における整数ホッジ予想の反例を与えている。ここでは、その論文が述べる整数係数の結果として紹介している。Engel–de Gaay Fortman–Schreieder, Matroids and the integral Hodge conjecture for abelian varieties

「非常に一般」とは、単に典型的に見えるという感覚的な言葉ではない。代数幾何では通常、パラメータ空間から可算個の真の閉代数的部分集合を除いた点を指す。どの多様体にも成立する主張と、非常に一般の点で成立する主張は区別する必要がある。

この例が有理予想と矛盾しないことは、偏極類を使うとよく見える。複素次元の主偏極アーベル多様体における最小の曲線類は、通常

と表される。は因子の類だから、は代数的である。有理数係数を許せば、階乗で割ることに問題はない。整数係数では、この分母が障害になりうる。

したがって、曲線類に偶数性などの制約があることは、有理線形包の不足を意味しない。整数の格子としては穴があっても、有理ベクトル空間としてはすべての方向が埋まる可能性がある。この記事の序盤で見たの模型が、ここで役に立つ。

この研究から学ぶべきことは、係数を無視しない姿勢である。同じ「代数的に表せない」という言葉でも、整数で表せないのか、有理数を使っても表せないのかで、結論は大きく異なる。解決や反証を評価する最初の確認事項は、定理がどの係数を扱っているかだ。

20．K3 曲面の成功から、何を借りられるか

K3 曲面は複素二次元なので、曲面そのものに対する有理ホッジ予想は、すでに説明した低次元の議論で扱える。難しさが増すのは、二つの曲面の積や、コホモロジー間の対応を考えるときである。

二つの K3 曲面があると、その二次コホモロジーを結ぶ写像は、ポアンカレ双対性とキュンネス分解を通して、積上のコホモロジー類として見られる。積は複素四次元であり、ここでも余次元二の問題が現れる。

Buskin は、二つの K3 曲面の間の有理ホッジ等長写像が代数的対応で実現されることを証明した。射影的な場合、これは積の上に代数的サイクルを構成して、指定されたコホモロジー上の写像を実現する結果である。Buskin, Every rational Hodge isometry between two K3 surfaces is algebraic

ここで「等長」という条件を落としてはいけない。写像はホッジ構造を保つだけでなく、交叉形式を保つ必要がある。この定理を引用して、任意の多様体間の任意のホッジ写像が代数的だと結論することはできない。

それでも、この種の成果は、解決に必要な仕事の姿を具体的に示している。抽象的な類の型を調べるだけでなく、層やモジュライ空間などの幾何を用いて、実際に対応を構成する。しかも、その対応が目的の写像を誘導することまで確かめる。必要なのは、単なる類似ではなく、このような実現の証明である。

今回の試みへ持ち帰れる方針は、すべてを一度に扱おうとするより、幾何的構成が働く対象と写像を特定することだ。どの対称性、どの偏極、どのモジュライの性質が構成を可能にしたのか。それを一つずつ調べれば、次に拡張すべき仮定が見える。

特別な場合の深い成功は、一般解決の代わりにはならない。しかし、それは単なる例外の集まりでもない。どのような橋なら実際に架かるのかを教える、具体的な設計図なのである。

21．ここからは、自分の手で四次元の問題を整理する

これまでの試みは、さまざまな入口とその障害を示した。ここからは、四次元の場合に限って、残る課題を一つの線形代数的な条件へまとめる。新しい定理を発見したという主張ではなく、標準的なホッジ理論から導く、この記事のための整理である。

を滑らかな複素射影四次元多様体とする。超平面類を固定し、先ほどの原始コホモロジーを使って

と書く。これは有限次元の有理ベクトル空間である。その上の双線形形式を

で定める。四次の類を二つ掛けると八次になり、複素四次元、実八次元の上で積分できる。

ホッジ・リーマンの双線形関係によって、原始な実部分におけるこの形式は正定値である。したがって、を実数へ拡張した空間でも、ゼロでないに対してが成り立つ。全四次コホモロジー上で交叉形式が正定値だと言っているわけではない。原始な部分に限定していることが重要だ。

次に、代数的な原始類全体の空間を

と置く。四次元のホッジ予想は、結局

であることに帰着する。原始でないのホッジ部分は、すでに因子と超平面から作れるからだ。

ここまでで、幾何の問題は、正定値形式を持つ有限次元空間の中で、代数的な部分空間が全体かどうかという形になった。ただし、部分空間の大きさを決定する問題そのものは残っている。有限次元に書き直せたことだけで、全射性が証明されたわけではない。

22．代数的な類を原始部分へ射影しても、代数性は保たれる

前節の議論をきちんと使うには、一つ確認が必要である。代数的曲面の類を原始部分へ射影したとき、それはまだ代数的なのだろうか。四次元では、すでに使った定理によって、これを確かめられる。

を代数的な四次類とする。硬レフシェッツによって

は同型である。そこで

と定義する。すると

なので、は原始類になる。

は有理類だから、は有理類である。はホッジ型をだけ下げるので、は有理類になる。よっては因子の類であり、も代数的である。二つの代数的な類の差であるも代数的だ。

また、原始類とは交叉形式に関して直交する。実際、

である。したがって、原始類を代数的曲面と交叉させる情報は、その曲面類の原始射影と交叉させる情報に等しい。

この確認によって、抽象的に定義したと、実際に曲面を集めて得る情報がつながった。なお、この証明が成立した理由も、逆像が二次コホモロジーへ落ちたことにある。同じ式を高次元で無条件に使えば、逆像の代数性という別の未解決問題が現れる可能性がある。

23．「すべての方向を検出できる」が同値条件になる

ここで、次の性質を考える。

曲面による検出条件。 ゼロでない任意のに対して、ある代数的曲面が存在し、

となる。

この条件は、四次元の余次元二における有理ホッジ予想と同値である。証明を両方向で追ってみよう。

まずホッジ予想が真であるとする。ゼロでないは代数的サイクルの有理線形結合で表せる。原始部分での正定値性からである。一方、すべてのと直交していたなら、線形性によってとなってしまう。したがって少なくとも一つの曲面がを検出する。

逆に、検出条件を仮定しよう。もしがの真部分空間なら、正定値形式に関する直交補空間にゼロでない元を取れる。しかも、空間と形式が有理数上で定義されているので、有理係数の連立一次方程式を解くことにより、を有理類として選べる。

このは、すべての代数的原始類と直交する。前節の射影の議論から、任意の代数的曲面に対してもである。これは検出条件に反する。よって真部分空間という仮定が誤りで、となる。

この整理には、確かな内容がある。ホッジ類を最初からそのまま実現する代わりに、あらゆる非ゼロ方向を少なくとも一つの曲面で検出できれば十分だと分かる。一つの類の完全な表示より、非ゼロの交叉数を得る方が、個別の幾何では狙いやすいことがあるかもしれない。

ただし、これは一般解決への距離を縮めたと証明するものではない。検出条件をすべての四次元多様体で証明する仕事は、同値性によって元の問題と同じだけの難しさを持ちうる。「同値な言い換え」を「未解決部分の解消」として発表してはいけない。

24．有限個の曲面があれば、残りは厳密な線形代数になる

前節の条件を実際の計算へ近づけてみよう。が分かっているとする。代数的曲面をいくつか構成し、その原始射影をとする。これらの交叉行列

を計算できれば、候補の類の独立性を検査できる。

特にでなら、は線形独立であり、次元が一致するのでの基底となる。このとき、その多様体に対する問題は解ける。任意の原始ホッジ類に対し、

を計算し、連立方程式を解けば、を得る。係数はすべて有理数である。

ここで、単に候補を個並べるだけでは足りない。交叉行列の非退化性、あるいは同等の独立性の証明が必要だ。また、そのものを正しく求めたことも必要になる。ホッジ数をそのままと置くことはできないし、数値計算で見えた有理関係だけからを断定してもいけない。

候補の数が足りない場合にも、この計算は役立つ。既知の代数的原始類が張る空間をとし、をへの成分と直交成分に分ける。既知のサイクルでは説明できない残差が、どの方向にあるかを明示できる。

ただし、残差が非ゼロでも、それはホッジ予想の反例ではない。まだ見つけていない曲面が、その方向を実現する可能性がある。計算が示すのは「現在の候補集合では足りない」という事実である。候補探索の不成功と、あらゆる代数的サイクルの不存在は、最後まで別物として扱う必要がある。

25．二行二列の模型で、残差の意味を確かめる

具体的な数値を使って、前節の線形代数を確認しよう。これは実在する四次元多様体を指定した計算ではなく、正定値な有理双線形空間における説明用の模型である。幾何学的な新発見として読むべきものではない。

二つの既知の類の交叉行列が

であり、調べたい類との交叉数がだとする。だから、二つの類は独立である。を解くと、となる。

そこで

と置く。はのどちらとも直交する。これは交叉数を直接代入すれば確認できる。しかし、ここから直ちにとは言えない。周囲の空間が二次元より大きい可能性があるからだ。

正定値性を利用すると、残差の長さは

となる。もしなら、残差の長さはゼロであり、正定値性からと結論できる。その場合はの代数的表示が得られる。

一方、なら残差の長さは一であり、まだ説明できていない方向がある。この数値から言えるのは、二つの候補だけでは不足していることだ。「どんな代数的サイクルを追加しても不足する」とまでは言えない。

この小さな模型は、ホッジ予想に対する計算の正しい役割を示す。計算は、候補の独立性や特定の表示を証明できる。しかし、有限の候補を試して失敗したというだけでは、無限に広い幾何的可能性を排除できない。

26．ポアンカレ双対性だけでは、検出する曲面は出てこない

検出条件を見たとき、最も危険なのは「非ゼロの類には双対な類があるのだから、条件は自動的だ」と考えることである。ポアンカレ双対性は、全コホモロジーの間のペアリングが非退化であることを保証する。しかし、その検出役の類が代数的であるとは言っていない。

原始類に対しては、もっと直接的にである。つまり、コホモロジーの世界では自身がを検出する。ところが、いま証明したいのはが代数的サイクルから来ることだった。検出役にを使って「だから代数的」と結論すれば、循環論法になる。

同じ問題は、正規直交基底を選ぶ方法にも現れる。正定値形式を持つ実ベクトル空間なら、直交化によって扱いやすい基底を作れる。しかし、その基底の各元が有理かどうか、さらに代数的かどうかは別に証明しなければならない。

有理数上の線形代数を徹底すれば、有理な基底を選ぶことはできる。それでも、最後の代数性は得られない。問題は連立方程式の解法が不足していることではなく、その解に対応する幾何的対象を構成できていないことにある。

この点を表すなら、「双対はある。しかし代数的な双対を見つけられるかが問題である」となる。抽象的な有限次元性は、必要な対象が有限個で済むことを教える。だが、どの対象を取ればよいか、どう存在を示すかは教えてくれない。

今回の考察で、一般解決へ進むために残った一行はここだ。ゼロでない原始有理類に対し、それを非自明に検出する代数的曲面を構成する。この一行を、双対性や正定値性だけから導くことはできなかった。

27．「ある低次元の空間から来る」と分かれば十分なのか

別の角度から、四次元の類を既知の定理へつなぐことを考える。滑らかな射影三次元多様体と代数的写像があり、

と書けるならどうだろうか。次元差が一なので、押し出しは二次の類を四次の類へ送る。

この条件のもとでは、を因子の類で表し、それをに沿って押し出せばよい。押し出された代数的サイクルの類はになる。有限個のこのような項の和で書ける場合も同じである。したがって、これは確かに十分条件になる。

しかし、この表現が任意の有理ホッジ類に対して存在するなら、すでに核心に相当する強い主張である。コホモロジー類のホッジ型だけから、その類を運んでくる、写像、類を構成できるという保証はない。

逆方向を考えると、この条件がどれほど本質に近いかが分かる。もしが曲面の類なら、の滑らかな射影的解消を取り、とする。は第一因子からを通る写像とし、を点という因子の類に取れば、その押し出しはになる。

つまり、代数的サイクルが分かれば、この種の表現は作れる。しかし、表現を作ることで代数的サイクルを得ようとする段階では、その存在が未証明である。必要十分条件に近い形を見つけたことは、実際の構成法を見つけたこととは違う。

この議論も、可能な研究の方向を示す。特定の多様体で、曲面を直接探すより、既知の三次元多様体からの写像を探す方が容易なら、その構成を利用できる。一方、一般のに対して都合のよい写像が必ずある、と仮定してはいけない。

28．数値計算でホッジ類を見つける際の壁

実際の研究では、周期積分を数値計算し、ホッジ類らしい有理関係を探すことがある。精度を上げ、整数関係を探索すれば、有力な候補が見つかる可能性がある。こうした計算は、次に何を証明すべきかを決めるうえで役に立つ。

しかし、非常に小さい数値と厳密なゼロは違う。たとえば、計算結果がより小さくても、それが数学的にゼロとは限らない。誤差評価を伴う計算でも、未知の有理関係が存在しないことを有限の精度だけで一般に断定できるわけではない。

ホッジ型の条件を周期積分の消滅として表すなら、その消滅を厳密に示す必要がある。また、有理類を探す際には分母や整数係数の大きさを制限して探索することが多い。制限内で見つからなかったからといって、より大きな係数を持つ関係が存在しないとは言えない。

逆に、候補の代数的サイクルを具体的な方程式で構成でき、交叉数を厳密に求められるなら、計算は証明の一部になる。たとえば前節までの交叉行列の行列式が非ゼロであることは、有理数の厳密計算で確認できる。ここでは数値実験と証明の境界がはっきりしている。

大きな計算機を使えばすべてのサイクルを列挙できる、とも限らない。方程式の次数には一般に限りがなく、係数にも無数の可能性がある。解が存在すれば探索がいつか終わるかもしれないが、解がないことを判定するには、探索範囲を有限に抑える理論が必要になる。

したがって、計算を最大限使う方針は、ただ探索量を増やすことではない。理論によって候補を絞り、厳密な不変量を取り、計算結果から新しい構成や補題を提案することである。無限の可能性を有限の検査へ落とす理由こそが、計算を数学的な証明へ変える。

29．検出条件が証明できたなら、有限回で基底が作れる

四次元の議論を、もう一歩だけ先へ進めてみる。第23節の検出条件が成立すると仮定しよう。そのとき、代数的な原始類の基底を有限回の選択で作れることを、直接に示せる。

最初にと置く。すでに代数的原始類からなる空間を作ったとする。もしなら終了する。そうでなければ、その直交補空間からゼロでない有理類を取る。

検出条件により、となる代数的曲面がある。その原始射影は代数的であり、を満たす。もしなら、の選び方によってになるはずなので矛盾する。したがって、と置くと次元が一つ増える。

有限次元性から、この手順は高々回で全体に到達する。つまり、あらゆる方向を何か一つの曲面が検出するという、一見ばらばらな存在条件から、有限個の曲面による全体の生成が得られる。

しかし、これをただちに実行可能なアルゴリズムと呼ぶのは早い。各段階でを厳密に選ぶにはホッジ類空間を把握する必要があり、さらに条件を満たす曲面を見つける方法が必要だ。存在証明と有効な探索法は区別しなければならない。

この有限化の議論は、どこへ研究資源を集中すべきかを教える。大量の曲面を無差別に集めるより、現在の候補が見落としている直交方向を明示し、その方向を検出する曲面を狙う。個別の多様体について実行できるなら、構成と線形代数を往復する手法になる。

今回ここで証明できたのは、検出条件を仮定した後の有限化である。仮定そのものは未証明のままだ。この線引きを保てば、条件付きの議論にも具体的な価値が残る。

30．反例を探すなら、何を示す必要があるのか

証明を探すだけでなく、反例の可能性も考えてみたい。四次元で反例を作るには、ある滑らかな複素射影多様体と、有理な原始類を具体的に与え、その類が代数的サイクルの有理線形包に入らないことを示す必要がある。

第23節の整理によれば、ゼロでないがすべての代数的曲面の類と直交することを示せれば、そのような反例になる。もし自身が代数的なら、正定値性と直交性が矛盾するからだ。しかし「すべての曲面」と直交することを証明するのは、非常に強い要求である。

既知の曲面、低次数の曲面、特定の対称性を持つ曲面との交叉数だけを調べても十分ではない。反例を完成させるには、代数的サイクル全体に共通する制約を見つけ、その制約をが破ることを示すような議論が必要になる。

整数係数版では、偶奇、ねじれ、割り切れなさなどが制約になりうる。だが有理係数版では、整数倍を取ることで消える制約は使えない。必要なのは、サイクル類の有理線形包そのものが真に小さいと分かる障害である。

また、射影性を落とした別の世界で反例が見つかっても、標準の予想は否定されない。対象を広げた命題が偽であることと、元の範囲で偽であることは異なる。Voisin はコンパクトなケーラー多様体の文脈で、ホッジ予想を一般化する際の限界を示す反例を構成しているが、射影的という仮定を外した結果として読む必要がある。Voisin, A counterexample to the Hodge conjecture for Kähler varieties

この観点で今回の検討を判定すると、反例候補として検証を進められる具体的なの組も得られていない。手法の不足を反例に読み替えることはできない。証明に失敗したという事実は、その命題が偽である証拠にはならないのである。

31．AI が書く証明を、どこから疑えばよいのか

今回の依頼は、AI に未解決問題へ挑ませるものでもある。そこで、もっともらしい証明文をどう評価するかについても触れておきたい。注意すべきなのは、専門用語の多さでも、文章の自信の強さでもなく、必要な存在主張がどこで証明されたかである。

第一に、型の条件から存在を飛躍させていないかを調べる。「この類は型である。したがって代数的サイクルを取れる」という一文は、一般にはまさに証明すべき結論を使っている。間に長い計算があっても、最後にこの飛躍があれば証明は完成していない。

第二に、写像の逆が存在することと、その逆が幾何的対象を保つことを混同していないかを調べる。線形同型の逆は線形代数として存在する。しかし、代数的サイクルの像を代数的サイクルへ戻すかは、別の性質である。今回の低次元の成功には定理が必要だった。

第三に、補題の仮定に結論が隠れていないかを見る。「任意のホッジ類を代数的に持ち上げる補題」を導入してから本定理を一行で証明しても、その補題自体を証明していなければ前進ではない。名前を付けることは証明ではない。

第四に、係数、次数、次元、滑らかさ、射影性を追う。整数版の反例を有理版に適用したり、特異な退化先の結果を滑らかなファイバーにそのまま戻したり、押し出しで次数が変わったことを見落としたりすると、長い議論でも土台から崩れる。

第五に、一般性を確認する。一つの多様体、一つの家族、特定の自己同型を持つ場合で成功しても、すべての場合の証明にはならない。逆に、その特別な場合を正確に証明できたなら、それ自体は価値ある成果になりうる。適用範囲を誇張しないことが大切である。

これらの点検は、AI だけに特有ではない。人間の証明にも必要な手続きである。ただ、流暢な文章が短時間に大量に作られる場面では、論理の空白が目立たなくなりやすい。だからこそ、証明の中心にある数行を取り出して、仮定と結論を厳しく確認する必要がある。

32．証明支援系で確かめられること、まだ確かめていないこと

形式的な証明支援系を使えば、論理の細部を機械で検証できる可能性がある。たとえば第23節の有限次元線形代数の部分は、有理ベクトル空間、正定値形式、部分空間、直交補空間という定義を用意すれば、明確な命題として形式化できる。

そのような検証は有用である。次元の数え間違い、有理数と実数の混同、直交補空間に元が存在する条件の抜けなどを防げる。線形代数の部分が正しいと保証されれば、幾何のどの仮定に依存しているかも見えやすくなる。

しかし、形式化するときに「すべてのホッジ類を代数的に実現できる」という公理を追加し、その公理からホッジ予想を導いても、予想を解いたことにはならない。問題の中心を仮定に入れていないかを、人間が確認する必要がある。

同様に、プログラムがエラーなく動いたことは、そのプログラムが元の数学的対象を正しく表している保証とは別である。抽象的な模型を実装して、その模型で予想が成立しても、実際の代数多様体との対応を証明しなければならない。

この記事では、証明支援系による形式検証は行っていない。第25節の計算は小さな有理線形代数の例であり、幾何的な未知のサイクルを計算機で発見した結果ではない。文章の整理、既知の結果の照合、式の次数と論理の確認を行ったが、それを一般予想の機械検証と呼ぶことはできない。

将来この議論を形式化するなら、まず幾何から独立した同値条件と有限化の部分を固め、次にホッジ理論の入力を明示し、最後に未証明の存在条件をそのまま未証明として残すのが適切だろう。未解決の部分をはっきり表示する形式化にも、研究の地図を正確にする価値がある。

33．本気で続きを研究するなら、何を選ぶか

今回の検討を踏まえるなら、次の仕事として最も具体的なのは、対象を明示した一つの四次元多様体、あるいは一つの家族に絞り、原始有理類と代数的曲面の対応を調べることである。一般予想を毎回最初から解こうとするより、未知の方向を一つ特定した方が検証可能な課題になる。

まず、その対象の定義方程式、射影埋め込み、滑らかさを確定する。次に、既知の幾何や対称性からコホモロジーとホッジ構造を把握する。この段階で、単なるホッジ数と有理ホッジ類の次元を区別しておく。

続いて、因子の交差、自然に含まれる曲面、他の多様体からの写像、モジュライ的な構成などから、代数的な候補を集める。候補の交叉数を計算して行列を作り、どこまで独立な方向を覆っているかを調べる。

もし残差が現れたら、その残差と対称性の関係を調べる。既存の構成が対称性のせいで同じ部分空間に閉じ込められているなら、いくら同種の候補を追加しても足りない。そのときは、別種の曲面や別の対応を導入する理由が生まれる。

有力な候補が得られたら、その類が求める残差と一致することを厳密に示す。交叉数の一致だけで十分かどうかは、検査に使う類が必要な空間を張っているかに依存する。十分な基底を持たないまま「数値が一致したので同じ類」と断定してはいけない。

このような進め方は、結果が出ることを保証しない。それでも、何を構成し、何を計算し、どの条件を証明すれば前へ進むかが具体的である。未知の問題に対して責任を持つとは、成功を約束することではなく、成功と失敗を判定できる課題に分けることでもある。

34．今回、解けたことと解けなかったこと

最初の依頼に戻ろう。ホッジ予想を解こうとして、今回どこまで進めたのか。

既知の理論を使って、射影空間とその積では代数的サイクルによる生成を具体的に確認した。余次元一について指数完全列から定理の仕組みを追い、硬レフシェッツを組み合わせて曲線の類を扱った。これによって、複素三次元以下では有理ホッジ予想が成立する理由を説明できた。

四次元では、原始有理類が残ることを明確にした。超平面で切る方法が、その原始部分を失ってしまうことを確認した。さらに、原始部分での正定値性を使い、予想を「すべての非ゼロ方向を代数的曲面との交叉数で検出できる」という条件へ整理し、その同値性と条件付きの有限化を示した。

一方、その検出条件を一般に証明する方法は得られなかった。調和形式、正値性、変形、束、対称性という複数の入口を検討したが、どの方法にも、所望の代数的サイクルの存在を保証する未解決の工程が残った。有理係数の反例も構成できなかった。

ここで明確にしておきたいのは、四次元の問題を解決できたとしても、それだけで任意の次元・余次元のホッジ予想が解けたことにはならない、という点である。今回の集中先は、一般論が最初に自動では通らなくなる場所だった。高次元には、それぞれの原始成分と、より高い余次元の存在問題が残る。

だから、この記事の結論は「ホッジ予想を解決した」ではない。「解こうとする議論を、どこまで正しく運べるかを確かめ、最後に必要な主張を明示した」である。既知の結果と自分の整理を合わせても、新しい一般定理を証明したとは主張しない。

それでも、この挑戦によって問いの姿は変わった。最初は、抽象的な解析の情報から方程式の図形が生まれるのか、という遠い問いだった。最後には、特定の原始ホッジ類に対して、それを検出する一枚の代数的曲面を作れるか、という具体的な存在問題が残った。

美しい分解も、精密な数値も、豊かな対称性も、その曲面を自動的には与えてくれない。だが、何を作ればよいのかは見えている。その存在を説明する新しい幾何を得ることが、ここから先に必要な仕事である。

参考資料と読み分け方

この記事は、以下の資料にある定義や研究結果を照合しつつ、例の計算、証明の試み、失敗箇所の分析、四次元での線形代数的整理を自分の説明として組み立てたものである。個別の研究紹介は各論文の主張する範囲に限り、一般のホッジ予想の解決報告とは扱っていない。リンク先に改訂版がある場合、論文の仮定と版も合わせて確認してほしい。