[論文レビュー] Homological mirror symmetry for hypertoric varieties II (with an Appendix written jointly with Laurent Côté and Justin Hilburn)

Benjamin Gammage, Michael McBreen+1 more|arXiv (Cornell University)|Mar 19, 2019

Algebraic structures and combinatorial models参考文献 48被引用数 16

ひとこと要約

本稿は、Aモデルにおける滑らかなラグランジュ的スケルトンとBモデルにおける非可換解消の一致を用いて、乗法的ハイパートーリック多様体のホモロジカルミラー対称性の同値性を確立する。超ケーラー t-構造を用いてSYZ双対性を明確にし、導来同値性が perverse schobers を介してモノドロミー自己同型へ拡張されることにより、K理論的 Coulomb 分岐のミラー対称性のプロトタイプが得られる。

ABSTRACT

In this paper, we prove a homological mirror symmetry equivalence for pairs of multiplicative hypertoric varieties, and we calculate monodromy autoequivalences of these categories by promoting our result to an equivalence of perverse schobers. We prove our equivalence by matching holomorphic Lagrangian skeleta, on the A-model side, with non-commutative resolutions on the B-model side. The hyperkähler geometry of these spaces provides each category with a natural t-structure, which helps clarify SYZ duality in a hyperkähler context. Our results are a prototype for mirror symmetry statements relating pairs of K-theoretic Coulomb branches.

研究の動機と目的

• 加法的ハイパートーリック多様体に関する既存の結果を拡張し、乗法的ハイパートーリック多様体の対についてホモロジカルミラー対称性の同値性を確立すること。
• 両方の A モデルおよび B モデルのカテゴリに自然な t-構造を備えることで、超ケーラー幾何が SYZ 双対性に果たす役割を明確にすること。
• ミラー対称性の同値性を perverse schobers の同値性へと拡張することで、導来カテゴリのモノドロミー自己同型を計算すること。
• 3次元および4次元の超対称ゲージ理論における K理論的 Coulomb 分岐を関連付けるミラー対称性の主張のプロトタイプを提供すること。
• 複素モーメントマップパラメータ β と Kähler 的パラメータ α = γ·exp(δ) の間の正確な関係を形式化すること。ここで γ は H²(U; R/Z) に値をとる B フィールドである。

提案手法

• unimodular部分トーラス T ⊂ (C×)ⁿ による (T*Cⁿ)◦ のハイパーハミルトニアン還元として乗法的ハイパートーリック多様体を構成する。
• Aモデル側で、整備された可積分系構造とノード的トーラスファイバーを活用し、Fukayaカテゴリを滑らかなラグランジュ的スケルトンでモデル化する。
• Bモデル側で、パラメータ γ ∈ T∨R を用いてキルワン写像を介して H²(U; R/Z) にクラスを定義することで、ミラーを代数的多様体の非可換解消として実現する。
• t-構造の一致とマイクロ局所層理論を用いて、Aモデルの Fukaya カテゴリと Bモデルの両立層の導来カテゴリの間の導来同値性を確立する。
• perverse schobers の理論を適用し、導来同値性をモノドロミー作用を捉えるカテゴリの同値性へと上げる、特に特異ファイバー回りのモノドロミーを含む。
• マイクロ局所層理論（特に特化関手とフーリエ＝サト変換を含む）を用いて特異的サポートを分析し、層 H のコホロロジーがそのチャンバ ∆ におけるスターブに同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジカルミラー対称性は、加法的ハイパートーリック多様体から乗法的ハイパートーリック多様体へどのように拡張可能か？
• RQ2 ミラー対称性の下で、複素モーメントマップパラメータ β と Kähler 的パラメータ α = γ·exp(δ) の間の正確な関係は何か？
• RQ3 モノドロミー自己同型は、乗法的ハイパートーリック多様体の導来カテゴリにどのように生じるのか？そして、カテゴリカルにどのように記述できるか？
• RQ4 超ケーラー構造は、Aモデルおよび Bモデルのカテゴリに自然な t-構造をどのように与え、SYZ 双対性をどのように明確にするのか？
• RQ5 ミラー対称性の同値性を、モノドロミー情報を符号化するために perverse schobers の同値性へと拡張できるか？

主な発見

• 本稿は、乗法的ハイパートーリック多様体 U(β,α) の Fukaya カテゴリとそのミラー（Bフィールド γ に依存する非可換解消である）の両立層の導来カテゴリの間でホモロジカルミラー対称性の同値性を証明する。
• 同値性は、Aモデルにおける滑らかなラグランジュ的スケルトンと Bモデルにおける非可換解消の一致を、超ケーラー t-構造を用いてカテゴリを一致させることで確立する。
• モノドロミー自己同型は、ミラー対称性の同値性を perverse schobers の同値性へと上げることで計算され、特異ファイバー回りのモノドロミー作用を符号化する。
• マイクロ局所解析と特化関手を用いて、層 H の特異的サポートが ∆(Λ) の閉包、つまり極双対コンビネーションの和集合に含まれることが示される。
• H∗(V, H) がそのスターブ H∆ に同型であることが示され、これは H がチャンバ ∆ から遠ざかり、制限写像にマイクロ局所モルス補題が適用可能であるという事実に起因する。
• パラメータ α = γ·exp(δ) は Aモデルにおける複素化されたシンプレクティック形式を制御するが、β は Bモデルの代数的構造を制御し、ミラー対称性の下でこれらは交換される。