[논문 리뷰] Algebraic number fields generated by Frobenius-Perron dimensions in fusion rings

Terry Gannon, Andrew Schopieray|arXiv (Cornell University)|2019. 12. 27.

Algebraic structures and combinatorial models참고 문헌 39인용 수 6

한 줄 요약

이 논문은 융합 링이 초순수 2군에 의한 차원적 그룹화를 갖는다고 규명하며, 모듈라 텐서 범주의 곱셈적 중심 상수에 대한 경계를 제공하고, 프로베누스-페르론 차원에 의해 생성된 대수적 수체에 관련된 갈로아 불변 부분군을 도입한다. 핵심 결과는 중심 상수의 차수는 프로베누스-페르론 차원에 의해 생성된 체의 갈로아 군의 지수에 의해 제약을 받는 것으로, 이는 이전 결과를 임의의 수체로 일반화한다.

ABSTRACT

From a unifying lemma concerning fusion rings, we prove a collection of number-theoretic results about fusion, braided, and modular tensor categories. First, we prove that every fusion ring has a dimensional grading by an elementary abelian 2-group. As a result, we bound the order of the multiplicative central charge of arbitrary modular tensor categories. We also introduce Galois-invariant subgroups of the Witt group of nondegenerately braided fusion categories corresponding to algebraic number fields generated by Frobenius-Perron dimensions. Lastly, we provide a complete description of the fields generated by the Frobenius-Perron dimensions of simple objects in $\mathcal{C}(\mathfrak{g},k)$, the modular tensor categories arising from the representation theory of quantum groups at roots of unity, as well as the fields generated by their Verlinde eigenvalues.

연구 동기 및 목표

• 융합 링에서 프로베누스-페르론 차원에 의해 생성된 대수적 수체와 그 텐서 범주에 대한 영향을 이해하는 것.
• FP-차원에 관한 새로운 레마를 통해 약한 정수적 경우를 초월하여 융합 링의 차원적 그룹화를 일반화하는 것.
• FP-차원에 의해 생성된 체의 갈로아 군 지수를 이용해 모듈라 텐서 범주에서 곱셈적 중심 상수의 차수를 경계하는 것.
• FP-차원에서 유도된 대수적 수체에 관련된 유티스 군의 갈로아 불변 부분군을 정의하고 연구하는 것.
• 양자군 범주 $\mathcal{C}(\mathfrak{g},k)$에서 FP-차원과 버린드 고유값에 의해 생성된 체를 완전히 기술하는 것.

제안 방법

• 융합 링에서 비음이 아닌 정수 계수 조합에 대해 $\mathbb{Q}(\mathrm{FPdim}(x_1)), \mathbb{Q}(\mathrm{FPdim}(x_2)) \subseteq \mathbb{Q}(\mathrm{FPdim}(x_1 + x_2))$를 보장하는 통합 레마를 활용한다.
• 이 레마를 이용해 융합 링이 $\mathrm{Gal}(\mathbb{K}_1 / \mathbb{K}_0)$에 의한 충실한 그룹화를 갖는다는 것을 증명한다. 이 군은 초순수 2군이다.
• 갈로아 이론적 기법을 적용하여, 모듈라 텐서 범주에서 곱셈적 중심 상수 $\xi(\mathcal{C})$의 차수를 $\mathrm{Gal}(\mathbb{L}_{\mathbbm{1}} / \mathbb{Q})$의 지수에 따라 경계한다. 여기서 $\mathbb{L}_{\mathbbm{1}}$는 단순 객체의 차원에 의해 생성된 체이다.
• 모든 유티스--equivalent nondegenerately braided categories에 대해 $\mathbb{K}_0$의 교차로 새로운 불변량 $\Phi([\mathcal{C}])$를 정의하고, $\mathcal{W}_{\mathbb{K}}$가 유티스 군의 갈로아 불변 부분군임을 증명한다.
• $\mathcal{C}(\mathfrak{g},k)$에 대해 $\mathbb{K}_0, \mathbb{K}_1$를 계산하고, 어떤 $n$에 대해 $\mathbb{K}_0 = \mathbb{Q}_n$임을 보이며, 허위단위 범주에서는 $\mathbb{K}_1 = \mathbb{K}_0$임을 보인다.
• 오일러의 타우 함수에 대한 수론적 제약 조건을 사용하여, $\mathcal{C}(\mathfrak{g},k)$의 $\mathbb{Q}_n$-확장에서 특정 갈로아 군 지수를 배제한다.

