[논문 리뷰] Mankiewicz's theorem and the Mazur--Ulam property for C*-algebras

Michiya Mori, Narutaka Ozawa|arXiv (Cornell University)|2018. 04. 27.

Advanced Operator Algebra Research참고 문헌 16인용 수 9

한 줄 요약

이 논문은 모든 유니탈 C*-대수에서 마조르-울람 성질을 증명한다: 즉, 그 단위 구면과 다른 노름 공간의 단위 구면 사이의 전사等距사상은 실선형 등距사상으로 확장된다는 것이다. 저자들은 만키에비치의 정리를 강화하여, 극점 구조가 풍부한 볼록체에서 임의의 볼록집합으로의 전사 등距사상은 반드시 애프린이 됨을 보이며, 이는 이전까지 알려진 볼륨-바일레르 대수의 경우를 초월해 C*-대수의 등距사상 확장 결과를 가능하게 한다.

ABSTRACT

We prove that every unital C*-algebra $A$ has the Mazur--Ulam property. Namely, every surjective isometry from the unit sphere $S_A$ of $A$ onto the unit sphere $S_Y$ of another normed space $Y$ extends to a real linear map. This extends the result of A. M. Peralta and F. J. Fernandez-Polo who have proved the same under the additional assumption that both $A$ and $Y$ are von Neumann algebras. In the course of the proof, we strengthen Mankiewicz's theorem and prove that every surjective isometry from a closed unit ball with enough extreme points onto an arbitrary convex subset of a normed space is necessarily affine.

연구 동기 및 목표

• 유니탈 C*-대수에 대해 티ngle의 문제를 긍정적으로 해결하기 위해.
• 볼륨-바일레르 대수를 초월해 일반적인 유니탈 C*-대수로 마조르-울람 성질을 확장하기 위해.
• 볼록체의 극점의 닫힌 볼록결합이 내부를 가진다면, 그로부터 임의의 볼록집합으로의 등距사상은 애프린임을 증명함으로써 만키에비치의 정리를 일반화하기 위해.
• 비가환 연산자 대수에서 단위 구면에서의 등距사상이 실선형 변환으로 확장될 수 있는 프레임워크를 구축하기 위해.
• 자기수반 부분에서의 면 보존과 선형 확장을 이용한 마조르-울람 성질에 대한 새로운 증명 전략을 제공하기 위해.

제안 방법

• 유니탈 C*-대수의 단위구의 극점의 닫힌 볼록결합이 내부를 가진다면, 그 공간의 볼록체에서 임의의 볼록집합으로의 전사 등距사상은 반드시 애프린임을 증명함으로써 만키에비치의 정리를 강화한다.
• 등距사상은 극점과 닫힌 면을 보존하며, 특히 C*-대수에서는 단위 구면이 풍부한 면 구조를 가짐을 이용한다.
• 실선형 등距사상으로의 확장을 위해, 힐베르트 공간 ℋ에 대해 ℝ ⊕₁ ℋ와 등거리적으로 동형인 자기수반 부분을 활용한다.
• M₂(𝔽)에서 유니터리 군의 분해를 이용해 문제를 대각 및 비대각 유니터리에서의 선형성 검증으로 단순화한다.
• 순수 상태의 확장을 활용하고 쌍대성을 적용하여, 등距사상과 목표 공간의 함수형식의 합성 결과가 원래 C*-대수에서 고정된 상태와 일치함을 보인다.
• 등距사상이 생성 집합인 유니터리와 자기수반 원소에서 고정된 상태와 일치함을 보여 선형 확장을 증명한다.

실험 결과

연구 질문

• RQ1 유니탈 C*-대수의 단위 구면에서 다른 노름 공간의 단위 구면으로의 모든 전사 등距사상은 실선형 등距사상으로 확장되는가?
• RQ2 만키에비치의 정리에서, 정의역이 극점 구조가 풍부한 볼록체이고 공역이 임의의 볼록집합일 경우에도 등距사상의 애프린성은 강화될 수 있는가?
• RQ3 마조르-울람 성질은 볼륨-바일레르 대수를 초월해 모든 유니탈 C*-대수에서 성립하는가?
• RQ4 C*-대수에서 면과 극점의 구조를 이용해 단위 구면에서의 등距사상의 선형 확장을 확립할 수 있는가?
• RQ5 강화된 만키에비치 성질—즉, 볼록체에서 임의의 볼록집합으로의 등距사상이 애프린임—은 모든 유니탈 C*-대수의 볼록체에서 성립하는가?

주요 결과

• 모든 유니탈 C*-대수에는 마조르-울람 성질이 있으며, 이는 그 단위 구면에서 다른 노름 공간의 단위 구면으로의 모든 전사 등距사상이 실선형 등距사상으로 확장된다는 뜻이다.
• 유니탈 C*-대수의 단위구의 극점의 닫힌 볼록결합이 내부를 가진다면, 그 대수의 모든 볼록체에 대해 강화된 만키에비치 성질이 성립한다.
• 증명 과정에서 극점 구조가 풍부한 볼록체에서 임의의 볼록집합으로의 등距사상은 반드시 애프린임을 보였으며, 이는 만키에비치의 원래 결과를 확장한다.
• M₂(𝔽) 대수의 경우, 등距사상이 생성 집합인 유니터리에서 고정된 상태와 일치함을 보여 단위 구면에서의 등距사상이 선형으로 확장됨을 증명한다.
• 모든 실볼륨-바일레르 대수의 자기수반 부분 역시 동일한 방법으로 마조르-울람 성질을 가짐을 보였다.
• 핵심 기술적 진전은 극점 구조가 충분히 풍부하여 등距사상의 애프린 성질을 강제하는 바나흐 공간 내 볼록체에서의 등距사상 분석을 정교화한 데 있다.