[論文レビュー] The wall-chamber structures of the real Grothendieck groups

Sota Asai|arXiv (Cornell University)|May 6, 2019

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

ひとこと要約

本稿は、有限次元代数の上で、TF同値関係とKoenig–Yang対応を用いて、実グロテンディーク群 $K_0(\text{proj}\,A)_\mathbb{R}$ にウォール・チャンバ構造を確立する。2-termのsilting対象が全次元のTF同値類と一対一対応することを証明し、g-ベクトルと次元ベクトルの再帰的構成を用いて、非巡回クーヴィーのパス代数についてのウォール・チャンバ構造を完全に特定する。

ABSTRACT

For a finite-dimensional algebra $A$ over a field $K$ with $n$ simple modules, the real Grothendieck group $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}:=K_0(\operatorname{\mathsf{proj}} A) \otimes_\mathbb{Z} \mathbb{R} \cong \mathbb{R}^n$ gives stability conditions of King. We study the associated wall-chamber structure of $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ by using the Koenig--Yang correspondences in silting theory. First, we introduce an equivalence relation on $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ called TF equivalence by using numerical torsion pairs of Baumann--Kamnitzer--Tingley. Second, we show that the open cone in $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ spanned by the g-vectors of each 2-term silting object gives a TF equivalence class, and this gives a one-to-one correspondence between the basic 2-term silting objects and the TF equivalence classes of full dimension. Finally, we determine the wall-chamber structure of $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ in the case that $A$ is a path algebra of an acyclic quiver.

研究の動機と目的

• 有限次元代数の実グロテンディーク群 $K_0(\text{proj}\,A)_\mathbb{R}$ のウォール・チャンバ構造を理解すること。
• Baumann–Kamnitzer–Tingleyの数値的 torsion ペair を用いて定義される新しい同値関係—TF同値関係—を定義・分析すること。
• 基本的2-term silting対象と全次元のTF同値類との間の一対一対応を確立すること。
• 再帰的錐構成を用いて、非巡回クーヴィーのパス代数についてのウォール・チャンバ構造を完全に特定すること。
• Koenig–Yang対応とEuler形式の双対性を通じて、チャンバ構造をg-ベクトルと次元ベクトルに結びつけること。

提案手法

• Baumann–Kamnitzer–Tingleyの数値的 torsion ペアを用いて、$K_0(\text{proj}\,A)_\mathbb{R}$ 上にTF同値関係を導入する。
• Koenig–Yang対応を用いて、2-term silting対象をt-構造と単純な集合に結びつける。
• 2-term silting対象のg-ベクトルが張る開錐が、全次元のTF同値類をなすことを示す。
• 命題2.8による再帰的錐構成を適用し、$\#\operatorname{supp}\mathbf{d} \geq 3$ を満たす次元ベクトル $\mathbf{d}$ に対して $\varTheta_\mathbf{d}$ を計算する。
• 安定性条件とチャンバを定義するために、Euler形式 $\langle T,X\rangle = \sum_k (-1)^k \dim_K \operatorname{Hom}(T,X[k])$ を用いる。
• $K_0(\text{proj}\,A)_\mathbb{R}$ と $K_0(\text{mod}\,A)_\mathbb{R}$ における $[P_i]$ と $[S_j]$ の双対性を用いて、チャンバをtiltingモジュールに関連付ける。

実験結果

リサーチクエスチョン

• RQ1 silting理論と安定性条件を用いて、$K_0(\text{proj}\,A)_\mathbb{R}$ のウォール・チャンバ構造をどのように記述できるか？
• RQ2 TF同値関係は、実グロテンディーク群におけるチャンバの分類において果たす役割は何か？
• RQ3 2-term silting対象のg-ベクトルは、ウォール・チャンバ分解におけるチャンバとどのように関係するか？
• RQ4 非巡回クーヴィーのパス代数についての完全なウォール・チャンバ構造は何か？
• RQ5 次元ベクトルの次元が高次である場合、チャネル錐 $\varTheta_\mathbf{d}$ はどのように再帰的に計算できるか？

主な発見

• 2-term silting対象のg-ベクトルが張る$K_0(\text{proj}\,A)_\mathbb{R}$ 内の開錐は、全次元のTF同値類をなす。
• 基本的2-term silting対象と$K_0(\text{proj}\,A)_\mathbb{R}$ 内の全次元TF同値類との間には一対一対応が存在する。
• $\#\operatorname{supp}\mathbf{d} = 1$ の場合、$\varTheta_\mathbf{d} = \bigoplus_{i \neq k} \mathbb{R}[P_i]$ である。
• $\#\operatorname{supp}\mathbf{d} = 2$ の場合、$\varTheta_\mathbf{d}$ は条件 $a^2 + b^2 - mab \leq 1$ の下で、$a,b$ が $\mathbf{d}$ の正規化された成分であるとき、射線または全次元部分空間である。
• $\#\operatorname{supp}\mathbf{d} \geq 3$ の場合、$\varTheta_\mathbf{d}$ は $\bigcup_{0<\mathbf{c}<\mathbf{d}} (\varTheta_\mathbf{c} \cap \varTheta_{\mathbf{d}-\mathbf{c}})$ を含む最小の多面体錐である。
• 非巡回クーヴィーのパス代数についての$K_0(\text{proj}\,A)_\mathbb{R}$ のウォール・チャンバ構造は、補題5.5と命題5.6によって完全に特定されており、すべての次元ベクトルについて明示的な記述が可能である。