[논문 리뷰] Characterizations of essential ideals as operator modules over C*-algebras

Masayoshi Kaneda, Vern I. Paulsen|ArXiv.org|2001. 02. 16.

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

한 줄 요약

이 논문은 C*-대수 A의 본질적 왼쪽 아이디얼을 그들이 차지하는 연산자 A-모듈로서의 구조에 따라 특성화한다. 이는 C*-대수적 의미에서의 본질성과 완전유계 또는 완전수축 모듈러 사상의 범주에서 A가 아이디얼의 타이트하거나 비타이트한 본질적 확장임을 보여준다. 주요 기여는 양방향 아이디얼에 대해 모든 본질성의 개념이 일치하며, A와 J의 임베딩이 완전 등거리 동형임은 J가 본질적일 때이고 그 때에만 성립함을 보여준다.

ABSTRACT

In this paper we give characterizations of essential left ideals of a C*-algebra $A$ in terms of their properties as operator $A$-modules. Conversely, we seek C*-algebraic characterizations of those ideals $J$ in $A$ such that $A$ is an essential extension of $J$ in various categories of operator modules. In the case of two-sided ideals, we prove that all the above concepts coincide. We obtain results, analogous to {M. Hamana's} results, which characterize the injective envelope of a C*-algebra as a maximal essential extension of the C*-algebra, but with completely positive maps replaced by completely bounded module maps. By restricting to one-sided ideals, module actions reveal clear differences which do not show up in the two-sided case. Throughout this paper, module actions are crucial.

연구 동기 및 목표

• C*-대수 A의 본질적 왼쪽 아이디얼을 그들이 연산자 A-모듈로서 가지는 구조를 통해 특성화하기.
• 완전유계 또는 완전수축 A-모듈러 사상의 범주에서 A가 왼쪽 아이디얼 J의 본질적 확장이 되는 조건을 조사하기.
• J가 본질적일 경우 A와 J의 임베딩이 완전 등거리 동형임을 판단하기.
• 특히 한쪽 방향 아이디얼에 대해 C*-대수적 의미에서의 본질성과 모듈러 범주에서의 본질적 확장 간의 차이를 명확히 하기.
• 완전 양성 사상 대신 완전유계 모듈러 사상으로 M. Hamana의 결과를 확장하기.

제안 방법

• 연산자 모듈러 이론을 사용하여 왼쪽 아이디얼 J ⊆ A를 연산자 왼쪽 A-모듈의 범주 내의 대상으로 분석하기.
• 완전유계 또는 완전수축 모듈러 사상이 J 위의 항등사상으로 확장될 때의 유일성에 의해 본질적 확장을 정의하기.
• Hamana와 Frank-Paulsen의 결과를 연산자 모듈러의 맥락에서 임베딩과 타이트한 임베딩의 성질에 적용하기.
• 행렬 확장(M_n(X))을 사용하여 연산자 공간의 구조와 모듈러 작용을 정의하기.
• A가 J에 작용하는 비퇴화성과 A·J의 영이 아님을 통해 본질성을 특성화하기.
• 예를 들어 M_2(C)에서 반례를 구성하여, A가 J에 대해 A-C*-본질적 확장이지만 J가 왼쪽 아이디얼으로서 본질적이지 않음을 보여주기.

실험 결과

연구 질문

• RQ1 왼쪽 아이디얼 J ⊆ A가 C*-대수적 의미에서 본질적일 조건은 무엇이며, 이는 완전유계 A-모듈러 사상의 범주에서 A가 J의 본질적 확장임과 어떻게 관련되는가?
• RQ2 양방향 아이디얼에 대해 다양한 연산자 모듈러 범주에서 본질성의 개념이 일치하는가? 만약 그렇다면 그 이유는 무엇인가?
• RQ3 완전유계 사상이 있는 연산자 왼쪽 A-모듈러 범주에서 A의 임베딩 I(A)가 A의 최대 본질적 확장으로 특성화될 수 있는가?
• RQ4 왜 한쪽 방향의 경우 역이 성립하지 않는가? 즉, J가 본질적 왼쪽 아이디얼이라면 I(A)와 I(J)가 J 위에서 항등사상으로 제한되는 완전 등거리 동형을 가진다는 보장이 있는가?
• RQ5 완전유계 A-모듈러 사상의 범주에서 A가 J의 본질적 확장이 되는 조건을 만족하는 C*-대수적 특성은 무엇인가?

주요 결과

• 양방향 아이디얼에 대해 C*-대수적 의미에서의 본질성은 A가 완전유계 A-모듈러 사상의 범주에서 J의 타이트하거나 비타이트한 본질적 확장임과 동치이다.
• A와 J의 임베딩 I(A)와 I(J)가 J 위에서 항등사상으로 제한되는 완전 등거리 동형임은 J가 A의 본질적 양방향 아이디얼이어야 하고, 그 때에만 성립한다.
• 한쪽 방향 아이디얼에 대해서는 C*-대수적 의미에서의 본질성이 완전유계 A-모듈러 사상의 범주에서 A가 J의 본질적 확장임을 보장하지 못한다.
• A가 A-C*-본질적 확장이 아닌 왼쪽 아이디얼 J ⊆ A가 존재하며, 이러한 아이디얼은 (수축 가능한) 오른쪽 항등원을 가질 수 없다.
• 만약 A가 B의 본질적 양방향 아이디얼이라면, A는 [13]의 의미에서 B를 규범으로 규정한다. 즉, M_n(B)의 임의의 행렬의 노름은 A-값 행렬과 열행렬을 통한 작용에 의해 결정된다.
• 일반적인 연산자 공간에 대해 비타이트하지 않은 임베딩의 존재성은 아직 알려져 있지 않으며, 모듈러 작용이 없는 확장의 강성도 아직 입증되지 않았다.