[논문 리뷰] Equivalence and Disintegration Theorems for Fell Bundles and their C*-algebras

Paul S. Muhly, Dana P. Williams|ArXiv.org|2008. 06. 05.

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

한 줄 요약

이 논문은 국소적으로 컴act한 군oids 위의 펠 뱅들에 대한 분해 정리와 그에 관련된 C*-대수의 동치 정리를 수립하며, 레누아르와 레이버너의 결과를 펠 뱅들 설정으로 일반화한다. 일반화된 라돈 측도와 상위 연속 범주론적 바나흐 뱅들 이론을 개발함으로써, 저자들은 펠 뱅들의 C*-대수의 표현들이 특정 공변 표현들과 대응됨을 보이며, 이러한 대수들의 모리타 동치 분류를 이끌어낸다.

ABSTRACT

We study the C*-algebras of Fell bundles. In particular, we prove the analogue of Renault's disintegration theorem for groupoids. As in the groupoid case, this result is the key step in proving a deep equivalence theorem for the C*-algebras of Fell bundles.

연구 동기 및 목표

• 군oids 위의 C*-대수에서 레누아르의 분해 정리를 국소적으로 컴팩트한 군oids 위의 펠 뱅들 설정으로 일반화하기.
• 상위 연속 바나흐 뱅들의 절단 대수 위의 선형 함수에 대한 일반화된 라돈 측도 이론 개발하기.
• C*-대수의 모리타 동치를 일반화하는 펠 뱅들의 적절한 동치 개념 정의하기.
• 두 펠 뱅들이 동치일 때 그에 대응하는 C*-대수가 모리타 동치임을 보여주는 깊이 있는 동치 정리 증명하기.
• 펠 뱅들 설정에서 람세이 선택 정리의 부재와 같은 기술적 장애물 극복하기.

제안 방법

• 저자들은 더 큰 탄력성을 갖는 C*-대수적 구성에 적합한 기본 구조로 상위 연속 바나흐 뱅들을 도입한다.
• 디누쿨라누의 결과를 상위 연속 설정으로 확장하여 절단 대수 위의 선형 함수에 대한 일반화된 라돈 측도 이론을 개발한다.
• 리에플 기반 및 모리타 동치 프레임워크를 사용하여 공변 시스템을 통해 펠 뱅들의 표현과 엄격 표현을 정의한다.
• 분해 정리를 증명하기 위해 가측 절단 공간에 있는 사영 연산자 P를 구성함으로써, 이가 거의 어디서나 항등원임을 보이며, 올바른 공변 표현을 식별한다.
• 동치 정리를 확립하기 위해 두 펠 뱅들이 동치임은 그들이 관련된 C*-대수가 모리타 동치임과 동치임을 보이며, 분해 결과를 핵심 단계로 활용한다.
• 조화 분석의 기법, 특히 하어 시스템과 모듈라 함수의 사용에 의존하며, 모든 C₀(X)-대수가 상위 연속 C*-뱅들 절단 대수로 나타남을 이용한다.

실험 결과

연구 질문

• RQ1 레누아르의 군oids 위의 C*-대수에 대한 분해 정리는 펠 뱅들 설정으로 일반화될 수 있는가?
• RQ2 그들의 C*-대수가 모리타 동치가 되게 하는 펠 뱅들의 적절한 동치 개념은 무엇인가?
• RQ3 상위 연속 바나흐 뱅들의 절단 대수 위의 선형 함수에 대한 일반화된 라돈 측도는 어떻게 구성할 수 있는가?
• RQ4 람세이의 선택 정리와 같은 표준 도구들이 펠 뱅들 설정으로 얼마나 일반화될 수 있는가?
• RQ5 펠 뱅들의 표현 이론은 기저 군oids의 유니터리 표현과 어떻게 관련이 있는가?

주요 결과

• 분해 정리 수립: 펠 뱅들의 C*-대수의 비퇴화된 표현은 군오이드와 뱅들에 대한 유일한 공변 표현에서 유래한다.
• 논문은 C*-대수의 표현과 공변 표현 사이의 대응관계가 반드시 거의 어디서나 항등원이 되는 사영 연산자 P를 통해 이루어지며, 이는 표현이 분해 가능함을 시사한다.
• 동치 정리 증명: 두 펠 뱅들이 동치일 때 그에 대응하는 C*-대수가 모리타 동치임을 보이며, 레이버너의 대칭 불가능성 정리의 일반화이다.
• 저자들은 모든 C₀(X)-대수가 상위 연속 C*-뱅들의 절단 대수로 나타남을 보이며, 이는 상위 연속 뱅들 이론에서의 사용을 정당화한다.
• 엄격 표현으로부터 유니터리 표현을 구성하기 위해 힐베르트 뱅들의 구조를 수정함으로써, 사영 σ(u)가 거의 어디서나 항등원이 되도록 하여 통합 형태를 식별할 수 있다.
• 람세이 선택 정리의 부재를 메우기 위해 가측 선택 기법과 하어 시스템의 구조를 활용하여 핵심 맵의 가측성을 확보한다.