Average root numbers in two isotrivial families of elliptic curves

기술적 요약: 두 가지 등변형(Isotrivial) 타원 곡선 가계에서의 평균 루트 넘버(Root Number)

문제 정의
본 논문은 $\mathbb{Q}$ 상의 두 가지 특정한 등변형 타원 곡선 가계 내에서 루트 넘버(L-함수의 함수 방정식에 나타나는 부호)의 통계적 거동을 조사한다:

1. 제너릭 $j$-불변량이 $0$인 가계$y^2 = x^3 + F(z, w)$.
2. 제너릭 $j$-불변량이 $1728$인 가계$y^2 = x^3 + G(z, w)x$.

여기서 $F$와 $G$는 정수 계수를 갖는 동차 이변수 형식(homogeneous binary forms)이다. 본 연구의 주요 목표는 원시 쌍(primitive pairs) $(m, n)$에 대한 평균 루트 넘버와, 더 넓게는 계수의 높이(height)에 의해 정렬된 다항식들에 대한 평균 루트 넘버의 존재성과 그 값을 결정하는 것이다. 이 탐구는 파리티 추측(parity conjecture)에 의해 동기 부여되었는데, 이는 루트 넘버를 모델-바일 계수(Mordell-Weil rank)의 패리티와 연관 짓는다. 루트 넘버의 변화를 이해하는 것은 계수 변화에 대한 증거를 제공하며, 특정 조건 하에서는 연관된 차수 1의 델 페조 곡면(del Pezzo surfaces of degree 1) 위의 유리점들의 자리스키 조밀성(Zariski density)을 확립할 수 있다.

방법론
저자는 해석적 정수론, 대수 기하학, 그리고 체 방법(sieve methods)의 조합을 사용한다. 접근 방식은 두 가지 주요 영역으로 나뉜다: 고정된 이변수 형식과 변화하는 다항식.

1. 고정된 이변수 형식:

   • 국소 분석(Local Analysis): 루트 넘버 $W(n)$과 $W^\star(n)$은 소수 $p=2, 3$ 및 $p \ge 5$에서의 국소 인자들의 곱으로 분해된다. 이러한 국소 부호에 대한 명시적 공식들이 유도되었으며, 기존 문헌(특히 Várilly-Alvarado [62])으로부터 수정되었다.
   • 주기적 근사(Periodic Approximation): 루트 넘버 함수는 전밀도 집합(set of full density) 위에서 주기적인 함수로 근사된다. 이는 스퀘어 프리 체(squarefree sieves, Greaves [27])를 사용하여 큰 소수의 제곱과 고정된 소수 약수들의 기여를 분리하고, 산술 급수에서의 값의 분포를 분석하는 과정을 포함한다.
   • 체보타레프 밀도(Chebotarev Density): 평균이 절대값 1보다 엄격히 작음을 증명하기 위해(이는 두 부호가 모두 양의 밀도로 존재함을 의미함), 저자는 국소 부호가 서로 다른 특정 잔여 클래스(residue classes)를 구성한다. 이는 이변수 형식의 분해체(splitting fields)에 적용된 체보타레프 밀도 정리에 의존하며, 이는 형식이 단순 근(simple roots)을 갖지만 관련 이차체(예: $\mathbb{Q}(\sqrt{-3})$ 또는 $\mathbb{Q}(i)$)가 잔여체에 포함되지 않는 소수들의 존재를 보장한다.

2. 변화하는 다항식 (거의 모든 경우):

   • 전이 원리(Transference Principle): 본 논문은 계수의 높이 $H$에 의해 정렬된 고정된 차수 $d \ge 2$의 "거의 모든" 다항식에 대해 산술 급수의 추정치를 전이하기 위해 정량적 전이 원리(Browning–Sofos–Teräväinen [2])를 채택한다.
   • 예외 집합(Exceptional Sets): 저자는 다항식 값들을 나누는 큰 소수의 제곱에 의해 발생하는 장애물을 처리하기 위해 새로운 변형 전이 정리를 개발하였다. 이는 밀도가 0인 예외적인 다항식 집합을 생성한다.
   • 일반성(Genericity): 분석은 다항식의 갈루아 군이 전체 대칭군 $S_d$이고 특정 이차체가 분해체에 포함되지 않는 일반적인 계수 벡터에 초점을 맞춘다.

