Products of point counts of higher genus curves over finite fields

기술적 요약: 유한체 위 고차 곡선의 점 개수 곱의 곱

문제 정의
본 논문은 타원 곡선 $E$의 유한체 위 점 개수의 곱의 점근적 거동을 모델-베유 군(Mordell–Weil group)의 계수(rank)와 연관 짓는 원래의 버치-스위너튼-다이어(BSD) 추측의 일반화를 다룬다. 구체적으로, 원래의 추측은 $\prod_{p \le x} \frac{N_p}{p} \sim C (\log x)^{\text{rk}(E)}$ as $x \to \infty$임을 주장한다. 저자들은 종수(genus) $g \ge 2$인 매끄러운 사영 곡선 및 아벨 다양체에 대해 이와 유사한 추측적 점근식을 정립하고자 한다. 고차 곡수의 경우 주요한 과제는 점근적 거동이 야코비안(Jacobian)의 계수에 의해서만 결정되는 것이 아니라, 곡선의 사토-테이트(Sato–Tate) 군의 구조, 특히 야코비안의 네론-세베리(Néron–Severi) 군의 계수에 의해서도 결정된다는 점이다.

방법론
저자들은 $L$-함수와 오일러 곱(Euler products)의 해석적 성질에 기반한 추측적 프레임워크를 개발한다. 이들의 방법론의 핵심은 다음 세 가지에 의존한다:

1. 쿠로카와(Kurokawa)의 추측: 저자들은 임계선(critical line) 상에서 전체 $L$-함수의 오일러 곱의 수렴성에 관한 쿠로카와의 추측(2012)을 활용한다. 구체적으로, 중심점 $s=1/2$(또는 $s=1$로 이동된 지점)에서의 부분 오일러 곱의 점근적 거동을 $L$-함수의 소멸 차수 및 그 2차 모멘트(second moment)로 예측하는 카네코-코야마-쿠로카와(Kaneko–Koyama–Kurokawa, 2023)의 정교화된 버전을 적용한다.
2. 모티브 $L$-함수 및 트레이스 공식: 저자들은 프로베니우스 고윳값(Frobenius eigenvalues)으로 점 개수 $N_p$를 표현하기 위해 그로텐디크-레프셰츠 트레이스 공식을 사용한다. 이들은 점 개수의 곱을 곡선(또는 아벨 다양체)과 연관된 $L$-함수의 부분 오일러 곱의 역수와 연관시킨다.
3. 사토-테이트 군 및 외승수(Exterior Squares): 핵심 단계는 외승수 $L$-함수 $L(\wedge^2 X, s)$를 분석하는 것이다. 저자들은 사토-테이트 군 $ST(X)$와 네론-세베리 군의 계수$\text{rk}(\text{NS}(\text{Jac}(X)))$ 사이의 관계를 활용한다. 코스타-파이트-서덜랜드(Costa–Fite–Sutherland, 2019)를 인용하여, $\text{rk}(\text{NS}(\text{Jac}(X)))$가 $ST(X)$ 원소들의 특성 다항식의 이차 계수의 1차 모멘트와 같음을 입증한다.
4. 점근적 분석: 야코비안의 $L$-함수에 대한 오일러 곱의 추측된 거동과 (쿠로카와의 추측 및 테이트 추측을 통해 도출된) 외승수 $L$-함수의 점근적 거동을 결합함으로써, 저자들은 고차 곡수의 경우에 필요한 보정 항(correction term)을 도출한다.

주요 기여 및 결과

