[論文レビュー] Frechet algebras in abstract Harmonic analysis

Zahra Alimohammadi, Ali Rejali|arXiv (Cornell University)|Nov 27, 2018

Holomorphic and Operator Theory参考文献 43被引用数 4

ひとこと要約

この論文は、抽象調和解析におけるFréchet代数について包括的なサーベイを提供し、Banach代数と比較して、アメニタリティ、Arens正則性、Segal代数といった主要な概念を一般化している。ホモモーフィズムの連続性、乗法的自己準同型代数の構造、および群や半群上の重み付き代数におけるArens正則性条件の同値性に関する基礎的結果を確立している。

ABSTRACT

We provide a survey of the similarities and differences between Banach and Frechet algebras including some known results and examples. We also collect some important generalizations in abstract harmonic analysis; for example, the generalization of the concepts of vector-valued Lipschitz algebras, abstract Segal algebras, Arens regularity, amenability, weak amenability, ideal amenability, etc.

研究の動機と目的

• 抽象調和解析の文脈において、Fréchet代数とBanach代数を比較・対比すること。
• 古典的な概念—例えばアメニタリティ、弱アメニタリティ、理想アメニタリティ、双射影性—をBanach代数からFréchet代数へ一般化すること。
• 特に半単純性および全射条件の下で、Fréchet代数間のホモモーフィズムの連続性を調査すること。
• Segal代数および乗法的自己準同型代数の理論をFréchet設定へ拡張し、位相的性質とイデアル構造を含むこと。
• Fréchet代数のArens正則性とその二重双対との関係、特に重み付き群代数および半群代数の文脈における関係を探索すること。

提案手法

• 可分な半ノルムの基本的系を持つ局所凸位相代数の枠組みを用いて、Fréchet代数を定義する。
• 局所乗法的凸（lmc）代数における超連続乗法の理論を適用し、Fréchet代数がその二重双対上に明確に定義されたArens積を有することを確立する。
• 双可換代数の概念を用いて、Arens積構造における二重双対および単位元に関する結果を一般化する。
• 0クラスタ関数の概念を適用し、群および半群上の重み付き代数におけるArens正則性を特徴付ける。
• 乗法的自己準同型代数における厳密位相、一様位相、コンパクト開位相を用いて、Fréchet代数におけるSegal代数構造を研究する。
• Pirkovskiiらの平坦循環的加群および近似コンタクト性に関する結果を活用し、Fréchet代数へのホモロジー的性質の拡張を図る。

実験結果

リサーチクエスチョン

• RQ1 商代数が半単純である場合に、Fréchet代数間の全射的ホモモーフィズムが連続となる条件は何か、特にその場合の連続性条件は？
• RQ2 古典的アメニタリティ理論—弱アメニタリティ、理想アメニタリティ、および双射影性—は、Fréchet代数へどの程度まで拡張可能か？
• RQ3 特に重み付き群および半群代数の文脈において、Fréchet代数におけるArens正則性の特徴づけは何か？
• RQ4 Fréchet代数の乗法的自己準同型代数とSegal代数構造との関係は何か？ また、それらの振る舞いを支配する位相は何か？
• RQ5 Fréchet代数のArens正則性とその二重双対との間には同値性があるか？ また、重み関数の0クラスタ性とはどのように関係するか？

主な発見

• $\mathcal{B}$ が半単純なFréchet代数であり、$T: \mathcal{A} \to \mathcal{B}$ が特定の連続性条件を満たす全射的ホモモーフィズムであるならば、$T$ は連続である。これは、ジョンソンのノルムの一意性定理を一般化する。
• 任意の半単純なBanach代数は、Fréchet代数としての唯一の位相を持つ。これは、Banachの場合に全射的ホモモーフィズムの連続性が自動的に成立するためである。
• 可換なFréchet $Q$-代数 $\mathcal{B}$ が近似単位元を持つとき、$\mathcal{B}$ のモジュラー最大閉イデアルの空間と、$\mathcal{B}$ に属する任意のSegal Fréchet代数 $\mathcal{A}$ のそれらは位相的に同相である。
• Fréchet代数 $\mathcal{A}$ がArens正則であるための必要十分条件は、$\mathcal{A}^{**}$ 上での第一および第二Arens積が一致することであり、この性質は双可換構造においても保たれる。
• 局所コンパクト群 $G$ と重み $w$ に対して、$L^1(G,w)^{**}$ がArens正則であるための必要十分条件は、$\Omega(x,y) = \frac{w(xy)}{w(x)w(y)}$ が0クラスタであるか、$L^1(G)$ がArens正則であることである。
• 有限個のイデムポテン要素を持つ逆半群 $S$ に対して、$\ell^1(S)$ がArens正則であるための必要十分条件は $S$ が有限であることであり、$w$ が下から有界で $\Omega$ が0クラスタであるならば、$S$ は可算である。