[論文レビュー] Sheaves on T-topologies

Mário J. Edmundo, Luca Prelli|arXiv (Cornell University)|Feb 3, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 5

ひとこと要約

本稿は、$τ$-位相を用いて、tameな幾何的文脈（半代数的、部分解析的、o-最小的）における層理論の統一的枠組みを提示する。これは、KashiwaraとSchapiraのアプローチを、Hausdorff性や局所コンパクト性の仮定を外した非Hausdorff的かつ非局所コンパクトな設定へ一般化するものである。主な貢献は、$τ$-サイト上の層と、局所的に弱く擬コンパクトな$τ$-スペクトル空間上の層の間の同値性を確立することであり、o-最小的および部分解析的幾何における連続層およびフレア層理論への応用を含む。

ABSTRACT

The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.

研究の動機と目的

• 半代数的、部分解析的、o-最小的幾何における層理論の統一的取り扱いを可能にし、それまで別個の文脈特有の構成に依存していたものを統合すること。
• Hausdorff性や有限連結成分の仮定を外した$τ$-位相の概念を一般化し、非標準的なo-最小的および錐部分解析的設定への応用を可能にすること。
• $τ$-サイト上の層と、局所的に弱く擬コンパクトな空間（$τ$-スペクトル）上の層との間の圏同値を確立することで、実スペクトルやo-最小的スペクトルの構成を一般化すること。
• この枠組み内での$τ$-フレア層、$τ$-連続層、およびc-ソフト層の理論を構築し、コホモロジー的応用のための可解性および完全性の結果を証明すること。
• すべての$τ$-サイト上の層が、$τ$-連続層の有向極限として表され、$τ$-層の圏と連続層のind圏との間の同値性を確立すること。

提案手法

• 位相空間$X$に、有限部分被覆条件を満たす開集合族$\mathcal{T}$を選び、Grothendieckサイト$X_{\mathcal{T}}$を構成する。
• $\rho: X \to X_{\mathcal{T}}$を自然なサイト準同型とし、$\rho_*: \mathrm{Mod}(k_X) \to \mathrm{Mod}(k_{\mathcal{T}})$と$\rho^{-1}: \mathrm{Mod}(k_{\mathcal{T}}) \to \mathrm{Mod}(k_X)$を誘導する。$\rho_*$はfully faithfulであり、$X$が局所的に弱く擬コンパクトであれば、$\rho_!$は$\rho^{-1}$の右随伴となる。
• $\mathcal{T}$-フレア層を、すべての$U \supseteq V$（$U,V \in \mathcal{T}$）に対して制限写像$\Gamma(U;F) \to \Gamma(V;F)$が全射となる層として定義し、$\Gamma(U;\bullet)$および$\mathrm{Hom}_{k_{\mathcal{T}}}(\rho_*G, \bullet)$（$G$は連続）に対して可解であることを証明する。
• $\mathcal{T}$-部分集合の超フィルターの空間としての$\mathcal{T}$-スペクトル$\widetilde{X}_{\mathcal{T}}$を構成し、その基底として擬コンパクト開集合をとる。$\mathrm{Mod}(k_{\mathcal{T}}) \simeq \mathrm{Mod}(k_{\widetilde{X}_{\mathcal{T}}})$を証明する。
• 細胞分解定理とo-最小的構造における定義可能性を用いて、定義可能集合が$\mathcal{T}$-族をなすことを示し、$\mathcal{T}$-連続層は$U \in \mathcal{T}$に対し$k_U$による有限分解をもつ層として特徴づけられることを示す。
• すべての$F \in \mathrm{Mod}(k_{\mathcal{T}})$は、$F_i$が連続であるような有向極限$\underrightarrow{\lim}_i \rho_*F_i$と同型であり、$\mathrm{Mod}(k_{\mathcal{T}}) \simeq \mathrm{Ind}(\mathrm{Coh}(\mathcal{T}))$を導く。

実験結果

リサーチクエスチョン

• RQ1 半代数的、部分解析的、o-最小的幾何における層理論を、1つの圏的枠組みで統一的に扱う方法は何か？
• RQ2 非Hausdorff的かつ非局所コンパクトな設定（例：錐部分解析的層）を扱うために、$\mathcal{T}$-位相の概念にどのような修正が必要か？
• RQ3 $\mathcal{T}$-サイト上の層の圏が、局所的に弱く擬コンパクトな空間上の層の圏として同値に記述可能か？ これは実スペクトルやo-最小的スペクトルの構成を一般化するものか？
• RQ4 $\mathcal{T}$-フレア層のコホモロジー的性質は何か？ また、$\Gamma(U;\bullet)$ や $\mathrm{Hom}_{k_{\mathcal{T}}}(\rho_*G, \bullet)$ といった導来函手とどのように関係するか？
• RQ5 $\mathcal{T}$-連続層が、有向極限を用いてすべての$\mathcal{T}$-層の圏を生成する程度は？ これは$\mathrm{Mod}(k_{\mathcal{T}})$の構造にどのような意味を持つのか？

主な発見

• $τ$-空間$X$上の$\mathcal{T}$-層の圏は、$\mathcal{T}$-スペクトル$\widetilde{X}_{\mathcal{T}}$上の層の圏と同値であり、$\widetilde{X}_{\mathcal{T}}$は局所的に弱く擬コンパクトな空間であり、その擬コンパクト開集合は$\{\widetilde{U} \mid U \in \mathcal{T}\}$で与えられる。
• すべての$X_{\mathcal{T}}$上の層$F$は、$F_i$が連続であるような有向極限$\underrightarrow{\lim}_i \rho_*F_i$と同型であり、$\mathrm{Mod}(k_{\mathcal{T}}) \simeq \mathrm{Ind}(\mathrm{Coh}(\mathcal{T}))$が成り立つ。
• $\mathcal{T}$-フレア層は、全局的切断関手$\Gamma(U;\bullet)$および$\mathrm{Hom}_{k_{\mathcal{T}}}(\rho_*G, \bullet)$（$G$は連続）に対して可解であり、有向極限および$\otimes$に関して安定である。
• 函手$\rho_!$は、$\rho^{-1}$の右随伴であり、正確で、有向極限および$\otimes$と可換であり、$X$が局所的に弱く擬コンパクトであればfully faithfulである。
• $o$-最小的サイト$X_{\rm def}$と錐部分解析的サイト$X_{sa,\mathbb{R}^+}$は、一般の$\mathcal{T}$-サイト構成の特別な場合であり、$\mathcal{T}$-連続層はそれぞれ定義可能集合または部分解析的集合に対応する。
• 半代数的および部分解析的層理論は、実閉体や制限解析関数を含む拡張が$o$-最小的構造をなすため、$o$-最小的層理論の特別な場合である。