Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 24

Die Zeta-Funktion

Es sei $X$ eine Varietät, die über dem endlichen Körper ${𝔽}_q$ mit $q$ Elementen definiert sei. Diese Varietät besitzt endlich viele Punkte, die über ${𝔽}_q$ definiert sind. Nennen wir diese Anzahl $N_1$. Aufgrund der Körpererweiterung  ${𝔽}_q\subseteq {𝔽}_{q^r}$  (siehe Korollar 16.10 (Körper- und Galoistheorie (Osnabrück 2018-2019))) kann man $X$ auch über ${𝔽}_{q^r}$ auffassen und dessen Punkteanzahl, nennen wir sie $N_r$, bestimmen. Wenn $X$ in einem affinen oder projektiven Raum durch Gleichungen beschrieben wird, so kann man direkt die Gleichungen über ${𝔽}_{q^r}$ auffassen und die Punkte zählen, deren Koordinaten zu ${𝔽}_{q^r}$ gehören. Wenn $X$ nicht eingebettet vorliegt, so muss man $X{\times }_{{𝔽}_q}{𝔽}_{q^r}$ betrachten und dort die Anzahl der Punkte mit Restekörper ${𝔽}_{q^r}$ bestimmen. Eine faszinierende Frage ist nun, ob es bei den Anzahlen $N_1,N_2,\dots$ Gesetzmäßigkeiten gibt, und wie diese mit weiteren Eigenschaften von $X$ zusammenhängen. Die Suche nach diesen Gesetzmäßigkeiten war eine treibende Kraft in der Entwicklung der algebraischen Geometrie in der zweiten Hälfte des 20.sten Jahrhunderts (Weil, Grothendieck, Deligne). Es ist auf den ersten Blick überraschend, dass die folgende formale Funktion der richtige Ansatz ist, die Teilinformationen der $N_r$ in ein einziges analytisches (funktionentheoretisches) Objekt zusammenzufassen.

Definition

Es sei $X$ eine Varietät über einem endlichen Körper ${𝔽}_q$ und es bezeichne $N_r$ die Anzahl der Punkte von $X({𝔽}_{q^r})$. Dann nennt man

$Z(t)=Z(X;t)=\exp \left(\sum _{r=1}^{\mathrm{\infty }}{N}_r\frac{t^r}{r}\right)$

die Zeta-Funktion von $X$.

Genauer spricht man von der Weilschen Zeta-Funktion. Formal handelt es sich einfach um eine Potenzreihe in $t$ mit rationalen Koeffizienten. Aufgrund der Definition der Exponentialreihe handelt es sich um die Reihe

$1+(N_{1}t+N_2\frac{t^2}{2}+N_3\frac{t^3}{3}+\dots )+\frac{1}{2}{(N_{1}t+N_2\frac{t^2}{2}+N_3\frac{t^3}{3}+\dots )}^2+\frac{1}{6}{(N_{1}t+N_2\frac{t^2}{2}+N_3\frac{t^3}{3}+\dots )}^3+\dots .$

Beispiel

Der $n$-dimensionale projektive Raum ${\mathbb{P}}_{{𝔽}_q}^n$ über dem endlichen Körper ${𝔽}_q$ besitzt $1+q+q^2+\cdots +q^n$ Elemente, siehe Aufgabe 3.11, somit ist

$N_r=1+q^r+q^{2r}+\cdots +q^{rn}.$

Es ist

$Z(t)=\frac{1}{(1-t)(1-qt)(1-q^{2}t)\cdots (1-q^{n}t)}.$

Dies bestätigt man, indem man beidseitig den Logarithmus anwendet. Es ist also

$\sum _{r=1}^{\mathrm{\infty }}{N}_r\frac{t^r}{r}=\sum _{r=1}^{\mathrm{\infty }}(1+q^r+q^{2r}+\cdots +q^{rn})\frac{t^r}{r}=\sum _{i=0}^n\ln \frac{1}{1-q^{i}t}$

zu zeigen. Mit der Logarithmusreihe ist aber für jedes $i$

$\ln \frac{1}{1-q^{i}t}=-\ln (1-q^{i}t)=-\sum _{r=1}^{\mathrm{\infty }}(-1{)}^{r+1}\frac{(-q^{i}t{)}^r}{r}=\sum _{r=1}^{\mathrm{\infty }}{q}^{ir}\frac{t^r}{r}.$