1. 고차 곡선에 대한 추측 (Conjecture 1.2):
   저자들은 종수 $g \ge 2$인 매끄러운 사영 기하학적 기약 곡선 $X$에 대해 다음과 같은 추측을 정식화한다:
   $$\prod_{\substack{p \le x \\ p \notin S_X}} \frac{N_p}{p} \sim C (\log x)^{\text{rk}(\text{Jac}(X)) - \text{rk}(\text{NS}(\text{Jac}(X))) + 1}$$
   여기서 $S_X$는 나쁜 소수(bad primes) 및 $N_p=0$인 소수들의 집합이다.

   • 지수의 유의성: 지수가 단순히 계수인 타원 곡수의 경우와 달리, 여기서의 지수는 $\text{rk}(\text{NS}(\text{Jac}(X))) - 1$이라는 보정 항을 포함한다. $\text{rk}(\text{NS}(\text{Jac}(X)))$는 비일반적인(non-generic) 사토-테이트 군을 가진 곡선에서 1보다 클 수 있으므로, 지수는 0 또는 음수가 될 수 있다.
   • 사토-테이트와의 관계: $\text{rk}(\text{NS}(\text{Jac}(X)))$ 항은 사토-테이트 군의 특성 다항식의 이차 계수의 기대값으로 식별되며, 이는 점 개수의 산술적 성질을 프로베니우스 원소의 분포와 직접 연결한다.

2. 아벨 다양체에 대한 추측 (Conjecture 1.3):
   차원이 $g$인 아벨 다양체 $A$에 대해, 저자들은 다음과 같이 제안한다:
   $$\prod_{\substack{p \le x \\ p \notin S_A}} \frac{N_p}{p^g} \sim C (\log x)^{\text{rk}(A)}$$

   • 차이점: 저자들은 아벨 다양체의 경우 $\prod N_p/p^g$가 추가적인 네론-세베리 보정 항 없이 $s=1$에서의 $L(A, s)$의 부분 오일러 곱의 역수와 정확히 일치한다는 점에 주목한다. 이는 아벨 다양체의 코호몰로지가 제1 코호몰로지의 외승수이기 때문이다.

3. 수치적 증거:
   저자들은 LMFDB의 데이터를 사용하여 Conjecture 1.2에 대한 수치적 검증을 제공한다. 다양한 곡선에 대해 $\log(\prod N_p/p)$를 $\log \log P$에 대해 플롯한다.

   • 일반적인 경우: 사토-테이트 군이 $USp(2g)$인 곡선(여기서$\text{rk}(\text{NS}) = 1$)의 경우, 기울기는 모델-베유 계수와 일치한다.
   • 예외적인 경우: 사토-테이트 군이 $USp(2g)$가 아닌 경우(예:$SU(2) \times SU(2)$또는$E_1$)를 제시하며, 이 경우$\text{rk}(\text{NS}) > 1$이 된다. 이러한 경우 수치적 기울기는 예측된 음수 지수(예:$-1$및$-2$)와 일치하며, 이는 점 개수의 곱이$x \to \infty$에 따라 감소할 수 있음을 확인시켜 준다.

의의
본 논문은 자신의 주요 기여가 점 개수의 곱에 미치는 사토-테이트 군의 영향을 고려하여 고차 곡선에 대한 정밀한 점근적 추측을 정식화한 것이라고 주장한다. 이는 임의의 대수적 다양성에 대한 점 개수의 점근성에 관한 쿠로카와-다나카(Kurokawa–Tanaka, 2022)의 가설을 명시적으로 모델-베유 계수와 네론-세베리 계수를 통해 지수 $r(X)$를 정의함으로써 정교화한다. 본 연구는 직접적인 원래의 BSD 추측의 일반화(계수만을 사용하는 방식)가 추가적인 엔도모피즘(endomorphism)이나 특정 대칭성을 가진 고차 곡수에서는 실패한다는 점을 강조하며, 사토-테이트 군이 필요한 보정을 제공한다는 것을 보여준다. 결과는 추측적인 형태로 제시되나, 이는 임계선 상에서의 오일러 곱의 수렴성(쿠로카와의 추측)과 테이트 추측에 의존하며, 음수 지수를 갖는 경우에도 수치 데이터에 의해 뒷받-되어진다.