Envelopes and evolutes

1. 문제 제기 (Problem)

• 역사적 배경: 평면 곡선의 진궤 (evolute) 연구는 17 세기 후이겐스 (Huygens) 로 거슬러 올라가며, 몽주 (Monge), 다르부 (Darboux), 살몬 (Salmon) 등에 의해 공간 곡선과 사영 곡선/곡면으로 확장되었습니다. 특히 살몬은 사영 공간 내 곡선과 곡면의 진궤에 대한 다양한 열거 공식 (enumerative formulas) 을 제시했습니다.
• 연구의 필요성: 기존 연구들은 주로 실수 유클리드 공간이나 특정 차원의 사영 공간에 국한되어 있었습니다. 본 논문은 **임의의 차원을 가진 복소 사영 다양체 (projective complex varieties)**에 대해 일반화된 진궤의 개념을 정의하고, 이를 **톰 - 보어만 특이점 (Thom-Boardman singularities)**의 관점에서 해석하여 살몬의 공식을 검증하고 일반화하는 것을 목표로 합니다.
• 핵심 질문: 사영 다양체의 법선 공간 (normal spaces) 가족의 포락선은 무엇이며, 그 진궤 (특이점의 집합) 의 차수와 특이점의 수는 어떻게 계산할 수 있는가?

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구와 접근법을 사용합니다.

• 포락선 (Envelope) 의 정의:
  • 사영 공간 $P(V)$ 내의 선형 공간 가족 (family of linear spaces) 의 포락선을 정의합니다. 이는 선형 공간 가족을 매핑하는 사상 $\psi$의 분기 집합 (branch locus) 으로 간주됩니다.
  • 이 분기 집합은 톰 - 보어만 특이점 (Thom-Boardman singularity) $\Sigma_1$의 이미지로 해석됩니다.
• 진궤 (Evolute) 의 정의:
  • 사영 다양체에 '수직성 (perpendicularity)' 개념을 도입하기 위해 사영 공간에 '유클리드 구조' (무한원평면 $H_\infty$와 비퇴화 2 차 곡면 $Q_\infty$) 를 부여합니다.
  • 이를 통해 다양체의 **법선 공간 (normal spaces)**을 정의하고, 이 법선 공간 가족의 포락선 내 $(n-r)$ 차 특이점 집합 (여기서 $n$은 공간 차원, $r$은 다양체 차원) 을 진궤로 정의합니다.
  • 진궤는 $\Sigma_{1, \dots, 1}$ (1 이 $n-r$개) 형태의 고차 톰 - 보어만 특이점에 해당합니다.
• 톰 다항식 (Thom Polynomials) 활용:
  • 특이점 집합의 클래스 (class) 를 계산하기 위해 알려진 톰 다항식을 사용합니다.
  • $\Sigma_1$ (포락선), $\Sigma_{1,1}$ (뾰족한 모서리, cuspidal edge), $\Sigma_{1,1,1}$ (뾰족한 모서리의 뾰족점, cusps) 등에 대한 톰 다항식을 Chern 클래스와 Segre 클래스를 통해 표현합니다.
• 유도 과정:
  • 사영 공간 내 사영 사상 $\psi$에 대한 Chern 클래스의 관계를 유도하고 (Lemma 2.1, 2.3), 이를 통해 포락선과 진궤의 차수 공식을 도출합니다.

3. 주요 기여 (Key Contributions)

1. 일반화된 진궤의 정의:
   • 실수 유클리드 공간의 곡선/곡면에 국한되었던 진궤 개념을 임의 차원의 복소 사영 다양체로 확장했습니다.
   • 진궤를 단순한 기하학적 궤적이 아닌, 고차 톰 - 보어만 특이점으로 해석하여 대수기하학적 구조를 명확히 했습니다.
2. 새로운 열거 공식 (Enumerative Formulas) 제시:
   • 곡선, 곡면, 그리고 임의 차원의 다양체에 대한 포락선과 진궤의 차수 (degree) 및 특이점 (cusps) 의 수에 대한 일반 공식을 유도했습니다.
   • 특히, 곡선의 경우 포락선 차수, 진궤 (cuspidal edge) 차수, 그리고 진궤 위의 뾰족점 (cusps) 수에 대한 공식을 제시했습니다.