실험 결과

연구 질문

• RQ1 모든 융합 링이 초순수 2군에 의한 차원적 그룹화를 갖는가? 그리고 이는 이전의 약한 정수적 융합 링 결과를 어떻게 발전시키는가?
• RQ2 프로베누스-페르론 차원에 의해 생성된 체의 갈로아 군을 이용해 모듈라 텐서 범주에서 곱셈적 중심 상수 $\xi(\mathcal{C})$의 차수를 경계할 수 있는가?
• RQ3 FP-차원에서 유도된 대수적 수체 $\mathbb{K}$에 대해, $\Phi([\mathcal{C}]) \subset \mathbb{K}$인 유티스 클래스 $[\mathcal{C}]$의 집합인 $\mathcal{W}_{\mathbb{K}} \subset \mathcal{W}$는 유티스 군의 갈로아 불변 부분군인가?
• RQ4 $\mathcal{C}(\mathfrak{g},k)$에서 프로베누스-페르론 차원에 의해 생성된 정확한 체 $\mathbb{K}_0$와 $\mathbb{K}_1$는 무엇이며, 이들은 원분 체와 어떻게 관련되는가?
• RQ5 어떤 소수 거듭제곱 $N = p^b$에 대해, 갈로아 군 지수 $N$을 갖는 모듈라 텐서 범주 $\mathcal{C}(\mathfrak{g},k)$가 존재하는가?

주요 결과

• 모든 융합 링은 $\mathrm{Gal}(\mathbb{K}_1 / \mathbb{K}_0)$와 동형인 초순수 2군에 의한 충실한 그룹화를 갖는다. 이는 이전의 약한 정수적 융합 링 결과를 일반화한다.
• 모듈라 텐서 범주에서 곱셈적 중심 상수 $\xi(\mathcal{C})$는 단위근이며, 그 차수는 $f(2N)/3$의 약수이다. 여기서 $N$은 $\mathrm{Gal}(\mathbb{L}_{\mathbbm{1}} / \mathbb{Q})$의 지수이다.
• 허위단위 범주에서는 중심 상수의 차수는 $2f(2N)/3$의 약수이며, $N$은 $\mathrm{Gal}(\mathbb{K}_0 / \mathbb{Q})$의 지수이다. 이는 이전 결과를 임의의 수체로 확장한다.
• $\mathbb{K}$가 대수적 수체일 때, $\mathcal{W}_{\mathbb{K}} = \{[\mathcal{C}] \in \mathcal{W} : \Phi([\mathcal{C}]) \subset \mathbb{K}\}$는 유티스 군 $\mathcal{W}$의 갈로아 불변 부분군이다.
• $\mathcal{C}(\mathfrak{g},k)$의 경우, 프로베누스-페르론 차원에 의해 생성된 체 $\mathbb{K}_0$는 어떤 $n$에 대해 $\mathbb{Q}_n$이며, 허위단위 경우 $\mathbb{K}_1 = \mathbb{K}_0$이다.
• 만약 어떤 $1 \leq a \leq b$에 대해 $2p^a + 1$이 소수가 아니면, $\mathcal{C}(\mathfrak{g},k)$에서 갈로아 군 지수 $N = p^b$를 갖는 경우는 존재하지 않으며, 이는 실현 가능성에 강력한 수론적 제약을 가진다.