＼当サイトではリンク広告を利用しています。／
ミレニアム懸賞問題の第5回は、いよいよ「ホッジ予想」に挑みます！
名前はミレニアム検証問題では最も短く単純です。しかしその名前からしてちょっと難しそうなこの問題、実は「幾何学の奥深〜い謎」に迫るロマンあふれるテーマなんです。
数学好きなら一度は耳にしたことがあるかもしれませんね。
ただし、ホッジ予想を語るには、ちょっと不思議な道具「コホモロジー」の登場が不可欠。
今回はできるだけ噛み砕いて、ポップに、そして本質に迫っていきます！
ホッジ予想は、1950年代にイギリスの数学者ウィリアム・ヴァロリス・ホッジが提唱した予想です。
ざっくり言えば：
「複雑な多様体の中に、ある“特別なサブ構造”が必ず見つかるはずだ！」
という主張。
この予想は、数学の中でも非常に大きな領域を橋渡しするもの。
具体的には、代数幾何学と複素多様体論という2つの分野をつなぐ、まさに「数学の架け橋」と言える問題です。
関連する用語を解説していきます。
ホモロジー群とは、「形にどんな“穴”が空いているか」を調べる数学的な道具です。
たとえば：
空間のつながり方や構造を、数や群という形で整理・表現します。
コホモロジーはホモロジーの「双対（ペアになる）」考え方。
その中でも有名なのが「ド・ラームコホモロジー」です。
これは、滑らかな多様体（ツルツルした空間）上で、微分形式を使って形の性質を調べる理論。
微分形式は、「方向」や「流れ」のような概念を表現でき、
この手法により、複雑な空間の「見えない構造」を分析できます。
フランスの数学者アンリ・ポアンカレが見つけた重要な性質。
それがポアンカレ双対です。
「空間のある次元の穴」と「それを補う次元の穴」には、対称的な関係がある。
これにより、空間の全体像をつかむための強力なツールとなり、
ホッジ予想にも深く関わってきます。
ここまでの準備を踏まえて、ホッジ予想の中身を一言でまとめると：
複雑な多様体の中の“ホッジ類”は、実は“代数的な部分多様体”からできているはず！
つまり、
という驚くべき主張なのです。
1950年代にこの予想が提出されて以降、多くの数学者が挑戦してきました。
1980年代以降は、代数幾何学や複素多様体論が飛躍的に発展。
新しいアプローチや理論も出てきていますが、ホッジ予想の完全解決には至っていません。
ホッジ予想が解けない理由は、主にこの2点に集約されます：
コホモロジー類という対象自体が非常に抽象的で、
その中の「ホッジ類」が何を意味するのか直感的に分かりづらいのです。
単に「穴がありますよ」ではなく、
「その穴が代数的に美しく説明できる構造から来ている」
ということを示さないといけません。
これが、ものすごく難しい！
もしホッジ予想が証明されれば、数学界全体にとって極めて大きな意味を持ちます：
「抽象と具体の橋渡し」が可能になることで、
多くの未解決問題や理論が統一的に理解できるようになると期待されています。
次回はついに、唯一はっきりと「解決されている」ミレニアム問題――
ポアンカレ予想を取り上げます！
抽象度は高いけど、ストーリーは激アツ。ぜひお楽しみに！