[논문 리뷰] Operator algebras with contractive approximate identities, III

David P. Blecher, C. J. Read|arXiv (Cornell University)|2013. 08. 13.

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

한 줄 요약

이 논문은 수축적 근사 항등원을 가진 연산자 대수학 이론을 발전시켜 새로운 긍정성 개념과 그에 관련된 순서 이론을 체계적으로 발전시키며, 锥과 엄밀히 양의 원소에 관한 기본 결과를 증명한다. 이는 이전 연구에서 남아 있던 거의 모든 열린 문제를 해결하며, 반단순적 약간의 단위를 가진 연산자 대수학이 약한 컴팩트성을 띠지 않을 수 있음을 보여주는 새로운 예를 제시하고, 또한 교환 법칙이 성립하는 약한 컴팩트 대수학이 비희박한 스펙트럼을 가질 수 있음을 보여준다.

ABSTRACT

We continue our study of operator algebras with contractive approximate identities (cais). In earlier papers we have introduced and studied a new notion of positivity in operator algebras, with an eye to extending certain $C^*$-algebraic results and theories to more general algebras. In the first part of this paper we do a more systematic development of this positivity and its associated ordering, proving many foundational facts. In much of this it is not necessary that the algebra have an approximate identity. In the second part we study interesting examples of operator algebras with cais, which in particular answer questions raised in previous papers in this series. Indeed the present work solves almost all of the open questions raised in these papers. Many of our results apply immediately to function algebras, but we will not take the time to point these out, although most of these applications seem new.

연구 동기 및 목표

• 수축적 근사 항등원을 가진 연산자 대수학에서 새로운 긍정성 개념에 대한 체계적인 기초를 마련하고, $C^*$-대수 이론을 더 일반적인 대수학으로 확장한다.
• 이 시리즈의 이전 논문들에서 오랫동안 남아 있던 열린 문제, 특히 모듈러 앙니힐레이터 대수학, 약한 컴팩트성, 스펙트럼 성질 간의 관계에 대해 해결한다.
• 대수학적으로 유한 생성된 오른쪽 아이디얼을 대수적으로 특징짓고, 새로운 의미의 긍정성과 관련된 유리소한 유사 정리(유리소한 유사 정리)를 증명한다.
• 반단순적 단위를 가진 연산자 대수학의 새로운 예를 제작하여, 반단소성, 약한 컴팩트성, 스펙트럼 구조 간의 상호작용에 관한 핵심 질문들에 답한다.

제안 방법

• 새로운 긍정성 锥으로서 $\mathfrak{F}_A = \{a \in A : \|1 - a\| \leq 1\}$, $\mathfrak{c}_A = \mathbb{R}_+ \mathfrak{F}_A$, 및 $\mathfrak{r}_A = \overline{\mathfrak{c}_A} = \{a \in A : a + a^* \geq 0\}$의 집합을 도입하고 연구한다.
• 비단위 대수학의 긍정성은 $A^1$의 단위원 $1$을 사용하여 정의한다.
• 피크 대수학 및 피크 프로젝션 이론을 적용하며, 특히 $T \in \frac{1}{2}\mathfrak{F}_A$에 대해 $T^k$의 극한 행동을 분석하여 스펙트럼 및 컴팩트 프로젝션 성질을 분석한다.
• 모듈러 앙니힐레이터 대수학이 약한 컴팩트성을 띠지 않을 수 있음을 보여주는 반례로 비가환적 반단소적 단위를 가진 연산자 대수학을 구성한다.
• 가중 이동 연산자와 $H^p(\beta)$ 공간을 사용하여 비희박한 스펙트럼을 가진 교환 법칙이 성립하는 반례를 구성한다.
• 역의 노름 상한과 스펙트럼 반경 추정을 적용하여 $\lambda I - T_n$의 역의 노름을 분석하고 $\|S^k\| \to 0$임을 보여, $T^k$가 피크 프로젝션으로 수렴함을 증명하는 데 핵심이 되는 결과를 이끌어낸다.

실험 결과

연구 질문

• RQ1 반단소적 반단위를 가진 연산자 대수학이 모듈러 앙니힐레이터 대수학이지만 약한 컴팩트성을 띠지 않을 수 있는가?
• RQ2 교환 법칙이 성립하는 반단소적 반단위를 가진 약한 컴팩트 연산자 대수학이 비희박한 스펙트럼을 가질 수 있는가, 또는 내부가 비어 있지 않은 스펙트럼을 가질 수 있는가?
• RQ3 라디컬 연산자 대수학이 반단소적 이중대수를 가질 수 있는가?
• RQ4 새로운 의미의 긍정성과 관련된 유리소한 유사 정리가 존재하는가? 특히 보간 원소가 고전적 의미에서 긍정에 임의로 가까운 연산자 대수학에서 성립하는가?
• RQ5 수축적 근사 항등원을 가진 연산자 대수학에서 대수학적으로 유한 생성된 오른쪽 아이디얼의 구조는 어떠한가?

주요 결과

• 반단소적 반단위를 가진 연산자 대수학이 모듈러 앙니힐레이터 대수학이지만 약한 컴팩트성을 띠지 않는 예가 존재한다. 이는 [12] 및 [26]에서 제기된 질문에 답한다.
• 교환 법칙이 성립하는 반단소적 반단위를 가진 약한 컴팩트 연산자 대수학이 내부가 비어 있지 않은 스펙트럼을 포함하는 예가 존재한다. 이는 이러한 대수학이 반드시 희박한 스펙트럼을 가져야 하는 것은 아님을 보여준다.
• 라디컬 연산자 대수학이 반단소적 이중대수를 가질 수 있으며, 이는 라디컬 대수학의 이중대수가 반드시 라디컬이 아니라는 것을 보여준다.
• $A^{**}$의 컴팩트 프로젝션 집합은 $D_0 \cap A_{00}$에 포함되며, 모든 컴팩트 프로젝션은 피크 프로젝션 $u(T)$의 감소 수열의 극한으로 나타난다.
• $T \in \frac{1}{2}\mathfrak{F}_A$에 대해 $T^k$는 약한* 수렴으로 피크 프로젝션 $u(T)$로 수렴하며, $u(T)$는 $D_0 \cap A_{00}$의 프로젝션이다.
• 구성된 연산자 $S$의 스펙트럼 반경은 $r(S) \leq 4p(T)\epsilon < 1$를 만족하며, 이는 $\|S^k\| \to 0$임을 의미한다. 이는 $T^k$가 $u(T)$로 수렴함을 증명하는 데 핵심적인 조건이 된다.