[논문 리뷰] Morita equivalence in the context of Hilbert modules

Jan Paseka|ArXiv.org|2002. 04. 10.

Advanced Operator Algebra Research참고 문헌 6인용 수 13

한 줄 요약

이 논문은 힐버트 모듈을 사용하여 m-정규 불투명 양극성 양극성 쿠안탈레에 대해 모리타 동치를 수립한다. 이는 단위 원소를 갖는 대수로의 고전적 모리타 이론을 일반화한 것이다. 두 개의 가환 m-정규 불투명 양극성 쿠안탈레가 모리타 동치일 조건은 서로 동형일 때뿐이며, 자연 변환의 범주론적 특성은 쿠안탈레의 중심을 통해 기술된다. 이는 C*-대수와 쿠안탈레 이론의 결과를 확장한다.

ABSTRACT

The Morita equivalence of m-regular involutive quantales in the context of the theory of Hilbert $A$-modules is presented. The corresponding fundamental representation theorems are shown. We also prove that two commutative m-regular involutive quantales are Morita equivalent if and only if they are isomorphic

연구 동기 및 목표

• 단위 원소를 갖는 쿠안탈레에서의 모리타 동치 이론을 단위 원소가 없는 m-정규 (비단위) 불투명 양극성 쿠안탈레로 확장하기 위해 힐버트 모듈을 사용한다.
• m-정규 불투명 양극성 쿠안탈레 위의 힐버트 모듈에 대한 모리타 동치의 범주론적 프레임워크를 수립한다.
• 두 개의 가환 m-정규 불투명 양극성 쿠안탈레가 모리타 동치일 조건은 서로 동형일 때뿐임을 증명한다.
• Eilenberg-Watts 정리를 힐버트 모듈로 일반화하여, 극한을 보존하는 *-함수와 오른쪽 힐버트 이중모듈 간의 연결을 맺는다.
• 모듈러 카테고리 위의 유한한 자연 변환의 집합이 쿠안탈레의 중심과 동형임을 특성화한다.

제안 방법

• 모리타 동치를 정의하기 위한 기본 구조로 m-정규 오른쪽 힐버트 A-모듈의 범주를 사용한다.
• 극한을 보존하는 *-함수와 오른쪽 힐버트 이중모듈 간의 대응을 보이기 위해 Eilenberg-Watts 정리를 적용한다.
• 힐버트 이중모듈 M과 N을 포함하는 모리타 맥락을 통한 모리타 동치 정의를 통해 M⊗_B N ≅ A 및 N⊗_A M ≅ B를 만족하는 조건을 설정한다.
• 쿠안탈레 A의 중심과 m-정규 힐버트 A-모듈의 범주 위의 유한한 자연 변환의 쿠안탈레 사이의 자연 동형을 수립한다.
• 범주론적 대칭성과 모듈러 카테고리 간의 유니타리 동치를 사용하여, A와 B가 모리타 동치일 경우 ANat(A)와 ANat(B)가 불투명 양극성 쿠안탈레로서 동형임을 증명한다.
• 결과 [10]과 [13]을 적용하여 모듈러 사상의 확장을 도입하고, 유한한 연산자 대수 위로의 사상의 유일한 확장을 구성한다.

실험 결과

연구 질문

• RQ1 힐버트 모듈의 맥락에서 m-정규 불투명 양극성 쿠안탈레로 모리타 동치를 비단위 원소에서 확장할 수 있는가?
• RQ2 m-정규 힐버트 모듈에 대한 불투명 양극성 쿠안탈레에서의 모리타 동치의 범주론적 특성은 무엇인가?
• RQ3 두 개의 가환 m-정규 불투명 양극성 쿠안탈레가 모리타 동치일 조건은 무엇인가?
• RQ4 쿠안탈레의 중심은 그 힐버트 모듈 카테고리 위의 유한한 자연 변환의 쿠안탈레와 어떻게 관련이 있는가?
• RQ5 Eilenberg-Watts 정리는 이 맥락에서 함수와 이중모듈 간의 대응을 어떻게 확립하는가?

주요 결과

• 두 개의 m-정규 불투명 양극성 쿠안탈레가 강한 모리타 동치일 조건은 서로 모리타 동치일 때뿐이며, 이는 두 개념 간의 강한 동치를 수립한다.
• 두 개의 가환 m-정규 불투명 양극성 쿠안탈레가 모리타 동치일 조건은 서로 동형일 때뿐이며, 이는 가환 경우에 모리타 동치가 동형으로 축소됨을 보여준다.
• m-정규 힐버트 A-모듈의 범주 위의 유한한 자연 변환의 쿠안탈레는 A의 중심과 동형이며, 중심의 범주론적 특성화를 제공한다.
• 쿠안탈레 A 위의 m-정규 힐버트 모듈의 범주는 A의 유한한 연산자 대수 위의 모듈의 범주로 완전충실한 임베딩을 갖는다.
• 자연 변환 쿠안탈레 ANat(A)는 A의 중심과 동형이며, 이 동형은 모리타 동치에 대해 유지된다.
• m-정규 힐버트 모듈의 카테고리 간의 유니타리 동치는 해당 자연 변환 쿠안탈레 ANat(A)와 ANat(B) 사이의 쿠안탈레 동형을 유도한다.