[論文レビュー] Stable maps into the classifying space of the general linear group

Ivan Kausz|ArXiv.org|Aug 29, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 3

ひとこと要約

本稿は、分類スタック BGL_r への安定写像のモジュライ空間を導入し、特異ファイバーにおける『適切性』条件を満たすランク r および次数 d のベクトルバンドルを備えた安定的・半安定的曲線として安定写像を定義する。主な貢献は、KGL_r と呼ばれるコンパクト化された群を用いて境界射影を構成することで、選択に依存しない、well-defined なモジュライ群概型を構成し、Gromov-Witten理論を曲線上のベクトルバンドルへ一般化することにある。

ABSTRACT

In this note we give a definition of stable maps into the classifying stack $\BGL_r$ of the general linear group. To support our belief that the definition is the correct one, we show that there are natural boundary morphisms between the moduli groupoids parameterizing stable maps to $\BGL_r$.

研究の動機と目的

• BGL_r への安定写像の幾何的に意味のあるモジュライ空間を定義し、これは曲線上のベクトルバンドルを分類する。
• ファミリーの一般ファイバーにおけるベクトルバンドルが基底変換後に特異ファイバーに拡張できないという障害を、半安定的曲線と適切なバンドルを用いることで解消する。
• Gromov-Witten理論におけるそれと類似した境界射影を、GL_r のコンパクト化 KGL_r を用いて、ベクトルバンドルの文脈に適合させることで構成する。
• genus g および次数 d の安定写像をパラメトライズするスキーム上の群概形を、GI-グラフなどの補助的選択に依存しない形で定義する。
• 同じ組合せ型をもつ複数の GI-グラフ実現を統合することで、同型不変なモジュライ空間を構成する。

提案手法

• BGL_r への安定写像を、ランク r および次数 d のベクトルバンドルが特異ファイバーで適切性条件を満たす、genus g の半安定的 S-点付き曲線として定義する。
• 先行研究で構成されたコンパクト化群 KGL_r を用い、GL_r の非コンパクト性を解消することで、退化ファミリーにおけるファイバー間の同型写像の拡張を可能にする。
• 各組合せ型 τ（装飾付き鎖グラフ）に対して、τ へ写像するすべての GI-グラフ γ におけるモジュライ空間 M(BGL_r, γ) を貼り合わせることで、モジュライ群概形 M(BGL_r, τ) を構成する。
• 同じ τ を共有する GI-グラフ γ, γ′ に対して、M(BGL_r, γ) と M(BGL_r, γ′) 間の自然同型 β_γ^γ′ を構成し、γ の選択に依存しないことを保証する。
• 各 M(BGL_r, γ) 上で定義された写像 ν_γ の整合的な極限として、境界射影 ν_τ: M(BGL_r, τ) → M_g,S(BGL_r, d) を定義する。[K2] の結果を用いる。
• 同型写像 β_γ^γ′ がコycle条件を満たすことを検証することで、構成の整合性を保証し、GI-グラフの選択に依存しない群概形を実現する。

実験結果

リサーチクエスチョン

• RQ1 BGL_r への安定写像を、多様体の Gromov-Witten 理論を一般化する形でどのように定義できるか？
• RQ2 ファミリーの一般ファイバーにおけるベクトルバンドルが、基底変換後に特異ファイバーに拡張できないという障害は何か？ そしてそれはどのように解消できるか？
• RQ3 Gromov-Witten理論におけるクラッチングと類似した境界射影を、BGL_r への安定写像のモジュライ空間にどのように構成できるか？
• RQ4 コンパクト化群 KGL_r は、特異ファイバーをまたがるベクトルバンドルデータの貼り合わせにおける非コンパクト性の問題をどのように解決するか？
• RQ5 GI-グラフなどの補助的選択に依存しないが、幾何的整合性を保ったまま、モジュライ空間をどのように構成できるか？

主な発見

• BGL_r への安定写像のモジュライ群概形 M_g,S(BGL_r, d) は、スキーム上のスタックとしてwell-definedであり、ランク r および次数 d の適切なベクトルバンドルを備えた半安定的曲線をパラメトライズする。
• 境界射影 ν_τ: M(BGL_r, τ) → M_g,S(BGL_r, d) は、GI-グラフごとの写像 ν_γ の整合的な極限として構成され、標準的な Gromov-Witten 理論におけるクラッチングを一般化する。
• M(BGL_r, τ) の構成は、τ への写像を持つすべての GI-グラフ γ に対して、M(BGL_r, γ) と M(BGL_r, γ′) 間の自然同型 β_γ^γ′ により、γ の選択に依存しない。
• 群概形 M(BGL_r, τ) は、τ へ写像するすべての GI-グラフ γ における M(BGL_r, γ) の和集合に同値であり、β_γ^γ′ 同型写像を介した整合的な射の族によって定義される。
• 境界射影 ν_τ は well-defined であり、同型写像 β_γ^γ′ と整合的であるため、全体の構成が一貫的かつファンクター的であることが保証される。
• 各成分におけるベクトルバンドルの次数 d_v は、公式 d_v = δ_v - ∑_{f∈F_τ(v)} (r - min(I_f)) により計算され、これは特異ファイバーにおける適切性条件を符号化する。