[論文レビュー] Extensions of flat functors and theories of presheaf type

Olivia Caramello|arXiv (Cornell University)|Apr 17, 2014

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

ひとこと要約

本稿はトポス理論における平坦関手の拡張に関する一般理論を構築し、幾何的理論がプレシェーブ型である（つまり、その分類トポスがプレシェーブトポスと同値である）ための必要十分な意味的条件を特徴づける定理を確立する。主な貢献は、グロテンディークトポスにおけるモデルに基づく統一的な基準であり、これにより先行研究を統合し、新しいプレシェーブ型理論の実用的検証および構成が可能になる。

ABSTRACT

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a characterization theorem providing necessary and sufficient semantic conditions for a theory to be of presheaf type. This theorem subsumes all the previous partial results obtained on the subject and has several corollaries which can be used in practice for testing whether a given theory is of presheaf type as well as for generating new examples of theories belonging to this class. Along the way, we establish a number of other results of independent interest, including developments about colimits in the context of indexed categories, expansions of geometric theories and methods for constructing theories classified by a given presheaf topos.

研究の動機と目的

• トポス理論における幾何的同型写像に沿った平坦関手の拡張に関する包括的理論の構築。
• 分類トポスがプレシェーブトポスである（すなわちプレシェーブ型である）幾何的理論の完全な特徴づけの提供。
• プレシェーブ型理論を同定するための先行部分的基準を統一的かつ一般化すること。
• 与えられた理論がプレシェーブ型であるかどうかをテストする実用的ツールの提供および新しい例の構成。
• モデルの意味的性質と幾何的理論の句法学的構造との間の関係の確立。

提案手法

• トポスにおける$\boldsymbol{\frak{E}}$-インデックス付き余極限、特に内部図式およびテンソル積の文脈での導入と分析。
• 幾何的同型写像に沿った平坦関手の拡張のための一般枠組みの構築、特に随伴および圏の埋め込みを含む。
• 幾何的理論の文脈において、有限生成モデルおよび準同型の特徴づけに理論を適用。
• 意味的$\frak{E}$-有限生成性の概念を導入し、モデルにおける強い有限生成性と関連付ける。
• 幾何的理論の拡張およびインジェクティビゼーションを用いて、プレシェーブ型理論の新たな生成。
• 特徴づけ定理を、ベクトル空間、単位を有するアーベル$\ell$-群、およびダイアースの体といった具体的な例に適用。

実験結果

リサーチクエスチョン

• RQ1 幾何的理論がプレシェーブ型であるための必要十分な意味的条件は何か？
• RQ2 与えられた幾何的理論がプレシェーブトポスによって分類されるかどうかをどのように特定できるか？
• RQ3 どの構成がプレシェーブ型の性質を保存するか、そして新しいこのような理論をどのように生成できるか？
• RQ4 グロテンディークトポスにおけるモデルは、プレシェーブ型理論の句法学的構造をどのように反映するか？
• RQ5 理論の拡張およびインジェクティビゼーションは、プレシェーブ型理論のクラスとどのように関係するか？

主な発見

• 本稿は、幾何的理論がプレシェーブ型であるための必要十分条件を特徴づける定理を確立しており、その内容は、グロテンディークトポスにおける平坦関手の拡張に関連する特定の意味的条件を満たす有限生成モデルが存在することである。
• 単位を有するアーベル$\ell$-群の理論がプレシェーブ型であることが証明され、有限生成モデルは$\mathbb{H}$-モデルとして有限生成であり、かつ単位を有するものに限る。
• 体$K$上の次元$\leq n$のベクトル空間の理論はプレシェーブ型であることが示され、$\mathbf{Set}$におけるモデルは、次元$\leq n$の有限次元$K$-ベクトル空間に限る。
• ダイアースの体の理論はプレシェーブ型であると特定され、モデルは与えられた体に代数的である体に限る。
• 与えられた体の代数的拡大の理論はプレシェーブ型であることが証明され、有限生成モデルは有限代数的拡大に対応する。
• 単位を有するアーベル$\ell$-群の理論がMV代数の理論とモリタ同値であることが示され、プレシェーブ型理論のクラス内でのその位置づけが確認された。