[논문 리뷰] A systematic search of knot and link invariants beyond modular data

Colleen Delaney, Alan Tran|arXiv (Cornell University)|2018. 06. 07.

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

한 줄 요약

이 논문은 $G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ 인 랭크 49 모듈라 카테고리 $χ(\mathrm{Vec}_G^\omega)$ 에서 링크 및 뭍힘의 불변량을 체계적으로 조사하며, 특히 작은 뭍힘과 링크에서의 일부 불변량이 모듈라 자료만으로는 제공할 수 없는 더 많은 정보를 담고 있음을 보여준다. 주요 결과는 $5_2$ 뭍힘과 여러 링크가 모듈라 자료에 의존하지 않고 이러한 카테고리를 강하게 구별할 수 있다는 것이다. 이는 이러한 불변량이 전통적인 모듈라 불변량을 초월해 강력한 도구임을 시사한다.

ABSTRACT

The smallest known example of a family of modular categories that is not determined by its modular data are the rank 49 categories $\mathcal{Z}( ext{Vec}_G^ω)$ for $G=\mathbb{Z}_{11} times \mathbb{Z}_{5}$. However, these categories can be distinguished with the addition of a matrix of invariants called the $W$-matrix that contains intrinsic information about punctured $S$-matrices. Here we show that it is a common occurrence for knot and link invariants to carry more information than the modular data. We present the results of a systematic investigation of the invariants for small knots and links. We find many small knots and links that are complete invariants of the $\mathcal{Z}( ext{Vec}_G^ω)$ when $G=\mathbb{Z}_{11} times \mathbb{Z}_{5}$, including the $5_2$ knot.

연구 동기 및 목표

• 모듈라 자료만으로는 구별이 불가능한 경우에 뭍힘 및 링크 불변량이 모듈라 텐서 카테고리를 구별할 수 있는지 조사하는 것.
• Mignard-Schauenburg 반례의 맥락에서 모듈라 자료보다 더 많은 정보를 담고 있는 특정 작은 뭍힘과 링크를 식별하는 것.
• 군 $G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ 에 대한 $\mathcal{Z}(\mathrm{Vec}_G^\omega)$ 카테고리에서 10개 이하의 교차수를 가진 뭍힘과 9개 이하의 교차수를 가진 링크에 대해 뭍힘 및 링크의 불변량을 체계적으로 분석하는 것.
• W-행렬과 기타 링크 불변량이 구멍이 난 $S$-행렬에 대한 내재된 정보를 제공함으로써 카테고리 간의 구별력을 향상시킨다는 것을 보여주는 것.

제안 방법

• 저자들은 군 $G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ 와 그 코homology $H^3(G; U(1))$ 의 표현 이론을 활용하여 $B_3$ 에서 브레이드 워드의 양자 트레이스를 통해 뭍힘 및 링크의 양자 불변량을 계산한다.
• 백트랙 링크에서 유도된 $W$-행렬, 즉 구멍이 난 $S$-행렬 정보를 캡처하는 불변량의 행렬을 사용하여 그 구별 능력을 테스트한다.
• 모듈라 순열은 $S$ 및 $T$ 행렬의 항목을 순열을 제외하고 유지하는 anyon의 재라벨링으로 정의되며, 카테고리 간 불변량 비교를 가능하게 한다.
• 불변량은 군의 대수적 자료와 그 3-코호몰로지에 기반한 저자들이 제공한 Mathematica 패키지를 사용하여 계산된다.
• 분석은 $B_2$ 링크(모듈라 자료만으로 결정됨)를 제외한 $B_3$ 에서의 브레이드 폐쇄로 실현 가능한 링크에 집중한다.
• 이 연구는 UCSB의 Knot Cluster 등을 포함한 계산 도구를 활용하여 다섯 개인 불등가성 카테고리 전반에서 불변량을 정렬하고 평가한다.

실험 결과

연구 질문

• RQ1 모듈라 자료가 동일한 경우 뭍힘 및 링크 불변량이 모듈라 텐서 카테고리를 구별할 수 있는가?
• RQ2 특정 작은 뭇힘과 링크 중에서 다섯 개인 랭크 49 카테고리 $\mathcal{Z}(\mathrm{Vec}_G^\omega)$ 를 완전히 식별할 수 있는 것이 있는가? ($G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$)
• RQ3 W-행렬이나 보로메언 링크와 같은 불변량이 $S$ 및 $T$ 행렬을 초월해 어떤 정도의 정보를 담고 있는가?
• RQ4 $5_2$ 뭇힘은 모듈라 자료 없이도 카테고리를 구별하는 데 충분한가?
• RQ5 유한한 수의 테이프링 링크가 모든 모듈라 텐서 카테고리에 대해 완전한 불변량이 될 수 있는가?

주요 결과

• $5_2$ 뭇힘은 모듈라 자료 없이도 다섯 개의 서로 다른 $\mathcal{Z}(\mathrm{Vec}_G^\omega)$ 카테고리를 모두 강하게 구별하는 강력한 불변량이다.
• 사각형 뭇힘($4_1$)과 보로메언 링크($6^3_2$)는 모듈라 자료와 함께 사용할 경우 카테고리를 약하게 구별하지만, 독립적으로는 그렇지 않다.
• 백트랙 링크에서 유도된 $W$-행렬은 모듈라 자료와 함께 사용될 경우 다섯 개의 카테고리를 구별하는 강력한 불변량이다.
• 보로메언 링크의 경우, $B$-타입 anyon으로 표시된 모든 불변량은 11과 같다. 이는 쿼랜들 칠링 수와 일치하며, 영인의 색수를 가진 정수 값이기 때문이다.
• 보로메언 링크의 불변량은 사각형 뭇힘과 동일하게 행동하며, 둘 다 카테고리를 약하게 구별한다.
• 이 연구는 작은 뭇힘과 링크가 모듈라 자료만으로는 제공할 수 없는 더 많은 정보를 담고 있는 것이 일반적임을 확인한다. 특히 비자기적 또는 비아벨리안 카테고리에서 그러한 경향이 두드러진다.