[论文解读] Dilations of semigroup crossed products as crossed products of dilations

Nadia S. Larsen, Xin Li|arXiv (Cornell University)|Sep 29, 2010

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

一句话总结

本文证明了半群交叉积的最小自伴扩张——即先将奥尔半群在酉C*-代数上的作用通过扩张使内自同态变为自同构，再构造群交叉积——与原始扩张的交叉积完全一致。关键结果是群交叉积的最小自伴扩张与半群交叉积的扩张之间存在一个典范同构，统一并推广了数论和代数结构中关于C*-代数的早期结果。

ABSTRACT

Laca constructed a minimal automorphic dilation for every semigroup dynamical system arising from an action of an Ore semigroup by injective endomorphisms of a unital $C^*$-algebra. Here we show that the semigroup crossed product with its action by inner endomorphisms given by the implementing isometries has as minimal automorphic dilation the group crossed product of the original dilation. Applications include recent examples studied by Cuntz and the second named author.

研究动机与目标

• 解决半群动力系统中扩张与交叉积构造顺序是否可交换的基础性问题。
• 提供一个统一框架，将数论和代数K-理论中已知的半群交叉积与群交叉积之间的同构关系统一起来。
• 将拉卡的最小自伴扩张理论扩展至半群交叉积的设定，确保与普遍协变关系相容。
• 通过系统化的扩张理论方法，恢复并推广近期关于与adele和整环相关的C*-代数的结果。
• 证明半群交叉积的最小自伴扩张同构于原始扩张的群交叉积，从而在C*-动力系统中确立一种典范对偶性。

提出的方法

• 利用拉卡对奥尔半群作用于酉C*-代数上的单射自同态的最小自伴扩张构造。
• 应用半群交叉积 $A \rtimes_{\text{e}}^{\boldsymbol{\beta}} P$ 的普遍性质，即由满足 $i_A(\beta_p(a)) = i_P(p) i_A(a) i_P(p)^*$ 的普遍协变对 $(i_A, i_P)$ 生成的C*-代数。
• 构造群交叉积 $B \rtimes_{\beta} G$，其中 $G$ 是奥尔半群 $P$ 的包络群，$B$ 是 $A$ 的最小扩张。
• 利用最小性条件 $\overline{\bigcup_{p\in P} \beta_p^{-1}(\iota(A))} = B$，证明半群交叉积 $A \rtimes_{\text{e}}^{\boldsymbol{\beta}} P$ 的扩张与原始扩张的群交叉积生成相同的C*-代数。
• 利用奥尔半群及其包络群的结构，确保最小自伴扩张的存在性与唯一性。
• 将结果应用于恢复已知同构：$\mathcal{Q}_{\mathbb{N}}$ 同构于 $C_0(\mathbb{A}_f) \rtimes_{\text{aff}} P_{\mathbb{Q}}^+$ 的一个角落，且 $\mathcal{Q}_{\mathbb{N}}$ 的扩张为 $\bar{\mathcal{Q}}_{\mathbb{N}}$；对于满足理想有限性条件的整环 $R$，有 $\mathfrak{A}[R] \cong C_0(\mathscr{R}) \rtimes P_{Q(R)}$。

实验结果

研究问题

• RQ1 半群交叉积的最小自伴扩张是否与原始扩张的群交叉积一致？
• RQ2 数论中半群交叉积与群交叉积之间的同构关系，能否由一个普遍的扩张理论原则推导而出？
• RQ3 在奥尔半群作用的背景下，扩张的交叉积与交叉积的扩张之间存在何种关系？
• RQ4 拉卡扩张构造中的最小性条件如何与半群交叉积的普遍性质相互作用？
• RQ5 已知涉及adele和 $\mathcal{Q}_{\mathbb{N}}$ 的C*-代数同构，在多大程度上可作为单一普遍构造的特例被恢复？

主要发现

• 半群交叉积 $A \rtimes_{\text{e}}^{\boldsymbol{\beta}} P$ 的最小自伴扩张同构于群交叉积 $B \rtimes_{\beta} G$，其中 $(B,G,\beta)$ 是 $(A,P,\beta)$ 的最小自伴扩张。
• 该同构是典范的，源于半群交叉积的普遍性质与扩张的最小性，确保 $A$ 的像在 $B$ 中生成一个稠密的*-子代数。
• 该结果恢复了 [Cu2, 定理6.4]，表明 $\mathcal{Q}_{\mathbb{N}}$ 同构于 $C_0(\mathbb{A}_f) \rtimes_{\text{aff}} P_{\mathbb{Q}}^+$ 的一个角落，且 $\mathcal{Q}_{\mathbb{N}}$ 的扩张为 $\bar{\mathcal{Q}}_{\mathbb{N}}$。
• 对于满足理想有限性条件的整环 $R$，$C^*$-代数 $\mathfrak{A}[R]$ 同构于半群交叉积 $\mathcal{D}[R] \rtimes_{\text{e}}^\alpha P_R$，其扩张同构于 $C_0(\mathscr{R}) \rtimes P_{Q(R)}$，从而恢复了 [Cu-Li1, 定理2]。
• 半群交叉积的最小自伴扩张保持了普遍协变结构，且所得的群交叉积与操作顺序无关：先扩张后构造交叉积，与先构造交叉积后扩张，结果相同。
• 该构造适用于所有由单射自同态作用的奥尔半群，为通过扩张将半群交叉积实现为群交叉积中的角落提供了一般机制。