[논문 리뷰] Symmetries of 2d TQFTs and Equivariant Verlinde Formulae for General Groups

Sergei Gukov, Peijun Du외 2명|arXiv (Cornell University)|2021. 11. 15.

Black Holes and Theoretical Physics인용 수 15

한 줄 요약

이 논문은 2차원 TQFT에서의 일반화된 대칭군—특히 0형 및 1형 대칭군—을 체계적으로 분석함으로써, 단순한 TQFT의 등변 Verlinde 공식을 통합적인 프레임워크로 정립한다. 이는 G-Higgs bundle의 모듈리 공간의 게이지 대칭 및 기하적 양자화를 통해 임의의 단순군, 특히 $PSL(2,\bbC)$에 대한 등변 Verlinde 대수를 도출함으로써, $PSL(2,\bbC)$의 경우에 대해 융합 규칙과 추적 구조의 완전한 분류를 가능하게 한다.

ABSTRACT

We study (generalized) discrete symmetries of 2d semisimple TQFTs. These are 2d TQFTs whose fusion rules can be diagonalized. We show that, in this special basis, the 0-form symmetries always act as permutations while 1-form symmetries act by phases. This leads to an explicit description of the gauging of these symmetries. One application of our results is a generalization of the equivariant Verlinde formula to the case of general Lie groups. The generalized formula leads to many predictions for the geometry of Hitchin moduli spaces, which we explicitly check in several cases with low genus and SO(3) gauge group.

연구 동기 및 목표

• 2D TQFT에서의 일반화된 대칭군의 시각에서 다양한 Verlinde 공식의 형태를 통합하는 것.
• Higgs bundle의 모듈리 공간의 등변 양자화를 통해 Verlinde 공식을 단순 연결이 아닌 군, 특히 $PSL(2,\bbC)$로 확장하는 것.
• 단순한 2D TQFT에서의 0형 및 1형 대칭군의 게이징을 체계적으로 연구하고, 융합 규칙 및 추적 구조에 미치는 영향을 분석하는 것.
• $PSL(2,\bbC)_k$에 대한 등변 Verlinde 대수와 융합 규칙을 기하학적 및 카테고리적 방법을 사용하여 계산하는 것.
• Hitchin 문자와 분류화를 통한 $PSL(2,\bbC)$ Verlinde 대수의 기하적 실현을 확립하는 것.

제안 방법

• 2D 단순한 TQFT와 가환 프로베누스 대수 사이의 등가성을 활용하여, TQFT 데이터를 대수적 구조로 표현한다.
• 0형 및 1형 대칭군의 유한한 게이징을 적용하여 기존 TQFT에서 새로운 TQFT를 생성함으로써, 단순성의 유지가 보장된다.
• 특히 $\mathbb{Z}_2^{(0)}$ 및 $\mathbb{Z}_2^{(1)}$ 대칭군에 대한 군 작용 하에서 분할 함수 및 융합 규칙을 분석함으로써 등변 Verlinde 공식을 도출한다.
• $PSL(2,\bbC)$의 Verlinde 대수를 일개 구멍이 있는 토러스 위의 모듈리 공간 $\mathcal{M}(PSL(2,\bbC))$의 기하적 양자화를 통해 계산한다.
• 등변 추적과 Hitchin 문자를 활용하여 융합 규칙을 계산하며, 대칭성과 양의 조건을 통합한다.
• 결합된 결합 조건과 양의 조건을 적용하여 $PSL(2,\bbC)$의 경우에 융합 계수를 유일하게 결정함으로써 대칭 제약 조건으로 인한 모호성을 제거한다.

실험 결과

연구 질문

• RQ1 일반화된 대칭군—특히 0형 및 1형 대칭군—은 다양한 Verlinde 공식의 형태를 어떻게 통합하는가?
• RQ2 $PSL(2,\bbC)$에 대한 등변 Verlinde 대수의 구조는 무엇이며, $\mathcal{M}(PSL(2,\bbC))$의 기하적 양자화로부터 어떻게 유도되는가?
• RQ3 $PSL(2,\bbC)_k$ TQFT에서 융합 규칙은 $SL(2,\bbC)_k$ 이론의 $\mathbb{Z}_2^{(1)}$ 및 $\mathbb{Z}_2^{(0)}$ 대칭군의 게이징으로부터 어떻게 도출되는가?
• RQ4 대칭성과 양의 조건은 $PSL(2,\bbC)_k$ Verlinde 대수의 융합 계수에 어떤 제약을 가하는가?
• RQ5 등변 추적과 Hitchin 문자는 $\mathcal{T}(PSL(2,\bbC)_k)$의 융합 규칙을 계산하는 데 어떻게 활용될 수 있는가?

주요 결과

• 임의의 단순군에 대한 등변 Verlinde 공식은 단순한 2D TQFT에서의 0형 및 1형 대칭군의 게이징을 통해 도출된다.
• $PSL(2,\bbC)_k$의 경우, 대칭 제약 조건, 결합 법칙, 양의 조건을 조합함으로써 융합 규칙이 완전히 결정되며, 융합 계수의 모호성이 제거된다.
• $x^a \times x^b$에서의 융합 규칙 $\widetilde{f}^{ab}{}_{c} = f^{ab}{}_{c} + f^{(k-a)b}{}_{c}$는 $\mathbb{Z}_2^{(0)}$ 대칭성에 의해 반영된 $\mathbb{Z}_2^{(0)}$ 대칭성에 기인한 것으로 유도된다.
• $\mu$가 두 개의 $\mathbb{Z}_2$-틀린 섹터를 표기함에 따라, 융합 계수 $\widetilde{f}^{a\mu}{}_{b} = f^{a\frac{k}{2}}{}_{b}$는 $\mathbb{Z}_2^{(0)}$ 대칭성과 양의 조건에 의해 유일하게 결정된다.
• $x^\mu \times x^\nu$의 융합은 $\sum_{\mu,\nu} \widetilde{f}^{\mu\nu}{}_{c} = 2f^{\frac{k}{2}\frac{k}{2}}{}_{c}$ 및 $\sum_{\mu,\nu} \widetilde{f}^{\mu\nu}{}_{\frac{k}{2}} = f^{\frac{k}{2}\frac{k}{2}}{}_{\frac{k}{2}}$를 만족하며, 이는 $\mathbb{Z}_2^{(0)}$ 대칭성과 일관된다.
• $PSL(2,\bbC)$ Verlinde 대수는 일개 구멍이 있는 토러스 위의 $\mathcal{M}(PSL(2,\bbC))$의 기하적 양자화를 통해 카테고리적으로 실현되며, 등변 추적은 Hitchin 문자 계산과 정확히 일치한다.