쿼버의 단사적 포장과 전사적 덮개: 완전 그래프와 로딩 구조

초록

본 논문은 방향성 다중그래프(쿼버) 범주에서 단사(Injective)와 전사(Projective) 객체를 완전히 규정하고, 각각의 최소 확장인 단사 포장(injective envelope)과 최소 축소인 전사 덮개(projective cover)를 구체적인 구성법을 통해 제시한다. 핵심 결과는 “로드된(loaded) 쿼버”가 모든 단사 사상에 대해 주입성을 갖는 유일한 형태이며, 이를 위한 ‘로드(loading)’ 과정이 단사 포장의 실현 방법임을 보인다. 대칭적으로, ‘폭발(explosion)’ 과정을 통해 전사 덮개가 구성된다.

상세 분석

논문은 먼저 Quiv라는 범주를 정의하고, 정점 집합 V와 간선 집합 E, 그리고 소스·타깃 함수 σ, τ 로 구성된 사분쌍을 객체로 삼는다. 이때 Set‑functor V, E 가 각각 정점과 간선을 투사함으로써 좌·우 adjoint를 갖는 I, M, K, B와 같은 표준 자유·코자유 사상들을 구축한다. 이러한 보편적 구성은 Quiv가 완전·코완전함을 보장한다.

주요 개념은 ‘로드된(loaded)’ 쿼버이다. 정의에 따르면 모든 정점 쌍 (v,w) 에 대해 적어도 하나의 간선이 존재한다면 그 쿼버는 로드된다. 이는 단사 사상 φ: I({0,1})→M({e})에 대한 주입성 조건과 동치임을 Proposition 3.1.4가 증명한다. 즉, 로드된 구조가 있으면 어떤 두 정점 사이에도 새로운 간선을 강제로 만들 필요 없이 사상이 확장될 수 있다.

그 다음, 모든 단사 사상에 대해 주입성을 만족하는 객체, 즉 ‘mono‑injective’ 를 완전히 규정한다. Proposition 3.2.1에 따르면 mono‑injective 객체는 (1) 로드된 것이어야 하고 (2) 최소 하나 이상의 정점을 가져야 한다. 비어 있는 정점 집합을 허용하지 않는 이유는 단사 사상 I(∅)→I({0}) 가 존재할 때, 정점이 없으면 확장이 불가능하기 때문이다.

‘mono‑essential’ 사상의 특성도 상세히 분석한다. 빈 객체 I(∅)에 대해서는 정점·간선 수가 각각 ≤1이면 mono‑essential 이며, 비공허한 경우에는 사상이 정점 집합을 전단사(bijective)로 보존하고, 기존에 간선이 없던 정점 쌍에 대해서는 간선 집합을 그대로 유지하거나 최대 하나의 간선을 추가하는 조건을 만족해야 한다(Prop 3.3.2).

이러한 조건을 만족하도록 기존 쿼버 D에 새로운 간선을 추가해 ‘로드(loading)’ 과정을 정의한다. 로드된 쿼버 L(D)는 기존 정점은 그대로 두고, 간선이 전혀 없는 정점 쌍마다 새로운 ‘가상’ 간선 (1,v,w)를 삽입한다. 정규 사상 j_D: D→L(D) 가 mono‑essential 임을 보이고, L(D) 자체가 mono‑injective 임을 이용해 j_D가 D의 단사 포장(injective envelope)임을 증명한다(Theorem 3.3.5).

I(∅)의 경우는 특수하게 B(1) (한 정점에 루프 하나) 로 로드된 구조를 제공함으로써 동일한 결과를 얻는다(Example 3.3.6). 따라서 모든 쿼버는 고유(동형까지)한 단사 포장을 갖는다.

논문의 뒤쪽(제시되지 않은 부분)에서는 이와 대칭적인 개념인 ‘epi‑projective’ 객체와 ‘explosion’ 과정을 도입해 전사 덮개(projective cover)를 구성한다. 여기서는 모든 정점 쌍에 대해 간선이 하나만 존재하도록 하는 ‘완전 그래프’ K(V) 가 전사 객체가 되며, 필요에 따라 간선을 복제하거나 추가하는 과정을 통해 최소한의 전사 덮개를 만든다. 이러한 대칭성은 범주론적 관점에서 injective‑projective 이원론을 명확히 보여준다.

전체적으로 이 논문은 그래프 이론에 범주론적 도구를 적용함으로써 기존에 직관적으로만 다루어졌던 ‘완전 그래프에 포함된다’는 사실을 엄밀히 증명하고, 구체적인 구성법을 제공함으로써 실용적인 계산과 응용에도 활용 가능하도록 만든다.