[논문 리뷰] Renault's Equivalence Theorem for Reduced Groupoid C*-algebras

Aidan Sims, Dana P. Williams|arXiv (Cornell University)|2010. 02. 16.

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

한 줄 요약

이 논문은 연결 군oids 구조와 일관된 하르 체계를 사용하여 동치인 군oids의 감소 군oids C*-대수들이 모리타 동치임을 증명한다. 리에플의 대응이 감소 대수로의 자연스러운 전성사상의 핵을 유지함으로써, 전체 및 감소 대수에 대한 동치 정리 간의 호환성을 보장한다.

ABSTRACT

We use the technology of linking groupoids to show that equivalent groupoids have Morita equivalent reduced C*-algebras. This equivalence is compatible in a natural way in with the Equivalence Theorem for full groupoid C*-algebras.

연구 동기 및 목표

• 문헌에서 널리 암시되어 있지만 공식적으로 확립되지 않은, 동치인 군oids가 모리타 동치인 감소 C*-대수를 가진다는 엄밀한 증명을 제공하는 것.
• 감소 대수에 대한 모리타 동치가 전체 군oids C*-대수에 대한 고전적 동치 정리와 리에플 유도와 호환됨을 보여주는 것.
• 군oids 동치에 대한 링킹 군oids에 하르 체계를 구성하여 링킹 군oids의 전체 C*-대수 형성 가능성을 확보하는 것.
• 감소 대수에 대한 증명이 분해 정리(Disintegration Theorem)를 필요로 하지 않음을 명확히 하여 전체 대수의 경우보다 더 간단한 증명을 가능하게 하는 것.
• 특히 분리 가능성 가정에 관해 분해 정리가 적용되는 조건에 대한 문헌 내 모호함을 해결하는 것.

제안 방법

• 군oids 동치 $ Z $에 관련된 링킹 군oids $ L $을 사용하여 $ G $, $ H $, $ Z $를 하나의 군oids 구조로 통합한다.
• 군oids $ G $와 $ H $의 하르 체계로부터 $ L $에 하르 체계를 구성함으로써 $ C^*(L) $이 잘 정의되고, 임의의 임프리미티브 이중모듈러스 $ extsf{X} $의 링킹 대수 $ L( extsf{X}) $와 동형임을 보장한다.
• 감소 C*-대수 $ C^*_{r}(L) $가 이중모듈러스 $ extsf{X} $의 감소 이중모듈러스 $ extsf{X}_r $의 링킹 대수와 동형임을 보여준다. 여기서 $ extsf{X}_r $은 $ extsf{X} $의 몫이다.
• 리에플의 유도 표현 이론과 모리타 동치 이론을 적용하여, $ C^*(H) \to C^*_{r}(H) $의 전성사상의 핵이 리에플 대응을 통해 $ C^*(G) \to C^*_{r}(G) $의 핵으로 매핑됨을 보인다.
• 분해 정리를 사용하지 않고도 감소 대수에 대한 모리타 동치를 링킹 군oids의 구조와 그 하르 체계에 기반하여 확립할 수 있음을 보여준다.
• 분리 가능성 가정이 전표현의 유계성에 필요하지 않음을 명확히 하여, 이전의 분해 정리 서술에서 불필요한 가정을 제거한다.

실험 결과

연구 질문

• RQ1 전체 군oids C*-대수 간의 모리타 동치는 그 감소 대응체로까지 연장되는가?
• RQ2 원래 군oids가 하르 체계를 지닐 경우 링킹 군oids 구조에 하르 체계를 부여할 수 있는가?
• RQ3 표현 간 리에플 대응이 감소 대수로의 자연스러운 전성사상과 호환되는가?
• RQ4 감소 군oids C*-대수에 대한 동치 정리는 분해 정리를 기반으로 하지 않고도 증명될 수 있는가?
• RQ5 특히 힐베르트 공간의 분리 가능성에 관해, 분해 정리가 적용되는 최소 조건은 무엇인가?

주요 결과

• 감소 군oids C*-대수 $ C^*_{r}(G) $와 $ C^*_{r}(H) $는 이중모듈러스 $ extsf{X} $의 몫 $ extsf{X}_r $을 통해 모리타 동치이며, 이는 $ C_c(Z) $의 완비화이다.
• 리에플 대응은 $ C^*(G) \to C^*_{r}(G) $의 핵 $ I_{C^*_{r}(G)} $를 $ C^*(H) \to C^*_{r}(H) $의 핵 $ I_{C^*_{r}(H)} $로 매핑함으로써 감소 대수의 구조와의 호환성을 보장한다.
• 만약 $ C^*(H) $의 표현 $ \rho $가 $ C^*_{r}(H) $를 통해 인식된다면, 그로 유도된 표현 $ \textsf{X}\text{-}\text{Ind}\rho $ 역시 $ C^*_{r}(G) $를 통해 인식되며, 이는 유도 과정에서의 일致성을 확인한다.
• 감소 동치 정리의 증명은 분해 정리를 필요로 하지 않아 전체 대수의 경우보다 더 간단한 증명이 가능하다.
• 분해 정리에서의 분리 가능성 가정은 전표현의 유계성에 필요하지 않다. 충분히 고려할 수 있는 순환 부분공간은 전체 공간이 비분리일지라도 분리 가능하므로, 이를 고려하는 것으로 충분하다.