[논문 리뷰] Partial crossed product description of the C*-algebras associated with integral domains

Giuliano Boava, Ruy Exel|arXiv (Cornell University)|2010. 10. 05.

Advanced Operator Algebra Research참고 문헌 12인용 수 5

한 줄 요약

이 논문은 유한 몫을 갖는 정수환 R에 관련된 C*-대수 𝔄[R]가 그 분수체 K의 덧셈군 K ⋊ K×에 대한 부분 교차곱과 동형임을 증명한다. 부분 작용이 위상적으로 자유롭고 최소임을 보이고, K ⋊ K×의 애매성(amenability)을 활용하여 저자들은 𝔄[R]가 단순임을 증명하며, Cuntz와 Li의 결과를 부분 교차곱 이론을 통해 재해석한다.

ABSTRACT

Recently, Cuntz and Li introduced the C^*-algebra A[R] associated to an integral domain R with finite quotients. In this paper, we show that A[R] is a partial group algebra of the group $K times K^x$ with suitable relations, where K is the field of fractions of R. We identify the spectrum of this relations and we show that it is homeomorphic to the profinite completion of R. By using partial crossed product theory, we reconstruct some results proved by Cuntz and Li. Among them, we prove that $\ar$ is simple by showing that the action is topologically free and minimal.

연구 동기 및 목표

• 정수환 R에 관련된 C*-대수 𝔄[R]를 부분 교차곱 이론을 통해 새로운 기술을 제공한다.
• 교차곱의 가환 C*-대수의 스펙트럼이 프로프로페인 완비화 ̂R와 위상동형임을 특성화한다.
• 부분 작용이 위상적으로 자유롭고 최소임을 증명함으로써 부분 교차곱 기법을 사용해 𝔄[R]의 단순성을 재증명한다.
• Cuntz의 𝒬ℤ 및 𝒬ℕ 대수의 이해를 확장하여, 각각 Q ⋊ Q× 및 Q ⋊ Q×₊에 의한 부분 교차곱으로 나타남을 보인다.

제안 방법

• K가 R의 분수체일 때, 그룹 K ⋊ K×가 프로프로페인 완비화 ̂R_K 위에 부분 작용 θ를 구성한다.
• Cuntz–Li 관계에 기반한 관계를 갖는 K ⋊ K×의 부분 군 대수를 정의한다.
• 교차곱 구성의 기저 공간으로서 C(̂R_K)의 스펙트럼을 사용한다.
• 프로프로페인 위상에서 열린 집합과 고정점 집합을 이용하여, 부분 작용 θ가 R이 체가 아닐 때에만 위상적으로 자유롭다는 것을 증명한다.
• 군 K ⋊ K×의 이동을 이용하여 모든 궤도가 ̂R_K 내에서 조밀함을 보여 부분 작용의 최소성을 증명한다.
• K ⋊ K×의 애매성 덕분에 전체 및 축소 교차곱이 일치함을 이용하여, 교차곱이 단순함을 유도하고, 이는 𝔄[R]의 단순성로 이어진다.

실험 결과

연구 질문

• RQ1 정수환 R에 관련된 C*-대수 𝔄[R]는 부분 교차곱으로 기술될 수 있는가?
• RQ2 교차곱 구성에서 가환 C*-대수의 스펙트럼의 위상적 구조는 무엇인가?
• RQ3 K ⋊ K×의 부분 작용이 스펙트럼 위에서 위상적으로 자유롭고 최소한인가?
• RQ4 부분 작용의 최소성과 위상적 자유성에 더해 군의 애매성 조건이 성립할 경우, 𝔄[R]의 단순성가 도출되는가?
• RQ5 이 부분 교차곱 기술은 Cuntz의 𝒬ℤ 및 𝒬ℕ 대수를 어떻게 복구하거나 재해석하는가?

주요 결과

• C*-대수 𝔄[R]는 ̂R_K가 R의 프로프로페인 완비화일 때, *-동형사상으로서 C(̂R_K) ⋊_α (K ⋊ K×)와 동일하다.
• 교차곱의 가환 C*-대수의 스펙트럼은 R의 프로프로페인 완비화 ̂R와 위상동형이다.
• 부분 작용 α는 R이 체가 아닐 때에만 위상적으로 자유롭다. 이는 비항등 원소에 대해 고정점 집합의 내부가 공집합이기 때문이다.
• 부분 작용은 최소이다. 즉, 모든 궤도가 ̂R_K 내에서 조밀하다. 이는 R이 체가 아닐 때 성립한다.
• 그룹 K ⋊ K×는 애매하므로 전체 및 축소 교차곱이 일치하며, 이는 교차곱의 단순성을 유도한다.
• 결과적으로 𝔄[R]는 단순하며, 𝔄[R] ≅ 𝔄_r[R]이다. 여기서 𝔄_r[R]는 대수의 축소형이다.