코덱스 일 차원 매니폴드의 근접 임베딩과 가산 조밀 특이점 집합

초록

본 논문은 차원 $n\ge3$에 대해, 닫힌 $(n-1)$‑매니폴드에서 닫힌 $n$‑매니폴드로의 연속 사상 $f$를 구성한다. 이 사상의 특이점 집합 $S(f)$는 가산이며 $S^{n-1}$ 전체에 조밀하지만, $f$는 임베딩으로 임의의 정밀도로 근사될 수 있다(즉, $f$는 near‑embedding이다).

상세 분석

논문은 먼저 3차원 경우에 대한 기존 연구와 “light map separation property(LMSP)”라는 개념을 소개한다. Conjecture 1.1은 “특이점 집합의 차원이 0이면, 임의의 $\varepsilon>0$에 대해 $\varepsilon$‑근접 임베딩이 존재한다”는 강력한 주장이다. 기존에는 $n=3$에 대해 특이점 집합의 폐포가 0‑차원일 때만 증명이 알려져 있었으며, 특이점 집합이 조밀하게 퍼질 경우는 매우 복잡한 기술을 필요로 했다.

이 논문은 그러한 복잡성을 완전히 배제하고, 매우 직관적인 구성법을 제시한다. 핵심 아이디어는 $S^{n}$ 안에 서로 겹치지 않는 ‘tame’ PL 호 ${\alpha_i}_{i\in\mathbb N}$를 차례로 삽입하는 것이다. 각 호는 $S^{n-1}$와 경계만을 공유하고, 그 경계는 미리 정해진 열린 기저 $U_i$ 안에 놓이며, 지름은 $2^{-i}$ 이하로 작게 만든다. 이렇게 하면 ${\alpha_i}$는 ‘null‑sequence’가 되며, 그들의 직합으로 이루어진 분해 $\mathcal G$는 셀룰러하고 상위 반연속(upper semicontinuous)이다.

Daverman의 셀룰러 분해 이론에 따르면, $\mathcal G$는 ‘shrinkable’ 즉, 분해 사상 $\pi:S^{n}\to S^{n}/\mathcal G$가 홈모르피즘으로 근사될 수 있다. 중요한 점은 $\pi$의 대상 공간이 다시 $S^{n}$과 동형이라는 사실이다. 이제 원래의 포함 사상 $i:S^{n-1}\hookrightarrow S^{n}$와 $\pi$를 합성하여 $f=\pi\circ i$를 정의한다. 이 $f$의 특이점 집합은 각 호의 경계 $\partial\alpha_i$들의 합으로, 가산이며 $S^{n-1}$ 전체에 조밀하게 퍼져 있다.

하지만 $\pi$가 홈모르피즘으로 근사 가능하므로, $f$ 역시 임베딩으로 임의의 정밀도 $\varepsilon$ 이하로 근사될 수 있다. 즉, 특이점 집합이 조밀하고 비폐쇄적이라도 near‑embedding이 가능함을 보여준다.

이 구성은 차원 $n\ge3$에 대해 동일하게 적용될 수 있다. 따라서 Conjecture 1.1의 “dim S(f)=0이면 near‑embedding 가능”이라는 부분을 가산 조밀 특이점 집합에 대해서도 만족시킨다. 논문은 또한 이 결과가 Bing conjecture, 3‑차원 인식 문제, 그리고 고전적인 Light‑map factorization theorem과 어떻게 연관되는지를 간략히 논의한다.

핵심 기여는 (1) 특이점 집합이 가산이면서 조밀한 경우의 명시적 예시 제공, (2) 셀룰러 분해와 shrinkability를 이용한 간단한 근사 방법 제시, (3) 차원에 관계없이 동일한 방법이 적용 가능함을 증명함으로써 기존의 복잡한 기술을 대체한 점이다.