Simply branched covers of curves and wild conductor exponents

기술적 요약: 곡선의 단순 분지 덮개와 야생 도체 지수

문제 정의
본 논문은 $p$-진 체(p-adic field) 위에서 곡선의 덮개에 관한 산술 기하학을 다룬다. 구체적으로, 단순 분지(simple branching)가 덮개의 일반적인 성질이라는 고전적 원리의 산술적 유사성을 확립하고자 한다. 복소수 상에서는 모든 곡선의 덮개를 단순 분지된 덮개(즉, 모든 분기점이 지수 2를 가지며 어떤 파이버도 둘 이상의 분기점을 포함하지 않는 덮개)로 섭동(perturb)할 수 있다. 저자는 $K$가 $p$-진 체일 때, 매끄럽고 사영적이며 기하학적으로 연결된 곡선들의 덮개 $\pi: C \to D$에 대하여, $\pi'$가 단순 분지되도록 하는 $p$-진적으로 가까운 덮개 $\pi': C' \to D$를 찾을 수 있음을 증명하고자 한다.

이 결과의 주요 동기는 곡선의 야생 도체 지수(wild conductor exponents, $n_{wild}$) 계산에 있다. 저자의 최근 연구([18])는 단순 분지된 덮개의 분지 궤적(branch locus)에 기반한 $n_{wild}$ 공식을 제공하였다. 그러나 이 공식은 이전에 이미 단순 분지된 경우로 제한되었거나 특정 평면 곡수에 대해서만 임시적인 섭동을 요구했다. 본 연구의 목표는 이러한 "단순 분지" 가설을 제거하여, 임의의 덮개에 대해 단순 분지된 덮개로 섭동함으로써 $n_{wild}$를 계산할 수 있도록 하는 것이다.

방법론
본 논문은 변형 이론(deformation theory)과 $p$-진 근사(p-adic approximation) 기법을 결합하여 사용한다. 핵심 전략은 Schröer [16]의 방식에서 영감을 얻었으며, 다음 단계들을 포함한다:

1. 반복적 리프팅(Iterative Lifting): 저자는 주어진 덮개 $\pi: C \to D$를 $K[[t]]$ 위의 형식적 변형(formal deformation)으로 리프팅한다. 이는 $K[t]/(t^{n+1})$ 링들을 통해 덮개를 반복적으로 리프팅함으로써 달성된다.
   • 리프팅의 장애물(obstruction)은 $\text{Ext}^2(L^\bullet_{C/D}, \mathcal{O}_C)$에 존재하며, 매끄러운 곡선의 덮개의 경우 이는 소멸한다(Proposition 2.3).
   • 1차 변형(first-order deformations)의 집합은 $\text{Ext}^1(L^\bullet_{C/D}, \mathcal{O}_C)$의 토서(torsor)이다.
2. 분기점의 분리(Separation of Ramification): 생성되는 변형의 일반 파이버(generic fiber)가 단순 분지되도록 하기 위해, 저자는 특정한 1차 변형을 구성한다. 분기점의 국소 구조를 분석함으로써(Lemma 2.5), 다음과 같은 조건을 만족하는 변형 파라미터를 선택할 수 있음을 보인다(Lemma 2.10):
   • 지수 $e \ge 3$인 분기점은 서로 다른 $e-1$개의 지수 2인 점들로 분리된다.
   • 동일한 파이버 내에 존재하는 분기점들은 서로 다른 파이버로 분리된다.
   • 이는 변형 공간의 특정 자리스키 열린 집합 $U$에 속하는 변형 클래스를 선택함으로써 달성된다(Lemma 2.9).
3. 대수화(Algebraisation) 및 하강(Descent): Grothendieck의 대수화 정리[6]를 사용하여, $K[[t]]$ 상의 형식적 변형을 유한 유형 스킴 $T$ 위의 사상으로 대수화한다.
4. $p$-진 근사: $T$의 원점 근처의 $p$-진 근방에 단순 분지 층(simply branched locus)의 $K$-유리 점이 존재함을 보장하기 위해, 저자는 Greenberg의 근사 정리[5]를 적용한다. 이를 통해 파라미터 공간 $T$의 원점 근처에서 형식적 해를 유리 점으로 하강시킬 수 있다.

