[논문 리뷰] On the structure of isometries between noncommutative Lp spaces

David K. Sherman|ArXiv.org|2003. 11. 19.

Advanced Operator Algebra Research참고 문헌 30인용 수 5

한 줄 요약

이 논문은 도메인 von Neumann 대수군이 약간의 준반무한성(AS)을 만족할 경우, 비가환 $L^p$ 공간 사이의 등장사상(Isometries)이 '표준적' 형태—즉, 조르단 $^*$-단사형, 부분 등장사상, 양의 프로젝션으로 정의된 형태—를 갖는다는 것을 증명한다. $1 \leq p < \infty$, $p \neq 2$인 경우에 해당한다. 주요 기여는 이러한 조건 하에서 이러한 등장사상의 완전한 매개변수화를 제공함으로써, 준반무한성 조건 하에서 Yeadon의 정리 이외의 결과를 보다 넓게 확장하고 독립적으로 증명하는 데 있다.

ABSTRACT

We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p &lt; infty, p not 2) can be canonically expressed in a certain simple form whenever M_1 has variants of Watanabe's extension property. Conversely, this form always defines an isometry provided that M_1 is "approximately semifinite" (defined below). Although neither of these properties is fully understood, we show that they are enjoyed by all semifinite algebras and hyperfinite algebras (with no summand of type I_2), plus others. Thus the classification is stronger than Yeadon's theorem for semifinite algebras (and its recent improvement in [JRS]), and the proof uses independent techniques. Related to this, we examine the modular theory for positive projections from a von Neumann algebra onto a Jordan image of another von Neumann algebra, and use such projections to construct new Lp isometries by interpolation. Some complementary results and questions are also presented.

연구 동기 및 목표

• Yeadon의 정리의 범위를 넘어서, $1 \leq p < \infty$, $p \neq 2$인 비가환 $L^p$ 공간 사이의 등장사상을 분류하는 것.
• 모든 $L^p$ 등장사상이 '표준적'—즉, 조르단 $^*$-단사형, 부분 등장사상, 양의 프로젝션을 통해 표현 가능한지 여쭤보는 것.
• 표준적 형태가 항상 등장사상이 되는 조건을 규명하는 것—특히 확장 성질(EP)과 약간의 준반무한성(AS)의 역할에 초점을 맞춘다.
• 모듈러 이론, 양의 프로젝션, 그리고 보간 기법 간의 상호작용을 탐색하여 새로운 $L^p$ 등장사상을 구성하는 것.

제안 방법

• Bunce와 Wright의 정리를 사용하여 모든 $L^1$ 등장사상이 표준적임을 증명함으로써 기초 단계를 확립한다.
• Watanabe의 원래 확장 성질의 변형으로서 $p$-확장 성질(EP$_p$)을 도입하여, $L^1$에서의 등장사상을 $L^p$로 올리는 데 필요한 조건을 마련한다.
• 약간의 준반무한성(AS) von Neumann 대수군을, 반무한 부분대수군의 네트워크로 근사 가능한 대수군으로 정의한다.
• 데이터 $(J, P, w)$에서 $L^p$ 등장사상을 보간을 통해 구성한다. 여기서 $J$는 조르단 $^*$-단사형, $P$는 양의 프로젝션, $w$는 부분 등장사상이다.
• 만약 $P$가 $J(\mathcal{M}_1)^{\prime\prime}$ 위로의 조건부 기대에 의해 인수화된다면, 사상 $\varphi^{1/p} \mapsto (\varphi \circ J^{-1} \circ P)^{1/p}$가 선형적으로 $L^p$ 등장사상으로 확장됨을 증명한다.
• 강한 연산자 위상 수렴과 스펙트럼 근사 기법을 사용하여 구성된 사상의 연속성과 정상성(continuity and normality)을 검증한다.

실험 결과

연구 질문

• RQ1 비가환 $L^p$ 공간 사이의 모든 $L^p$ 등장사상은 조르단 $^*$-단사형, 부분 등장사상, 양의 프로젝션을 포함하는 '표준적' 형태인가?
• RQ2 Watanabe의 성질의 변형인 $p$-확장 성질(EP$_p$)이 $L^p$ 등장사상이 표준적임을 보장하는가? 특히 EP$_1$과 함께라면?
• RQ3 도메인 대수가 약간의 준반무한성(AS)을 만족할 경우, 표준적 형태가 항상 등장사상이 되는가? 특히 $\mathcal{M}_1$에 유형 $\mathrm{I}_2$ 합성부가 없을 경우에 초점을 맞춘다.
• RQ4 양의 프로젝션 $P: \mathcal{M}_2 \to J(\mathcal{M}_1)$이 $J(\mathcal{M}_1)^{\prime\prime}$ 위로의 조건부 기대에 의해 인수화되는 조건은 무엇인가? 이는 보간을 통해 $L^p$ 등장사상을 정의하는 데 필수적이다.
• RQ5 보간된 $L^p$ 등장사상의 참조 상태에 대한 의존성은 제거 가능한가? 그리고 언제 제거 가능한가?

주요 결과

• Bunce와 Wright의 정리를 통해, 비가환 $L^p$ 공간 사이의 모든 $L^1$ 등장사상은 표준적임이 입증되었다.
• 도메인 von Neumann 대수군 $\mathcal{M}_1$이 EP$_p$와 EP$_1$을 모두 만족할 경우, $L^p$ 등장사상은 표준적이다. 양의 등장사상의 경우, EP$_1$만으로도 충분하다.
• 모든 약간의 준반무한성(AS) 대수군 중에서 유형 $\mathrm{I}_2$ 합성부가 없는 대수군은 모든 $p \in [1, \infty)$에 대해 EP$_p$를 만족하며, 이는 Yeadon의 결과를 일반화한다.
• AS 대수군의 범주는 모든 반무한 대수군, 유형 $\mathrm{I}_2$를 제외한 초유한 대수군, 그리고 가산 예비쌍대를 가진 유형 $\mathrm{III}_0$ 인성군을 포함한다.
• 만약 프로젝션 $P$가 $J(\mathcal{M}_1)^{\prime\prime}$ 위로의 조건부 기대에 의해 인수화된다면, 사상 $\varphi^{1/p} \mapsto (\varphi \circ J^{-1} \circ P)^{1/p}$는 선형적으로 잘 정의된 $L^p$ 등장사상으로 확장된다.
• 도메인 대수가 AS일 경우, 보간된 등장사상이 참조 상태에 의존하지 않게 되며, 이는 $J$, $P$, $w$로부터 $L^p$ 등장사상을 표준적으로 구성할 수 있음을 보장한다.