[논문 리뷰] Irreducibility of Hurwitz spaces

Vassil Kanev|ArXiv.org|2005. 09. 07.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 23

한 줄 요약

이 논문은 $d$차 수의 덮개를 갖는 매끄럽고 사영적인 곡선 $Y$의 위상수학적 성질을 다루는 투르비츠 공간의 날카운 불가분 조건을 확립한다. 이는 단순 분지점의 수 $n$ 이 $n \geq 2d - 2$ 를 만족할 경우 불가분성을 증명하며, 한 개의 비단순 분지점을 갖는 덮개로 결과를 확장한다. 핵심 방법은 $Y$의 $n$-스트랜드 브레인 군의 생성자들을 통해 투르비츠 시스템 위에 작용하는 브레인 군의 행동을 명시적으로 계산하는 것으로, 중심 기술 도구는 임의의 군에 대해 성립하는 브레인 이동 보조정리의 일반화이다.

ABSTRACT

Graber, Harris and Starr proved, when n >= 2d, the irreducibility of the Hurwitz space H^0_{d,n}(Y) which parametrizes degree d coverings of a smooth, projective curve Y of positive genus, simply branched in n points, with full monodromy group S_d (math.AG/0205056). We sharpen this result and prove that H^0_{d,n}(Y) is irreducible if n >= max{2,2d-4} and in the case of elliptic Y if n >= max{2,2d-6}. We extend the result to coverings simply branched in all but one point of the discriminant. Fixing the ramification multiplicities over the special point we prove that the corresponding Hurwitz space is irreducible if the number of simply branched points is >= 2d-2. We study also simply branched coverings with monodromy group different from S_d and when n is large enough determine the corresponding connected components of H_{d,n}(Y). Our results are based on explicit calculation of the braid moves associated with the standard generators of the n-strand braid group of Y.

연구 동기 및 목표

• 종수 $\geq 1$ 인 $Y$ 에 대해 투르비츠 공간 $\mathcal{H}^0_{d,n}(Y)$ 가 불가분이 되는 데 필요한 단순 분지점의 최소 수 $n$ 을 결정하는 것.
• 모든 분지점이 단순 분지이지만 하나의 점을 제외한 덮개에 대해 불가분성 결과를 확장하고, 그 특별한 점에서의 분지 스펙트럼을 고정하는 것.
• 모노드로미 군이 $S_d$ 가 아닌 경우 $\mathcal{H}_{d,n}(Y)$ 의 연결 성분을 분류하는 것, 특히 $d$ 가 복합수일 경우에 초점 맞추기.
• 브레인 군의 작용을 명시적인 공식을 통해 투르비츠 시스템 분석을 위한 일반적 프레임워크를 제공하는 것.

제안 방법

• 논문은 리만의 존재 정리를 사용하여 투르비츠 공간의 섬유를 $S_d$ 내의 순열 튜플 — 곱 관계를 만족하는 — 등가류로 식별한다.
• 이들은 $Y$ 의 $n$-스트랜드 브레인 군의 작용을 이러한 시스템에 대해 연구하며, 비르만의 작업에서 유래한 생성자 체계를 통해 브레인 이동을 계산하는 문제로 환원한다.
• 핵심 기술 도구는 메인 보조정리 2.1로, $h$ 가 다른 생성자들과 가환할 경우 인접한 전치 $t_i, t_{i+1}$ 를 $h^{-1}t_i h, h^{-1}t_{i+1} h$ 로 대체하는 것이 브레인 동치를 유지함을 보여준다.
• 이 방법은 브레인 이동의 일련의 적용을 통해 투르비츠 시스템을 정규형으로 줄이며, 비자명한 모노드로미 원소 $\lambda_k, \mu_k$ 를 최소화한다.
• 명시적인 브레인 이동 공식(정리 1.8)을 사용하여 브레인 군의 작용 하에서 투르비츠 시스템의 변환을 추적한다.
• 분기 스펙트럼 $\underline{e}$ 를 고정하고 한 개의 비단순 분지점을 갖는 덮개로 분석을 확장하며, $n \geq 2d - 2$ 일 때 불가분성을 증명한다.

실험 결과

연구 질문

• RQ1 종수 $\geq 1$ 인 $Y$ 에 대해 투르비츠 공간 $\mathcal{H}^0_{d,n}(Y)$ 가 불가분이 되는 $n$ 은 무엇인가?
• RQ2 모든 분지점이 단순 분지이지만 하나의 점을 제외한 덮개에 대해, 그 특별한 점에서의 분기 데이터를 고정할 경우 불가분성 결과를 확장할 수 있는가?
• RQ3 모노드로미 군이 $S_d$ 가 아닐 경우 $\mathcal{H}_{d,n}(Y)$ 의 연결 성분은 무엇이며, 이들은 $Y$ 의 에탈 덮개와 어떻게 관련되는가?
• RQ4 모노드로미 군이 전체 대칭군이 아닐 경우 브레인 군의 작용이 투르비츠 시스템에 어떻게 작용하며, 어떤 조건이 불가분성을 보장하는가?

주요 결과

• 종수 $\geq 1$ 인 $Y$ 에 대해 $n \geq 2d - 2$ 일 때 투르비츠 공간 $\mathcal{H}^0_{d,n}(Y)$ 는 불가분이다. 이는 그라브어, 해리스, 스타의 이전 결과인 $n \geq 2d$ 보다 향상된 결과이다.
• 한 개의 비단순 분지점을 갖는 덮개와 고정된 분기 스펙트럼 $\underline{e}$ 를 고려할 경우, $n \geq 2d - 2$ 일 때 공간 $\mathcal{H}^0_{d,n,\underline{e}}(Y)$ 는 불가분이다.
• 종수 $g(Y) = 1$ 이면 $\mathcal{H}^0_{d,n}(Y)$ 는 $n \geq \max\{2, 2d - 6\}$ 일 때 불가분이며, $g(Y) \geq 1$ 이면 $n \geq \max\{2, 2d - 4\}$ 일 때 불가분이다.
• 복합수인 $d$ 에 대해, 모노드로미 군이 $S_d$ 가 아닌 $\mathcal{H}_{d,n}(Y)$ 의 연결 성분은 $n \geq \max(2, 2d' - 4)$ (또는 $g=1$ 이면 $2d' - 6$) 일 때만 존재한다. 여기서 $d'$ 는 $d$ 의 최대 진약수이며, 이러한 성분들은 $d_2 \mid d$, $d_2 \neq 1,d$ 인 $Y$ 의 에탈 덮개의 차수 $d_2$ 와 일대일 대응된다.
• 논문은 $[\lambda, \mu] = 1$ 이고 $d=4,n=2$ 인 최소 투르비츠 시스템은 $( (12),(12);1,(134) )$ 와 동치임을 증명하며, 이 경우의 불가분성을 확인한다.
• 메인 기술 보조정리(메인 보조정리 2.1)는 [GHS]의 결과를 일반화하며, 단지 $S_d$ 가 아닌 임의의 군 $G$ 에 대해 성립하므로 독립적인 관심을 끌 만하다.