[論文レビュー] A^1-homotopy groups, excision, and solvable quotients

Aravind Asok, Brent Doran|ArXiv.org|Feb 10, 2009

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

ひとこと要約

本稿では、ファンの組合せ的データを用いて、滑らかなトーリック多様体のA¹ホモトピー群を計算するための道具を開発し、切除定理を確立し、分解可能な可解群による自由作用による商がA¹被覆空間をなすことを見出している。主な結果として、低次のA¹ホモトピー群の消滅に対する組合せ的条件が得られ、次の非消滅群の明示的計算がなされており、代数的・幾何学的複雑性が伴うにもかかわらず、A¹ホモトピー論が広範な代数的多様体のクラスに対して取り扱い可能であることが示されている。

ABSTRACT

We study some properties of A^1-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of quotients by free actions of connected solvable groups in terms of covering spaces in the sense of A^1-homotopy theory. These concepts and results are well-suited to the study of certain quotients via geometric invariant theory. As a case study in the geometry of solvable group quotients, we investigate A^1-homotopy groups of smooth toric varieties. We give simple combinatorial conditions (in terms of fans) guaranteeing vanishing of low degree A^1-homotopy groups of smooth (proper) toric varieties. Finally, in certain cases, we can actually compute the "next" non-vanishing A^1-homotopy group (beyond π_1^{A^1}) of a smooth toric variety. From this point of view, A^1-homotopy theory, even with its exquisite sensitivity to algebro-geometric structure, is almost "as tractable" (in low degrees) as ordinary homotopy for large classes of interesting varieties.

研究の動機と目的

• 幾何学的および組合せ的データを用いて、滑らかな代数的多様体のA¹ホモトピー型の計算可能な不変量を構築すること。
• 特に分解可能な可解群による自由作用がA¹ホモトピー群に与える影響を理解すること。
• 連結性の仮定の下で、スキームとその開部分スキームの間のA¹ホモトピー群の切除結果を確立すること。
• 滑らかなトーリック多様体における低次のA¹ホモトピー群の消滅に関する明示的で組合せ的な基準を提供すること。
• 特定の滑らかなトーリック多様体について、π₁^A¹以降の最初の非消滅A¹ホモトピー群を明示的に計算すること。

提案手法

• モアル＝ヴェヴォドスキーのA¹ホモトピー論およびA¹被覆空間論を用いて、幾何的商をA¹圏における被覆空間として解釈する。
• 高codimensionの補集合を持つ場合に、スキームとその開部分スキームのA¹ホモトピー群を関係付ける切除定理（定理4.1）を適用する。
• 滑らかなトーリック多様体が、アフィン空間の開部分集合を自由なトーラス作用で割ったものとして得られ、ファンがその商データを符号化することを用いる。
• 同次座標環の構成を用いて商の全空間を記述し、それをファングラフ構造に関連付ける。
• モアルのA¹基本群理論およびミルナー＝ウィットK理論の層を用いて、π₁^A¹における拡張を計算する。
• クリンシュミットによる、生成元が少ない滑らかでコンパクトなトーリック多様体の分類を応用し、特定のケースを分析し、A¹ホモトピー群を計算する。

実験結果

リサーチクエスチョン

• RQ1 ファンにどのような組合せ的条件が満たされると、滑らかなトーリック多様体の低次のA¹ホモトピー群が消えるか？
• RQ2 高codimensionの補集合を持つ開埋め込みの下で、A¹ホモトピー群はどのように振る舞い、切除が確立できるか？
• RQ3 分解可能な可解群による自由作用の幾何的商は、A¹被覆空間として解釈可能か？また、これによりA¹ホモトピー不変量の計算がどのように簡略化されるか？
• RQ4 滑らかなトーリック多様体のA¹基本群の構造は何か？また、ファンおよびピック群にどのように依存するか？
• RQ5 滑らかなトーリック多様体について、π₁^A¹以降の最初の非消滅A¹ホモトピー群を明示的に計算できるか？

主な発見

• すべての原始的ベクトルのペアが共通のコーンに属するなどの特定の組合せ的条件を満たす、滑らかでコンパクトなトーリック多様体のファンを持つ場合、A¹ホモトピー群π₁^A¹およびπ₂^A¹は消える。
• ファンに高々d+2個の生成子がある場合、r ≥ 2およびs ≥ 3のとき、A¹基本群π₁^A¹はG_m × G_mに同型である。ここでrとsはクリンシュミットの分類からのパラメータである。
• r = 1またはs = 2（両方ではない）のとき、π₁^A¹はG_m × G_mを基とするKMW₂の拡張であり、r = 1かつs = 2のときはKMW₂⊕KMW₂による拡張である。
• ヒルツェブルフの面F_aについて、A¹基本群は短完全系列1 → KMW₂⊕KMW₂ → π₁^A¹(F_a) → G_m⊕G_m → 1に含まれ、拡張はmod 2に依存する。
• rk(Pic) = 4で非射影的構造を持つ滑らかな射影的トーリック3次元多様体の場合、π₁^A¹は双対トーラスに上への準同型をもつが、核は組合せ的複雑性のため未同定のままである。
• Bl_x,x' P^nについて、π₁^A¹からG_m^×3への上への準同型の核が非自明で、記述が困難である例を構成した。これは、像が分かっていても核の制御が困難であることを示しており、限界を示している。