[論文レビュー] Sheaves on Triangulated Spaces and Koszul Duality

Maxim Vybornov|ArXiv.org|Oct 27, 1999

Algebraic structures and combinatorial models参考文献 21被引用数 11

ひとこと要約

本稿は、有限の単体的複体上の2つの層の圏の間で、三角形分割に関して構造的である perverse 层と、 perverse 単体に沿って定数な層（δ-層）の間の Koszul 対称性を確立する。δ- perverse 位相を導入し、この位相上の層の圏と δ-層の圏との同値性を証明する。さらに、単体的層およびコ層の文脈において、Koszul 対称性関手と Verdier 対称性関手の間の整合性を示す。

ABSTRACT

Let $X$ be a finite connected simplicial complex, and let $δ$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with respect to the triangulation, and (2) the category of sheaves constant along the perverse simplices ($δ$-sheaves). We interpret the categories (1) and (2) as categories of modules over certain quadratic (and even Koszul) algebras $A(X,δ)$ and $B(X,δ)$ respectively, and we prove that $A(X,δ)$ and $B(X,δ)$ are Koszul dual to each other. We define the $δ$-perverse topology on $X$ and prove that the category of sheaves on perverse topology is equivalent to the category of $δ$ sheaves. Finally, we study the relationship between the Koszul duality functor and the Verdier duality functor for simplicial sheaves and cosheaves.

研究の動機と目的

• 有限の単体的複体上の perverse 層と δ-層の間の Koszul 対称性枠組みを確立すること。
• 三角形分割された空間に新しい位相——δ- perverse 位相——を定義し、その層の圏が δ-層の圏と同値であることを示すこと。
• 単体的層およびコ層の文脈において、Koszul 対称性関手と Verdier 対称性関手の相互作用を調査すること。
• 両方の層の圏をそれぞれ、二次代数 A(X,δ) および B(X,δ) の加群圏として解釈し、それらの Koszul 対称性を証明すること。

提案手法

• perversity 関数 δ を用いて、三角形分割に関してコhomologically に構造的である perverse 層の圏を定義する。
• δ によって定まる perverse 単体に沿って定数な層として、δ-層の圏を定義する。
• それぞれの層の圏と同値な加群圏を持つ二次代数 A(X,δ) および B(X,δ) を構成する。
• Koszul 複体の双対性を用いて、A(X,δ) と B(X,δ) が Koszul 双対であることを証明する。
• δ-構造的集合によってカバーが定まるように、Grothendieck 位相として X 上に δ- perverse 位相を定義する。
• 層の整理と制限の手続きを通じて、δ- perverse 位相上の層の圏と δ-層の圏との同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 三角形分割された空間上の perverse 層は、どのような二次代数の加群として解釈できるか？
• RQ2 δ-層の背後にある明確な代数的構造は何か？ そして、それは perverse 層とどのように関係するか？
• RQ3 perverse 層をパrameter する代数と δ-層をパrameter する代数の間に Koszul 対称性関係があるか？
• RQ4 その層が δ-層を回復するような、新しい Grothendieck 位相——δ- perverse 位相——を定義できるか？
• RQ5 単体的層およびコ層の文脈において、Koszul 対称性関手と Verdier 対称性関手の相互作用はどのように働くか？

主な発見

• 三角形分割に関して構造的である perverse 層をパrameter する代数 A(X,δ) は、Koszul 代数である。
• δ-層をパrameter する代数 B(X,δ) に対しても同様に Koszul 代数であり、A(X,δ) と B(X,δ) は互いに Koszul 双対である。
• δ- perverse 位相上の層の圏は、X 上の δ-層の圏と同値である。
• Koszul 対称性関手が単体的層およびコ層に作用する際、Verdier 対称性関手と整合的である。
• この構成により、Koszul 対称性を用いた perverse 層の新しい代数的実現が得られ、古典的な層論的対称性が組合せ的設定へ拡張される。
• 結果は任意の有限連結単体的複体および任意の perversity 関数 δ に対して有効であり、代数的トポロジーおよび代数的幾何学における古典的双対性現象を一般化する。