[논문 리뷰] V*-algebras

Andre Kornell|arXiv (Cornell University)|2015. 02. 05.

Advanced Operator Algebra Research참고 문헌 21인용 수 7

한 줄 요약

이 논문은 국소적으로 컴act한 하우스도르프 공간 $X$에 대해 $\

ABSTRACT

What is the correct noncommutative generalization of the functor $C_0(X) \mapsto \ell^\infty(X)$ for locally compact Hausdorff $X$ having a countable basis? Making the ansatz $K(\ell^2) \mapsto B(\ell^2)$, we expect that every unital $*$-homomorphism $C(\mathbb T) ightarrow B(\ell^2)$ extend canonically to a unital $*$-homomorphism $\ell^\infty(\mathbb T) ightarrow B(\ell^2)$. Thus, we expect to extend the continuous functional calculus for a unitary operator on $\ell^2$ to all bounded complex-valued functions. Therefore, we work in a model of set theory where every set of real numbers is Lebesgue measurable; we must assume the consistency of an inaccessible cardinal in order to do so. The axiom of choice necessarily fails in such a model, but our model is carefully chosen to enable the verification of many familiar theorems via a scrutinization of their statements rather than their proofs. This technique significantly lowers the cost of doing interesting mathematics in this unfamiliar setting, and it is explained in detail. By analogy with the ultraweak topology, we define the continuum-weak topology on bounded operators to be the topology given by functionals of the form $x \mapsto \int_0^1 \, dt$. We then define a V*-algebra to be a C*-algebra of bounded operators that is closed in the continuum-weak topology. Every C*-algebra $A$ has an enveloping V*-algebra $V^*(A)$, and if $X$ is a locally compact Hausdorff space with a countable basis, then $V^*(C_0(X)) \cong \ell^\infty(X)$. More generally, if $A$ is any separable C*-algebra of type I, then $V^*(A)$ is canonically isomorphic to an $\ell^\infty$-direct sum of type I factors, with one summand for each irreducible representation of $A$. The self-adjoint part of any unital separable C*-algebra is isomorphic to the Banach space of strongly affine real-valued functions on its state space.

연구 동기 및 목표

• 국소적으로 컴 pact한 하우스도르프 공간 $X$에 대해 $C_0(X) \mapsto \ell^\infty(X)$의 비가환 일반화를 찾는 것.
• 모든 실수 집합이 르베그 가측임을 보장하는 체계에서, $\ell^2$ 상의 유니터리 연산자에 대한 연속 함수해석법을 모든 유계 복소수 함수로 확장하는 것, 이는 선택공리의 가정이 필요로 하지 않는 체계를 요구한다.
• 연속체-약 위상에 대해 닫혀 있는 새로운 연산자 대수의 클래스인 V*-대수를 정의하는 것, 이는 C*-대수를 일반화한다.
• 임의의 분리 가능 C*-대수 $A$에 대해 그 봉화 V*-대수 $V^*(A)$를 구성하는 것이며, 이는 $A = C_0(X)$일 경우 $\ell^\infty(X)$로 복원되며, 유형 I 대수의 경우 유형 I 요소들의 $\ell^\infty$-직합으로의 자연스러운 동형사상을 확립한다.
• 단위를 갖는 분리 가능 C*-대수의 자기수반 부분과 그 상태 공간 위의 강한 아핀 실수 함수들의 공간 사이의 바나흐 공간 동형사상을 확립하는 것.

제안 방법

• 모든 실수 집합이 르베그 가측임을 보장하는 체계에서 작업하며, 이는 불가측 카디널의 일致성과 함께 선택공리를 기각하는 체계를 요구한다.
• 연속체-약 위상은 상태들 $\varphi_t$에 대해 $x \mapsto \int_0^1 \varphi_t(x) \, dt$로 유도되는 함수들에 의해 유도되는 위상으로 정의된다.
• V*-대수를 연속체-약 위상에서 닫혀 있는 유계 연산자들의 C*-대수로 정의한다.
• 완전한 선택공리의 결여 상황에서 증명 대신 수학적 문장의 심층 검토를 통해 기존 정리의 타당성을 검증함으로써 기초적 비용을 감소시킨다.
• 봉화 V*-대수 $V^*(A)$를 C*-대수 $A$를 연속체-약 위상에서 닫는 것으로 구성한다.
• 기약 표현의 구조를 활용하여, 분리 가능 유형 I C*-대수에 대해 $V^*(A)$가 각 기약 표현에 대응하는 유형 I 요소들의 $\ell^\infty$-직합과 동형임을 보인다.

실험 결과

연구 질문

• RQ1 함수 $C_0(X) \mapsto \ell^\infty(X)$의 비가환 일반화가 가능할까? 이는 자연스러운 함수해석법 확장을 유지하는가?
• RQ2 선택공리의 가정 없이도, $\ell^2$ 상의 유니터리 연산자에 대한 연속 함수해석법을 모든 유계 가측 함수로 확장할 수 있을까?
• RQ3 유계 연산자들 위에 어떤 위상적 구조가 비가환적 $\ell^\infty(X)$의 일반화를 가능하게 하고, 바람직한 대수적 및 위상적 성질을 유지하는가?
• RQ4 분리 가능 C*-대수 $A$에 대해 봉화 V*-대수 $V^*(A)$는 어떻게 구성할 수 있으며, $A$가 유형 I일 경우 그 구조는 어떠한가?
• RQ5 단위를 갖는 분리 가능 C*-대수의 자기수반 부분과 그 상태 공간 위의 강한 아핀 실수 함수들의 공간 사이의 정확한 관계는 무엇인가?

주요 결과

• 모든 국소적으로 컴 pact한 하우스도르프 공간 $X$에 대해, 봉화 V*-대수 $V^*(C_0(X))$는 $\ell^\infty(X)$와 자연스럽게 동형이다.
• 임의의 분리 가능 유형 I C*-대수 $A$에 대해, 봉화 V*-대수 $V^*(A)$는 $A$의 각 기약 표현에 대응하는 유형 I 요소들의 $\ell^\infty$-직합과 동형이다.
• 임의의 단위를 갖는 분리 가능 C*-대수의 자기수반 부분은 그 상태 공간 위의 강한 아핀 실수 함수들의 공간과 바나흐 공간으로 동형이다.
• 유계 연산자들 위의 연속체-약 위상은 상태들에 대해 $[0,1]$에서의 적분을 통해 정의되며, V*-대수를 정의하는 데 자연스러운 위상이다.
• $V^*(A)$의 구성은 모든 실수 집합이 르베그 가측임을 보장하는 체계를 기반으로 하며, 선택공리의 실패에도 불구하고 함수해석법의 자연스러운 확장을 가능하게 한다.
• 증명 대신 문장의 심층 검토를 통해 이 비표준 체계에서 표준 정리의 타당성을 검증할 수 있으며, 이는 기초적 복잡성을 크게 감소시킨다.