[论文解读] The algebra generated by idempotents in a Fourier-Stieltjes algebra

Monica Ilie, Nico Spronk|ArXiv.org|Oct 24, 2005

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

一句话总结

本文引入代数 $\mathrm{B}_I(G)$，即局部紧群 $G$ 的傅里叶-斯蒂尔杰斯代数中幂等元的闭线性张量，证明其为具有谱 $G^I$（即 $G$ 的‘幂等紧化’）的正则巴拿赫代数。关键结果为：$\mathrm{B}_I(G) \cong \mathrm{B}_I(H)$ 完全等距同构当且仅当 $G/G_e \cong H/H_e$，其中 $G_e$ 和 $H_e$ 分别为 $G$ 和 $H$ 的单位元的连通分支。

ABSTRACT

We study the closed algebra B_I(G) generated by the idempotents in the Fourier-Stieltjes algebra of a locally compact group G. We show that it is a regular Banach algebra with computable spectrum G^I, which we call the idempotent compactification of G. For any locally compact groups G and H, we show that B_I(G) is completely isometrically isomorphic to B_I(H) exactly when G/G_e= H/H_e, where G_e and H_e are the connected components of the identities. We compute some examples to illustrate out results.

研究动机与目标

• 刻画局部紧群 $G$ 的傅里叶-斯蒂尔杰斯代数 $\mathrm{B}(G)$ 中由幂等元生成的闭子代数 $\mathrm{B}_I(G)$。
• 将 $\mathrm{B}_I(G)$ 的谱描述为拓扑空间 $G^I$，称为 $G$ 的‘幂等紧化’。
• 确定两个此类代数 $\mathrm{B}_I(G)$ 和 $\mathrm{B}_I(H)$ 完全等距同构的条件。
• 通过群拓扑与商群的视角分析 $\mathrm{B}_I(G)$ 的结构，特别关注单位元连通分支的作用。
• 计算具体例子，包括 $\mathbb{Z}^2$、$\mathbb{Q}$ 和自由群，以说明一般理论及幂等紧化的性质。

提出的方法

• 作者将 $\mathrm{B}_I(G)$ 定义为 $\mathrm{B}(G)$ 中所有幂等元的线性张量在范数拓扑下的闭包，这些幂等元恰好是布尔环 $\Omega_o(G)$ 生成的开陪集 $Y$ 的特征函数 $1_Y$。
• 他们使用群拓扑 $\tau$ 的理论，使得完成空间 $G_\tau$ 局部紧致，构成集合 $\mathcal{T}(G)$，并聚焦于非商拓扑子集 $\mathcal{T}_{nq}(G)$。
• 对每个 $\tau \in \mathcal{T}_{nq}(G)$，他们关联一个子代数 $\mathrm{A}_\tau(G) \subset \mathrm{B}(G)$，由单位表示 $\lambda_\tau = \lambda_{G_\tau} \circ \eta_\tau$ 的矩阵系数构成，并利用这些代数将 $\mathrm{B}_I(G)$ 描述为 $\Omega_o(G)$ 中集合的特征函数的闭张量。
• 他们将幂等紧化 $G^I$ 定义为 $\mathrm{B}_I(G)$ 的谱，证明其为一个紧致豪斯多夫空间，可分类该代数的闭理想。
• 他们证明 $\mathrm{B}_I(G) \cong \mathrm{B}_I(H)$ 完全等距同构当且仅当 $G/G_e \cong H/H_e$，利用代数 $\mathrm{B}_I(G)$ 仅依赖于 $G$ 对其单位元连通分支的商这一事实。
• 他们计算了例子，包括 $\mathrm{B}_I(\mathbb{Z}^2)$、$\mathrm{B}_I(\mathbb{Q})$ 和 $\mathrm{B}_I(\mathrm{F}_\infty)$，利用 $\mathcal{T}_{nq}^{td}(G)$ 中拓扑半格的结构。

实验结果

研究问题

• RQ1 局部紧群 $G$ 的傅里叶-斯蒂尔杰斯代数 $\mathrm{B}(G)$ 中由幂等元生成的闭子代数 $\mathrm{B}_I(G)$ 的结构是什么？
• RQ2 如何从拓扑角度描述 $\mathrm{B}_I(G)$ 的谱，其在群结构中的意义是什么？
• RQ3 对于两个局部紧群 $G$ 和 $H$，在什么条件下代数 $\mathrm{B}_I(G)$ 和 $\mathrm{B}_I(H)$ 完全等距同构？
• RQ4 幂等紧化 $G^I$ 如何与群的拓扑相关，特别是与单位元的连通分支有关？
• RQ5 对于 $\mathbb{Z}^2$、$\mathbb{Q}$ 和自由群等特定群，$\mathrm{B}_I(G)$ 的显式描述是什么？

主要发现

• 代数 $\mathrm{B}_I(G)$ 是一个正则巴拿赫代数，其谱为 $G^I$，即 $G$ 的幂等紧化，这是一个紧致豪斯多夫空间，用于参数化 $\mathrm{B}_I(G)$ 的闭理想。
• 代数 $\mathrm{B}_I(G)$ 完全等距同构于 $\mathrm{B}_I(H)$ 当且仅当 $G/G_e \cong H/H_e$，其中 $G_e$ 和 $H_e$ 分别为 $G$ 和 $H$ 的单位元的连通分支。
• 对于 $\mathbb{Z}^2$，集合 $\mathcal{T}_{nq}^{td}(\mathbb{Z}^2)$ 包含拓扑 $\tau_{td}$、$\tau_\theta \vee \tau_{td}$ 和 $\tau_d$，其中 $\theta$ 满足 $\tan\theta \in \mathbb{Q} \cup \{\infty\}$，且 $\mathrm{A}_{\tau_{\theta} \vee \tau_{td}}(\mathbb{Z}^2)$ 包含所有无限子群 $H \leq \mathbb{Z}^2$（无限指数）的特征函数 $1_H$。
• 对于 $\mathbb{Q}$，完全不连通部分 $\mathcal{T}_{nq}^{td}(\mathbb{Q})$ 是单点集，因此 $\mathbb{Q}^{td}$ 是平凡的，且 $\mathbb{Q}^{ap} \cong \widehat{\widehat{\mathbb{Q}}_d} \cong \widehat{\mathbb{Q}}^{\mathfrak{c}}$ 是连通的，这意味着 $\mathbb{Q}^{td}$ 是平凡的。
• $\mathrm{B}_I(\mathbb{Z})$ 同构于 $\ell^1(\mathbb{Z}) \oplus_{\ell^1} \mathrm{L}^1(\mathbb{T})$，其来源于 $\mathrm{B}(\mathbb{Z}) \cong \mathrm{M}(\mathbb{T})$ 的傅里叶-斯蒂尔杰斯变换，其中幂等测度对应于 $\ell^1(\mathrm{t}(\mathbb{T})) \oplus_{\ell^1} \mathrm{L}^1(\mathbb{T})$。
• 对于自由群 $\mathrm{F}_\infty$，集合 $\mathcal{T}_{nq}^{td}(\mathrm{F}_\infty)$ 很大，且每个可分完全不连通群都可作为 $\mathrm{F}_\infty^{td}$ 的商群出现，表明其具有丰富的拓扑与相应代数结构。