[論文レビュー] Twisted Coefficients on coarse Spaces and their Corona

Elisa Hartmann|arXiv (Cornell University)|Mar 31, 2019

Holomorphic and Operator Theory参考文献 11被引用数 4

ひとこと要約

本稿は、任意の距離空間 X に対して、粗い写像がそれらのコロナ間の連続写像を誘導するような、コンパクトな位相的空間（コロナ）を関連付ける新しいファンクター ν′(X) を導入する。主な貢献は、粗い空間上の層コホモロジーがコロナ上の層コホモロジーと同型であることであり、コロナファンクターを通じて粗い幾何学と位相幾何学の間に双対性を確立することにある。

ABSTRACT

To a metric space $X$ we associate a compact topological space $ν' X$ called the corona of $X$. Then a coarse map $f:X o Y$ between metric spaces is mapped to a continuous map $ν' f:ν' X o ν' Y$ between coronas. Sheaf cohomology on coarse spaces has been introduced in arXiv:1710.06725. We show the functor $ν'$ preserves and reflects sheaf cohomology.

研究の動機と目的

• 新しいファンクター ν′(X) を用いて、距離空間の粗い構造とコンパクトな境界空間の位相の間の双対性を確立すること。
• 粗い不変量、特に層コホモロジーを反映するような、距離空間に対する位相的境界（コロナ）を定義すること。
• ファンクター ν′ が層コホモロジーを保存および反映することを示し、粗いコホモロジーと古典的位相的コホモロジーを結びつけること。
• 粗く適切な距離空間に対して、既存のコロナ（Higson, Smirnov など）の概念を統一し、新しい構成のもとで同値であることを示すこと。
• コロナ ν′(X) がコンパクトであること、およびその位相が粗い超フィルターを漸近的同値で割ったものとして自然に生じることを示すこと。

提案手法

• 漸近的同値関係 (λ) と近接関係 (⋗) を用いて距離空間上の粗い超フィルターを定義し、超フィルターの商空間を構成する。
• 漸近的同値で割った粗い超フィルターの集合に位相を定義し、コロナ ν′(X) をコンパクトな位相的空間として構成する。
• 距離空間間の粗い写像がそれらのコロナ間の連続写像を誘導することを証明し、ν′ を距離空間と粗い写像の圏から Top へのファンクターとして定義する。
• ν′(X) の開被覆は、X の粗い被覆によって誘導される開被覆で refining できることを示し、位相的構造と粗い構造を結びつける。
• 係数がねじれた層 F に対して、X 上の層コホモロジー H̃i(X, F) と ν′(X) 上の層コホモロジー H̃i(ν′(X), F) の間に同型を確立する。この同型は ν′ のファンクター性に基づく。
• 粗い超フィルターおよび近接関係の性質を用いて、ν′ がエピモルフィズムを反映すること、および粗く単射な写像がコロナ上で閉埋め込みを誘導することを証明する。

実験結果

リサーチクエスチョン

• RQ1 粗い距離空間からコンパクトな位相的空間へのファンクターを、層コホモロジーを保存および反映するように構成できるか？
• RQ2 新しいコロナ ν′(X) は、Higson コロナ や Smirnov コンパクト化といった既存の構成とどのように関係するか？
• RQ3 どのような条件下で、粗く適切な距離空間に対してコロナ ν′(X) が Higson コロナ νX と位相的に同相になるか？
• RQ4 コロナ ν′(X) の位相的構造は何か？また、粗い被覆や超フィルターを用いて記述可能か？
• RQ5 ファンクター ν′ は、粗い写像の圏における全射性や単射性といった粗い性質を反映するか？

主な発見

• ファンクター ν′: mCoarse → Top は適切に定義されており、粗い写像をコンパクト空間間の連続写像に写す。
• 任意の距離空間 X に対して、コロナ ν′(X) はコンパクトであるが、一般には距離化可能とは限らない。
• 粗い空間上の層コホモロジーとコロナ上の層コホモロジーは同型である：任意の層 F に対して H̃i(X, F) ≅ H̃i(ν′(X), F)。
• コロナファンクター ν′ は層コホモロジーを保存および反映し、粗い幾何学と位相幾何学の間の双対性を確立する。
• 粗く単射な写像はコロナ間で閉埋め込みを誘導し、ν′ はエピモルフィズムを反映する：ν′(f) が全射であれば、f は粗く全射である。
• 粗く適切な距離空間に対して、ν′(X) は Higson コロナ νX、Smirnov コンパクト化 γX/≈、および Stone-Čech 商コロナ X̌ と位相的に同相であり、三つの既存の構成を統一する。