[論文レビュー] A finite order arithmetic foundation for cohomology

Colin McLarty|arXiv (Cornell University)|Feb 9, 2011

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

ひとこと要約

本稿は、トポスや導来圏といった高度なコホモロジー的道具の有限順序算術的基礎を確立し、EGA や SGA の定理が、最も弱いレベルである有限順序算術の範囲内で形式化可能であることを示している。これにより、これらの道具が大規模構造の複雑さにもかかわらず、算術に深く根ざしていることが明らかになった。

ABSTRACT

Such large-structure tools of cohomology as toposes and derived categories stay close to arithmetic in practice, yet existing foundations for them go beyond the strong set theory ZFC. We formalize the practical insight by founding the theorems of EGA and SGA, plus derived categories, at the level of finite order arithmetic. This is the weakest possible foundation for these tools since one elementary topos of sets with infinity is already this strong.

研究の動機と目的

• EGA や SGA の核心的定理を支えるために必要な最小限の基礎的体系を特定すること。
• トポスや導来圏といった大規模構造のコホモロジー的道具が、有限順序算術に根ざし続けることの証明。
• ZFC などの強い集合論を避けるために、有限順序算術の強度を超えない形でこれらの道具を形式化すること。
• 無限を含む1つの初等的トポスが、これらの構成に必要な強度をすでに備えていることの示唆。

提案手法

• EGA や SGA の定理を有限順序算術内に形式化すること。
• 無限を含む初等的集合トポスの内部論理を、最小限の強度を持つ基盤として用いること。
• トポス的および導来圏的構成に必要な論理的強度を分析すること。
• これらのコホモロジー的結果に対して、有限順序算術を越えるより強い体系は必要でないことを示すこと。
• 有限順序算術が、代数幾何学におけるコホモロジー的道具の実用的使用を捉えるのに十分であることを確立すること。
• 必要な最小限の強度が、まさに1つの無限を含む初等的集合トポスのレベルであることを確認すること。

実験結果

リサーチクエスチョン

• RQ1 EGA や SGA の定理に必要な基礎的強度を有限順序算術まで低下させることは可能か？
• RQ2 有限順序算術は、代数幾何学における導来圏やトポスを形式化するのに十分か？
• RQ3 算術幾何学におけるコホモロジー的道具の実用的使用は、有限順序算術を越える強い集合論的基盤を必要とするか？
• RQ4 現代代数幾何学の核心的結果を支えるために可能な最小限の論理的体系は何か？
• RQ5 無限を含む1つの初等的集合トポスの強度は、これらのコホモロジー的道具のための最小限の基礎として最適か？

主な発見

• EGA や SGA の定理は、有限順序算術内で形式化可能である。
• 有限順序算術は、これらの作品で用いられるコホモロジー的道具のための、最も弱い可能な基礎である。
• 実際の応用においてトポスや導来圏が使われても、有限順序算術の範囲内に収まる。
• 無限を含む1つの初等的トポスが、すでにこれらの道具に必要な論理的強度を捉えきっている。
• 現代代数幾何学の核心的結果を形式化するにあたり、有限順序算術を越えるより強い体系は不要である。
• 代数幾何学におけるコホモロジー的手法の実用的強度は、有限順序算術に完全に含まれている。