[论文解读] The structure of gauge-invariant ideals of labelled graph $C^*$-algebras

Ja A Jeong, Sun Ho Kim+1 more|arXiv (Cornell University)|Feb 21, 2011

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

一句话总结

该论文在 $\mathcal{B}$ 关于相对补集封闭的条件下，建立了可容许集的遗传饱和子集与标号图 $C^*$-代数 $C^*(E,\mathcal{L},\mathcal{B})$ 中的规范不变理想之间的一一对应关系。它引入了商标号空间并证明了规范不变唯一性定理，从而给出了简洁性的刻画：当每个广义顶点 $[v]_l$ 对某个 $l$ 有限时，$C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 是简洁的，当且仅当该标号空间既是强共终的又是不一致的。该结果将图和超图 $C^*$-代数的已知结论推广到了更一般的标号图设定。

ABSTRACT

In this paper, we consider the gauge-invariant ideal structure of a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{B})$ associated to a set-finite, receiver set-finite and weakly left-resolving labelled space $(E,\mathcal{L},\mathcal{B})$, where $\mathcal{L}$ is a labelling map assigning an alphabet to each edge of the directed graph $E$ with no sinks. Under the assumption that an accommodating set $\mathcal{B}$ is closed under taking relative complement, it is obtained that there is a one to one correspondence between the set of all hereditary saturated subsets of $\mathcal{B}$ and the gauge-invariant ideals of $C^*(E,\mathcal{L},\mathcal{B})$. For this, we introduce a quotient labelled space $(E,\mathcal{L},[\mathcal{B}]_R)$ arising from an equivalence relation $\sim_R$ on $\mathcal{B}$ and show the existence of the $C^*$-algebra $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ generated by a universal representation of $(E,\mathcal{L},[\mathcal{B}]_R)$. Also the gauge-invariant uniqueness theorem for $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ is obtained. For simple labelled graph $C^*$-algebras $C^*(E,\mathcal{L},\bar{\mathcal{E}})$, where $\bar{\mathcal{E}}$ is the smallest accommodating set containing all the generalized vertices, it is observed that if for each vertex $v$ of $E$, a generalized vertex $[v]_l$ is finite for some $l$, then $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ is simple if and only if $(E,\mathcal{L},\bar{\mathcal{E}})$ is strongly cofinal and disagreeable. This is done by examining the merged labelled graph $(F,\mathcal{L}_F)$ of $(E,\mathcal{L})$ and the common properties that $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ and $C^*(F,\mathcal{L},\bar{\mathcal{F}})$ share.

研究动机与目标

• 确定在 $\mathcal{B}$ 关于相对补集封闭的条件下，对集合有限、接收集有限、弱左解析的标号空间，$C^*(E,\mathcal{L},\mathcal{B})$ 中规范不变理想的结构。
• 建立 $\mathcal{B}$ 的遗传饱和子集与 $C^*(E,\mathcal{L},\mathcal{B})$ 的规范不变理想之间的一一对应关系。
• 引入商标号空间 $(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$，并证明其关联 $C^*$-代数的存在性及规范不变唯一性定理。
• 刻画 $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 的简洁性，其中 $\overline{\mathcal{E}}$ 是包含所有广义顶点的最小可容许集且关于相对补集封闭。
• 证明在广义顶点满足有限性条件时，$C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 的简洁性等价于标号空间是强共终且不一致的。

提出的方法

• 论文在可容许集 $\mathcal{B}$ 上引入等价关系 $\sim_{\textsc{R}}$，从而得到商标号空间 $(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$。
• 通过商标号空间的普遍表示构造 $C^*$-代数 $C^*(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$。
• 为 $C^*(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 建立规范不变唯一性定理，确保当 $*$-同态在生成投影上非退化时，其为单射。
• 定义并分析了 $(E,\mathcal{L})$ 的合并标号空间 $(F,\mathcal{L}_F)$，该空间保持了诸如强共终性和不一致性等关键结构性质。
• 证明强共终性和不一致性在合并过程中得以保持，利用 $E$ 和 $F$ 中标号路径之间的对应关系以及等价类下范围的行为。
• 分析依赖于广义顶点 $[v]_l$ 的性质，特别是其有限性，以将 $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 的结构与合并系统联系起来。

实验结果

研究问题

• RQ1 当 $\mathcal{B}$ 关于相对补集封闭时，$\mathcal{B}$ 的遗传饱和子集与 $C^*(E,\mathcal{L},\mathcal{B})$ 中的规范不变理想之间是否存在一一对应关系？
• RQ2 商标号空间 $(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 如何与 $C^*(E,\mathcal{L},\mathcal{B})$ 的理想结构相关联？
• RQ3 标号空间 $(E,\mathcal{L},\overline{\mathcal{E}})$ 需满足何种条件，才能保证 $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 的简洁性？
• RQ4 在将标号图合并为其合并版本时，强共终性和不一致性如何保持？
• RQ5 在每个广义顶点 $[v]_l$ 对某个 $l$ 有限的条件下，$C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 在何种条件下是简洁的？

主要发现

• 当 $\mathcal{B}$ 关于相对补集封闭时，$\mathcal{B}$ 的所有遗传饱和子集的集合与 $C^*(E,\mathcal{L},\mathcal{B})$ 的规范不变理想之间存在一一对应关系。
• 商标号空间 $(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 允许存在普遍 $C^*$-代数 $C^*(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$，且该代数满足规范不变唯一性定理。
• $(E,\mathcal{L})$ 的合并标号空间 $(F,\mathcal{L}_F)$ 保持了强共终性：$(E,\mathcal{L},{\overline{\mathcal{E}}})$ 是强共终的，当且仅当 $(F,\mathcal{L}_F,{\overline{\mathcal{F}}})$ 是强共终的。
• 合并标号空间也保持了不一致性：$(E,\mathcal{L},{\overline{\mathcal{E}}})$ 是不一致的，当且仅当 $(F,\mathcal{L}_F,{\overline{\mathcal{F}}})$ 是不一致的。
• 对于集合有限、接收集有限、弱左解析的标号空间 $(E,\mathcal{L},{\overline{\mathcal{E}}})$，若每个广义顶点 $[v]_l$ 对某个 $l$ 有限，则 $C^*(E,\mathcal{L},{\overline{\mathcal{E}}})$ 是简洁的，当且仅当 $(E,\mathcal{L},{\overline{\mathcal{E}}})$ 既是强共终的又是不一致的。