[논문 리뷰] Noncommutative Lp structure encodes exactly Jordan structure

David K. Sherman|ArXiv.org|2003. 09. 22.

Advanced Operator Algebra Research참고 문헌 17인용 수 13

한 줄 요약

이 논문은 $1 \leq p \leq \infty$, $p \neq 2$ 일 때, 두 von Neumann 대수의 비가환 $L^p$ 공간들이 등장하는 것과 정확히 동일한 조건은 대수들이 조르단 *-동형임을 증명한다. 핵심 결과는 비가환 $L^p$ 반이에르트-스톤 정리이며, 이는 $L^p(\mathcal{M})$와 $L^p(\mathcal{N})$ 사이의 전사等거리사상이 조르단 *-동형과 유니터리 코너제를 조합하여 유도됨을 특징짓는다.

ABSTRACT

We prove that for all 1 \le p \le \infty, p not 2, the Lp spaces associated to two von Neumann algebras M,N are isometrically isomorphic if and only if M and N are Jordan *-isomorphic. This follows from a noncommutative Lp Banach-Stone theorem: a specific decomposition for surjective isometries of noncommutative Lp spaces.

연구 동기 및 목표

• von Neumann 대수와 관련된 비가환 $L^p$ 공간들이 등거리적으로 동형임을 완전히 특성화하는 것.
• 이러한 등거리사상이 $p \neq 2$일 때 기저 대수의 조르단 *-동형류를 정확히 암시함을 증명하는 것.
• 유형 분류나 이전의 등거리사상 결과에 의존하지 않고 비가환 $L^p$ 반이에르트-스톤 정리를 위한 새로운 통합적 증명을 제공하는 것.
• 기존의 반이에르트-스톤 정리를 비가환 $L^p$ 공간으로 확장하여 전사 등거리사상의 정확한 구조를 규명하는 것.
• 등거리사상 클래스가 $0 < p \leq 1$일 때조차도 von Neumann 대수의 조르단 *-동형류를 완전히 결정함을 보여주는 것 (확장은 [26]에 기반함).

제안 방법

• 등거리사상 $T: L^p(\mathcal{M}) \to L^p(\mathcal{N})$의 구조를 분석하기 위해 $\mathcal{M}$의 프로젝션 $q_1, q_2$에 대한 코너 부분공간 $q_1 L^p(\mathcal{M}) q_2$에 집중한다.
• 비가환 클라크슨 부등식의 등호 조건을 이용하여, $T$가 이러한 코너 부분공간에서 수직성과 준내적곱을 유지함을 도출한다.
• $T$가 코너를 코너로 보존하고, 프로젝션 쌍에 대한 사상이 수직성과 중심지지도를 유지함을 확립한다.
• 대수 $\mathcal{M}$과 $\mathcal{N}$의 프로젝션 격자 사이의 옥시오름피즘을 구성하고, 이를 전사 조르단 *-동형 $J: \mathcal{M} \to \mathcal{N}$으로 확장한다.
• 등거리사상 $T$가 모든 양의 연속 함수형 $\varphi \in \mathcal{M}_*$에 대해 $T(\varphi^{1/p}) = w (\varphi \circ J^{-1})^{{1/p}}$를 만족함을 증명한다. 여기서 $w$는 $\mathcal{N}$의 유니터리이다.
• 일반적인 경우를 다루기 위해 $T$를 곱셈형과 반곱셈형 성분으로 분해하고, 이를 유니터리와 조르단 *-동형을 통해 조합한다.

실험 결과

연구 질문

• RQ1 어느 $p$ 값에서 $L^p(\mathcal{M})$의 등거리 동형류가 $\mathcal{M}$의 조르단 *-동형류와 정확히 일치하는가?
• RQ2 등거리사상의 구조를 $p=2$나 $p=\infty$를 가정하지 않고도 비가환 $L^p$ 공간 간에 완전히 특성화할 수 있는가?
• RQ3 von Neumann 대수의 $L^p$ 등거리사상 클래스가 그 조르단 *-동형류를 완전히 암시하는가?
• RQ4 유형 분류나 이전의 $L^p$ 등거리사상 결과에 의존하지 않고 비가환 $L^p$ 반이에르트-스톤 정리를 증명할 수 있는가?
• RQ5 $0 < p \leq 1$에서 $L^p$ 구조가 여전히 조르단 구조를 암시하는 정도는 어느 정도이며, 증명을 이 경우에 적응시킬 수 있는가?

주요 결과

• $1 \leq p \leq \infty$, $p \neq 2$ 일 때, $L^p$ 공간 $L^p(\mathcal{M})$와 $L^p(\mathcal{N})$이 등거리적으로 동형임은 정확히 $\mathcal{M}$과 $\mathcal{N}$이 조르단 *-동형임과 동치이다.
• 모든 전사 등거리사상 $T: L^p(\mathcal{M}) \to L^p(\mathcal{N})$의 구조는 전사 조르단 *-동형 $J: \mathcal{M} \to \mathcal{N}$과 $\mathcal{N}$의 유니터리 $w$에 의해 완전히 결정되며, 모든 양의 연속 함수형 $\varphi$에 대해 $T(\varphi^{1/p}) = w (\varphi \circ J^{-1})^{1/p}$를 만족한다.
• 증명은 $T$가 코너 부분공간 $q_1 L^p(\mathcal{M}) q_2$를 보존하고, 프로젝션 쌍에 유도된 사상이 중심지지도를 제외한 옥시오름피즘임을 기반으로 한다.
• 프로젝션 격자 간의 옥시오름피즘은 전사 조르단 *-동형으로 확장되며, 이는 등거리사상의 구조를 재건하는 데 핵심이다.
• 이 결과는 $0 < p \leq 1$일 때에도 성립한다. 다만 이 논문에는 증명이 포함되어 있지 않으며, [26]에서의 확장에 의존한다. 이 확장은 $p$-반노름 공간에 적용 가능한 다른 방법을 사용한다.
• 이 방법은 유형 분류나 이전의 등거리사상 정리에 의존하지 않으며, 유한한 유형 I 합성부를 포함한 모든 von Neumann 대수에 대해 통합적이고 자립적인 증명을 제공한다.