대각선 피브레이션은 점별 피브레이션이다

본 논문은 이중단순집합(bisimplicial set) 범주에 존재하는 두 가지 대표적인 Quillen 닫힌 모델 구조, 즉 Bousfield‑Kan 모델과 Moerdijk 모델 사이의 피브레이션 개념을 비교·연결한다. Bousfield‑Kan 모델에서는 이중단순집합을 “세로 단순집합들의 가로 시퀀스”로 해석하고, 피브레이션을 각 가로 레벨 \(X_{p,\*}\to Y_{p,\*}\)가 모두 Kan 피브레이션인 경우로 정의한다. 반면 Moerdijk 모델은 대각선 사상 \(\operatorname{diag}X\to\operatorname{diag}Y\)가 Kan 피브레이션이면 전체 사상을 피브레이션으로 본다. 두 정의는 각각 장점이 있지만, 어느 정도의 일관성이 있는지에 대한 질문은 아직 완전히 해결되지 않았다. 논문은 먼저 기본적인 기호와 사다리식(페이스·퇴화 연산 사이의 관계식)을 정리하고, Kan 피브레이션의 정의를 “\(k\)번째 면을 제외한 모든 면이 주어졌을 때 채우기 심플렉스가 존재한다”는 형태로 기술한다. Lemma 1은 기본적인 페이스·퇴화 관계를, Lemma 2는 부분 집합에 대한 확장 존재성을 보장한다. 이 두 보조정리는 이후 핵심 증명에 필수적이다. 주요 정리(Theorem 1)는 다음과 같다. 만약 이중단순집합 사상 \(f:X\to Y\)가 대각선 수준에서 Kan 피브레이션이라면, 모든 \(p>0\)에 대해 가로 레벨 사상 \(f_{p,\*}:X_{p,\*}\to Y_{p,\*}\)도 Kan 피브레이션이다. 증명은 다음 단계로 진행된다. (1) 임의의 \(q>1\)와 결손 면 번호 \(\ell\)를 잡고, \(f_{p,\*}\)-호환된 \(q\)개의 면과 목표 심플렉스 \(y\)를 선택한다. (2) 이 데이터를 대각선 수준으로 끌어올려 \(\bar x_i,\bar y\)를 정의한다. 여기서 사다리식과 퇴화 연산을 적절히 삽입해 대각선 페이스가 정확히 일치하도록 만든다. (3) 대각선 피브레이션 가정과 Lemma 2를 이용해 \(\bar x\)를 얻는다. (4) 마지막으로 \(\bar x\)에 여러 가로·세로 페이스와 퇴화 연산을 조합해 원래의 이중단순체 \(x\)를 복원하고, 이것이 모든 요구된 면 조건을 만족함을 직접 계산한다. 이 과정에서 식 (1)–(4)와 사다리식의 교환성을 반복적으로 사용한다. 결과적으로, 임의의 결손 면에 대해 채우기 심플렉스가 존재함을 보이므로 \(f_{p,\*}\)는 Kan 피브레이션이다. 정리 뒤에는 대각선 피브레이션이 점별 피브레이션을 강제하지만 그 역은 일반적으로 거짓임을 보이는 반례를 제시한다. 이 반례는 이중군체(double groupoid)의 이중 신경 \(NN\,G\)를 이용한다. 각 가로·세로 레벨은 군체의 신경이므로 Kan 복합체이지만, 대각선은 두 군체 사이의 교환 관계가 깨져 Kan 조건을 위반한다. 구체적인 예로, 유한군 \(G=S_3\)의 두 부분군 \(A,B\)를 이용해 만든 이중군체 \(C(A,B)\)를 들며, \(AB\neq BA\)인 경우 대각선 신경이 Kan이 아님을 증명한다. 이를 통해 두 모델 구조가 동일하지 않으며, Theorem 1의 방향이 특수함을 강조한다. 마지막으로 논문은 이 결과가 이중단순집합의 호모토피 이론을 통합적으로 이해하는 데 중요한 역할을 한다고 결론짓는다. 대각선 피브레이션이 점별 피브레이션을 함의한다는 사실은 Moerdijk 모델을 Bousfield‑Kan 모델과 비교할 때, 특히 대각선 전이와 레벨별 전이 사이의 관계를 명확히 하는 데 기여한다. 또한 반례는 두 모델이 서로 다른 위상적 정보를 담고 있음을 보여주어, 향후 연구에서 두 구조를 적절히 선택하거나 혼합하는 방법을 모색할 필요성을 제시한다.