[논문 리뷰] Permutation Groups with a Cyclic Two-Orbits Subgroup and Monodromy Groups of Siegel Functions

Peter Mueller|ArXiv.org|2001. 10. 05.

Finite Group Theory Research참고 문헌 39인용 수 9

한 줄 요약

이 논문은 정수환에서 정수점이 무한히 많은 유리 함수(즉, 시겔 함수)의 모노드로미 군이 특정한 유한 단순군으로 제한됨을 증명하며, 이는 군론의 고전적 결과를 일반화하고 시겔의 정수점 정리와 연결한다. 이를 통해 비대칭군이거나 순환군이 아닌 갈루아 군을 가진 다항식에 대해 힐버트의 기약성 정리의 보다 정밀한 형태를 제시할 수 있으며, 유한한 예외를 명시적으로 규명한다.

ABSTRACT

We classify the finite primitive permutation groups which have a cyclic subgroup with two orbits. This extends classical topics in permutation group theory, and has arithmetic consequences. By a theorem of C. L. Siegel, affine algebraic curves with infinitely many integral points are parametrized by rational functions whose monodromy groups have this property. We classify the possibilities of these monodromy groups, and give an application to Hilbert's irreducibility theorem.

연구 동기 및 목표

• 정수환에서 정수점이 무한히 많은 유리 함수(즉, 시겔 함수)의 모노드로미 군이 특정한 유한 단순군으로 제한됨을 증명하며, 이는 군론의 고전적 결과를 일반화하고 시겔의 정수점 정리와 연결한다.
• 비대칭군이거나 순환군이 아닌 갈루아 군을 가진 다항식에 대해 힐버트의 기약성 정리의 보다 정밀한 형태를 제시하며, 이를 통해 유한한 예외를 명시적으로 규명한다.
• 유리 함수 g(Z) ∈ k(Z)가 수체 k에서 정수값을 무한히 갖는 경우, 그 모노드로미 군이 어떤 군이 될 수 있는지 규명한다.
• 유리 함수 g(Z) − t 의 갈루아 군에서 나타날 수 있는 비아벨 성분 인자의 정확한 집합을 규명한다.
• 유리 함수 g(Z) ∈ ℚ(Z)가 정수값을 무한히 갖는 경우, 그에 대응하는 갈루아 군의 완전한 목록을 제시한다.

제안 방법

• 아슈바처–온난–스코트 정리를 사용하여 원시적 순열군을 그들의 구조적 유형으로 분해한다: 아핀, 곱, 정규, 대각선, 거의 단순군 및 고전적/예외적 군들로 나누어 분석한다.
• 각 군 유형에서 두 궤도를 가지는 순환부분군의 작용을 분석하며, 궤도 길이 제약과 최대성, 원소의 차수 등의 군론적 성질을 활용한다.
• 종수 0 시스템과 분지 사이클 기술을 적용하여, 주어진 모노드로미를 가진 k(t) 위의 유리 함수의 갈루아 군이 될 수 있는 군들을 규명한다.
• 시겔–랑 정리와 유리 함수의 산술적 성질을 활용하여, 가능한 모노드로미 군을 종수 0 커버와 유한한 극점만을 갖는 군들로 제한한다.
• 계산 기반 대수학과 수론 기법을 사용하여, ℚ(t) 위의 특정 12차 확장이 유리 함수가 아니라는 것을 입증한다. 이를 위해 관련 이차형식이 유리점을 갖지 않는다는 것을 보인다.
• 갈루아 군의 작용을 분석하고, 어떤 비아벨 성분 인자가 특수화에 의해 기약성을 유지하게 하는지를 규명함으로써, 힐버트의 기약성 정리에 분류 결과를 적용한다.

실험 결과

연구 질문

• RQ1 정수환에서 정수점이 무한히 많은 유리 함수(즉, 시겔 함수)의 모노드로미 군이 특정한 유한 단순군으로 제한됨을 증명하며, 이는 군론의 고전적 결과를 일반화하고 시겔의 정수점 정리와 연결한다.
• RQ2 비대칭군이거나 순환군이 아닌 갈루아 군을 가진 다항식에 대해 힐버트의 기약성 정리의 보다 정밀한 형태를 제시하며, 이를 통해 유한한 예외를 명시적으로 규명한다.
• RQ3 유리 함수 g(Z) ∈ k(Z)가 수체 k에서 정수값을 무한히 갖는 경우, 그 모노드로미 군이 어떤 군이 될 수 있는지 규명한다.
• RQ4 유리 함수 g(Z) − t 의 갈루아 군에서 나타날 수 있는 비아벨 성분 인자의 정확한 집합을 규명한다.
• RQ5 유리 함수 g(Z) ∈ ℚ(Z)가 정수값을 무한히 갖는 경우, 그에 대응하는 갈루아 군의 완전한 목록을 제시한다.

주요 결과

• 수체 k 위의 시겔 함수의 모노드로미 군은 비아벨 성분 인자로 유한한 목록에서만 이루어진다: 대칭군 A_j (j ≥ 5), PSL₂(7), PSL₂(8), PSL₂(11), PSL₂(13), PSL₃(3), PSL₃(4), PSL₄(3), PSL₅(2), PSL₆(2), M₁₁, M₁₂, M₂₂, M₂₃, M₂₄.
• ℚ 위에서는 이러한 모노드로미 군의 유일한 비아벨 성분 인자는 대칭군 A_j (j ≥ 5)와 PSL₂(7), PSL₂(8)이다.
• ℚ(t) 위의 f(t,X)의 갈루아 군이 대칭군이나 C₂와 동형이 아닌 단순군이라면, f(ṫ,X)는 유한한 예외를 제외한 모든 ẃ ∈ ℤ 에서 ℚ에서 기약이다.
• 정수값을 무한히 갖는 유리 함수 g(Z) ∈ ℚ(Z)에 대해, g(Z) − t 의 갈루아 군은 PSL₂(11), PSL₃(3), 등과 같은 특정한 예외적인 유한 단순군을 성분 인자로 가질 수 없다.
• 특정한 12차 다항식 F(X,t)를 구성하였으며, 이들의 분해체가 ℚ(t) 위에서 유리 함수가 아니라는 것을 입증하였다. 이는 관련 이차형식이 유리점을 갖지 않기 때문이다.