[논문 리뷰] Aperiodicity and the primitive ideal space of a row-finite $k$-graph $C^*$-algebra

Sooran Kang, David Pask|arXiv (Cornell University)|2011. 05. 06.

Advanced Operator Algebra Research참고 문헌 43인용 수 6

한 줄 요약

이 논문은 강한 비주기성 조건 하에서 행렬 유한한 $k$-그래프 $C^*$-대수의 원시 이상수 공간을 기술하며, 이 공간이 $k$-그래프의 1-스켈레톤에만 의존한다는 것을 보여준다. 원시 이상수 공간이 가산 기저를 가진 컴팩트 열린 집합을 가진 스펙트럴 공간과 위상동형임을 증명하고, 서로 이sov모르지 않은 $2$-그래프 두 개가 $C^*$-대수에서 위상동형인 원시 이상수 공간을 가질 수 있음을 보였다.

ABSTRACT

We describe the primitive ideal space of the $C^{\ast}$-algebra of a row-finite $k$-graph with no sources when every ideal is gauge invariant. We characterize which spectral spaces can occur, and compute the primitive ideal space of two examples. In order to do this we prove some new results on aperiodicity. Our computations indicate that when every ideal is gauge invariant, the primitive ideal space only depends on the 1-skeleton of the $k$-graph in question.

연구 동기 및 목표

• 모든 이상수가 게이지 불변인 행렬 유한한 $k$-그래프 $C^*$-대수의 원시 이상수 공간을 기술하기 위해.
• 이러한 $k$-그래프의 원시 이상수 공간으로 나타날 수 있는 스펙트럴 위상수학적 공간들을 식별하기 위해.
• 구체적인 $2$-그래프 예시 두 개(그 중 하나는 카르테시안 곱이 아닌 경우)의 원시 이상수 공간을 계산하기 위해.
• 강한 비주기성 조건 하에서 원시 이상수 공간이 $k$-그래프의 1-스켈레톤에만 의존한다는 것을 입증하기 위해.
• 모든 이러한 원시 이상수 공간이 가산 기저를 가진 컴팩트 열린 집합을 가진 스펙트럴 공간임을 보여주기 위해.

제안 방법

• 강한 비주기성(정의 3.1)을 통해 정의된 강한 비주기성 $k$-그래프의 개념을 도입하여, 모든 이상수가 게이지 불변임을 보장한다.
• 원천이 없는 행렬 유한한 $k$-그래프의 맥락에서 최대 尾(정의 3.10)를 정의하며, 이는 $1$-그래프의 경우를 일반화한다.
• 포괄적이고 비가역적인 집합이 원시 게이지 불변 이상수를 생성하기 위한 필요 및 충분 조건을 증명한다(정리 3.12).
• 폐쇄와 기저 구성 방법을 통해 원시 이상수 공간의 위상을 기술한다(정리 3.15 및 보조정리 3.16).
• 정점들을 $\mathbb{Z}^2$에 대응시어, $\mathbb{Z} \cup \{\infty\}$ 위의 오른쪽 순서 위상의 곱공간과 원시 이상수 공간 사이의 위상동형을 확립한다.
• 사실 $C^*(\Omega \times \Omega) \cong C^*(\Omega) \otimes C^*(\Omega)$를 이용하여 카르테시안 곱 $2$-그래프의 원시 이상수 공간을 계산한다.

실험 결과

연구 질문

• RQ1 모든 이상수가 게이지 불변인 원천이 없는 행렬 유한한 $k$-그래프에서 원시 이상수 공간으로 나타날 수 있는 스펙트럴 공간은 무엇인가?
• RQ2 $k$-그래프의 어떤 조건에서 원시 이상수 공간이 그 1-스켈레톤에만 의존하는가?
• RQ3 서로 이sov모르지 않은 $k$-그래프 두 개가 $C^*$-대수에서 위상동형인 원시 이상수 공간을 가질 수 있는가?
• RQ4 강한 비주기성 $2$-그래프의 원시 이상수 공간은 어떤 위상적 구조를 갖는가?
• RQ5 카르테시안 곱 $k$-그래프의 원시 이상수 공간은 그 인자들의 원시 이상수 공간의 곱과 어떻게 관련이 있는가?

주요 결과

• 강한 비주기성 조건을 만족하는 원천이 없는 행렬 유한한 $k$-그래프의 원시 이상수 공간은 가산 기저를 가진 컴팩트 열린 집합을 가진 스펙트럴 공간이다.
• 원시 이상수 공간은 강한 비주기성 조건 하에서 $k$-그래프의 1-스켈레톤에만 의존하며, 이는 $(\mathbb{Z} \cup \{\infty\}) \times (\mathbb{Z} \cup \{\infty\})$ 위의 오른쪽 순서 위상과의 위상동형을 통해 입증된다.
• 비대칭 곱 $2$-그래프 $\Lambda$의 경우, $\Lambda$가 카르테시안 곱이 아니더라도 원시 이상수 공간은 $(\mathbb{Z} \cup \{\infty\}) \times (\mathbb{Z} \cup \{\infty\})$와 위상동형이다.
• $\Omega$가 비주기적 $1$-그래프일 때, $\Omega \times \Omega$의 원시 이상수 공간은 $C^*(\Omega)$의 원시 이상수 공간의 곱이며, 이는 $C^*(\Lambda)$의 원시 이상수 공간과 위상동형이다.
• 주어진 원천이 없는 행렬 유한한 $k$-그래프의 원시 이상수 공간과 동일한 원시 이상수 공간을 가진 AF 대수가 존재한다(보조정리 4.7에 의해 입증됨).
• 원시 이상수 공간이 위상동형이지만 $C^*(\Lambda)$와 $C^*(\Omega \times \Omega)$는 알려지지 않은 바에 따라 서로 이sov모르지 않으며, 이는 원시 이상수 공간만으로는 $C^*$-대수를 분류할 수 없음을 시사한다.