[논문 리뷰] Bimodules over Cartan MASAs in von Neumann Algebras, Norming Algebras, and Mercer's Theorem

Jan Cameron, David R. Pitts외 1명|arXiv (Cornell University)|2012. 02. 28.

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

한 줄 요약

이 논문은 von Neumann 대수 사이의 $σ$-약하게 연속적인 카르탕 이중모듈러스 동형사상이 분해형 스펙트럴 정리의 결함으로 인해 잘못된 데 의존하지 않고, 생성된 von Neumann 대수로의 정상적 $*$-동형사상으로의 유일한 확장을 제공하는 수정된 증명을 제시한다. 이는 분리 가능 예공간을 가정하지 않으며, 노름화 대수 기법과 프로젝션을 통한 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년 메르서의 카르탕 이중모듈러스 동형사상에서 von Neumann 대수 동형사상으로의 확장을 증명하는 데 있어 결함이 있는 이중모듈러스에 대한 스펙트럴 정리에 의존하는 증명의 격차를 보완하는 것.
• 카르탕 이중모듈러스 동형사상이 $σ$-약하게 연속임을 추가 가정으로 하여, 펠드만-무어 기법을 피하는 대안적 접근을 통해 확장 결과를 확립하는 것.
• 카르탕 MASA 위의 Bures-닫힘 이중모듈러스를 아벨 von Neumann 대수의 프로젝션을 통해 매개변수화함으로써, 이중모듈러스에 대한 스펙트럴 정리의 더 약한 형태를 제공하는 것.
• σ-약하게 닫힌 이중모듈러스에 대한 스펙트럴 합성의 개념을 도입하고 발전시키며, 카르탕 MASA를 포함하는 임의의 von Neumann 부분대수는 합성 가능하다는 것을 보이는 것.
• 카르탕 MASA를 가진 von Neumann 대수에서의 위상, 특히 Bures 위상과 $L^2$ 위상 간의 관계를 명확히 하고, $σ$-약하게 연속인 사상이 Bures 연속임을 보이는 것.

제안 방법

• 논문 [16, Remark 2.17]의 개요를 활용하여, $σ$-약하게 연속적인 카르탕 이중모듈러스 동형사상이 생성된 von Neumann 대수에서 정상적 $*$-동형사상으로 확장됨을 구성하는 것.
• 팝, 싱클레어, 스미스의 정의에 따라 모든 카르탕 MASA가 노름화 대수임을 이용하여 연속성 및 조밀성 성질을 확립하는 것.
• 아벨 von Neumann 대수의 프로젝션을 사용하여 Bures-닫힘 이중모듈러스를 매개변수화함으로써, 증명의 핵심 기술적 도구를 제공하는 것.
• 넷의 수렴을 분석하기 위해 Bures 위상을 적용하여, $σ$-약하게 연속인 사상이 Bures 연속임을 보이고, 이를 통해 확장이 원래 대수에서 항등사상임을 증명하는 것.
• 일반화된 정규화자와 조건부 기대 $E$의 구조를 활용하여 대수의 원소를 볼록 조합으로 표현함으로써 연속성 추론을 가능하게 하는 것.
• 일반화된 정규화자 $v$와 대수의 원소 $x$에 대해 $\theta(vE_1(v^*x)) = \overline{\theta}(v)E_2(\overline{\theta}(v)^*\theta(x))$라는 항등식을 사용하여 밀도 있는 부분대수에서의 작용과 확장된 사상 간의 관계를 연결하는 것.

실험 결과

연구 질문

• RQ1 두 von Neumann 대수에 카르탕 MASAs가 존재하는 경우, $σ$-약하게 연속적인 카르탕 이중모듈러스 동형사상은 생성된 대수에서 정상적 $*$-동형사상으로 유일하게 확장되는가?
• RQ2 분리 가능 예공간을 가정하지 않거나, 무하리-사이토-솔렐의 잘못된 이중모듈러스에 대한 스펙트럴 정리를 사용하지 않고도 확장 결과를 증명할 수 있는가?
• RQ3 카르탕 MASA를 가진 von Neumann 대수에서 Bures 위상과 $L^2$ 위상 간의 관계는 무엇이며, 이는 사상의 연속성에 어떤 영향을 미치는가?
• RQ4 카르탕 MASA 위의 Bures-닫힘 이중모듈러스는 어떤 아벨 von Neumann 대수의 프로젝션을 통해 매개변수화될 수 있으며, 이는 이러한 이중모듈러스의 구조에 어떤 함의를 갖는가?
• RQ5 모든 카르탕 MASA를 포함하는 von Neumann 부분대수는 $σ$-약하게 닫힌 이중모듈러스에 대한 스펙트럴 합성의 관점에서 합성 가능한가?

주요 결과

• 논문은 von Neumann 대수 $\mathcal{M}_1, \mathcal{M}_2$의 $σ$-약하게 닫힌 부분대수 $\mathcal{A}_1, \mathcal{A}_2$ 사이의 $σ$-약하게 연속적인 카르탕 이중모듈러스 동형사상 $\theta: \mathcal{A}_1 \to \mathcal{A}_2$가, 분리 가능 예공간을 가정하지 않더라도 생성된 von Neumann 대수 $\mathcal{M}_1, \mathcal{M}_2$에서 정상적 $*$-동형사상 $\overline{\theta}: \mathcal{M}_1 \to \mathcal{M}_2$로 유일하게 확장됨을 증명한다.
• $\overline{\theta}$ 는 Bures 연속이며, $\overline{\theta}$ 가 $\mathcal{A}_1$ 에 제한된 결과는 $\theta$ 와 일치한다. 이는 일반화된 정규화자 위의 유한합의 Bures 수렴을 통해 보인다.
• 논문은 카르탕 MASA 위의 Bures-닫힘 이중모듈러스를 특정 아벨 von Neumann 대수의 프로젝션을 통해 매개변수화함으로써, 이중모듈러스에 대한 스펙트럴 정리의 더 약한 형태를 제공한다.
• $\mathcal{M}$ 의 카르탕 MASA $\mathcal{D}$ 를 포함하는 임의의 von Neumann 부분대수는 합성 가능하다는 것이 입증되며, 이는 모든 $σ$-약하게 닫힌 이중모듈러스를 포함하는 것의 교집합임을 의미한다.
• 증명은 펠드만-무어 구성과 이중모듈러스에 대한 스펙트럴 정리의 사용을 피하며, 대신 노름화 대수 기법과 Bures 및 $L^2$ 위상의 위상적 성질에 기반한다.
• 논문은 von Neumann 대수 내의 임의의 카르탕 MASA가 팝, 싱클레어, 스미스의 정의에 따라 노름화 대수임을 확인하며, 이 성질은 연속성 및 조밀성 결과를 확립하는 데 핵심적인 역할을 한다.