The Complete Intersection Discrepancy of a Curve I: Numerical Invariants

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

이 논문은 대수기하학, 특히 특이점 이론 (singularity theory) 과 연결 (linkage) 이론의 교차점에 위치합니다. 주요 연구 문제는 다음과 같습니다:

• 기존 공식의 일반화: 곡선 특이점의 기본 불변량들을 연결하는 르 (Lê), 그루엘 (Greuel), 테이시에 (Teissier) 의 고전적 다중도 공식과, 사영 곡선의 종수 - 차수 공식 (genus-degree formula) 을 일반화하는 것입니다.
• 차이량의 정량화: 주어진 곡선 $X$가 어떤 완전 교차 (complete intersection) 곡선 $Z$에 포함될 때, $X$와 $Z$ 사이의 "차이"를 수치적으로 정량화하는 새로운 불변량을 도입하고 계산하는 방법을 찾는 것입니다.
• 계산의 어려움: $X$와 $Z$의 기하학적 연결 (geometric linkage) 을 통해 정의되는 여곡선 $W = Z \setminus X$의 방정식을 직접 구하는 것은 계산적으로 매우 어렵습니다. 따라서 $X$와 $Z$의 방정식만으로 이 차이량을 직접 계산할 수 있는 방법을 모색합니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구를 활용하여 문제를 해결했습니다:

• 완전 교차 불일치 (Complete Intersection Discrepancy, CID):
  • $X$와 $Z$가 포함 관계에 있을 때, $W = Z \setminus X$라 정의합니다.
  • 점 $x \in X \cap W$에서의 완전 교차 불일치 $I_x(X, W)$를 $O_{X,x}/(I_X + I_W)$의 차원 (intersection number) 으로 정의합니다.
  • 전체 불일치 $I(X, W)$는 모든 교점에서의 합으로 정의됩니다.
• 그로텐디크 쌍대성 (Grothendieck Duality) 및 접합 공식 (Adjunction Formula):
  • $X$와 $Z$의 쌍대화 층 (dualizing sheaf) $\omega_X, \omega_Z$ 사이의 관계를 분석합니다.
  • 닫힌 몰입 $i: X \hookrightarrow Z$에 대해 $\omega_X \cong i^*(I_W \omega_Z)$라는 접합 유형의 항등식을 유도합니다. 이는 $X$와 $Z$가 같은 차원을 가지며 $Z$가 Gorenstein 일 때 성립합니다.
• 수치적 불변량의 연결:
  • 야코비안 아이디얼 (Jacobian ideal), 델타 불변량 ($\delta_x$), 밀노어 수 ($\mu_x$), 분기 아이디얼 (ramification ideal) 등의 국소 불변량과 $I(X, W)$ 사이의 관계를 유도합니다.
  • **평탄 변형 (Flat deformation)**의 성질을 이용하여, $X$가 매끄럽게 변형 가능 (smoothable) 한 경우 불일치 값이 변형에 따라 일정하게 유지됨을 보입니다.
• 컴퓨터 대수 및 선형 대수:
  • $X$의 방정식으로부터 $Z$를 구성하는 구체적인 알고리즘 (소수 회피, 선형 결합) 을 제시하며, 이를 컴퓨터 대수 시스템 (예: Singular) 으로 구현 가능한지 논의합니다.

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

A. 새로운 불변량 및 다중도 공식 (Theorem A)

곡선 특이점 $(X, x)$와 이를 포함하는 일반적 완전 교차 곡선 $Z$에 대해 다음 관계식을 증명했습니다:
$$e(\text{Jac}(Z, x)) - I_x(X, W) = 2\delta_x + e(R_X)$$
여기서 $e(\cdot)$는 힐베르트 - 사무엘 다중도, $\text{Jac}$은 야코비안 아이디얼, $\delta_x$는 델타 불변량, $R_X$는 분기 아이디얼입니다.

• 만약 $x$가 "tame point" (특성 0 또는 특정 조건을 만족) 라면, 이 식은 다음과 같이 단순화됩니다:
  $$e(\text{Jac}(X, x)) - \text{cid}(X, x) = \mu_x + m_x - 1$$
  ($\mu_x$: 밀노어 수, $m_x$: 다중도).
• 이는 평면 곡선 (Teissier), 완전 교차 곡선 (Lê, Greuel), 매끄럽게 변형 가능한 곡선 (BGR26) 에 대한 기존 결과들을 일반화한 것입니다.

