[논문 리뷰] Conditional expectations onto maximal abelian *-subalgebras

Charles A. Akemann, David K. Sherman|ArXiv.org|2009. 06. 10.

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

한 줄 요약

이 논문은 반유한 von Neumann 대수에서, 단일 생성자로 생성된 최대 아벨 ∗-부분대수(MASA)로의 유일한 조건부 기대가 존재하는 것은 바로 그 MASA가 아벨 프로젝션에 의해 생성될 때이고, 이는 대수가 유형 I임을 의미한다. 주요 기여는 유일한 조건부 기대가 항상 정규임을 증명한 것으로, 푸리에 분석을 피하고 상태 확장 이론과 쌍대성 논증을 활용한 데 있다.

ABSTRACT

We determine when there is a unique conditional expectation from a semifinite von Neumann algebra onto a singly-generated maximal abelian *-subalgebra. Our work extends the results of Kadison and Singer via new methods, notably the observation that a unique conditional expectation onto a singly-generated maximal abelian *-subalgebra must be normal.

연구 동기 및 목표

• 반유한 von Neumann 대수에서 단일 생성자로 생성된 최대 아벨 ∗-부분대수(MASA)로의 유일한 조건부 기대가 존재하는 조건을 규명하는 것.
• 푸리에 분석에 의존하지 않고 카디슨-신의 결과를 확장하는 것.
• 조건부 기대의 유일성과 순수 상태에 대한 상태 확장의 유일성 간의 관계를 명확히 하는 것.
• 조건부 기대의 유일성이 정규성을 암시함을 증명하는 것으로, 이는 이전까지 알려지지 않은 새로운 통찰이다.
• 반유한 대수에서 MASA가 유일한 조건부 기대를 허용하는 조건을 기술하고, 이를 항등원을 생성하는 아벨 프로젝션의 존재와 연결하는 것.

제안 방법

• 조건부 기대를 약한* 극한을 통해 구성하기 위해, MASA 내의 프로젝션의 전형적 부분집합, 특히 순차적 전형 부분집합의 개념을 도입하고 활용한다.
• 단일 생성자로 생성된 MASA로의 유일한 조건부 기대가 반드시 정규여야 한다는 것을, 쌍대성과 예비쌍대의 구조를 이용해 증명한다.
• 선형 함수의 정규 및 특이 부분으로의 분해를 이용해 상태 확장과 그 유일성을 분석한다.
• 상태의 중심자(centralizer)를 적용하여, MASA에서 정규 상태가 특이 확장을 가지지 않으면, MASA는 아벨 프로젝션에 의해 생성되어야 한다는 것을 보인다.
• 유형 II₁ 및 유형 I 대수의 구조를 활용하여, MASA에 아벨 프로젝션이 존재하거나 존재하지 않는 경우를 구분한다.
• 유형 II₁ 대수에서 비정상적 조건부 기대를 구성하여, 유일성이 성립하지 않을 경우 비정규 조건부 기대가 존재할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 반유한 von Neumann 대수에서 단일 생성자로 생성된 MASA로의 유일한 조건부 기대가 존재하는 조건은 무엇인가?
• RQ2 MASA로의 조건부 기대의 유일성은 MASA가 아벨 프로젝션에 의해 생성됨과 동치인가?
• RQ3 조건부 기대의 유일성은 그것이 반드시 정규여야 한다는 것을 의미하는가?
• RQ4 여러 개의 조건부 기대가 존재하는 것은 순수 상태에 대한 상태 확장의 비유일성과 연결될 수 있는가?
• RQ5 아벨 프로젝션은 반유한 대수에서 MASA로의 조건부 기대의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 반유한 von Neumann 대수에서 단일 생성자로 생성된 MASA로의 유일한 조건부 기대가 존재하는 것은 바로 MASA가 아벨 프로젝션에 의해 생성될 때이며, 이는 대수가 유형 I임을 의미한다.
• 단일 생성자로 생성된 MASA로의 유일한 조건부 기대는 반드시 정규여야 하며, 이는 쌍대성과 상태 확장 분석을 통해 도출된 결과이다.
• 유형 II₁ 인피니티에서 MASA로의 비정상적 조건부 기대가 존재하여, 비정규 조건부 기대가 존재할 수 있음을 보여준다.
• MASA가 아벨 프로젝션에 의해 생성되지 않으면서(예: 유형 I가 아닌 대수에서), 일부 순수 상태는 MASA에서의 여러 가지 상태 확장을 가질 수 있다.
• 여러 개의 조건부 기대가 존재하면, 일부 순수 상태는 비유일한 확장을 가지며, 이는 카디슨-신 유형 문제의 부분적 해결을 제공한다.
• 상태의 지지집합은 그것이 특이 확장인지 정규 확장인지 결정한다: 아벨 프로젝션 부분에 지지된 상태는 유일한 정규 확장을 가지며, 그 보조 부분에 지지된 상태는 특이 확장을 가질 수 있다.