[논문 리뷰] Hereditary subalgebras of operator algebras

David P. Blecher, Damon M. Hay외 1명|ArXiv.org|2005. 12. 17.

Advanced Topics in Algebra참고 문헌 29인용 수 46

한 줄 요약

이 논문은 C*-대수의 열린 연산자와 특정 한쪽 방향 아이디얼 사이의 전단사 대응을 설정하며, C*-대수를 초월해 유전적 부분대수(HSAs)를 일반화한다. 비자기수반 연산자 대수에서 10년이 넘는 문제인 모리타 동치에 대해 헤일의 정리를 도입함으로써 깔끔한 힐버트 C*-모듈의 일반화를 제안하고, 보조 연산자와 근사 항등원을 사용한 비환원적 피크 집합 이론을 수립한다.

ABSTRACT

In recent work of the second author, a technical result was proved establishing a bijective correspondence between certain open projections in a C*-algebra containing an operator algebra A, and certain one-sided ideals of A. Here we give several remarkable consequences of this result. These include a generalization of the theory of hereditary subalgebras of a C*-algebra, and the solution of a ten year old problem on the Morita equivalence of operator algebras. In particular, the latter gives a very clean generalization of the notion of Hilbert C*-modules to nonselfadjoint algebras. We show that an `ideal' of a general operator space X is the intersection of X with an `ideal' in any containing C*-algebra or C*-module. Finally, we discuss the noncommutative variant of the classical theory of `peak sets'.

연구 동기 및 목표

• C*-대수에서의 유전적 부분대수(HSAs) 이론을 일반 연산자 대수로 일반화하기.
• 비자기수반 연산자 대수에서 강한 모리타 동치에 관한 오랫동안 미해결된 문제를 해결하기.
• 힐버트 C*-모듈을 비자기수반 연산자 대수로 개념적으로 일반화하기.
• 보조 연산자와 두 번째 쌍대에서의 연산자를 사용하여 고전적 피크 집합 이론을 비환원적 환경으로 확장하기.
• 포함된 C*-대수의 두 번째 쌍대에서의 열린 연산자를 통해 연산자 대수의 한쪽 방향 아이디얼을 특성화하기.

제안 방법

• 헤일의 정리를 사용하여 C*-대수의 두 번째 쌍대에서의 열린 연산자와 연산자 대수의 오른쪽 아이디얼 사이의 전단사 대응을 수립한다. 이 아이디얼은 수축 가능한 왼쪽 근사 항등원을 가진다.
• 이deals와 피크 집합을 특성화하기 위해 두 번째 쌍대에서 p-연산자와 엄격한 p-연산자를 정의한다.
• 비환원적 유르소프의 보조 정리를 적용하여 두 번째 쌍대에서 원하는 성질을 가진 연산자를 구성한다.
• 수축 연산자의 거듭제곱의 케사로 평균을 사용하여 약한* 수렴하는 극한을 구성함으로써 피크 연산자를 유도한다.
• 수축 연산자 b에 대해 오른쪽 지지 연산자 r(1−b)의 여집합인 연산자를 피크 연산자로 특성화한다.
• 일반적인 연산자 공간에서의 아이디얼을 포함된 C*-대수 또는 C*-모듈의 아이디얼과의 교차로 정의한다.

실험 결과

연구 질문

• RQ1 C*-대수에서의 유전적 부분대수 이론은 비자기수반 연산자 대수로 일반화될 수 있는가?
• RQ2 모든 왼쪽 cai를 가진 연산자 대수는 반드시 성질 (L)을 가질까? 즉, 고정된 s에 대해 lim t e_s e_t = e_s 가 성립하는가?
• RQ3 비자기수반 연산자 대수로의 힐버트 C*-모듈의 자연스러운 일반화가 존재하는가?
• RQ4 고전적인 피크 집합의 개념은 비환원적 C*-대수로 확장될 수 있는가?
• RQ5 포함된 C*-대수의 두 번째 쌍대에서의 열린 연산자가 연산자 대수의 한쪽 방향 아이디얼을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 비자기수반 연산자 대수에서의 강한 모리타 동치에 관한 10년간의 문제를 해결하였으며, 힐버트 C*-모듈의 깔끔한 일반화를 제안한다.
• 단위 연산자 대수에서 순차적 왼쪽 cai를 갖는 모든 오른쪽 아이디얼은 대수와 그 두 번째 쌍대의 p-연산자와의 교차로 나타난다.
• C*-대수에서 피크 연산자는 수축 연산자 b에 대해 오른쪽 지지 연산자 r(1−b)의 여집합이며, 이는 (b+1)/2에서 피크한다.
• a^n의 케사로 평균은 약한* 수렴으로 피크 연산자 q로 수렴하며, q a = q 를 만족하고, q는 (a+1)/2에 대한 피크 연산자이다.
• 연관된 연산자 q가 엄격한 p-연산자이면 오른쪽 아이디얼 J는 프록시미널임을 q와 근사 항등원을 포함한 노름 추정을 통해 보였다.
• 일반적인 연산자 공간 X의 모든 아이디얼은 포함된 C*-대수 또는 C*-모듈의 아이디얼과의 교차로 표현된다.