[논문 리뷰] Haagerup approximation property for arbitrary von Neumann algebras

Rui Okayasu, Reiji Tomatsu|arXiv (Cornell University)|2013. 12. 04.

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

한 줄 요약

이 논문은 표준 형식을 이용하여 임의의 von Neumann 대수에 대한 하아거루프 근사성질(HAP)의 통합 정의를 제안하며, 유한 대수를 초월해 비유한 및 비정규 대수의 경우에도 이를 확장한다. HAP는 노름이 1인 사영과 애매한 작용에 대한 고정점 대수에서 보존되며, 힐버트 공간 표현에서의 연산 이론적 근사에 기반해 기존의 항등성 및 반무연속성 결과를 일반화한다.

ABSTRACT

We attempt presenting a notion of the Haagerup approximation property for an arbitrary von Neumann algebra by using its standard form. We also prove the expected heredity results for this property.

연구 동기 및 목표

• 유한 von Neumann 대수를 초월해 비유한, 비정규 대수를 포함한 임의의 대수로 하아거루프 근사성질(HAP)을 확장하는 것.
• 모듈러 켤레 및 자기쌍대 양의 코너를 활용하여 von Neumann 대수의 표준 형식을 이용해 HAP를 정의하는 것.
• HAP의 유도 성질을 확립하며, 특히 노름이 1인 사영과 애매한 양자군 작용에 대한 고정점 대수에서의 안정성에 중점을 두는 것.
• 힐버트 공간 표현에서의 컴팩트 근사에 기반한 기존의 반무연속성 및 항등성의 특성화를 통합 및 일반화하는 것.

제안 방법

• von Neumann 대수 (M, H, J, P)의 표준 형식을 사용하여, H에서의 수축적 완전 양의 콪 pact 연산자에 의한 항등원의 강수렴 위상 근사를 통해 HAP를 정의한다.
• 충실한 정규 상태 φ에 관련된 GNS 구성법을 적용하여, T_n(Δ_φ^{1/4}xξ_φ) = Δ_φ^{1/4}Φ_n(x)ξ_φ 를 만족하는 H_φ 상의 구현 연산자 T_n을 정의한다.
• 행렬 순서가 부여된 힐버트 공간 구조와 콜리-에프로스 이론을 활용하여, 구현 연산자의 컴팩트성과 수축성을 특성화한다.
• M에서 N로의 노름이 1인 사영의 존재를 이용하여, 강수렴과 노름 추정에 기반해 HAP를 M에서 N으로 이전시키는 것.
• 쌍대성과 와이드 프로덕트 구성법을 적용하여, 애매한 양자군과 그 쌍대군의 작용 하에서 HAP의 보존성을 일반화한다.
• 항등성 von Neumann 대수는 반무연속임을 알고 있으며, 표준 형식에서의 근사를 통해 HAP가 반무연속성을 유도함을 보여, 이는 기존 결과를 특수한 경우로 포함한다.

실험 결과

연구 질문

• RQ1 유한 대수에 국한되지 않고, 임의의 von Neumann 대수에 대해 하아거루프 근사성질을 의미 있게 정의할 수 있는가?
• RQ2 비정규 설정에서 완전 양의 콪 맵에 대한 '무한에서의 소멸' 또는 '콤팩트성'의 개념을 어떻게 일반화할 수 있는가?
• RQ3 애매한 양자군 작용 하에서 고정점 대수를 취할 경우 HAP는 유지되는가?
• RQ4 노름이 1인 사영을 통한 부분대수로의 이행 시 HAP는 보존되는가?
• RQ5 일반적인 von Neumann 대수 설정에서 HAP는 항등성과 반무연속성과 어떻게 관련되어 있는가?

주요 결과

• 충실한 정규 상태 φ를 갖는 σ-유한 von Neumann 대수 M에 대해, HAP는 수축적 완전 양의 콱 맵 Φ_n의 넷이 존재할 조건과 동치이며, 이에 대응하는 H_φ 상의 구현 연산자 T_n이 수축적이고 컴팩트일 조건이다. 이때 T_n(Δ_φ^{1/4}xξ_φ) = Δ_φ^{1/4}Φ_n(x)ξ_φ 를 만족한다.
• M가 HAP를 갖는다 하더라도, M에서 부분대수 N로의 노름이 1인 사영이 존재한다면, N 역시 HAP를 갖는다. 이는 이러한 사영 하에서의 HAP의 보존성(유도 안정성)을 보여준다.
• M에 대해 애매한 국소 콤���한 양자군 G의 작용이 존재할 때, M가 HAP를 갖는다면 고정점 대수 M^α 역시 HAP를 갖는다. 이는 불변 평균 하에서의 안정성 일반화이다.
• 쌍대군이 또한 애매할 경우, 애매한 양자군에 의한 와이드 프로덕트 하에서 HAP는 보존되며, 이는 M과 M⋊_αG가 동시에 HAP를 갖는 것과 동치임을 보여준다.
• HAP는 반무연속성을 유도하며, 항등성 von Neumann 대수는 반무연속이므로, 이는 기존 결과를 특수한 경우로 포함한다.
• 표준 형식을 통한 HAP의 제안된 정의는 캐스퍼스와 스타르스키의 독립적 정의와 일치하며, 다양한 접근법 간의 일관성을 확인한다.