[論文レビュー] Generalized bornological coarse spaces and coarse motivic spectra

Daniel Heiss|arXiv (Cornell University)|Jul 9, 2019

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

ひとこと要約

この論文は、単一の点が有界でなければならないという公理を緩和することで、一般化された生体的粗い空間を導入し、古典的な生体的粗い空間のカテゴリを拡張する完備かつ余完備なカテゴリを構成する。包含関手がモチビック粗いスペクトルおよびすべてのC値粗いホモロジー理論において同値を誘導することを証明し、ホモトピー論的用途において一般化された枠組みが古典的なものとカテゴリカルに同値であることを示している。

ABSTRACT

We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of motivic coarse spectra in this new setting and show that the inclusion functor from the category of bornological coarse spaces to its generalization induces an equivalence of motivic coarse spectra. In particular, for any stable co-complete $\infty$-category $C$, it induces an equivalence between the category of $C$-valued coarse homology theories on bornological coarse spaces and the category of $C$-valued coarse homology theories on generalized bornological coarse spaces.

研究の動機と目的

• 古典的な生体的粗い空間のカテゴリに完備性と余完備性の欠如に対処すること。
• 単一の点が有界でなければならないという要件を除去することで、生体的粗い空間の概念を一般化すること。
• 完備かつ余完備な新しい一般化された生体的粗い空間のカテゴリを構成すること。
• 古典的空間から一般化された空間への包含関手が、モチビック粗いスペクトルおよびホモロジー理論において同値を誘導することを確立すること。
• 粗いホモロジー理論およびモチビックスペクトルの理論が、この一般化においても同値のまま保たれることを示すこと。

提案手法

• 生体的粗い空間の公理から単一の点の有界性を除いた条件により、一般化された生体的粗い空間を定義する。
• カテゴリ $\bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$ を、新しいカテゴリの $\Gamma$-同変一般化として構成する。
• 極限と余極限の明示的構成を用いて、$\bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$ が完備かつ余完備であることを証明する。
• 前層の局所化と安定化を用いて、一般化されたモチビック粗いスペクトル $\bm{\Gamma}\text{S}\widetilde{\text{p}}\bm{\mathcal{X}}$ を定義する。
• 包含関手 $U: \bm{\Gamma}\text{BornCoarse} \to \bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$ がすべての極限と余極限を保存することを示す。
• 層のカテゴリと局所化・安定化の普遍性を含む同値の鎖を介して、$\infty$-カテゴリの同値 $\bm{\Gamma}\text{S}\widetilde{\text{p}}\bm{\mathcal{X}} \simeq \bm{\Gamma}\text{S}\text{p}\bm{\mathcal{X}}$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 単一の点が有界でなければならないという要件を排除することで、生体的粗い空間の合理的な一般化が得られるか？
• RQ2 一般化された生体的粗い空間のカテゴリは完備かつ余完備か？
• RQ3 一般化されたカテゴリと古典的カテゴリのモチビック粗いスペクトルの関係はいかなるものか？
• RQ4 古典的空間から一般化された空間への包含関手が、モチビック粗いスペクトルにおいて同値を誘導するか？
• RQ5 任意の安定的かつ余完備な $\infty$-カテゴリ $\mathcal{C}$ に対して、一般化されたカテゴリ上の粗いホモロジー理論と古典的カテゴリ上のそれらが同値か？

主な発見

• $\bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$ は、一般化された $\Gamma$-同変生体的粗い空間のカテゴリが完備かつ余完備である。
• 包含関手 $U: \bm{\Gamma}\text{BornCoarse} \to \bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$ はすべての極限と余極限を保存する。
• 包含関手は、一般化されたと古典的なモチビック粗いスペクトル間の $\infty$-カテゴリの同値 $\bm{\Gamma}\text{S}\widetilde{\text{p}}\bm{\mathcal{X}} \simeq \bm{\Gamma}\text{S}\text{p}\bm{\mathcal{X}}$ を誘導する。
• 任意の安定的かつ余完備な $\infty$-カテゴリ $\mathcal{C}$ に対して、包含関手は古典的および一般化されたカテゴリ上の $\mathcal{C}$-値粗いホモロジー理論の間で同値を誘導する。
• 同値は、層のカテゴリと局所化・安定化の普遍性を含む同値の鎖を介して確立される。
• この結果は、一般化された枠組みが粗いホモロジー理論を拡張するのではなく、より便利な圏論的基盤を提供することを示している。