[論文レビュー] Equivariant classifying spaces and cdh descent for the homotopy K-theory of tame stacks

Marc Hoyois|arXiv (Cornell University)|Apr 21, 2016

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

ひとこと要約

本稿は、きめ細かく分類可能な群スキームの文脈において、G-等変モチビックホモトピー理論における線型代数的群の等変分類空間の幾何的モデルを構築する。ホモトピーK理論スペクトルが任意のベース変換に対して安定であることを確立し、きめ細かなアーティンスタックのホモトピーK理論に対してcdh降下を証明する。

ABSTRACT

We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory of G-schemes (which we construct as an E-infinity-ring) is stable under arbitrary base change, and we deduce that homotopy K-theory of tame Artin stacks satisfies cdh descent.

研究の動機と目的

• G-等変モチビックホモトピー理論における線型代数的群の分類空間の幾何的モデルを構築すること。
• ホモトピーK理論を表す等変モチビックスペクトルのベース変換安定性を確立すること。
• きめ細かなアーティンスタックのホモトピーK理論がcdh降下を満たすことを示すこと。
• モチビックホモトピー理論の枠組みを、きめ細かな群スキームおよびその作用を含むように拡張すること。
• 等変およびcdh位相の手法を用いて、ホモトピーK理論における降下理論の基盤を提供すること。

提案手法

• モチビックホモトピー理論におけるきめ細かな群スキームの構造を用いて、分類空間の幾何的モデルを構築する。
• ホモトピーK理論を表す等変モチビックスペクトルにE-infinity環構造を定義する。
• モチビック設定における降下技術を用いて、ホモトピーK理論スペクトルのベース変換安定性を証明する。
• 等変モチビックスペクトルにcdh降下装置を適用し、降下性をきめ細かなアーティンスタックへ拡張する。
• 群作用の幾何的およびホモトピー的よい振る舞いを保証するために、きめ細かさ条件を用いる。
• 等変ホモトピー理論とcdh位相の相乗効果を活用して、降下性を確立する。

実験結果

リサーチクエスチョン

• RQ1 G-等変モチビックホモトピー理論における線型代数的群の分類空間の幾何的モデルは、どのように構築できるか？
• RQ2 ホモトピーK理論を表す等変モチビックスペクトルのベース変換安定性を保証する条件は何か？
• RQ3 きめ細かなアーティンスタックのホモトピーK理論はcdh降下を満たすか？
• RQ4 群スキームのきめ細かさは、分類空間のホモトピー的性質にどのように影響するか？
• RQ5 E-infinity環構造は、ホモトピーK理論スペクトルのベース変換下での安定化にどのように寄与するか？

主な発見

• 線型代数的群の分類空間の幾何的モデルが、きめ細かな群スキームの文脈においてG-等変モチビックホモトピー理論で成功裏に構築された。
• ホモトピーK理論を表す等変モチビックスペクトルが、任意のベース変換に対して安定であることが示された。
• きめ細かなアーティンスタックのホモトピーK理論はcdh降下を満たし、降下技法の適用範囲が拡張された。
• ホモトピーK理論スペクトルに与えられたE-infinity環構造により、ベース変換および降下性との整合性が保証された。
• 群スキームのきめ細かさ条件は、構成の幾何的およびホモトピー的よい性質を保証するために不可欠である。
• 結果として、等変モチビックホモトピー理論とスタックにおける代数的K理論の降下理論との橋渡しがなされた。