B. 종수 - 차수 공식의 일반화 (Theorem B)

사영 공간 $\mathbb{P}^n_k$에 포함된 코헨 - 맥aulay 곡선 $X$의 산술 종수 (arithmetic genus) $p_a(X)$에 대한 새로운 공식을 제시했습니다:
$$p_a(X) = 1 + \frac{(d_1 + \cdots + d_{n-1} - n - 1)\deg(X) - I(X, W)}{2}$$

• 여기서 $d_i$는 $X$를 포함하는 완전 교차 $Z$를 정의하는 다항식들의 차수입니다.
• 핵심 기여: $I(X, W)$를 구하기 위해 $W$의 아이디얼을 찾을 필요 없이, $X$가 매끄러운 경우 $Z$의 야코비안 아이디얼과 $X$의 좌표환을 이용해 직접 계산할 수 있음을 보였습니다 (식 2).
  $$I(X, W) = \dim_k S(X)(h)/\text{Jac}(Z)$$

C. 거의 완전 교차 (aci) 곡선에 대한 결과 (Corollary C)

$n$개의 다항식으로 정의되는 "거의 완전 교차 (almost complete intersection)" 곡선 $X$에 대해, 불일치 $I(X, W)$가 $\prod d_i - d_n \deg(X)$로 정확히 계산됨을 보였습니다. 이를 통해 $X$의 차수에 대한 하한을 유도했습니다.

D. 나시 블로우업 (Nash Blowup) 과의 연결

$X$가 Gorenstein 인 경우, $e(\text{Jac}(X, x)) - \text{cid}(X, x)$가 $(X, x)$의 나시 블로우업의 예외적 약수 (exceptional divisor) 의 차수와 일치함을 증명했습니다. 이는 피에네 (Piene) 가 제기한 $\omega$-야코비안 아이디얼에 대한 질문을 해결합니다.

E. 계산 가능성 (Computability)

• $X$와 $W$의 교점들이 $Z$의 일반 점 (ordinary double points) 이 되도록 방정식을 선택할 수 있음을 보였습니다 (Bertini 정리 및 Kleiman의 횡단성 정리 활용).
• 이를 통해 $I(X, W)$를 $Z$의 특이점 개수로 직접 세어 계산할 수 있는 방법을 제시했습니다.
• 컴퓨터 대수 시스템 (Singular 등) 을 사용하여 소수 회피와 선형 대수를 통해 $Z$를 구성하고 불일치를 계산하는 구체적인 알고리즘을 제안했습니다.

4. 의의 및 중요성 (Significance)

1. 이론적 통합: 특이점 이론의 다중도 공식과 사영 기하학의 종수 공식을 '완전 교차 불일치'라는 하나의 개념으로 통합하여 일반화했습니다.
2. 계산적 효율성: 연결된 곡선 $W$의 방정식을 명시적으로 구하는 복잡한 과정 (주요 분해 등) 을 우회하고, $X$와 $Z$의 방정식만으로 불변량을 계산할 수 있는 실용적인 방법을 제공했습니다.
3. 등특이성 (Equisingularity) 연구: 평탄 가족 (flat families) 에서 이 불일치 값이 일정하게 유지된다는 사실은 곡선 가족의 등특이성 연구에 중요한 도구가 됩니다.
4. 플뤼커 공식의 일반화: 부록과 본문에서 언급된 바와 같이, 이 결과는 고차원 곡선에 대한 플뤼커 공식 (Plücker formula) 의 일반화로 이어질 수 있습니다.

5. 결론

이 논문은 곡선의 기하학적 성질을 연구하는 데 있어 **완전 교차 불일치 (CID)**라는 새로운 수치적 불변량을 도입하고, 이를 통해 고전적인 종수 공식과 다중도 공식을 일반화했습니다. 그로텐디크 쌍대성 이론을 기반으로 한 엄밀한 증명과 함께, 실제 계산을 가능하게 하는 구체적인 알고리즘을 제시함으로써 이론적 깊이와 계산적 실용성을 모두 갖춘 중요한 연구입니다. 특히, Marc Chardin 의 부록은 체의 특성 (characteristic) 에 무관하게 순수 대수적 방법으로 종수 공식을 증명하여 결과의 보편성을 강화했습니다.