[논문 리뷰] Representations of Higher Rank Graph Algebras

Kenneth R. Davidson, Dilian Yang|ArXiv.org|2008. 04. 23.

Advanced Operator Algebra Research참고 문헌 19인용 수 27

한 줄 요약

이 논문은 단일 정점 위의 k-그래프 대수 𝔽ₜ⁺의 모든 기약 원자적 *-표현이 군 구축 표현의 최소 *-확장으로서 나타남을 증명하며, 원자적 표현의 완전한 분해를 이끌어낸다. 핵심 결과는 C*-대수 𝒞*(𝔽ₜ⁺)가 단순 C*-대수 𝔞와의 텐서곱 C(𝕋ˢ) ⊗ 𝔞와 동형임을 보이며, 여기서 s는 대칭부군 Hₜ ≤ ℤᵏ의 질량이다. 단순성은 비주기성(Hₜ = {0})과 동치이다.

ABSTRACT

Let $\Fth$ be a $\Bk$-graph on a single vertex. We show that every irreducible atomic $*$-representation is the minimal $*$-dilation of a group construction representation. It follows that every atomic representation decomposes as a direct sum or integral of such representations. We characterize periodicity of $\Fth$ and identify a symmetry subgroup $H_θ$ of $\bZ^\Bk$. If this has rank $s$, then $\ca(\Fth) \cong C(\bT^s) \otimes \fA$ for some simple C*-algebra $\fA$.

연구 동기 및 목표

• 단일 정점 위의 k-그래프로의 기약 원자적 *-표현의 구조 이론을 질량 2에서 임의의 k-그래프로 확장한다.
• 대칭부군 Hₜ ≤ ℤᵏ를 통해 k-그래프의 주기성을 특성화하고, 이를 C*-대수의 구조와 연결한다.
• 원자적 표현을 군 구축 표현의 직합 또는 적분으로 분해함을 확립한다.
• Hₜ의 질량 s에 따라 𝒞*(𝔽ₜ⁺)의 동형 타입을 규명하며, 𝒞*(𝔽ₜ⁺) ≅ C(𝕋ˢ) ⊗ 𝔞를 단순한 𝔞에 대해 보인다.
• 𝒞*(𝔽ₜ⁺)의 중심을 C(𝕋ˢ)로 식별하고, 중심 단위원 Wₕ가 Hₜ의 원소 h ∈ Hₜ에 대응함을 보인다.

제안 방법

• 결함이 없는 행 수축적 *-표현이 최소 *-확장을 유일하게 가짐을 확장 이론을 통해 보인다.
• 순열 θ로 정의된 k-그래프를 인덱스로 하는 아벨 군 ℤᵏ의 유니터리 표현을 통한 자연스러운 원자적 *-표현의 가족을 구성한다.
• 요소 h ∈ ℤᵏ 중에서 도약에 의해 구조가 유지되는 모든 h의 집합으로서 대칭부군 Hₜ ≤ ℤᵏ를 정의하며, 인수 분해 순열 θᵢⱼ를 사용한다.
• Hₜ가 질량 s ≤ k인 자유 아벨 군임을 보이며, C*-대수 𝒞*(𝔽ₜ⁺)가 섬유가 𝔞인 𝕋ˢ 위에 연속장의 구조를 가짐을 증명한다.
• 게이지 작용과 몫 사상에 의해 *-환형사상 Θ: 𝒞*(𝔽ₜ⁺) → C(𝕋ˢ, 𝔞)를 구성하며, 충실성과 상사성으로부터 이것이 동형임을 보인다.
• 중심 𝒟 = C*(W₁,…,Wₛ) ≅ C(𝕋ˢ)이며, 중심 단위원 Wₕ가 Hₜ의 원소 h ∈ Hₜ에 대응함을 이용하며, Wₕ = ∑ₑ∈ᴱ γ(e)e* 는 적절한 집합 E, F에 대해 성립한다.

실험 결과

연구 질문

• RQ1 단일 정점 위의 k-그래프 대수에서의 모든 기약 원자적 *-표현은 군 구축 표현의 최소 *-확장으로서 실현될 수 있는가?
• RQ2 k-그래프에서 대칭부군 Hₜ ≤ ℤᵏ의 구조는 무엇이며, 그 질량 s는 C*-대수의 구조와 어떻게 관련되는가?
• RQ3 k-그래프 𝔽ₜ⁺의 주기성은 Hₜ의 자명성과 어떻게 관련되며, 이에 따라 𝒞*(𝔽ₜ⁺)는 어떻게 분해되는가?
• RQ4 𝒞*(𝔽ₜ⁺)의 중심은 무엇이며, 중심 단위원 Wₕ는 군 Hₜ와 어떻게 관련되는가?
• RQ5 𝒞*(𝔽ₜ⁺)가 단순해지는 조건은 무엇이며, 이는 그래프의 비주기성과 어떻게 관련되는가?

주요 결과

• 𝔽ₜ⁺의 모든 기약 원자적 *-표현은 군 구축 표현의 최소 *-확장이며, 이러한 표현의 완전한 분류를 제공한다.
• C*-대수 𝒞*(𝔽ₜ⁺)는 단순 C*-대수 𝔞와의 텐서곱 C(𝕋ˢ) ⊗ 𝔞와 동형이며, 여기서 s는 대칭부군 Hₜ ≤ ℤᵏ의 질량이다.
• 𝒞*(𝔽ₜ⁺)는 Hₜ = {0}일 때이고, 즉 그래프가 비주기적일 때에만 단순하다.
• 𝒞*(𝔽ₜ⁺)의 중심은 𝒟 = C*(W₁,…,Wₛ) ≅ C(𝕋ˢ)이며, 사상 h ↦ Wₕ는 Hₜ에서 중심의 단위원군으로의 군 준동형사상이다.
• Hₜ의 원소 h ∈ Hₜ에 대응하는 중심 단위원 Wₕ는 Wₕ = ∑ₑ∈ᴱ γ(e)e* 로 주어지며, 여기서 γ는 도약이 h와 −h인 단어 집합 간의 전단사이다.
• 동형 𝒞*(𝔽ₜ⁺) ≅ C(𝕋ˢ) ⊗ 𝔞는 게이지 자동형사상과 몫 사상에 의해 구성된 연속장의 C*-대수로 실현되며, 섬유는 𝔞이다.