[論文レビュー] Amenability properties of Banach algebra valued continuous functions

Reza Ghamarshoushtari, Yong Zhang|arXiv (Cornell University)|Jan 22, 2020

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

ひとこと要約

この論文は、コンパクトハウスドルフ空間 $ X $ 上の $ A $-値連続関数のバナッハ代数 $ C(X,A) $ が、係数代数 $ A $ がアメニタリであるための必要十分条件であることを示している。グロテンディークの不等式を用いて有界な近似対角を構成することで、その結果を得ている。さらに、$ A $ がコンパクトに中心的な近似対角を持つならば、$ C(X,A) $ はコンパクトに近似可能な対角を引き継ぐことが示され、$ A $ が可換で弱アメニタリであり、有界な近似単位元を持つとき、$ C(X,A) $ が弱アメニタリであることも証明している。

ABSTRACT

Let $X$ be a compact Hausdorff space and $A$ a Banach algebra. We investigate amenability properties of the algebra $C(X,A)$ of all $A$-valued continuous functions. We show that $C(X,A)$ has a bounded approximate diagonal if and only if $A$ has a bounded approximate diagonal; if $A$ has a compactly central approximate diagonal (unbounded) then $C(X,A)$ has a compactly approximate diagonal. Weak amenability of $C(X,A)$ for commutative $A$ is also considered.

研究の動機と目的

• コンパクトハウスドルフ空間 $ X $ 上の $ A $-値連続関数のバナッハ代数 $ C(X,A) $ のアメニタリティ特性を特定すること。
• $ C(X,A) $ が有界な近似対角、コンパクトに近似可能な対角、あるいは弱アメニタリである条件を特徴づけること。
• $ C(X) $ のアメニタリティに関する既知の結果を、任意のバナッハ代数 $ A $ に値をとる一般化された設定 $ C(X,A) $ に拡張すること。
• 係数代数 $ A $ から関数代数 $ C(X,A) $ へのアメニタリティ的性質の継承を調査すること。

提案手法

• グロテンディークの不等式を用いて、$ C(X) \hat{\otimes} C(X) $ 内の単純テンソルの射影テンソルノルムを制御し、近似対角に一様な有界性を保証する。
• テンソル積の技法と射影ノルムを用いて、$ A $ からの有界な近似対角を引き上げることで、$ C(X,A) $ における有界な近似対角を構成する。
• $ A $ のコンパクトに中心的な近似対角を用いて、$ C(X,A) $ のコンパクトに近似可能な対角を、$ C(X,A) $ のコンパクト部分集合上で一様近似を要件として定義する。
• ジョンソンによって確立された、有界な近似対角によるアメニタリティの特徴づけを応用し、問題を $ C(X,A) \hat{\otimes} C(X,A) $ 内のそのようなネットの構成に還元する。
• 弱アメニタリで可換な $ A $ に対して、有界な近似単位元に沿った微分の弱*極限を用いて、$ C(X,A) $ 上の微分が消えることを示す。
• 双対性 $ C(X,A)^* \cong I_1(C(X), A^*) $ を活用して、双対空間への微分の解析を行い、弱アメニタリティの確立に寄与する。

実験結果

リサーチクエスチョン

• RQ1 $ C(X,A) $ がいつアメニタリであり、そのアメニタリティは係数代数 $ A $ のそれとどのように関係するか。
• RQ2 $ C(X,A) $ がいつコンパクトに近似可能な対角をもつのか、その条件は $ A $ の構造とどのように関係するか。
• RQ3 弱アメニタリティの $ A $ からの持ち上げは可能か。その場合、追加の仮定は何か。
• RQ4 グロテンディークの不等式と射影テンソルノルムは、$ C(X,A) $ 内の近似対角の構成にどのように寄与するか。

主な発見

• グロテンディークの不等式を用いて $ C(X,A) \hat{\otimes} C(X,A) $ 内に有界な近似対角を構成することで、$ C(X,A) $ がアメニタリであるための必要十分条件は、係数代数 $ A $ がアメニタリであることであると示された。
• もし $ A $ がコンパクトに中心的な近似対角を持つならば、$ C(X,A) $ はコンパクトに近似可能な対角を有し、$ C(X,A) $ のコンパクト部分集合上で一様近似が保証される。
• 可換な $ A $ に対して、$ A $ が弱アメニタリで有界な近似単位元を持つならば、$ C(X,A) $ は弱アメニタリである。これは、双対空間への連続な微分がすべて内微分であるためである。
• $ C(X,A) $ 内の近似対角の構成は、テンソル積写像を介して $ A $ からの有界な近似対角を引き上げることに依存しており、グロテンディーク定数 $ K_G^\mathbb{C} $ を用いて射影ノルムを制御している。
• 弱アメニタリティの証明では、有界な近似単位元に沿った微分の弱*極限を用い、$ C(X) $ における誘導された微分が $ C(X) $ のアメニタリティにより消えることを示した。
• 双対空間 $ C(X,A)^* $ は、$ C(X) $ から $ A^* $ への1-整形式の空間と等長同型である。これは、弱アメニタリティの議論における微分の解析に不可欠である。