[논문 리뷰] Fiber Functors on Temperley-Lieb Categories

Shigeru Yamagami|ArXiv.org|2004. 05. 27.

Algebraic structures and combinatorial models참고 문헌 13인용 수 4

한 줄 요약

이 논문은 비퇴화 이차형식을 사용하여 Temperley-Lieb 카테고리 𝒦_d 위의 섬유 함자를 분류하며, 이러한 함자들과 호프 대수 사이의 대응관계를 수립한다. |d| ≥ 2 또는 d = ±2cos(π/l)일 때 단위 섬유 함자를 완전히 분류하고, 관련된 호프 대수를 자유 수직 양자군과 일치시켜 기존 결과를 텐서 카테고리 방법을 통해 재확인한다.

ABSTRACT

Fiber functors on Temperley-Lieb categories are investigated with the help of classification results on non-degenerate bilinear forms. The case of unitary fiber functors is also considered.

연구 동기 및 목표

• 비퇴화 이차형식을 사용하여 Temperley-Lieb 카테고리 𝒦_d 위의 섬유 함자를 분류하기.
• 𝒦_d가 C*-구조를 갖는 경우 이 분류를 단위 섬유 함자로 확장하기.
• 단위 경우에서 재구성된 호프 대수를 자유 수직 양자군으로 식별하기.
• 이 카테고리들에 대한 Tannaka-Krein dualit의 텐서 카테고리 이론적 유도 제공하기.

제안 방법

• Saavedra Rivano-Ulbrich의 Tannaka-Krein dualit를 사용하여 섬유 함수로부터 호프 대수 재구성하기.
• 생성 객체 X의 상 위의 비퇴화 이차형식으로 섬유 함수를 축소하기.
• 강성과 일관성 정리의 적용으로 형식을 통해 모나이드 구조가 잘 정의됨을 보장하기.
• 관계 E∘D = d를 사용하여 함자 상에서 Temperley-Lieb 관계를 복원하기.
• 정규 직교 기저와 공변 조건을 사용하여 재구성된 호프 대수 위의 *-작용소 정의하기.
• *-작용소가 대칭적이고 코곱 및 역원과 호환됨을 검증하여 호프 *-대수로 이끌기.

실험 결과

연구 질문

• RQ1 Temperley-Lieb 카테고리 𝒦_d 위의 섬유 함자는 어떤 식으로 이차형식을 통해 분류되는가?
• RQ2 섬유 함수가 단위일 조건은 무엇이며, 이는 재구성된 호프 대수에 어떤 영향을 미치는가?
• RQ3 섬유 함수에 의해 Tannaka 쌍대로 나타나는 호프 대수들은 무엇이며, 어떻게 분류되는가?
• RQ4 𝒦_d 위의 단위 섬유 함수와 자유 수직 양자군 사이의 관계는 무엇인가?
• RQ5 재구성된 호프 대수 위의 *-구조는 카테고리와 함수 데이터로부터 대수적으로 유도될 수 있는가?

주요 결과

• 𝒦_d 위의 섬유 함수는 생성 객체 X의 상 위의 비퇴화 이차형식과 일대일 대응된다.
• 섬유 함수로부터 호프 대수를 재구성하면 Dubois-Violette와 Launer가 도입한 호프 대수가 얻어진다.
• |d| ≥ 2 이며 d ∈ ℝ 이거나 d = ±2cos(π/l)일 때, 단위 섬유 함수들은 자유 수직 양자군과 대응된다.
• 재구성된 호프 대수에는 고유한 *-구조가 존재하여 C*-텐서 카테고리 구조와 호환되는 호프 *-대수가 된다.
• 코모듈 구조의 단위성은 내적 조건 ⟨ρ(v)|ρ(w)⟩ = (v|w)1_A를 통해 검증된다.
• 분류 과정은 자유 수직 양자군에 관한 기존 결과를 텐서 카테고리 이론적 관점에서 재확인한다.