シンプレクティック幾何学とミラー対称性 — Epoche C2
場面設定 台北、国立台湾大学（NTU）数学系。太平洋沿岸幾何学会議のセッション終了後。深谷圏を用いてシンプレクティック幾何学の代数化を推進する台湾人幾何学者チェンと、超弦理論からミラー対称性を研究するアメリカ人数理物理学者デイビッドが、全く異なる数学的宇宙が交錯する「ホモロジカル・ミラー対称性」の深淵について議論している。 イントロダクション ミラー対称性（Mirror Symmetry）は、元々超弦理論の物理学者たちが発見した驚くべき双対性である。「Aモデル」と呼ばれる空間（シンプレクティック幾何学）での計算結果が、「Bモデル」と呼ばれる全く異なる空間（複素代数幾何学）での計算結果と完全に一致するという現象だ。数学者マキシム・コンツェビッチは1994年にこれを「ホモロジカル・ミラー対称性予想」として純粋数学の言葉で定式化した。本対話では、A側の幾何学を記述する「深谷圏（Fukaya Category）」の難解な構築と、B側の「連接層の導来圏」との間に存在する、陰陽のような対立的相互依存関係をどのように数学的に証明していくかについて議論する。 デイビッド、あなた方物理学者が1989年にミラー対称性を発見したとき、我々数学者は完全に混乱したよ。全く異なる二つのカラビ・ヤウ多様体があって、一方のシンプレクティック幾何学（A側）における有理曲線の数を数える問題が、もう一方の複素構造（B側）の周期積分を計算するだけで解けてしまうなんて、魔術としか思えなかった。 物理学の観点からは非常に自然なことだったんだよ、チェン。弦理論において、弦が伝播する背景空間の形が異なっても、そこから得られる2次元共形場理論が同値になることがある。AモデルとBモデルは、物理的には全く同じ現象の二つの異なる「見え方」に過ぎないんだ。 物理の直観は常に数学をリードしてきた。だが、それを厳密な数学に翻訳したのはコンツェビッチだ。「ホモロジカル・ミラー対称性（HMS）」予想。A側の「深谷圏の導来圏」とB側の「連接層の導来圏」が圏同値になるという、恐ろしく壮大な予想だ。 B側の連接層の導来圏は、代数幾何学の確立された強力なツールだった。問題は君たちのA側だ。「深谷圏」の構築は、技術的な悪夢のように見える。ラグランジュ部分多様体を対象として、その交点の間を結ぶ擬正則円盤を数え上げて射を定義する……。 ええ、まさしく悪夢です。深谷圏は通常の圏ではなく、$A_\infty$-圏（エー・インフィニティ・カテゴリー）になります。結合則が厳密には成り立たず、高次のホモトピーの分だけずれる。さらに悪いことに、擬正則円盤の数え上げには「バブル（泡立ち）」などの解析的な特異点が生じるため、仮想基本類という極めて高度な機械を使わなければならない。 それでも、深谷先生と君たちのグループは、その泥臭い解析的困難を乗り越えて、A側の代数的な骨格を組み上げた。SYZ予想（ストロミンジャー・ヤウ・ザスロウ予想）の幾何学的描像と合わせることで、ミラー対称性の実態がかなり見えてきたんじゃないか？ SYZ予想は美しい。カラビ・ヤウ多様体を、特別なラグランジュ・トーラスのファイバー束として捉え、そのファイバーを「T双対」でひっくり返すことでミラー多様体を得る。幾何学的な意味は非常にクリアになった。しかし、特異ファイバー（トーラスが潰れる場所）でのウォールクロッシング（壁越え）現象の記述が、我々を今も悩ませている。 ウォールクロッシングか。物理では、BPS状態のスペクトルがモジュライ空間の特定の壁を越えるときに不連続にジャンプする現象だね。数学ではドナルドソン・トーマス不変量の変化として記述される。 その通り。最近では、グロスとジーベルトが熱帯幾何学（トロピカル幾何）を用いて、特異ファイバーの周りの情報を組み合わせ論的に再構築する強力なプログラムを推進している。A側の解析的な困難を、熱帯幾何学という骨組みに還元してB側と繋ぐんだ。 物理の直観（SYZ予想）が幾何学的な青写真を描き、熱帯幾何学がそれを代数的に計算可能な形に翻訳し、コンツェビッチのホモロジカル代数（深谷圏）が全体の厳密な枠組みを提供する。これは21世紀の数学の総力戦だね。 全くです。シンプレクティック幾何（A側）は柔らかく大域的で、複素幾何（B側）は硬く局所的だ。この対極にある二つの世界が、圏論という抽象の極みにおいて完全に鏡像（ミラー）として一致する。これは道教の陰陽のシンボルのように、対立する二つの原理が動的な均衡を保っている状態です。 陰陽、か。物理学者は自然界の究極の統一理論を求めているが、ミラー対称性は、数学そのものの奥底に潜む「究極の統一構造」を垣間見せてくれているのかもしれない。 ええ。解析、代数、幾何、そして物理。すべての学問の境界が、この鏡の前では溶け去ってしまいます。次にどの壁を越える（ウォールクロッシング）べきか、まだ我々には見えていませんがね。 弦理論の「ひも」が、我々を正しい方向に導いてくれると信じよう。理論の「交点」で、また新しい定理が生まれるはずだ。 解説 論証の構造: 物理学からの直観的発見（正）に対して、数学的な厳密化・定式化の困難さ（反）を提示し、SYZ予想や熱帯幾何学、圏論といった多様な数学的ツールを統合することで、全く異なる二つの幾何学（A側とB側）が深いレベルで同値になるという「ミラー対称性」の数学的解明（合）に至る過程を論証する。 専門用語の解説: 「ミラー対称性（Mirror Symmetry）」は、弦理論に由来する、シンプレクティック幾何学（Aモデル）と複素幾何学（Bモデル）の間の驚異的な対応関係。「ホモロジカル・ミラー対称性（HMS）」はコンツェビッチによる数学的定式化で、A側の「深谷圏」とB側の「連接層の導来圏」が圏として同値になるという予想。「深谷圏（Fukaya Category）」は、ラグランジュ部分多様体を対象とし、擬正則曲線を数え上げることで射を定義するA側の代数構造（$A_\infty$-圏）。「SYZ予想」は、ミラー多様体をトーラス・ファイバー束の双対（T双対）として幾何学的に構成する予想。「ウォールクロッシング」は、パラメータ空間の境界（壁）を越えるときに不変量（状態数）が不連続に変化する現象。「熱帯幾何学（Tropical Geometry）」は、足し算を「最小値」、掛け算を「足し算」に置き換えた代数系に基づく幾何学で、複雑な図形を折れ線グラフの骨格に還元する。 各話者の立場分析: チェンは純粋数学（シンプレクティック幾何）の立場で、物理学の直観をいかにして厳密で代数的な数学の構造（深谷圏など）に落とし込むかという技術的な困難さと、その結果得られる圏論的な美しさに焦点を当てる。デイビッドは数理物理学（弦理論）の立場で、背後にある物理的現象（T双対性やBPS状態）の直観を提供し、数学がそれを証明していく壮大な過程を俯瞰的に評価する。 言語的特徴: "Fukaya Category"（深谷圏）、"$A_\infty$-category"（$A_\infty$-圏）、"Wall-crossing"（壁越え）といった専門用語に対し、「柔らかい幾何学と硬い幾何学」「道教の陰陽」「鏡像」といった隠喩を用いることで、異分野が交差するミラー対称性の神秘的な対称性を鮮やかに描き出している。 まとめ 得られた知見: 物理学の超弦理論から発見された「ミラー対称性」は、数学者コンツェビッチによって「ホモロジカル・ミラー対称性」として圏論の言葉で厳密に定式化された。シンプレクティック幾何学（A側）の解析的困難は「深谷圏」という高度な代数構造によって克服されつつあり、複素代数幾何学（B側）との驚異的な一致が証明され始めている。 残された問い: SYZ予想が示唆する幾何学的なミラー構成において、特異ファイバーの周辺で発生する解析的な特異性（ウォールクロッシング現象やインスタントン補正）を、いかにして完全に代数的・組み合わせ論的に制御し証明するか。 今後の展望: 「深谷圏」の構築と計算技術の発展、および「熱帯幾何学」を用いたアプローチ（グロス-ジーベルトのプログラムなど）により、ミラー対称性の証明は単なるカラビ・ヤウ多様体にとどまらず、ファノ多様体や一般の特異点理論へとその応用範囲を爆発的に広げ、21世紀数学の統一理論の要となりつつある。 参考文献 M. Kontsevich (1995). "Homological Algebra of Mirror Symmetry". Proceedings of the International Congress of Mathematicians , Vol. 1, 120-139. A. Strominger, S.-T. Yau, and E. Zaslow (1996). "Mirror Symmetry is T-Duality". Nuclear Physics B , 479(1-2), 243-259. K. Fukaya, Y.-G. Oh, H. Ohta, and K. Ono (2009). Anomaly and Topology of D-Branes . Advanced Studies in Pure Mathematics, Math. Soc. Japan. M. Gross and B. Siebert (2011). "From Real Affine Geometry to Complex Geometry". Annals of Mathematics , 174(3), 1301-1428. D. Auroux (2007). "Mirror symmetry and T-duality in the complement of an anticanonical divisor". Journal of Gökova Geometry Topology , 1, 51-91.