[論文レビュー] A primer for unstable motivic homotopy theory

Benjamin Antieau, Elden Elmanto|arXiv (Cornell University)|May 3, 2016

Algebraic Geometry and Number Theory参考文献 6被引用数 8

ひとこと要約

この論文は、体上の滑らかなアフィン多様体上のベクトル束の分類への応用に焦点を当てた、不安定なモチビックホモトピー理論の基礎的導入を提供する。$Α^1$-ホモトピー理論と分類空間を用いることで、二次的に閉じた体上の滑らかなアフィン曲面におけるランク2のベクトル束が、第一および第二のチャーン類によって分類され、$\mathrm{CH}^1(X) \times \mathrm{CH}^2(X)$ と一対一対応することを確立する。

ABSTRACT

In this expository article, we give the foundations, basic facts, and first examples of unstable motivic homotopy theory with a view towards the approach of Asok-Fasel to the classification of vector bundles on smooth complex affine varieties. Our focus is on making these techniques more accessible to algebraic geometers.

研究の動機と目的

• 代数幾何学者、特にベクトル束の分類の文脈において、不安定なモチビックホモトピー理論へのアクセスを提供すること。
• モデルカテゴリとバウシフィールド局所化を用いた、$Α^1$-ホモトピー圏の理論的枠組みを確立すること。
• モチビックホモトピー理論が、滑らかなアフィンスキーム上のベクトル束の分類をどのように解決するかを示すこと、特に低ランクおよび低次元の場合に注目すること。
• 二次的に閉じた体上の滑らかなアフィン曲面上におけるランク2のベクトル束がチャーン類によって分類されることを示すこと。

提案手法

• シムプレクティックプレシーブェイとニスネヴィッチ位相、および $Α^1$-同値関係に対するバウシフィールド局所化により、$Α^1$-ホモトピー圏を構成する。
• $Α^1$-特異構成 $\mathrm{Sing}^{\u0391^1}$ を用いて空間をモデル化し、ホモトピー層を計算する。
• ポストニコフ系とニスネヴィッチコホモロジーを用いて、$\mathrm{BGL}_r$ や $\mathrm{BSL}_r$ のような分類空間を分析する。
• ミルナーK理論 $\mathrm{K}_2^{\mathrm{MW}}$ のモチビックコホモロジーを用いて、固定された行列式をもつランク2のバンドルを分類する。
• アフィンホモトピー圏における代数的K理論の表現性を活用し、ベクトル束とコホモロジー的不変量を結びつける。
• ニスネヴィッチコホモロジーにおける純度定理と消失結果を用いて、分類問題をチャウ群に還元する。

実験結果

リサーチクエスチョン

• RQ1 不安定なモチビックホモトピー理論は、滑らかなアフィンスキーム上のベクトル束の分類にどのように応用できるか。
• RQ2 $Α^1$-ホモトピーは、代数的K理論の表現性とベクトル束の分類に果たす役割は何か。
• RQ3 モチビック設定において、特に不安定な範囲において、チャーン類がベクトル束をどの程度まで分類するのか。
• RQ4 $\mathrm{BGL}_2[2]$ や $K^{\mathds{G}_m}(\mathrm{K}_2^{\mathrm{MW}},2)$ のような分類空間は、固定された行列式をもつベクトル束をどのように分類するか。
• RQ5 モチビックコホモロジー、ニスネヴィッチコホモロジー、およびアフィン曲面上のベクトル束の分類の間にはどのような関係があるか。

主な発見

• $X$ を二次的に閉じた体上の滑らかなアフィン曲面とするとき、写像 $ (c_1, c_2): \mathrm{Vect}_2(X) \to \mathrm{CH}^1(X) \times \mathrm{CH}^2(X) $ は全単射である。
• 固定された行列式 $\mathcal{L}$ をもつランク2のベクトル束の空間は $\mathrm{H}^2_{\mathrm{Nis}}(X, \mathrm{K}_2^{\mathrm{MW}}(\mathcal{L}))$ によって分類され、このコホモロジー群は $\mathrm{CH}^2(X)$ に同型である。
• $\mathrm{Sing}^{\u0391^1}$-構成は、$\u0391^1$-ホモトピー不変性を尊重するモチビック空間のモデルを提供する。
• 二次的に閉じた体上の滑らかなアフィン曲面に対して、モチビックコホモロジー $\mathrm{H}^2_{\mathrm{Nis}}(X, \mathrm{K}_2^{\mathrm{MW}})$ は $n \geq 2$ の次数で消失し、分類を単純化する。
• 分類空間 $\mathrm{BGL}_2[2]$ は、行列式が自明なランク2のベクトル束を分類し、$\mathrm{BGL}_2[1] \cong \mathrm{Pic}(X)$ への写像は全射である。
• アフィンホモトピー圏における代数的K理論の表現性により、ベクトル束とモチビックコホモロジーとの間の直接的な関係が、チャーン類を通じて確立される。