[논문 리뷰] Rationality and dense families of B(3) representations

Lieven Le Bruyn|arXiv (Cornell University)|2010. 03. 08.

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

한 줄 요약

이 논문은 퀼리 표현과 루나 슬라이스를 사용한 유리 매개변수화 방법을 개발하여, $B_3$-표현의 자리키-밀도 가닥을 구성한다. 이는 6차원 표현이 루프 $8_{17}$에서의 비가역성을, 브레이드와 그 역을 구분함으로써 증명한다. 주요 결과는 $\mathbb{Q}(\rho)$ 위에서의 유리 8파라미터 6차원 $B_3$-표현의 명시적 구성이며, 이는 브레이드 $b$와 그 역 $b'$를 분리한다. 이 경우 추적 불변량 $\operatorname{Tr}(b) \neq \operatorname{Tr}(b')$가 성립한다.

ABSTRACT

Every irreducible component of the variety of semi-simple n-dimensional representations of the modular group has a Zariski dense subset contained in the image of an etale map from a rational quotient variety of representations of a fixed quiver Q. As an application we prove that there is a unique component of 6-dimensional representations of the three string braid group B(3) able to detect braid-reversion. Further, we give explicit rational parametrizations of dense families of simple B(3)-representations in all dimensions < 12.

연구 동기 및 목표

• 삼중 브레이드의 분리 문제를 표현 이론을 사용하여 브레이드와 그 역을 구분함으로써 해결한다.
• Tuba-Wenzl의 단순 $B_3$-표현 분류를 차원 5를 초월하여 확장한다.
• 차원 $<12$에 대해 단순 $B_3$-표현의 밀도 있는 가닥에 대한 유리 매개변수화를 구성한다.
• 8_{17}에서 비가역성을 탐지하는 최소 차원이 6이며, 그 이상이 아님을 증명한다.
• SAGE를 사용하여 최적의 계산 도구를 제공하여 최대 8개의 교차점을 가진 루프에서 브레이드의 역행 가능성을 테스트한다.

제안 방법

• 루나-슬라이스 이론을 활용하여 유리 몫 다양체 $\mathrm{iss}(Q,\alpha)$ 에서 $\mathrm{iss}_n B_3$ 의 기약 성분으로의 에탈 맵을 구성한다.
• 퀘일리 표현에 대한 유리성 결과를 사용하여 매개변수화 다양체 $X_\alpha$ 가 유리임을 보장함으로써 명시적 매개변수화를 가능하게 한다.
• 중앙 원소 $c$ 로 나누어 기하학을 단순화하기 위해 $B_3$-표현의 연구를 모듈라 군 $\Gamma_0 = PSL_2(\mathbb{Z})$ 로 환원한다.
• 6차원 표현에서 $\sigma_1$ 과 $\sigma_2$ 의 명시적 행렬을 $\mathbb{Z}[\rho]$ 의 매개변수를 사용하여 구성한다. 여기서 $\rho$ 는 원시 제3단위근이다.
• 분리 기준으로서 추적 불변량 $\operatorname{Tr}(b)$ 와 $\operatorname{Tr}(b')$ 를 사용하며, $\operatorname{Tr}(b) \neq \operatorname{Tr}(b')$ 는 서로 다른 공轭류를 의미한다.
• SAGE 호환 알고리즘을 구현하여 매개변수를 무작위로 샘플링하고 최대 8개의 교차점을 가진 루프에서 브레이드의 역행 가능성을 테스트한다.

실험 결과

연구 질문

• RQ1 6차원 $B_3$-표현이 $8_{17}$ 루프를 나타내는 브레이드 $b$ 가 그 역 $b'$ 와 공轭이 아니라는 것을 탐지할 수 있는가?
• RQ2 6차원에서 단순 $B_3$-표현의 자리키-밀도 가닥에 대한 유리 매개변수화가 존재하는가?
• RQ3 브레이드와 그 역을 구분할 수 있는 $B_3$-표현의 최소 차원은 얼마인가?
• RQ4 이 방법을 모든 단순 $B_3$-표현에 대해 차원 $<12$ 에 대해 일반화하여 유리 매개변수화를 제공할 수 있는가?
• RQ5 최대 8개의 교차점과 3브레이드 클로처를 가진 루프 중에서 이 표현 가닥을 사용하여 비가역성을 탐지할 수 있는 것은 무엇인가?

주요 결과

• $\mathrm{iss}_6 B_3$ 의 8차원 성분은 네 개의 기약 성분 중에서 유일하게 $b$ 와 $b'$ 를 분리할 수 있으며, 이는 최소 성분임을 확인한다.
• 명시적 6차원 $B_3$-표현이 존재하며, $\operatorname{Tr}(b) = -7128\rho - 1092$ 이고 $\operatorname{Tr}(b') = 7128\rho + 6036$ 이다. 이는 $b$ 와 $b'$ 가 공轭이 아니라는 것을 증명한다.
• $6a$ 와 $6c$ 성분에서는 모든 표현에서 $\operatorname{Tr}(b) = \operatorname{Tr}(b')$ 이므로 비가역성을 탐지할 수 없다.
• $6b$ 성분은 $\mathbb{Q}(\rho)$ 위에서 $B_3$-표현의 유리 8파라미터 가닥을 제공하며, 자리키 열린 부분집합에서 $b$ 와 $b'$ 를 분리한다.
• 이 방법은 추적 불변량을 사용하여 $6_3$, $7_5$, $8_7$, $8_9$, $8_{10}$, $8_{17}$ 의 브레이드 역행을 성공적으로 분리한다.
• SAGE 구현은 최대 8개의 교차점을 가진 모든 3브레이드 루프에서 브레이드의 역행 가능성을 효율적으로 테스트할 수 있게 하여, 이 방법의 실용적 유용성을 확인한다.