[論文レビュー] Algebraic virtual cycles for quantum singularity theories

Huai-Liang Chang, Young Hoon Kiem+1 more|arXiv (Cornell University)|Jun 1, 2018

Algebraic Geometry and Number Theory参考文献 9被引用数 6

ひとこと要約

本稿では、フーリエ＝ムカイ型の積分変換を用いて、量子特異性理論の代数的仮想サイクルを構成し、FJRW不変量のコhomological field theoryが代数的サイクルを介して実現可能であることを示している。特異点のブローアップによる解消と同型局在化を適用することで、FJRW不変量が狭いおよび広いセクターの両方で計算可能な、固有のモジュライ空間上の仮想サイクルを構築している。

ABSTRACT

We construct algebraic virtual cycles that give us the cohomological field theories of Fan-Jarvis-Ruan invariants by integral transformations.

研究の動機と目的

• 代数的サイクルを用いて、量子特異性理論のコhomological field theoryを完全に代数的に構成すること。
• G-スピン曲線のモジュライ空間の非固有性の問題を、特異点における基底空間のブローアップを導入することによって解決すること。
• 滑らかなブローアップへのデータの持ち上げを通じて、特異基底空間に対しても同型局在化原理を拡張し、仮想サイクルの構成を可能にすること。
• 行列因子化理論と古典的代数幾何学を結ぶために、代数的仮想サイクルを用いた積分変換によりFJRW不変量を実現すること。
• 特異点の解消を用いて、従来の狭いセクターに関する結果を広いセクターへ一般化し、交差ホモロジーを用いた仮想サイクルを構築すること。

提案手法

• 原点で基底空間 $ Z $ をブローアップし、滑らかくなるように $ Z' $ を得る。すべての幾何的データを $ Y' $, $ E' $, $ s' $, $ \rho' $, $ \tilde{p} $ に持ち上げる。
• 滑らかな準同型 $ \boldsymbol{q}': Y' \to Z' $ を構成し、$ X' $ を $ s' $ の零点集合として定義する。$ S' = X' \times_{Z'} S $ は固有である。
• 文献[12]の同型局在化原理を滑らかな設定に適用し、局所化仮想サイクル $ [X']^{\mathrm{vir}}_{\mathrm{loc}} \in A_*(S') $ を得る。
• 仮想プッシュバック $ s^{!}_{\sigma} $ と精密なギジン写像を用いて、仮想サイクルを $ S $ へプッシュフォワードする。これにより、元の不変量と整合性が保証される。
• $ H_*(Z') \to H_*(S') \to H_*(S) $ を含む可換図式を確立し、FJRW不変量が積分変換を介してプッシュフォワードとして現れることを示す。
• 射影公式とファイバー図式の恒等式を用いて、仮想サイクル $ [X']^{\mathrm{vir}}_{\mathrm{loc}} $ が元の不変量と所定の整合性を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 FJRW不変量のコhomological field theoryは、狭いおよび広いセクターの両方において、代数的仮想サイクルを用いて構成可能か？
• RQ2 G-スピン曲線の文脈において、特異基底空間に同型局在化原理をどのように拡張できるか？
• RQ3 原点における基底空間 $ Z $ のブローアップが、適切な仮想サイクルの構成を可能にする役割は何か？
• RQ4 代数幾何学において、積分変換を介して仮想サイクルのプッシュフォワードとしてFJRW不変量を実現することは可能か？
• RQ5 解消された空間 $ X' $ 上の仮想サイクルは、固有プッシュフォワードを介して元の非固有モジュライ空間 $ X $ とどのように関係するか？

主な発見

• 原点で基底空間 $ Z $ をブローアップした後、同型局在化を用いて、固有モジュライ空間 $ S' $ 上に仮想サイクル $ [X']^{\mathrm{vir}}_{\mathrm{loc}} \in A_*(S') $ を構築した。
• 仮想サイクル $ [X']^{\mathrm{vir}}_{\mathrm{loc}} $ は式 $ s^{!}_{\sigma} [Y'] = [Y'] \cap e_{\sigma}(E', s') $ で与えられ、ギジン写像およびブローアップ構造と整合性を持つ。
• プッシュフォワード $ p_*([X']^{\mathrm{vir}}_{\mathrm{loc}}) $ は、$ S $ 上の仮想サイクル $ [X]^{\mathrm{vir}}_{\mathrm{loc}} $ に等しく、固有準同型による不変量の保存を保証する。
• FJRW不変量は、積分変換を介した仮想サイクルのプッシュフォワードとして実現され、定理5.4の可換図式により、元の理論と整合することが確認された。
• 特異点の解消と交差ホモロジー技術の適用により、従来の狭いセクターに関する結果を広いセクターへ一般化した。
• 重要な恒等式 $ p_*([X']^{\mathrm{vir}}_{\mathrm{loc}} \cap q^*\alpha) = s^{!}_{\sigma} \mathbf{q}^* v $ により、積分変換が $ H_*(S) $ 内で正しい不変量を計算することが確認された。