[논문 리뷰] Quantum groups acting on n points, complex Hadamard matrices, and a construction of subfactors

Teodor Banica|arXiv (Cornell University)|1998. 06. 10.

Advanced Operator Algebra Research인용 수 7

한 줄 요약

이 논문은 유한 차원 $C^*$-대수와 $II_1$ 초월자 $P$ 위에 작용하는 Kac 유형의 컴 pact 양자군 $G$를 사용하여 $(B_0\bigotimes P)^G \subset (B_1\bigotimes P)^G$ 형태의 하위인자를 구성한다. 적절한 조건 하에서, 이 구성은 워서먼의 기법을 통해 존슨 인덱스와 표준 불변량이 계산 가능한 하위인자를 얻으며, 군의 부분군, 프로젝티브 군 표현, 유한 양자군, 이산 군, 통계 모델에서 유래된 알려진 하위인자를 통합한다.

ABSTRACT

We construct inclusions of the form $(B_0\otimes P)^G\subset (B_1\otimes P)^G$, where $G$ is a compact quantum group of Kac type acting on an inclusion of finite dimensional $\c^*$-algebras $B_0\subset B_1$ and on a $II_1$ factor $P$. Under suitable assumptions on the actions of $G$, this is a subfactor, whose Jones to er and standard invariant can be computed by using techniques of A. Wassermann. The subfactors associated to subgroups of compact groups, to projective representations of compact groups, to finite quantum groups, to finitely generated discrete groups, to vertex models and to spin models are of this form.

연구 동기 및 목표

• 군 이론, 양자군, 통계 모델에서 유래된 다양한 하위인자 클래스를 하나의 대수적 프레임워크로 통합하기 위해.
• Kac 유형의 컴 pact 양자군의 작용을 $C^*$-대수와 $II_1$ 초월자에 통합함으로써 하위인자 이론을 확장하기 위해.
• 존슨 인덱스와 표준 불변량이 명시적으로 계산 가능한 하위인자를 위한 일반적인 구성 방법을 제공하기 위해.
• 기존의 하위인자 예시들—예를 들어 유한 양자군이나 스핀 모델에서 유래된 것들—이 이 통합된 양자군 작용 프레임워크에 맞는지 보여주기 위해.

제안 방법

• 구성은 Kac 유형의 컴 pact 양자군 $G$에 의한 고정점 대수 $(B_0\otimes P)^G$ 및 $(B_1\otimes P)^G$를 사용한다.
• $G$의 작용은 포함관계 $B_0\subset B_1$를 유지하고, $II_1$ 초월자 $P$ 위에 호환 가능한 방식으로 작용한다고 가정한다.
• 결과 하위인자의 존슨 인덱스와 표준 불변량을 계산하기 위해, A. 워서먼의 연산자 대수학 및 양자군 표현 이론에 기반한 기법을 적용한다.
• 하위인자 구조가 잘 정의되어 있음을 보장하기 위해, Kac 유형의 컴 pact 양자군의 쌍대성과 표현 이론에 의존한다.
• 이 구성은 유한 양자군과 정점/스핀 모델에서 유래된 다양한 알려진 하위인자 가족에 적용 가능하다는 것이 입증된다.
• $C^*$-대수와 $II_1$ 초월자를 사용함으로써, 결과 대수는 유한 존슨 인덱스를 갖는 잘 정의된 보너스 대수로 보장된다.

실험 결과

연구 질문

• RQ1 기타 유한 양자군에서 유래된 하위인자는 $C^*$-대수와 $II_1$ 초월자 위의 양자군 대칭을 통해 체계적으로 구성될 수 있는가?
• RQ2 Kac 유형의 컴 pact 양자군이 $C^*$-대수와 $II_1$ 초월자 위에 작용할 때, 표준 불변량이 알려진 계산 가능한 하위인자가 어떻게 도출되는가?
• RQ3 프로젝티브 군 표현이나 스핀 모델에서 유래된 알려진 하위인자 구성 방식들이 얼마나 깊이까지 이 통합된 양자군 작용 기반의 프레임워크에 통합될 수 있는가?
• RQ4 어떤 조건이 $G$의 작용을 통해 $(B_0\otimes P)^G\subset (B_1\otimes P)^G$가 유한 존슨 인덱스를 갖는 하위인자가 되도록 보장하는가?
• RQ5 워서먼의 기법은 이러한 양자군 유도 하위인자의 표준 불변량을 계산하기 위해 적응 가능한가?

주요 결과

• 적절한 조건 하에서, Kac 유형의 컴 pact 양자군 $G$의 작용에 대해 $(B_0\otimes P)^G\subset (B_1\otimes P)^G$ 형태의 하위인자가 도출된다.
• 결과 하위인자의 존슨 인덱스와 표준 불변량은 A. 워서먼가 개발한 기법을 통해 계산 가능하다.
• 콤���트 군의 부분군에서 유래된 하위인자, 콤팩트 군의 프로젝티브 표현, 유한 양자군, 이산 군에서 유래된 하위인자는 모두 이 구성의 특수한 경우이다.
• 이 프레임워크는 정점 모델과 스핀 모델에서 유래된 하위인자를 동일한 양자군 대칭 메커니즘으로 통합한다.
• $C^*$-대수와 $II_1$ 초월자를 사용함으로써, 결과 대수는 잘 정의된 보너스 대수이자 유한 인덱스를 갖는다.
• 이 구성은 양자군 대칭이 광범위한 하위인자 클래스의 생성과 분류를 위한 일반적인 메커니즘임을 보여준다.