연속체에서 사이클 분해: 그래프 이론을 초월한 새로운 동형론

본 논문은 그래프 이론에서 잘 알려진 사이클 공간 \(C(G)\)의 핵심 정리를 연속체, 즉 일반적인 콤팩트 메트릭 공간으로 확장하는 것을 목표로 한다. 전통적인 그래프에서는 모든 사이클이 서로 겹치지 않는 사이클들의 합으로 표현될 수 있다는 정리가 존재한다(디에스텔·쿤 정리 1.3). 그러나 무한 그래프나 프랙탈과 같이 \(H_1\)이 무한 생성되는 경우, 특이 동형군 \(H_1\)은 “불필요하게 복잡한” 원소들을 포함해 이 정리를 직접 적용하기 어렵다. 이를 해결하기 위해 저자는 새로운 동형군 \(H_d\)를 도입한다. \(H_d\)는 첫 번째 특이 동형군 \(H_1\)을 거리 \(d\)에 의해 동등화한 몫이다. 두 클래스 \(c,d\in H_1\) 사이의 거리는 “\(c\)와 \(d\)를 동등하게 만들기 위해 공간에 붙여야 하는 디스크와 실린더들의 총 면적의 최소값”으로 정의된다. 이 거리 함수는 삼각 부등식, 대칭성, 영점성(거리 0이면 동일 클래스) 등을 만족한다. 결과적으로 \(H_d\)는 메트릭 위상군이 되며, 그 완비화 \(\widehat{H}_d\)는 더욱 강력한 구조를 제공한다. 논문은 먼저 기존 연구를 정리한다. 그래프의 사이클 공간 \(C(G)\)는 첫 번째 동형군과 동형이며, 무한 그래프에서도 디에스텔·쿤이 정의한 “위상 사이클 공간”을 통해 정리 1.1(맥레인 평면 임베딩)과 정리 1.3(사이클 분해)을 그대로 확장할 수 있음을 보여준다. 그러나 그림 1의 무한 사다리 그래프 예시에서 보듯, 특이 동형군 \(H_1\)은 무한히 많은 4각형을 한 번씩 도는 루프 \(\sigma\)를 비자명하게 만든다. 반면 \(C(G)\)는 이 루프를 빈 집합으로 인식한다. 이는 \(C(G)\)가 \(H_1\)보다 작다는 사실을 나타내며, 실제로 \(C(G)\)는 Čech 동형군과 동형이라는 결과가 있다. 이러한 배경을 바탕으로 저자는 \(H_d\)를 정의한다. 구체적으로, \(H_d = H_1 / \!\!\sim\) where \(c\sim d\) iff \(d(c,d)=0\). 거리 \(d\)는 “패치 면적”을 최소화하는 방식으로 정의되며, 이는 메트릭 디스크·실린더를 공간에 붙여 두 클래스를 동등하게 만드는 데 필요한 총 면적이다. 이 정의는 무한 커뮤테이터와 같은 복잡한 원소들을 자연스럽게 0 거리로 식별하게 만든다. 핵심 결과인 정리 1.4는 다음과 같다. 임의의 콤팩트 메트릭 공간 \(X\)와 \(H_d(X)\)의 원소 \(C\)에 대해, 길이의 인피멈을 달성하는 σ‑대표자 \((z_i)_{i\in\mathbb N}\)가 존재한다. 여기서 σ‑대표자는 각 \(z_i\)가 1‑사이클이며, 초기 부분열이 점점 더 정밀한 근사열을 이루어 \(C\)에 수렴한다. 각 \(z_i\)의 길이는 전통적인 단순체 길이 정의에 따라 계산되고, 전체 σ‑대표자의 길이는 \(\sum_i \ell(z_i)\)로 정의된다. 이 정리는 그래프 경우의 정리 1.3을 그대로 포함한다; 무한 그래프에서도 각 간선에 길이를 부여해 총 길이가 수렴하도록 하면 동일한 논증이 적용된다. 정리 1.4의 증명은 크게 두 단계로 구성된다. 첫째, \(H_d\)에 자연스러운 길이 함수 \(\ell: H_d \to \mathbb R_{\ge0}\)를 정의하고, \((H_d,\ell)\)가 “길이 가산성”(any element can be decomposed into indecomposable pieces preserving total length)이라는 성질을 보인다. 이는 섹션 8에서 일반적인 아벨 군에 대한 분해 정리로 증명된다. 둘째, 이 분해 정리를 이용해 주어진 \(C\)를 길이 최소화 가능한 원소들의 합으로 표현하고, 이를 순차적으로 근사시켜 σ‑대표자를 구성한다. 중요한 기술적 도구는 메트릭 디스크·실린더를 이용한 패치 과정과, 패치 면적을 최소화하는 최적화 문제에 대한 존재성 증명이다. 논문은 또한 여러 예시와 응용을 제시한다. 그림 2의 평면 내 무한 원들 집합에서는 각 원을 차례로 감는 1‑사이클 \(z_i\)를 사용해 σ‑대표자를 만들면, 각 \(z_i\)의 길이는 점점 작아져 전체 길이가 인피멈에 수렴한다. 반면, 전통적인 특이 동형군에서는 같은 원소가 무한히 많은 “불필요한” 면적을 포함해 최소 길이를 달성할 수 없었다. 마지막으로 저자는 향후 연구 방향을 제시한다. 첫째, \(\widehat{H}_d\)가 첫 번째 Čech 동형군과 일치하도록 메트릭을 선택할 수 있는지에 대한 추측(Conjecture 1.7)이다. 둘째, 평면 임베딩을 대수적으로 특성화하는 새로운 정리(Conjecture 1.5)를 제시하며, 이는 Sierpiński 삼각형과 같은 프랙탈에도 적용 가능성을 시사한다. 셋째, 고차원 일반화 문제(Problem 1.6)를 제시해, 디스크·실린더 대신 고차원 매니폴드를 사용해 \(H_d\)를 정의하고 정리 1.4를 고차원으로 확장하는 가능성을 탐구한다. 결론적으로, 본 논문은 그래프 이론의 사이클 분해 정리를 연속체 위상학에 성공적으로 확장했으며, 새로운 동형군 \(H_d\)와 그 위에 정의된 거리·길이 개념을 통해 무한 생성 동형군을 다루는 새로운 도구를 제공한다. 이는 무한 그래프, 프랙탈, 그리고 일반적인 연속체의 호몰로지 구조를 이해하는 데 중요한 전환점이 될 것으로 기대된다.