[論文レビュー] Examples of Amenable Kac system

Chi–Keung Ng|ArXiv.org|Oct 27, 2000

Advanced Operator Algebra Research参考文献 6被引用数 3

ひとこと要約

この論文は、双対 $C^*$-代数 $\hat{S}_V$ の1次元表現の存在を用いて、アメニタリティの簡単な特徴付けを提供し、それを応用して、2つの局所コンパクト群のバイクロスプロダクトが、そのうちの1つの群がアメニタリティをもつならばアメニタリティ（またはコアメニタリティ）をもつことを証明する。主な貢献は、表現論的基準を用いて、カック代数のバイクロスプロダクトに対するアメニタリティの新規で初等的な証明を提供することにある。

ABSTRACT

By giving an interesting characterisation of amenable multiplicative unitaries in term of one dimensional representations, we show in a simple way that bicrossproducts of amenable locally compact groups is both amenable and coamenable.

研究の動機と目的

• 「$\hat{S}_V$ が1次元表現をもつ」という条件に基づいて、$C^*$-乗法的ユニタリのアメニタリティに関する、新しいで簡単な基準を提供すること。
• 文献において非自明なアメニタリティをもつカック代数の具体例が不足しているという問題を解決すること。
• アメニタリティをもつ局所コンパクト群の組み合わせから構成されるバイクロスプロダクト・カック代数のアメニタリティ（またはコアメニタリティ）を確立すること。
• 複雑な解析的道具を避ける表現論的アプローチを提供することで、アメニタリティカック代数の理論を拡張すること。

提案手法

• アメニタリティの特徴付けを導入する：$V$ がアメニタリティをもつのは、$\hat{S}_V$ が1次元表現をもつとき、かつそのときに限る。
• そのような表現の存在を用いて、$U = (\psi \otimes \text{id})(V)$ というユニタリ共表現を構成し、これは $\pi_V$ に弱く含まれる自明な表現 $\pi_1$ を与える。
• 普遍的共表現 $V'$ が $\hat{S}_p$ 上に存在する普遍性を活用し、$\hat{S}_V$ の表現と $\pi_1$ が $\pi_V$ に弱く含まれる関係を結びつける。
• カック代数のバイクロスプロダクト構成を、局所コンパクト群のマッチドペア $G_1$ と $G_2$ に対して適用する。ここで $G_1 \times G_2 \to G$ は、開かつ拘束的な部分集合へのホメオモーティズムである。
• もし $G_1$ がアメニタリティをもつならば、$C_0(G_1 \setminus G) \times_{\alpha,r} G_1$ のような簡約交叉積が1次元表現をもつことを示し、これにより関連する乗法的ユニタリ $V$ のアメニタリティが示される。
• 標準的カック系の構造とバイクロスプロダクト構成を用いて、結果をカック代数およびカック系の枠組みに埋め込む。

実験結果

リサーチクエスチョン

• RQ1 「$\hat{S}_V$ が1次元表現をもつ」ことは、$C^*$-乗法的ユニタリ $V$ のアメニタリティを意味するか？
• RQ2 バイクロスプロダクト・カック代数のアメニタリティは、解析的またはコhomologicalな手法ではなく、表現論的基準によって確立できるか？
• RQ3 群代数や双対ではない非自明なアメニタリティをもつカック代数の具体例は存在するか？
• RQ4 マッチドペア $(G_1, G_2)$ にどのような条件を課すと、関連するバイクロスプロダクト・カック代数がアメニタリティ（またはコアメニタリティ）をもつようになるか？
• RQ5 群 $G_1$ や $G_2$ のアメニタリティは、得られる乗法的ユニタリ $V$ のアメニタリティにどのように影響するか？

主な発見

• ある $C^*$-乗法的ユニタリ $V$ がアメニタリティをもつのは、その双対 $\hat{S}_V$ が1次元表現をもつとき、かつそのときに限る。
• 2つの局所コンパクト群のバイクロスプロダクトは、そのうちの1つの群がアメニタリティをもつならばアメニタリティをもつ。これは、アメニタリティをもつ非自明なカック代数の最初の具体例を提供する。
• バイクロスプロダクトのアメニタリティは、$G_1$ がアメニタリティをもつとき、$C_0(G_1 \setminus G) \times_{\alpha,r} G_1$ 上に存在する1次元共変表現の存在に起因する。
• この結果はカック系のバイクロスプロダクト構成に適用可能であり、同じ条件下で、このような系がアメニタリティ（またはコアメニタリティ）をもつことを示す。
• マッチドペアがラドン＝ニコディム条件を満たすとき、カック系は、アメニタリティかつコアメニタリティをもつカック代数から生じる。
• 証明は重い解析的道具を避け、代わりに表現論と弱い包含に依拠しており、従来の手法とは対照的に、より単純な代替手段を提供する。