[論文レビュー] Mankiewicz's theorem and the Mazur--Ulam property for C*-algebras

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

Advanced Operator Algebra Research参考文献 16被引用数 9

ひとこと要約

この論文は、単位的C*-代数がMazur–Ulam性質を有することを証明している。つまり、その単位球面から別のノルム空間の単位球面への全単射等長写像は、実線形等長写像に拡張可能である。著者らはMankiewiczの定理を強化し、極点構造が豊富な凸体から任意の凸集合への全単射等長写像がアフィン写像であることを示した。これにより、従来のvon Neumann代数の場合に限られていた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*-代数に対してTingleyの問題を肯定的に解決すること。
• von Neumann代数に限らない一般の単位的C*-代数へMazur–Ulam性質を拡張すること。
• Mankiewiczの定理を一般化し、単位球の極点の閉凸包の内部が空でないような凸体から任意の凸集合への等長写像がアフィン写像であることを証明すること。
• 非可換作用素代数における単位球からの等長写像を実線形写像に拡張するための枠組みを確立すること。
• 自己随伴部分に線形拡張を施す面の保存性と組み合わせた、Mazur–Ulam性質の新たな証明戦略を提供すること。

提案手法

• 単位球の極点の閉凸包の内部が空でない場合、空間内の凸体から任意の凸集合への全単射等長写像がアフィン写像であることを示すことで、Mankiewiczの定理を強化する。
• 等長写像が極点および閉面を保存することを用いる。特にC*-代数では単位球面が豊富な面構造を有する。
• C*-代数の自己随伴部分に線形拡張を施す。これはヒルベルト空間ℋに対してℝ ⊕₁ ℋに等長同型であることを用いる。
• M₂(𝔽)におけるユニタリ群の分解を用い、問題を対角成分および非対角成分のユニタリに制限して線形性を検証することに帰着する。
• 純粋状態の拡張と双対性を用いて、等長写像とターゲット空間上の関数の合成が、元のC*-代数上の固定された状態と一致することを示す。
• ユニタリおよび自己随伴元の生成集合上で等長写像が固定された状態と一致することを示し、等長写像が線形に拡張可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 単位的C*-代数の単位球面から別のノルム空間の単位球面への全単射等長写像は、常に実線形等長写像に拡張可能か？
• RQ2 Mankiewiczの定理（凸体間の等長写像）を、定義域が極点構造が豊富な凸体で、余域が任意の凸集合である場合に拡張できるか？
• RQ3 Mazur–Ulam性質は、von Neumann代数に限らず、すべての単位的C*-代数に成立するか？
• RQ4 C*-代数における面および極点の構造を用いて、単位球上の等長写像の線形拡張を確立できるか？
• RQ5 強化されたMankiewicz性質（凸体から任意の凸集合への等長写像がアフィンであること）は、すべての単位的C*-代数の凸体に成立するか？

主な発見

• すべての単位的C*-代数はMazur–Ulam性質を有する。すなわち、その単位球面から別のノルム空間の単位球面への全単射等長写像は、常に実線形等長写像に拡張可能である。
• 単位C*-代数の凸体について、その単位球の極点の閉凸包の内部が空でない場合、強化されたMankiewicz性質が成り立つ。
• 証明により、極点構造が豊富な凸体から任意の凸集合への等長写像は必然的にアフィン写像であることが示され、Mankiewiczの元の結果が拡張された。
• C*-代数M₂(𝔽)について、任意の単位球上の等長写像が、生成集合上のユニタリで固定された状態と一致することで線形に拡張可能であることを示した。
• 任意の実von Neumann代数の自己随伴部分も、同じ手法を実線形構造に適用することでMazur–Ulam性質を有することが示された。
• 主な技術的進展は、極点構造が十分に豊富で、等長写像のアフィン性を強制するバナッハ空間内の凸体における等長写像の洗練された解析である。