[論文レビュー] Geometry of the Maurer-Cartan equation near degenerate Calabi-Yau varieties

Kwokwai Chan, Naichung Conan Leung+1 more|arXiv (Cornell University)|Feb 28, 2019

Geometry and complex manifolds参考文献 51被引用数 11

ひとこと要約

本稿は、局所的スムージングデータを備えた退化したカラビ＝ヤウ多様体から、ほぼ微分的graded Batalin-Vilkovisky代数（almost dgBV）を構成し、ホッジからde Rhamへの退化およびホッジバンドルの自由性の下で、滑らかさの障害がないことを示す統一的枠組みを提供する。これは、ボゴモロフ＝ティアン＝トドロフ型の障害なし定理を確立し、形式的拡張モジュライ空間上に対数的フロベニウス多様体構造を示す。

ABSTRACT

Given a degenerate Calabi-Yau variety $X$ equipped with local deformation data, we construct an almost differential graded Batalin-Vilkovisky (dgBV) algebra $PV^{*,*}(X)$, producing a singular version of the extended Kodaira-Spencer differential graded Lie algebra (dgLa) in the Calabi-Yau setting. Assuming Hodge-to-de Rham degeneracy and a local condition that guarantees freeness of the Hodge bundle, we prove a Bogomolov-Tian-Todorov--type unobstructedness theorem for smoothing of singular Calabi-Yau varieties. In particular, this provides a unified proof for the existence of smoothing of both $d$-semistable log smooth Calabi-Yau varieties (as studied by Friedman and Kawamata-Namikawa and maximally degenerate Calabi-Yau varieties (as studied by Kontsevich-Soibelman and Gross-Siebert). We also demonstrate how our construction yields a logarithmic Frobenius manifold structure on a formal neighborhood of $X$ in the extended moduli space by applying the technique of Barannikov-Kontsevich.

研究の動機と目的

• 退化したカラビ＝ヤウ多様体のための、コーディア＝スペンサー dgBV代数の特異的類似を構築すること。
• d-半安定な対数的滑らかおよび最大に退化したカラビ＝ヤウ多様体の両方のスムージング存在の証明を統一すること。
• ホッジからde Rhamへの退化およびホッジバンドルの自由性の下で、特異なカラビ＝ヤウスムージングに対してボゴモロフ＝ティアン＝トドロフ型の障害なし定理を確立すること。
• 最大に退化したカラビ＝ヤウ多様体の近傍における形式的拡張モジュライ空間上に、対数的フロベニウス多様体構造を構築すること。

提案手法

• 退化したカラビ＝ヤウ多様体 $X$ 上の局所変形データから、局所からグローバルへのČech-de Rham貼り合わせ手続きを用いて、ほぼdgBV代数 $\prescript{}{}{PV}^{*,*}(X)$ を構成する。
• 非局所的に自明でない厚みの変形による非自明な位相的変化を捉えるために、単体的構成を用いる。
• グロス＝シエベルにインspiredされた除法的対数変形理論を用いて、局所モデル $\mathbb{V}_{\tau}^\dagger$ 及びその厚み $\prescript{k}{}{\mathbb{V}}^\dagger_{\tau}$ を定義する。
• バランニコフ＝コンツェビッチの技法を用いて、$X$ の拡張モジュライ空間から対数的フロベニウス多様体構造を導出する。
• 変形の障害なしを保証するために、ホッジからde Rhamへの退化およびホッジバンドルの局所的自由性条件に依存する。
• ホッジフィルトレーションとは逆の重みフィルトレーションを用い、トレース写像を定義して、フロベニウス構造のペアリング $\prescript{0}{}{\mathtt{p}}$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 退化したカラビ＝ヤウ多様体のスムージングを支配する、コーディア＝スペンサー dgBV代数の特異的類似を構築できるか？
• RQ2 提案されたほぼdgBV代数は、そのモーラー＝カルタン方程式によって幾何的スムージングを支配するか？
• RQ3 d-半安定および最大に退化したカラビ＝ヤウ多様体の両方のスムージングに対して、統一された障害なし定理を導出できるか？
• RQ4 最大に退化したカラビ＝ヤウ多様体の拡張モジュライ空間は、対数的フロベニウス多様体構造を有するか？
• RQ5 ペアリング $\prescript{0}{}{\mathtt{p}}$ が非退化となる条件は何か、これによりフロベニウス構造が可能になるか？

主な発見

• 退化したカラビ＝ヤウ多様体 $X$ 上の局所変形データから、非局所的に自明でない厚みによる非自明な位相的変化を捉える、ほぼdgBV代数 $\prescript{}{}{PV}^{*,*}(X)$ が構成される。
• ホッジからde Rhamへの退化およびホッジバンドルの自由性の下で、$\prescript{}{}{PV}^{*,*}(X)$ のモーラー＝カルタン方程式は $X$ の障害なしスムージングを支配する。
• この構成により、$d$-半安定な対数的滑らかおよび最大に退化したカラビ＝ヤウ多様体の両方のスムージング存在の証明が統一的に得られる。
• ペアリング $\prescript{0}{}{\mathtt{p}}$ が非退化であると仮定すると、$X$ の近傍における形式的拡張モジュライ空間 $\hat{S}_{T}^\dagger$ 上に、対数的フロベニウス多様体構造が存在することが示される。
• 多様体 $\mathsf{V}_{\tau} \setminus \mathscr{Z}$ 上の微分形式のコホモロジー的分解は、$P_{\tau}$-同次成分および除数群の交差によって記述される。
• トレース写像 $\operatorname{tr}$ は、同型 $H^d(X, j_*(\Omega^d_{X^\dagger/\prescript{0}{}{S}^\dagger})) \cong \mathbb{C}$ を誘導し、フロベニウス構造に必要な双対性を支持する。