[논문 리뷰] TQFT computations and experiments

Norbert A’Campo|ArXiv.org|2003. 11. 30.

Geometric and Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 3차원 TQFT에서 버린드 모듈 위의 매핑 클래스 군의 표준 표현을 명시적으로 계산하는 계산 프레임워크 TQFT를 제시한다. Pari-gp와 로버츠, 마스바움, 보겔의 융합 규칙을 사용하여, 삼차원 그래프의 허용 가능한 색채우기 방식을 통해 디엔 트위스트 작용을 계산하며, 원환면의 호를 기반으로 한 표현의 비공轭성은 원주율 필드 내의 추적 불변량을 통해 탐지됨을 보여주어, 고전적 불변량이 동일한 변형된 끈을 TQFT 불변량이 구분할 수 있음을 입증한다.

ABSTRACT

With the help of a new program, we do computations concerning the Witten-Reshetikhin-Turaev representations of mapping class groups. In particular we distinguish some mutant fibered knots. The program can be downloaded from http://www.geometrie.ch/TQFT

연구 동기 및 목표

• 매핑 클래스 군의 버린드 모듈 위의 명시적 TQFT 표현을 위한 계산 도구를 개발하는 것.
• 로버츠, 마스바움, 보겔의 융합 규칙을 구현하여 양자 불변량의 효율적 계산을 수행하는 것.
• TQFT 불변량이 고전적 불변량으로 구분되지 않는 변형된 끈을 식별할 수 있는지 테스트하는 것.
• 다른 끈 유형에 대해 PGL(n, C_{2k+4}) 내에서 단순화되지 않은 단일화 표현의 비공轭성을 탐색하는 것.
• TQFT 표현이 더 높은 수준에서 SL(2,Z) 내의 비공轭 원소를 탐지할 수 있는지 조사하는 것.

제안 방법

• 프로그램 TQFT는 버린드 모듈 위에서 원주율 필드 C_{2k+4} = Q(A)/(Φ_{2k+4}(A)) 상의 행렬을 Pari-gp를 사용하여 계산한다.
• 삼차원 그래프 Γ_g의 허용 가능한 (k,i)-색채우기는 짝수 간선 색상과 삼각부등식 및 합 부등식을 만족하며, 고정된 경계 색상 i를 갖는다.
• 매핑 클래스 군 생성자(경계 A_e 및 B_r에 대한 디엔 트위스트)는 버린드 모듈의 기저 원소 위에서의 작용을 통해 행렬로 구현된다.
• 프로그램은 init_so(k)와 init_boom_so([0,1,...,g-1],i)를 통해 수준을 설정하고 허용 가능한 색채우기의 기저를 계산한다.
• 행렬 작용은 twA(e)와 twB(r)를 사용하여 계산되며, 결과는 원주율 필드에 저장되어 추적 분석을 위해 사용된다.
• 단일화 표현의 추적 불변량(최대 세 제곱까지)을 계산하고 비교하여 PGL(n, C_{2k+4}) 내에서의 비공轭성을 탐지한다.

실험 결과

연구 질문

• RQ1 TQFT 불변량은 카우프만, HOMFLY, 그리고 카호바인 불변량으로 구분되지 않는 변형된 끈을 식별할 수 있는가?
• RQ2 슬라롬 끈에 대한 TQFT 표현의 단일화 지도에서 PGL(n, C_{2k+4}) 내에서 비공轭 행렬이 얻어지는가?
• RQ3 k ≥ 3이면서 홀수인 수준 k가 존재하여, SL(2,Z) 내의 비공轭 원소들이 TQFT 표현에서 여전히 비공轭 상태를 유지하는가?
• RQ4 낮은 차수의 추적 값이 일치할 경우, 단일화 행렬의 거듭제곱의 추적은 TQFT 표현의 차이를 탐지할 수 있는가?
• RQ5 매핑 클래스 군의 TQFT 표현이 GL(2,Z)로 확장되지 않는 이유는, 공轭 원소의 이미지가 비공轭이기 때문인가?

주요 결과

• g=1, k=7일 때, TQFT 표현 ρ₇: SL(2,Z) → PGL(3,C₁₈)는 GL(2,Z)로 확장되지 않으며, SL(2,Z) 내의 공轭 원소들의 이미지가 PGL(3,C₁₈) 내에서 공轭이 아니기 때문이다.
• k=5일 때, SL(2,Z) 내에서 a=[7,3;2,1]과 b=[7,1;6,1]의 행렬은 PGL(2,C₁₄) 내에서 공轭이 아니지만, SL(2,Q) 내에서는 공轭이다.
• 15n30444와 15n30419의 변형된 쌍에 대해, V⁶_{3,0} 위의 TQFT 작용은 첫 번째 및 두 번째 거듭제곱 추적 값이 동일하지만 세 번째 거듭제곱 추적 값은 다름을 보이며, 이는 PGL(675,C₁₀) 내에서 비공轭임을 증명한다.
• 15n30444/15n30419 쌍에 대한 계산은 2분 18.84초가 소요되었으며, 675×675 행렬을 생성했고, 추적 차이가 세 번째 거듭제곱에서 나타났다.
• i=2인 고리 수 5의 슬라롬 끈에 대해, V⁵_{3,2} (크기 275) 위의 TQFT 작용은 첫 번째 및 두 번째 거듭제곱 추적 값이 동일하지만 세 번째 거듭제곱 추적 값은 다름을 보이며, 비공轭성을 확인한다.
• 프로그램은 카우프만, HOMFLY, 카호바인 불변량이 동일한 끈을 비공轭 단일화 작용을 원주율 필드 내의 추적 불변량을 통해 탐지함으로써 성공적으로 구분하였다.