[论文解读] Mixed quiver algebras

Pere Ara, Miquel Brustenga|ArXiv.org|Sep 2, 2009

Advanced Operator Algebra Research参考文献 13被引用 5

一句话总结

本文引入了混合广群代数——路径代数、莱维特代数和普通代数——其构造基于广群上的域链及广群中遗传饱和的顶点子集。通过推广经典莱维特路径代数，作者证明了混合莱维特代数与普通代数继承了冯·诺伊曼正则性与遗传性等关键性质，并证明其格罗滕迪克幺半群同构于基础广群的标准幺半群。

ABSTRACT

In this paper we introduce a new class of $K$-algebras associated with quivers. Given any finite chain $\mathbf{K}_r: K=K_0\subseteq K_1\subseteq ... \subseteq K_r$ of fields and a chain $\mathbf{E}_r : H_0\subset H_1\subset ... \subset H_r=E^0$ of hereditary saturated subsets of the set of vertices $E^0$ of a quiver $E$, we build the mixed path algebra $P_{\mathbf{K}_r}(E,\mathbf{H}_r)$, the mixed Leavitt path algebra $L_{\mathbf{K}_r}(E,\mathbf{H}_r)$ and the mixed regular path algebra $Q_{\mathbf{K}_r}(E,\mathbf{H}_r)$ and we show that they share many properties with the unmixed species $P_K(E)$, $L_K(E)$ and $Q_K(E)$.

研究动机与目标

• 通过在域链及广群中遗传饱和的顶点子集上引入混合广群代数，推广经典莱维特路径代数。
• 将路径代数、莱维特代数和普通代数的构造扩展至一个混合设定，其中不同顶点被分配不同的域，通过域链与遗传子集实现。
• 证明混合代数保留了冯·诺伊曼正则性与遗传性等基本结构性质，与未混合情形一致。
• 建立广群的标准阿贝尔幺半群与混合莱维特代数及普通代数的格罗滕迪克幺半群之间的幺半群同构。
• 为通过广群构造实现冯·诺伊曼正则环提供一个框架，推动环论中的实现问题研究。

提出的方法

• 定义有限域链 $\mathbf{K}_r: K = K_0 \subseteq K_1 \subseteq \cdots \subseteq K_r$ 与遗传饱和子集链 $\mathbf{H}_r: H_0 \subset H_1 \subset \cdots \subset H_r = E^0$。
• 将混合路径代数 $P_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 构造为域链上路径代数的直极限，其中幂等元与箭头在对应域上定义。
• 将混合莱维特路径代数 $L_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 定义为 $P_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 关于与发出边的顶点相关的集合 $\Sigma_1$ 的普遍局部化。
• 将混合正规路径代数 $Q_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 定义为 $P_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 关于 $\Sigma$（有理级数条件）与 $\Sigma_1$（莱维特条件）并集的普遍局部化。
• 利用普遍局部化及伯格曼与迪克斯的结果，证明 $Q_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 是冯·诺伊曼正则且遗传的。
• 通过自然映射的复合与单射性论证，建立幺半群同构 $M(E) \cong \mathcal{V}(L_{\mathbf{K}_r}(E, \mathbf{H}_r)) \cong \mathcal{V}(Q_{\mathbf{K}_r}(E, \mathbf{H}_r))$。

实验结果

研究问题

• RQ1 如何在广群中为不同顶点分配不同域的设定下，推广莱维特路径代数？
• RQ2 混合路径代数、莱维特代数与正规代数是否保留其经典对应物的结构性质，如冯·诺伊曼正则性与遗传性？
• RQ3 广群的标准阿贝尔幺半群与混合莱维特代数及正规代数的格罗滕迪克幺半群之间是否存在自然的幺半群同构？
• RQ4 混合代数的构造能否用于通过广群数据实现冯·诺伊曼正则环，从而推进实现问题？
• RQ5 普遍局部化与传递不变性在混合设定中保持正则性与遗传性的过程中起什么作用？

主要发现

• 混合正规路径代数 $Q_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 同构于普遍局部化 $(P_{\mathbf{K}_r}(E, \mathbf{H}_r))((\Sigma \cup \Sigma_1)^{-1})$，确保其继承有理级数与莱维特闭包性质。
• 混合莱维特路径代数 $L_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 定义为普遍局部化 $P_{\mathbf{K}_r}(E, \mathbf{H}_r)\Sigma_1^{-1}$，并证明其为冯·诺伊曼正则且遗传的。
• 混合正规代数 $Q_{\mathbf{K}_r}(E, \mathbf{H}_r)$ 是遗传且冯·诺伊曼正则的，这由伯格曼-迪克斯关于遗传环普遍局部化的结果保证。
• 格罗滕迪克幺半群 $\mathcal{V}(L_{\mathbf{K}_r}(E, \mathbf{H}_r))$ 通过映射复合自然同构于广群的标准幺半群 $M(E)$，且该复合映射被证明为同构。
• 通过复合自然映射 $M(E) \to \mathcal{V}(Q_{\mathbf{K}_r}(E, \mathbf{H}_r))$ 与逆映射，建立了同构 $M(E) \cong \mathcal{V}(Q_{\mathbf{K}_r}(E, \mathbf{H}_r))$，并证明了单射性与满射性。
• 该构造提供了一类通过混合域结构的广群数据实现的冯·诺伊曼正则环的新类，为环论中的实现问题作出贡献。