[論文レビュー] Tensorial schemes

Martin Brandenburg|arXiv (Cornell University)|Oct 29, 2011

Algebraic structures and combinatorial models参考文献 9被引用数 5

ひとこと要約

この論文は、射影的スキームに対して、準連続なテンソル関手 Qcoh(X) → Qcoh(Y) が一意に引き戻しとして得られることを確立し、Lurieの『なまめかしさ』仮定の必要性を排除する。『テンソル的スキーム』——このような性質を持つスキーム——の概念を導入し、射影的スキームがテンソル的であること、すなわち、導来代数幾何におけるスキームの関手的アプローチにおけるギャップを埋めることを証明する。

ABSTRACT

Jacob Lurie (arXiv:math/0412266) has shown that for geometric stacks X,Y every cocontinuous tensor functor F : Qcoh(X) -> Qcoh(Y) is the pullback of a morphism Y -> X under the additional assumption that F is tame. In this note we get rid of this assumption if X is a projective scheme. In general, we call a scheme X tensorial if every cocontinuous tensor functor Qcoh(X) -> Qcoh(Y) is induced by a unique morphism Y -> X, show that projective schemes are tensorial and tensorial schemes are closed under various operations.

研究の動機と目的

• Lurieの結果における『なまめかしさ』仮定を、射影的スキームに対して取り除くこと。
• 『テンソル的スキーム』——任意のこのような関手が一意に引き戻しとして得られるスキーム——を定義し、それらを研究すること。
• 射影的スキームがテンソル的であること、すなわちLurieの結果をより広いスキームのクラスに拡張すること。
• テンソル的スキームがさまざまな幾何的操作に関して閉じているかを調査すること。

提案手法

• スキーム X を、任意の準連続テンソル関手 Qcoh(X) → Qcoh(Y) が一意に引き戻しとして得られるとき、テンソル的と定義する。
• 射影的スキーム上の準連続関手を、なまめかしさを仮定せず解析するため、準連続関手の構造を用いる。
• Qcoh(P^n) がラインバンドルで生成され、明確に理解されたテンソル構造を持つという事実を活用する。
• テンソル圏理論およびTannakian形式主義の結果を応用して、関手から元の準同型を再構成する。
• テンソル的スキームがファイバー積、基底変換、および他の標準的演算に関して閉じていることを示す。
• 一般の射影的スキームへの一般化のため、射影空間のケースを鍵となる構成要素として用いる。

実験結果

リサーチクエスチョン

• RQ1 Lurieの定理における『なまめかしさ』仮定は、射影的スキームに対して取り除けるか？
• RQ2 どのスキーム X が、任意の準連続テンソル関手 Qcoh(X) → Qcoh(Y) が一意に引き戻しとして得られるという性質を持つのか？
• RQ3 基底変換やファイバー積などの幾何的操作に関して、テンソル的スキームはどのように振る舞うか？
• RQ4 Qcoh(X) が持つどのような構造的性質が、テンソル関手が準同型によって表せられることを保証するのか？
• RQ5 テンソル的スキームのクラスは、代数幾何における標準的構成に関して閉じているか？

主な発見

• 射影的スキーム上の準連続テンソル関手 Qcoh(X) → Qcoh(Y) は、なまめかしさを仮定せず、一意に引き戻しとして得られる。
• 射影的スキームはテンソル的であり、その準連続関手のカテゴリが、関手によって一意に決定される。
• テンソル的スキームのクラスは、基底変換、ファイバー積、および他の標準的構成に関して閉じている。
• この結果は、射影的ケースにおいてLurieの定理を『なまめかしさ』条件なしに一般化する。
• テンソル的スキームは、導来代数幾何において、幾何的準同型がその関手 Qcoh(X) によって完全に決定される自然なクラスを形成する。