[論文レビュー] Non-exactness of direct products of quasi-coherent sheaves

Ryo Kanda|arXiv (Cornell University)|Oct 20, 2018

Algebraic structures and combinatorial models参考文献 18被引用数 3

ひとこと要約

この論文は、アーベル的でないファミリーを持つ可逆層（つまり、除法的スキーム）をもつネーター的スキームに対して、準連接層の圏が正確な直積を持つことと、そのスキームがアフィンであることの同値性を証明している。この結果は、射影直線や穴あきスペクトルに対する既知の非正確性の結果を一般化し、Gabriel-Popescu埋め込みとRoosによるGroーデンシック圏がAb6およびAb4*を満たすための特徴づけを用いている。主な貢献は、この広範なスキームのクラスにおいて、直積の正確性とアフィン性の同値性を確立したことにある。

ABSTRACT

For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all quasi-projective schemes over commutative noetherian rings. The main tools of the proof are the Gabriel-Popescu embedding and Roos' characterization of Grothendieck categories satisfying Ab6 and Ab4*.

研究の動機と目的

• ネーター的スキーム上の準連接層の圏における直積の正確性が成り立つ条件を特定すること。
• 射影直線や穴あきスペクトルに対する既知の非正確性の結果を、より広いクラスのスキームへ一般化すること。
• QCoh(X)がグローテンディークのAb4*条件を満たすための構造的特徴づけを確立すること。
• 除法的ネーター的スキームに対して、Ab4*の正確性がアフィン性を意味することを、圏論的道具を用いて示すこと。

提案手法

• 準連接層の圏を環上の加群の圏に埋め込むためにGabriel-Popescu定理を用いる。
• Roosによる、Ab6およびAb4*を満たすグローテンディーク圏の特徴づけを応用し、積の正確性を分析する。
• 二重局所化部分圏および商圏の概念を用いて、加群圏を分解し、部分対象を分析する。
• ネーター的スキームに可逆層の十分なファミリーが存在するならば、それは除法的であることが保証され、Serreのアフィン性の基準の適用が可能になる。
• 閉埋め込みに沿った完全忠実な引き戻し関手を用いて、QCoh(X)における正確性と、閉部分スキームYにおけるQCoh(Y)における正確性を関連付ける。
• グローテンディーク圏においてAb4*と射影的効果の存在が同値であることを利用し、正確性と十分な射影的対象の存在を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ネーター的スキーム上の準連接層の圏が正確な直積をもつのは、どのような条件下か？
• RQ2 除法的ネーター的スキームに対して、QCoh(X)における直積の正確性がXがアフィンであることと同値であるか？
• RQ3 非アフィンスキームにおける直積の非正確性は、射影直線や穴あきスペクトルといった特定の例を超えて一般化可能か？
• RQ4 準連接層の圏におけるグローテンディーク圏の公理Ab4*とAb6は、どのように相互作用するか？
• RQ5 可逆層の十分なファミリーの存在が、QCoh(X)における直積の正確性を決定づける上で果たす役割は何か？

主な発見

• 除法的ネーター的スキームXに対して、QCoh(X)における直積が正確であることと、Xがアフィンであることとは同値である。
• QCoh(X)が十分な射影的対象をもつことと、Ab4*を満たすことは同値であり、ホモロジー的性質と幾何的構造との強い関係が示された。
• Xが非アフィンな除法的ネーター的閉部分スキームを含むならば、QCoh(X)はAb4*を満たさない。
• Gabriel-Popescu埋め込みによる同値性QCoh(X) ≅ Mod^I Sを介して、加群圏から層圏への正確性の性質の移行が可能である。
• O_XがQCoh(X)において射影的であることと、Xがアフィンであることとは同値であり、これはd ≥ 1に対してH^d(X, -)の高次コホホロジー群が消えることを意味する。
• Serreのアフィン性の基準を適用し、高次コホホロジー群の消えることからアフィン性が導かれるため、主要定理の証明が完成する。