[論文レビュー] Global dimension function on stability conditions and Gepner equations

Yu Qiu|arXiv (Cornell University)|Jun 29, 2018

Algebraic structures and combinatorial models参考文献 31被引用数 8

ひとこと要約

本稿では、ダイキン・クワイバーの導来圏におけるブリッジランド安定構造のグローバル次元関数が、一意の安定構造 $\sigma_G$ において最小値 $1 - 2/h$ を達成することを確立している。ここで $h$ はコックスター数である。この $\sigma_G$ はオースランド＝ライテン関手 $\tau$ による作用で $\tau(\sigma) = (-2/h)\cdot\sigma$ を満たすゲプナー方程式の解である。非ダイキンな鎖状クワイバーに対しては、最小グローバル次元は $1$ であり、これは三角化圏のカテゴリカルグローバル次元を定義する下界であるという予想を支持する。

ABSTRACT

We study the global dimension function $\operatorname{gldim}\colon\operatorname{Aut}\backslash\operatorname{Stab}\mathcal{D}/\mathbb{C} o\mathbb{R}_{\ge0}$ on a quotient of the space of Bridgeland stability conditions on a triangulated category $\mathcal{D}$ as well as Toda's Gepner equatio $Φ(σ)=s\cdotσ$ for some $σ\in\operatorname{Stab}\mathcal{D}$ and $(Φ,s)\in\operatorname{Aut}\mathcal{D} imes\mathbb{C}$. For the bounded derived category $\mathcal{D}^b(\mathbf{k} Q)$ of a Dynkin quiver $Q$, we show that there is a unique minimal point $σ_G$ of $\operatorname{gldim}$ (up to the $\mathbb{C}$-action), with value $1-2/h$, which is the solution of the Gepner equation $τ(σ)=(-2/h)\cdotσ$. Here $τ$ is the Auslander-Reiten functor and $h$ is the Coxeter number. This solution $σ_G$ was constructed by Kajiura-Saito-Takahashi. We also show that for an acyclic non-Dynkin quiver $Q$, the minimal value of $\operatorname{gldim}$ is $1$. Our philosophy is that the infimum of $\operatorname{gldim}$ on $\operatorname{Stab}\mathcal{D}$ is the global dimension for the triangulated category $\mathcal{D}$. We explain how this notion could shed light on the contractibility conjecture of the space of stability conditions.

研究の動機と目的

• ブリッジランド安定構造の空間上のグローバル次元関数を定義・研究し、その下界をカテゴリカル不変量として提案すること。
• 自己同値 $\Phi$ と複素数 $s$ に対して $\Phi(\sigma) = s \cdot \sigma$ を満たすゲプナー方程式を、特に三角化圏の文脈で考察すること。
• クワイバーの導来圏におけるグローバル次元関数の最小値を特定すること、特にダイキン型および鎖状でない非ダイキン型クワイバーを対象とすること。
• ダイキン型クワイバーにおけるゲプナー点 $\sigma_G$ が、$\mathbb{C}$-作用を除いてグローバル次元関数の唯一の最小化者であることを確立すること。
• グローバル次元とゲプナー解を、安定多様体のコントラクトビリティ予想を含むより広範な予想と結びつけること。

提案手法

• グローバル次元関数 $\operatorname{gldim}$ は、スライシング $\mathcal{P}$ において非自明な $\operatorname{Hom}(\mathcal{P}(\phi_1), \mathcal{P}(\phi_2))$ の存在に対して、位相差 $\phi_2 - \phi_1$ の上界として定義される。
• 本稿は、先行研究における $q$-変形フレームワークを用いて $q$-安定構造を構成し、自己同値によるその挙動を分析する。
• $\mathcal{D}_\infty(Q)$ から $\mathcal{D}_{\mathbb{X}}(Q)$ への自己同値の持ち上げを可能にするラグランジュ埋め込み $\mathcal{L}$ を適用し、$\tau_{\mathbb{X}}^{\mathcal{L}}$ の構成を可能にする。
• ゲプナー方程式はオースランド＝ライテン関手 $\tau$ の作用を通じて分析され、$\tau(\sigma_G) = e^{2\pi i/h} \cdot \sigma_G$ が $\tau_{\mathbb{X}}^{\mathcal{L}}(\sigma_{G,s}^{\mathcal{L}}) = (-2/h) \cdot \sigma_{G,s}^{\mathcal{L}}$ を導く。
• 中心的スコアとスライシングの $\mathcal{L}$ における整合性を用い、ゲプナー性 $Z_G \circ \tau = e^{2\pi i/h} Z_G$ を用いることで証明が行われる。
• $\operatorname{Aut}\mathcal{D} \times \mathbb{C}$ の作用と安定多様体の構造を用いて、$\sigma_G$ が $\operatorname{gldim}$ の唯一の最小化者であることが示される。

実験結果

リサーチクエスチョン

• RQ1 ダイキン・クワイバーの導来圏における安定構造の空間上でのグローバル次元関数の最小値は何か？
• RQ2 ゲプナー方程式 $\tau(\sigma) = (-2/h) \cdot \sigma$ は安定多様体内で一意に解を持ち、グローバル次元最小化者と関係があるか？
• RQ3 鎖状でない非ダイキン型クワイバーにおいて、グローバル次元関数はどのように振る舞い、その下界は何か？
• RQ4 グローバル次元関数の下界は、三角化圏のカテゴリカル不変量として解釈可能か？
• RQ5 $q$-変形とラグランジュ埋め込みは、ゲプナー方程式を満たす $q$-安定構造の構成とどのように関係するか？

主な発見

• ダイキン・クワイバー $Q$ の導来圏 $\mathcal{D}^b(\mathbf{k}Q)$ において、グローバル次元関数は、$h$ をコックスター数として、最小値 $1 - 2/h$ を達成する。
• この最小値は、ゲプナー点 $\sigma_G$ において一意に達成され、オースランド＝ライテン関手 $\tau$ による作用で $\tau(\sigma_G) = (-2/h) \cdot \sigma_G$ を満たす。
• 鎖状でない非ダイキン型クワイバーに対しては、グローバル次元関数の最小値は $1$ であり、ダイキン型の場合よりも高いカテゴリカルグローバル次元を示唆する。
• $\sigma_G$ は完全に安定である。つまり、$\mathcal{D}^b(\mathbf{k}Q)$ の任意の非分解的対象が $\sigma_G$ に関して安定である。
• $q$-変形された $q$-安定構造 $\sigma_{G,s}^{\mathcal{L}}$ は、$\operatorname{Re}(s) \geq \operatorname{gd}_Q + 1$ のとき、ゲプナー方程式 $\tau_{\mathbb{X}}^{\mathcal{L}}(\sigma) = (-2/h) \cdot \sigma$ を満たす。
• 到達可能なラグランジュ埋め込み $\mathcal{L}'$ に対応するすべての $q$-安定構造 $\sigma_{G,s}^{\mathcal{L}'}$ は、$\operatorname{Stab}\mathcal{D}_{\mathbb{X}}(Q)/\mathbb{C}$ 内で同じ点を表し、$\mathbb{C}$-作用を除いて一意性が確認される。