기술적 요약: 대수적 초곡면으로부터의 유클리드 거리 함수에 대한 모스 이론

1. 문제 제기

본 논문은 닫힌 정의 가능 부분집합 $Y \subseteq \mathbb{R}^n$으로부터 매끄러운 다양체 $X$로 제한된 유클리드 거리 함수에 대한 체계적인 모스 이론 프레임워크의 구성을 다룹니다. 구체적으로, 저자들은 다음 함수를 분석합니다:
$$\text{dist}_Y|_X : X \to \mathbb{R}, \quad \text{여기서 } \text{dist}_Y(z) := \min_{y \in Y} \|y - z\|.$$

거리 함수는 미분기하학과 계산대수기하학 (유클리드 거리 차수 및 병목 현상과 같은 개념을 정의함) 의 핵심이지만, 일반적으로 미분 불가능하며 볼록하지 않습니다. 매끄러움과 비퇴화 임계점에 의존하는 고전적 모스 이론은 직접 적용할 수 없습니다. 핵심 문제는 이러한 리프시츠 함수에 대해 위상적 분석 (하위 수준 집합의 변화를 통해) 을 가능하게 하고, 특히 $X$와 $Y$가 일반적인 대수적 초곡면일 때 임계점의 수에 대한 상한을 제공하는 "임계점"과 "지수"에 대한 견고한 정의를 설정하는 것입니다.

2. 방법론

저자들은 고전적 매끄러운 분석 대신 리프시츠 기하학과 연속 선택 (continuous selections) 이론에 기반한 프레임워크를 개발합니다.

2.1. 서브미분 (Subdifferentials) 을 통한 임계점

국소 리프시츠 함수에 대한 클라크 (Clarke) 이론을 따르며, 저자들은 클라크 서브미분 $\partial_x (\text{dist}_Y|_X)$가 영벡터를 포함하는 점 $x \in X$를 임계점으로 정의합니다.

• 서브미분은 미분 가능한 점들에서의 기울기 극한들의 볼록 껍질로 구성됩니다.
• 거리 함수의 경우, $x$에서의 서브미분은 $x$에서 $Y$의 가장 가까운 점들을 향하는 단위 벡터들의 볼록 껍질로 명시적으로 기술됩니다.
• 한 점이 임계점이 되려면, 영벡터가 이 볼록 껍질의 접공간 $T_x X$에 대한 사영 안에 있어야 합니다.

2.2. 연속 선택과 비퇴화성

모스 이론적 결과를 적용하기 위해, 저자들은 $\text{dist}_Y|_X$가 유한 개의 $C^2$ 함수들의 연속 선택으로 행동하는 경우에만 주의를 집중합니다.

• 연속 선택: 함수 $f$가 모든 $x$에서 어떤 $i$에 대해 $f(x) = f_i(x)$를 만족할 때, $f$는 $(f_0, \dots, f_m)$의 연속 선택입니다.
• 비퇴화 임계점: 임계점 $x$가 비퇴화적이기 위해서는 다음 조건을 만족해야 합니다:
  1. 활성화된 함수들 $f_i$ (즉, $f(x)=f_i(x)$인 경우) 의 미분들이 선형 독립 조건을 만족해야 합니다.
  2. 이러한 함수들의 특정 볼록 결합인 $\lambda_f$가 그들의 핵 (kernel) 의 교집합 위에서 비퇴화적인 2 차 미분을 가져야 합니다.
• 이중 지수: 단일 지수를 갖는 고전적 모스 이론과 달리, 이 프레임워크의 비퇴화 임계점은 두 가지 지수를 가집니다:
  • 조각별 선형 지수 ($k$): $k = \#I(x) - 1$로 정의되며, 여기서 $I(x)$는 활성화된 함수들의 지수 집합입니다. 이는 $Y$에서의 가장 가까운 점들의 수 (기하학적 병목) 와 관련이 있습니다.
  • 2 차 지수 ($\iota$): 관련 부분공간으로 제한된 $\lambda_f$의 헤세 행렬의 음의 고윳값의 개수입니다.

2.3. 다중접선 횡단성을 통한 일반성

이러한 정의가 대수적 초곡면의 특정 사례에 적용되도록 보장하기 위해, 저자들은 **매개변수 다중접선 횡단성 정리 (parametric multijet transversality theorem)**를 사용합니다. 그들은 $X$와 $Y$를 정의하는 일반적인 다항식에 대해 다음을 증명합니다:

• 임계점 근처에서 거리 함수는 연속 선택입니다.
• 모든 임계점은 비퇴화적입니다.
• 임의의 $x$에 대한 가장 가까운 점들의 수는 $n+1$로 제한됩니다.

3. 주요 기여 및 결과

3.1. 병목 현상과 최단점 문제의 통합

이 프레임워크는 계산대수기하학의 두 가지 주요 문제를 통합합니다:

