[论文解读] Coxeter transformation and inverses of Cartan matrices for coalgebras

William Chin, Daniel Simson|ArXiv.org|Apr 10, 2009

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

一句话总结

本文在指向尖锐欧拉余代数上的有限余生成余模范畴中，建立了考克斯eter变换与奥尔施泰因-雷滕变换之间的精确联系。证明了对于此类余代数，一个非投射的单连通余模 $N$ 的奥尔施泰因-雷滕变换 $ au_C N$ 的维数向量由 $ \mathbf{dim}( au_C N) = \mathbf{ \Phi}_C( \mathbf{dim} \,N) $ 给出，其中 $ \mathbf{ \Phi}_C$ 是通过卡坦矩阵的逆导出的考克斯eter变换。

ABSTRACT

Let C be a coalgebra and consider the Grothendieck groups of the categories of the socle-finite injective right and left C-comodules. One of the main aims of the paper is to study Coxeter transformation, and its dual, of a pointed sharp Euler coalgebra C, and to relate the action of these transformations on a class of indecomposable finitely cogenerated C-comodules N with almost split sequences starting or ending with N. We also show that if C is a pointed K-coalgebra such that the every vertex of the left Gabriel quiver of C has only finitely many neighbours, then for any indecomposable non-projective left C-comodule N of finite K-dimension, there exists a unique almost split sequence of finitely cogenerated left C-comodules ending at N. We show that the dimension vector of the Auslander-Reiten translate given by the Coxeter transformation, if C is hereditary, or more generally, if inj.dim DN=1 and Hom(C,DN)=0.

研究动机与目标

• 为指向尖锐欧拉余代数的内射余模的格罗滕迪克群定义并研究考克斯eter变换 $ \mathbf{ \Phi}_C$ 及其对偶 $ \mathbf{ \Phi}_C^{-}$。
• 将 $ \mathbf{ \Phi}_C$ 在维数向量上的作用与有限余生成余模范畴中的奥尔施泰因-雷滕变换 $ \tau_C$ 联系起来。
• 构造卡坦矩阵 $ \mathfrak{c}_C$ 的逆，并展示其在具有余根基有限内射分解的可计算余代数中定义考克斯eter变换的作用。
• 在余代数为遗传型或满足 $ \mathrm{inj.dim} \,DN = 1$ 且 $ \mathrm{Hom}_C(C,DN) = 0$ 的条件下，证明 $ \mathbf{dim}(\tau_C N) = \mathbf{ \Phi}_C( \mathbf{dim} \,N) $。
• 证明有限余生成余模范畴的奥尔施泰因-雷滕奎图的组成部分，其维数向量由 $ \mathbf{\Phi}_C^m$ 的迭代作用生成。

提出的方法

• 作者将格罗滕迪克群 $\mathbb{Z}^{I_C}_{\blacktriangleright}$ 和 $\mathbb{Z}^{I_C}_{\blacktriangleleft}$ 定义为余根基有限内射右余模与左余模的维数向量的像。
• 通过卡坦矩阵 $\mathfrak{c}_C^{-1}$ 与 $\mathfrak{c}_C$ 的转置，构造考克斯eter变换 $\mathbf{\Phi}_C: \mathbb{Z}^{I_C}_{\blacktriangleright} \to \mathbb{Z}^{I_C}_{\blacktriangleleft}$，公式为 $\mathbf{\Phi}_C = -\mathfrak{c}_C^{-tr} \cdot \mathfrak{c}_C$。
• 使用对偶函子 $D(-) = \mathrm{Hom}_K(-,K)$ 将 $C$ 上的余模与对偶代数 $C^*$ 上的伪紧模联系起来，从而应用已知的关于几乎分裂序列的结果。
• 论文应用文献 [5] 的结果，证明在 $C\text{-}{\operatorname{Comod}}_{fc}$ 中，对于非投射的单连通 $N$，存在几乎分裂序列 $0 \to \tau_C N \to N' \to N \to 0$。
• 作者利用左加布里埃尔奎图 ${}_C Q$ 的结构，并假设每个顶点仅有有限多个邻居，以确保几乎分裂序列的存在性与维数向量的良定义性。
• 通过在 $\mathbb{D}_\infty$ 类型的路径余代数等具体例子中验证等式 $\mathbf{dim}(\tau_C N) = \mathbf{\Phi}_C(\mathbf{dim}\,N)$，确认考克斯eter变换 $\mathbf{\Phi}_C$ 在维数向量上确实起到奥尔施泰因-雷滕变换的作用。

实验结果

研究问题

• RQ1 在指向尖锐欧拉余代数 $C$ 的有限余生成余模范畴中，考克斯eter变换 $\mathbf{\Phi}_C$ 与奥尔施泰因-雷滕变换 $\tau_C$ 之间有何关系？
• RQ2 在何种条件下，对于非投射的单连通余模 $N$，有 $\mathbf{dim}(\tau_C N) = \mathbf{\Phi}_C(\mathbf{dim}\,N)$ 成立？
• RQ3 对于具有余根基有限内射分解的余代数，卡坦矩阵 $\mathfrak{c}_C^{-1}$ 是否可显式构造？其与考克斯eter变换有何关联？
• RQ4 此类余代数的奥尔施泰因-雷滕奎图 $\Gamma(C\text{-}{\operatorname{Comod}}_{fc})$ 的结构如何？其组成部分如何由考克斯eter变换生成？
• RQ5 考克斯eter变换 $\mathbf{\Phi}_C$ 在多大程度上能通过奎图的一个截面生成所有单连通余模的维数向量？

主要发现

• 当余代数 $C$ 为遗传型，或满足 $\mathrm{inj.dim}\,DN = 1$ 且 $\mathrm{Hom}_C(C,DN) = 0$ 时，考克斯eter变换 $\mathbf{\Phi}_C$ 在维数向量上作用等同于奥尔施泰因-雷滕变换：$\mathbf{dim}(\tau_C N) = \mathbf{\Phi}_C(\mathbf{dim}\,N)$ 对于非投射的单连通 $C$-余模 $N$ 成立。
• 对于 $\mathbb{D}_\infty$ 类型的路径余代数 $C = K^{\square} Q$，卡坦矩阵 $\mathfrak{c}_C$ 为下三角矩阵，其元素属于 $\mathbb{Z}$，其逆矩阵 $\mathfrak{c}_C^{-1}$ 也为下三角矩阵，元素属于 $\{0,1,-1\}$，从而可显式计算 $\mathbf{\Phi}_C$。
• 考克斯eter变换 $\mathbf{\Phi}_C$ 计算为 $\mathbf{\Phi}_C = -\mathfrak{c}_C^{-tr} \cdot \mathfrak{c}_C$，其矩阵形式在 $\mathbb{D}_\infty$ 例子中明确给出，表明其对维数向量具有非平凡作用。
• 奥尔施泰因-雷滕奎图 $\Gamma(C\text{-}{\operatorname{Comod}}_{fc})$ 有两部分：一部分对应有限维余模，另一部分对应内射余模，后者形成无限链 $\cdots \to E(-2) \to E(-1) \to E(0) \to E(1) \to \cdots$。
• 奥尔施泰因-雷滕奎图中无限部分的所有单连通余模的维数向量，可通过在奎图的一个截面上对维数向量迭代应用 $\mathbf{\Phi}_C^m$ 来计算。
• 余代数 $C$ 是表示定向的，且根据 [19]–[23]，每个单连通 $C$-余模均由其维数向量 $\mathbf{dim}\,N$ 唯一确定。