고차원 동형대수에서 사영체와 자유대상

초록

본 논문은 대칭 2-군의 2-범주(2‑SGp)와 2‑링 𝓡에 대한 𝓡‑2‑모듈(𝓡‑2‑Mod)이라는 두 2‑범주가 충분한 사영 객체를 가짐을 증명한다. 자유 대칭 2‑군과 자유 𝓡‑2‑모듈을 구성하고, 이들로부터 임의의 객체에 대한 사영 사상(에피)와 사영 객체를 얻는 과정을 전개한다. 결과적으로 고차원 호몰로지 대수에서 프로젝트성 이론을 2‑범주 수준으로 확장할 수 있음을 확인한다.

상세 분석

논문은 먼저 2‑범주 이론에서 ‘프로젝트 객체’와 ‘충분히 많은 프로젝트 객체’의 정의를 2‑셀 구조에 맞게 재정의한다. 기존 1‑범주에서의 사영 사상(epimorphism)과 프로젝트성은 2‑셀(2‑사상)과 2‑동형사상의 존재 여부에 따라 복잡해지므로, 저자는 ‘2‑에피(2‑epimorphism)’와 ‘2‑프로젝트(2‑projective)’라는 개념을 도입한다. 여기서 2‑에피는 각 호모셈트리에서 동형 사상이 존재함을 의미하고, 2‑프로젝트는 모든 2‑에피에 대해 2‑사상이 존재하도록 하는 객체이다.

다음으로 대칭 2‑군(Symmetric 2‑Group)이라는 2‑범주 2‑SGp를 살펴본다. 대칭 2‑군은 군 구조를 2‑셀 수준으로 끌어올린 것으로, 객체는 군원소, 1‑사상은 군 동형, 2‑사상은 동형 사이의 자연 변환이다. 저자는 자유 대칭 2‑군 F(G) 를 임의의 집합 G 로부터 구성한다. 구체적으로, G 를 기반으로 한 자유 군을 만든 뒤, 이를 2‑군 구조에 끌어올려 2‑셀을 전부 항등으로 두는 방식이다. 이 자유 대칭 2‑군은 모든 대칭 2‑군에 대한 2‑에피 사상을 제공한다는 점에서 ‘프로젝트 생성자’ 역할을 한다.

그 후 𝓡‑2‑모듈(𝓡‑2‑Mod)이라는 2‑범주를 정의한다. 𝓡는 2‑링(2‑차원 링)으로, 객체는 𝓡‑모듈, 1‑사상은 𝓡‑선형 함자, 2‑사상은 선형 변환 사이의 자연 변환이다. 논문은 𝓡‑모듈의 자유 객체를 𝓡‑모듈의 기저 집합 X 로부터 자유 𝓡‑2‑모듈 𝔽(X) 를 구성함으로써 만든다. 이때 자유 𝓡‑2‑모듈은 𝓡‑2‑모듈에 대한 2‑에피 사상을 보장한다.

핵심 정리는 두 2‑범주 모두 ‘충분히 많은 프로젝트 객체’를 가진다는 것이다. 이를 증명하기 위해 저자는 임의의 대칭 2‑군 A 에 대해 자유 대칭 2‑군 F(Ob(A)) → A 로 가는 2‑에피 사상을 만든다. 여기서 Ob(A)는 A의 객체 집합이다. 마찬가지로 임의의 𝓡‑2‑모듈 M 에 대해 자유 𝓡‑2‑모듈 𝔽(Ob(M)) → M 로 가는 2‑에피 사상을 구성한다. 이 두 사상은 각각 2‑SGp와 𝓡‑2‑Mod에서 프로젝트 객체를 생성하는 ‘커버링’ 역할을 하며, 따라서 모든 객체는 프로젝트 객체로부터 2‑에피 사상을 통해 ‘덮여’ 있음을 보인다.

또한 저자는 이러한 프로젝트 커버가 ‘정규’이며, 2‑셀 수준에서의 동형 사상과 호모토피를 보존한다는 점을 검증한다. 이는 고차원 호몰로지 이론에서 체인 복합체와 같은 구조를 정의할 때, 프로젝트 해석을 가능하게 하는 중요한 전제 조건이다. 논문은 마지막에 이 결과가 고차원 호몰로지 대수의 장기 목표인 ‘2‑차원 사상론’과 ‘2‑차원 유도체’의 구축에 필수적임을 강조한다.