[論文レビュー] Subtle Characteristic Classes

A. L. Smirnov, Alexander Vishik|arXiv (Cornell University)|Jan 26, 2014

Algebraic Geometry and Number Theory参考文献 7被引用数 9

ひとこと要約

本稿は、Nisnevich分類空間 BO(n) 上でのモチビックコホロロジー（Z/2係数）を用いて、二次形式に対する微細なStiefel–Whitney類を導入し、Milnorの類よりも豊かな不変量を構成する。これらの類は、Witt環における基本的理想のすべてのべきを検出可能であり、Arason不変量や高次の不変量を回復し、これまで分離されていたJ不変量と結びつける。これにより、二次形式および torsor に関連するモチーフの明示的計算が可能になる。

ABSTRACT

We construct new subtle Stiefel--Whitney classes of quadratic forms. These classes are much more informative than the ones introduced by Milnor. In particular, they see all the powers of the fundamental ideal of the Witt ring, contain the Arason invariant and it's higher analogues. Moreover, the new classes allow to treat the J-invariant of quadrics. This invariant, introduced in 2005, has been so far completely isolated from characteristic classes. In addition, our classes allow to describe explicitly the structure of some motives associated with quadratic forms.

研究の動機と目的

• 代数的群のtorsorを分類するためのモチビックホモトピー論的アプローチを発展させること、特に二次形式に焦点を当てる。
• −1 が平方数であるとき I³(k) で消えるMilnorのStiefel–Whitney類の限界を克服し、より情報の多い不変量を構成すること。
• これまで分離されていた不変量（例：J不変量、Arason不変量）を、モチビックZ/2-コホロロジーに基づく一貫したコホロロジー的枠組みに統合すること。
• 二次形式に関連するtorsorおよびGrassmannianのモチーフを、チェチ単体的スキームのねじれたモチーフの明示的拡張として記述すること。
• 微細な特徴類、チェーン類、およびモチビックτ作用の間の正確な代数的幾何的関係を確立すること。

提案手法

• Nisnevich分類空間 BO(n) のモチビックZ/2-コホロロジーにおける、自然な生成元としての微細なStiefel–Whitney類 u₁,…,uₙ を構成し、これは底面のモチビックコホロロジー上の多項式環に同型であることを示す。
• torsorの補集合（チェチ単体的スキームを介して）から BO(n) への自然な射を用い、類 uᵢ を補集合のコホロロジーに引き戻し、二次形式 q の微細類を定義する。
• Steenrod作用素が uᵢ に与える作用を計算し、底体に −1 が平方数であるとき、これは位相的状況と一致することを示す。
• 命題3.1.11を用いて、形式の加法に関する明示的公式を導出し、効果的な計算を可能にする。
• Pfister形式のためのチェチスキームの既知のモチビックコホロロジー（定理3.2.26）を応用し、Pfister形式 q に対して uᵢ(q) を計算し、Arason不変量と関係づける。
• J-フィルトレーション予想とτ作用を含む完全列を用い、Arason不変量 eₙ(q) が、2次作用素の合成による u₂ⁿ⁻¹(q) の前像として特定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 Witt環における基本的理想 Iⁿ のすべてのべきを検出できる、Milnorの類を超える二次形式の新しい特徴類を構成できるか？
• RQ2 これまで特徴類とは分離されていた二次形式のJ不変量を、モチビックコホロロジー的不変量としてどのように表現できるか？
• RQ3 微細なStiefel–Whitney類が、Arason不変量 eₙ: Iⁿ/Iⁿ⁺¹ → K²ₘ(k)/2 のような高次の不変量をどの程度回復できるか？
• RQ4 これらの新規類を用いて、torsor X_q および最高次のGrassmannianのモチーフを明示的に記述できるか？
• RQ5 微細類 uᵢ と古典的不変量（例：Milnorの wᵢ やチェーン類）との正確な代数的関係は何か？

主な発見

• 微細なStiefel–Whitney類 uᵢ(q) は、任意の Iⁿ(k) で非自明であり、定理3.2.27および推論3.2.32により、Iⁿ に属する形式と Iⁿ⁺¹ に属する形式を区別可能である。
• すべての i に対して uᵢ(q) = 0 であることは、q が自明（ハイパボリック平面の和に合同）であることと同値であり、自明性の完全な不変量を提供する。
• d重Pfister形式 qₐ に対して、類 u₂ⁿ⁻¹(qₐ) は、Qₙ₋₂∘⋯∘Q₀(γₐ) に等しく、γₐ は Hᴹⁿ⁻¹,ⁿ⁻²(Xₐ, Z/2) を生成する、と定理3.2.26で示されている。
• Arason不変量 eₙ(q) は、eₙ(q) = (Qₙ₋₂∘⋯∘Q₀)⁻¹(u₂ⁿ⁻¹(q)) ⋅ τ として与えられ、τ は Hᴹ⁰,¹ に属するモチビック類である。これにより定理3.2.34が証明された。
• torsor X_q および最高次のGrassmannianのモチーフは、多項的二進構造を持つことが示され、代数的閉包上でそれぞれ2つのTateねじれの和に分解可能である。これは定理3.2.13による。
• 微細な類は、チェーン類の約2乗根であり、Milnorの wᵢ を τ のべきで「割ること」によって得られる。これは、Milnorの類が τ の非単射性のため情報損失を起こす理由を説明する。