[論文レビュー] Semiuniform semigroups and convolution

Jan Pachl|ArXiv.org|Nov 21, 2008

Advanced Operator Algebra Research参考文献 8被引用数 12

ひとこと要約

この論文は、一般化された有限測度の畳み込みを枠組みとして、位相群からより広いクラスの半群へと結果を一般化するための、半均一半群を導入する。無限離散半群がやや弱い消去性の性質を満たす場合、それらはアーミタブルであることが示され、畳み込み代数における位相的中心の取り扱いやすい特徴づけが可能になる。

ABSTRACT

Semiuniform semigroups provide a natural setting for the convolution of generalized finite measures on semigroups. A semiuniform semigroup is said to be ambitable if each uniformly bounded uniformly equicontinuous set of functions on the semigroup is contained in an ambit. In the convolution algebras constructed over ambitable semigroups, topological centres have a tractable characterization.

研究の動機と目的

• 位相群から半均一半群へと畳み込み代数と位相的中心の理論を拡張すること。
• 従来位相群に対して定義されていたアーミタブル性の概念を半均一半群へ一般化すること。
• アーミタブルな半均一半群上の畳み込み代数における位相的中心を特徴づけること。
• 無限離散半群がアーミタブルであるための条件を確立し、畳み込み代数に関する構造的結果を可能にすること。
• 均一構造を備えた半群における畳み込みおよび測度代数を統一的に扱うフレームワークを提供すること。

提案手法

• 右乗法の半均一積 $X \ast X$ における一様連続性により、半均一半群を定義する。
• $\mathbf{U}_b(X)$ 上の有界一様連続汎関数の空間 $\mathbf{M}(X)$ を、UEB位相を備えて定義する。
• すべての擬距離 $\Delta$ に対して $\mathrm{Lip}^+(\Delta)$ 上で連続な測度の部分空間 $\mathbf{M}_u(X)$ を定義する。
• 弱-*コンactification $\overline{X}$ と均一完備化 $\widehat{X} = \overline{X} \cap \mathbf{M}_u(X)$ を構成する。
• 順序数 $\alpha$ に対して、$F_\alpha x_\alpha$ が互いに素で、$x \mapsto x x_\alpha$ が $F_\alpha$ 上で単射であるような要素 $x_\alpha$ を超限帰納法で構成する。
• $[0,1]^X$ の位相を、$|X|$ 個の基底を備えるように用い、その軌道が稠密である関数 $f$ を構成することで、アーミタブル性を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、半群 $X$ の畳み込み代数の位相的中心を扱いやすい形で特徴づけられるか？
• RQ2 従来位相群に対して定義されていたアーミタブル性の概念を、半均一半群へどのように一般化できるか？
• RQ3 どの無限離散半群がアーミタブルであるか。また、どのような構造的性質がそれを保証するか？
• RQ4 半群の代数的性質（例えば、消去性）とその畳み込み代数の位相的構造との関係は何か？
• RQ5 位相的中心と強いアーレンス不規則性に関する結果は、位相群の範囲を越えてどの程度一般化可能か？

主な発見

• 右消去性と弱い左消去性を満たす条件 (1) と (2) を満たす任意の無限離散半群は、$[0,1]^X$ において稠密な軌道を有する。これは、それがアーミタブルであることを示している。
• 超限帰納法による $x_\alpha$ の構成により、集合 $F_\alpha x_\alpha$ が互いに素であり、右乗法写像が有限集合上で単射であることが保証される。
• その結果、適切に構成された関数 $f$ の軌道は $\mathrm{Lip}^+(\Delta_X) = [0,1]^X$ において稠密であり、アーミタブル性が確認される。
• このような半群上の畳み込み代数 $\ell^1(X)$ は $\ell^1(X) = \Lambda(\ell^\infty(X))$ を満たし、左側の強いアーレンス不規則性を示している。
• 空間 $X$ 自身は $X = \Lambda(\overline{X})$ を満たしており、測度代数の意味で半群が左側にも強くアーレンス不規則であることが示されている。
• これらの結果は、従来の位相群に関する知見を、離散群やノルム代数の球など、より広いクラスの半群へ一般化している。