[논문 리뷰] Classifying Brumer's quintic polynomials by weak Mordell-Weil groups

Masanari Kida, Yūichi Rikuna외 1명|ArXiv.org|2008. 02. 01.

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

한 줄 요약

이 논문은 유리수 위의 타원곡선에서 유리 5-이소지니를 갖는 Kummer 이론을 이용하여 Brumer의 이면 다항식에 대한 분류 프레임워크를 개발한다. 각 다항식을 Mordell-Weil 군이 동치 분해체를 코딩하는 타원곡선과 연관지켜, 무한히 많은 매개변수 쌍이 동일한 분해체를 갖는다는 것을 보이며, 이는 이전의 매개변수 변환과 비분할 확장에 관한 결과를 일반화한다.

ABSTRACT

We develop a general classification theory for Brumer's dihedral quintic polynomials by means of Kummer theory arising from certain elliptic curves. We also give a similar theory for cubic polynomials.

연구 동기 및 목표

• 유리수 위의 타원곡선에서 유리 5-이소지니를 갖는 Kummer 이론을 이용하여 Brumer의 이면 다항식에 대한 일반적 분류 이론을 개발한다.
• 유사한 Kummer 이론적 구성 방식을 통해 일반적인 삼차 다항식의 분류 방법을 확장한다.
• 이면 다항식 분야에서의 매개변수 변환과 비분할 확장에 관한 이전 결과를 설명하고 일반화한다.
• 유리수 위의 타원곡선의 유리점과 Brumer 다항식의 분해체의 동형류 사이에 체계적인 연결 고리를 설정한다.

제안 방법

• 매개변수 $ a,b $에 대해 정의된 $ \mathbb{Q} $ 위의 타원곡선 $ E_{a,b} $에 각 Brumer의 다항식을 연관시키며, 이는 유리 5-이소지니와 무한 순서의 유리점 $ P_0 $을 갖는다.
• Mordell-Weil 군 $ E_{a,b}(\mathbb{Q}) $를 사용하여 $ \mathrm{Bru}(\alpha, \beta; X) $와 $ \mathrm{Bru}(a, b; X) $가 동일한 분해체를 갖는 매개변수 쌍 $ (\alpha, \beta) $를 분류한다.
• 이소지니 $ \phi: E_{a,b} \to E_{a,b}^* $에 대해 Kummer 이론을 적용하고, 쌍대 이소지니 $ \phi^* $를 사용하여 유리점과 비분할 확장을 연결한다.
• 부분군 $ E_{a,b}(\mathbb{Q}) / \phi^*(E_{a,b}^*(\mathbb{Q})) $과 분해체의 동형류 사이의 대응을 구축한다.
• 쌍대 이소지니의 상에 대한 Mordell-Weil 군의 구조를 이용하여 비분할 확장을 수량화하고, 매개변수 변환을 분석한다.
• 삼차 다항식으로의 방법 확장을 위해, 유리 3-이소지니를 갖는 유사한 타원곡선을 구성하고, 그 Mordell-Weil 군을 분석한다.

실험 결과

연구 질문

• RQ1 Brumer의 다항식 $ \mathrm{Bru}(a,b;X) $에 대해 동일한 분해체를 갖는 매개변수 쌍 $ (a,b) $의 집합을 어떻게 체계적으로 분류할 수 있는가?
• RQ2 관련된 타원곡선의 Mordell-Weil 군이 분해체의 동치성을 어떻게 코딩하는가?
• RQ3 유리 이소지니를 갖는 타원곡선 위의 Kummer 이론을 사용하여 주어진 분해체에 대해 무한히 많은 동치 매개변수 쌍을 생성할 수 있는가?
• RQ4 이 방법은 $ \mathcal{D}_3 $에 대해 삼차 다항식으로 얼마나 일반화될 수 있는가?

주요 결과

• 주어진 Brumer의 다항식 $ \mathrm{Bru}(a,b;X) $에 대해, $ E_{a,b} $ 위의 유리점 $ P_0 $의 무한 순서에 의해 보장되며, 동일한 분해체를 갖는 서로 다른 매개변수 쌍 $ (\alpha, \beta) $가 무한히 많다.
• $ \mathcal{E}: 47y^2 = 4x^3 + 28x^2 + 24x + 47 $ 위의 모든 유리점 $ P \in \mathcal{E}(\mathbb{Q}) $ 에 대해 $ x(P) \neq 0 $ 이면, $ \mathrm{Bru}(1, x(P); X) $의 분해체는 $ \mathrm{Bru}(1,0;X) $의 분해체와 동형이며, 이러한 점은 무한히 많다.
• $ E_{-3321607}(\mathbb{Q}) $의 Mordell-Weil 군은 $ \mathbb{Z}^{\oplus 6} $ 와 동형이며, 몫 $ E_{-3321607}(\mathbb{Q}) / \phi^*(E_{-3321607}^*(\mathbb{Q})) $ 는 $ (\mathbb{Z}/3\mathbb{Z})^{\oplus 3} $ 과 동형이며, 이는 순서 3인 부분군 13개를 포함하며, 각각 $ \mathbb{Q}(\sqrt{-3321607}) $ 위의 비분할 삼차 확장에 대응한다.
• 13개의 비분할 삼차 확장은 모두 Kummer 구성에 의해 유도된, 판별식 $ -3321607 $ 인 모닉 기약 삼차 다항식의 13개의 동형류에 대응한다.
• 이 방법은 삼차 다항식으로 일반화된다: 주어진 판별식 $ D $에 대해, 삼차 분해체의 동형류 수는 Mordell-Weil 군의 몫에서 순서 3인 부분군의 수와 같다.
• 이 구성은 7-토르션 점을 갖는 곡선에서 7-이소지니를 통해 $ \mathbb{Q}(a,b) $ 위의 이면 칠차 다항식을 유도하지만, 이는 $ \mathcal{D}_7 $-확장에 대해 일반성 여부가 아직 증명되지 않았다.