[论文解读] Measures on projections in a $W^*$-algebra of type $I_2$

A. N. Sherstnev|arXiv (Cornell University)|Dec 23, 2011

Advanced Operator Algebra Research参考文献 2被引用 4

一句话总结

本文证明了在类型 $I_2$ 的 $W^*$-代数中，每个投影上的正测度均可表示为某个取值于希尔伯特空间的正交向量测度的平方范数。通过利用 $M_2$-值投影的结构并基于谱投影进行归纳构造，作者将哈姆哈尔特（Hamhalter）的结果推广至所有 $W^*$-代数，包括含有类型 $I_2$ 直和分量的代数，从而完整刻画了通过正交向量测度表示投影上测度的结构。

ABSTRACT

It is shown that for every measure $m$ on projections in a $W^*$-algebra of type $I_2$, there exists a Hilbert-valued orthogonal vector measure $μ$ such that $\|μ(p)\|^2= m(p)$ for every projection $p$. With regard to J. Hamhalter's result (Proc. Amer. Math. Soc., 110 (1990), 803-806) it means that the assertion is valid for an arbitrary $W^*$-algebra.

研究动机与目标

• 解决一个开放问题：即在类型 $I_2$ 的 $W^*$-代数中，每个投影上的正测度是否可表示为某个正交向量测度的平方范数。
• 将哈姆哈尔特的结果（此前仅适用于不含类型 $I_2$ 直和分量的 $W^*$-代数）推广至所有 $W^*$-代数，包括类型 $I_2$ 的代数。
• 显式构造一个正交向量测度 $\mu$，使得对任意类型 $I_2$ 的 $W^*$-代数中的投影 $p$，均有 $\|\mu(p)\|^2 = m(p)$。
• 为所有 $W^*$-代数提供一个统一的框架，通过正交向量测度表示投影上的测度，从而完成该类测度的分类。

提出的方法

• 将类型 $I_2$ 的 $W^*$-代数表示为 $\mathcal{M} \otimes M_2$，其中 $\mathcal{M}$ 为交换代数，$M_2$ 为 $2 \times 2$ 复矩阵代数。
• 通过三元组 $(x, v, \pi)$ 参数化 $\mathcal{N} = \mathcal{M} \otimes M_2$ 中的投影，其中 $x \in \mathcal{M}^+$，$v \in \mathcal{M}^{\text{un}}$，$\pi \in \mathcal{M}^{\text{pr}}$，且满足 $0 \leq x \leq \pi$ 以及 $\text{rp}(x(\pi - x)) = \pi$。
• 通过谱分解和在正交投影上的归纳延拓，定义一个取值于希尔伯特空间 $H$ 的有限可加正交向量测度 $\mu$，使得 $\|\mu(p)\|^2 = m(p)$。
• 使用佐恩引理（Zorn’s lemma）构造 $\mathcal{M}^\text{pr}$ 中一组两两正交的投影 $\{\pi_j\}$ 的极大族，以将问题分解为可处理的组成部分。
• 在 $L^2(\Omega, \nu)$ 中构造密度函数 $h_{\gamma 1}, h_{\gamma 2}, k_{\gamma 1}, k_{\gamma 2}$，使其满足正交性和范数条件，从而定义每个投影 $p$ 对应的 $\mu(p)$，确保不同分解之间的一致性。
• 验证扩展后的 $\mu$ 满足正交向量测度的公理：正交投影的像正交，且测度 $m$ 的范数被保持。

实验结果

研究问题

• RQ1 在类型 $I_2$ 的 $W^*$-代数中，每个投影上的正测度是否均可表示为某个取值于希尔伯特空间的正交向量测度的平方范数？
• RQ2 哈姆哈尔特针对不含类型 $I_2$ 直和分量的 $W^*$-代数所建立的表示结果，是否可推广至包含此类分量的代数？
• RQ3 是否存在一种构造性方法，可显式构建一个正交向量测度 $\mu$，使得对所有类型 $I_2$ 的 $W^*$-代数中的投影 $p$，均有 $\|\mu(p)\|^2 = m(p)$？
• RQ4 如何利用 $\mathcal{M} \otimes M_2$ 中投影的结构，以一致方式定义并延拓此类向量测度？

主要发现

• 对于类型 $I_2$ 的 $W^*$-代数中任意投影上的测度 $m$，均存在一个取值于希尔伯特空间的正交向量测度 $\mu$，使得对所有投影 $p$，均有 $\|\mu(p)\|^2 = m(p)$。
• 该构造是显式的，依赖于利用三元组 $(x, v, \pi)$ 对 $\mathcal{M} \otimes M_2$ 中的投影进行分解，从而实现对正交分量的归纳延拓。
• 证明利用谱分解和取值于 $L^2$ 的密度函数来定义 $\mu(p)$，确保范数保持性以及正交投影下像的正交性。
• 该结果通过证明正交向量测度表示适用于所有 $W^*$-代数（而不仅限于不含类型 $I_2$ 直和分量的代数）完成了哈姆哈尔特早期结果的推广。
• 通过佐恩引理和在正交投影族上的一致粘合，将 $\mu$ 延拓至整个投影格。
• 最终结果表明，任意 $W^*$-代数中投影上的任意正测度，均可表示为某个复希尔伯特空间 $H$ 中正交向量测度的平方范数。