컨포멀 측지선 나선 불가능 주장 오류 정정

초록

**
본 정정 논문은 기존 논문에서 제시한 “컨포멀 측지선은 나선 형태를 가질 수 없다”는 정리를 반박하는 비실해석(counterexample) 사례를 소개하고, 그 근거가 되었던 Lemma 4.6의 증명 과정에서 연속성 가정이 잘못되었음을 지적한다.

**

상세 분석

**
본 논문은 2024년 발표된 “Conformal Geodesics Cannot Spiral”(Cameron et al.)에서 제시된 핵심 정리—컨포멀 측지선이 어떤 초기 조건 하에서도 자기 자신을 무한히 감싸는 나선 형태로 수렴하지 못한다는 주장—에 대한 근본적인 오류를 밝힌다. 오류의 핵심은 Lemma 4.6에서 사용된 함수 F의 경계값이 초기 데이터 ((p,u_{0},\hat a_{0}))에 대해 연속적이라는 가정이다. Kamiński가 제시한 비실해석(counterexample)에서는 이 연속성이 깨져, “심장”(heart) 영역 (H_{p,u_{0}})의 반경 (R(p,u_{0}))가 초기점 근처에서 0으로 수렴한다. 즉, 측지선이 나선형으로 접근하면서 해당 영역을 점점 작게 만든다.

논문은 구체적으로 다음과 같은 논리적 흐름을 제시한다.

1. 초기점 (p)와 단위 접벡터 (u_{0})를 잡고, 법선 벡터 (\hat a_{0})가 (g(u_{0},\hat a_{0})=0)을 만족하도록 선택한다.
2. 이 초기조건으로 만든 측지선 (\gamma)가 “심장” (H_{p,u_{0}})를 처음으로 탈출하는 점이 바로 (p) 자체임을 가정한다(그림 1).
3. 이제 (p)와 (u_{0})에 수렴하는 일련의 초기점 ((p_{n},u_{n}))을 고려하고, 각각에 대응하는 측지선 (\gamma_{n})을 만든다.
4. (\gamma_{n})은 고정된 호 길이 구간에서 (\gamma)와 균일하게 가까워지지만, 탈출점이 (p_{n})이 아닌 다른 점이 될 수 있다.
5. 이 경우 (R(p_{n},u_{n}))가 (R(p,u_{0}))로 수렴하지 않을 가능성이 생긴다. 실제 Kamiński의 예에서는 (R(\mu(t),\dot\mu(t))\to0)이면서 (\mu)는 나선형으로 수렴한다.

따라서 Lemma 4.6의 “연속성” 가정은 일반적인 (C^{\infty}) 혹은 심지어 (C^{k}) 매끄러운 상황에서도 성립하지 않으며, 실해석성(real‑analytic) 가정이 없을 경우 정리가 무너진다. 저자들은 이 점을 인정하고, 정리 2.3(“컨포멀 측지선은 나선할 수 없다”)이 실해석성 가정 하에서만 유효함을 명시한다.

또한 논문은 다른 결과물—예를 들어 정의 3.1의 지수 지도와 정리 3.4—는 이 오류와 무관하게 그대로 유지된다고 밝힌다. 이는 해당 부분이 Lemma 4.6에 의존하지 않기 때문이다. 마지막으로, Kamiński와 Eastwood에게 감사의 뜻을 전하며, 오류 정정 과정에서 얻은 교훈을 정리한다.

**