[论文解读] 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-项凝炼对象与全维 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 的数值扭对，定义并分析一种新的等价关系——TF 等价关系。
• 在 $K_0(\text{proj}\,A)_\mathbb{R}$ 中，建立基本 2-项凝炼对象与全维 TF 等价类之间的一一对应关系。
• 利用递归锥构造，完全确定无向有向图路径代数的墙-域结构。
• 通过 Koenig–Yang 对应关系与 Euler 型对偶性，将域结构与 g-向量及维数向量联系起来。

提出的方法

• 利用 Baumann–Kamnitzer–Tingley 提供的数值扭对，在 $K_0(\text{proj}\,A)_\mathbb{R}$ 上引入 TF 等价关系。
• 通过 Koenig–Yang 对应关系，将 2-项凝炼对象与 t-结构及单纯系集合联系起来。
• 证明由 2-项凝炼对象的 g-向量张成的开锥构成一个全维 TF 等价类。
• 应用命题 2.8 的递归锥构造，计算维数向量 $\mathbf{d}$ 满足 $\#\operatorname{supp}\mathbf{d} \geq 3$ 时的 $\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}$ 中 $[P_i]$ 与 $K_0(\text{mod}\,A)_\mathbb{R}$ 中 $[S_j]$ 之间的对偶性，将域与倾斜模联系起来。

实验结果

研究问题

• RQ1 如何通过凝炼理论与稳定性条件描述 $K_0(\text{proj}\,A)_\mathbb{R}$ 的墙-域结构？
• RQ2 TF 等价关系在实格络群中域分类中起什么作用？
• RQ3 2-项凝炼对象的 g-向量如何与墙-域分解中的域相关联？
• RQ4 无向有向图路径代数的完整墙-域结构是什么？
• RQ5 如何对高维维数向量递归计算域锥 $\varTheta_\mathbf{d}$？

主要发现

• 由 2-项凝炼对象的 g-向量张成的 $K_0(\text{proj}\,A)_\mathbb{R}$ 中的开锥构成一个全维 TF 等价类。
• 在 $K_0(\text{proj}\,A)_\mathbb{R}$ 中，基本 2-项凝炼对象与全维 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 完全确定，且对所有维数向量均有显式描述。