브레이드된 단순 확장과 비반정규 근접군 범주의 구조

초록

이 논문은 유한 텐서 범주에서 포인티드 부분범주와 유일한 단순 사영 객체를 갖는 ‘단순 확장(simple extension)’을 연구한다. 특히 비반정규(비세미심플) 근접군 범주가 브레이드 구조를 가질 때, 이러한 범주는 sRep(W⊕W*)의 비대칭 브레이드 확장으로 완전히 기술될 수 있음을 보인다. 또한 모든 브레이드된 비반정규 근접군 범주는 Rep(G)로부터의 중앙 확장으로 표현되며, 여기서 G는 고유 사영 객체가 결정하는 대칭 부분범주의 피카드 군이다.

상세 분석

논문은 먼저 ‘단순 확장(simple extension)’이라는 개념을 정의한다. 여기서 D는 포인티드 유한 텐서 범주이며, M은 유일한 단순 사영 객체 Q를 갖는 아벨 군론적 보조 범주이다. C = D ⊕ M이 텐서 구조를 가질 수 있는 충분조건을 질문(Question 1.0.1)으로 제시하고, D가 섬유함수(fiber functor)를 가질 때 M을 Vec와 동등시킬 수 있음을 이용해 C가 실제로 유한 텐서 범주가 됨을 보인다. 이때 C는 ‘단순 확장’이라고 명명된다.

그 다음, 기존의 ‘근접군(near‑group)’ 개념을 비세미심플 범주로 일반화한다. 전통적인 근접군은 유일한 비가역 객체 Q와 군 G의 가역 객체들만을 갖는 퓨전 범주였으며, Q⊗Q의 분해식 Q⊗Q ≅ ⊕_{g∈G} g ⊕ r·Q 로 파라미터 r을 정의했다. 비반정규 근접군에서는 Q⊗Q가 직접적인 단순 객체들의 직합이 아니라 사영 커버들의 직합으로 나타나며, 따라서 퓨전 규칙을 단순히 정수 r로 표현할 수 없게 된다. 저자는 이를 (G, r) 형태의 ‘일반화된 퓨전 규칙’으로 재정의하고, r은 Q의 사영 커버가 몇 번 등장하는지를 나타낸다.

핵심 결과는 세 가지 정리이다.

1. Theorem 1은 비반정규 브레이드 근접군 범주에서는 r=0, 즉 Q⊗Q가 가역 객체들의 직합만을 포함한다는 것을 보인다. 이는 퓨전 규칙이 (G, 0)인 경우에만 브레이드 구조가 가능함을 의미한다.
2. Theorem 2는 임의의 브레이드 비반정규 근접군 범주 C가 ‘모듈러화 정확한 시퀀스’ Rep(G) → C → D 로 분해될 수 있음을 증명한다. 여기서 D는 비퇴화(non‑degenerate) 브레이드 비반정규 근접군이며, G는 C 안의 대칭 부분범주(고유 사영 객체가 결정하는)의 피카드 군이다. 이 정리는 ‘확장’ 구조를 명시적으로 구성함으로써 분류 문제를 두 단계로 나눈다.
3. Theorem 3는 비퇴화 브레이드 비반정규 근접군 D가 반드시 sRep(W⊕W*)의 브레이드 확장임을 보여준다. 여기서 W는 순수히 홀수 차원의 초벡터 공간이며, sRep(W)는 라그랑지안(Lagrangian) 대칭 부분범주가 된다. 즉, D는 sRep(W⊕W*)에 비대칭 브레이드 구조를 부여한 형태이며, sRep(W)는 그 중앙화자이자 라그랑지안 서브카테고리이다.

이러한 정리들을 바탕으로 저자는 Corollary 4와 Theorem 5를 도출한다. Corollary 4는 모든 브레이드 비반정규 근접군 범주는 적분(integral)하지 않음을, 즉 FPdim이 정수가 아니라는 사실을 말한다. Theorem 5는 이러한 범주의 구조를 (G, n_p) 형태의 쌍으로 구체화한다. 여기서 G는 차수가 2ⁿ인 군이며, 중심 원소가 차수 2를 갖는다. 또한 사영 커버 P₁의 차원은 2^{n_p}이며, n_p + n_g는 홀수이다. 이는 기존의 퓨전 근접군 분류 결과와 일치하면서도 비세미심플 상황에 대한 새로운 제약을 제공한다.

기술적인 핵심 도구는 Müger 중심자와 중앙화자 이론, 그리고 ‘de‑equivariantization’(비대칭화) 과정이다. 저자는 Rep(G)를 중앙 대칭 서브카테고리로 포함시켜 모듈러화 정확한 시퀀스를 구성하고, 이를 통해 D를 sRep(W⊕W*)와 동형시킨다. 또한, 사영 객체 Q의 사영 커버 구조를 분석해 Q⊗Q의 분해를 정확히 파악함으로써 r=0이라는 강력한 제약을 얻는다. 전체 논증은 기존의 퓨전 근접군 분류(특히