[论文解读] Modulated semi-invariants

Kiyoshi Igusa, Kent E. Orr+2 more|arXiv (Cornell University)|Jul 11, 2015

Algebraic structures and combinatorial models参考文献 25被引用 19

一句话总结

本文建立了任意域上有限维遗传代数的行列式半不变量的基础性质，将 quiver 表示理论推广至调制 quiver 和虚拟表示空间。关键贡献是 $c$-向量定理，证明了簇倾斜对象的 $c$-向量与半不变量的行列式权向量（符号除外）一致，从而在更广泛的代数设定下统一了簇代数理论与半不变量理论。

ABSTRACT

We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on the cluster tilting objects. Applications of these theorems are given in several concurrently written papers.

研究动机与目标

• 将行列式半不变量理论从 quiver 推广至任意域上的任意有限维遗传代数。
• 通过整数维向量的表示空间的余上确界定义虚拟表示空间。
• 建立 $c$-向量定理，将簇倾斜对象的 $c$-向量与半不变量的行列式权向量联系起来。
• 证明虚拟表示空间中通用表示的虚拟通用分解定理。
• 通过表示空间将稳定性与通用分解定理推广至非正维向量的情形。

提出的方法

• 将表示空间 $Rep(\Lambda,\alpha)$ 定义为 $\operatorname{Hom}_\Lambda(\operatorname{rad}P(\alpha), P(\alpha))$ 的子空间，其中 $\alpha \in \mathbb{N}^n$，从而推广 quiver 表示。
• 对 $\gamma_0, \gamma_1 \in \mathbb{N}^n$ 满足 $\underline{\dim}P(\gamma_0) - \underline{\dim}P(\gamma_1) = \alpha$，构造表示空间 $Pres_\Lambda(\gamma_1, \gamma_0)$。
• 将虚拟表示空间 $V\!rep(\Lambda,\alpha)$ 定义为所有此类表示空间关于所有有效 $\gamma_0, \gamma_1$ 对的余上确界。
• 通过投影模的 Hom-空间之间诱导映射的行列式，在 $V\!rep(\Lambda,\alpha)$ 上定义行列式半不变量 $\sigma_\beta$。
• 利用约化范数和行列式分别定义约化与完整半不变量，其关联权向量属于 $\mathbb{Z}^n$。
• 证明簇倾斜对象的 $c$-向量（符号除外）即为这些半不变量的行列式权向量，从而确立 $c$-向量定理。

实验结果

研究问题

• RQ1 如何将半不变量理论从 quiver 推广至任意域上的任意有限维遗传代数，包括非代数闭域？
• RQ2 表示空间对整数维向量的正确推广是什么？如何构建一致的虚拟表示空间？
• RQ3 簇代数理论中的 $c$-向量在推广设定下如何与行列式半不变量的权向量关联？
• RQ4 通用分解定理能否推广至整数维向量的虚拟表示空间？
• RQ5 约化范数在除法代数上定义半不变量时起什么作用？它与完整行列式有何关联？

主要发现

• 虚拟通用分解定理成立：对于非负整数线性组合 $\alpha = \sum n_i \beta_i$，其中 $\beta_i$ 为实 Schur 根且对应通用表示不可延拓，则 $V\!rep(\Lambda,\alpha)$ 中的通用表示同构于 $\bigoplus M_{\beta_i}^{n_i}$。
• 已证明 $c$-向量定理：簇倾斜对象的 $c$-向量（符号除外）即为在簇倾斜对象上定义的半不变量的行列式权向量。
• 对于 ${\mathbb{R}}$-调制 quiver ${\mathbb{H}} \leftarrow {\mathbb{C}} \leftarrow {\mathbb{C}}$，当 $\beta = (1,2,2)$ 时，行列式半不变量 $\sigma_\beta$ 的完整权为 $(1,2,2)$，而约化范数半不变量 $\overline{\sigma}_\beta$ 的约化权为 $(1,1,1)$。
• 已建立稳定性定理：若存在一个维数为 $\alpha$ 的刚性 $\Lambda$-模 $M$，则 $Rep(\Lambda,\alpha)$ 中同构表示的集合构成一个开稠密子集。
• 通过自同态在 Hom-空间上的作用计算半不变量的行列式权向量：对 $z \in \operatorname{Aut}(P_3)$，行列式按 $|z|^4$ 缩放，对应 $z$ 的范数权为 $2$，其他分量同理。
• 约化范数半不变量 $\overline{\sigma}_\beta$ 通过在 $\mathbb{H}$ 上取约化范数定义，对 $h \in \mathbb{H}^*$ 给出权 $1$，对 $z \in \mathbb{C}^*$ 给出权 $2$，结果得到约化权 $(1,1,1)$。