[论文解读] Simplicity of reduced group Banach algebras

N. Christopher Phillips|arXiv (Cornell University)|Sep 25, 2019

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

一句话总结

本文利用巴拿赫空间插值方法以及 Kalantar-Kennedy 和 Haagerup 的结果，建立了与离散群相关的约化群巴拿赫代数的简洁性与唯一迹性质。证明了若约化 C*-代数 $ C^*_{\text{r}}(G) $ 是简洁的（或具有唯一迹），则其 $ L^p $-类比代数 $ F^p_{\text{r}}(G) $ 及其 *-代数 $ B^{p,*}_{\text{r}}(G) $ 对于 $ p \in (1,\infty) $ 也是简洁的（或具有唯一迹），并进一步推广至可数群的自反 Orlicz 与 Lorentz 序列空间。

ABSTRACT

Let G be a discrete group. Suppose that the reduced group C*-algebra of G is simple. We use results of Kalantar-Kennedy and Haagerup, and Banach space interpolation, to prove that, for p in (1,infinity), the reduced group L^p operator algebra F^p_r(G) and its *-analog B^{p,*}_r(G) are simple. If G is countable, we prove that the Banach algebras generated by the left regular representations on reflexive Orlicz sequence spaces and certain Lorentz sequence spaces are also simple. We prove analogous results with simplicity replaced by the unique trace property. For use in the Orlicz sequence space case, we prove that if p is in (1,infinity), then any reflexive Orlicz sequence space is isomorphic (not necessarily isometrically) to a space gotten by interpolation between l^p and some other Orlicz sequence space.

研究动机与目标

• 将约化群 C*-代数的简洁性与唯一迹性质推广至 $ L^p $-类比巴拿赫代数，其中 $ p \in (1,\infty) $。
• 在自反 Orlicz 序列空间与 Lorentz 序列空间上，建立由左正则表示生成的代数的这些性质。
• 利用巴拿赫空间插值方法，构建一个通用框架，将 $ C^*_{\text{r}}(G) $ 的简洁性与迹性质传递至其他群巴拿赫代数。
• 证明任一自反 Orlicz 序列空间同构于 $ \ell^p $ 与另一 Orlicz 序列空间之间的插值空间，从而支持插值技术的应用。

提出的方法

• 利用巴拿赫空间插值，特别是 Riesz-Thorin 定理与广义插值定理，估计插值空间之间的算子范数。
• 应用 Powers 性质（定义 2.1）作为简洁性的关键判据，表明表示中群元素的凸组合具有小范数。
• 使用 $ g $-Powers 性质（定义 3.1）分析唯一迹性质，将其从 $ C^*_{\text{r}}(G) $ 扩展至 $ F^p_{\text{r}}(G) $ 与 $ B^{p,*}_{\text{r}}(G) $。
• 构造特定序列 $ \beta_n = n^{r/p} - (n-1)^{r/p} $，以关联 Lorentz 序列空间 $ l^{p,r}(G) $ 与插值空间 $ d^{\beta,r}(G) $。
• 应用 [4, 定理 1.4.19] 中的插值定理，推导出形如 $ \|T\|_{p,r} \leq R \|T\|_{p_0}^{1-\theta} \|T\|_{p_1}^{\theta} $ 的范数估计，其中 $ \theta = 1/2 $，从而实现 Powers 性质的传递。
• 依赖于已知的 $ C^*_{\text{r}}(G) $ 结果，包括 Kalantar-Kennedy 与 Haagerup 的简洁性结论，将简洁性从 $ C^*_{\text{r}}(G) $ 推广至 $ F^p_{\text{r}}(G) $ 与 $ B^{p,*}_{\text{r}}(G) $。

实验结果

研究问题

• RQ1 若 $ C^*_{\text{r}}(G) $ 是简洁的，是否意味着约化 $ L^p $ 算子代数 $ F^p_{\text{r}}(G) $ 对所有 $ p \in (1,\infty) $ 也是简洁的？
• RQ2 能否将 $ C^*_{\text{r}}(G) $ 的唯一迹性质扩展至 $ F^p_{\text{r}}(G) $ 与 $ B^{p,*}_{\text{r}}(G) $？
• RQ3 当 $ G $ 为可数群时，由左正则表示在自反 Orlicz 序列空间上生成的巴拿赫代数是否简洁？
• RQ4 对于 $ 1 < r < p < \infty $ 的 Lorentz 序列空间 $ l^{p,r}(G) $，相同的简洁性与迹性质是否仍成立？
• RQ5 每个自反 Orlicz 序列空间是否同构于 $ \ell^p $ 与另一 Orlicz 序列空间之间的插值空间？

主要发现

• 若 $ C^*_{\text{r}}(G) $ 是简洁的，则对所有 $ p \in (1,\infty) $，$ F^p_{\text{r}}(G) $ 也是简洁的，该结论通过插值与 Powers 性质得以证明。
• 若 $ C^*_{\text{r}}(G) $ 具有唯一迹态，则对所有 $ p \in (1,\infty) $，$ F^p_{\text{r}}(G) $ 具有唯一单位迹。
• 对任意可数群 $ G $，若 $ C^*_{\text{r}}(G) $ 是简洁的，则与 Lorentz 序列空间 $ l^{p,r}(G) $（其中 $ 1 < r < p < \infty $）相关的代数 $ F^p_{\text{r}}(G) $ 也是简洁的。
• 当 $ C^*_{\text{r}}(G) $ 是简洁时，代数 $ B^{p,*}_{\text{r}}(G) $ 也是简洁的；若 $ C^*_{\text{r}}(G) $ 具有唯一迹态，则 $ B^{p,*}_{\text{r}}(G) $ 具有唯一单位迹。
• 每个自反 Orlicz 序列空间同构（不一定等距同构）于 $ \ell^p $ 与另一 Orlicz 序列空间之间的插值空间，其中 $ p \in (1,\infty) $。
• 对 $ p \in (1,\infty) $，$ r \in (1,p) $，以及 $ \beta_n = n^{r/p} - (n-1)^{r/p} $，空间 $ d^{\beta,r}(G) $ 与 $ l^{p,r}(G) $ 一致，且其范数满足 $ \|\xi\|_{p,r} = (p/r)^{1/r} \|\xi\|_{\beta,r} $。