고차원 확장과 위상 겹침 정리

초록

본 논문은 Gromov의 위상 겹침 정리를 상세히 증명한다. 차원 d의 유한 셀 복합 X가 충분히 강한 고차원 확장성(코필링 부등식, 큰 코시스톨, 지역 희소성)을 만족하면, 임의의 연속 사상 f: X→ℝ^d(또는 d차원 PL 다양체 M) 에 대해, 어느 점 p∈M가 X의 d‑셀 중 일정 비율(μ>0) 이상에 동시에 포함된다. 정리의 상수 μ는 X의 확장 파라미터와 차원 d에만 의존한다.

상세 분석

논문은 먼저 셀 복합 X의 코체인 공간 C^k(X;𝔽₂)를 정의하고, 각 차원 k에 대해 Hamming 노름을 정규화한 ‖·‖를 도입한다. 이 노름은 셀들의 “이산 부피”를 측정한다. 코필링 부등식(L‑cofilling inequality)은 모든 코사이클 β∈B^k에 대해 δα=β인 전치 α가 존재하고 ‖α‖≤L‖β‖가 되도록 하는 성질이다. 이는 코바운더리 확장(η‑expansion)과 동치임을 Lemma 4에서 증명한다. 구체적으로 η‑expansion은 모든 (k‑1)‑코체인 α에 대해 ‖δα‖≥η·dist(α,B^{k‑1})를 요구한다. 여기서 dist는 ‖·‖에 대한 최소 거리이며, η가 클수록 “확장”이 강해진다.

다음으로 큰 코시스톨(ϑ‑large cosystoles) 개념을 도입한다. 이는 비경계 코사이클 α∈Z^j\B^j에 대해 ‖α‖≥ϑ가 되도록 하는 조건으로, H^{j}(X)≠0인 경우에도 코사이클이 충분히 큰 부피를 가져야 함을 보장한다. 이는 정리의 하위 차원에서 위상적 “구멍”이 너무 작아 겹침을 방해하지 않게 만든다.

지역 희소성(ε‑local sparsity)은 각 셀 τ에 대해 τ와 교차하는 k‑셀들의 비율이 ε 이하임을 의미한다. 정규화된 Hamming 노름을 쓰면 |{σ∈Σ_k(X):τ∩σ=∅}|≤ε|Σ_k(X)|가 된다. 이 조건은 셀 복합이 지나치게 밀집되지 않아 일반 위치(general position)와 교차수 계산을 깔끔하게 만든다.

정리 8은 위 세 가지 조건(L‑cofilling, ϑ‑large cosystoles, ε‑local sparsity)이 주어지면, 임의의 연속 사상 f:X→M(컴팩트 d‑차원 PL 다양체) 에 대해 어느 점 p∈M가 X의 d‑셀 중 μ·|Σ_d(X)|개 이상에 포함된다는 위상 겹침을 보장한다. μ는 d, L, ϑ, ε에만 의존한다.

증명 전략은 먼저 연속 사상을 PL 사상으로 근사하고, 충분히 미세한 삼각분할 T를 선택해 f를 강한 일반 위치(strongly general position)와 일반 위치(general position)로 만든다. 그런 다음 각 d‑셀 σ와 T의 (d‑k)‑단순형 τ 사이의 교차수를 정의하고, 체동형(chain homotopy)과 교차수의 대수적 성질을 이용해 전체 교차수의 합이 0이 아님을 보인다. 코필링 부등식과 큰 코시스톨은 교차수를 “채우는” 체를 구성할 때 필요한 경계 크기를 제어하고, 지역 희소성은 교차수가 과도하게 겹치지 않게 보장한다. 최종적으로 평균 교차수를 μ로 하한을 잡아 원하는 점 p를 얻는다. 이 과정에서 복잡한 시뮬렉스 구조 대신 기본적인 체 이론과 PL 위상학만을 사용해 Gromov 원 논문의 복잡성을 크게 낮춘 것이 특징이다.