Distance, Normals and Double Normals for Real Plane Curves with Singularrities

기술적 요약: 특이점을 가진 실 평면 곡선의 거리, 법선, 이중 법선

문제 정의
본 논문은 특이점을 가진 실 대수 평면 곡선에 대하여 법선(normals), 이중 법선(double normals), 그리고 제곱 유클리드 거리 함수($D_u$)의 임계점 사이의 관계를 조사한다. 복소수 설정에서는 푸시에(Puiseux) 전개와 ED-차수(정칙 부분에서의 법선 개수)를 통해 상세한 묘사가 가능하지만, 실수 설정에서는 뚜렷한 차이점이 존재한다. 구체적으로, 저자들은 대수적 특이점(그래디언트가 0이 되지만 곡선이 국소적으로는 여전히 매끄러울 수 있는 점, 예: $C^1$이지만 $C^2$는 아닌 경우)이 거리 함수의 위상적 구조에 어떻게 영향을 미치는지 다룬다. 본 연구의 목적은 위상적 ED-판별식($\Delta_{tED}$)을 규명하는 것이다. 이는 안정적인 점들과 거리 함수의 국소적 위상 유형이 변하는 점들을 구분하며, 이러한 특이점들을 고려하여 법선과 이중 법선의 개수를 산출하는 공식을 확립하는 것을 목표로 한다.

방법론
저자들은 대수 기하학, 특이점 이론, 그리고 위상적 모스 이론(topological Morse theory)의 결합된 방법을 사용한다.

1. 국소 매개변수화: 곡선은 $x_1(t) = t^p, x_2(t) = c t^q + \sigma(t)$ 형태의 국소 매개변수화를 통해 분석되며, 이를 통해 매끄러운 가지($p$가 홀수)와 기하학적 특이점/첨점(cusp, $p$가 짝수)을 구분한다.
2. 위상적 임계성: 미분 가능한 점이 아닌 곳에서 실패하는 순수 미분 미적분학에만 의존하는 대신, 논문은 위상적 정칙성을 기준으로 임계점을 정의한다. 어떤 점이 위상적으로 임계적이라는 것은 거리 함수가 국소적으로 선형 함수와 위상 동형(homeomorphic)이 아님을 의미한다.
3. 경쟁 계수 ($\rho$): 핵심적인 분석 도구로 도입된 경쟁 계수 $\rho = q/2p$는 특이점에서 제곱 거리 함수와 곡선 사이의 접촉 차수(contact order)를 설명한다. 이 계수는 초점(focal points)의 존재 여부와 위치를 결정한다.
4. 분기 분석: 저자들은 관측점 $u$가 곡선에 대해 이동함에 따라 임계점(극소, 극대, 안장점)의 분기가 발생하는 과정을 결정하기 위해 거리 함수의 지배 항(dominant terms)에 대한 명시적 계산을 수행한다.
5. 이중 법선: 본 연구는 두 곡선 사이(또는 곡선과 자기 자신 사이)의 제곱 거리 함수 $B(a,b) = |a-b|^2$에 대해 확장되어, 곱 공간(product space)의 정규화(normalization) 상의 임계점을 분석한다.

주요 기여 및 결과

1. 위상적 ED-판별식 ($\Delta_{tED}$)
논문은 $\Delta_{tED}$를 안정적인 점들의 여집합으로 규명한다. 판별식이 오직 에볼루트(evolute, 포락선/caustic)인 매끄러운 $C^2$ 사례와 달리, 특이점의 존재는 다음과 같은 특정 성분들을 추가한다:

• 포락선(Caustic): 기하학적 특이점에서의 초점을 포함하도록 확장된 법선의 포락선.
• 구별된 법선 직선(Distinguished Normal Lines): 판별식은 기하학적 특이점(첨점)에서의 모든 법선 직선을 포함한다.
• 엄격한 $C^1$ 점: $p$가 홀수이고 $q < 2p$인, 오직 $C^1$로 매립된(embedded) 매끄러운 점들의 경우, 법선 직선 또한 판별식에 속할 수 있으며, 이는 표준 $C^2$ 이론에는 없는 현상이다.

2. 초점 및 분기
법선 위의 초점 거동은 $\rho$에 의해 분류된다:

