[논문 리뷰] Morita Type Equivalences and Reflexive Algebras

George Eleftherakis|ArXiv.org|2007. 09. 05.

Advanced Topics in Algebra참고 문헌 9인용 수 8

한 줄 요약

이 논문은 비자기수반 대수로의 고전적 모리타 이론을 확장하기 위해 단위 이중 연산자 대수에 대한 새로운 모리타 동치 개념인 $Δ$-동치를 도입한다. $Δ$-동치는 완전 등거리, 관계 유지 프로젝션 격자, 그리고 반사성과 같은 구조적 성질을 유지하며, 두 개의 CSL 대수는 특정 텐서 곱 조건을 만족할 때만 TRO 동치이면 $Δ$-동치임을 규명한다.

ABSTRACT

Two unital operator algebras A, B are called Delta-equivalent if there exists an equivalence functor between the categories A-mod and B-mod which "extends" to a *-functor implementing an equivalence between the categories A-dmod and B-dmod. Here A-mod denotes the category of normal representations of A and A-dmod denotes the category with the same objects as A-mod and D(A)-module maps (D(A) is the diagonal of A). We prove that any such functor maps completely isometric representations to completely isometric representations, "respects" the lattices of the algebras and maps reflexive algebras to reflexive algebras. We present applications to the class of CSL algebras.

연구 동기 및 목표

• 비자기수반 단위 이중 연산자 대수로의 모리타 이론을 확장하기 위해 새로운 동치 관계인 $Δ$-동치를 도입하는 것.
• $Δ$-동치가 완전 등거리와 반사 대수와 같은 핵심 구조적 성질을 유지함을 증명하는 것.
• CSL 대수에 대한 $Δ$-동치를 TRO 동치와 공간적 텐서 곱 조건으로 특성화하는 것.
• 격자 이sovomorphism과 $Δ$-동치 사이의 관계를 명확히 하여, 동형 격자가 항상 $Δ$-동치를 의미하지는 않음을 보이는 것.
• 유사한 나선형 대수의 유사성조차도 $Δ$-동치를 의미하지 않음을 보여주기 위해 반례를 구성하는 것.

제안 방법

• $Δ$-동치를 정의함: 정규 표현의 범주 사이의 동치 함자로서, 표현의 상호작용자와 그 대각선 $Δ(\mathcal{A}) = \mathcal{A} \cap \mathcal{A}^*$로의 제한을 유지하는 것.
• TRO(삼중 연산자 링) 이론을 사용하여 $Δ$-동치를 특성화함: 두 CSL 대수 $\mathcal{A}, \mathcal{B}$는 $\mathcal{A} = [\mathcal{M}^*\mathcal{B}\mathcal{M}]^{-w^*}$ 및 $\mathcal{B} = [\mathcal{M}\mathcal{A}\mathcal{M}^*]^{-w^*}$ 를 만족하는 어떤 TRO $\mathcal{M}$이 존재할 때만 $\Delta$-동치임.
• 모든 $Δ$-동치 함자가 표현의 텐서 곱에서 노름을 유지하는 등거리 동형사를 통해 완전 등거리 표현을 완전 등거리 표현으로 매핑함을 증명함.
• 이러한 함자가 표현의 관계 유지 프로젝션 격자를 유지함을 증명함: $\mathrm{Lat}(\pi)$ 를 $\mathrm{Lat}(\mathcal{F}(\pi))$ 로 매핑함.
• 유사하지만 $\Delta$-동치가 아닌 나선형을 사용한 반례를 구성하여, 격자 이sovomorphism과 대각선 이sovomorphism이 항상 $\Delta$-동치를 의미하지 않음을 보임.
• 대각선 간 $*$-동형사와 유니터리 구현을 사용하여, 반례에서 $\Delta$-동치를 가정할 경우 모순을 이끌어내는 것.

실험 결과

연구 질문

• RQ1 두 단위 이중 연산자 대수의 정규 표현 범주 사이의 함자가 언제 $\Delta$-동치가 되는가?
• RQ2 $Δ$-동치는 연산자 대수의 반사성을 유지하는가?
• RQ3 CSL 대수 간의 $Δ$-동치는 TRO 동치로 특성화될 수 있는가?
• RQ4 관관계 유지 프로젝션 격자의 이sovomorphism은 CSL 대수 간의 $Δ$-동치를 충분히 보장하는가?
• RQ5 나선형의 유사성은 그에 대응하는 나선형 대수 간의 $Δ$-동치를 의미하는가?

주요 결과

• 모든 $Δ$-동치 함자는 완전 등거리 표현을 완전 등거리 표현으로 매핑한다.
• 모든 $Δ$-동치 함자는 표현의 관계 유지 프로젝션 격자를 유지하며, $\mathrm{Lat}(\pi)$ 를 $\mathrm{Lat}(\mathcal{F}(\pi))$ 로 매핑한다.
• $Δ$-동치에 의해 유도된 함자는 반사 대수를 반사 대수로 매핑한다.
• 두 CSL 대수 $\mathcal{A}$ 와 $\mathcal{B}$ 는 $\mathcal{A} = [\mathcal{M}^*\mathcal{B}\mathcal{M}]^{-w^*}$ 및 $\mathcal{B} = [\mathcal{M}\mathcal{A}\mathcal{M}^*]^{-w^*}$ 를 만족하는 TRO $\mathcal{M}$ 이 존재할 때만 $\Delta$-동치이다.
• 유사한 나선형과 동형 대각선을 가진 대수들이 존재하지만, 그에 대응하는 대수들은 $\Delta$-동치가 아니며, 이는 격자 이sovomorphism이 항상 $\Delta$-동치를 의미하지 않음을 보여준다.
• 반례는 한 대수가 완전히 원자적이고 다른 대수가 비트리비얼한 연속 부분을 가질 경우, 대각선이 동형이어도 $\Delta$-동치가 성립하지 않음을 보여준다.