[논문 리뷰] A one--parameter family of polynomials with Galois group M24 over Q(t)

Peter Mueller|arXiv (Cornell University)|2012. 04. 05.

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

한 줄 요약

이 논문은 다항식 형태 (t − Aₛ(X))² + (X² + 1)Bₛ(X)²를 이용하여 ℚ(t) 위에서 갈루아 군이 흥미로운 수학적 군 M24인 일차 파arameter 가중 다항식의 가중족을 구성한다. 주요 결과는 모든 s ∈ ℚ ∖ {1}에 대해 이 가중족이 ℚ(t) 위에서 M24를 갈루아 군으로 갖는다는 것이며, 이에 대응하는 매개변수 곡선은 양의 계수를 가지므로 모든 분지점이 유리수인 무한히 많은 유리수 실현이 존재한다.

ABSTRACT

Granboulan computed an explicit polynomial whose Galois group over the rational function field Q(t) is the Mathieu group M24. By a result of Malle and Matzat, it was known before that such a polynomial exists. Even more, their proof showed that there is a 1-parameter family of such polynomials. In this note we compute this family.

연구 동기 및 목표

• 모든 분지점이 유리수로 요구되지 않는 ℚ(t) 위에서 갈루아 군이 M24인 명시적인 일차 파arameter 가중 다항식의 가중족을 구성하는 것.
• 모든 분지점이 유리수인 M24 확장에 대응하는 매개변수 곡선이 양의 계수를 가짐을 보여, 그러한 실현이 무한히 많음을 시사하는 것.
• p₀가 유리수여야 한다는 제약 조건을 피함으로써 그랑부아랭의 전문화보다 더 단순하고 더 잘 구조화된 가중족을 제공하는 것.
• M24 실현 곡선이 충분한 수의 유리점이 있어 무한히 많은 실현을 제공하는지 여부라는 열린 문제를 해결하는 것.

제안 방법

• 다항식의 형태 (t − Aₛ(X))² + (X² + 1)Bₛ(X)²를 가지며, Aₛ와 Bₛ는 매개변수 s에 따라 달라지는 유리수 계수 다항식이다.
• 12차 불가약성과 3개의 2차 불가약성으로 구성된 타입 (12,2,2,2)의 분지 구조를 이용하여 다항식 Aₛ와 Bₛ의 구조를 제약한다.
• g(Y) − ωᵢY¹² = Aᵢ(Y)²Bᵢ(Y)가 i에 관계없이 일정해지도록 하는 조건에서 유도된 49개의 방정식과 50개의 미지수로 이루어진 연립방정식을 해결한다. 여기서 D(T) = T³ + pT + q이다.
• A₀와 B₀를 ω에 대한 대칭함수로 표현함으로써, ω³ + pω + q를 모듈로로 사용한 대수적 연산과 단순화를 통해 s에 대한 다항계수를 도출한다.
• 함수 방정식 f(Y) = f(b/Y) (b ∈ ℚ)를 가정함으로써 대칭 조건을 유도하고, 다항식의 형태를 제약한다.
• 최종적으로, 모든 s ≠ 1에 대해 갈루아 군이 M24임을 검증하였으며, s = 1은 이중 전이성 조건을 만족하지 못해 M24의 진부분군이 되므로 제외된다.

실험 결과

연구 질문

• RQ1 모든 분지점이 유리수로 요구되지 않는 ℚ(t) 위에서 갈루아 군이 M24인 일차 파arameter 가중 다항식의 가중족이 존재하는가?
• RQ2 모든 분지점이 유리수인 M24 확장에 대응하는 매개변수 곡선을 명시적으로 계산하고, 양의 계수를 가짐을 보일 수 있는가?
• RQ3 그랑부아랭의 복소수 다항식이 더 단순하고 더 잘 구조화된 일차 파arameter 가중 다항식의 전문화인가?
• RQ4 모든 분지점이 유리수인 타입 (12,2,2,2)의 M24 확장의 모듈리 공간의 기하학적 및 산술적 성격은 무엇인가?
• RQ5 매개변수 곡선 위에 유리점이 존재하면 ℚ(t) 위에서 무한히 많은 M24 확장이 존재하는가?

주요 결과

• 모든 s ∈ ℚ ∖ {1}에 대해 다항식 (t − Aₛ(X))² + (X² + 1)Bₛ(X)²의 갈루아 군은 ℚ(t) 위에서 M24이다.
• 모든 분지점이 유리수인 M24 확장에 대응하는 매개변수 곡선은 양의 계수를 가지는 타원곡선이며, 이는 무한히 많은 유리수 실현이 존재함을 시사한다.
• s = 0일 때, A₀와 B₀는 각각 차수 12와 10인 다항식으로 명시적으로 계산되었으며, 비교적 작은 크기의 예가 된다.
• 모든 분지점이 유리수인 M24 확장을 매개변수화하는 곡선은 종수 1이며 양의 계수를 가지며, 그러한 실현이 무한히 존재하는지 여부를 해결한다.
• p₀가 유리수여야 한다는 제약 조건을 피함으로써 그랑부아랭의 다항식보다 더 단순하고 더 잘 구조화된 매개변수화를 얻는다.
• s = 1은 갈루아 군이 이중 전이성 조건을 만족하지 못해 M24의 진부분군이 되므로 제외된다.