주요 결과

• 정리 1.1 (정리 2.7): $K/\mathbb{Q}_p$가 유한 확장이고 $\pi: C \to D$가 매끄럽고 사영적이며 기하학적으로 연결된 곡선의 차수 $d$인 덮개라고 하자. 표식된 점 $0$을 갖는 매끄럽고 기하학적으로 정역인$K$-스킴$T$, 매끄러운 적절한 곡선 패밀리$q_T: \mathcal{C} \to T$, 그리고 점$0$에서의 파이버가$\pi$인 유한 평탄 사상$\Pi_T: \mathcal{C} \to D \times_K T$가 존재한다. 결정적으로,$\Pi_{T,t}$가 단순 분지되는 점들의 집합$t \in T(K)$는 자리스키 열린 집합이며, **$0$의 모든$p$-진 근방은 이 단순 분지 층의$K$-유리 점을 포함한다.**
• 명제 1.2 (명제 3.2): 만약 타겟이 $\mathbb{P}^1_K$이고 선다발 $L = \pi^*\mathcal{O}_{\mathbb{P}^1}(1)$이 **매우 풍부(very ample)**하다면, 소스 곡선 $C$ 자체를 보존할 수 있다. 구체적으로, $\text{Gr}(2, H^0(C, L))$ 내의 펜슬(pencil)의 모든 $p$-진 근방에는 단순 분지 덮개 $C \to \mathbb{P}^1_K$를 정의하는 기저점이 없는(base-point free) 펜슬이 존재한다.
• 따름정리 1.3: $K$ 위의 곡선 $C$와 $\infty$가 분지점이 아닌 덮개 $\pi: C \to \mathbb{P}^1_K$에 대하여, $p > \deg(\pi)$이면 야생 도체 지수는 다음과 같이 주어진다:
  $$n_{wild}(C) = w_K(\pi) = \sum_{b \in B} \sum_{r \in \pi^{-1}(b)} (e_r - 1) \cdot (v_K(\Delta_{K(b)/K}) - [K(b):K] + f_{K(b)/K})$$
  이 공식은 단순 분지된 경우가 아니라 임의의 덮개 $\pi$에 대해 성립하는데, 이는 $\pi$를 (매끄러운 패밀리 내에서 도체의 국소적 상수성에 의해) 동일한 도체 지수를 갖는 단순 분지된 덮개 $\pi'$로 섭동할 수 있기 때문이다.

의의 및 주장
본 논문은 $p$-진 체 위에서 단순 분지의 "일반성"에 대한 엄밀한 산술적 토대를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 일반화: (대수적으로 닫힌 체나 표수가 0인 경우를 주로 가정했던) 기존의 변형 이론적 결과들을 대수적으로 닫히지 않은 $p$-진 체로 확장하였다.
2. 도체에 대한 응용: 저자의 이전 연구([18])에 있던 제한적인 "단순 분지" 가설을 제거하였다. 이를 통해 $p$가 덮의 차수보다 충분히 큰 경우($p > \deg(\pi)$ 또는 유리적 코너리티(rational gonality) 맥락에서의 $p > \gamma_{rat}$), 임의의 덮개에 대해 $n_{wild}$를 계산할 수 있게 하였다.
3. 소스 고정 섭동: 소스 곡선 $C$를 변형할 필요 없이 맵 $\pi$만을 섭동할 수 있는 조건(풀백 선다발의 매우 풍부성)을 확립하였다.

저자는 자신의 증명 전략이 전문가들에게 익숙한 기법들(변형 이론, Grothendieck 대수화)을 사용하고 있지만, 이를 비 대수적으로 닫힌 체로 확장하고 이 문제에 $p$-진 근사를 구체적으로 적용한 점이 문헌상의 새로운 기여라고 언급한다. 본 연구는 모든 소수에 대한 도체 문제를 해결하려는 것이 아니라, 섭동 논증이 성립하는 $p > \deg(\pi)$의 범위를 특정하여 다룬다.