Das Ergebnis im vorstehenden Beispiel ist typisch und zeigt bereits die Stärke und Prägnanz der Zeta-Funktion: Sie ist für eine glatte projektive Varietät $X$ stets eine rationale Funktion in $t$. Wenn $n$ die Dimension von $X$ ist, so gibt es ganzzahlige Polynome $P_i(t)$ für  $0\le i\le 2n$  mit

$Z(t)=\frac{P_1(t)\cdot P_3(t)\cdot P_5(t)\cdots P_{2n-1}(t)}{P_0(t)\cdot P_2(t)\cdot P_4(t)\cdots P_{2n}(t)}.$

Diese starke Aussage beinhaltet insbesondere die keineswegs selbstverständliche Aussage, dass endlich viele der Anzahlen $N_r$ bereits alle Anzahlen bestimmen.

In die Zeta-Funktion zu einer Varietät über ${𝔽}_q$ wird für $t$ oft $q^{-s}$ eingesetzt, wobei $s$ eine komplexe Variable (typischerweise mit einer Beschränkung durch den Realteil) ist, wodurch dann eine Funktion in $s$ entsteht.

Die Zeta-Funktion einer elliptischen Kurve

Im Falle einer glatten projektiven Kurve hat die Zeta-Funktion die Gestalt

$Z(t)=\frac{P_1(t)}{(1-t)(1-qt)}$

und das Zählerpolynom $P_1(t)$ ist ein Polynom vom Grad $2g$, wenn $g$ das Geschlecht der Kurve bezeichnet. Im Fall einer elliptischen Kurve werden wir dieses Zählerpolynom vom Grad $2$ bestimmen.

Satz

