퓨전 카테고리의 형식 코드그리

초록

이 논문은 퓨전 카테고리의 전역 차원과 Frobenius‑Perron 차원이 대수정수 링에서 갈루아 불변 아이디얼을 생성한다는 일반적인 결과를 증명한다.

상세 분석

논문은 먼저 퓨전 카테고리 𝒞의 형식 코드그리(formal codegrees)를 정의한다. 형식 코드그리는 𝒞의 단순 객체들의 차원과 결합계수로부터 얻어지는 대수정수이며, 기존 연구에서 코드그리와 Frobenius‑Perron 차원의 관계를 탐구하는 데 핵심적인 도구로 사용되었다. 저자들은 이 형식 코드그리들이 𝒞의 Grothendieck 반군(또는 중심)에서 자연스럽게 나타나는 행렬의 고유값이라는 점을 이용한다. 특히, 이러한 고유값들은 대수적 정수이며, 그들의 최소다항식은 𝒞의 구조 상수(예: 6j‑기호, F‑기호 등)의 계수와 직접 연결된다.

주요 정리는 “전역 차원 dim 𝒞와 Frobenius‑Perron 차원 FPdim 𝒞는 각각 그들의 형식 코드그리들의 곱으로 표현될 수 있으며, 이 곱은 갈루아 군의 작용에 대해 불변인 아이디얼을 생성한다”는 내용이다. 이를 증명하기 위해 저자들은 다음과 같은 전략을 채택한다. 첫째, 𝒞의 중심 𝒵(𝒞)에서 얻어지는 모듈러 데이터(S‑행렬, T‑행렬)를 이용해 코드그리들의 집합을 명시적으로 계산한다. 둘째, 이 집합이 대수적 정수 링 𝔬_K(= ℤ̅) 안에서 닫힌 하위환을 형성함을 보이고, 그에 대한 갈루아 군 Gal(ℚ̅/ℚ)의 작용이 각 원소를 순환시킨다. 셋째, 전역 차원과 FP 차원은 각각 코드그리들의 곱과 제곱근 형태로 나타나므로, 이 두 차원 역시 같은 갈루아 불변 아이디얼을 생성한다는 결론에 도달한다.

핵심적인 기술적 단계는 코드그리들의 최소다항식이 정규 확장 K/ℚ에 대해 전분해 가능함을 보이는 것이며, 이는 𝒞가 사전 정의된 ‘정규’ 조건(예: 사전적(semisimple)이고, 유한한 수의 단순 객체를 갖는 등)을 만족할 때 성립한다. 또한, 저자들은 코드그리와 차원 사이의 관계를 정밀히 분석함으로써, 기존에 알려진 ‘차원은 대수정수’라는 사실을 보다 강력한 ‘아이디얼 생성’ 형태로 일반화한다.

이 결과는 퓨전 카테고리 이론에서 차원의 산술적 성질을 이해하는 데 새로운 관점을 제공한다. 예를 들어, 전역 차원과 FP 차원이 동일한 소수 인수 구조를 가질 필요는 없지만, 그들이 생성하는 아이디얼은 동일하므로, 차원들의 소인수 분해가 갈루아 군의 궤도와 일치한다는 강력한 제약을 부과한다. 이는 특히 카테고리의 모듈러화, 중심의 구조, 그리고 카테고리의 ‘정수형’ 표현 이론을 연구할 때 유용하게 활용될 수 있다.