[논문 리뷰] On parametric and generic polynomials with one parameter

Pierre Dèbes, Joachim König외 2명|arXiv (Cornell University)|2021. 02. 15.

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

한 줄 요약

이 논문은 특성 0의 체 위에서 일변수 다항식이 일반적인지 판별하기 위한 기준을 수립한다: 다항식은 오직 그 체 C((V ))(U) 위에서 여전히 매개변수적일 때에만 일반적이다. 저자들은 비일반적인 다항식이 적어도 두 개의 특정 초월 확장인 k((V ))(U) 또는 k(U) 중 하나에서 매개변수적이지 않음을 증명하여, 날카롭고 체 이론적인 테스트를 제시한다. 이는 Q 위에서의 일변수 일반 다항식에 대한 완전한 분류로 이어지며, 오직 특정 순환군과 이면군만이 이러한 다항식을 가질 수 있음을 확인한다. 또한 베르크-스위너튼-다이어 추측을 전제로 하여 슈인젤의 문제에 대한 조건부 반례를 제시한다.

ABSTRACT

Given fields $k \subseteq L$, our results concern one parameter $L$-parametric polynomials over $k$, and their relation to generic polynomials. The former are polynomials $P(T,Y) \in k[T][Y]$ of group $G$ which parametrize all Galois extensions of $L$ of group $G$ via specialization of $T$ in $L$, and the latter are those which are $L$-parametric for every field $L \supseteq k$. We show, for example, that being $L$-parametric with $L$ taken to be the single field $\mathbb{C}((V))(U)$ is in fact sufficient for a polynomial $P(T, Y) \in \mathbb{C}[T][Y]$ to be generic. As a corollary, we obtain a complete list of one parameter generic polynomials over a given field of characteristic 0, complementing the classical literature on the topic. Our approach also applies to an old problem of Schinzel: subject to the Birch and Swinnerton-Dyer conjecture, we provide one parameter families of affine curves over number fields, all with a rational point, but with no rational generic point.

연구 동기 및 목표

• 특성 0의 체 위에서 일변수 다항식이 일반적인지 여부를 정확하고 효과적으로 판별할 수 있는 기준을 도출하는 것.
• 주어진 특성 0의 체 k 위에서 일변수 일반 다항식을 가진 모든 유한군 G를 분류하는 것.
• 복소 곱을 가진 타원곡선을 사용하여 함수체 위에서 유리점의 존재 문제를 다루는 슈인젤의 오래된 문제에 대해, 베르크-스위너튼-다이어 추측 하에 조건부 반례를 구성하는 것.

제안 방법

• 논문 [KLN19]의 산술 전환 기법, [HHK11]의 페치팅 방법, [DKLN18]의 기하학적 전환 기법을 활용하여, 기저 체 변경에 따른 갈루아 확장의 행동을 분석한다.
• 저자들은 새로운 기준을 제안한다: 다항식 P(T,Y) ∈k[T][Y]는 갈루아 군에 따라 k((V ))(U)-매개변수적 또는 k(U)-매개변수적일 때에만 일반적이다.
• 분류를 위해 본질 차원 이론과 관성 표준 불변량을 적용하여 비일반적인 경우를 제거한다.
• 유리함수체 Q(T) 위에서 복소 곱을 가진 타원곡선의 명시적 가중치를 구성하고, 유리 끌고오기의 분지점 수를 이용하여 반례를 도출한다.
• PAC 체 위에서의 정규 역갈루아 문제와 하세-민코프스키 정리의 결과를 조합하여, 특정 매개변수 집합은 존재하지만 단 하나의 매개변수 다항식도 존재하지 않는다는 것을 보인다.
• 모든 체 k 위에서 군 G의 갈루아 확장을 매개변수화하기 위해 필요한 최소 변수 수를 측정하기 위해 일반화된 매개변수 차원 pdkG를 정의한다.

실험 결과

연구 질문

• RQ1 특성 0의 체 k 위에서 어떤 유한군 G가 일변수 일반 다항식 P(T,Y) ∈k[T][Y]를 가질 수 있는가?
• RQ2 기저 체 변경에만 의존하는 순수한 체 이론적 기준—일변수 다항식의 일반성에 대한 특성—이 존재하는가?
• RQ3 베르크-스위너튼-다이어 추측을 전제로 하여, 무한히 많은 수체 k와 다항식 P(U,T,Y)를 구성할 수 있는가? 이때 모든 특수화 P(u₀,T,Y)는 유리점을 가지지만, P(U,T,Y)는 k(U) 위에 유리점을 가지지 않는다.
• RQ4 유한한 k-매개변수 다항식 집합이 존재할 수는 있지만 단 하나의 k-매개변수 다항식도 존재하지 않을 수 있는가? 이는 k 위에서 G의 일반 차원과 본질 차원과 어떻게 관련이 있는가?
• RQ5 일부 수체 위에서 유한군 G에 대해 매개변수 차원 pdkG가 일반 차원 gdkG보다 엄밀히 작을 수 있는가?

주요 결과

• 특성 0의 체 k 위에서 일변수 다항식 P(T,Y) ∈k[T][Y]는 오직 그 체 C((V ))(U) 위에서 여전히 매개변수적일 때에만 일반적이다. 이는 일반성에 대한 날카롭고 효과적인 기준을 제공한다.
• Q 위에서는 오직 Z/2Z, Z/3Z, S3만이 일변수 일반 다항식을 가지며, 명시적인 다항식은 다음과 같다: Y²−T, Y³−TY²+(T−3)Y+1, Y³+TY+T.
• 순환군이나 이면군이 아닌 군 G(순서 2n, n≥3 홀수)에 대해, P(T,Y)는 k((V ))(U)-매개변수적이지 않다. 이는 비일반성을 암시한다.
• 베르크-스위너튼-다이어 추측을 전제로 하면, 무한히 많은 이차 수체 k가 존재하여 P(U,T,Y)=Y²−UQ(T)의 모든 특수화 P(u₀,T,Y)는 k 위에서 유리점을 가지지만, k(U) 위에는 유리점이 없으며, 이는 슈인젤의 문제에 대한 조건부 반례를 제공한다.
• 매개변수 차원 pdkG는 일반 차원 gdkG보다 엄밀히 작을 수 있다. 예를 들어 Q(√−1) 위에서 (Z/2Z)^5는 pdkG ≤4 < 5 = edkG를 만족하므로, pdkG < gdkG가 가능함을 보여준다.
• Q(√17) 위에서 G=Z/8Z에 대해 유한한 k-매개변수 다항식 집합이 존재하지만, 단 하나의 k-매개변수 다항식도 존재하지 않으며, 이는 매개변수 성질이 단일 매개변수 다항식의 존재와 동치가 아님을 보여준다.