이중 모듈과 이중 범주 및 군집 그리고 새로운 동상 이중 군집

초록

이 논문은 ‘이중 모듈’이라는 구조에서 일반적인 이중 범주와, 추가 조건을 만족할 경우 이중 군집을 구축하는 방법을 제시한다. 또한 공간‑부분공간‑기준점 삼중체(triad)로부터 두 번째 상대 동류군을 포함하는 이중 군집을 동상론적으로 구성하는 절차와 그 충분조건을 제시한다.

상세 분석

논문은 먼저 기존의 이중 범주 이론을 재정리하고, 이를 보다 포괄적인 ‘이중 모듈(double module)’이라는 대수적 구조로 일반화한다. 이중 모듈은 두 개의 독립적인 작용을 가진 사상 (M\to H)와 (M\to V)와, 각각을 연결하는 ‘가로’와 ‘세로’ 합성 연산을 포함한다. 핵심은 이 두 합성이 교환법칙(교차 교환식)을 만족하도록 하는데, 이는 이중 사각형의 경계가 일관되게 정의될 수 있게 한다. 저자는 이러한 교환법칙을 ‘모듈 사상’의 상호 작용 조건으로 명시하고, 이를 통해 자연스럽게 이중 범주의 객체·수직·수평 1‑셀·2‑셀을 정의한다.

다음 단계에서는 이중 모듈에 추가적인 가역성(grouplike) 조건을 부여한다. 구체적으로, 모든 수직·수평 1‑셀이 가역적이며, 2‑셀이 ‘역’과 ‘합성’에 대해 폐쇄되는 경우, 얻어지는 이중 범주는 실제 이중 군집(double groupoid)이다. 이때 각 방향의 동치류는 전통적인 군집 구조와 일치하고, 두 방향 사이의 교환법칙은 이중 군집의 ‘정사각형’ 구조를 보장한다.

동상론적 구성 부분에서는 삼중체 ((X;A,B;C))를 고려한다. 여기서 (A,B\subset X)는 부분공간, (C\subset A\cap B)는 기준점 집합이다. 저자는 (X)의 경로와 2‑셀을 이용해 ‘가로’와 ‘세로’ 합성을 정의하고, 이들이 위에서 정의한 교환법칙을 만족하도록 하는 충분조건을 제시한다. 핵심 조건은 ‘두 번째 상대 동류군이 교차적으로 독립적이다’는 것으로, 이는 (\pi_2(X,A;C))와 (\pi_2(X,B;C))가 서로 교차하는 경계 연산에서 충돌하지 않음을 의미한다. 이 조건이 만족되면, 구성된 이중 군집은 각각의 방향에서 (\pi_2)를 재현하고, 동시에 두 방향을 연결하는 2‑셀를 제공한다. 따라서 이 구조는 기존의 단일 군집이나 2‑군과 달리, 두 개의 상대 동류군을 하나의 이중 군집 안에 동시에 포함시킬 수 있다.

마지막으로 저자는 몇 가지 예시(예: 구면과 원판, 복합 셀 복합체)와 함께, 이중 모듈을 이용한 구체적 계산 방법을 제시한다. 특히, 삼중체에서 얻은 이중 군집이 ‘정규화된’ 경우, 이는 기존의 ‘이중 복합체’와 동형이 되며, 고차 동상론에서의 계산을 단순화한다는 장점을 가진다. 전체적으로 이 논문은 대수적·동상론적 관점에서 이중 구조를 통합하는 새로운 프레임워크를 제공하며, 향후 고차 범주론 및 동상론 응용에 중요한 토대를 마련한다.