Mirror Symmetry

Mirror symmetry という現象があるらしい。Calabi-Yau 多様体という\(3\)次元の代数多様体とその mirror と呼ばれるものの間の関係らしいが, どうゆうわけか数理物理で発見 (予想) されたことらしい。Mirror symmetry で対応している多様体 の間には様々な関係がある。例えば, elliptic genus が等しい [GO08] など。

Mirror symmetry を理解するためには, とりあえず以下のことが必要である。

Mirror symmetry の解説としては、Kapustin と Orlov の [KO04] が分かりやすい。

それによると, mirror symmetry とは, 元々はある種の conformal field theory のなす集合における関係らしい。その conformal field theory が Calabi-Yau 多様体から得られることが多いので, Calabi-Yau 多様体の間の対応として定式化された。 より正確には, Witten の [Wit92] をみるとよい。それによると mirror symmetry conjecture とは, ある Calabi-Yau 多様体上の A-model という topological field theory とその mirror manifold 上の B-model という topological field theory の間の対応がある, ということらしい。

実際, toric variety については conformal field theory の間の同値と対応していることが, Frenkel と Losev の [FL07] で示されている。彼等は, その過程で A-model と B-model の中間に位置する I-model を考えることを提唱している。

Costello の [Cos07] の Introduction によると, その A-model を数学的にきちんと構成したのが Gromov-Witten invariant の理論らしい。

  • Gromov-Witten invariant

Toric variety そのものでなくても, toric variety の subvariety になっている Calabi-Yau 多様体についても, 結構良いことが成り立つ。 Batyrev の [Bat94] では, toric variety の hypersurface になっている Calabi-Yau 多様体に対し, Batyrev と Borisov の [BB96] では, complete intersection になっているものに対し, 凸多面体の組み合せ論を用いて, その mirror になるべき Calabi-Yau 多様体が構成されている。 Batyrev と Nill の [BN08] も見るとよい。Mirror symmetry が組み合せ論的なデータで記述できるのは興味深い。

Mirror になっている pair の構成に関しては, Strominger と Yau と Zaslow [SYZ96] による予想がある。これについては, Mark Gross の解説 [Gro] が分かりやすい。

  • SYZ 予想

Strominger と Yau と Zaslow の予想は special Lagrangian torus fibration についてのものであるが, その topological analogue, つまり special Lagrangian という条件を除いた場合を Gross が [Gro01] で考えている。

Gross は Siebert と [GS06] で, この二つの mirror pair の構成へのアプローチ, Batyrev と Borisov のものと Strominger と Yau と Zaslow のもの, を合わせるために, Calabi-Yau 多様体の toric degeneration という概念を導入した。 彼等自身による解説 [GS11] がある。 Real affine manifold やその polyhedral decomposition, そして tropical geometry などが使われていて面白い。

Borisov [Bor] は, vertex operator algebra との関係も調べている。

Postnikov は [Pos01] で complex flag manifold の Gromov-Witten invariant の対称性を調べている。

Costello のその論文とその続編 [Cos] での主題は, Kontsevich による \(A_{\infty }\)-category に関することである。

Kontsevich は, ICM 1994 で Fukaya のアイデア [Fuk97] に基づいて, mirror symmetry を多様体上の derived category の間の duality と解釈するというアイデアを発表した, らしい。Homological mirror symmetry conjecture と呼ばれている。解説としては, Ballard の [Bal08] がある。

  • Fukaya category
  • Calabi-Yau 多様体に対する Homological Mirror Symmetry Conjecture

Kontsevich のアイデアに忠実に従っているのが Polishchuk で, elliptic curve の場合に Kontsevich の予想を証明したようである。

そのアイデアを superstring theory で押しすすめ, D-brane の理論が “categorical” になってきている。 例えば, Lazaroiu の preprint [Laz03] にある解説を読むとよい。

Kontsevich や深谷のアイデアを理解するためには, まず以下のことが必要である。

具体的な空間の Fukaya category が分かれば, 理解の助けになることは当然であるが, あまり詳しいことは分っていないようである。 Abouzaid が [Abo08] で Riemann 面の Fukaya category の \(K\)-theory を調べている。

