[论文解读] V*-algebras

Andre Kornell|arXiv (Cornell University)|Feb 5, 2015

Advanced Operator Algebra Research参考文献 21被引用 7

一句话总结

本文引入了 V*-代数作为具有可数基的局部紧致 Hausdorff 空间 $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.

研究动机与目标

• 寻找局部紧致 Hausdorff 空间 $X$（具有可数基）的函子 $C_0(X) \mapsto \ell^\infty(X)$ 的非交换推广。
• 将 $\ell^2$ 上酉算子的连续泛函演算扩展至所有有界复值函数，要求使用所有实数集均为 Lebesgue 可测的集合论框架。
• 定义一类新的算子代数——V*-代数——在连续统弱拓扑下封闭，推广 C*-代数。
• 为任意可分 C*-代数 $A$ 构造其包络 V*-代数 $V^*(A)$，并确保在类型 I 代数情况下存在典范同构。
• 建立酉可分 C*-代数的自伴部分与该代数状态空间上强仿射实值函数空间之间的 Banach 空间同构。

提出的方法

• 在所有实数集均为 Lebesgue 可测的集合论模型中工作，要求不可达基数的相容性并拒绝选择公理。
• 将连续统弱拓扑定义为由泛函 $x \mapsto \int_0^1 \varphi_t(x) \, dt$ 诱导的有界算子上的拓扑，其中 $\varphi_t$ 为状态。
• 将 V*-代数定义为在连续统弱拓扑下封闭的有界算子 C*-代数。
• 通过审视数学陈述而非证明来验证在缺乏完整选择公理情况下的熟知定理，从而显著降低基础成本。
• 将包络 V*-代数 $V^*(A)$ 构造为 C*-代数 $A$ 在连续统弱拓扑下的闭包。
• 利用不可约表示的结构，证明对于可分类型 I C*-代数，$V^*(A)$ 同构于一个 $\ell^\infty$-直和，其每个分量对应于 $A$ 的一个不可约表示。

实验结果

研究问题

• RQ1 能否以保持典范泛函演算扩展的方式，将函子 $C_0(X) \mapsto \ell^\infty(X)$ 推广至非交换 C*-代数？
• RQ2 在不假设选择公理的情况下，是否可能将 $\ell^2$ 上酉算子的连续泛函演算扩展至所有有界可测函数？
• RQ3 在有界算子上何种拓扑结构可提供 $\ell^\infty(X)$ 的非交换类比，同时保持理想的代数与拓扑性质？
• RQ4 如何为可分 C*-代数 $A$ 构造其包络 V*-代数 $V^*(A)$，且当 $A$ 为类型 I 时其结构为何？
• RQ5 酉可分 C*-代数的自伴部分与该代数状态空间上强仿射实值函数空间之间的确切关系为何？

主要发现

• 对于任意具有可数基的局部紧致 Hausdorff 空间 $X$，包络 V*-代数 $V^*(C_0(X))$ 与 $\ell^\infty(X)$ 存在典范同构。
• 对于任意可分类型 I C*-代数 $A$，包络 V*-代数 $V^*(A)$ 同构于一个 $\ell^\infty$-直和，其每个分量为一个类型 I 因子，且每个分量对应于 $A$ 的一个不可约表示。
• 任意酉可分 C*-代数的自伴部分作为 Banach 空间同构于其状态空间上强仿射实值函数的空间。
• 有界算子上的连续统弱拓扑通过在 $[0,1]$ 上对状态进行积分来定义，为定义 V*-代数提供了自然的拓扑。
• 在所有实数集均为 Lebesgue 可测的集合论模型下构造 $V^*(A)$，从而在选择公理失效的情况下仍能实现泛函演算的典范扩展。
• 通过审视陈述而非证明的方法，可在该非标准模型中验证标准定理，显著降低基础复杂性。