[論文レビュー] Equivariant cycles and cancellation for motivic cohomology

Jeremiah Heller, Mircea Voineagu+1 more|arXiv (Cornell University)|Apr 22, 2013

Algebraic structures and combinatorial models参考文献 27被引用数 10

ひとこと要約

本稿では、有限群作用をもつ滑らかないスキームに対する、等変高次チャウ群の改良版としてのBredon motivic cohomologyを導入する。これは、等変ニスネヴィッチ位相における等変対応の複体のハイパーセミコホモロジーを用いて構成される。主な貢献は、これらのコホモロジー群におけるホモトピー不変性を保証するキャンセレーション定理の確立であり、これは表現付きの不変量を持つ等変的古典的モチーフコホモロジーへの一般化である。

ABSTRACT

We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of equivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and prove a Cancellation Theorem.

研究の動機と目的

• 有限群作用をもつスキームへのSuslinおよびVoevodskyのモチーフコホモロジーの一般化。プレシェーブと移行の理論を等変的設定に拡張すること。
• 有限群Gの表現によってグレーディングされるBredon風のモチーフコホモロジー理論を構成し、等変高次チャウ群の改良版を提供すること。
• このコホモロジー理論におけるキャンセレーション定理の確立。等変的文脈におけるホモトピー不変性を保証すること。
• トポロジカルBredonコホモロジーのモチーフ的類似を提供し、ヘルミートK理論や等変的スペクトル系列への応用を想定すること。
• 新しいコホモロジーがトポロジカル実現とどのように関係するかを特定し、等変的Beilinson-Lichtenbaum予想を定式化すること。

提案手法

• 有限群作用をもつ滑らかなG-スキームのカテゴリを定義し、その上で等変ニスネヴィッチ位相を導入。ここでは、被覆が残渣体および安定化部分群に同型を誘導する。
• 等変移行をもつプレシェーブを導入。これは、G-スキーム間の等変対応への移行の概念を一般化する。
• 等変モチーフ複体 $\mathbb{Z}_G(n)$ を、$\mathbb{Z}_{tr,G}(\mathbb{P}(k[G]^n \oplus 1))/\mathbb{Z}_{tr,G}(\mathbb{P}(k[G]^n))$ の $\mathbb{A}^1$-特異鎖複体として構成する。
• Bredonモチーフコホモロジーを、等変ニスネヴィッチ位相における $\mathbb{Z}_G(n)$ のハイパーセミコホモロジーとして定義する。
• 等変Dold-Thom定理をアナロジーとして用い、$\mathbb{Z}_G(n)$ が等変Eilenberg-MacLaneスペクトルの役割を果たすようにする。
• 等変区別正方形の構造を用いて、$\mathbb{G}_m^\sigma$ および表現球面を含む、スペクトル系列と準同型写像を用いてキャンセレーション定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー不変性と移行を保ちつつ、有限群作用をもつ滑らかなスキームへのモチーフコホモロジーをどのように一般化できるか？
• RQ2 モチーフ複体 $\mathbb{Z}(n)$ の正しい等変的類似は何か？ そして、これは $\mathbb{A}^1$-ホモトピーに関してどのように振る舞うか？
• RQ3 古典的モチーフコホモロジーにおける結果に類似した、等変的文脈におけるキャンセレーション定理を確立できるか？
• RQ4 新しいBredonモチーフコホモロジーは、既存の理論（等変高次チャウ群、トポロジカルBredonコホモロジー）とどのように関係するか？
• RQ5 符号表現および等変的 $\mathbb{G}_m^\sigma$ は、キャンセレーション同型写像を構成する際に果たす役割は何か？

主な発見

• キャンセレーション定理が成立：任意の滑らかな $\mathbb{Z}/2$-スキーム $X$ および有限次元表現 $V$ に対して、自然な同型 $H^n_{GNis}(X, C_*\mathbb{Z}_{tr,G}(Y)) \cong H^n_{GNis}(X \wedge T^V, C_*\mathbb{Z}_{tr,G}(Y \wedge T^V))$ が存在する。
• コホモロジー群はGの表現によってグレーディングされ、整数グレーディングの等変高次チャウ群の改良版である。
• Bredonモチーフコホモロジーから等変高次チャウ群への比較写像を構成し、既存の構成と理論の整合性を確認した。
• 複体 $C_*\mathbb{Z}_{tr,G}(\mathbb{G}_m^\sigma)$ は、$C_*(\mathbb{Z}_{tr,G}(\mathbb{P}(\sigma \oplus 1))/\mathbb{Z}_{tr,G}(\mathbb{P}(\sigma))) \otimes_{tr} \mathbb{Z}_{top}(S^\sigma)$ に準同型である。これにより、モチーフ的およびトポロジカルモデルが結びつけられる。
• 特定の条件下で、$\mathbb{Z}_G(n)$ のハイパーセミコホモロジーは直和に分解し、等変層の既約表現への分解を反映している。
• 理論はDuggerのスペクトル系列のモチーフ的類似を支持しており、$K\mathbb{R}^{alg}$ を通じてヘルミートK理論への応用が示唆される。