The Complete Intersection Discrepancy of a Curve II: Families of Curves

1. 연구 문제 (Problem Statement)

이 논문은 매끄러운 매개변수 공간 $Y$ (임의의 양의 차원) 위에서 정의된 기약 곡선 (reduced curves) 의 평탄한 군 (flat families) $h: (X, 0) \to (Y, 0)$의 **등특이성 (equisingularity)**을 연구합니다.

주요 연구 목표는 다음과 같습니다:

• **Whitney 등특이성 (Whitney equisingularity)**과 **강한 동시 분해 (strong simultaneous resolution)**를 특징짓는 대수적/기하학적 기준을 확립하는 것.
• 곡선 특이점의 두 분석적 불변량인 **야코비안 아이디얼의 다중도 (multiplicity of the Jacobian ideal)**와 **완전 교차 불일치 (complete intersection discrepancy, cid)**의 차이를 활용하여, 한 섬유 (fiber) 에서 인접한 섬유로 이동할 때 이 값이 어떻게 변하는지 규명하는 것.
• **밀로르 수 (Milnor number)**의 **Zariski 상반연속성 (Zariski upper semicontinuity)**을 임의의 차원 매개변수 공간에 대해 증명하고, 이를 통해 위상적 등특이성과의 관계를 규명하는 것.

기존 연구들은 주로 1 차원 매개변수 공간 (one-parameter families) 에 국한되어 있었으며, Buchweitz 와 Greuel 의 결과를 바탕으로 했습니다. 이 논문은 이를 **임의의 차원 ($\dim Y > 1$)**으로 확장하고, 새로운 불변량인 '완전 교차 불일치'를 도입하여 문제를 해결합니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구와 기법을 종합적으로 활용합니다:

• 대수적 기하학적 도구:

  • **상대 코노멀 공간 (Relative Conormal Space, $C_h(X)$)**과 상대 내쉬 블로우업 (Relative Nash blowup, $N_h(X)$): 특이점의 기하학적 구조를 분석하기 위해 사용됩니다.
  • 상대 극 다양체 (Relative Polar Varieties, $\Gamma^k_h(X)$): 곡선 군의 특이점 분포와 Whitney 조건을 연결하는 핵심 도구입니다.
  • **Buchsbaum-Rim 다중도 (Buchsbaum-Rim multiplicity)**와 적분 폐포 (Integral closure): 모듈의 다중도를 계산하고, 평탄성 (flatness) 과 특이점의 거동을 분석하는 데 사용됩니다.
  • Riemann-Hurwitz 공식 (singular curves 용): 특이점을 가진 곡선에 대한 위상적 불변량 (Euler characteristic) 과 분기점 (critical points) 의 관계를 유도합니다.

• 분석적 기법:

  • 평탄한 변형 (Flat deformation): 곡선 군 $X \to Y$가 평탄하다는 가정을 바탕으로, 섬유별 불변량의 거동을 연구합니다.
  • Zariski 상반연속성 증명: 불변량이 일반 섬유 (generic fiber) 에서 상수이고, 특이점 (special fiber) 에서 감소하거나 일정함을 보이는 논리를 전개합니다.

• 핵심 아이디어:

  • 곡선 $X_0$를 포함하는 완전 교차 곡선 $Z_0$를 구성하고, $W_0 = Z_0 \setminus X_0$를 정의하여 **완전 교차 불일치 (cid)**를 계산합니다.
  • $e(\text{Jac}(X)) - \text{cid}(X)$라는 새로운 조합된 불변량을 도입하여, 이것이 Whitney 등특이성과 직접적으로 연결됨을 보입니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

3.1. 주요 정리 (Theorem 1.2): 다중도 차이와 극 다양체

평탄한 곡선 군 $h: X \to Y$에서, 일반 섬유 $y$와 특이 섬유 $0$ 사이의 다음 관계가 성립함을 증명합니다:
$$e(\text{Jac}(X_0)) - \text{cid}(X_0) - (e(\text{Jac}(X_y)) - \text{cid}(X_y)) = \deg_Y \Gamma^k_h(X)$$
여기서 $\deg_Y \Gamma^k_h(X)$는 상대 극 다양체의 차수입니다. 이 식은 다중도 차이가 극 다양체의 존재 여부에 의해 결정됨을 보여줍니다.

3.2. Whitney 등특이성의 특징화 (Theorem 1.3)

다음 네 가지 조건이 동치임을 증명합니다:

