[論文レビュー] A compactification of the moduli space of twisted holomorphic maps

Ignasi Mundet i Riera, Gang Tian|ArXiv.org|Apr 22, 2004

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

ひとこと要約

本稿は、変動する複素構造とエネルギー有界性を伴うねじれ全純写像のモジュライ空間のコンパact化を構成し、ノード曲線の退化と、ノード付近でセクションが $-\mathbf{i}\mu$ の勾配流線の鎖へ退化するという新しい現象を組み込む。主な貢献は、コンツェビッチの安定写像に類似した安定コンパクト化を提供することであり、これによりヤン・ミルズ・ヒッグス汎関数の枠組みでハミルトニアン・グロモフ＝ウィッテン不変量を定義可能となる。

ABSTRACT

We construct a compactification of the moduli space of twisted holomorphic maps with varying complex structure and bounded energy. For a given compact symplectic manifold $X$ with a compatible complex structure and a Hamiltonian action of $S^1$ with moment map $μ:X o\imag\RR$, the moduli space which we compactify consists of equivalence classes of tuples $(C,P,A,ϕ)$, where $C$ is a smooth compact complex curve of fixed genus, $P$ is a principal $S^1$ bundle over $C$, $A$ is a connection on $P$ and $ϕ$ is a section of $P imes_{S^1}X$ satisfying $$\ov{\partial}_Aϕ=0,\qquad ι_{v}F_A+μ(ϕ)=c,$$ where $F_A$ is the curvature of $A$, $v$ is the restriction on $C$ of a volume form on the universal curve over $\oM_g$ and $c$ is a fixed constant. Two tuples $(C,P,A,ϕ)$ and $(C',P',A',ϕ')$ are equivalent if there is a morphism of bundles $ρ:P o P'$ lifting a biholomorphism $C o C'$ such that $ρ^*A'=A$ and $ρ^*ϕ'=ϕ$. The energy of $(C,P,A,ϕ)$ is $\|F_A\|_{L^2}^2+\|d_Aϕ\|_{L^2}^2 +\|μ(ϕ)-c\|_{L^2}^2$, and the topology of the moduli space is the natural one. We also incorporate marked points in the picture. There are two sources of non compactness. First, bubbling off phenomena, analogous to the one in Gromov--Witten theory. Second, degeneration of $C$ to nodal curves. In this case, there appears a phenomenon which is not present in Gromov--Witten: near the nodes, the section $ϕ$ may degenerate to a chain of gradient flow lines of $-\imagμ$.

研究の動機と目的

• 固定された複素構造にとどまらず、基礎となる曲線の退化を含めたねじれ全純写像のコンパクト化を拡張すること。
• ねじれ写像のモジュライ空間におけるバブルとノード的退化によって生じる非コンパクト性を解消すること。
• ノード曲線のノード付近でセクションが $-\mathbf{i}\mu$ の勾配流線の鎖へ退化するという、新たな幾何的現象を組み込むこと。
• コンツェビッチの安定写像に類似した安定コンパクト化を定義し、シンプレクティックトポロジーにおける不変量の定義に適したものとすること。
• エネルギーと曲率の制御としてヤン・ミルズ・ヒッグス汎関数を用いたトポロジカルなコンパクト化を確立すること。

提案手法

• 固定された genus と標識点をもつねじれ全純写像 $(C,P,A,\bar\partial_A\phi=0, \iota_v F_A + \mu(\phi) = c)$ のモジュライ空間を構成する。
• エネルギー制御汎関数としてヤン・ミルズ・ヒッグス汎関数 $\mathcal{YMH}_c = \|F_A\|^2_{L^2} + \|d_A\phi\|^2_{L^2} + \|\mu(\phi)-c\|^2_{L^2}$ を用いる。
• ゲージ理論とグロモフ＝ウィッテン理論の技術を用いて、バブルと曲率集中を制御する。
• 全単射写像をもつ有理的成分に対しては、ノードと標識点を含め少なくとも3つの特別点を持つという、新しい安定性条件を導入する。
• ノード付近の退化を解析する際、セクションの振る舞いを $-\mathbf{i}\mu$ の近似勾配線としてモデル化し、ドゥハメルの公式とエネルギー推定を用いる。
• 局所推定とシリンダー解析を用いて、退化極限における解の漸近的挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 ドメイン曲線の複素構造が変化し、曲線がノード曲線に退化する場合、ねじれ全純写像のモジュライ空間はどのようにコンパクト化可能か？
• RQ2 ドメイン曲線が退化する際、グロモフ＝ウィッテン理論で観察されるバブルとは別に、どのような新しい幾何的現象がコンパクト化において生じるか？
• RQ3 ヤン・ミルズ・ヒッグス汎関数は、ノード的退化と勾配流線への退化を伴う状況でもエネルギーとコンパクト性を保証するために用いられるか？
• RQ4 ノード曲線のノード付近で解はどのように振る舞い、$-\mathbf{i}\mu$ の勾配流線の鎖としてモデル化可能か？
• RQ5 コンパクト性を保証し、定義可能な不変量理論を可能にする正確な安定性条件は何か？

主な発見

• エネルギー有界性と変動する複素構造をもつねじれ全純写像のモジュライ空間は、ノード曲線と、ノード付近でセクションが $-\mathbf{i}\mu$ の勾配流線の鎖へ退化する現象を含むコンパクト化を許容する。
• コンパクト化は、コンツェビッチの安定写像に類似した安定性条件を組み込むことで達成され、全単射写像をもつ有理的成分には少なくとも3つの特別点（ノードと標識点を含む）が必要である。
• エネルギー汎関数 $\mathcal{YMH}_c$ は曲率とセクションの挙動を両方制御し、バブル解析による一様な有界性とコンパクト性を可能にする。
• ノード付近では、セクション $\phi$ は漸近的に $-\mathbf{i}\mu$ の近似勾配流線の鎖へ分解され、ドゥハメルの公式と $L^1$-推定により正確に制御される。
• 証明により、小さなエネルギーとほぼ臨界な残留部に対して、流れ線が正確な勾配線に近いまま保たれることを示し、安定性とコンパクト性が保証される。
• 本構成により、定義可能なトポロジカルなコンパクト化が得られ、シンプレクティック幾何におけるハミルトニアン・グロモフ＝ウィッテン不変量の定義に基礎をなす。