[논문 리뷰] Irreducible factors of Weil representations and TQFT

Julien Korinman|arXiv (Cornell University)|2013. 10. 01.

Advanced Algebra and Geometry참고 문헌 22인용 수 3

한 줄 요약

이 논문은 짝수 수준에서 $Sp_{2g}(ℤ)$의 Weil 표현을 기약 성분으로 완전히 분해하며, 이는 이전의 홀수 수준 결과를 일반화한다. $SU(2)$ 및 $SO(3)$ TQFT에서 수준 $p$의 양자 표현이 소수 거듭제곱으로 인덱싱된 기약 모듈로 분해됨을 입증하고, $p$가 4로 나누어지지 않을 경우, 틀린 링크 없이 만든 보편 TQFT 구성이 표준 버전과 동일한 이론을 얻음을 보여준다.

ABSTRACT

We give the decomposition into irreducible factors of Weil representations of the symplectic groups at even levels, generalizing previous decompositions at odd levels. We then derive the decomposition of the quantum representations of SL2(Z) arising in the SU(2) and SO(3) TQFTs. As application we show that, when the level indexing the TQFT is not a multiple of 4, the universal construction applied to a cobordism category without framed links leads to the same TQFT.

연구 동기 및 목표

• 홀수 수준에서의 Weil 표현 분해를 짝수 수준으로 확장하는 것.
• Weil 표현 분해를 통해 $SU(2)$ 및 $SO(3)$ TQFT에서의 양자 표현의 구조를 유도하는 것.
• 수준 $p$가 4로 나누어지지 않을 경우, 틀린 링크 없이 보편 TQFT 구성이 표준 TQFT를 복원함을 증명하는 것.
• Weil 표현의 홀수 부분모듈과 Witten-Reshetikhin-Turaev 표현 사이의 정확한 동형관계를 확립하는 것.

제안 방법

• 틀린 링크가 없는 코보르디즘 범주에 초점을 맞춘 보편 TQFT 구성의 위상수학적 및 대수적 접근.
• 순환체 위에서 Weil 모듈의 텐서곱을 분해하기 위해 $\mathbf{k}_{ab} \to \mathbf{k}_a \otimes \mathbf{k}_b$의 링 동형사상 $\mu$를 적용.
• Weil 표현의 $U_{r^{n+2}}^\otimes g$를 $U_{r^n}^\otimes g \oplus W_{r^{n+2}}^\otimes g$로 재귀적으로 분해하고, 이를 짝수 및 홀수 부분모듈로 더 분할.
• $U_p^\otimes g$ 및 $W_{r^n}^\otimes g$에서의 명시적 기저 구성과 내적 계산을 통해 $SL_2(\mathbb{Z})$에 대한 기약성과 불변성을 분석.
• $V_p \cong U_p^-$의 식별을 통해 TQFT 벡터 공간의 구조를 Weil 표현 성분으로 변환.
• 3차원 다각형에서 틀린 링크 성분의 수에 대한 귀납법을 적용하여, $4 \nmid p$일 경우 임의의 TQFT 벡터가 틀린 링크 없이도 표현 가능함을 보임.

실험 결과

연구 질문

• RQ1 Weil 표현이 $Sp_{2g}(\mathbb{Z})$에서 짝수 수준일 때 어떻게 분해되며, 이는 이전에 알려진 홀수 수준 결과를 일반화하는가?
• RQ2 $SU(2)$ 및 $SO(3)$ TQFT에서 $SL_2(\mathbb{Z})$의 양자 표현이 짝수 수준일 때 어떤 구조를 가지는가?
• RQ3 보편 TQFT 구성이 틀린 링크 없이도 표준 구성과 동일한 이론을 얻는 조건은 무엇인가?
• RQ4 Weil 표현의 홀수 부분모듈 $U_p^-$는 Witten-Reshetikhin-Turaev 표현과 어떻게 관련이 있는가?
• RQ5 수준 $p$에 대해 $SL_2(\mathbb{Z})$-불변 부분공간 $X_p$가 모듈라 군의 작용에 대해 닫혀 있는 조건은 무엇인가?

주요 결과

• 수준 $p$가 홀수일 경우 Weil 표현은 $\sigma(p)$개의 기약 성분으로 분해되고, 짝수일 경우 $\sigma(p/2)$개로 분해된다.
• 서로소인 $a,b \geq 2$에 대해, $Sp_{2g}(\mathbb{Z})$-모듈로서의 $U_a^\otimes g \otimes U_b^\otimes g \cong U_{ab}^\otimes g$의 동형사상이 존재한다.
• 소수 거듭제곱에 대해 $U_{r^{n+2}}^\otimes g \cong U_{r^n}^\otimes g \oplus W_{r^{n+2}}^\otimes g$이며, $W_{r^{n+2}}$는 자유 부분모듈이다.
• 기약 성분은 $B_{r_1} \otimes \cdots \otimes B_{r_k}$의 형태이며, $B_{r_i} \in \{U_{r_i}^{g,\pm}, W_{r_i^n}^{g,\pm}\}$로 표현되며, 상호간에 동형이 아니며 모두 기약이다.
• $SU(2)$ 및 $SO(3)$ 양자 표현은 이러한 기약 모듈의 직합으로 분해되며, 홀수 부분모듈 $U_p^-$는 Witten-Reshetikhin-Turaev 표현 $V_p$와 동형이다.
• $4 \nmid p$일 경우, 틀린 링크 없이 만든 보편 TQFT 구성은 표준 구성과 동일한 불변량을 생성하며, 이는 $SL_2(\mathbb{Z})$-모듈 $V_p$에서 $\Lambda_0 = \Lambda_1$의 등식 때문이 다.