[논문 리뷰] Ideals and structure of operator algebras

Melahat Almus, David P. Blecher외 1명|arXiv (Cornell University)|2009. 07. 17.

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

한 줄 요약

이 논문은 1-행렬 대수를 기본 블록으로 사용하여 r-아이디얼, ℓ-아이디얼 및 유전적 부분대수(algebras)를 연구함으로써 연산자 대수의 이론을 발전시킨다. 주요 기여는 Haagerup 텐서곱이 그 이중에서 오른쪽 M-아이디얼이지만 왼쪽 M-아이디얼이 아닌 조건을 규명한 것으로, 비반사적 연산자 대수학 및 연산자 공간 이론에서의 쌍대성에 응용된다.

ABSTRACT

We continue the study of r-ideals, l-ideals, and HSA's in operator algebras. Some applications are made to the structure of operator algebras, including Wedderburn type theorems for a class of operator algebras. We also consider the one-sided $M$-ideal structure of certain tensor products of operator algebras.

연구 동기 및 목표

• r-아이디얼, ℓ-아이디얼 및 유전적 부분대수(HSAs)를 통한 연산자 대수학의 구조에 대한 깊이 있는 이해를 도모하기 위해.
• 1-행렬 대수를 기본 블록으로 사용하여 특정 연산자 대수학에 대한 Wedderburn 유형의 분해 정리를 수립하기 위해.
• 연산자 대수학의 Haagerup 텐서곱의 한쪽 방향 M-아이디얼 구조와 그 쌍대성 성질을 조사하기 위해.
• 모듈러 앙니힐레이터 및 밀도 있는 소클( socle) 등의 구조적 성질을 통해 컴팩트 연산자로 이루어진 C*-대수를 특성화하기 위해.

제안 방법

• 수축적 근사 항등원(cai)을 가진 한쪽 방향 아이디얼, 특히 r-아이디얼과 ℓ-아이디얼 이론을 연산자 대수학에 적용한다.
• 비교적 위상학적 의미에서 '열린' 것으로 간주되는 이중 A**의 프로젝션과 r-아이디얼 간의 대응을 적용한다.
• 수축적 근사 항등원(cai)과 이중이 C*-대수인 연산자 대수학으로 정의되는 1-행렬 대수의 개념을 활용하여 구조적 분해를 이끌어낸다.
• Haagerup 텐서곱 A⊗_h B를 사용하여, A⊗_h B가 이중에서 오른쪽 M-아이디얼이지만 왼쪽 M-아이디얼이 아닌 예를 구성한다. 이는 네 번째 이중의 중심이 자명하기에 기반한다.
• 연산자 공간 이론에서의 쌍대성 결과, 특히 M-아이디얼과 L-합성분 간의 관계를 적용하여, 오른쪽 M-아이디얼의 이중이 왼쪽 L-합성분임을 보인다.
• 특히 약간의 단위를 가진 연산자 대수학에 대해, [37]의 M-아이디얼 및 L-합성분의 이중에서의 구조 결과를 활용한다.

실험 결과

연구 질문

• RQ1 Haagerup 텐서곱 A⊗_h B가 이중에서 오른쪽 M-아이디얼이지만 왼쪽 M-아이디얼이 아닌 조건은 무엇인가?
• RQ2 1-행렬 대수를 기본 블록으로 사용하여 비자기수반 연산자 대수학에 대한 Wedderburn 유형의 구조 정리를 어떻게 일반화할 수 있는가?
• RQ3 모듈러 앙니힐레이터 및 밀도 있는 소클 등의 성질로부터 컴팩트 연산자로 이루어진 C*-대수의 특성은 무엇인가?
• RQ4 연산자 대수학 A가 이중에서 오른쪽 M-아이디얼일 조건은 무엇이며, 이는 A⊗_h B의 아이디얼 구조에 어떤 영향을 미치는가?
• RQ5 연산자 공간의 M-아이디얼 및 L-합성분의 구조와 그 이중 간의 관계는 무엇인가?

주요 결과

• A가 반사적이지 않고 약간의 단위를 가진 연산자 대수이며, 이중에서 오른쪽 아이디얼인 경우, B가 유한차원이면서 비자명한 C*-대수이면, A⊗_h B는 이중에서 오른쪽 M-아이디얼이지만 왼쪽 M-아이디얼이 아니다.
• Haagerup 텐서곱 A⊗_h B가 이중에서 왼쪽 M-아이디얼이 아니게 되는 이유는 네 번째 이중의 중심이 자명하기 때문이다. 만약 이것이 왼쪽 M-아이디얼이었다면 A는 반사적이어야만 했을 것이다.
• 이중에서 오른쪽 M-아이디얼이지만 왼쪽 M-아이디얼이 아닌 연산자 공간의 이중은 그 이중에서 왼쪽 L-합성분이지만 오른쪽 L-합성분이 아니다.
• 분리 가능한 연산자 대수학 A는 오직 오직 그가 세미프라임이며, 이중에서 유전적 부분대수이고, 차원이 1을 초과하는 모든 HSA D가 D의 항등원이 아닌 비자명한 프로젝션을 포함할 때에만 σ-행렬 대수이다.
• 약간의 단위를 가진 연산자 대수학 A가 오른쪽 cai를 가지며 A**에서 왼쪽 아이디얼인 경우, A**의 아이디얼 구조는 오른쪽 아이디얼 J가 J ∩ A = 0을 만족하면 J = 0이 되도록 보장한다. 이는 [37]의 결과를 강화한다.
• 논문은 Read의 최신 깊이 있는 정리에 기반하여 [25, 9, 8]의 여러 열린 문제를 해결한다. 특히 비자명한 r-아이디얼과 최대 r-아이디얼의 존재 문제에 대해 다룬다.