[論文レビュー] Birational invariance in logarithmic Gromov-Witten theory

Dan Abramovich, Jonathan Wise|arXiv (Cornell University)|Jun 5, 2013

Geometric and Algebraic Topology被引用数 3

ひとこと要約

本稿は、対数的滑らか多様体間の対数的修正に関して、対数的グロモフ＝ワインシュタイン不変量の双有理不変性を確立する。障害理論とアーティン・ファンの幾何学を用いて、対数的安定写像のモジュライ空間の仮想基本クラスがこのような修正のもとで保存されることを証明し、これにより、底 scheme からの一次的挿入を持つ不変量が元々の空間と先に移った空間で同一であることが示される。これはマーク・グロスの予想を裏付け、双有理不変性を対数的設定へと拡張するものである。

ABSTRACT

Gromov-Witten invariants have been constructed to be deformation invariant, but their behavior under other transformations is subtle. In this note we show that logarithmic Gromov-Witten invariants are also invariant under appropriately defined logarithmic modifications.

研究の動機と目的

• マーク・グロスが提起した、対数的修正の下での対数的グロモフ＝ワインシュタイン不変量の挙動に関する予想を解決すること。
• 対数的滑らか多様体間の正則的、双有理的、対数的エタールな準同型に関して、対数的グロモフ＝ワインシュタイン不変量が不変であることを確立すること。
• 対数的安定写像のモジュライ空間の仮想基本クラスがこのような修正のもとで保存されることを示すこと。
• 古典的グロモフ＝ワインシュタイン理論における双有理不変性の概念を、障害理論と代数的スタックを用いて、対数的設定へと拡張すること。

提案手法

• 対数的スキーム X への対数的安定写像のモジュライスタック M(X) を構成し、仮想基本クラス [M(X)]vir を備える。
• 正則的、双有理的、対数的エタールな準同型 h: Y → X を対数的修正として定義し、それによって誘導される写像 π: M(Y) → M(X) を研究する。
• アーティン・ファンおよび対数的代数的スタックの理論を用いて、M′(Y → X)（M(Y) と M(X) が log スタック Log(M) を介して引き戻した積）の幾何を分析する。
• 障害理論の技法を適用し、M(X) が Log(M) を基とする相対障害理論と、M(Y) が M′(Y → X) を基とする相対障害理論との間の、引き戻しによる整合性を示す。
• M(X) の完全障害理論が M(Y) のそれへ引き戻されることにより、仮想基本クラスの整合性が保証されることを確立する。
• コステロの仮想引き戻しの定理を適用し、h∗[M(Y)]vir = [M(X)]vir を結論づける。

実験結果

リサーチクエスチョン

• RQ1 対数的安定写像のモジュライ空間の仮想基本クラスは、対数的修正のもとで不変のままであるか？
• RQ2 正則的、双有理的、対数的エタールな準同型によって、対数的滑らか多様体間の対数的グロモフ＝ワインシュタイン不変量はどのように変化するか？
• RQ3 グロモフ＝ワインシュタイン理論における双有理不変性は、対数的設定へと拡張可能か？
• RQ4 対数的修正 h: Y → X の下で、M(X) と M(Y) の障害理論の関係は何か？

主な発見

• 対数的安定写像のモジュライ空間 M(Y) の仮想基本クラスは、M(X) のそれへ引き戻され、すなわち h∗[M(Y)]vir = [M(X)]vir が成り立つ。
• 誘導された写像 π: M(Y) → M(X) は仮想的に双有理的である。これは、対数的構造が自明な稠密な開部分スタック上で同型を誘導することを意味する。
• M(X) が Log(M) を基とする障害理論は、M(Y) が M′(Y → X) を基とする障害理論へ引き戻され、仮想サイクルの整合性が保証される。
• X 上の任意の数的データ ΓX に対して、Y 上に一意に ΓY が存在し、不変量 ⟨α1⋯αn⟩XΓX と ⟨h∗α1⋯h∗αn⟩YΓY が一致するが、それ以外の持ち上げはすべて消える。
• この結果は、一般の双有理的準同型（例えば P² の非トロイダルな吹き上げ）ではなく、トロイダル（対数的）修正に限って成り立つ。
• 主な技術的ステップは、ベースチェイン C = C ×X Y における有理曲線の収縮に沿った引き戻しによる障害理論の同定である。