[논문 리뷰] Tensor C*-categories arising as bimodule categories of II_1 factors

Sébastien Falguières, Sven Raum|arXiv (Cornell University)|2011. 12. 17.

Algebraic structures and combinatorial models참고 문헌 36인용 수 6

한 줄 요약

이 논문은 모든 유한 텐서 C*-분야가 II₁ 초월의 이중모듈러 카테고리로 나타남을 증명하여, 동치 이중모듈러 카테고리를 가진 비가산 수의 서로 스터블하게 동형이 아닌 II₁ 초월이 존재함을 입증한다. 또한 임의의 주어진 하위요소 지수 집합, 포함 무리수 값까지 포함한 II₁ 초월의 명시적 예를 제시하며, 기약 이중모듈러의 비가산 집합을 가진 첫 번째 II₁ 초월의 예를 제공한다.

ABSTRACT

We prove that if C is a tensor C*-category in a certain class, then there exists an uncountable family of pairwise non stably isomorphic II_1 factors (M_i) such that the bimodule category of M_i is equivalent to C for all i. In particular, we prove that every finite tensor C*-category is the bimodule category of a II_1 factor. As an application we prove the existence of a II_1 factor for which the set of indices of finite index irreducible subfactors is {1, \frac{5 + \sqrt{13}}{2}, 12 + 3\sqrt{13}, 4 + \sqrt{13}, \frac{11 + 3\sqrt{13}}{2}, \frac{13 + 3\sqrt{13}}{2}, \frac{19 + 5\sqrt{13}}{2}, \frac{7 + \sqrt{13}}{2}}. We also give the first example of a II_1 factor M such that Bimod(M) is explicitly calculated and has an uncountable number of isomorphism classes of irreducible objects.

연구 동기 및 목표

• 모든 유한 텐서 C*-분야가 II₁ 초월의 이중모듈러 카테고리로 나타남을 증명한다.
• 서로 스터블하게 동형이 아닌 비가산 수의 II₁ 초월을 구성하여 동치 이중모듈러 카테고리가 되도록 한다.
• 특정 II₁ 초월에 대해 유한 지수 기약 하위요소의 지수 집합을 명시적으로 계산하며, 무리수 값을 포함한다.
• 기약 이중모듈러의 이sov모르피즘 클래스가 비가산 수인 II₁ 초월의 첫 번째 예를 제공한다.
• 이중모듈러 카테고리와 그 텐서 구조를 통해 II₁ 초월의 일반화된 대칭군에 대한 이해를 확장한다.

제안 방법

• 이중 양자군의 코표현을 사용하여 유한 텐서 C*-분야에서 II₁ 초월의 이중모듈러 카테고리로 가는 C*-텐서 함자를 구성한다.
• 이중모듈러에 대한 콘네스 텐서 곱의 구조를 이용하여 이중모듈러 카테고리에 컴act 텐서 C*-분야의 구조를 부여한다.
• 팝아의 변형-고정성 이론과 이전의 군-측도 공간 초월 및 헤크 쌍에 관한 연구 방법을 적용한다.
• 콤���트 양자군의 표현 이론과 그 이중을 이용하여 텐서 분야를 이중모듈러 카테고리로 실현한다.
• 이중모듈러의 이중작용과 호환되는 이중작용자 분석을 통해 함수의 전사성과 충실성을 증명한다.
• 모든 유한 지수 이중모듈러가 이중 양자군의 코표현으로부터 유도됨을 보여 이중모듈러 카테고리의 본질적 전사성을 확립한다.

실험 결과

연구 질문

• RQ1 모든 유한 텐서 C*-분야가 II₁ 초월의 이중모듈러 카테고리로 실현될 수 있는가?
• RQ2 이 방법으로 구성된 II₁ 초월의 유한 지수 기약 하위요소의 지수 집합의 구조는 어떠한가?
• RQ3 기약 객체가 비가산 수의 서로 이sov모르피즘 클래스를 가진 II₁ 초월이 존재하는가?
• RQ4 II₁ 초월의 이중모듈러 카테고리가 명시적으로 계산되어 주어진 유한 텐서 C*-분야와 동치임을 보일 수 있는가?
• RQ5 이 구성이 II₁ 초월의 분류와 그 대칭군에 어떤 영향을 미치는가?

주요 결과

• 모든 유한 텐서 C*-분야가 II₁ 초월의 이중모듈러 카테고리로 실현됨을 증명하여, 이러한 분야의 광범위한 존재 결과를 입증한다.
• 서로 스터블하게 동형이 아닌 비가산 수의 II₁ 초월이 존재하며, 모두 동치 이중모듈러 카테고리가 된다.
• 특정 II₁ 초월이 구성되며, 그 하위요소 지수 집합은 다음의 무리수 값을 포함한다: $\frac{5+\sqrt{13}}{2}$, $4+\sqrt{13}$, $\frac{11+3\sqrt{13}}{2}$, $\frac{13+3\sqrt{13}}{2}$, $\frac{19+5\sqrt{13}}{2}$, 그리고 $\frac{7+\sqrt{13}}{2}$.
• 기약 이중모듈러의 이sov모르피즘 클래스가 비가산 수인 II₁ 초월의 첫 번째 예가 제시된다.
• 구성된 II₁ 초월의 이중모듈러 카테고리가 명시적으로 계산되어 주어진 유한 텐서 C*-분야와 동치임을 보였다.
• 이 구성은 이중모듈러 카테고리가 II₁ 초월의 외부 자기동형군과 기본군을 포함한 전체 구조적 정보를 포함함을 확인하며, 정확한 수열 $1 \to \mathrm{Out}(M) \to \mathrm{grp}(M) \to \mathcal{F}(M) \to 1$ 을 통해 이를 뒷받침한다.