[논문 리뷰] On factorizations of maps between curves

Dijana Kreso, Michael E. Zieve|arXiv (Cornell University)|2014. 05. 19.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 5

한 줄 요약

이 논문은 단일 순열을 갖는 아벨 또는 일반적으로 단일 순열을 갖는 딜라인드 또는 쿼asi-하밀턴ian 부분군을 포함하는 곡선의 코버에 대해, 완전 분해에서의 분해 불가능 성분의 차수, 단일 순열군, 및 자기동형군이 순열을 제외하고 유일하게 결정됨을 입증한다. 이는 다항식 분해에 대한 리트의 고전적 결과를 일반화하며, 다항식, 이소지니, 라티스 사상, 기타 산술기하학적 코버에 적용된다.

ABSTRACT

We examine the different ways of writing a cover of curves $ϕ\colon C o D$ over a field $K$ as a composition $ϕ=ϕ_n\circϕ_{n-1}\circ\dots\circϕ_1$, where each $ϕ_i$ is a cover of curves over $K$ of degree at least $2$ which cannot be written as the composition of two lower-degree covers. We show that if the monodromy group $ extrm{Mon}(ϕ)$ has a transitive abelian subgroup then the sequence $(\degϕ_i)_{1\le i\le n}$ is uniquely determined up to permutation by $ϕ$, so in particular the length $n$ is uniquely determined. We prove analogous conclusions for the sequences $( extrm{Mon}(ϕ_i))_{1\le i\le n}$ and $( extrm{Aut}(ϕ_i))_{1\le i\le n}$. Such a transitive abelian subgroup exists in particular when $ϕ$ is tamely and totally ramified over some point in $D(\overline{K})$, and also when $ϕ$ is a morphism of one-dimensional algebraic groups (or a coordinate projection of such a morphism). Thus, for example, our results apply to decompositions of polynomials of degree not divisible by $ extrm{char}(K)$, additive polynomials, elliptic curve isogenies, and Lattès maps.

연구 동기 및 목표

• 코브의 분해 불가능 코브로의 분해가 순열을 제외하고 유일하게 결정되는 조건을 규명하는 것.
• 다항식 분해에 대한 리트의 고전적 결과를 더 넓은 곡선 코브의 범주로 확장하는 것.
• 단일 순열군 조건 하에서 코브의 복합체에서 자기동형군의 구조를 특성화하는 것.
• 디드레인드 단일 순열군 조건 하에서, 분해 불가능 성분의 자기동형군의 순서가 전체 코브의 자기동형군을 나누는 것을 증명하는 것.
• 이러한 유일성 결과가 적용되는 자연스러운 코브의 범주(예: 다항식, 이소지니, 라티스 사상)를 식별하는 것.

제안 방법

• 단일 순열군 이론을 사용하여 곡선 코브의 구조를 분석하고, 단일 순열 아벨 또는 딜라인드 부분군에 집중한다.
• 군론적 도구를 적용: 쿼라-하밀턴ian 및 딜라인드 군, 정규화자, 단일 순열군 내의 부분군 격자.
• 디드레인드 단일 순열군 조건 하에서, 복합체 ψ = θ∘ρ에 대해 Aut(ψ)에서 Aut(θ)로의 호모모르피즘을 수립하고, 핵이 Aut(ρ)임을 보인다.
• 체 확장과 코브 사이의 갈루아 이론적 대응을 활용하여 군론적 성질을 기하학적 성질로 변환한다.
• 섬함 제품 분해와 사상의 그래프 위에서 자기동형군 작용을 이용하여 인수 분해 성분의 유일성을 증명한다.
• 인덕티브 군 사슬 추론을 사용하여, Mon(φ)가 단일 순열 딜라인드 부분군을 갖는 경우 |Aut(φ)|가 ∏|Aut(φ_i)|를 나눈다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 코브 φ: C → D의 단일 순열군에 어떤 조건이 성립하면, 그 분해 불가능 성분의 차수의 순서가 순열을 제외하고 유일하게 결정되는가?
• RQ2 코브 φ의 완전 분해에서 분해 불가능 성분의 단일 순열군 순서가 동형과 순열을 제외하고 유일하게 결정되는가?
• RQ3 복합 코브 φ = φ_n ∘ … ∘ φ_1의 자기동형군이 성분의 자기동형군의 곱을 나누는가? 이는 어떤 단일 순열군 조건에서 성립하는가?
• RQ4 다항식, 이소지니, 라티스 사상 등 자연스러운 코브의 범주 중에서 인수 분해 순서의 유일성 조건을 만족하는 것은 무엇인가?
• RQ5 합리적 함수 f에 대해 |Aut(f)|가 ∏|Aut(f_i)|를 나눈다는 추측이 일부 경우에서는 성립하지만 다른 경우는 실패하는 이유는 무엇이며, 이를 설명하는 군론적 조건은 무엇인가?

주요 결과

• 코브 φ의 단일 순열군이 단일 순열 아벨 부분군을 갖는다면, 임의의 완전 분해에서 차수의 순서 (deg φ_i)는 순열을 제외하고 유일하게 결정된다.
• Mon(φ)가 단일 순열 딜라인드 부분군을 갖는다면, 단일 순열군 (Mon(φ_i))과 자기동형군 (Aut(φ_i))의 순서는 동형과 순열을 제외하고도 유일하게 결정된다.
• 단일 순열 딜라인드 단일 순열군을 갖는 코브에 대해서는, ψ = θ∘ρ일 때 Aut(ψ) → Aut(θ)로의 자연스러운 호모모르피즘이 존재하며, 핵이 Aut(ρ)이므로 복합체에서 자기동형군의 구조적 통제가 가능하다.
• Mon(φ)가 단일 순열 딜라인드 부분군을 갖는다면, 복합 코브 φ에 대해 |Aut(φ)|가 ∏_{i=1}^n |Aut(φ_i)|를 나눈다.
• 이 결과는 D(𝕂̄)에서 한 점에서 온전하고 온전히 분해되는 모든 코브에 적용되며, 이를 통해 차수의 특성이 char(K)로 나누어지지 않는 다항식, 덧셈 다항식, 타원 곡선 이소지니, 라티스 사상 등에 적용된다.
• 합리적 함수 f에 대해 |Aut(f)|가 ∏|Aut(f_i)|를 나눈다는 추측은 일반적으로 참이 아니며, f(X) = X^3 + X^{-3} over ℂ에서의 반례를 통해 이를 실패함을 보였다.