[논문 리뷰] Takai Duality for Crossed Products by Hilbert C*-bimodules

Beatriz Abadie|ArXiv.org|2007. 09. 07.

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

한 줄 요약

이 논문은 힐버트 C*-이중모듈러를 통한 교차곱에 대해 타카이 쌍대성의 비가환적 일반화를 수립한다. 이중 모듈러가 모리타 등가일 경우, 원래의 C*-대수와 모리타 등가인 원환면과 그 쌍대 작용을 갖는 이중 교차곱이 성립함을 보여준다. 핵심 구성은 이중 교차곱을 계량된 힐버트 모듈러 위의 컴act 연산자 대수로 식별함으로써, 고전적 쌍대성을 힐버트 이중모듈러 설정으로 일반화한다.

ABSTRACT

We discuss the crossed product by the dual action of the circle on the crossed product of a C*-algebra A by a Hilbert C*-bimodule X. When X is an A-A Morita equivalence bimodule, the double crossed product is shown to be Morita equivalent to the C*-algebra A.

연구 동기 및 목표

• 군 작용에 대한 고전적 쌍대성을 힐버트 C*-이중모듈러를 통한 교차곱으로 일반화하여 확장한다.
• 이중모듈러 $ X $ 가 $ A\!\text{-}A $ 모리타 등가 이중모듈러일 경우, 이중 교차곱 $ (A\rtimes X)\rtimes_\delta S^1 $ 의 구조를 조사한다.
• 이중 교차곱과 계량된 힐버트 모듈러 $ E_X $ 위의 컴팩트 연산자 대수 사이의 동형을 수립함으로써, $ A $ 와의 모리타 등가를 증명한다.

제안 방법

• 힐버트 이중모듈러 $ (A,X) $ 의 표현으로 생성되는 유일한 C*-대수로서 $ A\rtimes X $ 를 유일성 성질을 이용해 구성한다.
• $ S^1 $ 에 대한 쌍대 작용 $ \delta $ 를 정의하며, 이는 스펙트럴 부분공간 $ i_X(X) $ 에서 $ \lambda \in S^1 $ 에 의한 곱셈으로 작용하고, $ i_A(A) $ 는 고정된다.
• 이중 교차곱 $ (A\rtimes X)\rtimes_\delta S^1 $ 을 계량된 힐버트 모듈러 $ E_X = \bigoplus_{n\in\mathbb{Z}} X^{\otimes n} $ 위의 유한형 연산자 대수로 표현한다.
• 이 표현이 $ \mathcal{K}(E_X) $, 즉 $ E_X $ 위의 컴팩트 연산자 대수로 전사함을 보이며, 이는 $ X $ 가 전부인 모리타 등가 이중모듈러일 경우 성립한다.
• 교차곱의 함자성과 유도된 표현의 존재성을 이용하여 쌍대 작용을 $ \mathcal{K}(E_X) $ 위의 $ \mathbb{Z} $ 작용과 연결한다. 이는 이동 자동형사상으로서의 작용이다.
• 이중 쌍대 작용을 $ \mathcal{K}(E_X) $ 에서의 자동형사상 $ \sigma $ 로 식별하며, $ \sigma(L^n_a) = L^{n-1}_a $, $ \sigma(T^n_x) = T^{n-1}_x $ 로 정의된다. 이는 고전적 타카이 쌍대성 프레임워크와 일치한다.

실험 결과

연구 질문

• RQ1 힐버트 C*-이중모듈러를 통한 교차곱에 대해 타카이 쌍대성이 성립하는가, 특히 이중모듈러가 모리타 등가일 경우에 대해?
• RQ2 이중 교차곱 $ (A\rtimes X)\rtimes_\delta S^1 $ 은 계량된 힐버트 모듈러 위의 컴팩트 연산자 대수로 표현될 수 있는가?
• RQ3 이중 교차곱 위의 이중 쌍대 작용의 구조는 무엇이며, 원래 대수 $ A $ 와 어떻게 관련되어 있는가?
• RQ4 힐버트 이중모듈러 구조로부터 $ A $ 와 $ (A\rtimes X)\rtimes_\delta S^1 $ 사이의 모리타 등가는 어떻게 유도되는가?
• RQ5 이중 교차곱 $ (A\rtimes X)\rtimes_\delta S^1 $ 과 $ \mathcal{K}(E_X) $ 사이에 자연스러운 동형이 존재하는가, 그리고 이에 따라 $ \mathcal{K}(E_X) $ 에 어떤 작용이 유도되는가?

주요 결과

• 이중 교차곱 $ (A\rtimes X)\rtimes_\delta S^1 $ 은 $ X $ 가 $ A\!\text{-}A $ 모리타 등가 이중모듈러일 경우, 계량된 힐버트 모듈러 $ E_X = \bigoplus_{n\in\mathbb{Z}} X^{\otimes n} $ 위의 컴팩트 연산자 대수 $ \mathcal{K}(E_X) $ 와 동형임을 보였다.
• 이 동형은 이중 쌍대 작용 $ \hat{\delta} $ 를 $ \mathcal{K}(E_X) $ 위의 자동형사상 $ \sigma $ 로 표현하며, $ \sigma(L^n_a) = L^{n-1}_a $, $ \sigma(T^n_x) = T^{n-1}_x $ 로 정의된다. 이는 고전적 타카이 쌍대성 프레임워크와 일치한다.
• 힐버트 모듈러 $ E_X $ 는 $ \mathcal{K}(E_X) $ 와 $ A $ 사이의 모리타 등가 이중모듈러이므로, $ (A\rtimes X)\rtimes_\delta S^1 $ 은 $ A $ 와 모리타 등가이다.
• $ (A\rtimes X)\rtimes_\delta S^1 $ 에 대한 표현 $ \pi $ 는 $ E_X $ 에서 $ \mathcal{K}(E_X) $ 로 전사이며, 모든 계수 1 연산자 $ \theta_{\eta,\xi} $ 를 포함하므로 작용의 전부임을 확인한다.
• 이중모듈러 $ X $ 가 전부일 경우, 연산자 $ T^n_x $ 와 $ L^n_a $ 는 컴팩트이므로 $ \pi $ 의 상은 $ \mathcal{K}(E_X) $ 에 포함되며, $ X^{\otimes n} $ 의 전부성에 의해 전사성이 유도된다.
• 특수한 경우로 $ X = A_\alpha $ 가 자동형사상 $ \alpha $ 에 대해 성립할 경우, 동형은 $ \mathcal{K}(E_X) $ 를 $ \mathcal{K} \otimes A $ 와 식별하며, 자동형사상 $ \sigma $ 는 $ \mathrm{Ad}(\rho \otimes \alpha) $ 가 된다. 이는 고전적 타카이 쌍대성을 복원한다.