[논문 리뷰] Explicit Polynomials Having the Higman-Sims Group as Galois Group over Q(t)

Dominik Barth, Andreas Wenz|arXiv (Cornell University)|2016. 11. 14.

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

한 줄 요약

이 논문은 유리수 함수체 ℚ(t) 위에서 Higman-Sims 군 HS와 그 자동환군 Aut(HS)의 갈루아 군을 가지는 명시적 100차 유리 함수를 구성한다. 이는 단일 유리 삼중항에 대응하는 모노드로미 군을 가진 0-성질의 Belyi 사상에 기반한다. 저자들은 대수적 및 기하적 방법을 통해 명시적 다항식을 계산하고, 순열군 이론과 판별식 분석을 통해 모노드로미 군을 검증함으로써 ℚ(t) 위에서 HS에 대한 역 갈루아 문제를 해결한다.

ABSTRACT

We compute explicit polynomials having the sporadic Higman-Sims group HS and its automorphism group Aut(HS) as Galois groups over the rational function field Q(t).

연구 동기 및 목표

• 유리수 함수체 ℚ(t) 위에서 희귀한 Higman-Sims 군 HS와 그 자동환군 Aut(HS)에 대한 역 갈루아 문제를 해결하기.
• 모노드로미 군이 Aut(HS)와 동형인 100차 유리 함수 f(X) = p(X)/q(X)를 명시적으로 구성하기.
• 대수적 및 기하적 기법을 사용하여 다항식 p(X) - tq(X) ∈ ℚ(t)[X]의 갈루아 군이 정확히 Aut(HS)임을 확인하기.
• 성질 0인 두 개의 서로 다른 강한 유리 생성 삼중항에 대응하는 두 개의 서로 다른 100차 Belyi 사상 제공하기.
• 희귀 군에 적용 가능한 순열 삼중항과 유리 강성에 기반한 고차수 Belyi 사상 계산 방법 제시하기.

제안 방법

• 성질 0인 강한 유리 삼중항 (x, y, z) ∈ S₁₀₀를 기반으로, 모노드로미 군이 Aut(HS)와 동형인 100차 Belyi 사상 f: ℙ¹(ℂ) → ℙ¹(ℂ)을 구성한다. 이 삼중항은 x·y·z = 1 를 만족한다.
• f(X) = p(X)/q(X) = 1 + r(X)/q(X) 로 정의되며, p(X), q(X), r(X) 는 정수 계수를 가지며 특정 인수분해를 갖는 명시적 다항식이다.
• Magma 를 사용하여 순열 삼중항 (x, y, z) 가 Aut(HS)를 생성하고 브레이드 관계를 만족하며 성질 0임을 확인함으로써, ℚ 위에서 유일한 Belyi 사상 존재를 보장한다.
• Riemann-Hurwitz 공식을 적용하여 f 가 0, 1, ∞ 에서 분지된 3점 분지 덮개임을 확인하고, 사이클 유형이 주어진 순열과 일치함을 검증한다.
• 갈루아 군의 모노드로미를 대수적으로 분석함으로써 p(X) - tq(X) ∈ ℚ(t)[X] 의 갈루아 군이 순열군 이론과 하위도수 분석을 통해 원시적 3차 순열군임을 보여주며, 하위도수 1, 22, 77 를 가짐을 확인한다.
• p(X) - tq(X) 의 판별식이 ℚ(t) 에서 제곱이 아닌지 확인함으로써 갈루아 군이 HS 가 아닌 Aut(HS) 임을 확인한다.

실험 결과

연구 질문

• RQ1 ℚ(t) 위에서 모노드로미 군이 Aut(HS) 와 동형인 100차 명시적 Belyi 사상은 구성할 수 있는가?
• RQ2 다항식 p(X) - tq(X) ∈ ℚ(t)[X] 의 갈루아 군이 정확히 Aut(HS) 인가? 그리고 이를 대수적으로 어떻게 검증할 수 있는가?
• RQ3 성질 0인 Aut(HS) 의 두 개의 서로 다른 강한 유리 생성 삼중항이 존재하는가? 그리고 이들은 서로 다른 Belyi 사상과 동일한 모노드로미 군을 유도하는가?
• RQ4 다항식 p(X) - tq(X) 의 판별식을 사용하여 ℚ(t) 위에서 갈루아 군 HS 와 Aut(HS) 를 구별할 수 있는가?
• RQ5 Belyi 사상과 관련된 dessin d’enfant 의 구조는 어떻게 되며, 이는 모노드로미 군을 어떻게 반영하는가?

주요 결과

• 저자들은 성질 0인 강한 유리 삼중항에 기반하여, 모노드로미 군이 Aut(HS) 와 동형인 100차 Belyi 사상 f(X) = p(X)/q(X) 를 ℚ(t) 위에서 명시적으로 구성한다.
• 다항식 p(X) - tq(X) ∈ ℚ(t)[X] 는 판별식 분석을 통해 ℚ(t) 에서 제곱이 아니므로 갈루아 군이 Aut(HS) 와 동형임을 확인한다.
• 두 번째 강한 유리 삼중항에 기반한 또 다른 100차 Belyi 사상이 구성되었으며, 이는 ℚ(t) 위에서 갈루아 군이 Aut(HS) 인 다른 명시적 다항식을 제공한다.
• p(X) - (2t² + 1)q(X) 의 갈루아 군은 판별식이 ℚ(t) 에서 제곱이므로 HS 임을 보여주며, 이전 경우와 명백히 구별된다.
• 모노드로미 군은 기하학적으로 (dessin d’enfant 과 x, y 의 사이클 구조 분석을 통해) 및 대수적으로 (순열군 이론과 하위도수 분석을 통해) 모두 검증된다.
• 유리 함수 f(X) = p(X)/q(X) 가 0, 1, ∞ 에서 분지된 ℙ¹(ℂ) 의 3점 분지 덮개임이 확인되었으며, 분지 유형은 각각 x, y, z 의 사이클 구조와 일치한다.