On Łojasiewicz Ideals and Flatness for Zero Sets with Infinite Tangential Geometry

1. 연구 배경 및 문제 제기 (Problem Statement)

• 배경: 실수 해석 기하학, 특이점 이론, 미분 위상수학의 교차점에 위치하며, 열린 집합 $\Omega \subset \mathbb{R}^n$ 위의 매끄러운 함수들의 환 $E(\Omega)$ 에서 생성된 유한 생성 이상 (finitely generated ideal) $I$ 의 영점 집합 (zero set, $Z(I)$) 을 연구합니다.
• Lojasiewicz 부등식: 함수 $g$ 가 $Z(I)$ 에 대해 Lojasiewicz 부등식 $|g(x)| \ge C \cdot d(x, Z(I))^\nu$ 를 만족할 때, $I$ 를 Lojasiewicz 이상이라고 정의합니다. 이는 해석적 (analytic) 이상에서 항상 성립하지만, 매끄러운 (smooth, $C^\infty$) 범주에서는 더 미묘한 문제가 발생합니다.
• Thom 의 정리: René Thom 의 고전적 결과에 따르면, $I$ 가 Lojasiewicz 이상이면 $Z(I)$ 는 정칙 점 (smooth points) 의 조밀한 열린 집합을 포함합니다.
• 핵심 질문: 역으로, $Z(I)$ 가 정칙 점의 조밀한 열린 집합을 포함한다면, $I$ 는 반드시 Lojasiewicz 이상인가?
• 목표: 이 역명제가 일반적으로 성립하지 않음을 증명하고, 그 실패를 유발하는 기하학적 장애물 (obstruction) 을 규명하는 것입니다.

2. 방법론 (Methodology)

이 논문은 다음과 같은 수학적 도구를 활용하여 문제를 접근합니다.

1. 기하학적 구성 (Hawaiian Earring):

   • 원점 $(0,0)$ 에서 접하고 무한히 모이는 원들의 합집합인 하와이안 이어링 (Hawaiian earring) 을 주요 예시로 사용합니다.
   • $C_n = \{(x, y) \in \mathbb{R}^2 : (x - \frac{1}{n})^2 + y^2 = \frac{1}{n^2}\}$ ($n \ge 1$) 로 정의된 원들의 합집합 $H$ 를 고려합니다.
   • 이 집합은 원점을 제외하고는 매끄러운 1 차원 다양체 (원호) 이지만, 원점에서는 무한히 많은 가지가 접하며 국소적으로 위상수학적으로 병리적이 (non-locally contractible) 입니다.

2. 평탄성 (Flatness) 분석:

   • 하와이안 이어링을 영점 집합으로 갖는 매끄러운 함수 $f$ 가 원점에서 갖는 테일러 전개 (Taylor expansion) 를 분석합니다.
   • 만약 $f$ 가 유한 차수 (finite order) 로 사라진다면, 그 주성분 (leading term) 이 대수적 곡선을 정의하게 되는데, 이는 하와이안 이어링의 무한한 접선 구조와 모순됨을 보여줍니다.

3. 1 차원 경우의 분석:

   • 1 차원 ($\mathbb{R}^1$) 에서 Lojasiewicz 이상과 유한 차수 영점 (finite order zeros) 의 관계를 증명하여, 고차원에서의 반례와 대비되는 구조를 규명합니다.

3. 주요 결과 (Key Results)

논문은 다음과 같은 핵심 정리들을 증명합니다.

정리 1: 하와이안 이어링을 정의하는 함수의 평탄성 (Theorem 1 & 3)

• 내용: $f \in E^\infty(\mathbb{R}^2)$ 가 하와이안 이어링 $H$ 를 영점 집합으로 갖는다면, $f$ 는 원점에서 평탄 (flat) 합니다. 즉, 모든 미분계수가 0 입니다 ($\partial^\alpha f(0) = 0, \forall \alpha$).
• 증명 논리: 만약 $f$ 가 $p$ 차수에서 0 이 아닌 동차 다항식 $P_p$ 를 가진다면, $P_p$ 는 $H$ 의 모든 원호에서 0 이 되어야 합니다. $H$ 는 원점에서 모든 방향 (단위 원호) 에 접근하므로, $P_p$ 는 단위 원호의 열린 호에서 0 이 되어야 합니다. 이는 $P_p \equiv 0$ 을 의미하므로 모순입니다. 따라서 모든 미분계수가 0 이어야 합니다.

