이중 군집과 호모토피 2형식의 동등성

본 논문은 이중 군집(double groupoid)이라는 고차원 대수구조와 그 기하학적 실현(classifying space) 사이의 관계를 체계적으로 탐구한다. 먼저, 이중 군집은 객체, 수평·수직 사상, 그리고 사각형(2‑셀)으로 구성된 구조이며, 각각의 사각형은 수평·수직 합성 연산을 갖는다. 저자들은 ‘채워짐 조건(filling condition)’을 도입하여, 임의의 ‘빈’ 사각형(두 변이 주어졌을 때 나머지 변을 채우는 문제)이 항상 해를 갖는 경우를 정의한다. 이 조건은 많은 실제 예(예: 교차 모듈, 2‑군집, edge‑symmetric 이중 군집 등)에서 자연스럽게 만족된다. 채워짐 조건을 만족하는 이중 군집 G에 대해, 저자들은 전통적인 호모토피 군을 재현하는 ‘동형군(π_i(G,a))’을 순수히 군집 연산만으로 정의한다. π₀는 연결 성분, π₁은 기본 군, π₂는 2‑차 동형군이며, n≥3에 대해서는 모두 0이다. 중요한 정리로, G의 기하학적 실현 |G| (이중 신경 NN G를 bisimplicial 집합으로 보고 대각선으로 실현한 공간)에서의 전통적 호모토피 군 π_i(|G|,|a|)와 위에서 정의한 π_i(G,a)가 자연동형임을 보인다. 이는 이중 군집이 정확히 2‑형식만을 담고 있음을 의미한다. 다음으로, 모든 위상공간 X에 대해 ‘호모토피 이중 군집’ ΠΠX를 구성한다. ΠΠX의 객체는 X의 점, 수평·수직 사상은 각각 X의 경로와 동형 사각형, 2‑셀은 경로 사이의 호모토피(정사각형)이다. 이 구조는 X의 기본 호모토피 2‑형식을 완전하게 포착한다. 저자들은 연속 사상 f:X→Y가 π₁,π₂에서 동형을 유도하면 ΠΠf가 약동등(weak 2‑equivalence)이며, 역도 성립함을 증명한다. 따라서 ΠΠ·는 호모토피 2‑형식에서 이중 군집으로 가는 (좌) 사상이다. 이후, 이중 신경 NN G와 bisimplicial 집합 K 사이의 관계를 심도 있게 분석한다. bisimplicial 집합 K가 ‘확장 조건(extension condition)’을 만족하면, 각 행·열이 Kan 복합체가 되고, 따라서 K는 이중 군집의 신경으로서 인식될 수 있다. 저자들은 반사 사상 K↦PP K를 정의하여, 임의의 K에 대해 PP K는 채워짐 조건을 만족하는 이중 군집이며, |K|→|PP K|가 2‑약동등임을 보인다. 이 과정은 Brown의 2‑차 동형군 구성과 유사하지만, bisimplicial 수준에서의 일반화이다. 마지막으로, 위의 모든 구성요소를 종합해 ‘이중 신경-호모토피 이중 군집’ 쌍 (|·|, ΠΠ·)이 서로의 좌·우 사상으로서 호모토피 범주 Ho(DG_fc)와 2‑형식의 호모토피 범주 Ho(2‑types) 사이에 정준 동등함을 제공한다는 주된 정리를 증명한다. 구체적으로, 이중 군집 G에 대해 |·|:Ho(DG_fc)→Ho(2‑types)와 ΠΠ·:Ho(2‑types)→Ho(DG_fc) 가 서로의 준역이며, 두 함성 사이의 자연동형이 존재한다. 이는 1‑형식에 대한 그룹오이드-위상공간 동등성(Quillen, Dwyer–Kan 등)의 2‑차원 아날로그이며, 고차원 범주론, 교차 모듈 이론, 그리고 호모토피 이론 사이의 중요한 연결 고리를 제공한다. 결론적으로, 이 논문은 이중 군집과 그 기하학적 실현 사이의 정확한 호모토피 대응관계를 확립하고, 이를 통해 2‑형식의 위상공간을 완전히 대수적으로 모델링할 수 있음을 보여준다. 이는 고차원 대수위상학 및 수학 물리학(특히 2‑차원 양자장 이론)에서 유용한 도구가 될 전망이다.