주요 기여 및 결과

• 정리 1.1 (고정된 형식): 0이 아닌 동차 이변수 형식 $F$와 $G$에 대하여, 원시 쌍 $(m, n)$에 대한 평균 루트 넘버는 존재한다.

  • $y^2 = x^3 + F(m, n)$의 경우, 지수 $e_i$가 3으로 나누어 떨어지지 않는 모든 기약 인수 $f_i$가 $\deg f_i \le 6$을 만족하면, 평균은 $1 \pm C_F/2$이다. 만약 어떤 인수가 $3 \nmid e_i$를 만족하고 $\mathbb{Q}(\sqrt{-3}) \not\subset K_{f_i}$라면, $|C_F| < 1$이며, 이는 $+1$과 $-1$의 부호가 모두 양의 밀도로 발생함을 의미한다.
  • $y^2 = x^3 + G(m, n)x$에 대해서도 홀수 지수와 체 $\mathbb{Q}(i)$를 사용하는 유사한 결과가 성립한다.
  • 이러한 결과들은 유사한 연구들에서 이전에 요구되었던 "고정된 소수 약수" 가설을 제거한다.

• 따름정리 1.2 (자리스키 조밀성): $j=0$인 타원 곡선들의 타테-샤파레비치 군(Tate–Shafarevich groups)이 유한하다고 가정할 때, 본 논문은 분리 가능한 이변수 육차식 $F$가 잔여체 조건을 만족할 경우, 연관된 델 페조 곡면 $X_F$ 위의 유리점들이 자리스키 조밀함을 도출한다. 이는 루트 넘버가 $-1$인 파이버(fiber)의 비율이 양수임을 보여줌으로써, 파리티 정리를 통해 양의 계수를 함의함으로써 달성된다.

• 정리 1.4 (거의 모든 다항식): 고정된 차수 $d \ge 2$를 갖는 거의 모든 다항식 $g_c(t)$에 대하여, $1 \le n \le x$ ($x = H^{1/4d}$)에 대한 루트 넘버 $W(g_c(n))$과 $W^\star(g_c(n))$의 합은 다음과 같다:
  $$\sum_{1 \le n \le x} W(g_c(n)) = \kappa_c x + O(\theta^{-1/3}x)$$
  여기서 $\kappa_c$는 국소 인자들(2-adic, 3-adic, 그리고 오일러 곱)에 의해 결정되는 명시적인 상수이다. 결정적으로, 일반적인 다항식에 대해 $|\kappa_c| < 1$이므로, 루트 넘버는 일정하지 않다.

• 새로운 전이 원리: 본 논문은 루트 넘버를 위해 맞춤 설계된 정량적 전이 원리(정리 5.1)를 도입하며, 이는 루트 넘버 함수의 비영(non-vanishing) 평균으로부터 발생하는 특정한 오차 항들을 처리한다.

의의 및 주장
본 논문은 원시 쌍에 대한 이들 등변형 가계 내 루트 넘버의 첫 번째 완전한 극한 분포를 제공한다고 주장하며, 이는 체 방법의 소수 약수 가설에 의존했던 이전의 결과들을 강화한다. 자연스러운 기하학적 조건 하에서 평균 루트 넘버가 절대값 1보다 엄격히 작음을 입증함으로써, 이 연구는 이들 가계 내 계수 변화에 대한 강력한 증거를 제시한다.

나아가, 본 연구는 광범위한 차수 1 델 페조 곡면들에 대한 자리스키 조밀성의 조건부 증명을 제공하며, 이는 기존의 기하학적 및 산술적 결과들을 확장한다. 루트 넘버를 위한 전이 원리의 개발은 "거의 모든" 다항식에 대해 균등한 결과를 가능하게 하며, 이는 진동하는 산술 함수(oscillatory arithmetic functions)를 다루기 위한 핵심적인 기술적 도구로 강조된다.

저자는 잔여체 조건(예: $\mathbb{Q}(\sqrt{-3}) \not\subset K_f$)이 방법론으로부터 유도된 충분 조건이지 필요 조건은 아니라고 명시하였으나, 이는 부호 변화를 강제하기 위해 사용된 체보타레프 논증에 필수적이다. 또한, 본 논문은 선행 문헌(Várilly-Alvarado [62])의 명시적 국소 루트 넘버 공식에 있는 사소한 오류들을 수정한다.