• $\rho > 1$ ($q > 2p$): 법선 위에 초점이 존재하지 않으며, 거리 함수는 직선 위 어디에서나 극소값을 유지한다.
• $\rho = 1$ ($q = 2p$): 유한한 초점(곡률 중심)이 존재하며, 여기서 임계점의 유형이 변화한다.
• $\rho < 1$ ($q < 2p$): 초점이 특이점 자체와 일치한다 ($u=x$).
  논문은 $p$와 $q$의 기우성(parity) 및 $\rho$의 값에 따른 10가지의 구별된 판별식 유형과 분기를 상세히 기술한 표 1을 제공한다.

3. 법선 개수 산출 공식
저자들은 일반적인 점 $u$를 통과하는 법선의 수($N(u)$)에 대한 하한을 설정한다:

• 일반적 하한: $N(u) \ge 2$.
• 첨점의 기여: 모든 첨점은 적어도 하나의 법선(극소 또는 극대)을 기여한다. 구체적으로, $N(u) \ge N_{\text{cusps}}$이다.
• 모스 개수 산출(Morse Counting): 총 법선의 수는 극대와 극소의 합이다. 컴팩트 곡선의 경우, $m(u) = M(u) \ge 1$이다.

4. 이중 법선
연구는 이중 법선(곡선 위의 두 점을 연결하는 선분으로서, 양 끝점에서 곡선에 수직인 선분)으로 확장된다.

• 유형: 저자들은 이중 법선을 $rr$(정칙-정칙),$rs$(정칙-특이),$ss$(특이-특이) 및 교차점으로 분류한다.
• 개수 산출 결과:
  • 이중 법선의 수는 적어도 2이다.
  • 모든 첨점은 적어도 하나의 이중 법선에 기여한다.
  • 첨점 쌍마다 그들을 연결하는 이중 법선이 존재한다.
  • 자기 교차점은 절대적 극소값으로 작용한다.
• 모스 이론 적용: 구성 공간의 위상(단일 곡선의 경우 뫼비우스 띠, 두 곡선의 경우 토러스)을 사용하여, 저자들은 극대, 극소, 안장점의 수 사이의 관계를 나타내는 모스 부등식을 도출한다. 단일 곡선의 경우, 이중 법선의 수는 적어도 2이며, $\#(\text{Max}) + \#(\text{Min}) = \#(\text{Saddles})$를 만족한다.

5. 복소수 이론과의 비교
논문은 실수의 경우를 복소수 ED-판별식과 대조한다. 복소수 설정에서 판별식은 무한 원점 관련 성분(atypical discriminant)과 등방성 접선(isotropic tangent)을 가진 굴곡점(flex point) 성분(iflex discriminant)을 포함한다. 이러한 성분들은 실수 사례에는 나타나지 않는다. 실수의 판별식은 복소수 판별식의 부분 집합임이 보여지며, 구체적으로 $\Delta_{tED} = \Delta_{\text{focal}} \cup \Delta_{\text{sing}}$이고, 여기서 $\Delta_{\text{sing}}$은 복소수 대응물보다 더 적은 법선 직선을 포함할 수 있다.

의의 및 주장
본 논문은 특이점을 포함하는 것이 실수의 맥락에서 최대 및 최소 거리를 완전히 이해하는 데 필수적이며, 이는 정칙 부분의 ED-차수에만 집중하는 접근 방식에서 흔히 간과되는 사항이라고 주장한다. 저자들은 위상적 임계점과 경쟁 계수 $\rho$를 도입함으로써 다음을 수행하는 프레임워크를 제공한다:

• 매끄러운 점과 특이점을 위상적 모스 이론 아래 통합한다.
• 판별식에 엄격한 $C^1$ 점의 법선 직선이 포함되는 것과 같은 새로운 현상을 식별한다.
• 특이점의 기하학(첨점)을 법선 및 이중 법선의 수와 직접 연결하는 명시적인 개수 산출 공식을 제공한다.
• 고전 미분 기하학을 특이점을 가진 대수 곡선으로 확장하여 분기와 초점 집합에 대한 상세한 국소적 묘사를 제공한다.

이 연구는 고전적 결과들(포락선, 에볼루트)을 특이점이 있는 실 대수적 맥락으로 엄밀하게 확장한 것이며, 비매끄러운 대상에 대한 거리 함수 연구 및 계산 기하학에 필요한 도구를 제공한다.