[論文レビュー] Counting real curves without fixed points

Mohammad Farajzadeh Tehrani|arXiv (Cornell University)|May 10, 2012

Geometry and complex manifolds被引用数 1

ひとこと要約

本稿では、固定点を持たないシンプレクティック多様体における genus 0 実曲線の数え上げ理論を、反シンプレクティック自己同型による不変な $J$-擬正則球面のモジュライ空間を研究することによって構築する。等長的局所化を用いて、$
\mathbb{P}^{4n-1}$ 上の2つの標準的自己同型に対して、得られる不変量が本質的に同一であることを示し、ディスクに基づく不変量の枠組みを超えて一般化する。

ABSTRACT

There are two types of $J$-holomorphic spheres in a symplectic manifold invariant under an anti-symplectic involution: those that have a fixed point locus and those that do not. The former are described by moduli spaces of $J$-holomorphic disks, which are well studied in the literature. In this paper, we first study moduli spaces describing the latter and then combine the two types of moduli spaces to get a well-defined theory of counting real curves of genus 0. We use equivariant localization to show that these invariants (unlike the disk invariants) are essentially the same for the two (standard) involutions on $\mathbb{P}^{4n-1}$.

研究の動機と目的

• 固定点集合を持つ曲線に限られる従来の $J$-擬正則ディスクを用いた理論を超えて、固定点集合を持たないシンプレクティック多様体における実曲線の数え上げ理論を拡張すること。
• 反シンプレクティック自己同型の下で不変で固定点を持たない $J$-擬正則球面を記述するモジュライ空間の構築と解析すること。
• 固定点を持つ・持たない両方のタイプの実曲線の数え上げを、genus 0 に対して一貫した不変量理論に統合すること。
• 等長的局所化技術を用いて、$
  \mathbb{P}^{4n-1}$ 上の2つの標準的自己同型に対して、得られる不変量が本質的に同一であることを示すこと。

提案手法

• 固定点を持たない反シンプレクティック自己同型の下で不変な $J$-擬正則球面のモジュライ空間を分析する。
• これらの新しいモジュライ空間を、既に整備された $J$-擬正則ディスクのモジュライ空間と組み合わせることで、実 genus 0 曲線の数え上げの完全な理論を構築する。
• $\mathbb{P}^{4n-1}$ における反シンプレクティック自己同型の文脈で、不変量を計算するために等長的局所化技術を適用する。
• 等長的コホモロジー環の構造を用いて、異なる自己同型の下での不変量を比較する。
• 自己同型によって誘導される $\mathbb{Z}/2\mathbb{Z}$-作用の存在に依存して、局所化された不変量を定義および計算する。
• 不変量が $\mathbb{P}^{4n-1}$ 上の標準的自己同型の選択に依存しないこと（自然な同値関係の下で）を確立する。

実験結果

リサーチクエスチョン

• RQ1 固定点集合を持たない $J$-擬正則球面の genus 0 実曲線をシンプレクティック多様体で数える一貫した不変量理論をどのように定義できるか？
• RQ2 固定点を持たない $J$-擬正則球面のモジュライ空間は、実数の列挙幾何学の広い枠組みにおいて果たす役割は何か？
• RQ3 固定点を持たない球面から得られる不変量は、固定点を持つ曲線を記述する $J$-擬正則ディスクから得られる不変量とどのように比較できるか？
• RQ4 等長的局所化技術を用いて、$\mathbb{P}^{4n-1}$ 上の異なる反シンプレクティック自己同型の下で、得られる数え上げの不変性を示すことができるか？
• RQ5 2つの標準的自己同型の下で得られる不変量は、固定点集合が異なるにもかかわらず、本質的に同一であるか？

主な発見

• 反シンプレクティック自己同型の下で不変で固定点を持たない $J$-擬正則球面のモジュライ空間は、適切に定義されており、実 genus 0 曲線の完全な列挙理論に組み込むことができる。
• これらの球面から得られる不変量はディスク不変量と等価ではなく、固定点の欠如に起因する、別個でより豊かな構造を示している。
• 等長的局所化技術は、不変量の計算に成功し、数え上げ理論における深い対称性を明らかにした。
• $\mathbb{P}^{4n-1}$ において、2つの標準的反シンプレクティック自己同型の下で不変量は本質的に同一であるが、固定点集合は異なる。
• この結果により、強い不変性の性質が確立され、このクラスの多様体において、数え上げ理論が自己同型の選択に敏感でないことが示唆された。