[논문 리뷰] Counting Number Fields in Fibers

Yuri Bilu, Jean Gillibert|arXiv (Cornell University)|2016. 06. 07.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 Dvornicich와 Zannier의 결과를 확장하여, 곡선 위의 유리 함수의 섬유에서 유도되는 수체의 복합체에서의 차수 성장에 관해, 기저 체 ℚ에서 임의의 수체 K로 일반화한다. K 위의 곡선 X와 차수 n인 유리 함수 t에 대해, 정수환 𝒪_K의 원소 τ 중 높이 B 이하인 것들에 대해 K(P_τ)의 복합체는 K 위에서 최소 exp(cB^d / log B)의 차수를 가지며, 여기서 d는 K/ℚ의 차수이고 c는 K, 종수 g, n에 의존한다. 이는 K(P_τ) 중 최소 cB^d / log B개의 서로 다른 수체가 존재함을 의미한다.

ABSTRACT

Let X be a projective curve over Q and t a non-constant Q-rational function on X of degree n>1. For every integer a pick a points P(a) on X such that t(P(a))=a. Dvornicich and Zannier (1994) proved that for large N the field Q(P(1), ..., P(N)) is of degree at least exp(cN/log N) over Q, where c>0 depends only on X and t. In this note we extend this result, replacing Q by an arbitrary number field.

연구 동기 및 목표

• Dvornicich와 Zannier의 결과를 기저 체 ℚ에서 임의의 수체 K로 일반화하여, 곡선 위의 유리 함수 섬유에서 유도되는 수체 복합체의 차수 성장에 관해 연구한다.
• 𝒪_K의 원소 τ에 대해 H(τ) ≤ B인 조건에서 K(P₁, ..., P_N)의 복합체 K 위에서의 차수에 하한을 설정한다. 여기서 P_τ는 t⁻¹(τ)의 점들이다.
• K(P_τ) 중 높이가 B 이하인 τ에 대해 서로 다른 수체의 수를 정량화하여, ℚ에서의 로그적 수세기에서 임의의 수체로의 일반화를 시도한다.
• 곡선과 함수의 산술적 불변량(종수, 차수 포함)과 τ의 높이에 관한 균일한 하한을 제공한다.

제안 방법

• 𝒪_K의 정수환 위에서 높이 함수 H(τ)를 사용하여, τ ∈ 𝒪_K에 대해 섬유 t⁻¹(τ)를 매개변수화한다.
• Hilbert의 기초성 정리 및 그 효과적 형태를 적용하여, 많은 τ에 대해 K(P_τ)가 K 위에서 차수 n을 가짐을 보장한다.
• 유한 및 무한 자리에서의 국소 분석(특히 v-적 완비화 및 엄격 헨젤화)을 통해 분기 구조를 분석한다.
• Abhyankar의 보조정리와 온전한 커버 이론을 활용하여, 자리 v에서의 K_v(P)/K_v(t(P)) 확장에서의 분기 행동을 분석한다.
• 분기 가능성이 있는 소수들의 유한 집합 S(2와 판별식을 나누는 소수 포함)를 구성하고, S 이외의 확장에서의 비분기 성격을 분석한다.
• 박자 집합 이론과 Chebotarev 밀도 정리를 활용하여, 섬유가 기약이거나 확장의 차수가 큰 경우의 τ의 밀도를 제어한다.

실험 결과

연구 질문

• RQ1 K 위의 곡선 X와 K 위의 비상수 유리 함수 t에 대해, H(τ) ≤ B인 𝒪_K의 원소 τ에 대해 K(P_τ)의 복합체의 최소 차수는 얼마인가? 여기서 K는 ℚ 위에서 차수 d인 수체이다.
• RQ2 H(τ) ≤ B인 τ에 대해 {K(P_τ) : τ ∈ 𝒪_K} 중 서로 다른 수체의 수는 B와 K, X, t의 불변량에 따라 어떻게 변하는가?
• RQ3 K 위에서 복합체의 차수에 대한 하한을 ℚ에서 임의의 수체 K로 확장할 수 있는가? 그리고 [K:ℚ]의 차수는 성장률에 어떤 영향을 미치는가?
• RQ4 τ와 자리 v에서 함수 t의 국소 행동 조건에 따라, K_v(P)/K_v(t(P)) 확장이 비분기이거나 온전히 분기되는 조건은 무엇인가?
• RQ5 함수 t의 분기점에서의 분기와, 분기점 α에 대해 t(P) − α의 v-적 순서 간의 상호작용은 어떻게 되는가?

주요 결과

• 모든 ℚ 위에서 차수 d인 수체 K와 종수 g인 곡선 X, 그리고 차수 n ≥ 2인 비상수 유리 함수 t에 대해, c > 0 및 B₀ > 1인 상수가 존재하여, 모든 B ≥ B₀에 대해 H(τ) ≤ B인 𝒪_K의 원소 τ에 대해 K(P_τ)의 복합체는 K 위에서 최소 exp(cB^d / log B)의 차수를 가진다.
• H(τ) ≤ B인 τ에 대해 {K(P_τ) : τ ∈ 𝒪_K} 중 서로 다른 수체의 수는 K, g, n에 따라 달라지는 어떤 c > 0에 대해 최소 cB^d / log B개 이상 존재한다.
• 성장률 exp(cB^d / log B)는 최적임을 보이며, 이는 X가 y² = x이고 t = x인 고전적 경우에서 K(P_τ) = K(√τ), 복합체가 K(√p : p ≤ B)로 차수 2^{π(B)} ≈ exp(cB / log B)를 가지며, 지수부에서 d의 영향을 제외하고는 이 하한과 정확히 일치함을 보여준다.
• 선택된 점 P_τ의 위치에 관계없이 항상 성립하므로, 이 하한은 이러한 선택에 대해 강건함을 보여준다.
• 증명은 자리 v에서의 국소 분석에 기반하며, 분기점 α에 대해 v(t(P) − α) > 0 이고 그 순서가 분기 지수 e로 나누어지지 않을 경우, K_v(P)/K_v(t(P)) 확장이 분기됨을 보여, 이는 전반적인 차수 성장에 기여한다.
• Jean Gillibert의 부록에서는 엄격 헨젤화와 형식 스킴 이론을 활용하여 국소 분기 분석을 더 정준한 방식으로 다루며, 커버의 국소 링 위로의 당김의 구조를 명확히 한다.