펜온 정의의 이중 퇴화 삼범주와 대칭 모노이달 구조

초록

본 논문은 펜온(Penon) 방식으로 정의된 삼범주가 이중 퇴화될 때 대칭 모노이달 범주를 제공함을 보이고, 기존 정의가 모든 삼범주를 포착하지 못함을 증명한다. 이를 해결하기 위해 반사적(globular) 대신 비반사적(non‑reflexive) 구형 집합을 이용한 수정 정의를 제시하고, 수정된 정의에서는 이중 퇴화 삼범주가 기대한 브라디드(braided) 모노이달 범주를 정확히 재현함을 확인한다.

상세 분석

펜온의 고전적 정의는 n‑범주 구조를 반사적 구형 집합(reflexive globular set) 위에 자유적인 약한 연산을 부여하는 방식으로 구성한다. 이 접근법은 2‑범주와 3‑범주의 기본 사례에서 직관적으로 작동하지만, 이중 퇴화(triple degeneracy) 상황, 즉 0‑와 1‑차원 셀들이 모두 하나뿐인 경우에 미묘한 문제를 드러낸다. 논문은 먼저 이러한 이중 퇴화 펜온 삼범주가 생성하는 2‑셀(즉, 1‑차원 구조 위에 놓인 2‑셀) 사이의 교환 법칙이 전통적인 브라디드 모노이달 범주의 교환 변환을 강제하지 않고, 오히려 교환 변환 자체가 동등하게 식별되는 대칭 구조를 만든다는 점을 증명한다. 구체적으로, 펜온 삼범주의 구성요소인 ‘연산자’와 ‘동등성’이 반사적 구형 집합의 자가동등성(identity) 요소와 결합될 때, 교환 변환이 자동으로 역전 가능한 형태가 되며, 이는 대칭 모노이달 범주의 핵심인 ‘스위치’(swap) 연산이 자체 동형사상으로 귀결되는 결과를 낳는다.

이러한 현상은 펜온 정의가 모든 삼범주, 특히 비대칭적인 브라디드 구조를 포함하는 삼범주들을 포괄하지 못한다는 강력한 반례를 제공한다. 저자들은 이 문제의 근본 원인이 반사적 구형 집합이 각 차원에서 자가동등성을 강제함으로써, 고차원 셀들의 자유로운 교환을 억제한다는 점을 지적한다. 해결책으로 제시된 비반사적 구형 집합(non‑reflexive globular set) 기반 정의는 각 차원의 셀에 대해 별도의 ‘정체성’ 요소를 도입하지 않는다. 대신, 자유로운 합성 연산과 약한 동등성을 별도로 구성함으로써, 2‑셀 사이의 교환 변환이 필요에 따라 비대칭적으로 유지될 수 있게 된다.

수정된 정의 아래에서는 이중 퇴화 삼범주가 정확히 브라디드 모노이달 범주와 동형임을 보인다. 즉, 교환 변환이 일반적인 ‘베이징’(braiding) 형태를 유지하고, 스위치 연산이 역전 가능하지만 자동으로 동일시되지 않는다. 이는 기존 펜온 정의가 놓쳤던 고차원 교환 구조를 복원함과 동시에, 전체 삼범주 이론에 대한 보편적 모델로서의 타당성을 회복한다. 논문은 또한 수정 정의가 기존 펜온 삼범주의 주요 정리들(예: 자유 삼범주 생성, 동등성 보존)과 호환됨을 검증하고, 몇 가지 간단한 예시를 통해 새로운 정의가 실제 계산에 어떻게 적용되는지를 보여준다.