[논문 리뷰] Generalization of C*-algebra methods via real positivity for operator and Banach algebras

David P. Blecher|arXiv (Cornell University)|2015. 08. 12.

Advanced Operator Algebra Research참고 문헌 55인용 수 6

한 줄 요약

이 논문은 양의 개념에 기반한 C*-대수 기법을 실수 긍정성이라는 새로운 개념을 도입함으로써, 일반적인 연산자 대수와 바나흐 대수로 일반화한다. 이는 비자기수반 설정에서 순서 이론과 근사 항등원을 가능하게 한다. 주요 기여는 순차적 유계 근사 항등원(bai)을 갖는 바나흐 대수의 특성화를 엄밀한 실수 긍정성 원소를 통해 제시함으로써, 아른스–카디슨 정리를 비C*-대수적 맥락으로 확장하는 것이다.

ABSTRACT

With Charles Read we have introduced and studied a new notion of (real) positivity in operator algebras, with an eye to extending certain C*-algebraic results and theories to more general algebras. As motivation note that the `completely' real positive maps on C*-algebras or operator systems are precisely the completely positive maps in the usual sense; however with real positivity one may develop a useful order theory for more general spaces and algebras. This is intimately connected to new relationships between an operator algebra and the C*-algebra it generates. We have continued this work together with Read, and also with Matthew Neal. Recently with Narutaka Ozawa we have investigated the parts of the theory that generalize further to Banach algebras. In the present paper we describe some of this work which is connected with generalizing various C*-algebraic techniques initiated by Richard V. Kadison. In particular Section 2 is in part a tribute to him in keeping with the occasion of this volume, and also discusses some of the origins of the theory of positivity (in our sense) in the setting of algebras, which the later parts of our paper develops further. The most recent work will be emphasized.

연구 동기 및 목표

• C*-대수에서의 기법—특히 양의 개념과 근사 항등원과 관련된 것들—을 C*-대수를 초월해 일반적인 연산자 대수와 바나흐 대수로 확장한다.
• 실수 긍정성을 사용한 기능적 순서 이론을 개발하여, 기존의 C*-대수에서의 양의 개념을 일반화하고 비자기수반 대수에 적용한다.
• 바나흐 대수 또는 연산자 대수가 순차적 유계 근사 항등원(bai)을 갖는 조건을 실수 긍정성 원소를 통해 규명한다.
• 아른스–카디슨 정리를 실수 긍정성을 사용하여 바나흐 대수로 일반화함으로써, 근사 항등원의 존재성을 엄밀한 실수 긍정성 원소로 특성화한다.
• 실수 긍정성과 바나흐 대수의 단위화를 통해 비C*-대수적 맥락에서의 부분대수, 아이디얼, 상태에 관한 결과들을 통합하고 확장한다.

제안 방법

• 연산자 대수와 바나흐 대수에서 실수 긍정성의 새로운 개념을 도입한다. 여기서 원소는 그 실수부가 해당 대수로 생성된 관련 C*-대수에서 양의 원소일 때 실수 긍정성으로 간주된다.
• 바나흐 대수 $ A $의 단위화 $ B $를 사용하여, $ B $에 속하고 $ A $에 포함되는 실수 긍정성 원소들의 집합인 $ \frak{F}_A^B $와 $ \frak{r}_A^B $를 정의함으로써 근사 항등원을 연구한다.
• 특히 수열 $ (x^{1/n}) $을 포함한 실수 긍정성 원소에 대한 함수 해석을 적용하여 순차적 유계 근사 항등원을 구성한다.
• 대수 $ A $의 내부 아이디얼 $ D $를 $ \overline{zAz} $의 형태를 가진 것들로 특성화하며, 아이디얼의 구조와 실수 긍정성 간의 연결 고리를 맺는다.
• 바나흐 대수 $ A $가 $ \frak{r}_A^B $에서 순차적 유계 근사 항등원을 갖는다 하는 것과, $ A = \overline{xAx} $를 만족하는 엄밀한 실수 긍정성 원소 $ x \in \frak{r}_A^B $가 존재하는 것이 동치임을 증명한다.
• 이전 결과들인 [22] 및 [21]에 기반하여, 근사 항등원이 없는 대수의 경우 단위화된 경우로 환원함으로써, 연산자 대수에서의 결과들을 바나흐 대수로 일반화한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 바나흐 대수가 실수 긍정성 원소로부터 생성된 순차적 유계 근사 항등원(bai)을 갖는가?
• RQ2 C*-대수에서의 엄밀한 양성 원소 개념을 실수 긍정성을 사용하여 비C*-대수적 맥락으로 어떻게 일반화할 수 있는가?
• RQ3 바나흐 대수에서의 히어레티크 서브대수(HSAs)와 단위화된 대수에서 실수 긍정성 원소 $ z $에 대해 $ \overline{zAz} $ 형태의 원소들 사이의 관계는 무엇인가?
• RQ4 아른스–카디슨 정리에서 근사 항등원에 관한 결과를 실수 긍정성을 사용하여 바나흐 대수로 확장할 수 있는가?
• RQ5 바나흐 대수 $ A $의 단위화 $ B $는 $ A $에서 실수 긍정성 원소와 근사 항등원을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 바나흐 대수 $ A $가 $ \frak{r}_A^B $에서 순차적 유계 근사 항등원(bai)을 갖는다 하는 것과, $ A = \overline{xAx} $를 만족하는 엄밀한 실수 긍정성 원소 $ x \in \frak{r}_A^B $가 존재하는 것은 동치이며, 이는 아른스–카디슨 정리를 일반화한다.
• 임의의 닫힌 부분대수 $ D $에 대해, $ D $가 $ \frak{F}_A^B $에서 근사 항등원을 갖는다면, 모든 컴팩트 부분집합 $ K \subset D $에 대해 $ K \subset xDx \subset xAx $를 만족하는 $ x \in \frak{F}_D^B $가 존재한다. 이는 국소적 구조와 실수 긍정성 간의 연결 고리를 나타낸다.
• 순차적 유계 근사 항등원(bai)을 갖는 바나흐 대수 $ A $에서의 모든 분리 가능 내부 아이디얼은 어떤 $ z \in \frak{F}_A^B $에 대해 $ \overline{zAz} $의 형태를 가진다. 또한 이러한 아이디얼은 가산 개의 교환 가능한 근사 항등원 $ (z^{1/n}) $를 갖는다.
• 단위화가 $ B $인 바나흐 대수 $ A $에서의 $ B $-히어레틱 서브대수(HSAs)는 정확히 $ \frak{F}_A^B $에 속하는 $ z $에 대해 $ \overline{zAz} $의 형태를 가진 집합들의 증가하는 합집합의 닫힘으로 표현되며, 이는 바나흐 대수로의 HSAs의 구조 이론을 확장한다.
• 연산자 대수의 경우, 엄밀한 실수 긍정성 원소의 존재는 순차적 실수 긍정성 완비 근사 항등원(cai)의 존재와 동치이며, 이러한 원소는 이중대수에서 $ s(x) = 1_{A^{**}} $를 만족한다.
• 유한 부분집합 $ G \subset E $와 $ n \in \mathbb{N} $를 인덱스로 갖는 넷 $ (z_G^{1/n}) $는 $ \overline{EA} $에서 $ \frak{F}_A^B $로부터의 왼쪽 bai를 이룬다. 이는 $ E $가 유계이면서 실수 긍정성 원소의 콘에 포함되어 있다면, $ E $로 생성된 바나흐 대수도 $ \frak{F}_A^B $에서 근사 항등원을 갖는다는 것을 보여준다.