[论文解读] The ideal structures of self-similar $k$-graph C*-algebras

Hui Li, Dilian Yang|arXiv (Cornell University)|Jun 25, 2019

Advanced Operator Algebra Research参考文献 26被引用 4

一句话总结

本文建立了自相似 $k$-圖 $(G,\Lambda)$ 中頂點集 $λ^0$ 的 $G$-遺傳集與 $G$-飽和集之間的一一對應關係，並與其關聯的普遍 $C^*$-代數 $Ω_{G,\Lambda}$ 的擬自守、對角不變理想相聯繫。此外，在特定條件下刻畫了本質理想，並描述了如 odometer 的乘積等例子中的雅可比森拓撲，將結構定理推廣至非單位元情形，並在理想理論中揭示了新現象。

ABSTRACT

Let $(G, Λ)$ be a self-similar $k$-graph with a possibly infinite vertex set $Λ^0$. We associate a universal C*-algebra $\mathcal{O}_{G,Λ}$ to $(G,Λ)$. The main purpose of this paper is to investigate the ideal structures of $\mathcal{O}_{G,Λ}$. We prove that there exists a one-to-one correspondence between the set of all $G$-hereditary and $G$-saturated subsets of $Λ^0$ and the set of all gauge-invariant and diagonal-invariant ideals of $\mathcal{O}_{G,Λ}$. Under some conditions, we characterize all primitive ideas of $\mathcal{O}_{G,Λ}$. Moreover, we describe the Jacobson topology of some concrete examples, which includes the C*-algebra of the product of odometers. On the way to our main results, we study self-similar $P$-graph C*-algebras in depth.

研究动机与目标

• 研究自相似 $k$-圖 $C^*$-代數 $\mathcal{O}_{G,\Lambda}$ 的理想結構，其為單位元 $k$-圖代數的推廣，並包含 Nekrashevych 和 Exel-Pardo 代數等重要例子。
• 將非單位元情形下的結構定理從單位元情形推廣，特別是針對 $\Lambda^0$ 的 $G$-遺傳集與 $G$-飽和集。
• 在適當條件下刻畫 $\mathcal{O}_{G,\Lambda}$ 的本質理想，特別是與週期性群及最大尾部的關係。
• 具體描述如強非週期性 $k$-圖與 odometer 的乘積等例子中本質理想空間的雅可比森拓撲。

提出的方法

• 引入並研究自相似 $P$-圖 $C^*$-代數，作為自相似 $k$-圖的推廣，這在 $k$-圖設定下無法封閉的商構造中尤為關鍵。
• 定義 $\Lambda^0$ 的 $G$-遺傳集與 $G$-飽和集，並證明其與 $\mathcal{O}_{G,\Lambda}$ 中擬自守、對角不變理想之間的一一對應關係。
• 利用週期性群 $\mathrm{Per}_{G,\Lambda}$ 及其對偶分析本質理想，特別是在 $\mathrm{Per}_{G,\Lambda} = \{0\}$ 時。
• 將理論應用於具體例子：強非週期性 $k$-圖與 odometer 的乘積，其中證明本質理想空間同胚於 $\mathbb{T}^r$，其中 $r = \mathrm{rank}(\mathrm{Per}_{\Lambda})$。
• 利用 [21] 中關於週期性群的 KMS 狀態與跡態的結果，將動力性質與理想結構相聯繫。
• 利用最大尾部 $T \in M_\gamma(\Lambda)$ 及其對應理想 $I_T = I(\Lambda^0 \setminus T)$ 刻畫本質理想空間中的閉集，並證明雅可比森拓撲中的收斂性。

实验结果

研究问题

• RQ1 $\Lambda^0$ 的子集與 $\mathcal{O}_{G,\Lambda}$ 中的理想之間的精確對應關係為何？此對應關係如何超越單位元情形？
• RQ2 在自相似 $k$-圖 $C^*$-代數中，擬自守理想與對角不變理想有何關係？在何種條件下二者會重合？
• RQ3 在何種條件下所有本質理想均可由最大尾部產生？本質理想空間如何被拓撲化？
• RQ4 如何具體描述如 odometer 乘積等非單位元例子中本質理想空間的雅可比森拓撲？
• RQ5 週期性群 $\mathrm{Per}_{G,\Lambda}$ 在決定本質理想結構與本質理想空間拓撲中扮演何種角色？

主要发现

• $\Lambda^0$ 的 $G$-遺傳集與 $G$-飽和集與 $\mathcal{O}_{G,\Lambda}$ 的擬自守、對角不變理想之間存在一一對應關係，並推廣了單位元情形下的結果。
• 一般而言，$\mathcal{O}_{G,\Lambda}$ 中的擬自守理想不一定是對角不變的，但在某些輕微條件下（如週期性群為平凡群）此差異會消失。
• 當 $\Lambda$ 為強非週期性時，$\mathcal{O}_{G,\Lambda}$ 的所有理想均為擬自守且對角不變，且本質理想空間 $\mathrm{Prim}(\mathcal{O}_{G,\Lambda})$ 同胚於最大尾部集合 $M_\gamma(\Lambda)$。
• 對於 odometer 的乘積，有 $\mathrm{Prim}(\mathcal{O}_{G,\Lambda}) \cong \mathbb{T}^r$，其中 $r = \mathrm{rank}(\mathrm{Per}_{\Lambda})$，且雅可比森拓撲可透過最大尾部的收斂性明確描述。
• 本質理想空間中子集 $Y \subseteq M_\gamma(\Lambda)$ 的閉包滿足：$T_0 \in \overline{Y}$ 當且僅當 $T_0 \subseteq \bigcup_{T \in Y} T$，這提供了以最大尾部表達閉包的拓撲特徵。