[论文解读] Representation embeddings and the second Brauer-Thrall conjecture

Klaus Bongartz|arXiv (Cornell University)|Nov 7, 2016

Algebraic structures and combinatorial models参考文献 16被引用 3

一句话总结

本文通过构造一个在 $k[T]$ 上自由、秩至多为 $\max(4d, 30)$ 的双模 ${}_A M_{k[T]}$，将多项式环 $k[T]$ 强制嵌入任意基本的、表示无限的 $k$-代数 $A$（有限维 $d$），从而建立了表示嵌入。关键贡献在于证明了第二 Brauer-Thrall 猜想的数值版本：此类嵌入存在且双模秩有界，并在特征 0 与正特征下对最小嵌入类进行了分类。

ABSTRACT

We prove that over an algebraically closed field there is a representation embedding from the category of classical Kronecker-modules without the simple injective into the category of finite-dimensional modules over any representation-infinite finite-dimensional algebra. We also sharpen some known results on representation embeddings, we simplify some proofs and we construct a simultaneous orthogonal embedding for an infinite family of module categories. In the last section the minimal classes of representation-infinite algebras are determined. The result depends on the characteristic.

研究动机与目标

• 建立从 $\mathrm{mod}\,k[T]$ 到任意基本的、表示无限的 $k$-代数 $A$（有限维 $d$）的表示嵌入。
• 通过有界双模秩限制，证明第二 Brauer-Thrall 猜想的数值形式。
• 在特征 0 与正特征下，对表示无限代数的最小嵌入类进行分类。
• 澄清嵌入类的结构，特别是与野生代数和可 tame 代数的关系。
• 利用表示嵌入框架，对表示理论中的经典结果提供新的解释与证明。

提出的方法

• 构造一个双模 ${}_A M_{k[T]}$，其在 $k[T]$ 上自由，秩至多为 $\max(4d, 30)$，其中 $A$ 是基本的、表示无限的 $k$-代数，维数为 $d$。
• 使用与该双模的张量积作为表示嵌入 $F: \mathrm{mod}\,k[T] \to \mathrm{mod}\,A$。
• 应用表示理论中的深刻定理，包括预投射分量与倾斜理论的结果，分析嵌入结构。
• 运用初等集合论与无矩阵构造，从 $\mathrm{mod}\,A_i$ 构造到 $\mathrm{mod}\,kQ$ 的嵌入，其中 $Q$ 是一个具有两两正交同态空间的野生 quiver。
• 利用 Eilenberg-Watts 定理，将精确且忠实的函子表示为由双模诱导的张量函子。
• 通过 quiver 表示中预投射与预内射分量的性质，分析 Morita 等价类与嵌入类。

实验结果

研究问题

• RQ1 每个基本的、表示无限的 $k$-代数 $A$（有限维 $d$）是否都能通过在 $k[T]$ 上自由、秩有界的双模嵌入到 $\mathrm{mod}\,k[T]$？
• RQ2 此类双模的最小可能秩是多少？它如何依赖于 $d$？
• RQ3 表示无限代数的嵌入类在特征 0 与正特征下如何分解？
• RQ4 在正特征下，$kK_2$ 的嵌入类中是否仅有有限多个 Morita 等价类？
• RQ5 $k[X,Y]/(X,Y)^2$ 在特征 0 下的嵌入类结构是什么？它与 $kK_2$ 的嵌入类有何比较？

主要发现

• 对任意基本的、表示无限的 $k$-代数 $A$（维数 $d$），存在一个双模 ${}_A M_{k[T]}$，其在 $k[T]$ 上自由，秩至多为 $\max(4d, 30)$，使得与 $M$ 的张量积给出一个表示嵌入 $\mathrm{mod}\,k[T] \to \mathrm{mod}\,A$。
• 在特征 0 下，最小嵌入类为 $kK_2$ 与 $k[X,Y]/(X,Y)^2$，每个类中恰好包含一个 Morita 等价类。
• 在正特征 $p > 0$ 下，唯一的最小嵌入类是 $kK_2$，但其包含可数个 Morita 等价类。
• 任何表示嵌入 $F: \mathrm{mod}\,A \to \mathrm{mod}\,kK_2$，其中 $A$ 表示无限，意味着 $A$ 与 $kK_2 \times B$ Morita 等价，且 $B$ 表示有限。
• $kK_2$ 在正特征下的嵌入类仅包含可数个 Morita 等价类，这是由于表示有限代数存在乘法基。
• 形如 $k\langle X,Y\rangle/(X^2,Y^2,XY-\lambda YX)$ 的两个代数属于同一嵌入类，当且仅当它们同构，这意味着可 tame 代数存在无穷多个不同的嵌入类。