엠 연속성 거리와 이산 위상 복잡도

초록

본 논문은 단순 복합체 사이의 단순 사상에 대해 m‑연속성 거리라는 새로운 이산 불변량을 정의하고, 이를 통해 기존의 연속성 거리와 LS‑카테고리, 위상 복잡도 등을 하향 근사하는 일련의 정수값을 구축한다. 주요 성질로는 베리센트릭 세분화에 대한 불변성, 합성에 대한 단조성, 범주적 곱에 대한 부등식 등을 증명한다. 또한 m‑연속성 거리를 특수화하여 m‑단순 LS‑카테고리와 m‑이산 위상 복잡도를 정의하고, 이들이 기존 이산 이론의 자연스러운 확장임을 보인다.

상세 분석

논문은 먼저 기존의 연속성 거리와 m‑동형 거리 개념을 복합체와 단순 사상 수준으로 옮겨 놓는 작업을 수행한다. 정의 3.1에서 제시된 m‑연속성 거리 SDₘ(ϕ,ψ)는 K를 m‑차원 단순 복합체 P에서 오는 모든 사상 η에 대해 ϕ∘η와 ψ∘η가 같은 연속성 클래스에 속하도록 하는 최소 커버링 수로 정의된다. 이 정의는 m이 커질수록 제약이 완화되어 SDₘ이 비감소함을 보이며, m→∞일 때 기존 연속성 거리 SD와 일치함을 정리 3.4에서 증명한다.

핵심적인 구조적 성질로는 명제 3.1의 전단사성, 합성에 대한 단조성, 그리고 SDₘ(ϕ,ψ) ≤ SD(ϕ,ψ)라는 하한 관계가 있다. 특히 정리 3.2와 3.3을 통해 id와 상수 사상의 거리와 m‑LS‑카테고리 scatₘ(K)가 동일함을 보이며, 이는 m‑연속성 거리가 LS‑카테고리의 이산 버전을 포괄한다는 점을 강조한다.

베리센트릭 세분화에 대한 불변성은 정리 3.4에서 다루어진다. sd(·) 연산이 연속성 클래스를 보존한다는 명제 3.2·3.3을 이용해, SDₘ(sd(ϕ),sd(ψ)) ≤ SDₘ(ϕ,ψ)임을 보인다. 이는 복합체를 반복적으로 세분화해도 m‑연속성 거리 값이 감소하지 않으며, 결국 무한히 세분화하면 연속성 거리와 수렴한다는 직관을 제공한다.

범주적 곱에 대한 부등식은 정리 4.1에서 제시된다. K×L이라는 범주적 곱 복합체에 대해 SDₘ(ϕ₁×ϕ₂,ψ₁×ψ₂) ≤ SDₘ(ϕ₁,ψ₁)+SDₘ(ϕ₂,ψ₂)라는 형태의 삼각 부등식이 성립한다. 이는 복합체와 사상의 독립적인 복합성을 측정하는 데 유용하며, 특히 위상 복잡도와 같은 다중 변수 불변량을 다룰 때 핵심적인 도구가 된다.

응용 측면에서는 m‑단순 LS‑카테고리 scatₘ(K)와 m‑이산 위상 복잡도 TCₘ(K)를 각각 정의하고, 이들이 m‑연속성 거리의 특수 경우임을 보인다. 또한 Moore 경로 복합체와 simplicial fibrations을 이용해 m‑차원 Schwarz genus 및 그 동형 버전을 도입함으로써, 전통적인 연속적 개념을 이산 환경에 자연스럽게 옮겨 놓는다. 전체적으로 논문은 연속성 거리의 이산 근사 체계를 체계화하고, 이를 통해 기존 위상 불변량들의 하향 근사값을 제공함으로써 계산 가능성을 크게 향상시킨다.