[논문 리뷰] Contractive projections and real positive maps on operator algebras

David P. Blecher, Matthew Neal|arXiv (Cornell University)|2019. 05. 14.

Advanced Operator Algebra Research참고 문헌 53인용 수 5

한 줄 요약

이 논문은 비자기수반 및 조르단 연산자 대수에서 표준적 양성의 대체로 실수 양성(real positivity)을 도입하여 고전적인 수축형 프로젝션과 실수 양성 맵에 대한 결과를 일반화한다. 실수 양성 맵에 대한 기초 이론을 수립하고, 등급형 등장의 등장에 대한 새로운 바나흐-스타인 유형 정리를 증명하며, 조르단 연산자 대수에서 수축형 프로젝션의 구조를 이용해 대칭 실수 양성 프로젝션을 특성화함으로써 C*- 및 JB-대수에서의 결과를 더 넓은 비결합적 설정으로 확장한다.

ABSTRACT

We study contractive projections, isometries, and real positive maps on algebras of operators on a Hilbert space. For example we find generalizations and variants of certain classical results on contractive projections on C*-algebras and JB-algebras due to Choi, Effros, Størmer, Friedman and Russo, and others. In fact most of our arguments generalize to contractive `real positive' projections on Jordan operator algebras, that is on a norm-closed space A of operators on a Hilbert space which are closedunder the Jordan product. We also prove many new general results on real positive maps which are foundational to the study of such maps, and of interest in their own right. We also prove a new Banach-Stone type theorem for isometries between operator algebras or Jordan operator algebras. An application of this is given to the characterization of symmetric real positive projections.

연구 동기 및 목표

• C*- 및 JB-대수에서의 고전적 결과를 비결합적 조르단 연산자 대수로 확장한다.
• C*-대수에서의 양성 맵을 일반화하는 실수 양성 맵에 대한 기초 이론을 수립한다.
• 연산자 대수와 조르단 연산자 대수 사이의 등급형 등장에 대한 새로운 바나흐-스타인 유형 정리를 증명한다.
• 수축형 프로젝션과 그 범위의 구조를 이용해 대칭 실수 양성 프로젝션을 특성화한다.
• 조르단 대수의 수축형 프로젝션의 범위가 새로운 곱에 대해 조르단 대수의 구조를 상속받는다는 점을 보여주며, 콜리-에프로스 정리의 일반화를 이룬다.

제안 방법

• 비자기수반 대수에서 양성의 대체로 실수 부분이 양성인 연산자(즉, Re(a) ≥ 0)를 정의하는 실수 양성(real positivity)을 중심 개념으로 사용한다.
• 최근의 실수 양성 맵과 완전 수축형 프로젝션에 대한 기법을 적용하여 이를 조르단 연산자 대수로 확장한다.
• I−P도 수축형인 수축형 프로젝션 P의 구조적 결과를 도출하기 위해 Ker(P)와 Range(P)의 관계를 분석한다.
• 분해 A = P(A) ⊕ Ker(P)를 사용하고, 실수 양성 원소와 프로젝션의 핵 사이의 상호작용을 분석한다.
• 등급형 등장에 대한 새로운 바나흐-스타인 유형 정리를 적용하여, 조르단 *-환향사상에 의해 연산자 대수와 조르단 연산자 대수 사이의 등급형 등장이 특성화됨을 보인다.
• 수축형 프로젝션의 범위가 새로운 곱 x∘y ↦ P(x∘y)에 대해 조르단 연산자 대수의 구조를 띤다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 조르단 연산자 대수에서 수축형 프로젝션 P의 범위가 새로운 곱 P(x∘y)에 대해 언제 조르단 부분대수가 되는가?
• RQ2 실수 양성 맵은 비자기수반 및 비결합적 연산자 대수로 어떻게 일반화될 수 있으며, 어떤 기초적 성질을 만족하는가?
• RQ3 연산자 대수 또는 조르단 연산자 대수 사이의 등급형 등장의 정확한 특성은 무엇이며, 고전적 바나흐-스타인 정리와 어떻게 다를까?
• RQ4 유니탈 수축형 프로젝션 P가 유니탈 연산자 대수에서 반드시 항등사상이 되는 조건은 무엇이며, 핵의 실수 양성 원소에 의한 밀집성은 어떤 역할을 하는가?
• RQ5 대칭 실수 양성 프로젝션은 수축형 프로젝션의 구조와 고정점 부분공간을 이용해 완전히 특성화될 수 있는가?

주요 결과

• 조르단 연산자 대수에서 완전 수축형 프로젝션 P의 범위는 곱 x∘y ↦ P(x∘y)를 갖추어 완전 등급형 조르단 준동형으로 조르단 연산자 대수와 등급형 동형을 이룬다.
• A가 결합적 연산자 대수이고 P가 완전 수축형 프로젝션이라면, 곱 x⋅y ↦ P(xy)를 갖춘 P의 범위는 완전 등급형 동형으로 결합적 연산자 대수와 동형이 된다.
• 유니탈 수축형 프로젝션 P가 유니탈 연산자 대수에서 항등사상이 되는 조건은 Ker(P)가 실수 양성 원소들에 의해 밀집되어 있고, I−P가 Re(A)에서 수축적일 때 성립한다.
• 핵 Ker(P)가 실수 양성 원소들에 의해 밀집되어 있고 I−P가 수축적이라면, D ∩ F_A = {0}를 만족하며, 이는 P가 항등사상임을 암시한다.
• 등급형 등장에 대한 새로운 바나흐-스타인 유형 정리는, 등급형 등장이 *-환향사상이 아니더라도 조르단 *-환향사상임을 특성화한다.
• Ker(P)가 실수 양성 원소들에 의해 밀집되어 있으면 P(A)는 조르단 부분대수가 되며, 이 조건은 이러한 원소들이 생성하는 닫힌 대수에 포함되어 있으면 약화될 수 있다.