스무스 원뿔을 통한 자유 곡선의 삭제와 추가

초록

본 논문은 평면 프로젝트 곡선 C가 자유(curve free)일 때, 매끄러운 원뿔 Q를 추가하거나 삭제했을 때 자유성 및 plus‑one generated 성질이 어떻게 변하는지를 체계적으로 연구한다. 특히, 선‑원뿔 배열(CL‑arrangement)에 초점을 맞추어, 삭제·추가 정리(Deletion‑Addition Theorem)를 일반화하고, 자유성에 대한 기하·조합적 제약을 제시한다. 결과는 기존의 하이퍼플레인 배열 이론을 곡선 경우로 확장하며, 자유 곡선의 새로운 구성 예시를 제공한다.

상세 분석

논문은 먼저 자유 곡선과 plus‑one generated 곡선의 정의를 재정리하고, 이들에 대응하는 로그 미분가능 모듈 D₀(C)의 최소 자유 해석을 통해 일반화된 지수(generalized exponents)를 도입한다. Proposition 2.2에서는 plus‑one generated 성질이 “지수 (a, b, ℓ)와 a + b = deg C”라는 동등조건과 동일함을 증명한다. 이 기반 위에 Theorem 2.3은 자유성, plus‑one generated, 그 외 경우를 최소 해석의 첫 두 지수 d₁, d₂와 차수 d의 관계(d₁ + d₂ = d‑1, d, >d)로 구분한다.

다음으로, 기존의 하이퍼플레인 배열에 대한 Abe의 정리(정리 2.4, 2.5)를 곡선 상황으로 확장한다. Theorem 2.6은 자유 곡선 C가 라인 L을 포함하거나 포함하지 않을 때, 교점 수 |C∩L|가 지수 a, b와 결함 ε(C, L) (Milnor‑Tjurina 차이)와 어떻게 얽혀 있는지를 정확히 기술한다. 비슷하게, Theorem 2.8은 plus‑one generated 곡선에 대해 교점 수와 레벨 ℓ 사이의 제한을 제시한다. 이러한 결과는 곡선의 특이점이 준동질(quasi‑homogeneous)인지 여부에 따라 ε가 0이 되는 특수 경우를 포함한다.

핵심은 Section 3에서 제시된 두 개의 삭제‑추가 정리이다. Theorem 3.2(및 그 일반화인 Theorem 3.14)는 자유 CL‑arrangement C에서 매끄러운 원뿔 Q를 삭제했을 때, 남은 곡선 C′가 자유, plus‑one generated, 혹은 그 외인지 판단하는 충분·필요 조건을 제시한다. 조건은 단순히 Q와 C′의 교점 수 |C′∩Q|와 기존 지수 a, b, 그리고 결함 ε(C′, Q)에 의존한다. 구체적으로, |C′∩Q| = a + 1 − ε이면 C′는 자유, |C′∩Q| = b + 1 − ε이면 plus‑one generated, 그 외이면 일반적인 경우이며 이때 최소 자유 해석은 (a, b, ℓ) 형태가 된다(ℓ는 레벨).

Theorem 3.7(및 일반화인 Theorem 3.16)은 자유 곡선에 원뿔을 추가하는 상황을 다룬다. 여기서는 Q와 기존 곡선 C의 교점 수가 a + 1 + ε, b + 1 + ε, 혹은 그 외인지에 따라 결과 곡선 C∪Q가 자유, plus‑one generated, 혹은 일반적인 경우가 된다. 특히, 추가 후 자유성을 유지하려면 교점 수가 정확히 a + 1 + ε이어야 하며, 이는 곡선의 특이점이 준동질일 때 ε=0으로 단순화된다.

이 두 정리는 Schenck‑Terao‑Yoshinaga