[논문 리뷰] Goldfeld conjecture for non-hyperelliptic direction

Keunyoung Jeong, Junyeong Park|arXiv (Cornell University)|2026. 02. 25.

Analytic Number Theory Research인용 수 0

한 줄 요약

논문은 GRH 하에서 genus 2 곡선 C0: y^2 = x^6 + 1의 비-하이퍼엘립틱 twist 계열의 평균 해석적 차수에 대한 명시적 상한을 제시하고, 이 계열에 대해 평균 차수 1/4를 예측하는 Goldfeld-type 추측을 제안한다.

ABSTRACT

Since the curve $y^2 = x^6+1$ has a large automorphism group, there exist twist families arising from non-hyperelliptic directions. In this paper, we give an explicit upper bound on the average analytic rank of such a family, assuming the generalized Riemann hypothesis for the $L$-functions. Also, we propose an analogue of the Goldfeld conjecture for the family following Katz--Sarnak philosophy.

연구 동기 및 목표

• 비하이퍼엘립틱 방향에서 C0의 twist를 위한 Goldfeld-type 추측을 동기를 부여하고 형식화하며, 이 twist 계열이 서로의 hyperelliptic twist를 피하도록 한다.
• L-함수에 대한 GRH하에서 이 twist 계열의 평균 해석적 차수에 대한 명시적 상한을 제공한다.
• twists를 지배하는 산술적 및 Galois 이론적 구조를 설명하고 차수 분포에 기여하는 요인을 식별한다.
• 비하이퍼엘립틱 방향이 1-레벨 밀도에서 하이퍼엘립틱 방향과 비교하여 다른 상수를 이끌어내는 방법을 설명한다.

제안 방법

• 명시적 공식(explicit formula)을 사용하여 twist C_d에 부착된 L-함수의 1-레벨 밀도를 추정한다.
• Frobenius 추적 a_p(C_d) 와 a_{p^2}(C_d)를 기본 곡선 E0: y^2 = x^3 + 1와 연결하는 것을 Fité–Sutherland 결과를 통해 설명한다.
• 명시적 공식을 적용하기 위해 최근의 하이퍼엘립틱 산술(DDM+23, BBB+22)을 사용하여 twist의 전도수와 국소 불변량을 계산한다.
• C0의 twist의 G_Q-군 구조를 분류하여 C2 × D12의 부분군을 분석하고 twist 매개변수화(u,v 등)을 도출한다.
• 특정 D12^A-타입 계열에 대해 불가분성 및 체 확장을 보이고 자코비안의 단순성을 보장하며 비하이퍼엘립틱 twisting를 가능하게 한다.

실험 결과

연구 질문

• RQ1 GRH 하에서 C0의 비하이퍼엘립틱 twist 계열 {C_d}의 평균 해석적 차수는 얼마인가?
• RQ2 이 비하이퍼엘립틱 방향이 Goldfeld-type 50-50-0% 휴리스틱을 따르는가, 혹은 비하이퍼엘립틱 설정이 다른 한계 상수를 산출하는가?
• RQ3 p가 3으로 mod한 소수들이 1-레벨 밀도 계산에서 a_{p^2}(C_d)의 기여에 어떤 영향을 미치는가?
• RQ4 이 계열의 평균 차수를 정확하게 상한으로 제시하는가, 테스트 함수 선택으로 개선될 수 있는가?
• RQ5 Katz–Sarnak 철학에 따라 이 계열의 예측 평균 차수는 얼마인가?

주요 결과

• Under GRH for L(C_d, s), the average analytic rank satisfies an explicit upper bound: (1/|S(X)|) sum_{d in S(X)} g_d ≤ 1/4 + (6+o(1))/σ + O(X^{(3σ/2)-1/2}/log X + X^{σ/2 -1/2}/log X).
• 상한은 σ의 자연스러운 선택을 가정할 때 무조건적 수치 상한으로 18.25를 암시하며 기대되는 평균과의 차이를 강조한다.
• 저자는 Katz–Sarnak 철학에 따라 {C_d}의 실제 평균 해석적 차수가 1/4라고 추측한다.
• 비하이퍼엘립틱 방향은 a_{p^2}(C_d)에서 p ≡ 2 (mod 3)인 소수들이 기여하는 반면 p ≡ 1 (mod 3)인 경우에는 기여하지 않아, 휴리스틱에서 1/2가 아니라 1/4의 상수를 초래한다.
• 분석은 a_p(C_d)와 a_{p^2}(C_d)를 기반 곡선 E0: y^2 = x^3 + 1를 통해 표현하고 현대적인 하이퍼엘립틱 곡선의 국소 산술(DDM+23, BBB+22)으로 전도수를 제어하는 데 의존한다.
• 제곱자(d가 제곱 자유로운)인 계열 {C_d}는 자코비안이 단순하고 비하이퍼엘립틱 twisting를 가능하게 하여 평균 차수 분석에 대한 엔탱글먼트를 피한다.