[论文解读] A Groupoid Approach to Discrete Inverse Semigroup Algebras

Benjamin Steinberg|ArXiv.org|Mar 20, 2009

Advanced Operator Algebra Research参考文献 18被引用 19

一句话总结

本文通过使用Stone对偶性替代Gelfand对偶性，建立了离散反演半群 $KS$ 的代数与étale、完备群丛 $\mathscr{G}(S)$ 的卷积代数之间的同构。其主要贡献在于对域上反演半群的有限维不可约表示进行了完整参数化，将其表示为从各迹群诱导而来，推广了Munn的结果，并为理解 $KS$ 的中心与结构提供了拓扑框架。

ABSTRACT

Let $K$ be a commutative ring with unit and $S$ an inverse semigroup. We show that the semigroup algebra $KS$ can be described as a convolution algebra of functions on the universal étale groupoid associated to $S$ by Paterson. This result is a simultaneous generalization of the author's earlier work on finite inverse semigroups and Paterson's theorem for the universal $C^*$-algebra. It provides a convenient topological framework for understanding the structure of $KS$, including the center and when it has a unit. In this theory, the role of Gelfand duality is replaced by Stone duality. Using this approach we are able to construct the finite dimensional irreducible representations of an inverse semigroup over an arbitrary field as induced representations from associated groups, generalizing the well-studied case of an inverse semigroup with finitely many idempotents. More generally, we describe the irreducible representations of an inverse semigroup $S$ that can be induced from associated groups as precisely those satisfying a certain "finiteness condition". This "finiteness condition" is satisfied, for instance, by all representations of an inverse semigroup whose image contains a primitive idempotent.

研究动机与目标

• 通过群丛构建反演半群代数的拓扑框架，以推广 $C^*$-代数与有限半群的结果。
• 通过引入通用群丛构造，弥补 $KS$-模在有限幂等元情形之外缺乏一般描述的不足。
• 利用从迹群诱导的方法，为任意域上反演半群的不可约表示提供统一处理方法。
• 利用拓扑与代数工具刻画 $KS$ 的中心，并确定 $KS$ 是否具有单位元。
• 通过表示的有限性条件，将Munn关于不可约表示的理论推广至无限反演半群。

提出的方法

• 本文通过反演半群 $S$ 的幂等元的Stone空间上谱作用的芽群丛，构造了与 $S$ 关联的通用étale群丛 $\mathscr{G}(S)$。
• 利用Stone对偶性，作者用其替代Gelfand对偶性，将 $KS$ 描述为卷积代数 $K\mathscr{G}(S)$，其中函数在 $K$ 的离散拓扑下具有紧支集且连续。
• 在 $K\mathscr{G}$-模与迹群 $G_x$ 的 $KG_x$-模之间定义了诱导与限制函子，从而实现不可约模的构造。
• 通过Möbius反演技巧证明了同构 $KS \cong K\mathscr{G}(S)$，避免了Paterson在 $C^*$-代数证明中使用的辅助半群。
• 证明了满足有限性条件的简单 $K\mathscr{G}$-模恰好来源于迹群的诱导表示，推广了Munn的结果。
• 建立了具有谱向量的简单 $KS$-模与对 $(\varphi, W)$ 之间的显式双射，其中 $\varphi$ 是轨道的横截系中的特征标，$W$ 是 $KG_\varphi$-模的简单模。

实验结果

研究问题

• RQ1 如何将离散反演半群的代数 $KS$ 描述为拓扑群丛上的卷积代数？
• RQ2 Stone对偶性在替代Gelfand对偶性以描述 $KS$-模方面起到什么作用？
• RQ3 哪些 $KS$ 的不可约表示可以实现为与相关群的诱导表示？
• RQ4 在什么条件下，一个简单 $KS$-模是谱的，即存在被唯一幂等元固定的非零向量？
• RQ5 $KS$ 的中心结构如何与通用群丛 $\mathscr{G}(S)$ 的拓扑相关联？

主要发现

• 反演半群 $S$ 的代数 $KS$ 同构于其通用étale群丛 $\mathscr{G}(S)$ 的卷积代数 $K\mathscr{G}(S)$，从而为 $KS$ 提供了拓扑实现。
• 域上有限维不可约 $KS$-模恰好是来自 $\mathscr{G}(S)$ 的迹群的诱导表示，推广了Munn的理论。
• 满足有限性条件的简单 $KS$-模由谱作用的轨道与迹群上的简单模参数化。
• 通用群丛 $\mathscr{G}(S)$ 是Hausdorff的，当且仅当 $S$ 中主下集的交集作为下集是有限生成的，这为Paterson的一个结果提供了逆向结论。
• 当 $S$ 具有中心幂等元，或 $E(S)$ 同构于 $(\mathbb{N}, \geq)$ 时，每个简单 $KS$-模都是谱的，从而可对这类模实现完全分类。
• 推论6.37建立了简单 $KS$-模与对 $(e, V)$ 之间的双射，其中 $e$ 是 $\mathscr{D}$-类的代表元，$V$ 是 $KG_e$-模的简单模，且有限维性由 $\mathscr{D}$-类与 $V$ 的有限性决定。