[논문 리뷰] The Category of Von Neumann Algebras

Abraham Westerbaan|arXiv (Cornell University)|2018. 04. 06.

Advanced Operator Algebra Research참고 문헌 59인용 수 12

한 줄 요약

이 논문은 힐버트 공간 위의 유계 연산자 공간 𝔹(ℋ)가 연산자 노름을 기준으로 곱셈으로서 합성, 역원으로서 수반, 항등원으로서 항등 연산자를 갖는 C*-대수임을 보이며, 모든 C*-대수들이 유계 연산자 대수와 동형임을 증명한다. 이는 연산자 대수이론의 기초적 결과이다.

ABSTRACT

In this dissertation we study the category of completely positive normal contractive maps between von Neumann algebras. It includes an extensive introduction to the basic theory of $C^*$-algebras and von Neumann algebras.

연구 동기 및 목표

• 힐버트 공간 ℋ 위의 유계 선형 연산자 대수 𝔹(ℋ)가 연산자 노름을 기준으로 자연스럽게 C*-대수를 이룬다는 것을 보여주는 것.
• 노름이 부여된 벡터 공간의 맥락에서 유계 연산자를 정의하고, 연산자 노름이 최소 상한으로서의 개념을 확립하는 것.
• 겔판트-나임라인드 정리의 기초를 다지기 위해 모든 C*-대수가 𝔹(ℋ)의 C*-부분대수로 표현될 수 있음을 보여주는 것.
• 구체적인 C*-대수의 개념을 도입하여, 추상적인 C*-대수의 구체적 실현을 제공하는 것.

제안 방법

• 노름이 부여된 벡터 공간 𝒳 → 𝒴 사이의 선형 연산자 T를, 모든 x ∈ 𝒳에 대해 ‖Tx‖ ≤ r‖x‖를 만족하는 r ∈ [0, ∞) 가 존재하는 것으로 정의한다.
• 모든 그러한 상한 r 중에서의 하한을 연산자 노름으로 정의하며, 이를 ‖T‖로 표기한다.
• 힐버트 공간 ℋ 위의 유계 연산자 공간 𝔹(ℋ)에 합성 연산을 곱셈으로, 수반을 역원으로, 항등 연산자를 항등원으로 부여한다.
• 𝔹(ℋ)가 C*-대수의 공리계를 만족함을 확인하며, 특히 C*-항등식 ‖T*T‖ = ‖T‖² 도 확인한다.
• 후에 겔판트-나임라인드 정리로 체계화된 바로 그 바탕이 되는 바, 모든 C*-대수가 𝔹(ℋ)의 C*-부분대수와 동형임을 증명한다.
• 힐버트 공간과 유계 연산자의 구조를 활용하여 추상적인 C*-대수의 구체적 실현을 제공한다.

실험 결과

연구 질문

• RQ1 힐버트 공간 위의 유계 연산자 공간은 어떻게 C*-대수의 구조를 지닐 수 있는가?
• RQ2 노름이 부여된 공간 간의 선형 연산자가 유계임을 보장하는 조건은 무엇이며, 그 노름은 어떻게 정의되는가?
• RQ3 모든 추상적인 C*-대수를 어떤 힐버트 공간 위의 유계 연산자 C*-부분대수로 구체적으로 표현할 수 있는가?
• RQ4 유계 연산자 대수의 C*-대수에서 수반 연산은 역원을 정의하는 데 어떤 역할을 하는가?
• RQ5 연산자 노름은 힐버트 공간 위의 선형 연산자의 스펙트럼 성질과 유계성과 어떻게 관련이 있는가?

주요 결과

• 힐버트 공간 ℋ 위의 유계 연산자 공간 𝔹(ℋ)는 연산자 노름을 기준으로 곱셈으로서 합성, 역원으로서 수반을 갖는 C*-대수를 이룬다.
• 유계 선형 연산자 T의 연산자 노름은 모든 x ∈ 𝒳에 대해 ‖Tx‖ ≤ r‖x‖를 만족하는 최소의 r이다.
• 구체적인 C*-대수는 𝔹(ℋ)의 C*-부분대수로 정의되며, 이는 추상적인 C*-대수의 자연스러운 실현을 제공한다.
• 논문은 모든 C*-대수가 유계 연산자 대수와 동형임을 보여주는 바탕을 마련하여 겔판트-나임라인드 정리의 전조를 제공한다.
• 항등 연산자가 C*-대수 𝔹(ℋ)의 항등원으로서 작용하며, 단위 C*-대수 공리계를 만족한다.
• C*-항등식 ‖T*T‖ = ‖T‖² 가 𝔹(ℋ)에서 성립함을 확인하여, 이 대수가 C*-대수임을 확인한다.