[論文レビュー] A localization theorem for the $K$-theory of assemblers with an application to the Grothendieck spectrum of varieties

Inna Zakharevich|arXiv (Cornell University)|Jan 15, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 2

ひとこと要約

この論文は、切断と貼り合わせによって幾何的データを符号化するカテゴリであるアセンブラを導入し、そのホモトピー群が高次の幾何的不変量を捉える$K$-理論スペクトルを定義する。この$K$-理論に対して局所化定理とデヴィッサージュ定理を確立し、それらを多様体のグローテンディークスペクトルおよび多面体のスカイサーズ合同群に応用する。

ABSTRACT

In this paper we introduce the notion of an assembler, which formally encodes and data. An assembler has an associated $K$-theory spectrum, in which $\pi_0$ is the free abelian group of objects of the assembler modulo the cutting and pasting relations, and in which the higher homotopy groups encode further geometric invariants. The goal of this paper is to prove structural theorems about this $K$-theory spectrum, including analogs of Quillen's localization and devissage theorems. We demonstrate the uses of these theorems by analysing the assembler associated to the Grothendieck ring of varieties and the assembler associated to scissors congruence groups of polytopes.

研究の動機と目的

• 幾何的データ（多様体や多面体など）を、切断と貼り合わせの概念を用いて形式化すること。
• アセンブラに関連する$K$-理論スペクトルを定義し、その$\pi_0$が切断と貼り合わせの関係を捉えること。
• クイレンの局所化定理およびデヴィッサージュ定理に類似した構造的定理を、この$K$-理論に対して確立すること。
• これらの定理を、体上の多様体のアセンブラおよび多面体のアセンブラに応用し、グローテンディークスペクトルとスカイサーズ合同群を解析すること。

提案手法

• アセンブラを、特定のクラスの分解を備えた圏として定義し、幾何的貼り合わせデータを形式化する。
• ワルドハウゼンの$S$-構成またはその変種を用いて、アセンブラの$K$-理論スペクトルを構成する。
• $K$-理論スペクトルの局所化定理を証明し、制限写像のコファイバーを商圏の$K$-理論と同定する。
• デヴィッサージュ定理を確立し、適切なフィルトレーション条件の下で$K$-理論が厚い部分圏にのみ依存することを示す。
• 体上の多様体のアセンブラにこれらの定理を適用し、その$K$-理論がグローテンディーク環と関係することを示す。
• 多面体のアセンブラにこれらの定理を適用し、その$K$-理論がスカイサーズ合同群と関係することを示す。

実験結果

リサーチクエスチョン

• RQ1 多様体や多面体のような幾何的圏を、切断と貼り合わせを捉えるカテゴリカル構造としてどのように形式化できるか？
• RQ2 このような形式化された構造の$K$-理論スペクトルを支配する構造的定理は何か？
• RQ3 多様体のアセンブラの$K$-理論は、グローテンディークスペクトルをどの程度回復するか？
• RQ4 多面体のアセンブラの$K$-理論は、古典的なスカイサーズ合同群とどのように関係するか？
• RQ5 局所化およびデヴィッサージュ定理は、この新しい$K$-理論枠組みに一般化可能か？

主な発見

• アセンブラの$K$-理論スペクトルの$\pi_0$は、対象の自由アーベル群を切断・貼り合わせ関係で割ったものと同型である。
• 論文は$K$-理論スペクトルの局所化定理を確立し、制限写像のコファイバーを商アセンブラの$K$-理論と同定している。
• デヴィッサージュ定理が証明され、適切なフィルトレーション条件の下で$K$-理論スペクトルが厚い部分圏にのみ依存することが示された。
• 体上の多様体のアセンブラの$K$-理論は、グローテンディークスペクトルへと写像され、その構造に対する新たな視点を提供する。
• 多面体のアセンブラの$K$-理論は、古典的なスカイサーズ合同群を$\pi_0$として実現し、高次のホモトピー群がさらなる不変量を符号化している。
• この枠組みは、共通のカテゴリカル基盤の下で代数的幾何と幾何的位相の$K$-理論的不変量を統一・一般化する。