[논문 리뷰] The Temperley-Lieb categories and skein modules

Joshua Chen|arXiv (Cornell University)|2014. 12. 14.

Algebraic structures and combinatorial models참고 문헌 11인용 수 8

한 줄 요약

이 학위논문은 온전한 템퍼리-라이블 카테고리 이론과 스케인 모듈을 발전시켜 구면 융합 카테고리를 구성하고, 이를 바탕으로 $n$-구멍이 있는 디스크에 대한 투라에프-비로 스케인 모듈을 정의한다. 주요 기여는 일반적인 템퍼리-라이블-존스 카테고리가 뿌리 단위에서 특수화될 경우, 유한한 단순 객체를 가진 단순성과 구면성을 띠게 되며, 이는 $(2+1)$차원 TQFT에서 스케인 모듈을 통한 위상적 불변량의 구성이 가능하게 한다는 점이다.

ABSTRACT

We develop the theory of diagrammatic Temperley-Lieb categories in order to construct examples of spherical fusion categories, which we then use to construct Turaev-Viro skein modules for n-holed disks. This is a thesis submitted for the degree of Bachelor of Science with Honours at the Australian National University.

연구 동기 및 목표

• 도표적 이론으로서의 템퍼리-라이블 카테고리 이론을 발전시켜 위상적 불변량을 구성하는 기초를 마련한다.
• 존스-웬즐 기저를 사용하여 일반적인 템퍼리-라이블-존스 카테고리의 단순성을 확립한다.
• 부정확한 사상들을 제거함으로써 뿌리 단위에서의 카테고리 행동을 분석한다.
• 유도된 구면 융합 카테고리를 사용하여 $n$-구멍이 있는 디스크에 대한 투라에프-비 스케인 모듈을 구성한다.
• 도표적 카테고리, 스케인 이론, 위상적 양자장 이론을 연결하는 자가 포함된 서술을 제공한다.

제안 방법

• 엔도모르피즘 공간이 템퍼리-라이블 대수와 동형인 도표적 생성자와 관계를 사용하여 일반적인 템퍼리-라이블 카테고리를 구성한다.
• 카테고리를 분해하고 일반적인 템퍼리-라이블-존스 카테고리의 단순성을 증명하기 위해 존스-웬즐 기저를 도입한다.
• 도표적 항등식과 스케인 관계를 적용하여 복잡도를 감소시키고 카테고리 내의 일관성을 검증한다.
• 양자 매개변수 $q$를 뿌리 단위로 특수화하고, 추적 형식의 핵을 통해 부정확한 이상을 정의한다.
• 부정확한 이상으로 카테고리를 몫으로 나누어, 유한한 단순 객체를 가진 단순성과 구면성을 띠는 융합 카테고리를 얻는다.
• 유도된 카테고리를 사용하여 상태합 구성법을 통해 $n$-구멍이 있는 디스크에 대한 투라에프-비 스케인 모듈을 정의한다.

실험 결과

연구 질문

• RQ1 어떻게 템퍼리-라이블 카테고리를 TQFT 구성에 적합한 구면 융합 카테고리로 확장할 수 있는가?
• RQ2 양자 매개변수 $q$가 뿌리 단위로 특수화되었을 때, 템퍼리-라이블-존스 카테고리의 구조는 어떠한가?
• RQ3 존스-웬즐 기저는 일반적인 템퍼리-라이블-존스 카테고리의 단순성에 어떻게 기여하는가?
• RQ4 뿌리 단위에서의 카테고리에서 부정확한 이상의 역할은 무엇이며, 이를 몫으로 나누면 어떻게 단순한 카테고리가 되는가?
• RQ5 템퍼리-라이블-존스 카테고리에서 유도된 구면 융합 카테고리를 사용하여 $n$-구멍이 있는 디스크에 대해 투라에프-비 스케인 모듈을 명시적으로 구성할 수 있는가?

주요 결과

• 존스-웬즐 기저의 존재성과 성질을 통해 일반적인 템퍼리-라이블-존스 카테고리가 단순하다는 것이 입증된다.
• 뿌리 단위에서 카테고리는 $\mathrm{Rep}\,U_q(\mathfrak{sl}_2)$의 단순화된 카테고리와 동치가 되며, 양자군과의 연결을 확립한다.
• 부정확한 이상으로 몫을 취한 후, 뿌리 단위에서의 카테고리는 유한한 단순 객체를 가진 단순성과 구면성을 띠는 융합 카테고리가 된다.
• 유도된 카테고리는 상태합 불변량을 통해 $n$-구멍이 있는 디스크에 대한 투라에프-비 스케인 모듈의 구성에 기여한다.
• 도표적 항등식과 재작성 규칙은 스케인 모듈의 복잡도를 감소시키며, 불변량의 명시적 계산을 가능하게 한다.