[论文解读] On the Hall algebra of semigroup representations over F_1

Matt Szczesny|arXiv (Cornell University)|Apr 24, 2012

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

一句话总结

本文引入了在具有一个元素的域（$\mathbb{F}_1$）上，关于有限生成带零元半群的有限表示的 Hall 代数，证明其同构于一个李代数的基灵代数。一个关键结果是，自由幺半群 $\langle t\rangle$ 的 Hall 代数同构于 Kreimer 的根树 Hopf 代数，从而在树上定义了新的交换运算，并可推广至其他半群，包括群幺半群。

ABSTRACT

Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of finite $\A$--modules. $\H_{\A}$ is shown to be the universal enveloping algebra of a Lie algebra $ _{\A}$, called the \emph{Hall Lie algebra} of $\C_{\A}$. In the case of the $\fm$ - the free monoid on one generator $\fm$, the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent $\fm$-modules) is isomorphic to Kreimer's Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when $\A$ is a quotient of $\fm$ by a congruence, and the monoid $G \cup \{0\}$ for a finite group $G$.

研究动机与目标

• 为有限生成带零元半群 $\operatorname{A}$ 定义并研究 $\mathbb{F}_1$ 上有限 $\operatorname{A}$-模的 Hall 代数。
• 证明 $\mathcal{C}^{N}_{\operatorname{A}}$ 的子范畴（正规态射）的 Hall 代数 $\mathbb{H}_{\mathcal{C}^{N}_{\operatorname{A}}}$ 同构于一个李代数的基灵代数。
• 探索 $\mathbb{F}_1$ 上 Hall 代数与组合 Hopf 代数（特别是根树）之间的联系。
• 通过限制于正规态射，将 Hall 代数构造推广至非加法范畴。
• 将有限群 $G$ 的 $\overline{G} = G \cup \{0\}$ 的 Hall 代数与 Burnside 环 $\Omega(G)$ 联系起来。

提出的方法

• 将 $\mathbb{F}_1$ 上的 $\operatorname{A}$-模定义为带有带零元半群 $\operatorname{A}$ 作用的有限带点集。
• 构造此类 $\operatorname{A}$-模的范畴 $\mathcal{C}_{\operatorname{A}}$，并限制到正规态射的子范畴 $\mathcal{C}^{N}_{\operatorname{A}}$，以确保有限扩张计数的可行性。
• 将 Hall 代数 $\mathbb{H}_{\mathcal{C}^{N}_{\operatorname{A}}}$ 定义为同构类生成的自由 $\mathbb{Z}$-模，其结构常数用于计数短正合序列。
• 在与 $\mathbb{Q}$ 张量化后，为 $\mathbb{H}_{\mathcal{C}^{N}_{\operatorname{A}}}$ 赋予一个共交换的余乘法和对合，使其成为一个 Hopf 代数。
• 应用 Milnor-Moore 定理，证明 $\mathbb{H}_{\mathcal{C}^{N}_{\operatorname{A}}}$ 同构于其本原元素李代数的基灵代数。
• 分析特殊情况：$\operatorname{A} = \langle t\rangle$，$\operatorname{A} = \overline{G}$，以及 quiver 代数 $\operatorname{A}(Q)$。

实验结果

研究问题

• RQ1 如何将 Hall 代数构造从 $\mathbb{F}_q$ 上的阿贝尔范畴推广至 $\mathbb{F}_1$ 上的非加法范畴？
• RQ2 在 $\mathbb{F}_1$ 上，有限 $\langle t\rangle$-模范畴的 Hall 代数结构是什么？它与已知的组合 Hopf 代数有何关系？
• RQ3 $\overline{G} = G \cup \{0\}$ 的 Hall 代数能否与 Burnside 环等经典代数不变量相关联？
• RQ4 正规态射在非加法范畴中恢复有限性与正合性性质方面起什么作用？
• RQ5 在 $\mathbb{F}_1$ 上，半群表示的 Hall 代数如何反映根树与群作用的组合性质？

主要发现

• 在 $\mathbb{F}_1$ 上，$\langle t\rangle$-模的 Hall 代数 $\mathbb{H}_{\mathcal{C}^{N}_{\langle t\rangle}}$ 同构于 Kreimer 的根树 Hopf 代数。
• 该同构使得可在根树上定义两种新的交换运算，从而扩展其代数结构。
• 对于幺半群 $\overline{G} = G \cup \{0\}$，Hall 代数 $\mathbb{H}_{\overline{G}}$ 同构于多项式代数 $\mathbb{Q}[\overline{M}_i]$，其中 $\overline{M}_i$ 是对应于 $G$ 的子群共轭类的不可约 $\overline{G}$-模，且本原元素的李代数是交换的。
• $\operatorname{Rep}^\wedge[\overline{G}]$ 的外代数同构于有限群 $G$ 的 Burnside 环 $\Omega(G)$，从而在 Hall 代数与经典表示论之间建立了直接联系。
• 范畴 $\mathcal{C}^{N}_{\overline{G}}$ 是半单的，即每个对象可唯一分解为不可约模的直和，且所有短正合序列都分裂。
• Hall 代数 $\mathbb{H}_{\mathcal{C}^{N}_{\operatorname{A}}}$ 同构于本原元素李代数的基灵代数 $\mathbb{U}(\mathfrak{n}_{\mathcal{C}^{N}_{\operatorname{A}}})$，这符合 Milnor-Moore 定理的保证。