トーリック退化からホモロジー的ミラー対称性を構成
On intrinsic homological mirror symmetry for toric degenerations
この論文をやさしく読む
ひとことで言うと
異なる二つの幾何の対応であるミラー対称性を、多様体が退化するときのモノドロミーから構成する数学研究です。対応先の候補と、圏の間の埋め込みを作ります。
何に役立つ？
ミラー対称性を証明する際に必要な幾何学的な構成を整理できます。特に、どのラグランジュ切断を作ればよいかという具体的な問題へ研究を集約する手がかりになります。
この研究の面白いところ
反復したモノドロミーの固定点Floerコホモロジーから環を作り、その環からミラー族の候補を取り出します。代数的な構成とシンプレクティック幾何をつなぐ手順が特徴です。
どこまで分かった？
環の可換性とトロピカル・ラグランジュ切断の存在が仮定です。要旨では特定の退化での検証と充満忠実な埋め込みを報告しており、すべての対象で圏同値が得られたとは述べていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文では、PerutzとSiebertの提案、およびGross–Siebertの内在的ミラー対称性プログラムに着想を得て、ホモロジー的ミラー対称性のFloer理論的側面を研究する。穴あき円板上の滑らかな射影的Calabi–Yau多様体の極大ユニポテント退化が与えられたとき、退化のモノドロミーを繰り返した写像の固定点Floerコホモロジー群に、パンツ積を備えることで環を構成する。この環が可換であるという仮定の下で、相対Proj構成によって定義されるミラー族の候補を考えることができる。 さらに、滑らかなファイバーX_tが、いわゆるトロピカル・ラグランジュ切断を含むと仮定し、ミラー族の候補上の完全複体の導来圏からX_tの深谷圏への充満忠実な埋め込みを構成する。特定のBatyrev–Borisov型トーリック退化、およびGross–Siebertの再構成アルゴリズムから生じるCalabi–Yau三次元多様体のいくつかのトーリック退化について、この二つの仮定を検証する。この二つの幾何学的仮説は、いずれもCalabi–Yau多様体の極大ユニポテント退化に対するミラー対称性の一般的な研究を支えるように定式化されており、ホモロジー的ミラー対称性を証明するためのシンプレクティック幾何側の入力を、大部分、トロピカル・ラグランジュ切断の構成問題へ帰着させる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
This paper studies the Floer-theoretic aspects of homological mirror symmetry inspired by proposals of Perutz and Siebert and the Gross--Siebert intrinsic mirror symmetry program. Given a maximally unipotent degeneration of smooth projective Calabi--Yau manifolds over the punctured disk, we construct a ring using the fixed point Floer cohomology groups of the iterates of the monodromy of the degeneration equipped with the pair of pants product. Under the assumption that this ring is commutative, we can consider a candidate mirror family defined by the relative Proj construction. Further assuming that a smooth fiber $X_t$ contains a so-called tropical Lagrangian section, we construct a fully faithful embedding from the derived category of perfect complexes on our candidate mirror family into the Fukaya category of $X_t$. We verify both of these assumptions for certain Batyrev--Borisov toric degenerations, as well as some toric degenerations of Calabi--Yau threefolds coming from the Gross--Siebert reconstruction algorithm. These two geometric hypotheses are both phrased to support the general study of mirror symmetry for maximally unipotent degenerations of Calabi--Yau manifolds, largely reducing the symplectic inputs for proving homological mirror symmetry to the problem of constructing tropical Lagrangian sections.
著者のコメント
v1: 89 pages, no figures
arXiv ID: 2609.21720 ／ 要約の誤りについて