The minimum genus of Galois covers of curves

기술 요약: 곡선의 갈로아 피복의 최소 생성수(Minimum Genus)

문제 정의
본 논문은 양의 표수 $p$를 갖는 대수적으로 닫힌 체 $k$ 위에서 매끄러운 사영 연결 곡선의 갈로아 피복의 최소 생성수를 결정하는 문제를 다룬다. 저자들은 $\Gamma$가 원소 아벨 $l$-군 $H \cong (\mathbb{Z}/l\mathbb{Z})^n$에 의한 유한 순환 $p$-군 $G \cong \mathbb{Z}/p^a\mathbb{Z}$의 유한 군 확장일 때, 유한 폐점 집합 $S_X \subset X$ 밖에서 에탈(étale)인 $\Gamma$-피복 $W \to X$의 존재성과 최소 생성수를 조사한다.

이 연구는 에탈 기본 군 $\pi_1^{\text{ét}}(X \setminus S_X)$의 구조에 의해 동기 부여되었다. 아비앙카르 추측(Abhyankar's conjecture, Raynaud와 Harbater에 의해 증명됨)은 어떤 유한 군이 이 기본 군의 몫으로 나타나는지를 특징짓지만, 유한 몫들의 역계(inverse system)를 완전히 설명하지는 못한다. $G$-피복 $V \to X$가 주어졌을 때, 저자들은 $V$를 지배하는 $\Gamma$-피복 $W$를 특징짓고, 그러한 피복의 가능한 최소 생성수를 결정하고자 한다. 이는 작용이 고정되었거나 제한되었던 교대군(alternating groups) 또는 특정 반직접 곱(semi-direct products)에 대한 이전 연구를 확장한 것이다.

방법론
저자들은 대수 기하학, 표현론, 그리고 조합 최적화의 결합된 방법을 사용한다:

1. 토션 점들의 모듈 구조: 방법론의 핵심은 중간 피복 $V$의 피카드 군(Picard group)의 $l$-토션 부분군 $Pl(V \setminus S_V)$을 분석하는 데 있다. 여기서 $S_V$는 $S_X$의 역상이다. 이 군은 우측 $G$-모듈(right $G$-module)이다. 저자들은 이 모듈을 $\mathbb{F}_l$ 위의 기약 $G$-표현들로 분해하여 활용한다.
2. 갈로아 대응(Galois Correspondence): 이전 결과(특히 [13])를 바탕으로, 본 논문은 $V$의 $H$-피복($X$의 $\Gamma$-피복을 형성함)과 $Pl(V \setminus S_V)$의 $H$와 동형인 $G$-불변 부분 모듈 사이의 전단사 함수를 확립한다.
3. 분해 정리: 저자들은 $Pl(V \setminus S_V)$를 기약 성분들로 명시적으로 분해한다. 이들은 차수가 0인 피카드 군 $Pic^0(V)[l]$에서 오는 부분과 분기 자하(ramification divisor) $Pram(S_V, l)$에서 오는 부분을 구분한다. $Pram(S_V, l)$의 구조는 $G$-피복 $V \to X$의 분기 지수(ramification indices)에 따른 분기 궤적 $S_X$의 층화(stratification)에 의해 결정된다.
4. 선형 계획법을 통한 최적화: 최소 생성수를 찾기 위해, 문제는 정수 선형 계획 문제로 환원된다. 피복 $W$의 생성수는 $H$-피복 $W \to V$의 분기점 개수의 함수이다. 생성수를 최소화하는 것은 모듈 $H/H'$(여기서 $H'$는 $Pic^0(V)[l]$에 임베딩 가능한 $H$의 최대 부분 모듈) 내의 기약 표현들의 다중도에 의해 부과된 제약 조건 하에서, 가중치가 부여된 분기점의 합을 최소화하는 문제로 귀결된다.

주요 기여 및 결과

