[論文レビュー] Holomorphic curves in exploded manifolds: Kuranishi structure

Brett Parker|arXiv (Cornell University)|Jan 21, 2013

Geometric and Algebraic Topology参考文献 23被引用数 9

ひとこと要約

本稿では、滑らかでない多様体における正則曲線のモジュライスタックを、C∞,1安定曲線の周囲モジュライスタックに埋め込むことで、埋め込みカランシ構造を構成する。有限次元の部分層と∂̄作用素の線形化の横断性を用い、互換性があり、G-不変なカランシチャートとt-自明化を構築し、仮想基本類の構成を可能にするとともに、Fukaya–Ono風の方向データにより整数係数のGromov–Witten不変量の構成へ道筋を示す。

ABSTRACT

This paper constructs a Kuranishi structure for the moduli stack of holomorphic curves in exploded manifolds. To avoid some technicalities of abstract Kuranishi structures, we embed our Kuranishi structure inside an ambient moduli stack of not-necessarily-holomorphic curves. The construction also works for the moduli stack of holomorphic curves in any compact symplectic manifold.

研究の動機と目的

• 滑らかでない多様体を超える枠組みで、爆発多様体内の正則曲線のモジュライスタックにカランシ構造を構築すること。
• 抽象的カランシ構造を定義する際の技術的困難を回避するため、必ずしも正則的でないC∞,1曲線の周囲モジュライスタックに埋め込むこと。
• 仮想基本類の構成を可能にし、最終的にはFukaya–Ono風の方向データを用いた整数係数Gromov–Witten不変量の構成を実現すること。
• t-自明化とG-不変な貼り合わせを用いて、評価写像とグローバルに安定してほぼ複素構造と整合性を保つこと。

提案手法

• 抽象的カランシ構造に起因する技術的問題を避けるために、正則曲線のモジュライスタックをC∞,1安定曲線の周囲モジュライスタックMstに埋め込む。
• 局所カランシチャート(U, V, ˆf/G)を定義し、VをMst上の層Yの有限次元部分層とし、Uは∂̄h ∈ Vを満たす解をパラメトライズする。
• 線形化された∂̄作用素D∂̄の横断性を用い、解空間が滑らかに切り取られていることを保証し、局所商空間表現を可能にする。
• 接空間の分解から得られる接続を用い、t方向に沿った平行移動により、Gi-不変なt-自明化を構成する。
• Gi-不変な分区画を用いて局所t-自明化を貼り合わせ、グローバルな整合性を達成し、Φ-部分被覆性と包含写像との整合性を保つ。
• 評価写像と方向データとの整合性を保つために、TΦと可換であり、べき零方向を保存するt-自明化を構築する。

実験結果

リサーチクエスチョン

• RQ1 抽象的カランシ形式主義に依存せずに、爆発多様体内の正則曲線にカランシ構造を構築する方法は何か？
• RQ2 C∞,1曲線の周囲モジュライスタックは、カランシチャートの構成をどのように簡素化するか？
• RQ3 重なり合うチャート間で、G-不変かつΦ-部分被覆的で整合性のあるt-自明化を構築できるか？
• RQ4 カランシ構造において、評価写像と方向データとの整合性をどのように保証できるか？
• RQ5 爆発カテゴリにおけるD∂̄を複素写像にホモトープする操作を用いて、グローバルに定義された安定してほぼ複素構造を構築できるか？

主な発見

• 正則曲線のモジュライスタックは、C∞,1安定曲線の周囲モジュライスタックに埋め込まれることで、爆発多様体内に埋め込みカランシ構造が構成された。
• コンパクト性の仮定の下で、任意の2つのこのようなカランシ構造はホモトープ的であることが保証され、同値を除いて一意的であることが示された。
• Gi-不変な接続と分区画の貼り合わせを用いてt-自明化が構成され、Φ-部分被覆性と包含写像との整合性が保たれた。
• 得られたカランシチャートは評価写像と整合し、D∂̄を複素写像にホモトープすることで、グローバルに定義された安定してほぼ複素構造を備えた。
• 抽象的カランシ理論における技術的障害を回避でき、仮想基本類の構成が可能となり、整数係数Gromov–Witten不変量の構築を支える基盤が整った。