로젠버그 젤린스키 시퀀스와 아벨 군형 범주에서의 피카르 군

본 논문은 아벨 엄격 단조 범주 D(𝟙,⊗)를 배경으로, 프루비니우스 대수와 그 양측 모듈을 통한 Picard 군 Pic(A‑Bimod)의 구조를 심도 있게 탐구한다. 서두에서는 대수 동형사상 대신 양측 모듈을 사상으로 삼는 카테고리적 관점을 제시한다. 이는 전통적인 대수 동형사상이 선형이면서 비가법적인 제약을 갖는 반면, 양측 모듈은 아벨 구조를 보존하고, Morita 동등성이라는 보다 유연한 동형 개념을 제공한다는 점을 강조한다. 다음으로, Rosenberg‑Zelinsky 정확열 0→Inn(A)→Aut(A)→Pic(A‑Bimod)→0을 일반적인 단조 범주에서도 성립함을 보이며, 여기서 Ψ_A는 자동사상 ω에 대해 오른쪽 작용을 ω로 뒤틀어 만든 양측 모듈 A_ω를 대응시킨다. 그러나 Ψ_A는 일반적으로 전사되지 않아 Pic(A‑Bimod)의 모든 원소가 자동사상으로 실현되지 않는다. 이는 CFT에서 대칭군을 자동사상으로 표현하려는 물리적 요구와 충돌한다. 이 문제를 해결하기 위해 저자는 두 단계의 질문을 제기한다. 1) Morita 동등한 다른 프루비니우스 대수 A′가 존재하여 Ψ_{A′}가 전사되는가? 2) 전사 사상이 섹션을 가져 Pic(A‑Bimod)≅H⊂Aut(A′)와 동형이 되는가? 이를 위해 먼저 A=𝟙인 경우를 분석한다. D의 Picard 군 Pic(D)에는 ‘차원 1’인 객체들이 존재하는데, 이는 카테고리 차원 dimₗ(X)=dimᵣ(X)=1인 객체들이다. 이러한 객체들의 유한 부분군 H에 대해, 차원 특성자(𝟙→k^×)가 H에 대해 자명하면 (Prop. 4.3) H의 각 원소를 자동사상으로 구현하는 프루비니우스 대수 A′를 구성한다. 구체적으로, H의 각 원소 h에 대해 고정 대수 A′= (𝟙)^{H}를 정의하고, 이는 𝟙과 Morita 동등함을 보인다. 이때 A′는 H‑불변 부분을 취한 뒤, D의 연관성 제약에서 유도된 idempotent P를 적용해 얻는다. 다음으로, 전사와 섹션을 동시에 확보하기 위한 추가 조건을 제시한다. D의 연관성 제약은 3‑코사이클 ω∈Z³(Pic(D),k^×)를 정의한다. H에 제한했을 때 ω|_H가 코바운더리이면 (Thm. 4.12) H→Aut(A′)의 호모모피즘이 존재한다. 이는 H의 원소들이 자동사상으로 실현될 뿐 아니라, 이 자동사상들이 서로 조화롭게 결합해 그룹 구조를 보존함을 의미한다. 구체적인 코체인 α∈C¹(H,k^×)를 선택해 ω|_H=δα로 표현하면, α를 이용해 자동사상 ω_h를 정의하고, 이들이 Ψ_{A′}의 전사 이미지에 정확히 대응한다. 그 후, 이러한 결과를 일반 프루비니우스 대수 A에 확대한다. Theorem 5.6은 “Pic(A‑Bimod) 내에서 차원 1인 유한 부분군 H와 연관된 3‑코사이클이 H에서 소거될 때, A와 Morita 동등한 프루비니우스 대수 A′가 존재하고, Ψ_{A′}:Aut(A′)→Pic(A′‑Bimod) 가 H에 대해 전사이며 섹션을 갖는다”는 일반화된 명제를 제시한다. 여기서 A′는 A의 고정 대수이며, 고정 대수는 A에 대한 H‑불변 부분을 추출하고, 앞서 정의한 idempotent을 적용해 얻는다. 또한, A′가 특별히 ‘정규화된 특수(special)’ 프루비니우스 대수라면 차원 1 조건과 3‑코사이클 소거 조건이 자동으로 만족한다. 마지막으로, 물리학적 동기인 합리적( rational) CFT와 orbifold 구성을 논한다. 모듈 카테고리 M이 주어지면, 프루비니우스 대수 A를 선택해 M≅Mod_A(𝒞)와 같은 동형을 만들 수 있다. 이때 A‑A‑양측 모듈이 CFT의 대칭군 Pic(A‑Bimod)를 구현한다. 위에서 제시한 조건을 만족하는 H⊂Pic(A‑Bimod)에 대해, A′를 선택하면 H는 자동사상으로 실현되고, 고정 대수 Mod_{A′}는 원래 CFT를 H‑orbifold 한 이론과 동형이 된다. 따라서 논문은 수학적 구조와 물리적 응용을 연결하는 구체적인 메커니즘을 제공한다. 전체적으로, 논문은 Rosenberg‑Zelinsky 시퀀스의 전사성을 제어하기 위한 카테고리 차원, 코호몰로지(3‑코사이클) 조건을 명확히 제시하고, 이를 통해 Morita 동등한 프루비니우스 대수를 선택해 Picard 군을 자동사상으로 완전하게 구현할 수 있음을 증명한다. 이는 CFT의 대칭 및 orbifold 이론을 보다 체계적으로 기술하는 데 중요한 수학적 토대를 제공한다.