비연속성의 정량화와 위상적 임베딩 한계

초록

컴팩트 공간이 ℝᵈ 에 연속적으로 삽입될 수 없을 때, 모든 삽입 불가능한 함수가 반드시 가져야 하는 “불연속성 정도”를 스케일 불변 모듈러스 α 로 정의하고, 이를 이용해 Haefliger‑Weber 및 위상적 Tverberg 정리의 정량적 버전을 제시한다.

상세 분석

본 논문은 전통적인 임베딩 문제를 “불연속성의 양적 측정”이라는 새로운 관점으로 전환한다. 기존에 사용되던 불연속성 모듈러스 δ(f) 는 거리 스케일에 민감해, 임의의 작은 스케일로 압축된 삽입 함수에서도 δ(f) 를 거의 0에 가깝게 만들 수 있다. 이를 극복하기 위해 저자들은 두 점 사이의 선분이 이루는 각을 이용한 스케일 불변 모듈러스 α(f) 를 도입한다. 구체적으로, 함수 f:X→ℝᵈ 가 주어지면, 구성공간 Conf₂(X) 위의 Z/2‑불변 테스트 함수 Φ_f(x,y)= (f(x)-f(y))/‖f(x)-f(y)‖ 을 고려하고, 이 함수가 지역적으로 각 α 이하로 유지되는 최소값을 α(f) 로 정의한다. 연속 함수는 언제나 α(f)=0이며, 반대로 α(f)>0 이면 함수는 반드시 불연속이다.

이 정의를 바탕으로 저자들은 다음과 같은 핵심 결과들을 얻는다. 첫째, Haefliger‑Weber 이론을 활용해 Conf₂(X) 에서 S^{d-1} 으로의 Z/2‑불변 지도 존재 여부와 α(f) 의 하한을 연결한다. 예를 들어, 실프로젝트 공간 ℝP^{2k} 가 ℝ^{2k+1−1} 에 삽입되지 않음은 알려져 있었지만, 본 논문은 모든 삽입 불가능한 함수 f 에 대해 α(f)≥arccos(−1/(2k+1)) 이라는 구체적 각도 하한을 제공한다.

둘째, 구형 S^k 에 대한 일반화된 결과를 제시한다. k≥d−1인 경우, 모든 삽입 함수 f:S^k→ℝ^d 는 α(f)≥c_{d-1,k} 을 만족한다. 여기서 상수 c_{d-1,k} 는 Vietoris‑Rips 복합체 VR(S^{d-1};r) 에 대한 동형성 정보를 통해 정의되며, 이는 구의 커버링 문제와도 연관된다.

셋째, 그래프 K₅ 와 같은 비평면성 예시를 각도 관점에서 재해석한다. 임의의 삽입 함수 f:K₅→ℝ² 에 대해, 충분히 가까운 두 쌍의 점 (x,y)와 (x′,y′)가 존재해 그 선분이 이루는 각이 최소 2π/3 이상임을 보인다. 이는 전통적인 van Kampen‑Flores 정리의 정량적 버전으로, 일반적인 skel_d(Δ^{2d+2})→ℝ^{2d} 삽입 함수에 대해서도 동일한 각도 하한 α(f)≥arccos(−1/(2d)) 을 얻는다.

마지막으로, 위상적 Tverberg 정리의 정량화에까지 확장한다. r‑fold 거의 삽입( almost r‑embedding) f:Δ^{(r−1)(d+1)}→ℝ^d 에 대해, α^{(r)}(f)≥arccos(−1/(d(r−1))) 이라는 하한을 증명한다. 여기서 α^{(r)} 은 r‑fold 구성공간 Conf_r(·) 에 대한 각도 기반 불변 측정이다. 이 결과는 기존에 “존재하지 않는다”는 비존재 결과를 “불연속성 각도가 최소 얼마 이상이어야 한다”는 정량적 형태로 강화한다.

전체적으로 논문은 위상학적 불가능성 결과를 정량적 불연속성 측정과 연결함으로써, 임베딩 불가능성을 보다 구체적인 기하학적 제약(각도 하한)으로 전환한다. 이는 비연속성의 스케일 불변성을 보존하면서도, 기존의 정성적 결과를 정량적·측정 가능한 형태로 바꾸는 중요한 방법론적 진보라 할 수 있다.