[论文解读] The interplay between Steinberg algebras and partial skew rings

Viviane Beuter, Daniel Gonçalves|arXiv (Cornell University)|May 31, 2017

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

一句话总结

该论文通过证明离散群在Hausdorff、局部紧致、完全不连通空间上的部分作用所导出的变换群胚的Steinberg代数同构于该群的部分斜群环，建立了Steinberg代数与部分斜环之间深刻的代数联系。此外，论文进一步证明了任一Hausdorff完备群胚上的Steinberg代数均可表示为部分斜逆半群环，并利用此结果通过底层部分作用的连续轨道等价性，刻画了部分斜群环的对角保持同构。

ABSTRACT

We study the interplay between Steinberg algebras and partial skew rings: For a partial action of a group in a Hausdorff, locally compact, totally disconnected topological space, we realize the associated partial skew group ring as a Steinberg algebra (over the transformation groupoid attached to the partial action). We then apply this realization to characterize diagonal preserving isomorphisms of partial skew group rings, over commutative algebras, in terms of continuous orbit equivalence of the associated partial actions. Finally, we show that any Steinberg algebra, associated to a Hausdorff ample groupoid, can be seen as a partial skew inverse semigroup ring.

研究动机与目标

• 通过建立C*-代数结果的代数类比，统一Steinberg代数与部分斜环的理论。
• 利用部分群作用的连续轨道等价性，刻画在交换代数上部分斜群环的对角保持同构。
• 证明任一Hausdorff完备群胚上的Steinberg代数均可实现为部分斜逆半群环。
• 为Abadie关于部分交叉积与群胚C*-代数的定理提供代数对应版本。

提出的方法

• 从离散群在Hausdorff、局部紧致、完全不连通空间上的部分作用构造变换群胚。
• 证明该群胚的Steinberg代数同构于部分斜群环 $\mathcal{L}_c(X) \rtimes_\alpha G$。
• 利用该同构关系，将部分斜群环的对角保持同构与相关部分作用的连续轨道等价性联系起来。
• 证明任一与Hausdorff完备群胚相关的Steinberg代数均可作为部分斜逆半群环的商环实现，从而说明定义中商的必要性。
• 利用Li关于连续轨道等价性的结果以及Carlsen–Rout关于对角保持同构的结果，推导出主要刻画定理。
• 将逆半群理论与群胚C*-代数理论的技术应用于代数框架，特别关注紧致双分量与特征函数。

实验结果

研究问题

• RQ1 能否将与拓扑空间上部分作用相关的部分斜群环实现为Steinberg代数？
• RQ2 在何种条件下，两个在交换代数上的部分斜群环是关于对角的同构？
• RQ3 部分群作用的连续轨道等价性如何与部分斜群环的对角保持同构相关联？
• RQ4 是否每个Hausdorff完备群胚上的Steinberg代数均可表示为部分斜逆半群环？
• RQ5 为何部分斜逆半群环的定义中需要商？这与Steinberg代数的代数结构有何关联？

主要发现

• 部分斜群环 $\mathcal{L}_c(X) \rtimes_\alpha G$ 同构于群 $G$ 在 $X$ 上作用的变换群胚的Steinberg代数。
• 在交换代数上，部分斜群环之间的对角保持同构精确对应于相关部分群作用的连续轨道等价性。
• 由Hausdorff完备群胚导出的任意Steinberg代数均可实现为部分斜逆半群环，提供了C*-代数构造的代数类比。
• 部分斜逆半群环定义中的商是必不可少的，这一点由Steinberg代数自然作为此类商环的事实所证实。
• 部分斜群环与Steinberg代数之间的同构使得结构性质（如单性与链条件）可在两者之间转移。
• 该构造依赖于将函数分解为不相交的紧致双分量，并利用特征函数定义同构，从而保持乘法与对合运算。