Goldfeld conjecture for non-hyperelliptic direction

제공된 논문 "GOLDFELD CONJECTURE FOR NON-HYPERELLIPTIC DIRECTION (비초타원곡선 방향에 대한 골드펠드 추측)" 의 기술적 요약은 다음과 같습니다.

1. 연구 배경 및 문제 제기

• 골드펠드 추측 (Goldfeld Conjecture): 주어진 타원곡선 $E$의 이차 트위스트 (quadratic twist) $E(k)$에 대해, 분석적 순위 (analytic rank) 가 0 인 경우와 1 인 경우가 각각 50% 씩 분포하고, 2 이상인 경우는 0% 이지만 무한히 존재한다는 추측입니다.
• 현재의 한계: 이 추측은 타원곡선 (genus 1) 에 대해서는 널리 받아들여지고 있으나, 초타원곡선 (hyperelliptic curve, genus $\ge 2$) 이나 수체 위의 타원곡선에 대한 단순한 유추는 성립하지 않습니다. 예를 들어, Dokchitser–Dokchitser 등은 특정 곡선의 트위스트들이 항상 루트 번호 (root number) 가 +1 이거나 -1 로 고정되는 경우를 발견했습니다.
• 연구의 동기: 기존 연구들은 주로 '초타원 트위스트 (hyperelliptic twist)' 방향에 집중했습니다. 그러나 곡선 $C_0: y^2 = x^6 + 1$과 같이 큰 자동변환군 (automorphism group) 을 가진 곡선의 경우, 초타원 트위스트가 아닌 **'비초타원 방향 (non-hyperelliptic direction)'**으로 트위스트를 정의할 수 있습니다. 본 논문은 이러한 비초타원 방향의 트위스트 가족에 대한 골드펠드 추측의 유추를 제시하고, 그 평균 분석적 순위의 상한을 증명하는 것을 목표로 합니다.

2. 주요 대상 및 설정

• 대상 곡선: $C_0: y^2 = x^6 + 1$ (genus 2). 이 곡선은 자동변환군 크기가 24 로 genus 2 곡선 중 가장 복잡한 구조를 가집니다.
• 트위스트 가족: Cardona-Lario [CL20] 의 분류에 따라, $C_0$의 트위스트는 $C_2 \times D_{12}$의 부분군 켤레류에 의해 분류됩니다. 저자들은 $D_{12}^A$ 타입의 트위스트 가족을 선택했습니다.
• 가족의 정의: 매개변수 $d$ (양의 제곱인수 없는 정수) 에 의해 정의되는 곡선 $C_d$의 가족:
  $$C_d: y^2 = 27\frac{d-3}{d+3} \left( x^6 - \frac{12d}{d-3}x^5 - 5dx^4 + \dots \right)$$
• 핵심 특징:
  1. 이 가족의 서로 다른 두 곡선은 서로 초타원 트위스트가 아닙니다.
  2. 각 곡선 $C_d$의 야코비안 (Jacobian) $J_d$는 $\mathbb{Q}$ 위에서 **단순 (simple)**합니다. (이전 연구 [JKP24] 에서 다룬 $V_4$ 타입은 야코비안이 타원곡선의 곱으로 분해되어 문제가 단순화되었으나, 본 연구는 그렇지 않습니다.)

3. 방법론 (Methodology)

본 논문은 **명시적 공식 (Explicit Formula)**과 1-레벨 밀도 (1-level density) 계산을 통해 평균 분석적 순위의 상한을 구합니다.

1. 수치적 불변량 계산:

   • 갈루아 군 및 분해체: $C_d$의 야코비안의 $L$-함수 계산을 위해 필요한 갈루아 군 구조와 분해체 $K_d, L_d$를 정확히 규명했습니다.
   • 군도 (Conductor) 지수: Dokchitser–Dokchitser–Maistret–Morgan [DDM+23] 의 '클러스터 그림 (cluster picture)' 이론을 적용하여, 나쁜 감축 (bad reduction) 을 일으키는 소수 $p$ (특히 $p|d$ 및 $p|(d+3)$) 에 대한 군도 지수를 정밀하게 계산했습니다. 이는 평균 순위 상한을 줄이는 데 결정적입니다.
   • Fité-Sutherland [FS14] 의 결과 활용: $C_d$의 야코비안의 $L$-함수 계수 $a_p(C_d)$와 $a_{p^2}(C_d)$를 타원곡선 $E_0: y^2 = x^3 + 1$의 계수 $a_p(E_0)$로 표현하는 공식을 적용했습니다.