정리 2: Lojasiewicz 부등식의 실패 (Theorem 4)

• 내용: 하와이안 이어링을 영점 집합으로 갖는 매끄러운 함수 $f$ 는 원점에서 Lojasiewicz 부등식을 만족하지 않습니다.
• 증명 논리:
  1. $f$ 가 평탄하므로, 임의의 $N$ 에 대해 $|f(x)| \le \|x\|^N$ 입니다.
  2. 하와이안 이어링의 기하학적 구조상 원점 근처에서 $dist(x, H) \sim \|x\|$ 입니다.
  3. 만약 Lojasiewicz 부등식 $|f(x)| \ge C \cdot dist(x, H)^\theta$ 가 성립한다고 가정하면, 충분히 큰 $N > \theta$ 를 선택하여 $|f(x)| \le \|x\|^N \ll \|x\|^\theta$ 가 되어 모순이 발생합니다.
• 결론: $Z(I)$ 가 정칙 점의 조밀한 집합을 포함하더라도 (원점을 제외하고는 매끄러움), $I$ 는 Lojasiewicz 이상이 될 수 없습니다.

정리 3: 1 차원에서의 Lojasiewicz 이상과 유한 차수 영점 (Theorem 5 & Corollary 1)

• 내용: 1 차원 ($\mathbb{R}^1$) 에서 $Z(f)$ 가 Lojasiewicz 부등식을 만족하면, $f$ 의 모든 영점은 유한 차수 (finite order) 여야 합니다. 즉, 평탄한 영점은 존재할 수 없습니다.
• 결과: 1 차원에서는 Lojasiewicz 이상 $\iff$ 유한 차수 영점 $\iff$ 이산적 (discrete) 인 영점 집합이라는 강한 동치 관계가 성립합니다. 이는 고차원에서의 병리적 현상과 대조를 이룹니다.

정리 4: 1 차원에서의 주이상 (Principal Ideal) 성질 (Theorem 6)

• 내용: 1 차원에서 영점 집합이 이산적인 유한 생성 이상은 항상 주이상 (principal ideal) 입니다.

4. 기여 및 의의 (Contributions & Significance)

1. Lojasiewicz 성질의 역명제 반증:

   • 해석적 기하학에서는 Lojasiewicz 이상과 정칙 점의 조밀성 사이의 관계가 강력하지만, 매끄러운 ($C^\infty$) 범주에서는 정칙 점의 조밀성만으로는 Lojasiewicz 성질을 보장할 수 없음을 최초로 명확히 보였습니다.

2. 새로운 기하학적 장애물 규명:

   • Lojasiewicz 성질 실패의 원인이 단순히 특이점의 존재가 아니라, 무한히 많은 매끄러운 가지가 한 점에 접하며 축적되는 (accumulation of infinitely many smooth branches) 기하학적 구조에 있음을 지적했습니다. 이러한 구조는 함수가 무한히 평탄해지도록 강제하여 Lojasiewicz 부등식을 붕괴시킵니다.

3. 해석적 vs 매끄러운 특이점의 본질적 차이:

   • 해석적 함수는 유한 차수의 테일러 전개로 국소적 행동을 결정지을 수 있지만, 매끄러운 함수는 평탄함 (flatness) 을 통해 위상적 구조 (하와이안 이어링) 를 반영할 수 있음을 보여주어, 두 범주 사이의 근본적인 차이를 강조했습니다.

4. 차원 의존성:

   • 1 차원에서는 Lojasiewicz 성질이 비교적 잘 제어되지만 (유한 차수 영점 필요), 2 차원 이상에서는 하와이안 이어링과 같은 복잡한 위상 구조가 Lojasiewicz 성질을 파괴할 수 있음을 보였습니다.

5. 결론

이 논문은 매끄러운 함수의 영점 집합이 "거의 모든 곳에서 매끄럽다"는 조건만으로는 그 이상 (ideal) 이 Lojasiewicz 성질을 가질 수 없음을 증명했습니다. 하와이안 이어링과 같은 병리적 위상 구조가 함수의 평탄성을 강제하여 Lojasiewicz 부등식을 위반하게 만든다는 사실을 통해, 매끄러운 기하학에서 Lojasiewicz 성질을 보장하기 위해서는 영점 집합의 위상적 구조뿐만 아니라 국소적 기하학적 축적 (accumulation) 에 대한 더 강력한 제어가 필요함을 시사합니다.