[논문 리뷰] Haagerup property for quantum reflection groups

François Lemeux|arXiv (Cornell University)|2013. 03. 09.

Advanced Operator Algebra Research참고 문헌 15인용 수 13

한 줄 요약

이 논문은 $H_N^{s+}$의 이중체가 모든 $N \geq 4$ 및 $s \in [1,\infty)$에 대해 하아거룹 성질을 갖는다는 것을 증명한다. 이를 위해 특성과 융합 규칙을 통해 관련 바나흐 대수 위에 추적 보존, 단위 원소, 완전 양의 지도의 새로운 구성 방법을 사용한다. 핵심 혁신은 브라난의 방법을 비가환 중심 $C^*$-대수에 적용하기 위해 체비셰프 다항식과 자연스러운 준동형 $ olimits: 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)를 적용하여 $L^\infty(H_N^{s+})$ 위에 추적 보존, 단위 원소, 완전 양의 지도의 넷을 $C(H_N^{s+})_0$의 상태를 통해 구성한다.
• 문헌 [4]에서 결정된 $H_N^{s+}$의 기저 표현의 융합 규칙을 활용하여 특성과 그 $\pi$에 의한 상의 구조를 분석한다.
• 체비셰프 다항식을 사용하여 행렬 계수 노름의 감쇠를 $\frac{A_l(\sqrt{x})}{A_l(2)}$ 및 $\frac{A_l(\sqrt{x})}{A_l(\sqrt{N})}$의 몫을 통해 추정하고, 수렴이 0으로 가도록 보장한다.
• $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}$에 의한 행렬 계수 노름의 수렴이 균일하게 제어될 수 있는가?

주요 결과

• $H_N^{s+}$의 이중체는 모든 $N \geq 4$ 및 $s \in [1,\infty)$에 대해 하아거룹 성질을 갖는다. 이는 $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$일 때 균일하게 0으로 수렴하며, $x < 4$이면 이 감쇠는 $D < 1$로 균일하게 유계이므로 곱의 감쇠를 보장한다.
• 모든 $x \in I_N$에 대해 연산자 $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$-원소로의 수렴이 확장된다.