Abouzaid の [Abo09] の Introduction は Kontsevich の Homological Mirror Symmetry Conjecture の現況を知るのによい。それによると, Kontsevich は, Fano 多様体への予想の拡張も立てているらしい。その Abouzaid の論文は, toric variety の場合に tropical (algebraic) geometry を用いて調べているという点で興味深い。

もちろん, mirror symmetry を理解するためには, Calabi-Yau 多様体について知る必要がある。Calabi-Yau 多様体のホモロジーは [BK06] で調べられている。それによると, mirror symmetry で Betti 数だけでなく torsion part も入れ替わるらしい。

Mirror symmetry は braid 群とも関係があるらしい。 [Tho01] という論文がある。Bridgeland の stability condition に関する予想についての Ishii, Ueda, Uehara の [IUU10] でも homological mirror symmetry が用いられている。

非可換幾何への一般化を考えている人もいる。 Kajiura の [Kaj] などである。

\(7\)次元 \(G_2\)-manifold とそのある\(3\)次元 submanifold は Calabi-Yau 多様体の上の holomorphic curve と良く似ていると, Akbulut と Salur の [AS10] に書いてある。

References

[Abo08]

Mohammed Abouzaid. “On the Fukaya categories of higher genus surfaces”. In: Adv. Math. 217.3 (2008), pp. 1192–1235. arXiv: math/0606598. url: http://dx.doi.org/10.1016/j.aim.2007.08.011.

[Abo09]

Mohammed Abouzaid. “Morse homology, tropical geometry, and homological mirror symmetry for toric varieties”. In: Selecta Math. (N.S.) 15.2 (2009), pp. 189–270. arXiv: math/0610004. url: http://dx.doi.org/10.1007/s00029-009-0492-2.

[AS10]

Selman Akbulut and Sema Salur. “Mirror duality via \(G_2\) and \(\mathrm{Spin}(7)\) manifolds”. In: Arithmetic and geometry around quantization. Vol. 279. Progr. Math. Boston, MA: Birkhäuser Boston Inc., 2010, pp. 1–21. arXiv: math/0605277. url: http://dx.doi.org/10.1007/978-0-8176-4831-2_1.

[Bal08]

Matthew Robert Ballard. “Meet homological mirror symmetry”. In: Modular forms and string duality. Vol. 54. Fields Inst. Commun. Providence, RI: Amer. Math. Soc., 2008, pp. 191–224. arXiv: 0801.2014.

[Bat94]

Victor V. Batyrev. “Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties”. In: J. Algebraic Geom. 3.3 (1994), pp. 493–535. arXiv: alg-geom/9310003.

[BB96]

Victor V. Batyrev and Lev A. Borisov. “On Calabi-Yau complete intersections in toric varieties”. In: Higher-dimensional complex varieties (Trento, 1994). Berlin: de Gruyter, 1996, pp. 39–65. arXiv: alg-geom/9412017.

[BK06]

Victor Batyrev and Maximilian Kreuzer. “Integral cohomology and mirror symmetry for Calabi-Yau 3-folds”. In: Mirror symmetry. V. Vol. 38. AMS/IP Stud. Adv. Math. Providence, RI: Amer. Math. Soc., 2006, pp. 255–270. arXiv: math/0505432.

[BN08]

Victor Batyrev and Benjamin Nill. “Combinatorial aspects of mirror symmetry”. In: Integer points in polyhedra—geometry, number theory, representation theory, algebra, optimization, statistics. Vol. 452. Contemp. Math. Providence, RI: Amer. Math. Soc., 2008, pp. 35–66. arXiv: math/0703456. url: http://dx.doi.org/10.1090/conm/452/08770.

[Bor]

Lev A. Borisov. Introduction to the vertex algebra approach to mirror symmetry. arXiv: math/9912195.

[Cos]

Kevin J. Costello. The Gromov-Witten potential associated to a TCFT. arXiv: math/0509264.

[Cos07]

Kevin Costello. “Topological conformal field theories and Calabi-Yau categories”. In: Adv. Math. 210.1 (2007), pp. 165–214. arXiv: math/0412149. url: http://dx.doi.org/10.1016/j.aim.2006.06.004.

