[論文レビュー] Grothendieck topologies from unique factorisation systems

Mathieu Anel|ArXiv.org|Feb 6, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 12

ひとこと要約

本稿は、局所的可表関手圏における一意的因数分解系から、グロテンディーク位相および関連するスペクトルの新規構成を提示する。このような系に内在する上昇性質を活用することで、ザリスキ、エタール、ニスネヴィッチ位相といった古典的位相を体系的に回復し、新たな文脈へと拡張し、射の直交クラスに根ざした共通の代数的幾何的メカニズムによってそれらの定義を統一する。

ABSTRACT

This work presents a way to associate a Grothendieck site structure to a category endowed with a unique factorisation system of its arrows. In particular this recovers the Zariski and Etale topologies and others related to Voevodsky's cd-structures. As unique factorisation systems are also frequent outside algebraic geometry, a construction applies to some new contexts, where it is related with known structures defined otherwise. The paper details algebraic geometrical situations and sketches only the other contexts.

研究の動機と目的

• 局所的可表関手圏における一意的因数分解系からグロテンディーク位相を生成する一般的手法を確立すること。
• 代数幾何学における古典的位相—例えばザリスキ、エタール、ニスネヴィッチ—の定義を、一つの圏論的枠組みで統一すること。
• 因数分解系が自然に現れる他の数学的文脈にまで、この構成を拡張すること。
• 因子分解系の点を通じてスペクトルを定義し、局所的および無限小的構造を捉える幾何的実現を提供すること。

提案手法

• 本稿は、左直交射からなる A と右直交射からなる B からなる一意的因数分解系 (A,B) に由来する上昇系を用いる。
• 点を被覆する B に属する射の族によって位相を定義し、その上昇性質により、芽や局所的対象と整合性を保証する。
• A に属する射を無限小的厚さと解釈し、B に属する射を開埋め込みとみなすことで、幾何的直感と整合する。
• CRings^op や単体的集合などの圏にこの因数分解系を適用し、スペクトルと位相を導出する。
• 右クラス B と特徴的な被覆との間の対応を確立し、cd 構造と強制条件を一般化する。
• 単体的集合のフィルター図式において、pro-対象が表現可能になると示し、小ニスネヴィッチスペクトルを空間的対象として構成可能にする。

実験結果

リサーチクエスチョン

• RQ1 一意的因数分解系から、ザリスキやエタールといった既知の位相を体系的に回復できるような、グロテンディーク位相を生成する方法は存在するか？
• RQ2 因子分解系の点は、スキームやスペクトルの局所的構造とどのように関係するか？
• RQ3 pro-対象およびフィルター極限は、ニスネヴィッチ位相においてスペクトルを空間的対象として実現するために果たす役割は何か？
• RQ4 代数幾何学を超えたより広範な数学的文脈において、この構成が意味のある位相およびスペクトルを生み出すことができるか？
• RQ5 この枠組みは、ルリエの幾何学やデュブーグのエタールクラスといった、トポス理論や高階圏論の既存のアプローチと比較してどのように異なるか？

主な発見

• 本稿は、任意の一意的因数分解系が、その右クラスを介して局所的可表関手圏上にグロテンディーク位相を定めることが示された。特徴的な被覆は上昇性質によって定義される。
• 可換環の圏の反対圏において、因数分解系 (Cons^o, Loc^o) はザリスキ位相を回復する。ここで Loc^o は局所化からなる集合であり、Cons^o は保存的射からなる。
• エタール位相は、右クラスにエタール射を含む因数分解系から同様に得られる。上昇条件により、局所環およびそのスペクトルと整合性が保証される。
• 単体的集合の場合は、Δ[n] の小ニスネヴィッチスペクトルが、通常の幾何的実現の双対となるセル複体であることが示された。非退化な面がすべて開集合として含まれる。
• 本稿は、P(n) 内の任意のフィルター図式が、終端対象を持つ順序集合へ因子化可能であることを示し、ニスネヴィッチ設定における pro-対象が表現可能であることを示した。
• 本稿のスペクトルの概念は、点の圏に因数分解系を持つプレシェーブトポスに適用した場合、デュブーグの定義と一致することが示され、異なる枠組み間の整合性が裏付けられた。