[논문 리뷰] Classifying Module Categories for Generalized Temperley-Lieb-Jones *-2-Categories

Ferrer, Giovanni, Palomares, Roberto Hernandez|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 가중치가 부여된 이방향 그래프에 관련된 일반화된 Temperley-Lieb-Jones *-2-카테고리의 단위 모듈러 카테고리들을 분류하며, 분리 가능한 이중중량 힐버트 공간의 *-2-카테고리로의 엄격한 *-표준함수를 통해 수행한다. 핵심 결과는 이러한 모듈러의 동치류와 균형 잡힌 Γ-공정 그래프 사이의 일대일 대응을 확립하며, Yamagami와 DeCommer-Yamashita의 분류를 2-카테고리적 설정으로 일반화한다.

ABSTRACT

Generalized Temperley-Lieb-Jones (TLJ) 2-categories associated to weighted bidirected graphs were introduced in unpublished work of Morrison and Walker. We introduce unitary modules for these generalized TLJ 2-categories as strong *-pseudofunctors into the *-2-category of row-finite separable bigraded Hilbert spaces. We classify these modules up to *-equivalence in terms of weighted bi-directed fair and balanced graphs in the spirit of Yamagami's classification of fiber functors on TLJ categories and DeCommer and Yamashita's classification of unitary modules for Rep(SUq(2)).

연구 동기 및 목표

• 가중치가 부여된 이방향 그래프로부터 유도되는 일반화된 Temperley-Lieb-Jones *-2-카테고리의 단위 모듈러 카테고리를 분류하는 것.
• Yamagami의 섬유 함수 분류와 DeCommer-Yamashita의 Rep(SUq(2))에 대한 단위 모듈러 분류를 2-카테고리적 설정으로 확장하는 것.
• Γ-공정 그래프의 일반화로서 *-2-카테고리의 맥락에서 공정하고 균형 잡힌 그래프의 개념을 도입하고 특성화하는 것.
• 엄격한 *-표준함수를 통해 이중중량 힐버트 공간의 카테고리로의 *-pseudofunctor를 통해 단위 모듈러와 균형 잡힌 Γ-공정 그래프 사이의 대응을 수립하는 것.
• 그래프 이론적 불변량을 사용하여 단위 모듈러의 *-동치류를 구조적으로 분류하는 것.

제안 방법

• 경로 연결을 통해 텐서 곱이 주어지는 가중치가 부여된 이방향 그래프 (Γ, δ, ̄·)에 대해 *-2-카테고리 TLJ(Γ)를 도입한다.
• 단위 모듈러를 분리 가능한 이중중량 힐버트 공간의 *-2-카테고리인 BigHilb로의 엄격한 *-pseudofunctor로 정의한다.
• Γ-공정 그래프를 정의한다. 이는 Γ로의 전사 그래프 준동형 π: Λ → Γ를 만족하고, 간선의 전이에 대한 가중치 합 조건을 만족하는 가중치가 부여되고 방향이 있는 그래프 Λ이다.
• 균형 잡힌 Γ-공정 그래프를 정의한다. 이는 간선에 대해 방향을 뒤집는 인벌루션을 지닌 Γ-공정 그래프로, w(ε)w(ε̄) = 1 이고 π(ε̄) = ̄π(ε) 를 만족한다.
• 균형 잡힌 Γ-공정 그래프로부터 BigHilb에서 기본 해를 구성한다. 이는 정점의 섬유 위에 힐버트 공간을 정의하고 간선의 가중치를 사용해 반선형 사상들을 정의한다.
• 구성된 해가 제자리 관계를 만족하는 *-pseudofunctor임을 증명하며, 결과적으로 생성된 모듈러가 원래 해와 *-동치임을 보인다.

실험 결과

연구 질문

• RQ1 그래프 이론적 자료를 기반으로 하여 일반화된 TLJ *-2-카테고리의 단위 모듈러 카테고리를 어떻게 분류할 수 있는가?
• RQ2 2-카테고리적 설정에서 단위 모듈러를 분류하기 위해 필요한 공정하고 균형 잡힌 그래프의 일반화는 무엇인가?
• RQ3 *-pseudofunctor가 그래프 이론적 구조에서 유도되는 데 필요한 조건은 무엇인가?
• RQ4 균형 잡힌 Γ-공정 그래프의 간선에 대한 인벌루션은 모듈러 카테고리의 켤레 방정식과 어떻게 관련이 있는가?
• RQ5 단위 모듈러의 동치류와 균형 잡힌 Γ-공정 그래프 사이에 표준적인 대응이 존재하는가?

주요 결과

• 모든 균형 잡힌 Γ-공정 그래프는 *-2-카테고리의 이중중량 힐버트 공간에서의 Γ-기본 해로부터 유도된다.
• TLJ(Γ)에 대한 단위 모듈러의 *-동치류와 균형 잡힌 Γ-공정 그래프 사이에는 일대일 대응이 존재한다.
• 균형 잡힌 Γ-공정 그래프로부터 기본 해를 구성하는 것은 선택한 간선의 인벌루션에 관계없이 고유하며 독립적이다.
• Γ-공정성과 균형 조건으로 인해 그래프의 간선에 관련된 힐버트 공간들은 유한차원이며 차원이 일정하게 유계이다.
• 해를 정의하는 사상들은 제자리 관계를 만족하므로 유효한 *-pseudofunctor를 이룬다.
• 기본 해로부터 생성된 모듈러는 원래 해와 *-동치이므로 분류가 잘 정의되어 있음을 확인한다.