[論文レビュー] Stacks similar to the stack of perverse sheaves

David Treumann|ArXiv.org|Jan 19, 2008

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

ひとこと要約

本稿では、分層空間上のアーベル圏のスタックのクラスである「P型スタック」を導入する。これは、 perverse ホモロジー層のスタックを一般化するものであり、このようなスタックが局所的に MacPherson-Vilonen の構成と同値であることを証明する。さらに、2連結性の条件下では、その大域的セクションが有限次元代数上の加群圏と同値になることを示し、その背後には発展されたティルティング形式主義が存在する。

ABSTRACT

We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed stratification), and is singled out by fairly innocuous axioms. We show that some basic structure theory for perverse sheaves holds for a general stack of type P: such a stack is locally equivalent to a MacPherson-Vilonen construction, and under certain connectedness conditions its category of global objects is equivalent to the category of modules over a finite-dimensional algebra. To prove these results we develop a rudimentary tilting formalism for stacks of type P -- another sense in which these stacks are "similar to stacks of perverse sheaves."

研究の動機と目的

• P型スタックと呼ばれる、 perverse ホモロジー層のスタックを一般化する広範なスタックのクラスを定義し、特徴づけること。
• これらのスタックが、局所的に MacPherson-Vilonen の構成と同値であることなど、 perverse ホモロジー層と類似した主要な構造的性質を共有することを示すこと。
• 2連結性の仮定の下で、P型スタックの大域的セクションが有限次元代数上の加群圏と同値になるという有限性結果を確立すること。
• perverse ホモロジー層のそれと類似するティルティング形式主義をP型スタックのために開発し、構造的解析を支援すること。

提案手法

• スタックの分層に関する構成可能性、局所的な Hom および Ext 群の有限性、各層に対して単純対象の一意性、閉じた層の和集合に対するセール商構造という4つの公理により、P型スタックを定義する。
• 層の数に関する帰納法を用い、閉じた層の正則近傍を活用して、局所モデルに帰着する。
• スタックの各茎に対して MacPherson-Vilonen の構成を適用し、各茎が関手と自然変換を含む三つ組 $ C(F,G;T) $ のカテゴリに同値であることを示す。
• 大域的カテゴリから閉じた層のカテゴリへの再び引き戻し関手を構成し、それが MacPherson-Vilonen の構成と同値であることを示す。
• 弱い引き戻しの四角形を用いて、大域的カテゴリと局所的データの関係を確立し、開被覆全体を通しての整合性を保証する。
• ティルティング形式主義を活用し、大域的カテゴリに十分な射影対象が存在することを示し、その結果、それが有限次元 $\mathbb{F}$-代数上の加群圏と同値であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 perverse ホモロジー層のスタックの構造は、類似したカテゴリカル性質を持つより広いスタックのクラスへ一般化可能か？
• RQ2 任意のP型スタックは局所的に MacPherson-Vilonen の構成と同値か？
• RQ3 分層のどのような位相的条件のもとで、P型スタックの大域的セクションのカテゴリが有限次元代数上の加群圏と同値になるか？
• RQ4 perverse ホモロジー層のそれと類似するティルティング形式主義をP型スタックのためにどのように開発できるか？

主な発見

• 分層空間 $X$ 上の $\mathcal{S}$-構成的 $p$- perverse ホモロジー層のスタックは、P型スタックの例であり、古典的な場合を一般化する。
• P型スタックの任意の茎は、茎のカテゴリからベクトル空間への関手 $F$ と $G$ を含む MacPherson-Vilonen の構成 $C(F,G;T)$ に同値である。
• すべての層が2連結であるとき、大域的セクションのカテゴリ $\mathcal{C}(X)$ は有限次元 $\mathbb{F}$-代数上の有限次元加群圏に同値である。
• P型スタックのために開発されたティルティング形式主義により、再び引き戻しや MacPherson-Vilonen カテゴリへの同値が構成可能である。
• 大域的カテゴリ $\mathcal{C}(X)$ には十分な射影対象が存在し、これは加群圏同値性の重要な性質である。これは [11] の結果を用いて確立された。
• スタックの弱い引き戻し構造により、局所的データの整合性が保証され、大域的カテゴリが局所的な MacPherson-Vilonen データから再構成可能である。