[논문 리뷰] Morita Transforms of Tensor Algebras

Paul S. Muhly, Baruch Solel|arXiv (Cornell University)|2010. 07. 20.

Advanced Operator Algebra Research참고 문헌 16인용 수 3

한 줄 요약

이 논문은 C*-대응 쌍 (E,M)과 (F,N) 사이의 모리타 동치가 그들의 텐서 대수 T₊(E)와 T₊(F) 위의 힐버트 모듈러의 범주 사이에 등거리 함자를 유도함을 확립한다. 이 함자는 절대 연속성을 유지하며, 쿤츠 가족의 등장으로 안정화된 구조를 통해 폴레스쿠의 재구성 연산자를 새로운 해석으로 제공한다.

ABSTRACT

We show that if $M$ and $N$ are $C^{*}$-algebras and if $E$ (resp. $F$) is a $C^{*}$-correspondence over $M$ (resp. $N$), then a Morita equivalence between $(E,M)$ and $(F,N)$ implements a isometric functor between the categories of Hilbert modules over the tensor algebras of $\mathcal{T}_{+}(E)$ and $\mathcal{T}_{+}(F)$. We show that this functor maps absolutely continuous Hilbert modules to absolutely continuous Hilbert modules and provides a new interpretation of Popescu's reconstruction operator.

연구 동기 및 목표

• C*-대응 쌍 (E,M)과 (F,N)이 모리타 동치일 때, 텐서 대수 T₊(E)와 T₊(F)의 표현 이론 사이의 명시적 등거리 동형사상이 어떻게 유도되는지 명확히 하기.
• 등차 모듈러 X를 이용한 텐서곱이 힐버트 모듈러의 핵심 구조적 성질, 특히 절대 연속성을 유지하는 함자를 구현함을 보여주기.
• 모리타 동치의 맥락에서 쿤츠 가족의 등장으로 안정화된 구조를 통해 폴레스쿠의 재구성 연산자를 새로운 구체적 해석으로 제공하기.
• 리에플의 유도 표현 이론과 통합자들을 바탕으로, T₊(E)와 T₊(F)의 유도 표현 이론이 등거리 동형사상으로 연결됨을 보여주기.
• 특히 (C^d, C)와 그 컴팩트 연산자에 의한 안정화의 경우에서, C*-대수의 다양한 안정화가 모리타 동치의 맥락에서 어떻게 작용하는지 탐색하기.

제안 방법

• C*-대응 쌍 간의 모리타 동치를 C*-등가 이중모듈러 X를 통해 정의하며, 이는 X⊗ₙF ≅ E⊗ₘX로 주어지는 C*-대응으로서의 동치를 만족한다.
• 리에플의 유도 표현 이론을 적용하여, E⊗σH와 F⊗σH 위에서의 유도 작용을 통해 T₊(E)와 T₊(F) 위의 힐버트 모듈러를 구성한다.
• 완전 수축적 이중모듈러 사상 T:E→B(H)와 수축적 통합자 T̃:E⊗σH→H 사이의 전단사 대응을 확립함으로써 표현의 명시적 실현 가능성을 확보한다.
• 등차 모듈러 X를 텐서곱하여 힐버트 모듈러 범주 간의 등거리 함자를 구성하며, 절대 연속 모듈러의 구조를 유지함을 보여준다.
• ℓ²(ℕ) 위에서 정의된 쿤츠 가족 {Sᵢ}을 이용해 𝒦(ℓ²(ℕ))의 자기형사상 α를 정의함으로써, 안정화된 대응, 예를 들어 C_d(𝒦) ≅ α𝒦를 식별할 수 있다.
• 폴레스쿠의 재구성 연산자를, (T̃^X)* = ∑ᵢ Sᵢ ⊗ Tᵢ*로 주어지는 유도 통합자의 수반으로 재해석함으로써, 모리타 동치 프레임워크와의 명시적 연결을 확립한다.

실험 결과

연구 질문

• RQ1 C*-대응 쌍 (E,M)과 (F,N) 사이의 모리타 동치가 T₊(E)와 T₊(F) 위의 힐버트 모듈러 범주 사이에 등거리 동형사상으로 어떻게 유도되는가?
• RQ2 등차 이중모듈러 X가 이 등거리 함자를 어떻게 실현하며, 절대 연속성 성질을 어떻게 유지하는가?
• RQ3 폴레스쿠의 재구성 연산자는 모리타 동치와 안정화의 맥락에서 자연스럽게 유도되는가?
• RQ4 C*-대수의 다양한 안정화, 예를 들어 𝒦(ℓ²(ℕ))가 모리타 동치와 어떻게 상호작용하며, 텐서 대수의 구조에 어떤 영향을 미치는가?
• RQ5 쿠른츠 가족 {Sᵢ}의 선택이 안정화된 맥락에서 유도되는 재구성 연산자에 어떤 영향을 미치는가?

주요 결과

• C*-등가 이중모듈러 X를 통한 (E,M)과 (F,N) 사이의 모리타 동치는 T₊(E)와 T₊(F) 위의 힐버트 모듈러 범주 사이에 등거리 함자를 유도한다.
• 이 함자는 T₊(E) 위의 절대 연속 힐버트 모듈러를 T₊(F) 위의 절대 연속 힐버트 모듈러로 매핑하며, 그 구조적 및 해석적 성질을 유지한다.
• T₊(F) 위의 유도 표현은 E⊗σH 위의 유도 표현과 통합자 T̃의 조합으로 실현되며, X의 작용이 등거리 동형사상으로 기여한다.
• 폴레스쿠의 재구성 연산자는 쿤츠 가족 {Sᵢ}이 ℓ²(ℕ) 위에 존재하는 등장으로 정의된 (T̃^X)* = ∑ᵢ Sᵢ ⊗ Tᵢ*로 주어지는 유도 통합자의 수반으로 재해석된다.
• C_∞(𝒦)를 등차 이중모듈러로 사용하여 (C^d, C)를 안정화하면, α𝒦와 동형인 대응을 얻을 수 있으며, 여기서 α는 ∑ᵢ Sᵢ a Sᵢ*로 정의된 자기형사상이다. 이는 α𝒦가 C^d의 타당한 안정화임을 보여준다.
• 이 구성은 재구성 연산자가 쿤츠 가족 {Sᵢ}의 선택에 따라 어떻게 영향을 받는지가 본질적일 수 있음을 보여주며, 비가환 함수 해석학에서 더 깊은 구조적 함의를 암시한다.