[論文レビュー] The Bochner-Schoenberg-Eberlein property for commutative Frechet algebras

Mitra Amiri, Ali Rejali|arXiv (Cornell University)|Dec 11, 2020

Advanced Operator Algebra Research参考文献 20被引用数 4

ひとこと要約

この論文は、BSE関数空間に一連のセミノルムを導入することで、可換なバナッハ代数から可換なフレシェ代数へBochner-Schoenberg-Eberlein（BSE）性質を一般化する。乗法的代数が有界なΔ-弱近似単位元を備えることと、乗法的代数がBSE空間に埋め込まれることの同値性を確立し、BSE空間が単位的であることの必要十分条件として、特定のセミノルムの上限が有限であること、すなわち$ \beta_M(\mathcal{A}) < \infty $であることを証明する。

ABSTRACT

A class of commutative Banach algebras which satisfy a Bochner-Schoenberg-Eberlein-type inequality was introduced by Takahasi and Hatori. We generalize this property for the commutative Frechet algebra A. Furthermore, some of the main results in the class of Banach algebras, will be verified and generalized for the Frechet case.

研究の動機と目的

• 可換バナッハ代数から可換フレシェ代数へBochner-Schoenberg-Eberlein（BSE）性質を拡張すること。
• 連続セミノルムの族$ (r_\ell) $を備えた空間$ C_{\text{BSE}}(\Delta(\mathcal{A})) $を定義し、フレシェ代数としての性質を調べること。
• 特に、近似単位元によるBSE代数の特徴づけといったバナッハ代数における主要な結果を、フレシェ代数の枠組みへ一般化すること。
• 空間$ C_{\text{BSE}}(\Delta(\mathcal{A})) $が単位的であるための条件を確立し、特定のセミノルムの上限$ \beta_M(\mathcal{A}) $の有限性と関連付けること。

提案手法

• 空間$ C_{\text{BSE}}(\Delta(\mathcal{A})) $に一連のセミノルム$ (r_\ell) $を導入し、可換で単純なフレシェ代数とする。
• BSEノルム$ \|\sigma\|_{\text{BSE}} $を、有限個の乗法的汎関数の和に関する点ごとの不等式を満たす定数$ \beta $の下界として定義する。
• ゲルファンドスペクトル上の点別収束位相を用いて、バナッハ代数における有界な$ \Delta $-弱近似単位元の概念をフレシェ代数へ適応する。
• 有界集合$ M \subset \mathcal{A} $に対応するセミノルム$ P_M $によって生成される、双対空間$ \mathcal{A}^* $上の強い位相を用い、重要な量$ \beta_M(\mathcal{A}) $を定義する。
• 近似の議論を用いて、$ \widehat{M(\mathcal{A})} \subseteq C_{\text{BSE}}(\Delta(\mathcal{A})) \Leftrightarrow \mathcal{A} \text{ が有界な } \Delta\text{-弱近似単位元を備える} $ の同値性を確立する。
• 双対性とノルム推定を用いて、$ C_{\text{BSE}}(\Delta(\mathcal{A})) $が単位的であることと、ある有界集合$ M \subset \mathcal{A} $に対して$ \beta_M(\mathcal{A}) < \infty $であることの同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 可換バナッハ代数から可換フレシェ代数へBSE性質をどのように一般化できるか。
• RQ2 フレシェ設定におけるBSE関数空間に適した位相的構造は何か。
• RQ3 乗法的代数がBSE空間に埋め込まれることによるBSE代数の特徴づけが、フレシェ代数の文脈でも成り立つかどうか。
• RQ4 フレシェ代数の文脈において、空間$ C_{\text{BSE}}(\Delta(\mathcal{A})) $が単位的であるための条件は何か。
• RQ5 $ \beta_M(\mathcal{A}) $の有限性と有界な$ \Delta $-弱近似単位元の存在との関係は何か。

主な発見

• セミノルムの族$ (r_\ell) $を備えた空間$ C_{\text{BSE}}(\Delta(\mathcal{A})) $は、可換で単純なフレシェ代数をなす。
• 乗法的代数$ \widehat{M(\mathcal{A})} $が$ C_{\text{BSE}}(\Delta(\mathcal{A})) $に含まれるための必要十分条件は、$ \mathcal{A} $が有界な$ \Delta $-弱近似単位元を備えることである。
• 空間$ C_{\text{BSE}}(\Delta(\mathcal{A})) $が単位的であることと、ある有界集合$ M \subset \mathcal{A} $に対して$ \beta_M(\mathcal{A}) < \infty $であることとは同値であり、ここで$ \beta_M(\mathcal{A}) $は双対セミノルム位相における正規化された有限和の$ |\sum c_i| $の上界として定義される。
• 定数関数1は、$ \beta_M(\mathcal{A}) < \infty $のときかつそのときに限り$ C_{\text{BSE}}(\Delta(\mathcal{A})) $に属する。これは双対性により単位的であることの確認となる。
• 証明は、$ \mathcal{A}^* $上の強い位相（セミノルム$ P_M $によって生成）に依拠しており、$ P_M(\sigma) = \sup \left| \sum c_i \sigma(\varphi_i) \right| $ が制約$ P_M(\sum c_i \varphi_i) \leq 1 $の下で成り立つことを利用している。
• 有界な$ \Delta $-弱近似単位元の存在と、$ \widehat{M(\mathcal{A})} \subseteq C_{\text{BSE}}(\Delta(\mathcal{A})) $の包含関係との同値性は、バナッハ代数における古典的結果をフレシェ設定へ一般化するものである。