[论文解读] 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函数空间上引入一族半范数，将博赫纳-舍恩伯格-埃伯莱因（BSE）性质从交换巴拿赫代数推广到交换弗雷歇代数。它证明了乘子代数嵌入BSE空间当且仅当代数存在有界的Δ-弱逼近单位元，并且证明了BSE空间是含幺的，当且仅当某一族半范数的上确界有限。

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.

研究动机与目标

• 将博赫纳-舍恩伯格-埃伯莱因（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空间的刻画是否仍成立？
• 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 属于 $ C_{\text{BSE}}(\Delta(\mathcal{A})) $ 当且仅当 $ \beta_M(\mathcal{A}) < \infty $，通过对其偶性确认了含幺性。
• 证明依赖于 $ \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})) $ 之间的等价性，推广了巴拿赫代数中的经典结果至弗雷歇框架。