[論文レビュー] Pseudo-amenability of Brandt semigroup algebras

Maysam Maysami Sadr|arXiv (Cornell University)|Jul 29, 2019

Advanced Algebra and Logic参考文献 8被引用数 10

ひとこと要約

本稿では、離散群 $G$ 上のブランドト半群 $S$ のバナッハ半群代数 $\pi^1(S)$ が、索引集合 $I$ が有限であれ無限であれ、$G$ がアメーブルである限り、常に擬代数的可解性を有することを確立する。証明では、$\ell^1(G)$ の有界近似対角と、$I$ の有限部分集合への平均化を用いて、$\ell^1(T)\hat{\otimes}\ell^1(T)$ 内に近似対角を構成し、擬代数的可解性のための加群作用およびノルム収束条件を満たすことを示している。

ABSTRACT

The pseudo-amenability of Brandt Banach semigroup algebras is considered.

研究の動機と目的

• 任意の索引集合 $I$ に対して、ブランドト半群代数 $\ell^1(S)$ の擬代数的可解性を調査すること。
• 群 $G$ のアメーブル性が、$I$ が無限であっても $\ell^1(S)$ の擬代数的可解性を示唆するかを特定すること。
• 既存の $\ell^1(S)$ の可解性および近似可解性に関する結果を、より弱い概念である擬代数的可解性へと拡張すること。
• 群のアメーブル性と半群代数の代数的性質との関係を明確にすること。

提案手法

• 有限部分集合 $F \subset I$ および $\ell^1(G)\hat{\otimes}\ell^1(G)$ 内の有界近似対角 $m_\lambda$ に対して、$E^{m_\lambda}_{(i,j,j,k)}$ の要素を $F$ にわたって平均化することで、$\ell^1(T)\hat{\otimes}\ell^1(T)$ 内のネット $(W_{F,\lambda})$ を構成する。
• $\ell^1(S) \cong \ell^1(T) \oplus \mathbb{C}$ の同一視を用いて、問題を $\ell^1(T)$ の解析に還元し、補題 1 と短完全列の分解を活用する。
• 加群作用の式 (2) および (3) を適用して、$\delta_{(u,g,v)} \cdot W_{F,\lambda} - W_{F,\lambda} \cdot \delta_{(u,g,v)}$ を計算し、$F$ と $I \setminus F$ における分解を用いてノルムを制御する。
• $\|m_\lambda\|$ の一様有界性を用いて、$F \times F$、$F \times (I \setminus F)$、$(I \setminus F) \times F$ 項の寄与を評価することで、すべての $a \in \ell^1(T)$ に対して $\|a \cdot W_{F,\lambda} - W_{F,\lambda} \cdot a\| \to 0$ のノルム収束を確立する。
• $\pi(W_{F,\lambda})a$ を $i \in F$ および $u \in I \setminus F$ の成分に分解し、$\ell^1(G)$ 内で $\pi(m_\lambda) \to 1$ となる収束を利用する。これにより、$\|\pi(W_{F,\lambda})a - a\| \to 0$ を証明する。
• $G$ がアメーブルであるならば $\ell^1(T)$ は擬代数的可解であることを用い、補題 2 を適用することで、$\ell^1(S)$ が擬代数的可解であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 群 $G$ のアメーブル性は、任意の索引集合 $I$ に対してブランドト半群代数 $\ell^1(S)$ の擬代数的可解性を示唆するか？
• RQ2 $\ell^1(G)$ の近似対角構成を $I$ の有限部分集合への平均化を用いて $\ell^1(T)$ へと持ち上げ、さらに $\ell^1(S)$ へと持ち上げることは可能か？
• RQ3 ブランドト半群の文脈において、$\ell^1(S)$ の擬代数的可解性は、可解性または近似可解性よりも厳密に弱いか？
• RQ4 $\ell^1(S)$ が $\ell^1(T) \oplus \mathbb{C}$ として構造を持つ場合、$\ell^1(T)$ が擬代数的可解であるとすれば、擬代数的可解性は保存されるか？

主な発見

• 群 $G$ がアメーブルであれば、索引集合 $I$ が有限であろうと無限であろうと、$\ell^1(S)$ は擬代数的可解である。
• 近似対角 $W_{F,\lambda}$ は、$W_{F,\lambda} = \frac{1}{\#F} \sum_{i,j \in F} E^{m_\lambda}_{(i,j,j,i)}$ として構成され、$m_\lambda$ は $\ell^1(G)\hat{\otimes}\ell^1(G)$ 内の有界近似対角である。
• ネット $(W_{F,\lambda})$ は、すべての $a \in \ell^1(T)$ に対して $\|a \cdot W_{F,\lambda} - W_{F,\lambda} \cdot a\| \to 0$ を満たす。これは、$F$ と $I \setminus F$ におけるノルム推定によって示される。
• 同様に、すべての $a \in \ell^1(T)$ に対して $\|\pi(W_{F,\lambda})a - a\| \to 0$ が成り立ち、これは $\pi(m_\lambda) \to 1$ となる $\ell^1(G)$ 内の収束によって制御される。
• この結果は、$I$ の濃度にかかわらず一様に成り立つため、擬代数的可解性は、可解性や近似可解性とは異なり、$I$ が有限でなければならないという制約を課さない。
• 本稿では、$\ell^1(S)$ の擬代数的可解性が $G$ の可解性を示唆するかは未解決であり、今後の研究の自然な問いとして提示している。