[논문 리뷰] A cocycle in the adjoint representation of the orthogonal free quantum groups

Pierre Fima, Roland Vergnioux|arXiv (Cornell University)|2014. 02. 19.

Advanced Operator Algebra Research참고 문헌 42인용 수 9

한 줄 요약

이 논문은 정규직교 자유 양자군 $Δ\mathbb{F}O_n$ 가 내부 애너미가 아니라고 증명하고, 정규 표현에 약하게 포함된 명시적 proper 코사이클을 구성함으로써, 이들이 성질 강한 (HH)을 만족함을 보이며, 이는 하아거룹의 근사성질을 강화하는 것으로, $n\geq3$ 일 때 그에 대응하는 바나흐-폰 노이만 대수 $Σ\mathcal{L}(\mathbb{F}O_n)$ 의 강한 고립성에 대한 새로운 증명을 제공한다. 이 구성은 고유 표현에서의 코사이클에 기반하며, 연산자 대수학에서의 변형 기법을 활용한다.

ABSTRACT

We show that the orthogonal free quantum groups are not inner amenable and we construct an explicit proper cocycle weakly contained in the regular representation. This strengthens the result of Vaes and the second author, showing that the associated von Neumann algebras are full II_1-factors and Brannan's result showing that the orthogonal free quantum groups have Haagerup's approximation property. We also deduce Ozawa-Popa's property strong (HH) and give a new proof of Isono's result about strong solidity.

연구 동기 및 목표

• 이산 정규직교 자유 양자군 $\mathbb{F}O_n$ 가 내부 애너미가 아니라는 것을 보여주며, 고전적 자유군과의 차이를 해결한다.
• 정규 표현에 약하게 포함된 명시적 proper 코사이클을 구성함으로써 하아거룹의 근사성질을 강화한다.
• $\mathcal{L}(\mathbb{F}O_n)$ 가 성질 강한 (HH)을 만족함을 증명하며, 이는 하아거룹 성질의 강화이다.
• 새로운 코사이클과 변형 기법을 사용하여 $\mathcal{L}(\mathbb{F}O_n)$ 의 강한 고립성을 재증명한다.
• proper 코사이클의 존재성이 강하게 포함된 표현에서 이러한 코사이클이 존재하지 않는 것과의 연관성을 [Ver12] 에서 보여준 lin에 기반한다.

제안 방법

• $\mathbb{F}O_n$ 의 고유 표현에서 특정 연산자 $X$ 를 사용하여 $c_X$ 라는 코사이클을 구성한다.
• 하어 상태 $h$ 와 관련된 GNS 구성에 의해 힐버트 공간 $H$ 와 곱셈 유니타리 $V$ 를 정의한다.
• 생성자 $v_{ij}$ 에 대해 공식 $c_X(g) = \sum_{k,l} X_{kl} \Lambda_h(v_{ik}v_{jl})$ 을 적용하며, $X$ 는 proper성을 확보하기 위해 선택된다.
• 코사이클 $c_X$ 가 proper하다는 것을 보이기 위해, 스펙트럼 성질을 사용하여 $\|g\|_2 \to \infty$ 일 때 $\|c_X(g)\|_2 \to \infty$ 임을 증명한다.
• [OP10a, OP10b] 에서의 변형 기법을 적용하여, 이중모듈 $L^2(\tilde{M}) \ominus L^2(M)$ 이 일반 이중모듈에 약하게 포함되어 있음을 보이며, 강한 고립성 조건을 만족함을 보인다.
• $\mathbb{C}[\mathbb{F}O_n]$ 상에서 중심적 승수 $\Delta_X = \delta_X^*\delta_X$ 가 존재함을 이용하여, 고전 기법을 양자 설정으로 확장할 수 있다.

실험 결과

연구 질문

• RQ1 정규직교 자유 양자군 $\mathbb{F}O_n$ 는 내부 애너미인가? 고전적 자유군과의 비교는 어떻게 되는가?
• RQ2 $\mathbb{F}O_n$ 에 대해 정규 표현에 약하게 포함된 proper 코사이클을 명시적으로 구성할 수 있는가?
• RQ3 이러한 코사이클의 존재성이 성질 강한 (HH) 을 유도하는가? 이는 $\mathcal{L}(\mathbb{F}O_n)$ 의 구조에 어떤 영향을 미치는가?
• RQ4 이 새로운 코사이클과 변형 기법을 사용하여 $\mathcal{L}(\mathbb{F}O_n)$ 의 강한 고립성을 재증명할 수 있는가?
• RQ5 이러한 코사이클이 강하게 포함된 표현에 존재하지 않는다는 것은 $H^1_{(2)}(\mathbb{F}O_n)$ 의 소멸성과 어떻게 관련되는가?

주요 결과

• 정규직교 자유 양자군 $\mathbb{F}O_n$ 는 내부 애너미가 아니며, 이는 고전적 자유군과의 핵심적 차이를 제공한다.
• 정규 표현에 약하게 포함된 명시적 proper 코사이클 $c_X$ 가 구성되었으며, 이는 하아거룹의 근사성질이 명시적 실현을 통해 확인됨을 뒷받침한다.
• 바나흐-폰 노이만 대수 $\mathcal{L}(\mathbb{F}O_n)$ 는 이러한 코사이클의 존재를 통해 성질 강한 (HH) 을 만족하며, 이는 하아거룹 성질의 강화이다.
• 이 구성은 [OP10a, OP10b] 에서의 변형 기법을 사용하여 $n\geq3$ 일 때 $\mathcal{L}(\mathbb{F}O_n)$ 의 강한 고립성을 위한 새로운 증명을 가능하게 한다.
• 강하게 포함된 표현에 proper 코사이클이 존재할 수 없음이 확인되었으며, 이는 $H^1_{(2)}(\mathbb{F}O_n)$ 의 소멸성과 일치한다.
• $\mathbb{C}[\mathbb{F}O_n]$ 상에서의 중심적 승수 $\Delta_X = \delta_X^*\delta_X$ 는 고전적 강한 고립성 증거를 양자 설정으로 확장하는 데 기여한다.