[논문 리뷰] The ideal structures of self-similar $k$-graph C*-algebras

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

Advanced Operator Algebra Research참고 문헌 26인용 수 4

한 줄 요약

이 논문은 자가유사 $k$-그래프 $(G,\Lambda)$의 정점 집합 $\Lambda^0$의 $G$-유도적이고 $G$-포화된 부분집합들과 관련된 유니버설 $C^*$-대수 $\mathcal{O}_{G,\Lambda}$의 게이지-불변, 대각-불변 아이디얼 사이의 일대일 대응을 수립한다. 추가로 특정 조건 하에서 원시 아이디얼을 특성화하고, 오도미터의 곱과 같은 예시들에 대해 잼슨 위상구조를 묘사하며, 비단위 원소의 경우로의 구조 정리 일반화와 아이디얼 이론에서 새로운 현상들을 드러낸다.

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$-그래프 대수의 일반화이며, 네크라셰비치 및 에클스-파르도 대수와 같은 중요한 예를 포함한다.
• 단위 원소의 경우에 대한 구조 정리를 비단위 원소 설정으로 확장한다. 특히 $\Lambda^0$의 $G$-유도적 및 $G$-포화된 부분집합에 대해 적용한다.
• $\mathcal{O}_{G,\Lambda}$의 원시 아이디얼을 적절한 조건 하에서 특성화한다. 특히 주기성 군과 최대 尾 집합과의 관계에서 중점을 둔다.
• 구체적인 예시들, 예를 들어 강한 비주기성 $k$-그래프와 오도미터의 곱에서 원시 아이디얼 공간의 잼슨 위상을 묘사한다.

제안 방법

• 자기유사 $P$-그래프 $C^*$-대수를 도입하고 연구함으로써, $k$-그래프 설정에서 닫혀 있지 않은 몫 구성에 필수적인 자기유사 $k$-그래프의 일반화를 수행한다.
• $\Lambda^0$의 $G$-유도적 및 $G$-포화된 부분집합을 정의하고, $\mathcal{O}_{G,\Lambda}$의 게이지-불변, 대각-불변 아이디얼과의 일대일 대응을 증명한다.
• 주기성 군 $\mathrm{Per}_{G,\Lambda}$와 그 쌍대군을 사용하여 원시 아이디얼을 분석하며, 특히 $\mathrm{Per}_{G,\Lambda} = \{0\}$일 경우에 중점을 둔다.
• 이론을 구체적인 예시들에 적용한다: 강한 비주기성 $k$-그래프와 오도미터의 곱. 이 경우 원시 아이디얼 공간이 $\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 오도미터의 곱과 같은 비단위 원소 예시들에 대해 원시 아이디얼 공간의 잼슨 위상을 명시적으로 묘사할 수 있는가?
• 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)$와 위상동형이다.
• 오도미터의 곱의 경우 $\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$일 때 정확히 일치함을 보이며, 이는 최대 尾 집합을 통한 폐포의 위상적 특성화를 제공한다.