이차모듈과 이차링의 표현

초록

이 논문은 2-링(이차링) 위에서 정의되는 2-모듈 개념을 정립하고, 2-링의 표현 이론을 전개한다. 특히 2-링 𝓡에 대한 2-모듈 전체가 2-아벨리안 범주를 이룬다는 주요 정리를 증명한다.

상세 분석

본 연구는 기존 1-차 대수학에서 모듈 이론이 차지하는 중심적 위치를 2-차 수준으로 끌어올리는 시도를 한다. 먼저 저자는 2-링(𝓡)을 ‘이중합성곱 구조와 이중덧셈 구조가 서로 호환되는 카테고리’로 정의하고, 그 위에 작용하는 2-모듈을 ‘𝓡‑선형 2-함자(𝓡‑액션을 갖는 가법 2‑카테고리)’로 규정한다. 이때 2‑모듈의 객체는 전통적인 모듈의 원소에 해당하는 1‑셀이며, 1‑셀 사이의 2‑셀(동형사상)은 𝓡‑선형성을 만족하는 자연 변환으로 본다. 저자는 이러한 구조를 통해 2‑모듈 사이의 사상(2‑함자)와 그 사이의 2‑셀(변환)까지 모두 포함하는 2‑범주 𝓡‑Mod을 구성한다.

핵심 정리는 두 부분으로 나뉜다. 첫째, 2‑모듈의 직접합, 직접곱, 커널, 코커널 등을 정의하고, 이 연산들이 2‑아벨리안 범주의 공리와 일치함을 보인다. 여기서 ‘2‑아벨리안’은 ‘정확한 2‑시퀀스가 존재하고, 사상들의 2‑셀들이 완전한 상호작용을 갖는다’는 의미로, 기존 1‑차 아벨리안 범주의 전형적인 성질을 2‑차 수준으로 일반화한 것이다. 둘째, 2‑링 𝓡의 표현 이론을 전개한다. 저자는 𝓡‑모듈을 𝓡‑가군(𝓡‑action을 갖는 2‑카테고리)으로 보는 관점을 채택하고, 𝓡‑모듈 동형사상군을 2‑링 자체의 내부 구조와 연결시킨다. 특히, 𝓡‑모듈의 자유 2‑모듈을 정의하고, 이를 이용해 𝓡‑모듈에 대한 사전(프레젠테이션) 이론을 구축한다.

기술적인 측면에서 저자는 2‑셀의 합성법칙을 ‘수직 합성’과 ‘수평 합성’으로 구분하고, 이 두 합성이 교환법칙을 만족하도록 ‘교차 교환 법칙’을 도입한다. 이는 2‑범주의 기본적인 ‘펜로즈 사각형’ 조건을 강화한 형태이며, 2‑모듈 사이의 사상들이 이러한 교환 법칙을 따를 때만 2‑아벨리안 구조가 유지된다는 점을 증명한다. 또한, 2‑모듈의 ‘정밀도’(exactness)를 정의하기 위해 ‘2‑단계 사상’의 커널과 코커널을 동시에 고려하는 복합적 개념을 제시한다.

결과적으로, 저자는 2‑링 𝓡에 대한 2‑모듈 범주가 완전한 2‑아벨리안 범주임을 보이며, 이는 기존의 1‑차 모듈 이론을 2‑차 수준으로 자연스럽게 확장한다는 점에서 이론적 의미가 크다. 또한, 2‑링의 표현을 통해 고차원 대수 구조와 범주론적 해석 사이의 다리 역할을 수행한다는 점에서 향후 고차원 호몰로지 이론, 2‑대수학, 그리고 물리학의 고차원 대칭 구조 연구에 활용될 가능성을 제시한다.