ホモロジカルミラー対称性予想

ホモロジカルミラー対称性は、マキシム・コンツェビッチにより予想された数学の予想である。物理学者が弦理論を研究することにより、初めて観察されたミラー対称性 (弦理論)と呼ばれる現象の数学的、系統的な説明が求められている。

歴史

1994年のチューリッヒでの国際数学者会議の報告で、コンツェビッチは次のような予想をした。

カラビ-ヤウ多様体のペア X と Y のミラー対称性は、代数多様体 X から構成された三角圏 (X 上の連接層の導来圏)と、もう一つの Y のシンプレクティック多様体から構成される三角圏(深谷圏)の同値性として説明されるのではないか。

エドワード・ウィッテンは、最初に N = (2,2) の超対称性場の理論を位相的ツイストすることで、位相的弦理論のAモデルとBモデルと呼ばれるモデルを記述した。これらのモデルは、リーマン面から普通はカラビ-ヤウ多様体である固定された対象空間上への写像に関係する。数学でのミラー対称性予想の多くは、Y 上のA-モデルと X 上のB-モデルの物理的な同値関係と見なせる。リーマン面が境界を持たない場合は、ワールドシートが閉じた弦を表す。開いた弦については、超対称性を保存する境界条件を導入する必要がある。A-モデルでは、この境界条件として追加された構造（ブレーン構造と言う）を持った Y 上のラグランラジアン部分多様体から導出される。B-モデルは、境界条件として X の上の正則（もしくは代数的）べクトルバンドルを持つ部分多様体から導出される。これらは適当な圏を形成する対象で、AブレーンやBブレーンということもある。圏のモルフィズムは2つのブレーンの間に張られた開いた弦の無質量なスペクトルにより与えられる。

A-モデルとB-モデルの閉じた弦は、単純に弦理論の全体の一部（トポロジカルセクター）と考えられ、また同様に、これらのモデルのブレーン構造は、Dブレーンという力学的対象全体の位相的な近似と考えられる。しかし、弦理論のこの部分から出てくる数学的結果は深く、また難しい問題である。

例

この予想を数学者が証明している例は、数がさほど多くない。コンツェビッチがセミナーで指摘したように、ホモロジカルミラー対称性予想を、楕円曲線の場合にはテータ函数を使うことで証明できるのであろう。この指摘に従い、アレクサンダー・ポリスチュックとエリック・ザスロフは、楕円曲線についてのこの予想の証明をした。深谷賢治は、アーベル多様体についてのこの予想を証明する要素のいくつかを確立した。その後、ヤン・ソイベルマンは、SYZ予想からのアイデアを使い、アフィン多様体上の非特異なトーラスバンドルについての予想の大半を証明した。2003年に、ポール・ザイデルは、四次曲面の場合の予想を証明した。Hausel & Thaddeus (2002)は、SYZ予想の素描を、ヒッチン系とラングランズ双対性の脈絡で説明した。

ホッジ(Hodge)ダイアモンド

下の図のダイアモンドは、「ホッジダイアモンド」と呼ばれ、(p,q)-微分形式の空間の次元 h^p,q の座標を (p,q) として並べたもので、ダイアモンドの形となる。p = 0,1,2, q = 0,1,2 つまり、2-次元の場合には、

                h2,2
          h2,1          h1,2
    h2,0         h1,1         h0,2
          h1,0          h0,1
                h0,0

となる．

1-次元カラビ-ヤウ多様体と見なすことのできる楕円曲線の場合には、ホッジダイアモンドは非常に簡単で、次のようになる。

          1
     1         1
          1    

K3曲面の場合には、2-次元のカラビ-ヤウ多様体と見なすことができるが、ベッチ数たちが、{1, 0, 22, 0, 1}であるから、K3曲面のホッジダイアモンドは次の図のようになる。

                1
          0          0
     1         22         1
          0          0
                1

ところで、3-次元の場合には、面白いことが起きる。ホッジダイアモンドが対角線（斜め線）を中心線として対称なホッジ数を持つペア M and W が存在することがある。

Mのダイアモンド:

                   1
             0          0
        0          a         0
   1         b          b         1
        0          a         0
             0          0
                   1

Wのダイアモンド:

                   1
             0          0
        0          b         0
   1         a          a         1
        0          b         0
             0          0
                   1

この場合には、M と W は弦理論のA-モデルとB-モデルに対応する。なお、ミラー対称性は、ホモロジカルな次元を入れ替えるだけでなく、ミラーペアの上のシンプレクティック構造と複素構造を入れ替える。

関連事項

• 位相的場の理論
• 圏論
• フレアーホモロジー
• 深谷圏
• 導来圏

参考文献

• Kontsevich, Maxim (1994), Homological algebra of mirror symmetry, arXiv:alg-geom/9411018 
• Kontsevich, Maxim; Soibelman, Yan (2000), Homological Mirror Symmetry and torus fibrations, arXiv:math.SG/0011041 
• Seidel, Paul (2003), Homological mirror symmetry for the quartic surface, arXiv:math.SG/0310414 
• 深谷, 賢治 (1999), シンプレクティック幾何学 
• Hausel, Tamas; Thaddeus, Michael (2002), Mirror symmetry, Langlands duality, and the Hitchin system, arXiv:math.DG/0205236