[FL07]

Edward Frenkel and Andrei Losev. “Mirror symmetry in two steps: A-I-B”. In: Comm. Math. Phys. 269.1 (2007), pp. 39–86. arXiv: hep-th/0505131. url: http://dx.doi.org/10.1007/s00220-006-0114-1.

[Fuk97]

Kenji Fukaya. “Morse homotopy and its quantization”. In: Geometric topology (Athens, GA, 1993). Vol. 2. AMS/IP Stud. Adv. Math. Providence, RI: Amer. Math. Soc., 1997, pp. 409–440.

[GO08]

Vassily Gorbounov and Serge Ochanine. “Mirror symmetry formulae for the elliptic genus of complete intersections”. In: J. Topol. 1.2 (2008), pp. 429–445. arXiv: math/0603196. url: http://dx.doi.org/10.1112/jtopol/jtm014.

[Gro]

Mark Gross. The Strominger-Yau-Zaslow conjecture: From torus fibrations to degenerations. arXiv: 0802.3407.

[Gro01]

Mark Gross. “Topological mirror symmetry”. In: Invent. Math. 144.1 (2001), pp. 75–137. arXiv: math/9909015. url: http://dx.doi.org/10.1007/s002220000119.

[GS06]

Mark Gross and Bernd Siebert. “Mirror symmetry via logarithmic degeneration data. I”. In: J. Differential Geom. 72.2 (2006), pp. 169–338. arXiv: math/0309070. url: http://projecteuclid.org/euclid.jdg/1143593211.

[GS11]

Mark Gross and Bernd Siebert. “An invitation to toric degenerations”. In: Surveys in differential geometry. Volume XVI. Geometry of special holonomy and related topics. Vol. 16. Surv. Differ. Geom. Int. Press, Somerville, MA, 2011, pp. 43–78. arXiv: 0808.2749. url: https://doi.org/10.4310/SDG.2011.v16.n1.a2.

[IUU10]

Akira Ishii, Kazushi Ueda, and Hokuto Uehara. “Stability conditions on \(A_{n}\)-singularities”. In: J. Differential Geom. 84.1 (2010), pp. 87–126. arXiv: math/0609551. url: http://projecteuclid.org/euclid.jdg/1271271794.

[Kaj]

Hiroshige Kajiura. Homological mirror symmetry on noncommutative two-tori. arXiv: hep-th/0406233.

[KO04]

A. N. Kapustin and D. O. Orlov. “Lectures on mirror symmetry, derived categories, and D-branes”. In: Uspekhi Mat. Nauk 59.5(359) (2004), pp. 101–134. arXiv: math/0308173. url: http://dx.doi.org/10.1070/RM2004v059n05ABEH000772.

[Laz03]

C. I. Lazaroiu. “D-brane categories”. In: Internat. J. Modern Phys. A 18.29 (2003), pp. 5299–5335. arXiv: hep-th/0305095. url: http://dx.doi.org/10.1142/S0217751X03015763.

[Pos01]

Alexander Postnikov. “Symmetries of Gromov-Witten invariants”. In: Advances in algebraic geometry motivated by physics (Lowell, MA, 2000). Vol. 276. Contemp. Math. Providence, RI: Amer. Math. Soc., 2001, pp. 251–258. arXiv: math/0009174.

[SYZ96]

Andrew Strominger, Shing-Tung Yau, and Eric Zaslow. “Mirror symmetry is \(T\)-duality”. In: Nuclear Phys. B 479.1-2 (1996), pp. 243–259. arXiv: hep-th/9606040. url: http://dx.doi.org/10.1016/0550-3213(96)00434-8.

[Tho01]

R. P. Thomas. “Mirror symmetry and actions of braid groups on derived categories”. In: Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds (Cambridge, MA, 1999). Vol. 23. AMS/IP Stud. Adv. Math. Amer. Math. Soc., Providence, RI, 2001, pp. 363–377. arXiv: math/0001044.

[Wit92]

Edward Witten. “Mirror manifolds and topological field theory”. In: Essays on mirror manifolds. Hong Kong: Internat. Press, 1992, pp. 120–158. arXiv: hep-th/9112056.