[논문 리뷰] Dye's Theorem and Gleason's Theorem for AW*-algebras

Jan Hamhalter|arXiv (Cornell University)|2014. 08. 20.

Advanced Operator Algebra Research참고 문헌 2인용 수 4

한 줄 요약

이 논문은 Dye의 정리와 Gleason의 정리를 AW*-대수로 일반화한다. 만약 도메인 대수가 Type I₂ 직접합성분을 가지지 않는 한, 정사영 격자 간의 사상 중 직교보완과 임의의 상한을 보존하는 사상은 정상적인 조르단 *-환형사상으로 확장됨을 보인다. 주요 기여는 AW*-대수에서 격자 이론적 구조와 조르단 대수적 구조 사이의 깊은 연결 고리를 확립하여, 아벨 부분대수의 순서 집합으로부터 조르단 대수적 구조를 재구성할 수 있음을 보여주는 데 있다.

ABSTRACT

We prove that any map between projection lattices of $AW^\ast$-algebras $A$ and $B$, where $A$ has no Type $I_2$ direct summand, that preserves orthocomplementation and suprema of arbitrary elements, is a restriction of a normal Jordan $\ast$-homomorphism between $A$ and $B$. This allows us to generalize Dye's Theorem from von Neumann algebras to $AW^\ast$-algebras. We show that Mackey-Gleason-Bunce-Wright Theorem can be extended to homogeneous $AW^\ast$-algebras of Type I. The interplay between Dye's Theorem and Gleason's Theorem is shown. As an application we prove that Jordan $\ast$-homomorphims are commutatively determined. Another corollary says that Jordan parts of $AW^\ast$-algebras can be reconstructed from posets of their abelian subalgebras.

연구 동기 및 목표

• von Neumann 대수에서의 Dye의 정리를 AW*-대수로 확장하여, 조르단 *-환형사상으로 유도되는 정사영 격자 간의 사상들을 특성화하는 것.
• 유형 I의 균일한 AW*-대수로 Mackey-Gleason-Bunce-Wright 정리를 일반화하여, 정사영에 대한 유계 추가 측도가 유계 선형 함수로 확장됨을 보이는 것.
• AW*-대수 간의 조르단 *-환형사상이 아벨 부분대수에서의 행동에 의해 결정됨을 보장하여, 아벨 부분대수의 순서 집합으로부터 조르단 대수적 구조를 재구성할 수 있음을 보이는 것.
• AW*-대수 이론에서 열려 있는 문제를 해결하기 위해, 정상성과 격자 호환성을 만족하는 준 조르단 *-환형사상이 진정한 조르단 *-환형사상임을 증명하는 것.

제안 방법

• 도메인 대수가 Type I₂ 합성분을 가지지 않는 한, AW*-대수의 정사영 격자 간의 사상 중 직교보완과 임의의 상한을 보존하는 사상이 정상적인 조르단 *-환형사상으로 확장됨을 증명하는 것.
• 격자 이론적 기법과 아벨 부분대수의 구조를 이용하여, 스펙트럼 사영을 통해 이러한 사상이 조르단 곱 구조를 보존함을 보이는 것.
• 준 조르단 *-환형사상(아벨 부분대수에서 조르단 *-환형사상이 되고, 자기수반 원소의 선형 조합을 보존하는 사상)의 개념을 적용하고, 그 정상성이 전체 조르단 *-환형사상 성질을 유도함을 증명하는 것.
• AW*-대수에서 증가하는 정사영 넷이 상한을 가지므로, 스펙트럼 분해와 Stonean 공간 표현을 통해 격자 사상을 선형 사상으로 확장할 수 있음을 활용하는 것.
• Type I₂ 합성분이 없는 경우 정사영 격자의 순서역사가 조르단 *-동형사상과 동치임을 이용하여, 격자 동형사상과 대수적 동형사상 간의 연결 고리를 맺는 것.
• AW*-대수의 아벨 C*-부분대수의 순서 집합 간의 순서 동형사상이 유일한 조르단 *-동형사상으로 유도됨을 보여, 격자 자료로부터 대수적 구조를 재구성할 수 있음을 보이는 것.

실험 결과

연구 질문

• RQ1 von Neumann 대수에서 Dye의 정리를 AW*-대수로 확장할 수 있는가? 즉, 조르단 *-환형사상으로 유도되는 격자 사상들을 특성화할 수 있는가?
• RQ2 Mackey-Gleason-Bunce-Wright 정리는 유한한 유형 Iₙ (n ≥ 3)의 AW*-대수로 확장되는가? 즉, 정사영에 대한 유계 추가 측도가 유계 선형 함수로 확장되는가?
• RQ3 AW*-대수 간의 조르단 *-환형사상은 어느 정도 아벨 부분대수 또는 정사영 격자에서의 행동에 의해 결정되는가?
• RQ4 AW*-대수 간의 준 조르단 *-환형사상이 진정한 조르단 *-환형사상이 되는 조건은 무엇인가?
• RQ5 AW*-대수의 조르단 구조는 그 아벨 C*-부분대수의 순서 집합으로부터 재구성될 수 있는가?

주요 결과

• 도메인 대수가 Type I₂ 직접합성분을 가지지 않는 한, AW*-대수의 정사영 격자 간의 사상 중 직교보완과 임의의 상한을 보존하는 사상은 정상적인 조르단 *-환형사상으로 확장된다.
• Mackey-Gleason-Bunce-Wright 정리는 균일한 유형 I의 AW*-대수로 확장되어, 정사영에 대한 유계 추가 측도가 유계 선형 함수로 확장됨을 보장한다.
• AW*-대수 간의 조르단 *-환형사상은 아벨 부분대수에서의 행동에 의해 완전히 결정되며, 이를 '공통적으로 결정됨'이라고 한다.
• 정상적인 준 조르단 *-환형사상은 도메인 대수가 Type I₂ 합성분을 가지지 않는 한 반드시 진정한 조르단 *-환형사상이 된다.
• AW*-대수의 아벨 C*-부분대수의 순서 집합 간의 순서 동형사상은 유일하게 조르단 *-동형사상으로 대응되며, 아벨 부분대수의 순서 집합으로부터 조르단 대수적 구조를 재구성할 수 있다.
• AW*-대수의 조르단 부분대수는 아벨 C*-부분대수의 순서 집합으로부터 재구성될 수 있으며, 이는 구조적 이중성을 확립한다.