[論文レビュー] The Mazur-Ulam property for commutative von Neumann algebras

Antonio M. Peralta, María Cueto-Avellaneda|arXiv (Cornell University)|Mar 1, 2018

Advanced Operator Algebra Research参考文献 29被引用数 3

ひとこと要約

この論文は、可換なフォン・ノイマン代数、特に $L^∞(Ω,μ)$ および $K$ をStonean空間とする $C(K)$ が、マズール＝ウラム性質を満たすことを確立している。すなわち、それらの単位球面間の全単射等長写像は、全体空間上への全単射実線形等長写像に拡張可能である。この結果は、$K$ がStoneanである $C(K)$ における等長写像の一般拡張定理を用いて導かれる。その根拠は、これらのC*-代数における射影の構造と単調完備性に由来する。

ABSTRACT

Let $(Ω,μ)$ be a $σ$-finite measure space. Given a Banach space $X$, let the symbol $S(X)$ stand for the unit sphere of $X$. We prove that the space $L^{\infty} (Ω,μ)$ of all complex-valued measurable essentially bounded functions equipped with the essential supremum norm, satisfies the Mazur-Ulam property, that is, if $X$ is any complex Banach space, every surjective isometry $Δ: S(L^{\infty} (Ω,μ)) o S(X)$ admits an extension to a surjective real linear isometry $T: L^{\infty} (Ω,μ) o X$. This conclusion is derived from a more general statement which assures that every surjective isometry $Δ: S(C(K)) o S(X),$ where $K$ is a Stonean space, admits an extension to a surjective real linear isometry from $C(K)$ onto $X$.

研究の動機と目的

• 可換なフォン・ノイマン代数が複素バナッハ空間におけるマズール＝ウラム性質を満たすかどうかという未解決問題を解消すること。特に複素設定における考察を目的とする。
• 既知の実バナッハ空間における等長写像拡張結果を、$L^\infty(\Omega,\mu)$ および $K$ をStonean空間とする $C(K)$ に対して複素化すること。
• $K$ がStoneanである場合に、$C(K)$ の単位球面からの全単射等長写像を、全体空間上への実線形等長写像に拡張する一般枠組みを提供すること。
• 従来の実変数手法の制限を克服するため、複素解析的およびC*-代数的アプローチを用いて、複素バナッハ空間に特化した新たな枠組みを構築すること。
• Stonean空間および単調完備性が、単位球面上の等長写像の拡張を可能にする役割を明確にすること。

提案手法

• 著者らは、$K$ がStonean空間である場合、$C(K)$ が単調完備であり、要素が有限個の射影の線形結合により一様近似可能であることに着目して、$S(C(K))$ から $X$ への任意の全単射等長写像 $\Delta$ が、$C(K)$ から $X$ への全単射実線形等長写像 $T$ に拡張可能であることを証明する。
• $K$ が超Stoneanであるとき、$C(K)$ は双対バナッハ空間としての構造を持つが、$L^\infty(\Omega,\mu)$ への応用を保証するため、より一般のStoneanの場合に焦点を当てる。
• 証明は、十分に多くの射影の存在と、単位球面上のスライスを用いた等長写像の挙動の制御に依存しており、ティンゲリー問題およびマズール＝ウラム定理の技法を適応したものである。
• Stonean空間では、実数値連続関数の有界かつ単調増加ネットが $C(K)$ 内に上限を持つことから、単調完備性が保証され、等長写像の拡張が可能になる。
• $C(K)$ の単位球面における等長写像の一般拡張結果を、$L^\infty(\Omega,\mu)$ に適用する。$L^\infty(\Omega,\mu)$ は、あるStonean空間 $K$ に対して $C(K)$ と等長同型であるため、結果を $L^\infty$ に移行できる。
• 著者らの手法は、先行研究（例：Tan [42]）の実変数手法に依存せず、$K$ がStoneanである $C(K)$ の代数的および位相的性質に基づく、複素数に適応された枠組みを構築している。

実験結果

リサーチクエスチョン

• RQ1 複素数値可 essentially 有界関数の空間 $L^\infty(\Omega,\mu)$ は、複素バナッハ空間におけるマズール＝ウラム性質を満たすか？
• RQ2 $K$ がStonean空間であるとき、$C(K)$ と他の複素バナッハ空間 $X$ の単位球面間の任意の全単射等長写像 $\Delta: S(C(K)) \to S(X)$ は、$C(K)$ から $X$ への実線形等長写像に拡張可能か？
• RQ3 $K$ がStoneanであるとき、$C(K)$ が単位球面からの等長写像の拡張を可能にする構造的性質は何か？
• RQ4 複素線形および共役線形等長写像の存在が複素可換フォン・ノイマン代数におけるマズール＝ウラム性質に与える影響は何か？
• RQ5 ティンゲリー問題の文脈において、実バナッハ空間に関する既存の結果を、複素バナッハ空間へどの程度一般化できるか？

主な発見

• $L^\infty(\Omega,\mu)$ は、複素バナッハ空間におけるマズール＝ウラム性質を満たす。つまり、任意の複素バナッハ空間 $X$ との間で、$L^\infty(\Omega,\mu)$ の単位球面と $X$ の単位球面との間の全単射等長写像は、$L^\infty(\Omega,\mu)$ から $X$ への全単射実線形等長写像に拡張可能である。
• 任意のStonean空間 $K$ に対して、任意の全単射等長写像 $\Delta: S(C(K)) \to S(X)$ は、$C(K)$ から $X$ への全単射実線形等長写像 $T$ に拡張可能であり、一般拡張原理を確立する。
• この拡張結果は、$K$ がStoneanであるときの $C(K)$ の単調完備性と射影構造に起因し、単位球面の等長写像の像の挙動を制御可能にする。
• この結果は、既存のティンゲリー問題の正の解を、複素可換フォン・ノイマン代数へ一般化し、文献における重要な空白を埋める。
• 著者らは、Tanの実 $L^\infty$ 結果の複素版が直接拡張できないことを示し、C*-代数的および位相的性質に基づく、新たなアプローチの必要性を明らかにした。
• 本研究は、$K$ がStoneanである $C(K)$ が、複素カテゴリにおけるマズール＝ウラム性質の自然な設定であることを確認した。これは、既存の実バナッハ空間に関する結果を複素バナッハ空間へと拡張した。