[논문 리뷰] On the extension of isometries between the unit spheres of a C*-algebra and B(H)

Francisco J. Fernández-Polo, Antonio M. Peralta|arXiv (Cornell University)|2017. 01. 11.

Advanced Operator Algebra Research참고 문헌 21인용 수 7

한 줄 요약

이 논문은 복소 힐버트 공간 $H$ 위의 유한선형 연산자 대수 $B(H)$ 와 $B(K)$ 의 단위 구면 사이의 전사等거리사상에 대해 티ング리의 문제를 양의 해결책을 제공한다. 즉, 모든 이러한 등거리사상은 전체 $B(H)$ 와 $B(K)$ 연산자 대수 사이의 전사 복소선형 또는 켤레선형 등거리사상으로 확장됨을 증명한다. 핵심적 혁신은 비콤팩트 케이스인 $B(H)$ 에서 작동하도록 JB*-삼중체 이론의 기하학적 및 구조적 기법들을 적응시킨 데 있다. 이는 이중공간 $B(H)^{**}$ 에서 최소 부분등거리사상에 의해 결정되는 최대면을 다루는 데 성공하여, 이전 방법들이 무효화된 장애물을 극복한다.

ABSTRACT

Given two complex Hilbert spaces $H$ and $K$, let $S(B(H))$ and $S(B(K))$ denote the unit spheres of the C$^*$-algebras $B(H)$ and $B(K)$ of all bounded linear operators on $H$ and $K$, respectively. We prove that every surjective isometry $f: S(B(K)) o S(B(H))$ admits an extension to a surjective complex linear or conjugate linear isometry $T: B(K) o B(H)$. This provides a positive answer to Tingley's problem in the setting of $B(H)$ spaces.

연구 동기 및 목표

• 복소 힐버트 공간 위의 $B(H)$ 대수에서 Tingley의 문제를 해결하는 것.
• $B(H)$ 와 $B(K)$ 의 단위 구면 사이의 전사 등거리사상이 전체 연산자 대수 위에서 복소선형 또는 켤레선형 등거리사상으로 확장됨을 보이는 것.
• 최대 노름닫힘면이 이중공간 $B(H)^{**}$ 에서 최소 부분등거리사상에 의해 결정되는 도전 과제를 극복하는 것. 이는 유한차원 또는 컴팩트 연산자 설정에서 사용된 기법들이 무효화되는 이유이다.
• 확장이 유일하며 $B(H)$ 공간의 대수적 및 위상적 구조를 유지함을 확립하는 것.

제안 방법

• $B(H)$ 내의 노름닫힘면과 극점의 기하학적 성질 사용, 특히 최소 부분등거리사상에 초점.
• 정리 2.5 의 적용: 단위 구면 사이의 전사 등거리사상은 $A$ 내의 최소 부분등거리사상들을 $B(H)$ 내의 최소 부분등거리사상들로 매핑함을 보여주며, 이는 비콤팩트 케이스에서도 성립한다.
• 사영원을 이용한 대수의 분해를 통한 $B(K)$ 위의 실선형 등거리사상 $T$ 의 구성 및 모서리 대수 위에 유도된 등거리사상의 활용.
• 부분대수 위에서 유도된 등거리사상의 약한*연속성과 선형성을 활용하여 $T$ 가 단위 구면 위에서 $f$ 를 확장함을 보장.
• 최소 부분등거리사상에 대한 강력한 구조적 결과를 활용하여, JB*-삼중체 이론의 기법들(특히 [22] 및 [16])을 $B(H)$ 설정에 적응시키는 것.
• 프로포지션 3.1 을 통한 확장 증명: $T$ 가 모든 최소 부분등거리사상에서 $f$ 와 일치하므로, 밀도와 최대성 논증에 의해 전체 단위 구면에서 일치함을 보임.

실험 결과

연구 질문

• RQ1 모든 전사 등거리사상 $f: S(B(K)) \to S(B(H))$ 는 전체 연산자 대수 사이의 실선형 등거리사상으로 확장되는가?
• RQ2 컴팩트 C*-대수나 약한 컴팩트 JB*-삼중체에 사용된 기법들이 비콤팩트 케이스인 $B(H)$ 에서 적응 가능한가?
• RQ3 최소 부분등거리사상은 $B(H)$ 의 단위 구면 사이의 등거리사상 하에서 어떻게 행동하는가? 특히 그것들이 이중공간에 있을 경우 어떻게 되는가?
• RQ4 이러한 등거리사상의 확장은 반드시 복소선형 또는 켤레선형이어야 하는가? 유한차원성에 의존하지 않고 이를 증명할 수 있는가?
• RQ5 이 결과는 $B(H)$ 공간의 $\ell^\infty$-합으로 일반화될 수 있는가?

주요 결과

• 모든 전사 등거리사상 $f: S(B(K)) \to S(B(H))$ 는 유일하게 전사 복소선형 또는 켤레선형 등거리사상 $T: B(K) \to B(H)$ 로 확장되며, 이는 $B(H)$-공간에 대한 Tingley 문제를 해결한다.
• 확장은 약한*연속이며 연산자 대수의 대수적 구조를 유지한다.
• 최소 부분등거리사상은 $B(K)$ 에서 $B(H)$ 로 매핑되며, 이는 이러한 등거리사상 하에서 유지되는 핵심 기하학적 불변량이다.
• 증명은 최대면이 이중공간의 최소 부분등거리사상에 의해 결정되는 비콤팩트 설정에 대해 얼굴과 극점 기법을 새로운 방식으로 적응시킨 데 기반한다.
• 결과는 $B(H)$ 공간의 $\ell^\infty$-합으로 확장되어, 이 더 넓은 범주에서의 등거리사상 확장 성질이 성립함을 보여준다.
• 이전의 $K(H)$ 와 약한 컴팩트 JB*-삼중체 결과에 의존하지 않으며, Tingley 문제의 새로운 영역을 확립한다.