[論文レビュー] Comparing Euler classes

Aravind Asok, Jean Fasel|arXiv (Cornell University)|Jun 21, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用数 5

ひとこと要約

本稿は、代数的幾何におけるオイラー類の2つの定義の同値性を確立する。1つはチャウ・ウット理論における特性類として、もう1つは${\mathbb{A}}^{1}$-ホモトピー理論における障害類としての定義である。普遍例と精練された${\mathbb{A}}^{1}$-ホモトピー技法を用いて、障害理論的オイラー類$e_{ob}(\xi)$がグロテンディーク＝ウット群内の単元を除いて、チャウ・ウットオイラー類$e_{cw}(\xi)$と一致することを証明し、モアルの予想を解決する。

ABSTRACT

We establish the equality of two definitions of an Euler class in algebraic geometry: the first definition is as a "characteristic class" with values in Chow-Witt theory, while the second definition is as an "obstruction class." Along the way, we refine Morel's relative Hurewicz theorem in A^1-homotopy theory, and show how to define (twisted) Chow-Witt groups for geometric classifying spaces.

研究の動機と目的

• モアルが提起した長年の予想、すなわち代数的幾何におけるオイラー類の2つの定義が一致することを解決すること。
• チャウ・ウット理論による定義（特性類としてのオイラー類）と${\mathbb{A}}^{1}$-ホモトピー理論による定義（障害類としてのオイラー類）の間の明確な比較を確立すること。
• 文献において主張はなされたが証明が与えられていなかった結果を埋める完全な証明を提供すること。
• ねじれたチャウ・ウット群の枠組みを幾何的分類空間へ拡張し、それらを${\mathbb{A}}^{1}$-ホモトピー不変量と関連付けること。
• 障害理論的オイラー類がモア・ポストニコフ塔における基本類のトランスグレッションとして生じることを示し、ホモトピー的不変量と代数的幾何的不変量を結びつけること。

提案手法

• オイラー類の比較のため、向き付けられたランク$r$のベクトル束の分類空間$\widetilde{Gr}_r$上でその挙動を分析する普遍例法の使用。
• ${\mathbb{A}}^{1}$-ホモトピー理論におけるモアルの相対ホイッスラー定理の精錬を用いて、連結性およびファイバー／コファイバーの性質を確立すること。
• ミルナー予想（現在は定理）を用いて、$\mathbf{I}^r$と${{\mathbf{K}}}^M_r$を$\mathbf{I}^r/\mathbf{I}^{r+1}$上でファイバー積として特定し、ファイバー積によるねじれたチャウ・ウット群の構成。
• $H^r(X, {{\mathbf{K}}}^{MW}_r(\det\xi^\vee)) \xrightarrow{\sim} \widetilde{CH}^r(X, \det\xi^\vee)$の同型の確立により、コホモロジー類とチャウ・ウット類の比較が可能になる。
• ${\mathbb{A}}^{1}$-ホモトピー理論におけるブレイカーズ＝マセイの定理を用いて、モア・ポストニコフ分解における写像およびコファイバーの連結性を分析すること。
• モア・ポストニコフ塔における$k$-不変量が基本類のトランスグレッションとして特定され、障害理論とトム同型との関連が明確になる。

実験結果

リサーチクエスチョン

• RQ1 滑らかな体$k$上、特性が2でないperfect field上の滑らかなスキーム上の向き付けられたベクトル束に対して、チャウ・ウット理論によるオイラー類と${\mathbb{A}}^{1}$-ホモトピー障害理論によるオイラー類の2つの定義は一致するか？
• RQ2 障害理論的オイラー類は、チャウ・ウット理論におけるギジン写像と過剰交差公式によって定義される特性類と同一視可能か？
• RQ3 写像$Gr_{r-1} \to Gr_r$のモア・ポストニコフ塔における$k$-不変量とねじれたコホモロジーにおけるトム類の間の正確な関係は何か？
• RQ4 障害理論的オイラー類における局所系統の作用は、ねじれたチャウ・ウット群の層論的構成とどのように関係するか？
• RQ5 比較結果は非向き付けベクトル束へ拡張可能か？ もし可能であれば、ねじれたオイラー類どうしの関係は何か？

主な発見

• 障害理論的オイラー類$e_{ob}(\xi)$とチャウ・ウットオイラー類$e_{cw}(\xi)$は、グロテンディーク＝ウット群内の単元$u \in GW(k)^\times$を除いて一致する。これにより、モアルの予想が証明された。
• $H^r(X, {{\mathbf{K}}}^{MW}_r(\det\xi^\vee)) \xrightarrow{\sim} \widetilde{CH}^r(X, \det\xi^\vee)$の同型はミルナー予想を用いて確立され、コホモロジー的不変量と代数的幾何的不変量の比較が可能になった。
• ${\mathbb{P}}^1)^{\wedge r}$への制限の下で、$H^r(Th(\gamma_r), {{\mathbf{K}}}^{MW}_r)$における普遍オイラー類は、基本類$\langle 1\rangle$へ写される。これはトム類の正規化を確認する。
• $Gr_{r-1} \to Gr_r$のモア・ポストニコフ塔における$k$-不変量が、基本類のトランスグレッションとして示され、障害理論とトム同型が結びつけられた。
• $e_{cw}(\xi)$の標準的写像によるチャウ群$CH^r(X)$への像は、トップチーエルン類$c_r(\xi)$に一致し、既存の文献における結果を精錬した。
• 比較は向き付けられたバンドルに対して有効であるが、障害理論的構成における${{\mathbf{G}}_m}$-等変性を追跡する複雑さのため、非向き付けの場合は未解決のままである。