1. 병목 현상 (Bottlenecks): $X = \mathbb{R}^n$일 때, 임계점들은 $Y$ 위의 여러 점과 등거리에 있는 기하학적 병목에 해당합니다. 조각별 선형 지수 $k$는 병목의 차수에 해당합니다.
2. 유클리드 거리 차수 (EDD): $Y$가 단일 점일 때, 임계점들은 표준적인 EDD 문제에 해당합니다.
   저자들은 둘 다 지수에 의해 구별되는 $\text{dist}_Y|_X$의 임계점의 사례임을 보여줍니다.

3.2. 위상적 변화와 모스 부등식

본 논문은 거리 함수에 대한 **변형 보조정리 (Deformation Lemma)**를 확립합니다: 구간이 임계값을 포함하지 않으면, 하위 수준 집합은 변형 수축됩니다.
비퇴화 임계점의 경우, 임계값을 통과할 때의 호몰로지 변화는 두 지수 $(k, \iota)$에 의해 제어됩니다. 구체적으로, 상대 호몰로지 $H_*(X_{c+\epsilon}, X_{c-\epsilon})$는 축소된 구 $S^{k+\iota}$의 호몰로지와 동형입니다.
이는 $X$, $X \cap Y$, 그리고 임계점들의 베티 수와 관련된 강한 모스 부등식으로 이어집니다:
$$\sum_{i=0}^\lambda (-1)^{i+\lambda} b_i(X) \leq \sum_{i=0}^\lambda (-1)^{i+\lambda} \left( b_i(X \cap Y) + \sum_{k+\iota=i} \#C_{k,\iota}(X, Y) \right)$$
여기서 $C_{k,\iota}(X, Y)$는 지수 $k$와 $\iota$를 갖는 비퇴화 임계점들의 집합을 나타냅니다.

3.3. 쌍대성 공식

주요 결과 중 하나는 $X$와 $Y$의 오일러 지표에 대한 쌍대성 공식입니다 (컴팩트성과 비퇴화성을 가정함):
$$\chi(Y) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(X, Y) = \chi(X) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(Y, X)$$
이는 오일러 지표와 임계점의 교대 합 사이의 고전적 관계를 일반화합니다.

3.4. 임계점에 대한 상한

저자들은 차수가 $d_1$과 $d_2$인 일반적인 대수적 초곡면 $X = Z(p)$와 $Y = Z(q)$에 대한 임계점의 수에 대한 명시적 상한을 제공합니다.

• 유한성: $d_1, d_2 \geq 3$인 경우, 임계점의 수는 유한합니다.
• 차수 상한: $Y$에 속하지 않는 $k$-임계점 (즉, $k+1$개의 가장 가까운 점을 갖는 점) 의 수는 다음과 같이 제한됩니다:
  $$\#C_{k,\ast}(\text{dist}_Y|_X) \leq c(k, n) \cdot d_1^n \cdot d_2^{n(k+1)}$$
  여기서 $c(k, n)$은 $n$과 $k$에만 의존하는 상수입니다.
• 이 결과는 병목 차수 ($k=1$) 와 유클리드 거리 차수에 대한 이전의 상한들을 일반화합니다.

4. 의의 및 주장

본 논문은 리프시츠 기하학의 언어를 사용하여 거리 기하학의 다양한 임계점 개념을 복원하고 통합하는 일반적인 체계적 프레임워크를 제공한다고 주장합니다.

• 이론적 통합: 거리 함수를 연속 선택으로 취급함으로써 고전적 미분기하학 (매끄러운 모스 이론) 과 계산대수기하학 (EDD, 병목 현상) 간의 간극을 메웁니다.
• 위상적 해석: 조각별 선형 지수를 통해 기하학적 현상 (예: 병목 현상) 에 대한 위상적 해석을 제공하며, 위상적 변화가 가장 가까운 점의 수 ($k$) 와 곡률 특성 ($\iota$) 모두에 의존함을 보여줍니다.
• 기술적 도구 세트: 본 논문은 다항식에 대한 다중접선 매개변수 횡단성 정리와 같은 "기술적 도구 세트"를 제공하여, 이 이론이 일반적인 대수적 초곡면에 적용됨을 보장합니다. 이는 극성 클래스와 같은 복잡한 대수기하학 기법에 의존하지 않고도 차수 상한을 유도할 수 있게 합니다. 다만, 저자들은 그들의 기법이 복소수 설정으로도 확장됨을 언급합니다.
• 겸손함: 저자들은 매끄러운 대수적 초곡면에 초점을 맞추고 있지만, 결과가 완전 교차 (complete intersections) 로 확장될 것으로 기대하며 이는 향후 과제로 남겨둡니다. 또한, 집합 $Y$에 대한 "실제 유클리드 거리 차수"의 정의를 소개하지만, 그 복소수 대응물에 대한 연구는 향후 조사에 맡깁니다.

요약하자면, 본 논문은 일반적인 대수적 초곡면의 경우, 거리 함수가 연속 선택의 의미에서 모스 함수와 충분히 유사하게 행동하여 임계점의 수에 대한 정밀한 위상적 분석과 정량적 상한을 가능하게 함을 확립합니다.