1. 함수 $y \mapsto e(\text{Jac}(X_y, 0)) - \text{cid}(X_y, 0)$가 $Y$ 전체에서 상수이다.
2. 각 $y$에서 $X_y$의 유일한 특이점은 $0$이며, 상대 극 다양체$\Gamma^k_h(X)$가 공집합이다 (또는 상대 코노멀 공간/내쉬 블로우업의 Exceptional divisor 의 섬유가 등차원이다).
3. 각 $y$에서 $X_y$의 유일한 특이점은 $0$이며, 군$h$는 Whitney 등특이이다.
4. 각 $y$에서 $X_y$의 유일한 특이점은 $0$이며, 군$h$는 강한 동시 분해를 허용한다.

이는 Whitney 등특이성이 단순히 위상적 동형이 아니라, 대수적 불변량 (다중도, cid) 의 일정성과 극 다양체의 소멸과 동치임을 보여줍니다.

3.3. 밀로르 수의 Zariski 상반연속성 (Theorem 6.5)

임의의 차원 매개변수 공간에 대해 밀로르 수 $\mu_y$가 Zariski 상반연속적임을 증명합니다. 즉, $\mu_0 \ge \mu_y$가 성립하며, 일반 섬유에서는 상수입니다.
이 결과는 Buchweitz 와 Greuel 의 1 차원 결과를 임의의 차원으로 확장한 것입니다.

3.4. 위상적 등특이성과 밀로르 수 (Theorem 1.4)

다음 조건 하에서 군 $h$가 **위상적 등특이 (topologically equisingular)**일 필요충분조건을 제시합니다:

• 조건: $y \mapsto \mu_y$가 상수이며, 각 섬유의 기약 성분들이 단일 점에서만 교차하고 다른 교점이 없는 경우.
• 결과: 밀로르 수가 일정하면 위상적 등특이성이 성립합니다. 이는 1 차원 경우의 결과를 일반화한 것입니다.

3.5. 새로운 공식 및 계산 도구

• Teissier-Lê-Greuel 공식의 일반화: 평탄한 변형에서 $e(\text{Jac}(X)) - \text{cid}(X) = \mu + m - 1$ 공식을 유도하여, 밀로르 수를 직접 계산할 수 있는 대수적 방법을 제공합니다.
• Nash 블로우업과의 연결: Proposition 4.3 에서 $e(\text{Jac}(X_0)) - \text{cid}(X_0) - (e(\text{Jac}(X_y)) - \text{cid}(X_y))$가 Nash 블로우업의 Exceptional divisor 의 차수와 같음을 보였습니다.

4. 의의 및 중요성 (Significance)

1. 차원 확장: 기존에 1 차원 매개변수 공간 (one-parameter families) 에만 적용되던 등특이성 이론 (Whitney 조건, 동시 분해, 밀로르 수의 성질) 을 **임의의 차원 ($\dim Y > 1$)**으로 성공적으로 확장했습니다.
2. 새로운 불변량의 도입: '완전 교차 불일치 (cid)'를 도입하여, 야코비안 다중도만으로는 설명되지 않는 기하학적 정보를 보완했습니다. 이는 비완전 교차 (non-complete intersection) 곡선 군을 연구하는 데 필수적인 도구입니다.
3. 대수적 특징화: Whitney 등특이성이라는 미분위상적/기하학적 조건을 **대수적 불변량 (다중도, cid, 극 다양체)**의 상수성으로 완전히 특징화했습니다. 이는 계산 가능한 대수적 기준을 제공하여 실제 적용을 용이하게 합니다.
4. 위상적 등특이성과의 연결: 밀로르 수의 일정성이 위상적 등특이성과 동치임을 증명함으로써, 특이점의 위상적 구조를 대수적 수치로 파악할 수 있는 강력한 통찰을 제공했습니다.

5. 결론

이 논문은 곡선 군의 등특이성 이론에 있어 중요한 이정표입니다. 저자들은 Buchsbaum-Rim 다중도, 상대 극 다양체, 그리고 완전 교차 불일치를 결합하여, 임의의 차원 매개변수 공간에서 Whitney 등특이성과 위상적 등특이성을 정량화하고 특징화하는 완전한 체계를 구축했습니다. 이는 특이점 이론 (Singularity Theory) 과 대수기하학의 교차점에서 중요한 진전을 이루었으며, 향후 고차원 다양체의 등특이성 연구에 기초를 제공할 것으로 기대됩니다.