• 최소 생성수에 대한 일반 공식 (정리 1.1): 본 논문은 고정된 $G$-피복 $V$를 지배하는 $\Gamma$-피복의 최소 생성수 $g$를 계산하는 방법을 제공한다. 이는 다음과 같은 정수 선형 계획 문제로 정식화된다:

  • 목적 함수: $\sum_{s=0}^a p^s y_s$를 최소화한다. 여기서 $y_s$는 특정 분기 특성을 가진 $S_X$ 내의 분기점의 수를 나타낸다.
  • 제약 조건: 변수 $y_s$는 $S_X$ 내의 가용 점들에 의해 제한되며, $H/H'$ 내의 기약 $G$-모듈($M_{s,t}$)의 다중도로부터 유도된 부등식을 만족해야 한다.
  • 생성수 공식: 목적 함수의 최솟값 $c_{\min}$을 찾으면, 최소 생성수는 다음과 같이 주어진다:
    $$g = 2 + l^n(2g_V - 2) + \frac{l^{n-1}(l-1)c_{\min}}{2}$$
    이는 임의의 작용 $\theta: G \to \text{Aut}(H)$와 기저 피복 $V$의 다양한 분기 구조를 고려함으로써 기존의 결과들을 일반화한다.

• 특수 사례 및 명시적 공식:

  • 정리 4.2: 분기 궤적이 전적으로 완전 분기점(totally ramified points)들로 구성되거나 정확히 $p$개의 전상(pre-images)을 갖는 점들로 구성되는 경우로 일반 결과를 특수화하여, 생성수 방정식의 상수 $c$에 대한 명시적 공식을 제공한다.
  • 정리 5.6 및 따름정리 5.7: $X = \mathbb{P}^1$이고 피복이 $\mathbb{A}^1$ 위에서 에탈인 경우(무한대에서만 분기됨)에 집중한다. 저자들은 상부 점프(upper jumps)의 분기 필트레이션을 정의하고 이를 모듈 $H$의 분해와 연관시킨다. 이들은 "상부 점프" $u_i$를 기반으로 최소 생성수를 계산하는 재귀적 방법을 제공한다.

• 변하는 작용에 대한 최소 생성수 (정리 1.2): 모든 가능한 군 작용 $\theta: \mathbb{Z}/p^2\mathbb{Z} \to \text{Aut}((\mathbb{Z}/l\mathbb{Z})^n)$ 및 모든 유효한 $n$에 대하여 최소 생성수를 계산하는 것이 본 논문의 중요한 기여이다. $a=2$인 경우, 저자들은 $(\mathbb{Z}/p\mathbb{Z})^\times$ 및 $(\mathbb{Z}/p^2\mathbb{Z})^\times$ 내에서 $l$의 차수(order)에 의존하는 최소 생성수의 폐쇄형(closed-form) 식을 도출한다.

  • 만약 $d_1 = d_2$ (차수가 같음)이면, 최소값은 $n=d_1$일 때 달성된다.
  • 만약 $d_1 < d_2$이면, $p=2$인지 $p \neq 2$인지에 따라 결과가 달라지며, 각각 특정 상수($p=2$일 때 $15$, $p \neq 2$일 때 $2p^2+2$)를 산출한다.

의의 및 주장
본 논문은 특정 반직적 곱 구조를 갖는 갈로아 피복의 "임베딩 문제"를 해결하기 위한 체계적이고 알고리즘적인 접근법을 제공한다고 주장한다. $l$-토션 피카드 군을 기약 $G$-모듈으로 분해함으로써, 저자들은 최소 생성수를 갖는 피복을 찾는 기하학적 문제를 조합 최적화 문제로 변환한다.

그 의의는 다음과 같다:

1. 일반화: 알려진 최소 생성수 피복 결과(예: $a=1$인 경우의 [5])를 더 높은 $p$-거듭제곱 순환 군($a \geq 2$) 및 임의의 작용으로 확장한다.
2. 완전성: 군 작용 $\theta$가 고정되지 않고 변하는 시나리오를 다룸으로써, $(\mathbb{Z}/l\mathbb{Z})^n \rtimes \mathbb{Z}/p^a\mathbb{Z}$ 클래스 내에서 달성 가능한 절대적 최소 생성수를 결정한다.
3. 명시적 계산: 본 논문은 단순히 존재성을 증명하는 것을 넘어, 이러한 최소 생성수들을 명시적으로 계산할 수 있는 구체적인 공식과 선형 계획법 제약 조건을 제공한다.

저자들은 자신들의 결과가 이전의 발견들(예: [5, 정리 4.2 및 4.3])을 특수 사례로서 회복하며, 양의 표수에서 아핀 곡선의 에탈 기본 군의 유한 몫들의 역계 체계를 이해하기 위한 틀을 제공한다고 언급한다.