[論文レビュー] Perverse Schobers

Mikhail Kapranov, Vadim Schechtman|arXiv (Cornell University)|Nov 11, 2014

Advanced Topics in Algebra参考文献 12被引用数 7

ひとこと要約

本稿は、ベクトル空間の代わりに三角分解カテゴリを用いることで、分岐層のカテゴリカル一般化を提案し、'分岐ショーバー'という概念を導入する。最も単純な場合——特異点が1つの円板上の分岐層——において、球面関手を用いてカテゴリカルアナログを定義し、導来代数幾何学およびホモロジー代数におけるカテゴリフィケーションされた層理論への基盤的ステップを提供する。

ABSTRACT

We suggest a possibility for a categorical generalization of the concept of a perverse sheaf, in which vector spaces are replaced by triangulated categories. We call such hypothetical objects perverse Schobers and consider several examples, giving a natural but ad hoc definition in each case. In the simplest case (perverse sheaves on a disk with one possible singular point) we propose, as a categorical analog, the data of a spherical functor.

研究の動機と目的

• ベクトル空間を三角分解カテゴリに置き換えることで、分岐層のカテゴリカルアナログを開発すること。
• 分岐層理論を導来代数幾何学に適した高階カテゴリカルな設定へと拡張すること。
• 特定の幾何的状況において、自然的だが一時的な分岐ショーバーの定義を提供すること。
• 球面関手が、特異点が1つの円板上の分岐層のカテゴリカルアナログとして果たす役割を調査すること。

提案手法

• 三角分解カテゴリとその間の関手が特定の整合性条件を満たすデータとして、分岐ショーバーの定義を提案する。
• 最も単純な場合——特異点が1つの円板上の分岐層——において、球面関手を主要なカテゴリカル構造として用いる。
• 三角分解カテゴリおよび導来カテゴリの枠組みを用いて、perversityの層論的概念を一般化する。
• 特に1つの特異点を持つ円板において、幾何的状況での分岐ショーバーの例を構成する。
• カテゴリカルアナログのperversity t-構造をモデル化するために、球面関手の理論とその性質に依拠する。
• 完全な公理的体系を避けるが、特定の状況において自然な一時的アプローチを採用して分岐ショーバーを定義する。

実験結果

リサーチクエスチョン

• RQ1 分岐層の概念をベクトル空間から三角分解カテゴリへどのように一般化できるか？
• RQ2 導来設定において、特異点が1つの円板上の分岐層に対応するカテゴリカル構造は何か？
• RQ3 球面関手は、分岐層のカテゴリカル一般化の基本的構成要素として機能できるか？
• RQ4 幾何的文脈で分岐ショーバーを定義するために必要な最小限の公理または構造は何か？
• RQ5 球面関手の性質は、カテゴリカル設定におけるperversity条件をどのように反映するか？

主な発見

• 本稿は、ベクトル空間を三角分解カテゴリに置き換えることで、分岐層のカテゴリカル一般化として分岐ショーバーの概念を導入する。
• 特異点が1つの円板の場合、カテゴリカルアナログは球面関手を用いて実現され、一般概念の明確な実装を提供する。
• 選択された幾何的状況において、一時的だが自然な構成であるため、将来的な一般化への有効な道筋を示唆する。
• 球面関手の使用により、カテゴリフィケーションされた層理論とホモロジー代数における既知の構造との直接的な関連が確立される。
• この枠組みは、高階カテゴリカルおよび導来文脈における分岐層理論の拡張の基盤を提供する。
• このアプローチは、カテゴリカルな手段を通じて特異点および双対性を、導来代数幾何学で研究するための新たな道を開く。