[論文レビュー] Some remarks on topological $K$-theory of dg categories

Benjamin Antieau, Jeremiah Heller|arXiv (Cornell University)|Sep 5, 2017

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

ひとこと要約

この論文は、動機的ホモトピー論を用いて、dgカテゴリの有限係数におけるアンソニー・ブランの半トポロジカルK理論に関する予想を確立する。Friedlander-Walkerの定義による連結半トポロジカルK理論と、ブランの定義によるものとが、特徴的な複素数の準射影的多様体において一致することを証明し、dgカテゴリのトポロジカルK理論がボット要素を逆数にした後、エタールハイパーデスセントを満たすことを示し、重要な構造的性質を確認する。

ABSTRACT

Using techniques from motivic homotopy theory, we prove a conjecture of Anthony Blanc about semi-topological K-theory of dg categories with finite coefficients. Along the way, we show that the connective semi-topological K-theories defined by Friedlander-Walker and by Blanc agree for quasi-projective complex varieties and we study étale descent of topological K-theory of dg categories.

研究の動機と目的

• dgカテゴリの有限係数に関するアンソニー・ブランの半トポロジカルK理論に関する予想を解消すること。
• Friedlander-Walkerとブランによる二つの半トポロジカルK理論の定義を比較・統合すること。
• dgカテゴリのトポロジカルK理論のエタール降下性を確立すること。
• 連結版のブランの半トポロジカルK理論が、準射影的複素数多様体においてFriedlander-Walkerの構成と一致することを示すこと。

提案手法

• dgカテゴリに関連するK理論スペクトラの構造を分析するために動機的ホモトピー論を用いる。
• スペクトルヤオネダ埋め込みと実現関手を適用し、動機的スペクトルとトポロジカルスペクトルを関連付ける。
• KGLの周期性とボット要素を用いて、半トポロジカルK理論とトポロジカルK理論を関連付ける。
• 実現関手が内部写像対象を可換にし、動機的安定カテゴリで双対性を保存することを活用する。
• コhomology理論の代表可能性を活用して、トポロジカルK理論の前層がエタールハイパーデスセントを満たすことを確立する。
• 連結半トポロジカルK理論 Perf_X と Friedlander-Walkerの構成が、準射影的Xにおいて同値であることに依拠する。

実験結果

リサーチクエスチョン

• RQ1 Friedlander-Walkerとブランによる半トポロジカルK理論の定義は、特徴的な複素数の準射影的多様体において一致するか？
• RQ2 任意のCとn ≥ 1に対して、K(C)/n ≃ K^st(C)/n であるというブランの予想は正しいか？
• RQ3 滑らかな複素数スキーム上のトポロジカルK理論の前層はエタールハイパーデスセントを満たすか？
• RQ4 dgカテゴリのトポロジカルK理論はA^1ホモトピー同値とエタールトポロジのハイパーシーブに対して不変か？
• RQ5 動機的スペクトルからトポロジカルスペクトルへの実現関手を用いて、KGL(C) と K^top(C) を関連付けることができるか？

主な発見

• 任意の準射影的複素数多様体Xに対して、ブランの構成による連結半トポロジカルK理論 Perf_X は、Friedlander-WalkerのK^sst(X)と同値である。
• ブランの予想は正当である：任意のC（C線形dgカテゴリ）とn ≥ 1に対して、K(C)/n ≃ K^st(C)/n が成り立つ。
• トポロジカルK理論の前層K^top(C) はA^1不変であり、Sm_Cにおけるエタールトポロジのハイパーシーブである。
• トポロジカルK理論スペクトルK^top(C) は、周期的動機的K理論スペクトルKGL(C) の実現と同型である。
• 前層K^top(C) は、コhomology理論がスペクトルによって代表可能であることから、エタールハイパーデスセントを満たす。
• 実現関手は内部写像対象を可換にし、K^top(C)(X) をX(C)のスuspensionスペクトルからK^top(C)への写像と同定可能である。