[論文レビュー] Haagerup property for quantum reflection groups

François Lemeux|arXiv (Cornell University)|Mar 9, 2013

Advanced Operator Algebra Research参考文献 15被引用数 13

ひとこと要約

本稿は、量子反射群 $H_N^{s+}$ の双対が、すべての $N \geq 4$ および $s \in [1,\infty)$ に対してハーガープ性を有することを証明する。その手法は、キャラクターと融合則を用いた、関連するフォン・ノイマン代数上のトレース保存・単位的・完全正値マップの新規構成に基づく。主な革新は、ブランナンの手法を非可換な中心 $C^*$-代数に適応させることにあり、チェビシェフ多項式と canonical morphism $\pi: C(H_N^{s+}) \to C(S_N^+)$ を活用することで、$S_N^+$ や $O_N^+$ に対する既存結果を拡張する。この結果により、自由な量子置換群や量子直交群に加え、新たなクラスの量子群に対してもハーガープ性が確認される。

ABSTRACT

In this paper we prove that the duals of the quantum reflection groups have the Haagerup property for all $N\ge4$ and $s\in[1,\infty)$. We use the canonical arrow onto the quantum permutation groups, and we describe how the characters of the quantum reflection groups behave with respect to this canonical morphism thanks to the description of the fusion rules binding irreducible corepresentations of $H_N^{s+}$. This allows us to construct states on the central algebra of $H_{N}^{s+}$ and to use a fundamental theorem proved by M.Brannan giving a method to construct nets of trace-preserving, normal, unital and completely positive maps on the von Neumann algebra of a compact quantum group of Kac type.

研究の動機と目的

• 量子反射群 $H_N^{s+}$ の双対に対するハーガープ性を確立すること。これは、量子置換群 $S_N^+$ を一般化する。
• 既知のコンパクトな量子群のハーガープ性のクラスを、$O_N^+$, $U_N^+$, $S_N^+$ に加え、$N \geq 4$ の $H_N^{s+}$ を含むように拡張すること。
• 中心 $C^*$-代数 $C(H_N^{s+})_0$ が非可換であるという挑戦に直面し、従来の手法が適用できないことへの対処。
• キャラクターの振る舞いを、写像 $\pi: C(H_N^{s+}) \to C(S_N^+)$ に従って分析することに基づき、融合則を用いた完全正値マップの新たなネット構成法を開発すること。

提案手法

• 写像 $\pi: C(H_N^{s+}) \to C(S_N^+)$ を用いて、$C(H_N^{s+})$ のキャラクターと $C(S_N^+)$ のキャラクターを関連づけ、それらの振る舞いを制御可能にする。
• ブランナンの定理（定理1.2）を適用し、中心 $C^*$-代数 $C(H_N^{s+})_0$ 上の状態を用いて、$L^\infty(H_N^{s+})$ 上のトレース保存・単位的・完全正値マップのネットを構成する。
• 文献[4]で決定された $H_N^{s+}$ の既約コーベレーショングループの融合則を活用し、キャラクターの構造とそれらの $\pi$ による像の分析を行う。
• チェビシェフ多項式を用いて、行列係数のノルムの減衰を、商 $\frac{A_l(\sqrt{x})}{A_l(2)}$ および $\frac{A_l(\sqrt{x})}{A_l(\sqrt{N})}$ を通じて推定し、収束がゼロに至ることを保証する。
• $L^2(H_N^{s+})$ 上のコンパクト作用素のネット $(T_{\phi_x})_{x \in I_N}$ を構成し、すべての $a \in L^\infty(H_N^{s+})$ に対して $x \to N$ のとき $||T_{\phi_x}a - a||_{L^2} \to 0$ となるようにする。
• $Pol(H_N^{s+})$ の $L^2$-稠密性を確立し、$T_{\phi_x}$ の一様有界性を用いて、収束をすべての $L^2$-元へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 $N \geq 4$ および $s \in [1,\infty)$ のとき、量子反射群 $H_N^{s+}$ の双対はハーガープ近似性質を満たすか？
• RQ2 キャラクターを用いた完全正値マップの構成法を、$C(H_N^{s+})_0$ のように非可換な中心 $C^*$-代数へと拡張できるか？
• RQ3 特に $\mathbb{Z}_s \wr_w S_N^+$ の場合に、量子群の自由ワルプ積に関してハーガープ性は安定か？
• RQ4 融合則が非自明でテンソル型でない $H_N^{s+}$ において、近似マップの構成に与える影響は何か？
• RQ5 チェビシェフ多項式の推定を用いて、マップ $T_{\phi_x}$ における行列係数ノルムの収束を一様に制御できるか？

主な発見

• すべての $N \geq 4$ および $s \in [1,\infty)$ に対して、$H_N^{s+}$ の双対はハーガープ性を有する。これは、既知の $S_N^+ = H_N^{1+}$ の結果を一般化する。
• 中心 $C^*$-代数 $C(H_N^{s+})_0$ は非可換であり、$O_N^+$ や $S_N^+$ に用いられた従来の手法では不十分であるため、新たなアプローチが不可欠である。
• 写像 $\pi: C(H_N^{s+}) \to C(S_N^+)$ を通じて、キャラクターの振る舞いを移すことができ、$C(S_N^+)_0$ 上の状態の引き戻しにより $C(H_N^{s+})_0$ 上の状態を構成可能である。
• 商 $\frac{A_l(\sqrt{x})}{A_l(2)}$ は $l \to \infty$ のとき一様にゼロに収束し、$x < 4$ のとき、これは一様に $D < 1$ で有界であるため、積の減衰が保証される。
• $I_N$ の任意の $x$ に対して、作用素 $T_{\phi_x}$ はコンパクトであり、すべての $a \in L^\infty(H_N^{s+})$ に対して $x \to N$ のとき $||T_{\phi_x}a - a||_{L^2} \to 0$ となる。これはハーガープ近似性質の証明に寄与する。
• 結果は $L^2$-稠密性の議論により安定であり、$T_{\phi_x}$ の一様有界性を用いて、行列係数からすべての $L^2$-元へと収束が拡張される。