[论文解读] Bimodules over Cartan MASAs in von Neumann Algebras, Norming Algebras, and Mercer's Theorem

Jan Cameron, David R. Pitts+1 more|arXiv (Cornell University)|Feb 28, 2012

Advanced Operator Algebra Research参考文献 20被引用 12

一句话总结

本文提供了对默瑟关于冯诺依曼代数之间σ-弱连续Cartan双模同构扩展为正规*同构的定理的更正证明，避免了对有缺陷的双模谱定理的依赖。该证明表明，在不假设可分预对偶的前提下，此类同构可唯一地扩展至生成的冯诺依曼代数，方法是使用范数代数技术以及通过投影对双模进行Bures拓扑参数化。

ABSTRACT

In a 1991 paper, R. Mercer asserted that a Cartan bimodule isomorphism between Cartan bimodule algebras A_1 and A_2 extends uniquely to a normal *-isomorphism of the von Neumann algebras generated by A_1 and A_2 [13, Corollary 4.3]. Mercer's argument relied upon the Spectral Theorem for Bimodules of Muhly, Saito and Solel [15, Theorem 2.5]. Unfortunately, the arguments in the literature supporting [15, Theorem 2.5] contain gaps, and hence Mercer's proof is incomplete. In this paper, we use the outline in [16, Remark 2.17] to give a proof of Mercer's Theorem under the additional hypothesis that the given Cartan bimodule isomorphism is weak-* continuous. Unlike the arguments contained in [13, 15], we avoid the use of the Feldman-Moore machinery from [8]; as a consequence, our proof does not require the von Neumann algebras generated by the algebras A_i to have separable preduals. This point of view also yields some insights on the von Neumann subalgebras of a Cartan pair (M,D), for instance, a strengthening of a result of Aoi [1]. We also examine the relationship between various topologies on a von Neumann algebra M with a Cartan MASA D. This provides the necessary tools to parametrize the family of Bures-closed bimodules over a Cartan MASA in terms of projections in a certain abelian von Neumann algebra; this result may be viewed as a weaker form of the Spectral Theorem for Bimodules, and is a key ingredient in the proof of our version of Mercer's theorem. Our results lead to a notion of spectral synthesis for weak-* closed bimodules appropriate to our context, and we show that any von Neumann subalgebra of M which contains D is synthetic. We observe that a result of Sinclair and Smith shows that any Cartan MASA in a von Neumann algebra is norming in the sense of Pop, Sinclair and Smith.

研究动机与目标

• 纠正默瑟在1991年对Cartan双模同构向冯诺依曼代数同构扩展的证明中的漏洞，该证明曾依赖于一个无效的双模谱定理。
• 在同构为σ-弱连续的附加假设下，通过避免使用Feldman-Moore理论的替代方法，建立扩展结果。
• 以阿贝尔冯诺依曼代数中的投影来参数化Cartan极大阿贝尔子代数上的Bures闭双模，从而提供双模谱定理的一个较弱形式。
• 引入并发展σ-弱闭双模的谱合成概念，证明任何包含Cartan极大阿贝尔子代数的冯诺依曼子代数都是合成的。
• 澄清具有Cartan极大阿贝尔子代数的冯诺依曼代数上的拓扑关系，特别是Bures拓扑与L²拓扑之间的关系，并证明σ-弱连续映射是Bures连续的。

提出的方法

• 采用[16, 注记2.17]的框架，将σ-弱连续Cartan双模同构构造性地扩展为生成冯诺依曼代数上的正规*同构。
• 运用范数代数的概念，并利用任一Cartan极大阿贝尔子代数在Pop、Sinclair和Smith意义下是范数代数的事实，以确立连续性与稠密性性质。
• 通过阿贝尔冯诺依曼代数中的投影对Bures闭双模进行参数化，为证明提供关键技术工具。
• 应用Bures拓扑分析网的收敛性，证明σ-弱连续映射是Bures连续的，并利用此性质证明扩展映射在原代数上为恒等映射。
• 利用广义正规化子的结构及条件期望E，将代数元素表示为凸组合，从而支持连续性论证。
• 使用恒等式 $\theta(vE_1(v^*x)) = \overline{\theta}(v)E_2(\overline{\theta}(v)^*\theta(x))$，其中 $v$ 属于广义正规化子，$x$ 属于代数，将稠密子代数上的作用与扩展映射关联起来。

实验结果

研究问题

• RQ1 两个具有Cartan极大阿贝尔子代数的冯诺依曼代数之间的σ-弱连续Cartan双模同构，是否能唯一地扩展为生成代数上的正规*同构？
• RQ2 该扩展结果是否可在不假设可分预对偶或依赖于Muhly-Saito-Solel有缺陷的双模谱定理的前提下得到证明？
• RQ3 具有Cartan极大阿贝尔子代数的冯诺依曼代数上，Bures拓扑与L²拓扑之间有何关系？这对映射的连续性有何影响？
• RQ4 是否能通过阿贝尔冯诺依曼代数中的投影来参数化Cartan极大阿贝尔子代数上的Bures闭双模？这对这些双模的结构有何含义？
• RQ5 每个包含Cartan极大阿贝尔子代数的冯诺依曼子代数是否在σ-弱闭双模的谱合成意义下都是合成生成的？

主要发现

• 本文证明，任意σ-弱连续Cartan双模同构 $\theta: \mathcal{A}_1 \to \mathcal{A}_2$，在具有Cartan极大阿贝尔子代数 $\mathcal{D}_1, \mathcal{D}_2$ 的冯诺依曼代数 $\mathcal{M}_1, \mathcal{M}_2$ 的σ-弱闭子代数之间，可唯一地扩展为正规*同构 $\overline{\theta}: \mathcal{M}_1 \to \mathcal{M}_2$，即使不假设可分预对偶。
• 扩展映射 $\overline{\theta}$ 是Bures连续的，且其在 $\mathcal{A}_1$ 上的限制与 $\theta$ 一致，该结论通过广义正规化子上的有限和的Bures收敛性得以证明。
• 本文提供了通过特定阿贝尔冯诺依曼代数中投影对Cartan极大阿贝尔子代数上的Bures闭双模进行参数化的结果，这可视为双模谱定理的一个较弱形式。
• 任何包含Cartan极大阿贝尔子代数 $\mathcal{D}$ 的冯诺依曼代数子代数均被证明是合成的，即它是所有包含它的σ-弱闭双模的交集。
• 该证明避免了Feldman-Moore构造及双模谱定理的使用，转而依赖于范数代数技术以及Bures与L²拓扑的拓扑性质。
• 本文确认，冯诺依曼代数中的任意Cartan极大阿贝尔子代数在Pop、Sinclair和Smith的意义下都是范数代数，且该性质在建立连续性与稠密性结果中起到了关键作用。