[論文レビュー] The nonequivariant coherent-constructible correspondence and tilting

Sarah Scherotzke, Nicolò Sibilla|arXiv (Cornell University)|Feb 14, 2014

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

ひとこと要約

本稿は、粗いスタック的ファンを持つトーリックオルビフォールドのクラスに対して非不変な整合的-構成的双対性を確立し、そのようなスタック上の完全複体の導来圏と、実トーラス上の特異的台が粗いラグランジュ部分多様体にある構成的層の圏との同値性を証明する。主な貢献は、この双対性を用いてトーリックデリーニ＝マーフォードスタックのティルティング複体を構成し、それらの導来圏が有限次元で有限グローバル次元を持つ代数の導来圏と準同値であることを示したことである。

ABSTRACT

The coherent-constructible correspondence is a relationship between coherent sheaves on a toric variety X, and constructible sheaves on a real torus T. This was discovered by Bondal, and explored in the equivariant setting by Fang, Liu, Treumann and Zaslow. In this paper we collect partial results towards a proof of the non equivariant coherent-constructible correspondence. Also, we give applications to the construction of tilting complexes in the derived category of toric DM stacks.

研究の動機と目的

• 広範なクラスのトーリックデリーニ＝マーフォードスタックに対して非不変な整合的-構成的双対性を確立すること。
• スタック的ファンが粗い場合に、完全複体から構成的層への関手 $\kappa$ が同値であることを証明すること。
• この双対性を用いて、トーリックDMスタックの導来圏におけるティルティング複体を構成すること。
• このようなスタックの導来圏が、有限グローバル次元を持つ有限次元代数の導来圏と準同値であることを示すこと。

提案手法

• 特定の条件を満たすスタック的ファンの組合せ的クラスとして、粗いスタック的ファンを定義する。
• $T^*M_\mathbb{R}$ に鋭いラグランジュ部分多様体 $\tilde{\Lambda}_{\mathbf{\Sigma}}$ を構成し、$T^*\mathbb{T}$ にその商 $\Lambda_{\mathbf{\Sigma}}$ を得る。
• 微局所層理論を用いて、$\mathbf{\Sigma}$ が粗い場合に $\mathrm{Sh}_c(\mathbb{T}, \Lambda_{\mathbf{\Sigma}})$ がテンソル積に関して閉じており、t-構造を備えることを示す。
• $\mathbf{\Sigma}$ が粗い場合に、関手 $\kappa: \mathrm{Perf}(\mathcal{X}_{\mathbf{\Sigma}}) \to \mathrm{Sh}_c(\mathbb{T}, \Lambda_{\mathbf{\Sigma}})$ が完全に忠実であり、さらに同値であることを証明する。
• この双対性を応用して、$\mathrm{Perf}(\mathcal{X}_{\mathbf{\Sigma}})$ が有限次元代数 $B$ の有限グローバル次元を持つ $D^b_{\mathrm{dg}}(B)$ と準同値であることを示すことで、ティルティング複体を構成する。
• $\mathcal{P}\mathrm{erf}(\mathcal{X}_{\mathbf{\Sigma}})$ が飽和的であるという事実を活用し、随伴関手が存在することを保証することで、準同値の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非不変な整合的-構成的双対性は、不変設定を超えたトーリックオルビフォールドに対しても成立するか？
• RQ2 スタック的ファンにどのような組合せ的条件が満たされると、通常の完全複体に対して双対性が同値となるか？
• RQ3 整合的-構成的双対性を用いて、トーリックDMスタックの導来圏におけるティルティング複体を構成できるか？
• RQ4 特異的台が粗いラグランジュ部分多様体にある構成的層の圏は、テンソル積に関して閉じており、t-構造を備えているか？
• RQ5 スタック的ファンが粗い場合、滑らかなトーリックオルビフォールドの導来圏はティルティング対象をもつのか？

主な発見

• 定理1.3により、スタック的ファンが粗いすべてのトーリックオルビフォールドに対して、非不変な整合的-構成的双対性が成立することが示された。
• $\mathbf{\Sigma}$ が粗い場合、関手 $\kappa: \mathrm{Perf}(\mathcal{X}_{\mathbf{\Sigma}}) \to \mathrm{Sh}_c(\mathbb{T}, \Lambda_{\mathbf{\Sigma}})$ は同値である。
• $\mathbf{\Sigma}$ が粗い場合、圏 $\mathrm{Sh}_c(\mathbb{T}, \Lambda_{\mathbf{\Sigma}})$ はテンソル積に関して閉じており、t-構造を備える。
• 任意の滑らかなトーリックオルビフォールドについて、スタック的ファンが粗い場合、$\mathcal{P}\mathrm{erf}(\mathcal{X}_{\mathbf{\Sigma}})$ は有限次元代数 $B$ の有限グローバル次元を持つ $D^b_{\mathrm{dg}}(B)$ と準同値である。
• 定理7.5により、このようなスタックの導来圏にはティルティング複体が存在する。
• この構成はタウトロジカルなt-構造と整合的であり、完全に忠実な関手をdg圏へ拡張することが可能である。