[논문 리뷰] C*-groupoides quantiques et inclusions de facteurs : Structure symetrique et autodualite, action sur le facteur hyperfini de type II1

Marie-Claude David|arXiv (Cornell University)|2003. 06. 26.

Advanced Operator Algebra Research참고 문헌 18인용 수 3

한 줄 요약

이 논문은 유한 깊이, 유한 지표를 가진 II₁ 연산자의 포함 구조와 관련된 양자 C*-군oids에 대해 대칭 이중성을 도입하며, 새로운 역할 정의가 필요로 하지 않는다. 모든 유한 차원 연결 양자 C*-군oids가 히퍼유한 II₁ 연산자 위에 외부적으로 작용함을 증명하고, 유한 양자 C*-군oids를 정규 구조로 변형하는 방법을 제안하며, 이 틀 안에서 Temperley-Lieb 대수들이 스스로 이중임을 보여준다.

ABSTRACT

Let N_0 \subset N_1 a depth 2, finite index inclusion of type II1 factors and N_0 \subset N_1 \subset N_2 \subset N_3 ... the corresponding Jones tower. D. Nikshych et L. Vainerman built dual structures of quantum C*-groupoid on the relative commutants N'_0 \cap N_2 et N'_1 \cap N_3. Here I define a new duality which allows a symetric construction without changing the involution. So the Temperley-Lieb algebras are selfdual quantum C*-groupoids and the quantum C*-groupoids associated to a finite depth finite index inclusion can be choosen selfdual. I show that every finite-dimensional connexe quantum C*-groupoid acts outerly on the type II1 hyperfinite factor. In the light of this particular case, I propose a deformation of any finite quantum C*-groupoid to an regular finite quantum C*-groupoid. In the appendix, a new construction of the factors on which two dual regular finite quantum C*-groupoids act is given. The finite quantum C*-groupoids obtained from the built tower are isomorphic to the initial ones.

연구 동기 및 목표

• 하위연산자에서 유래하는 기존 양자 C*-군oids의 이중성 구성에서 비대칭성을 해결하기 위해.
• 역할을 변경하지 않고 존슨 타워의 상대적 중심에서 대칭 이중성을 확립하기 위해.
• 모든 유한 차원 연결 양자 C*-군oids가 히퍼유한 II₁ 연산자 위에 외부적으로 작용함을 증명하기 위해.
• 임의의 유한 양자 C*-군oids를 정규 구조로 변형하는 변형 절차를 제안하기 위해.
• 제안된 새로운 이중성 틀에서 Temperley-Lieb 대수가 스스로 이중인 양자 C*-군oids임을 보여주기 위해.

제안 방법

• II₁ 연산자의 존슨 타워에서 상대적 중심 $N'_0 \cap N_2$ 와 $N'_1 \cap N_3$ 사이의 새로운 이중성 구조를 도입한다.
• 연산자 $N_1$ 위의 추적 $tr$ 와 수정된 쌍선형 형식 $\langle a,b\rangle = [N_1:N_0]^2 \, tr(af_2f_1Hb)$ 를 사용하여 역할을 변경하지 않고 이중성을 정의한다.
• 약한 호프 대수 이론과 카크 대수 이론을 활용하여 군oids 위의 코곱, 코단위, 역원 구조를 정의한다.
• 양자 군oids $A$ 가 연산자 $M_1$ 위에 작용하는 것을 실현하기 위해 교차곱 $M_1 \rtimes A$ 를 구성한다.
• 모듈라 자동형사상과 조건부 기대를 활용하여 군oids 대수 위의 하어 측도와 추적을 정의한다.
• 새로운 이중성 구조 $B.A$ 를 통한 유한 양자 C*-군oids $A$ 의 변형 절차를 제안하여 정규화된 형태를 도출한다.

실험 결과

연구 질문

• RQ1 하위연산자와 관련된 양자 C*-군oids에 대해 역할을 변경하지 않고 대칭 이중성을 정의할 수 있는가?
• RQ2 제안된 새로운 이중성 틀에서 Temperley-Lieb 대수들이 양자 C*-군oids로서 스스로 이중인가?
• RQ3 모든 유한 차원 연결 양자 C*-군oids는 히퍼유한 II₁ 연산자 위에 외부 작용을 갖는가?
• RQ4 임의의 유한 양자 C*-군oids는 새로운 이중성 구성으로 인해 정규화된 형태로 변형될 수 있는가?
• RQ5 존슨 타워의 맥락에서 새로운 이중성에 따라 코곱, 코단위, 역원 구조는 어떻게 행동하는가?

주요 결과

• 새로운 이중성은 역할을 변경하지 않고 $N'_0 \cap N_2$ 와 $N'_1 \cap N_3$ 위에서 양자 C*-군oids를 대칭적으로 구성할 수 있게 한다.
• 제안된 이중성 틀에서 Temperley-Lieb 대수가 스스로 이중인 양자 C*-군oids임이 입증된다.
• 모든 유한 차원 연결 양자 C*-군oids는 히퍼유한 II₁ 연산자 위에 외부적으로 작용한다.
• 임의의 유한 양자 C*-군oids를 이중 구조를 통해 정규화된 형태로 변형하는 절차가 구성된다.
• 존슨 타워의 상대적 중심들은 새로운 이중성 하에서 원래의 양자 C*-군oids 구조를 그대로 유지하며, 일관성을 보장한다.
• 이 구성은 이중 군oids가 교차곱을 통해 작용하는 히퍼유한 II₁ 연산자의 존슨 타워를 생성하며, 대수적 구조를 유지한다.