[論文レビュー] Silting-discrete triangulated categories and contractible stability spaces

Takahide Adachi, Yuya Mizuno+1 more|arXiv (Cornell University)|Aug 28, 2017

Algebraic structures and combinatorial models被引用数 1

ひとこと要約

本稿では、三角的部分圏のSTペアを導入し、その関連された導来圏𝒟における有界t構造と、silt-discreteな圏𝒞におけるsilt対象の間で、全単射対応を確立する。𝒞がsilt-discreteであるならば、𝒟の安定性空間は可縮であることを示し、これはDynkin型クーヴィーから生じる特定のCalabi–Yau三角圏の安定性空間に対しても可縮であることを示唆する。

ABSTRACT

We introduce the notion of ST-pairs of triangulated subcategories, a prototypical example of which is the pair of the bound homotopy category and the bound derived category of a finite-dimensional algebra. For an ST-pair $(\C,\D)$, we construct an order-preserving map from silting objects in $\C$ to bounded $t$-structures on $\D$ and show that the map is bijective if and only if $\C$ is silting-discrete if and only if $\D$ is $t$-discrete. Based on a work of Qiu and Woolf, the above result is applied to show that if $\C$ is silting-discrete then the stability space of $\D$ is contractible. This is used to obtain the contractibility of the stability spaces of some Calabi--Yau triangulated categories associated to Dynkin quivers.

研究の動機と目的

• silt対象とt構造対応を分析するための枠組みとして、三角的部分圏のSTペアを定義・研究すること。
• 𝒞におけるsilt対象から𝒟における有界t構造への、全単射で順序を保つ写像を確立すること。
• この対応を通じて、𝒞のsilt-discretenessおよび𝒟のt-discretenessを特徴づけること。
• この対応を応用し、𝒞がsilt-discreteである場合、𝒟の安定性空間が可縮であることを示すこと。
• この結果をDynkin型クーヴィーから生じるCalabi–Yau三角圏に拡張すること。

提案手法

• 𝒞を有界ホモトピー圏、𝒟を有限次元代数の有界導来圏とするSTペア(𝒞, 𝒟)を定義する。
• 𝒞におけるsilt対象から𝒟における有界t構造への順序を保つ写像を構成する。
• この写像が全単射であるための必要十分条件が、𝒞がsilt-discreteかつ𝒟がt-discreteであることであることを証明する。
• QiuとWoolfによる安定性空間に関する結果を活用し、𝒟の安定性空間が可縮であることを導く。
• この枠組みをDynkin型クーヴィーから生じるCalabi–Yau圏に適用し、その安定性空間が可縮であることを示す。

実験結果

リサーチクエスチョン

• RQ1 STペア(𝒞, 𝒟)に対して、𝒞におけるsilt対象と𝒟における有界t構造との間に全単射対応が存在する条件は何か？
• RQ2 構築された写像を通じて、𝒞のsilt-discretenessと𝒟のt-discretenessの関係はどのように規定されるか？
• RQ3 𝒞がsilt-discreteである場合、𝒟の安定性空間がどのような位相的性質を引き継ぐか？
• RQ4 この枠組みを通じて、Calabi–Yau三角圏における安定性空間の可縮性を確立できるか？
• RQ5 STペアは、三角圏におけるsilt理論とt構造理論を統合する役割を果たすか？

主な発見

• 𝒞におけるsilt対象から𝒟における有界t構造への写像が全単射であるための必要十分条件は、𝒞がsilt-discreteかつ𝒟がt-discreteであることである。
• 𝒞がsilt-discreteであるならば、𝒟の安定性空間は可縮である。
• 𝒟の安定性空間の可縮性は、全単射対応およびQiuとWoolfの結果から導かれる。
• この枠組みは、Dynkin型クーヴィーから生じるCalabi–Yau三角圏に適用可能であり、その安定性空間が可縮であることを示している。
• STペアの構成は、三角圏におけるsilt理論とt構造理論を統合するメカニズムを提供する。