노드 곡선 위 아핀 콘의 무한소 변형과 완전 스무딩

초록

저자는 세 개의 직선을 세 쌍의 점에서 연결해 만든 차수 1의 환원 노드 곡선 X에 다중차수 (4,3,3)인 매우 풍부한 선다발 L을 부여하고, 이를 통해 X를 ℙ⁹에 삽입한다. 이어 X의 아핀 콘 C(X)를 상세히 분석해 정점에서 만나고 있는 세 개의 특이 직선을 특이집합으로 규명한다. Pinkham의 Gₘ‑등가 변형 이론을 이용해 C(X)의 등급별 T¹을 계산하고, 특히 차수 0 성분이 사라짐을 보이며, 차수 < 0 성분이 전부 매끄러운 변형을 제공함을 증명한다. 결과적으로 이 콘은 차수 -1 변형 하나로 완전 스무딩될 수 있음을 보여준다.

상세 분석

이 논문은 대수기하학에서 중요한 예제로, 환원된 노드 곡선 X와 그 위의 풍부한 선다발 L을 통해 얻어지는 아핀 콘 C(X)의 변형 이론을 완전히 계산한다. 먼저 저자는 X를 세 개의 ℙ¹ 성분 C₁, C₂, C₃ 으로 구성하고, 각각을 두 점씩 서로 식별해 세 개의 노드를 만든다. 이때 X는 산술 기하학적 차원 pₐ(X)=1을 갖는 환원 곡선이며, 그 이중 그래프는 하나의 순환을 포함한다.

다음 단계에서는 다중차수 (4,3,3)인 선다발 L을 정의한다. 각 성분 Cᵢ에 대해 deg L|{Cᵢ}=dᵢ≥3이므로 O{ℙ¹}(dᵢ) 는 매우 풍부하고, 전역 섹션의 차원은 dᵢ+1 이다. 저자는 정규화 사상 ν: \tilde X→X와 정규화된 선다발 \tilde L=ν^*L을 이용해 전역 섹션을 삼중벡터 (s₁,s₂,s₃) 로 표현하고, 노드에서의 일치 조건을 선형 방정식 Φ(s₁,s₂,s₃)=0 으로 정리한다. 이 선형 시스템을 직접 풀어 h⁰(X,L)=deg L=10을 얻으며, 따라서 |L| 은 ℙ⁹에 임베딩을 제공한다.

아핀 콘 C(X)=Spec ⊕{m≥0} H⁰(X,L^{⊗m}) 은 정상(surface)이며, 정점 0과 세 개의 1차원 특이선(각 노드 위에 존재)이 만나 있는 구조를 가진다. 여기서 핵심은 Gₘ‑액션에 의해 등급이 부여된 변형 공간 T¹(C(X))=⊕{m∈ℤ} T¹(C(X))(m) 이다. Pinkham의 이론에 따르면 T¹(C(X))(m) 은 곡선 X 위의 특정 선다발 F_m 의 공동(cohomology)과 동형이다. 저자는 F_m 을 다음과 같이 정의한다.

• m>0: F_m = T_X ⊗ L^{⊗m}
• m=0: F_0 = T_X
• m<0: F_m = L^{⊗m}

이때 T_X 는 차수 0 의 접다발이며, 저자는 일반적인 결합 데이터를 선택했을 때 H⁰(X,T_X)=H¹(X,T_X)=0임을 보인다. 따라서 T¹(C(X))(0)=0, 즉 등급 0 의 무한소 변형이 전혀 존재하지 않는다. 이는 콘이 Gₘ‑등가 변형에 대해 강한 강직성을 가진다는 의미이며, 모든 변형은 양의 등급(전역 섹션을 늘리는 변형) 혹은 음의 등급(섹션을 감소시키는 변형)에서만 발생한다.

음의 등급에 대해서는 저자가 구체적인 계산을 수행한다. m<0 인 경우 H⁰(X,F_m)≅H⁰(X,L^{⊗m}) 는 차수가 감소함에 따라 차원이 -10m 가 된다. 특히 m=-1 에서는 dim T¹(C(X))(-1)=10 이며, 이 10차원 공간 안에 비자명한 원소가 존재한다. 저자는 그 중 하나를 선택해 t∈Δ (디스크) 위의 1-파라미터 변형 \mathcal{C}→Δ 을 구성한다. 이 변형은 t≠0 일 때 콘의 모든 특이선을 매끄럽게 만들며, 정점 역시 매끄러워진다. 즉, 차수 -1 변형 하나만으로 전체 특이집합을 완전히 스무딩할 수 있다.

또한 저자는 T¹(C(X))(m) 이 m>0 인 경우는 전부 사라짐을 증명한다. 이는 H¹(X,T_X⊗L^{⊗m})=0 임을 보이는 것으로, 충분히 큰 m 에 대해 차원이 사라지는 것을 확인한다. 따라서 양의 등급 변형은 존재하지 않으며, 콘은 “음의 방향”으로만 변형될 수 있다.

마지막으로, 저자는 이 예제가 다음 네 가지 중요한 모듈러 문제와 연결된다고 강조한다. (i) M₁ (산술 기하학적 차수 1 곡선의 모듈러)에서의 경계점, (ii) (X,L) 쌍의 편극된 환원 곡선의 모듈러, (iii) Gₘ‑액션을 가진 표면 특이점의 변형 공간, (iv) 비고립 특이점의 스무딩. 이 네 영역 사이의 교차점에서 구체적인 계산이 가능함을 보여 주며, 복잡한 특이점 이론을 실제 예제로 풀어낸 점이 큰 의의이다.