그룹 이론적 모듈러 데이터의 모듈러 불변량 분류

초록

이 논문은 비꼬임(untwisted) 그룹 이론적 모듈러 카테고리에서 분해되지 않는 가환·분리(특수 Frobenius) 대수를 완전히 분류하고, 그들의 로컬 모듈을 기술한다. 이를 통해 해당 카테고리의 모듈러 불변량을 구체적으로 설명하고, 두 그룹 이론적 모듈러 카테고리가 리본 동형인지 여부와 그 동형성의 경우의 수를 제시한다.

상세 분석

논문은 먼저 Drinfeld 중심 Z(Vec_G) = 𝒞(G) (여기서 ω=1인 경우) 를 ‘그룹 이론적 모듈러 카테고리’라 정의하고, 이러한 카테고리 안에서 특수 Frobenius 구조를 가진 가환·분리 대수(A)를 연구한다. 가환·분리 대수는 완전한 합성곱-분해 가능성을 보장하는 동시에, 로컬 모듈(즉, A‑모듈이면서 반쯤 중심을 만족하는 객체)과 일대일 대응한다는 점에서 2‑차원 경계 CFT의 확장에 해당한다. 저자는 A를 ‘indecomposable’(분해 불가능) 로 가정하고, 이를 G의 부분군 H와 2‑코사인 β∈H²(H,k^×) 로 완전히 파라미터화한다. 구체적으로, A는 객체 ⊕_{g∈H} δ_g ⊗ V_g 로 표현되며, 여기서 V_g는 β에 의해 결정되는 1‑차원 프로젝트ive 표현이다. 이러한 구조는 ‘Lagrangian 알제브라’와 유사하지만, 여기서는 ω=1이므로 코호몰로지 클래스가 사라진다.

다음 단계에서는 A‑모듈의 로컬성 조건을 분석한다. 로컬 모듈은 A‑작용이 중심화된 형태로 존재해야 하므로, 모듈 객체는 H의 정규자 N_G(H) 의 이중 코사인 클래스에 의해 분류된다. 저자는 이를 통해 로컬 모듈의 카테고리를 Rep^β(N_G(H)/H) 로 동형시킨다. 이때 β는 N_G(H) 에서 제한된 2‑코사인으로, 모듈의 융합 구조와 차원 정보를 완전히 결정한다.

모듈러 불변량 Z는 A‑모듈과 그 로컬 모듈의 차원 데이터를 이용해 Z_{X,Y}=dim Hom_𝒞(X⊗Y, A) 로 정의한다. 위의 파라미터화 결과를 대입하면, Z는 G×G‑표현의 ‘정규화된’ 행렬로 전개되며, 각 원소는 H‑공액 클래스와 β‑가중치에 의해 명시적으로 계산된다. 따라서 그룹 이론적 모듈러 데이터의 모든 모듈러 불변량이 H와 β의 조합으로 완전히 기술된다.

마지막으로 두 카테고리 𝒞(G)와 𝒞(H) 가 리본 동형인지 여부를 조사한다. 저자는 ‘isocategorical’ 그룹 개념을 도입해, G와 H 가 동일한 ‘fusion‑category’ 구조를 가질 때, 그리고 동일한 2‑코사인 데이터가 존재할 때에만 𝒞(G)≅𝒞(H) 라는 리본 동형성을 보인다. 구체적으로, 존재하는 정규 서브그룹 K⊂G×H 와 2‑코사인 γ∈H²(K,k^×) 가 양쪽 카테고리의 대수와 모듈을 서로 대응시키는 경우에 한해 동형이 성립한다. 이 결과는 기존에 알려진 ‘group‑theoretical’ 모듈러 카테고리의 등가성 조건을 보다 구체적인 코호몰로지 데이터 수준으로 끌어내어, 동형성의 경우의 수를 정확히 셀 수 있게 만든다.

전반적으로 논문은 그룹 이론적 모듈러 카테고리 안에서 가환·분리 대수와 로컬 모듈을 ‘부분군 + 2‑코사인’이라는 간단하면서도 완전한 데이터로 환원시킴으로써, 모듈러 불변량과 카테고리 동형성 문제를 체계적으로 해결한다. 이는 2‑차원 위상 양자장 이론, 경계 CFT, 그리고 수학적 물리학에서의 모듈러 인버리언스 연구에 강력한 도구를 제공한다.