[논문 리뷰] Zeta Functions for Elliptic Curves I. Counting Bundles

Lin Weng|arXiv (Cornell University)|2012. 02. 04.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 유한체 위의 타원곡선에 대한 순수 제타 함수의 새로운 클래스를 도입하며, 이는 반안정 벡터(bundle)의 모듈리 공간을 통해 정의된다. 이 제타 함수는 질량 2 및 3인 경우에 대해 유리성, 함수방정식, 리만 가설을 만족함을 증명한다. 또한 이러한 제타 함수가 $SL_n$에 대한 군 제타 함수와 일치함을 증명하고, 자동환군과 $h^0$ 불변량 사이의 깊은 '세어내림의 기적'을 드러내며, 고계수에서 리만 가설에 대한 渐近적 증거를 제공한다.

ABSTRACT

To count bundles on curves, we study zetas of elliptic curves and their zeros. There are two types, i.e., the pure non-abelian zetas defined using moduli spaces of semi-stable bundles, and the group zetas defined for special linear groups. In lower ranks, we show that these two types of zetas coincide and satisfy the Riemann Hypothesis. For general cases, exposed is an intrinsic relation on automorphism groups of semi-stable bundles over elliptic curves, the so-called counting miracle. All this, together with Harder-Narasimhan, Desale-Ramanan and Zagier's result, gives an effective way to count semi-stable bundles on elliptic curves not only in terms of automorphism groups but more essentially in terms of their $h^0$'s. Distributions of zeros of high rank zetas are also discussed.

연구 동기 및 목표

• 유한체 위의 타원곡선에 대해 반안정 벡터(bundle)의 모듈리 공간을 기반으로 하는 새로운 제타 함수의 정의 및 연구.
• 특히 저계수에서 이러한 제타 함수의 유리성과 함수방정식을 확립하는 것.
• 제타 함수의 영점 분포를 조사하고, 질량 2 및 3인 경우에 리만 가설을 증명하는 것.
• 반안정 벡터(bundle)의 자동환군과 전역 절단 $h^0$ 불변량 사이의 내재된 관계—'세어내림의 기적'—을 밝혀내는 것.
• 하드러-나라시마한, 데사일-라마난, 자그리어의 고전적 결과를 확장하여, $h^0$ 및 자동환군 불변량을 이용한 반안정 벡터(bundle)의 효과적인 세기 방법을 제공하는 것.

제안 방법

• 질량 $r$ 및 차수 $rm$인 반안정 벡터(bundle)에 대한 생성함수로 순수 제타 함수 $\zeta_{E,r}(s)$를 정의하며, $\frac{q^{h^0(E,\mathcal{E})}-1}{\#\mathrm{Aut}(\mathcal{E})}$로 가중치를 부여한다.
• 각 세샤드리 계열에 속하는 반안정 벡터(bundle)의 전체 집합을 포함하는 '두꺼운' 모듈리 공간 ${\bf M}_{E,r}(d)$를 사용하여, 동형류를 넘어서 정교한 세기 방법을 개선한다.
• $\alpha_{E,r}(0)$ 및 $\beta_{E,r}(0)$로 제타 함수를 표현하며, $\beta_{E,r}(0)$는 하드러-나라시마한, 데사일-라마난, 자그리어의 공식에 의해 제어된다.
• 유리성을 증명하기 위해 $\widehat{Z}_{E,r}(t) = \frac{P_{E,r}(T)}{(1-T)(1-QT)}$ 형태로 표현하며, 여기서 $T = t^r$, $Q = q^r$, $P_{E,r}(T)$는 이차 다항식임을 보인다.
• 함수방정식 $\widehat{Z}_{E,r}(1/qt) = \widehat{Z}_{E,r}(t)$를 확립하여 제타 함수의 대칭성을 확인한다.
• 이차 다항식 $P_{E,r}(T)$의 판별식을 통해 리만 가설 조건을 유도하며, 이는 비율 $a_{E,r} = \beta_{E,r}(0)/\alpha_{E,r}(0)$에 대한 경계를 이끌어낸다.

실험 결과

연구 질문

• RQ1 반안정 벡터(bundle)의 모듈리 공간을 통한 순수 제타 함수가 저계수에서 리만 가설을 만족하는가?
• RQ2 타원곡선 위의 반안정 벡터(bundle)의 자동환군과 $h^0$ 불변량 사이에 깊은 구조적 연관성—'세어내림의 기적'—이 존재하는가?
• RQ3 $SL_n$-벡터(bundle)에 대한 제타 함수가 $\beta_{E,r}(0)$ 및 $\alpha_{E,r}(0)$와 같은 고전적 불변량으로 표현될 수 있는가?
• RQ4 고계수 제타 함수의 영점 분포는 어떻게 되며, 아르틴 제타 함수의 분포와 상당히 다를까?
• RQ5 $q^r \to \infty$일 때 비율 $a_{E,r} = \beta_{E,r}(0)/\alpha_{E,r}(0)$가 1에 수렴하는가? 이는 리만 가설의 渐近적 타당성을 뒷받침하는가?

주요 결과

• 순수 제타 함수 $\zeta_{E,r}(s)$는 유리적이며 함수방정식 $\widehat{Z}_{E,r}(1/qt) = \widehat{Z}_{E,r}(t)$를 만족함으로써 대칭성이 확인된다.
• 질량 2 및 3인 경우, 제타 함수는 리만 가설을 만족한다. 이는 이차 다항식 $P_{E,r}(T)$의 판별식이 음수임을 보여주며, 조건 $\frac{\sqrt{Q}-1}{\sqrt{Q}+1} < a_{E,r} < \frac{\sqrt{Q}+1}{\sqrt{Q}-1}$ 하에서 성립한다.
• 비율 $a_{E,r} = \beta_{E,r}(0)/\alpha_{E,r}(0)$는 $1 - \frac{2}{\sqrt{q^r}+1} < a_{E,r} < 1 + \frac{2}{\sqrt{q^r}-1}$ 를 만족하며, 이는 $q^r \to \infty$일 때 리만 가설이 渐近적으로 성립함을 의미한다.
• $\zeta_{E,1}(s) = \zeta_E(s)$를 만족하여, 고전적 경우와의 일관성을 보인다.
• 세어내림의 기적은 입증되었다: $\alpha_{E,r}(0) = \beta_{E,r-1}(0)$이며, 이는 $h^0$-가중 세기와 자동환군 세기 사이의 깊은 대칭성을 드러낸다.
• 리만 가설 하에서 고계수 제타 함수의 영점 분포는 $\pi/2$에서의 딜라크 델타 함수로 수렴하며, 이는 비자명한 영점의 각도가 渐近적으로 $\pi/2$에 수렴함을 나타낸다.