선과 하나의 원이 이루는 자유 배열과 준동차 특이점

초록

본 논문은 복소 사영평면에서 한 개의 매끄러운 원과 다수의 직선으로 이루어진 배열이, 모든 특이점이 5차 이하의 준동차(ordinary) 특이점일 때 자유(free)인지 여부를 약한 조합론(weak‑combinatorics) 관점에서 부분적으로 분류한다. 3≤d≤10개의 직선과 한 원이 만들 수 있는 가능한 (d; n₂,n₃,n₄) 조합을 모두 구하고, 각 경우에 대해 Jacobian 관계의 최소 차수(mdr)와 Tjurina 수를 이용해 자유성을 판정한다. 결과적으로 17개의 구체적인 조합만이 실제 실수 혹은 복소수 계수로 구현될 수 있음을 보인다.

상세 분석

논문은 먼저 “약한 조합론”이라는 개념을 정의한다. 이는 곡선 배열 C={C₁,…,C_k}의 각 성분 차수와 각 종류의 특이점(다중점)의 개수를 (d₁,…,d_s; m₁,…,m_p) 형태의 벡터로 기록한 것이다. 여기서 d_i는 차수가 i인 성분의 개수, m_j는 유형 M_j에 해당하는 특이점의 수를 의미한다. 저자는 특히 직선-원 배열에 대해 (d; n₂,n₃,n₄) 형태로 약한 조합론을 축약한다. n₂, n₃, n₄는 각각 이중점(A₁), 삼중점(D₄), 사중점(X₉) 즉, 다중도가 2,3,4인 일반적인 특이점의 개수이다.

다음으로 자유 배열의 동등조건을 제시한다. 자유성은 Jacobian 이데얼 J_f가 m-포화(saturated)임을 의미하지만, 실제 검증은 두 개의 수치적 조건으로 대체된다. 첫 번째는 du Plessis–Wall의 식 (d−1)²−r(d−r−1)=τ(C)이며, 여기서 r=mdr(f)·는 Jacobian 관계의 최소 차수, τ(C)·는 전체 Tjurina 수이다. 두 번째는 Dimca–Sernesi의 부등식 mdr(f) > α_C·d−2, 여기서 α_C는 모든 특이점의 Arnold 지수(또는 log canonical threshold)의 최소값이다. 준동차 특이점만을 다루므로 α_C=½가 된다. 따라서 자유 배열은 r이 ⌈(d+1)/2⌉ 이하이면서 동시에 r > d/2−1을 만족해야 한다.

이 두 조건을 이용해 저자는 다음과 같은 Diophantine 시스템을 만든다.
① 2d + d(d−1)/2 = n₂ + 3n₃ + 6n₄ (베주트 정리에서 유도된 “naïve count”)
② r² − r(d+1) + (d+1)² = n₂ + 4n₃ + 9n₄ (du Plessis–Wall 식)

여기서 d는 직선의 수, r은 위에서 제한된 범위 내의 정수이다. 이 시스템을 d=3,…,10에 대해 풀면 가능한 (n₂,n₃,n₄) 조합이 도출된다. 그러나 수학적으로 가능한 조합이라도 실제 기하학적으로 구현될 수 있는지는 별도의 검증이 필요하다. 저자는 Singular을 이용해 구체적인 정의 방정식 f를 구성하고, 그에 대한 τ와 mdr을 계산함으로써 자유성을 확인한다. 또한, 일부 조합은 기하학적 모순(예: 두 직선이 서로 다른 두 점에서 교차해야 함) 때문에 실현 불가능함을 증명한다.

특히 흥미로운 점은 Ziegler가 제시한 9선 배열의 비자유 예시와 연결된다. 그 예시에서는 6개의 삼중점이 하나의 원 위에 놓여 있거나 놓여 있지 않은 경우에 따라 자유성이 달라진다. 저자는 이를 확장해 원 하나와 직선들의 배열에서도 동일한 현상이 나타남을 보이며, 이는 “ghost conic” 현상이라 부른다.

마지막으로, 저자는 Hirzebruch‑type 부등식 9n₂ + 117/4 n₃ + 60 n₄ ≤ 5d²−6d 를 제시해 추가적인 수치적 제한을 제공한다. 이 부등식은 곡선의 Chern 클래스와 베즈 정리를 결합해 얻어지며, 실제 구한 조합들이 모두 이 부등식을 만족함을 확인한다. 따라서 논문의 결과는 약한 조합론만으로는 충분히 자유성을 판정하기 어려우며, Jacobian 관계의 최소 차수와 Tjurina 수를 동시에 고려해야 함을 명확히 보여준다.