[논문 리뷰] Tingley's problem for $p$-Schatten von Neumann classes

Francisco J. Fernández-Polo, Enrique Jordá외 1명|arXiv (Cornell University)|2018. 03. 02.

Advanced Banach Space Theory인용 수 1

한 줄 요약

이 논문은 복소 힐버트 공간 $H$ 위의 $p$-스하텐 반네umann 클래스 $C_p(H)$의 단위 구면에 대해 티링글리 문제를 해결한다. 모든 이러한 단위 구면 사이의 전사等거리사상이 전체 공간 상에서 복소선형 또는 켤레선형 전단사 등거리사상으로 확장된다는 것을 증명한다. 증명은 최소 부분 등거리사상의 보존에 기반하며, 일반화된 위그너 정리와 $p$-노름에 대한 항등식 원리의 응용을 포함한다.

ABSTRACT

Let $H$ and $H'$ be a complex Hilbert spaces. For $p\in(1, \infty)\backslash\{2\}$ we consider the Banach space $C_p(H)$ of all $p$-Schatten von Neumann operators, whose unit sphere is denoted by $S(C_p(H))$. We prove that every surjective isometry $\Delta: S(C_p(H)) o S(C_p(H'))$ can be extended to a complex linear or to a conjugate linear surjective isometry $T:C_p(H) o C_p(H')$.

연구 동기 및 목표

• 복소 힐버트 공간에서 $p \in (1, \infty) \setminus \{2\}$ 인 $p$-스하텐 반네umann 클래스 $C_p(H)$ 의 비가환 설정에서 티링글리 문제를 해결하기 위해.
• 두 such 공간의 단위 구면 사이의 전사 등거리사상이 전체 연산자 공간 상에서 선형 또는 켤레선형 등거리사상으로 확장되는지 여부를 규명하기 위해.
• 최소 부분 등거리사상이 이러한 등거리사상 하에서 보존됨을 확립하여 일반화된 위그너 유형 정리의 적용을 가능하게 하기 위해.
• 모든 최소 부분 등거리사상으로부터의 $p$-노름 거리에 기반한 항등식 원리를 일반화하여 연산자를 특성화하기 위해.
• 이전의 트레이스 클래스 및 컴팩트 연산자에 대한 결과를 $p \neq 2$ 인 더 넓은 $p$-스하텐 공간으로 일반화하기 위해.

제안 방법

• 전사 등거리사상 $\Delta: S(C_p(H)) \to S(C_p(H'))$ 가 $C_p(H)$ 내의 최소 부분 등거리사상들을 $C_p(H')$ 내의 최소 부분 등거리사상들로 매핑함을 증명한다. 즉, $\Delta(U_{\min}(H)) = U_{\min}(H')$.
• 최소 부분 등거리사상 상에서 전이 확률의 보존을 이용하여 L. 몰나르(2014)의 일반화된 위그너 정리를 적용한다. 이 정리는 이러한 전단사 사상이 유니터리 또는 앤티유니터리 켤레 변환임을 분류한다.
• 새로운 항등식 원리 수립: 모든 $e \in U_{\min}(H)$ 와 $\gamma \in \mathbb{T}$ 에 대해 $\|a - \gamma e\|_p = \|b - \gamma e\|_p$ 이면 $a = b$ (정리 2.10).
• 등거리사상을 유한차원 부분공간으로 제한하여 $C_p(H)$ 가 $M_m(\mathbb{C})$ 와 등거리임을 이용하고, 항등식 원리를 적용하여 유한계수 연산자에 대한 불변성을 보인다.
• 유한계수 연산자의 노름 밀도와 $\Delta$ 의 연속성에 기반하여 결과를 전체 단위 구면으로 확장한다.
• 결론적으로 $\Delta$ 는 전체 공간 $C_p(H)$ 상에서 유니터리 또는 앤티유니터리 켤레 변환에 의해 구현되며, 따라서 복소선형 또는 켤레선형 등거리사상으로 확장됨을 도출한다.

실험 결과

연구 질문

• RQ1 모든 전사 등거리사상 $\Delta: S(C_p(H)) \to S(C_p(H'))$ 가 $p$-스하텐 반네umann 클래스 $C_p(H)$ 와 $C_p(H')$ 의 단위 구면 사이에서 전체 공간 상에서 복소선형 또는 켤레선형 등거리사상으로 확장되는가?
• RQ2 최소 부분 등거리사상은 이러한 등거리사상 하에서 어떻게 보존되는가? 그리고 이를 통해 전반적 등거리사상을 재구성할 수 있는가?
• RQ3 모든 최소 부분 등거리사상으로부터의 $p$-노름 거리에 기반한 항등식 원리는 $C_p(H)$ 내의 연산자를 유일하게 결정할 수 있는가?
• RQ4 특히 $p \neq 2$ 인 경우, $C_p(H)$ 의 비가환 구조는 등거리사상의 확장에 있어 장애 요소로 작용하는가, 아니면 가능성을 제공하는가?
• RQ5 기존의 가환 및 기타 비가환 연산자 공간에서의 티링글리 문제 해결 결과는 어느 정도 일반화될 수 있는가?

주요 결과

• 모든 전사 등거리사상 $\Delta: S(C_p(H)) \to S(C_p(H'))$ 는 $p \in (1, \infty) \setminus \{2\}$ 에 대해 전체 공간 상에서 복소선형 또는 켤레선형 전단사 등거리사상 $T: C_p(H) \to C_p(H')$ 로 확장된다.
• 등거리사상 $\Delta$ 는 최소 부분 등거리사상의 집합을 보존한다: $\Delta(U_{\min}(H)) = U_{\min}(H')$, 그리고 제한 $\Delta|_{U_{\min}(H)}$ 는 전사 등거리사상이다.
• 전이 확률이 보존된다: 모든 $e, v \in U_{\min}(H)$ 에 대해 $\operatorname{tr}(\Delta(e)^* \Delta(v)) = \operatorname{tr}(e^* v)$ 이며, 이는 몰나르의 일반화된 위그너 정리의 적용을 가능하게 한다.
• 새로운 항등식 원리가 확립되었다: 모든 $e \in U_{\min}(H)$ 와 $\gamma \in \mathbb{T}$ 에 대해 $\|a - \gamma e\|_p = \|b - \gamma e\|_p$ 이면 $a = b$.
• 유한차원 부분공간에서 등거리사상은 모든 유한계수 연산자를 고정하며, 밀도와 연속성에 기반하여 $S(C_p(H))$ 의 모든 원소에 대해 고정된다.
• 최종 확장 형태는 $T(x) = u x v$ 또는 $T(x) = u \overline{x} v$ 를 만족하는 유니터리 $u, v$ 를 포함하며, 이는 전체 확장 결과를 증명한다.