[논문 리뷰] Stable isomorphism and strong Morita equivalence of operator algebras

George Eleftherakis|arXiv (Cornell University)|2014. 04. 14.

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

한 줄 요약

이 논문은 삼항 연산자 집합(TROs)을 사용하는 연산자 대수에 대한 모리타 유형의 등가관계인 강한 Δ-등가성을 도입한다. 또한, 가чёт한 근사 항등원을 가진 두 연산자 대수는 강한 Δ-등가일 때이고, 뿐만 아니라 강한 안정적 동형일 때일 때만 강한 안정적 동형임을 증명한다. 주요 기여는 강한 Δ-등가성과 안정적 동형 사이의 정확한 연결 고리를 컴act 연산자와의 공간적 텐서곱을 통해 확립한 것으로, C*-대수 이론의 결과를 비자기수반 연산자 대수로 일반화한다.

ABSTRACT

We introduce a Morita type equivalence: two operator algebras $A$ and $B$ are called strongly $Δ$-equivalent if they have completely isometric representations $α$ and $β$ respectively and there exists a ternary ring of operators $M$ such that $α(A)$ (resp. $β(B)$) is equal to the norm closure of the linear span of the set $M^*β(B)M, $ (resp. $Mα(A)M^*$). We study the properties of this equivalence. We prove that if two operator algebras $A$ and $B,$ possessing countable approximate identities, are strongly $Δ$-equivalent, then the operator algebras $A\otimes \cl K$ and $B\otimes \cl K$ are isomorphic. Here $\cl K$ is the set of compact operators on an infinite dimensional separable Hilbert space and $\otimes $ is the spatial tensor product. Conversely, if $A\otimes \cl K$ and $B\otimes \cl K$ are isomorphic and $A, B$ possess contractive approximate identities then $A$ and $B$ are strongly $Δ$-equivalent.

연구 동기 및 목표

• 비자기수반 연산자 대수에 대해 TROs를 사용하여 새로운 모리타 유형의 등가관계인 강한 Δ-등가성을 정의한다.
• 강한 Δ-등가성과 강한 안정적 동형 사이의 정확한 연결 고리를 연산자 대수의 맥락에서 확립한다.
• TRO 기반의 등가관계를 사용하여 브라운-그린-리에펠의 C*-대수 결과를 비자기수반 연산자 대수로 일반화한다.
• 강한 Δ-등가성과 BMP-강한 모리타 등가성과 같은 기존 개념 간의 관계를 명확히 한다.
• 강한 Δ-등가성이 BMP-강한 모리타 등가성보다 엄밀히 더 강하다는 것을 보이며, 반례를 제시한다.

제안 방법

• 완전 등장사상과 TROs를 통해 강한 Δ-등가성을 정의하여 각 대수가 TRO에 의해 생성된 이항 스펜의 노름 닫힘으로서 나타나도록 한다.
• 컴 pact 연산자 대수 𝒦와의 공간적 텐서곱을 사용하여 강한 안정적 동형을 정의한다.
• 삼항 연산자 집합(TROs) 이론을 적용하여 필요한 동형을 생성하는 등가 이중모듈러스를 구성한다.
• TROs 내의 유한 랭크 연산자 넷을 활용하여 근사 항등원을 근사하고, 노름 닫힘 성질을 증명한다.
• 잔차 대수와 그 이중 이중의 구조를 이용하여 명시적 예제를 구성하고 등가 조건을 검증한다.
• 약한* 및 노름 닫힘 기법을 포함한 연산자 공간 이론과 이중 연산자 대수 이론의 결과를 적용한다.

실험 결과

연구 질문

• RQ1 가чёт한 근사 항등원을 가진 연산자 대수에서 강한 Δ-등가성이 강한 안정적 동형과 동치가 되는 조건은 무엇인가?
• RQ2 강한 Δ-등가성은 기존의 모리타 등가 개념, 특히 BMP-강한 모리타 등가와 어떻게 관련이 있는가?
• RQ3 강한 Δ-등가성을 사용하여 컴 pact 연산자와의 텐서곱을 통해 연산자 대수의 안정적 동형에 대한 분류가 가능할 수 있는가?
• RQ4 강한 Δ-등가성이 BMP-강한 모리타 등가성보다 엄밀히 더 강한가? 만약 그렇다면 반례를 구성할 수 있는가?
• RQ5 TROs는 비자기수반 연산자 대수 간의 안정적 동형을 생성하는 데 어떤 역할을 하는가?

주요 결과

• 가чёт한 근사 항등원을 가진 두 연산자 대수는 강한 Δ-등가일 때이고, 뿐만 아니라 강한 안정적 동형일 때일 때만 강한 안정적 동형이다.
• 강한 Δ-등가성은 강한 안정적 동형을 함의하며, 이는 A⊗𝒦와 B⊗𝒦가 연산자 공간으로서 동형임을 의미한다.
• 반대로, A⊗𝒦와 B⊗𝒦가 동형이고 A와 B가 수축적 근사 항등원을 가진다면, A와 B는 강한 Δ-등가성이다.
• 강한 Δ-등가성은 블레처, 무할리, 폴센의 반례를 통해 BMP-강한 모리타 등가성보다 엄밀히 더 강하다.
• 잔차 대수의 경우, 그 컴 pact 부분대수의 강한 안정적 동형은 이중 교환자 간의 *-동형이 한 난형을 다른 난형으로 매핑하는 것과 동치이다.
• TRO 이론은 비자기수반 연산자 대수에서 안정적 동형을 구성하고 등가 결과를 증명하는 데 강력한 프레임워크를 제공한다.