[论文解读] Minimal inclusions of torsion classes

Emily Barnard, Andrew T. Carroll+1 more|arXiv (Cornell University)|Oct 24, 2017

Geometric and Algebraic Topology参考文献 9被引用 13

一句话总结

本文通过极小扩张模刻画有限维代数上 torsion 类格的覆盖关系，证明此类模正是砖模（其自同态环为除环的模）。关键结果是：预李代数 $A_n$ 的商代数 $RA_n$ 的 torsion 类格同构于对称群 $A_n$ 的弱序，且覆盖关系由砖模标记。

ABSTRACT

Let $Λ$ be a finite-dimensional associative algebra. The torsion classes of $mod\, Λ$ form a lattice under containment, denoted by $tors\, Λ$. In this paper, we characterize the cover relations in $tors\, Λ$ by certain indecomposable modules. We consider three applications: First, we show that the completely join-irreducible torsion classes (torsion classes which cover precisely one element) are in bijection with bricks. Second, we characterize faces of the canonical join complex of $tors\, Λ$ in terms of representation theory. Finally, we show that, in general, the algebra $Λ$ is not characterized by its lattice $tors\, Λ$. In particular, we study the torsion theory of a quotient of the preprojective algebra of type $A_n$. We show that its torsion class lattice is isomorphic to the weak order on $A_n$.

研究动机与目标

• 刻画有限维代数 $\Lambda$ 的 torsion 类格 $\operatorname{tors}\Lambda$ 中的覆盖关系。
• 建立极小扩张模与砖模之间的双射，从而用砖模标记 $\operatorname{tors}\Lambda$ 中的覆盖关系。
• 使用表示论工具研究 $\operatorname{tors}\Lambda$ 的规范和复形结构。
• 探究 torsion 类格 $\operatorname{tors}\Lambda$ 是否决定代数 $\Lambda$，并证明一般情况下并非如此。

提出的方法

• 为 torsion 类 $\mathcal{T}$ 引入极小扩张模的概念，满足三个公理：(P1) 所有真商模属于 $\mathcal{T}$，(P2) 与 $\mathcal{T}$-模的非分裂扩张仍属于 $\mathcal{T}$，(P3) 不存在从 $\mathcal{T}$ 到该模的非零同态。
• 证明一个模是某个 torsion 类的极小扩张模当且仅当它是砖模。
• 定义从极小扩张模的同构类到覆盖 $\mathcal{T}$ 的 torsion 类的映射 $\eta_{\mathcal{T}}$，并证明其为双射。
• 使用非交叉弧图与规范和表示法描述 $\operatorname{tors}\Lambda$ 的规范和复形的面。
• 通过将每个 torsion 类与一个排列通过反序集关联，显式构造同构 $\phi: \operatorname{tors}RA_n \to A_n$。
• 证明 torsion 类 $\mathcal{T}$ 的反序集等于其在弱序下的像 $\phi(\mathcal{T})$ 的反序集，且 $\mathcal{T}'$ 覆盖 $\mathcal{T}$ 当且仅当 $\phi(\mathcal{T}')$ 覆盖 $\phi(\mathcal{T})$ 在弱序中。

实验结果

研究问题

• RQ1 有限维代数 $\Lambda$ 的 torsion 类格 $\operatorname{tors}\Lambda$ 中的覆盖关系由什么特征刻画？
• RQ2 极小扩张模与表示论中的砖模概念有何关联？
• RQ3 能否用表示论数据描述 $\operatorname{tors}\Lambda$ 的规范和复形的面？
• RQ4 代数 $\Lambda$ 是否由其 torsion 类格 $\operatorname{tors}\Lambda$ 唯一确定？
• RQ5 商代数 $RA_n$（即 $A_n$ 型预李代数的商）的 torsion 类格结构如何？

主要发现

• 模 $M$ 是某个 torsion 类 $\mathcal{T}$ 的极小扩张模当且仅当 $M$ 是砖模。
• 映射 $\eta_{\mathcal{T}}: [M] \mapsto \mathscr{Filt}(\mathcal{T} \cup \{M\})$ 是从极小扩张模的同构类到覆盖 $\mathcal{T}$ 的 torsion 类集合的双射。
• $\operatorname{tors}\Lambda$ 中的完全结合-不可约 torsion 类与砖模之间存在双射。
• $\operatorname{tors}\Lambda$ 的规范和复形的面对应于某些表示论配置，特别是与规范和表示相关。
• $RA_n$ 的 torsion 类格 $\operatorname{tors}RA_n$（即 $A_n$ 型预李代数的商）同构于对称群 $A_n$ 的弱序。
• $\operatorname{tors}RA_n$ 中 torsion 类 $\mathcal{T}$ 的反序集等于其在弱序下像 $\phi(\mathcal{T})$ 的反序集，且该同构保持覆盖关系。