[论文解读] Algebras of quasi-quaternion type

Sefi Ladkani|arXiv (Cornell University)|Apr 27, 2014

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

一句话总结

本文引入了拟四元数型代数——一类对称、 tame、有限维的代数，其中非投射模是周期整除 4 的 $Ω$-周期模。作者通过三角剖分quiver和带势的quiver构造这些代数，表明它们统一了Erdmann的四元数型代数与Labardini的由曲面三角剖分导出的雅可比代数。一个关键结果是这些代数与 2-CY-tilted 代数导出等价，并在具一个尖点的曲面上产生无穷多个非同构的非退化势。

ABSTRACT

We define algebras of quasi-quaternion type, which are symmetric algebras of tame representation type whose stable module category has certain structure similar to that of the algebras of quaternion type introduced by Erdmann. We observe that symmetric tame algebras that are also 2-CY-tilted are of quasi-quaternion type. We present a combinatorial construction of such algebras by introducing the notion of triangulation quivers. The class of algebras that we get contains Erdmann's algebras of quaternion type on the one hand and the Jacobian algebras of the quivers with potentials associated by Labardini to triangulations of closed surfaces with punctures on the other hand, hence it serves as a bridge between modular representation theory of finite groups and cluster algebras.

研究动机与目标

• 定义并研究拟四元数型代数，作为Erdmann的四元数型代数的推广。
• 通过 2-CY-tilted 代数在有限群的模表示理论与丛代数之间建立桥梁。
• 利用曲面三角剖分的组合数据，构造一类新的对称、tame、有限维代数，其模具有周期性。
• 证明这些代数与 2-CY-tilted 代数导出等价，并从单个quiver产生无穷多个非同构的雅可比代数。
• 通过导出等价与quiver突变，为Erdmann的四元数型代数确实属于该类型提供新证明。

提出的方法

• 引入三角剖分quiver：每个顶点有两条入射箭头和两条出射箭头，配备一个满足 $f^3 = \text{id}$ 的箭头上的阶为 3 的置换 $f$。
• 定义对偶的带边图结构，其中节点对应 $g$-循环，边对应quiver的顶点，其循环序由 $g$ 导出。
• 将三角剖分代数构造为完全路径代数的商代数，其理想由来自 $f$ 和 $g$ 的交换关系生成，通过长度为 3 的零关系确保有限性。
• 在quiver上定义势 $W$ 为循环路径 $\alpha f(\alpha)f^2(\alpha)$ 的和，减去涉及形式幂级数 $p_\beta(\omega_\beta)$ 的项，其中 $p$ 是 $g$-不变的。
• 通过在顶点 $k$ 上进行quiver突变，建立 $Q$ 和 $Q'$ 上的三角剖分代数之间的关系，证明当不包含 2-环时，$ (Q', W') $ 与 $ (Q, W) $ 的突变右等价。
• 当多重性 $m_\alpha$ 可逆且不被域的特征整除时，建立三角剖分代数 $\Lambda(Q,f,m,c)$ 与 $\Lambda(Q',f',m',c')$ 之间的导出等价。

实验结果

研究问题

• RQ1 在保持 $\Omega$-周期性周期为 4 的前提下，能否通过放松Cartan矩阵的非奇异条件，将四元数型代数的类进行推广？
• RQ2 来自具尖点的曲面的簇范畴的 2-CY-tilted 代数是否属于更广泛的对称代数类，其模具有周期性？
• RQ3 能否利用三角剖分quiver及其关联的带势quiver，构造出新的对称、tame、有限维代数族，其模具有 $\Omega$-周期性？
• RQ4 在具一个尖点的曲面三角剖分的邻接quiver上，是否存在无穷多个非同构的非退化势？
• RQ5 三角剖分代数的导出等价类在quiver突变下是否保持不变？这与丛-倾斜突变有何关联？

主要发现

• 拟四元数型代数类包含了Erdmann的所有四元数型代数，为它们的分类提供了新证明。
• 三角剖分代数的构造产生了新的tame对称代数，其 $\Omega$-周期模未被Erdmann与Skowronski的分类所涵盖。
• 对于任意亏格、仅具一个尖点的闭曲面的三角剖分，其邻接quiver上存在无穷多个非退化势，从而产生成对非同构的雅可比代数。
• 当多重性 $m_\alpha$ 可逆且不被域的特征整除时，三角剖分代数 $\Lambda(Q,f,m,c)$ 与 $\Lambda(Q',f',m',c')$ 之间的导出等价成立。
• 对于任意取值在 $xK[[x]]$ 中的 $p$，势 $W = \sum_{\alpha} \alpha f(\alpha)f^2(\alpha) - \sum_{\beta} p_\beta(\omega_\beta)$ 是非退化的，包括 $p(x) = x^m$ 当 $m$ 不被特征整除时。
• 当多重性 $m_\alpha$ 在域 $K$ 上可逆时，三角剖分代数同构于势 $W$ 的雅可比代数。