준등거리 삼각화가 불가능한 곡면의 발견

이 논문은 완전한 리만 곡면의 기하학적 구조를 단순 그래프(모든 간선 길이가 1인 그래프)로 근사하는 데 있어 근본적인 한계를 규명한다. 기존 연구에 따르면, 임의의 완전 리만 곡면은 메트릭 그래프(간선 길이가 임의적일 수 있는)를 이용한 준등거리 삼각화를 항상 허용한다. 그러나 Georgakopoulos는 더 강한 조건, 즉 삼각화의 1-스켈레톤(단순 그래프)이 원곡면과 준등거리일 수 있는지 질문했다. 본 논문은 그러한 단순 그래프 준등거리 삼각화가 존재하지 않는 곡면을 명시적으로 구성함으로써 이 질문에 부정적으로 답한다. 구체적으로, 저자는 임의의 상수 K, M, A에 대해, 경계가 없고 systole이 최소 K 이상이며, 어떤 임베디드 그래프 G에 대해서도 G의 1-스켈레톤 G^(1)이 Σ와 (M, A)-준등거리가 되지 않는 콤팩트 리만 곡면 Σ가 존재함을 증명한다(정리 4). 이는 국소적으로 평면과 매우 유사하게 보일 수 있는 곡면에서도 단순 그래프 근사가 실패할 수 있음을 의미하며, 메트릭 그래프와 단순 그래프의 '조대 기하학'적 복잡성 차이를 극명하게 보여준다. 구성의 핵심 도구는 큰 girth(최단 순환 길이)를 가진 유한 4-정칙 그래프 F이다. 저자는 먼저 F를 오일러 경로 분해하여 서로 교차하는 사이클들의 집합으로 표현한다. 그런 다음 이 그래프 F를 2-셀 임베딩하여 곡면 Σ의 뼈대로 삼는다. 이 임베딩은 각 정점에서 두 오일러 사이클이 교차하도록 배치된다. 다음으로, Σ 위에 세심하게 설계된 리만 계량을 도입한다. 이 계량은 F의 인접 정점 간 거리를 매우 작은 값 ε ≈ 1/(33M^2) 주위로 제한하고, F 주변의 특정 영역 D의 경계까지 거리를 충분히 크게 만든다. F의 girth가 충분히 크기 때문에(약 3400M^5K), 결과 곡면 Σ는 systole이 K 이상이 되도록 할 수 있다. 증명은 귀류법으로 진행된다. 만약 G ⊂ Σ가 G^(1)이 Σ와 (M, A)-준등거리가 되도록 하는 임베디드 그래프가 존재한다고 가정한다. F의 각 오일러 사이클 C_i에 대해, C_i를 따라가는 G^(1) 위의 닫힌 보행 C_i*를 구성한다. C_i 위에 적절한 간격으로 점을 찍고, 각 점 근처의 G^(1) 정점을 잇는 짧은 경로들을 연결하여 C_i*를 만든다. 준등거리 조건과 계량의 설계에 의해, C_i*의 총 길이는 C_i의 정점 수의 절반 미만으로 제한된다. 이제 비둘기집 원리를 적용하면, F의 어떤 정점 v는 두 오일러 사이클 C1, C2에 속하되, C1* 또는 C2* 위의 그 어떤 정점 u도 v에 대응되지 않는(p_Ci(u) ≠ v) 경우가 존재함을 알 수 있다. 한편, C1과 C2로부터 유도된 두 곡선 γ1, γ2는 정점 v 주변의 동형적 디스크 영역 D* 내에서 서로 교차해야 한다(Jordan 곡선 정리). 이 교차점은 G^(1)의 정점이 되며, 이 정점의 구성 방식으로 인해 그것은 결국 v에 대응되어야 한다는 모순에 도달한다. 따라서 초기의 가정은 거짓이며, 그러한 임베디드 그래프 G는 존재하지 않는다. 이 결과는 유계 genus를 가진 완전 곡면에는 단순 그래프 준등거리 삼각화가 존재한다는 저자의 이전 결과와 대비를 이룬다. 본 구성은 genus는 유계이지만, 그 값이 준등거리 상수 M, A에 따라 급격히 커질 수 있음을 시사하며, 단순 그래프 근사 가능성에 대한 정량적 임계치가 존재할 수 있음을 보여준다.