3. 살몬 (Salmon) 의 공식 검증 및 일반화:
   • 19 세기 살몬이 제시한 3 차원 사영 공간 내 곡선과 곡면의 진궤에 대한 고전적인 공식들을 유도된 일반 공식의 특수한 경우 ($n=3$) 로서 재확인했습니다.
   • 살몬의 공식이 가진 모호점 (예: inflection point 의 가중치 처리) 을 톰 다항식을 통해 명확히 하고 보정했습니다.
4. 접촉 개발면 (Osculating Developables) 과의 관계 규명:
   • 곡선의 접선, 접촉 평면 등의 포락선이 접촉 개발면 (osculating developables) 과 어떻게 연결되는지 증명하고, 이를 통해 고차 특이점의 기하학적 의미를 규명했습니다.

4. 주요 결과 (Results)

• 곡선 (Curves) 의 경우:
  • 포락선 (Envelope) 의 차수: $6(d+g-1) - 2k_0$ (여기서 $d$는 곡선 차수, $g$는 종수, $k_0$는 weighted cusps 수). 이는 살몬의 $3m+n$ 공식과 일치함을 보였습니다.
  • 진궤 (Cuspidal Edge) 의 차수: $3(3d+4g-4-k_0)$.
  • 진궤 위의 뾰족점 (Cusps) 의 수: $4(3d+5g-5-k_0)$. 이는 곡선의 **꼭짓점 (vertices)**의 수에 해당합니다.
  • 예시: 꼬인 입방곡선 (twisted cubic) 의 경우 포락선 차수는 12, 진궤 차수는 15, 뾰족점 수는 16 임을 계산했습니다.
• 곡면 (Surfaces) 의 경우:
  • 3 차원 사영 공간 내 곡면의 진궤 (살몬이 '중심 곡면'이라 부른 것) 에 대한 차수 공식을 유도했습니다.
  • 진궤 차수: $2d(d-1)(11d-16)$ (곡면 차수 $d$에 대한 식).
  • 진궤의 뾰족곡선 (cuspidal curve) 과 그 뾰족점 수에 대한 공식도 제시했습니다.
  • 심점 (Umbilics) 의 수: 곡면의 두 초점 (focal points) 이 일치하는 점의 수에 대한 살몬의 공식 ($2d(5d^2-14d+11)$) 을 언급했으나, 톰 다항식을 통한 직접 계산과의 불일치를 지적하며 향후 연구 과제를 남겼습니다.
• 일반 다양체:
  • 임의 차원 $r$의 다양체에 대한 포락선과 고차 특이점 집합의 클래스를 Chern 클래스와 Segre 클래스로 표현하는 일반 공식을 제시했습니다 (Proposition 2.4, 2.7, 2.8).

5. 의의 및 결론 (Significance)

• 이론적 통합: 고전적인 미분기하학의 진궤 개념을 현대 대수기하학의 특이점 이론 (Thom-Boardman theory) 과 톰 다항식 (Thom polynomials) 을 통해 통합했습니다. 이는 고전적인 열거 기하학 (enumerative geometry) 문제를 현대적인 언어로 재해석하는 중요한 사례입니다.
• 계산 가능성: 톰 다항식을 활용함으로써, 복잡한 기하학적 객체의 차수와 특이점 수를 체계적이고 계산 가능한 방식으로 구할 수 있는 틀을 마련했습니다.
• 확장성: 이 연구는 실수 공간뿐만 아니라 복소 사영 공간에서의 기하학적 성질을 다루므로, 대수기하학 전반에 걸쳐 적용 가능한 강력한 도구를 제공합니다. 특히 고차원 공간에서의 곡선과 곡면의 진궤 연구에 새로운 방향을 제시합니다.

요약하자면, 이 논문은 톰 - 보어만 특이점 이론을 활용하여 사영 공간 내 다양체의 진궤에 대한 일반화된 이론을 정립하고, 이를 통해 고전적인 살몬의 공식을 검증 및 확장한 대수기하학의 중요한 성과입니다.