2. 평균 순위 상한 증명 (Theorem 1.1):

   • 일반화된 리만 가설 (GRH) 을 가정합니다.
   • 테스트 함수 $\phi$의 푸리에 변환 지지집합을 $[-\sigma, \sigma]$로 제한하여 명시적 공식을 적용합니다.
   • 주요 계산:
     • $S_1$ 항 (1 차 계수): $p \equiv 2 \pmod 3$인 소수에서 계수가 0 이 되는 성질을 이용하여 기여도를 평가했습니다.
     • $S_2$ 항 (2 차 계수): $a_{p^2}(C_d)$의 행동을 분석했습니다. $p \equiv 1 \pmod 3$일 때는 대칭성으로 인해 기여가 상쇄되지만, $p \equiv 2 \pmod 3$일 때는 $-2p$와 같은 항이 살아남아 평균값에 영향을 줍니다.

4. 주요 결과 (Key Results)

• 정리 1.1 (Theorem 1.1): 일반화된 리만 가설 하에서, $C_d$ 가족의 평균 분석적 순위 $g_d$는 다음과 같은 상한을 가집니다.
  $$\frac{1}{|S(X)|} \sum_{d \in S(X)} g_d \le \frac{1}{4} + \frac{6 + o(1)}{\sigma} + O\left( \frac{X^{\frac{3\sigma}{2} - \frac{1}{2}}}{\log X} + \frac{X^{\frac{\sigma}{2} - \frac{1}{2}}}{\log X} \right)$$
  여기서 $\sigma$는 테스트 함수의 지지집합 크기입니다. $\sigma \to \infty$를 취하면 상한은 $1/4 + 18$ (실제로는 더 정밀한 계산으로 $1/4 + 18$이 아닌 $1/4$에 수렴하는 것으로 해석됨, 문맥상 $1/4$가 기대값) 으로 나옵니다.

• 추측 1 (Conjecture 1): $C_d$ 가족의 평균 분석적 순위는 $1/4$이다.

  • 이유: 타원곡선의 경우 $a_p^2$ 항의 기여가 평균 순위 $1/2$를 만들어내지만, 본 곡선 $C_d$의 경우 $p \equiv 1 \pmod 3$인 소수에서 $a_{p^2}$ 기여가 대칭성으로 인해 사라지고, $p \equiv 2 \pmod 3$인 소수에서만 기여가 살아남기 때문에 상수 $1/2$가 $1/4$로 줄어듭니다.

• 비교: 기존 타원곡선 트위스트 가족의 평균 순위는 $1/2$로 예상되지만, 본 연구에서 다루는 비초타원 방향의 genus 2 곡선 가족은 $1/4$라는 편향 (bias) 을 가질 것으로 예측됩니다.

5. 의의 및 기여 (Significance)

1. 새로운 방향의 골드펠드 추측 제시: 타원곡선이나 초타원 트위스트가 아닌, 자동변환군이 큰 고차 곡선의 '비초타원 트위스트' 방향에 대한 골드펠드 추측을 최초로 체계적으로 제시했습니다.
2. 단순한 야코비안을 가진 가족의 분석: 야코비안이 타원곡선의 곱으로 분해되지 않는 (simple) genus 2 곡선 가족에 대해 평균 순위 상한을 구한 드문 사례입니다. 이는 아벨 다양체의 아키텍처가 순위 분포에 미치는 영향을 이해하는 데 중요합니다.
3. 수치적 상수의 변화: 평균 순위가 $1/2$가 아닌 $1/4$가 될 수 있음을 보임으로써, 트위스트 가족의 구조 (갈루아 작용, 자동변환군) 가 순위 분포의 편향을 결정하는 핵심 요소임을 입증했습니다.
4. 기술적 발전: 군도 지수 계산을 위한 클러스터 그림 이론과 Fité-Sutherland 의 $L$-함수 계수 표현법을 결합하여, 복잡한 genus 2 곡선의 아키텍처적 성질을 정밀하게 분석하는 방법론을 정립했습니다.

결론적으로, 이 논문은 골드펠드 추측의 범위를 genus 2 곡선으로 확장하고, 특정 대칭성을 가진 비초타원 트위스트 가족이 기존 예상 ($1/2$) 과 다른 평균 순위 ($1/4$) 를 가질 수 있음을 수학적으로 증명하고 추측하는 중요한 업적입니다.