Es sei $E$ eine elliptische Kurve über dem endlichen Körper ${𝔽}_q$,  $q=p^e$,  mit  $N_1=\mathrm{\#}(E({𝔽}_q))$  und es sei $\ell$ eine von der Charakteristik von ${𝔽}_q$ verschiedene Primzahl. Es sei

$\Phi :E_{\bar{K}}⟶E_{\bar{K}}$

der $e$-te $\bar{K}$-lineare Frobenius auf $E_{\bar{K}}$ und ${\Phi }_{\ell }:T_{\ell }(E)\to T_{\ell }(E)$ die zugehörige Abbildung auf dem $\ell$-adischen Tate-Modul. Dann gelten folgende Aussagen.

1. Das charakteristische Polynom von ${\Phi }_{\ell }$ ist

   $T^2-(q+1-N_1)T+q.$

2. Dieses Polynom ist als reelles Polynom nichtnegativ.
3. Die komplexen Nullstellen $\alpha$ und $\beta$ des charakteristischen Polynoms sind zueinander komplex-konjugiert und ihr Betrag ist $\sqrt{q}$.
4. Das charakteristische Polynom von ${\Phi }_{\ell }^n$ ist

   $(T-{\alpha }^n)(T-{\beta }^n)=T^2-({\alpha }^n+{\beta }^n)T+{\alpha }^n{\beta }^n.$

5. Die Anzahl der Punkte von $E$ über ${𝔽}_{q^n}$ ist

   $\mathrm{\#}(E({𝔽}_{q^n}))=q^n+1-{\alpha }^n-{\beta }^n.$

Beweis

1. Wir ziehen Satz 18.14 heran. Es ist

   $det\left({\Phi }_{\ell }\right)=\mathrm{Grad}(\Phi )=q$

   nach Lemma 23.1. Es ist

   $\mathrm{Spur}\left({\Phi }_{\ell }\right)=1+\mathrm{Grad}(\Phi )-\mathrm{Grad}({\mathrm{Id}}_E-\Phi )=1+q-N_1$

   unter Verwendung von Lemma 23.6. Daraus ergibt sich das charakteristische Polynom von ${\Phi }_{\ell }$ zu

   $T^2-(q+1-N_1)T+q=T^2+(N_1-q-1)T+q.$

2. Die Nichtnegativität des Polynoms kann man wegen der Stetigkeit mit rationalen Zahlen testen. Es sei also $\frac{r}{s}$ eine rationale Zahl. Der Wert des charakteristischen Polynoms an der Stelle $\frac{r}{s}$ ist

   $\begin{array}{cc}det(T{\mathrm{Id}}_{T_{\ell }(E)}-{\Phi }_{\ell })(\frac{r}{s})& =det(\frac{r}{s}{\mathrm{Id}}_{T_{\ell }(E)}-{\Phi }_{\ell })\\ & =\frac{1}{s^2}det(r{\mathrm{Id}}_{T_{\ell }(E)}-s{\Phi }_{\ell })\\ & =\frac{1}{s^2}\mathrm{Grad}([r]-s\Phi )\\ & \ge 0.\end{array}$

3. Nach (2) besitzt das charakteristische Polynom entweder eine doppelte reelle Nullstelle oder zwei nicht reelle zueinander komplex-konjugierte Nullstellen. So oder so ist ihr Betrag gleich, und wegen

   $\alpha \beta =q$

   ergibt sich  $|\alpha |=|\beta |=\sqrt{q}$. 

4. Das charakteristische Polynom zu ${\Phi }_{\ell }$ kann man über $ℂ$ als $(X-\alpha )(T-\beta )$ schreiben. Eine solche Zerlegung hat man auch über dem algebraischen Abschluss von

   $Q({\hat{\mathbb{Z}}}_{\ell })={\mathbb{Q}}_{\ell }$

   (bzw. schon in einer quadratischen Erweiterung von ${\mathbb{Q}}_{\ell }$). Dabei sind $\alpha ,\beta$ (genauer ${\alpha }_{\ell },{\beta }_{\ell }$) die Eigenwerte von ${\Phi }_{\ell }$. Somit sind ${\alpha }^n,{\beta }^n$ die Eigenwerte von ${\Phi }_{\ell }^n$ und das charakteristische Polynom zu ${\Phi }_{\ell }^n$ ist $(T-{\alpha }^n)(T-{\beta }^n)$. Die entstehenden Polynome haben wieder ganzzahlige Koeffizienten, daher ist es egal, ob man über $ℂ$ oder über $\overline{{\mathbb{Q}}_{\ell }}$ arbeitet.

5. Die Anzahl der Punkte von $E$ über ${𝔽}_{q^n}$ ist unter Verwendung von Lemma 23.6 und Satz 18.14 gleich

   $\begin{array}{cc}\mathrm{\#}(E({𝔽}_{q^n}))& =\mathrm{Grad}({\mathrm{Id}}_E-{\Phi }^n)\\ & =det({\mathrm{Id}}_{T_{\ell }(E)}-{\Phi }_{\ell }^n)\\ & =1+det\left({\Phi }_{\ell }^n\right)-\mathrm{Spur}\left({\Phi }_{\ell }^n\right)\\ & =1+q^n-{\alpha }^n-{\beta }^n.\end{array}$

$◻$

Satz

Es sei $E$ eine elliptische Kurve über dem endlichen Körper ${𝔽}_q$ mit  $N_1=\mathrm{\#}(E({𝔽}_q))$. 

Dann gilt für die Zeta-Funktion

$Z(E;t)=\frac{1+(N_1-q-1)t+q{t}^2}{(1-t)(1-qt)}.$

Beweis

Wir betrachten den Ausdruck $\sum _{r=1}^{\mathrm{\infty }}{N}_r\frac{t^r}{r}$, wobei

$N_r=\mathrm{\#}(E({𝔽}_{q^r}))$

bezeichne. Nach Satz 24.3  (5) wissen wir

$N_r=1+q^r-{\alpha }^r-{\beta }^r,$

wobei $\alpha$ und $\beta$ die Nullstellen des charakteristischen Polynoms zu ${\Phi }_{\ell }$ sind (für eine zur Charakteristik teilerfremde Primzahl $\ell$). Es ist also

$\begin{array}{cc}\sum _{r=1}^{\mathrm{\infty }}{N}_r\frac{t^r}{r}& =\sum _{r=1}^{\mathrm{\infty }}(1+q^r-{\alpha }^r-{\beta }^r)\frac{t^r}{r}\\ & =\sum _{r=1}^{\mathrm{\infty }}\frac{t^r}{r}+\sum _{r=1}^{\mathrm{\infty }}\frac{(qt{)}^r}{r}-\sum _{r=1}^{\mathrm{\infty }}\frac{(\alpha t{)}^r}{r}-\sum _{r=1}^{\mathrm{\infty }}\frac{(\beta t{)}^r}{r}\\ & =-\ln (1-t)-\ln (1-qt)+\ln (1-\alpha t)+\ln (1-\beta t),\end{array}$

wobei wir die Logarithmusreihe verwendet haben. Wenn wir auf diese Gleichung die Exponentialreihe anwenden, so erhalten wir

$\begin{array}{cc}Z(E;t)& =\exp \left(\sum _{r=1}^{\mathrm{\infty }}{N}_r\frac{t^r}{r}\right)\\ & =\frac{(1-\alpha t)(1-\beta t)}{(1-t)(1-qt)}\\ & =\frac{(1-(\alpha +\beta )t+\alpha \beta t^2}{(1-t)(1-qt)}\\ & =\frac{(1+(N_1-q-1)t+q{t}^2}{(1-t)(1-qt)},\end{array}$

wobei wir im letzten Schritt die definierenden Eigenschaften von $\alpha$ und $\beta$ und Satz 24.3  (1) verwendet haben.

$◻$

Satz

Es sei $E$ eine elliptische Kurve über dem endlichen Körper ${𝔽}_q$.

Dann erfüllt die Zeta-Funktion $Z(E;t)$ von $E$ die Funktionalgleichung

$Z(E;\frac{1}{qt})=Z(E;t).$

Beweis

Dies ergibt sich aus Satz 24.4 durch die Umformungen

$\begin{array}{cc}Z(E;\frac{1}{qt})& =\frac{1+(N_1-q-1)\frac{1}{qt}+q{\left(\frac{1}{qt}\right)}^2}{(1-\frac{1}{qt})(1-q\frac{1}{qt})}\\ & =\frac{{\left(qt\right)}^2+(N_1-q-1)qt+q}{(qt-1)(qt-q)}\\ & =\frac{q(1+(N_1-q-1)t+q{t}^2)}{q(1-t)(1-qt)}\\ & =\frac{1+(N_1-q-1)t+q{t}^2}{(1-t)(1-qt)}\\ & =Z(E;t).\end{array}$

$◻$

Beispiel

Wir betrachten über dem endlichen Körper $\mathbb{Z}/(5)$ die elliptische Kurve $E$, die durch

$y^2=x^3+1$

gegeben ist. Sie besitzt nach Beispiel 23.11 sechs Elemente, also  $N_1=6$.  Das charakteristische Polynom der Darstellung des Frobenius auf dem Tate-Modul ist nach Satz 24.3 gleich

$T^2+5=(T-\sqrt{5}\mathrm{i})(T+\sqrt{5}\mathrm{i}),$

also  $\alpha ,\beta =\pm \sqrt{5}\mathrm{i}$  in der Notation von Satz 24.3. Die Anzahl der Punkte von $E$ über ${𝔽}_{5^n}$ ist

$\mathrm{\#}(E({𝔽}_{q^n}))=5^n+1-(-\sqrt{5}{)}^n{\mathrm{i}}^n-{\sqrt{5}}^n{\mathrm{i}}^n=5^n+1-((-1{)}^n+1){\sqrt{5}}^n{\mathrm{i}}^n.$

Für $n$ ungerade ist also die Anzahl gleich $5^n+1$. Für  $n=2mod4$  ist die Anzahl gleich $5^n+1+2\cdot 5^{n/2}$ und für  $n=0mod4$  ist die Anzahl gleich $5^n+1-2\cdot 5^{n/2}$. Für gerades $n$ wird also die Hasse-Schranke ausgeschöpft. Die Zeta-Funktion von $E$ ist nach Satz 24.4 gleich

$Z(E;t)=\frac{1+5t^2}{(1-t)(1-5t)}.$

Bemerkung  

Es sei eine ebene glatte projektive Kurve

$C=V_{+}(F)\subseteq {\mathbb{P}}_{\mathbb{Z}/(p)}^2$

durch eine Gleichung der Form

$X^d=P(Y,Z)$

gegeben, wobei $P(Y,Z)$ ein homogenes Polynom vom Grad $d$ sei. Es sei  $q=p^n$  eine Potenz der Charakteristik $p$. Wenn der Grad $d$ teilerfremd zu $q-1$ ist, so lässt sich die Anzahl $\mathrm{\#}(C({𝔽}_q))$ der Punkte der Kurve, die über ${𝔽}_q$ definiert sind, einfach bestimmen. Sei  $(x,y,z)\in C$  ein solcher Punkt. Bei  $z\ne 0$  können wir $z$ zu $1$ normieren. Für $y$ können wir jedes Element aus ${𝔽}_q$ einsetzen. Aufgrund der vorausgesetzten Teilerfremdheit ist die Abbildung

${𝔽}_q⟶{𝔽}_q,x⟼x^d,$

bijektiv, da diese Abbildung auf ${𝔽}_q^{\times }$ der additiven Abbildung

$\mathbb{Z}/(q-1)⟶\mathbb{Z}/(q-1),v⟼dv,$

entspricht (vergleiche Aufgabe 17.16 (Algebraische Zahlentheorie (Osnabrück 2026))). Somit gehört zu $y$ genau ein Punkt der Kurve. Bei  $z=0$  ist  $y\ne 0$  und man kann $y$ zu $1$ normieren und erhält einen weiteren Punkt der Kurve. Unter dieser Bedingung ist also

$\mathrm{\#}(C({𝔽}_q))=q+1.$

Wenn aber $q-1$ nicht teilerfremd zu $d$ ist, wird die Bestimmung ungleich schwieriger, da man dann im Detail untersuchen muss, welche Zahlen $P(y,1)$ wie viele $d$-te Wurzeln in ${𝔽}_q$ besitzen. Da im glatten Fall $p$ und $d$ teilerfremd sind, ist $p$ eine Einheit modulo $d$ und somit gibt es Exponenten $e$ mit  $p^e=1modd$.  Das heißt, dass $p^e-1$ und $d$ für gewisse Exponenten nicht teilerfremd sind, und daher (außer bei $d=1$) der schwierige Fall definitiv eintritt.

Bemerkung  

Es sei $X$ eine glatte projektive Varietät über einem endlichen Körper  $K={𝔽}_q$,  es sei $N_r$ die Anzahl der ${𝔽}_{q^r}$-rationalen Punkte Punkte von $X$ mit der zugehörigen Zeta-Funktion

$Z(t)=\exp \left(\sum _{r=1}^{\mathrm{\infty }}{N}_r\frac{t^r}{r}\right).$

André Weil formulierte 1949 eine Reihe von Vermutungen über das Verhalten dieser Funktion und damit der Anzahlen $N_r$, die er selbst für Kurven bewies. Diese Vermutungen motivierten Alexander Grothendieck zur Einführung der étalen bzw. der $\ell$-adischen Kohomologie (die Tate-Moduln kann man als $\ell$-adische Homologiegruppen ansehen), mit deren Hilfe 1973 Pierre Deligne letztlich die Vermutungen bestätigte. Die wichtigsten allgemeinen Resultate, die wir im elliptischen Fall gezeigt haben, sind die folgenden.

1. Es gibt ganzzahlige Polynome $P_i(t)$ für  $0\le i\le 2n$  mit

   $Z(t)=\frac{P_1(t)\cdot P_3(t)\cdot P_5(t)\cdots P_{2n-1}(t)}{P_0(t)\cdot P_2(t)\cdot P_4(t)\cdots P_{2n}(t)}.$

   Insbesondere ist die Zeta-Funktion eine rationale Funktion. Dies bedeutet, dass endlich viele der Werte $N_r$ schon alle Werte festlegen (Dwork, Grothendieck). Es gilt  $P_0(t)=1-t$  und  $P_{2n}(t)=1-q^{n}t$.  Für den elliptischen Fall siehe Satz 24.4.

2. Die Grade der Polynome $P_i$ aus Teil (1) haben eine geometrische Bedeutung. Ihr Grad ist die Vektorraumdimension der $i$-ten $\ell$-adischen Kohomologie $H^i(X,{\mathbb{Q}}_{\ell })$. Man spricht von den $\ell$-adischen Betti-Zahlen. Wenn $X$ durch Reduktion modulo $p$ von einer Varietät (Schema) $𝒳$ über $\mathbb{Z}$ (oder einem Zahlbereich) herrührt, so kann man auch die zugehörige Varietät über $\mathbb{Q}$ und über $ℂ$ betrachten. Diese Varietät hat (als komplexe Mannigfaltigkeit) topologische Betti-Zahlen, die man beispielsweise mit der singulären Kohomologie ausrechnen kann. Diese Betti-Zahlen stimmen mit den $\ell$-adischen Betti-Zahlen der Reduktion überein. Im Fall einer elliptischen Kurve sind die Betti-Zahlen gleich $1,2,1$.
3. Die Polynome $P_i$ aus Teil (1) besitzen über $ℂ$ (bzw. über einer geeigneten algebraischen Erweiterung von $\mathbb{Q}$) eine Zerlegung in lineare Faktoren

   $P_i=\prod _j(1-{\alpha }_{ij}t).$

   Dabei gilt

   $|{\alpha }_{ij}|=q^{i/2}.$

   Diese Eigenschaft ist analog zur Riemannschen Hypothese. Für den elliptischen Fall siehe Satz 24.3  (3)

4. Es gilt eine Funktionalgleichung für die Zeta-Funktion, die Satz 24.5 verallgemeinert.

<< | Kurs:Elliptische Kurven (Osnabrück 2021-2022) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)