text:
# Sur le rang des Jacobiennes sur un corps de fonctions

## 1. Introduction

Soient $`k`$ un corps de nombres, $`𝒳`$ une surface projective lisse irréductible sur $`k`$, $`C`$ une courbe projective lisse irréductible sur $`k`$, $`f:𝒳C`$ un morphisme propre plat tel que les fibres soient des courbes de genre arithmétique $`g1`$; ces hypothèses entraînent que la fibre générique est lisse et irréductible. Soient $`K=k(C)`$ le corps de fonctions de $`C`$, $`X/K`$ la fibre générique de $`f`$, $`J_X`$ la variété Jacobienne de $`X`$ et $`(\tau ,B)`$ la $`K/k`$-trace de $`J_X`$. Un théorème de Lang-Néron affirme que $`J_X(k(C))/\tau (B(k))`$ et même $`J_X(\overline{k}(C))/\tau (B(\overline{k}))`$ sont des groupes de type fini. Shioda  a donné une interprétation du deuxième groupe comme quotient du groupe de Néron-Severi de la surface $`𝒳`$ par un sous-groupe explicite. Nous allons discuter une interprétation du rang du premier groupe en termes de l’arithmétique de la surface $`𝒳`$.

Soit $`S`$ un ensemble fini d’idéaux premiers de l’anneau d’entiers $`𝒪_k`$ de $`k`$ tel que pour tout $`𝔭S`$, $`𝒳`$ et $`C`$ aient bonne réduction modulo $`𝔭`$ et que la réduction $`f_𝔭`$ de $`f`$ modulo $`𝔭`$ soit un morphisme propre et plat $`f_𝔭:𝒳_𝔭C_𝔭`$ ayant pour fibres des courbes de genre arithmétique $`g`$ sur le corps résiduel $`\kappa _𝔭`$ de $`𝔭`$ avec $`q_𝔭`$ éléments. Pour chaque $`cC_𝔭`$, soit $`𝒳_{𝔭,c}=f_𝔭^1(c)`$ la fibre de $`f_𝔭`$ en $`c`$.

###### Notation.

Soient $`l`$ un corps, $`\overline{l}`$ une clôture algébrique de $`l`$ et $`V`$ une variété algébrique projective lisse définie sur $`l`$. Notons $`\overline{V}=V\times _l\overline{l}`$. Si $`l`$ est parfait, notons aussi $`G_l=\mathrm{Gal}(\overline{l}/l)`$.

Soit $`F_𝔭G_k`$ un élément de Frobenius et $`I_𝔭G_k`$ son groupe d’inertie. Soit $`\mathrm{\Delta }=\{cC|𝒳_{𝔭,c}`$ est singulière$`\}`$ le lieu discriminant de $`f`$. Après avoir élargi $`S`$, si nécessaire, on peut supposer que pour tout $`𝔭S`$ le lieu discriminant $`\mathrm{\Delta }_𝔭`$ de $`f_𝔭`$ soit égal à la réduction de $`f`$ modulo $`𝔭`$.

Soit $`\overline{F}_𝔭`$ l’automorphisme de Frobenius sur $`H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^1(\overline{𝒳}_{𝔭,c},_{\mathrm{}})`$ induit par l’automorphisme de Frobenius géométrique de $`\kappa _𝔭`$. Si $`c(C_𝔭\mathrm{\Delta }_𝔭)(\kappa _𝔭)`$, on définit $`a_𝔭(𝒳_{𝔭,c})=\mathrm{Tr}(\overline{F}_𝔭|H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^1(\overline{𝒳}_{𝔭,c},_{\mathrm{}})`$. Si $`c\mathrm{\Delta }_𝔭(\kappa _𝔭)`$, on remplace $`H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^1`$ par le groupe $`H_{\underset{¯}{c}}^1`$ de cohomologie $`\mathrm{}`$-adique à support propre, i.e., $`a_𝔭(𝒳_{𝔭,c})=\mathrm{Tr}(\overline{F}_𝔭|H_{\underset{¯}{c}}^1(\overline{𝒳}_{𝔭,c},_{\mathrm{}}))`$.

Soit $`a_𝔭(B)=\mathrm{Tr}(F_𝔭|H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^1(\overline{B},_{\mathrm{}})^{I_𝔭})`$ . Après avoir ajouté un nombre fini d’idéaux premiers de $`k`$ à $`S`$ on peut supposer que, pour tout $`𝔭S`$, la variété $`B`$ ait bonne réduction $`B_𝔭`$ modulo $`𝔭`$. Dans ce cas-là, $`a_𝔭(B)=\mathrm{Tr}(\overline{F}_𝔭|H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^1(\overline{B}_𝔭,_{\mathrm{}}))`$. On définit alors

$$A_𝔭(𝒳)=\frac{1}{q_𝔭}\underset{cC_𝔭(\kappa _𝔭)}{}a_𝔭(𝒳_{𝔭,c})$$

la trace moyenne de Frobenius ainsi que

$$A_𝔭^{}(𝒳)=A_𝔭(𝒳)a_𝔭(B),$$

que nous appellerons trace moyenne réduite.

Soit $`L_2(𝒳/k,s)=_𝔭det(1F_𝔭q_𝔭^s|H_{\text{ét}}^2(\overline{𝒳},_{\mathrm{}})^{I_𝔭})^1`$ la fonction $`L`$ de $`𝒳`$ associée à $`H_{\text{ét}}^2(\overline{𝒳},_{\mathrm{}})`$. Soient $`\mathrm{Pic}(𝒳)`$ le groupe des classes de diviseurs de $`𝒳`$, $`\mathrm{Pic}^0(𝒳)`$ le sous-groupe de diviseurs algébriquement équivalents à zéro, $`\mathrm{NS}(𝒳)=\mathrm{Pic}(𝒳)/\mathrm{Pic}^0(𝒳)`$ le groupe de Néron-Severi de $`𝒳`$ et $`\mathrm{NS}(𝒳/k)`$ le sous-groupe de classes de diviseurs de $`\mathrm{NS}(𝒳)`$ qui sont définies sur $`k`$. Notons que si $`z`$ est fixé par $`G_k`$, i.e., $`z\mathrm{NS}(𝒳)^{G_k}`$, il existe un multiple $`nz`$ de $`z`$ tel que $`nz\mathrm{NS}(𝒳/k)`$. Donc, $`\mathrm{NS}(𝒳)^{G_k}\mathrm{NS}(𝒳/k)`$ et en particulier $`\mathrm{rang}(\mathrm{NS}(𝒳)^{G_k})=\mathrm{rang}(\mathrm{NS}(𝒳/k))`$.

###### Conjecture 1.1 (Conjecture de Tate ).

La fonction $`L_2(𝒳/k,s)`$ possède un pôle en $`s=2`$ d’ordre $`\mathrm{rang}(\mathrm{NS}(𝒳/k))`$.

###### Remarque 1.2.

Il s’agit d’une version de la conjecture de Tate pour les diviseurs, la conjecture générale concerne tous les cycles algébriques.

1. On peut se dispenser de l’hypothèse d’un prolongement méromorphe au voisinage de $`s=2`$ en interprétant la phrase “$`L_2(𝒳/k,s)`$ possède un pôle d’ordre $`t`$ en $`s=2`$” comme signifiant

$$\underset{\mathrm{}(s)>2,s2}{lim}(s2)^tL_2(𝒳/k,s)=\alpha 0.$$

De même, si $`f(s)`$ est holomorphe sur $`\mathrm{}(s)>\lambda `$ et si $`lim_{s\lambda }(s\lambda )f(s)=\alpha 0`$, on appellera $`\alpha `$ le résidu de la fonction $`f(s)`$ en $`s=\lambda `$ et on écrira $`\mathrm{R}\stackrel{´}{\mathrm{e}}\mathrm{s}_{s=\lambda }f(s)=\alpha `$.
2. Dans la plupart des cas où l’on sait démontrer un prolongement analytique de $`L_2(𝒳/k,s)`$ à la droite $`\mathrm{}(s)=2`$, on sait également démontrer que la fonction ne s’annule pas sur cette droite. Cette propriété est importante car elle permet d’appliquer un théorème Taubérien \[6, Chapter XV\] à la dérivée logarithmique de $`L_2(𝒳/k,s)`$.

Le but de ce papier est de prouver le théorème suivant.

###### Théorème 1.3.

La Conjecture 1.1 pour la surface $`𝒳`$ implique

(1.1)
$$\underset{s=1}{\mathrm{R}\stackrel{´}{\mathrm{e}}\mathrm{s}}\left(\underset{𝔭S}{}A_𝔭^{}(𝒳)\frac{\mathrm{log}(q_𝔭)}{q_𝔭^s}\right)=\mathrm{rang}\left(\frac{J_X(K)}{\tau B(k)}\right).$$

Sous l’hypothèse additionelle que $`L_2(𝒳/k,s)`$ se prolonge analytiquement sur la droite $`\mathrm{}(s)=2`$ et n’a pas de zéros sur cette droite, on conclut aussi que

(1.2)
$$\underset{T\mathrm{}}{lim}\frac{1}{T}\left(\underset{\begin{array}{c}𝔭S\\ q_{\mathrm{}}T\end{array}}{}A_𝔭^{}(𝒳)\mathrm{log}(q_𝔭)\right)=\mathrm{rang}\left(\frac{J_X(K)}{\tau B(k)}\right).$$

###### Remarque 1.4.

En fait l’égalité (1.1) est essentiellement équivalente à la conjecture de Tate (1.1), voir le corollaire (5.8). L’égalité (1.1) est une généralisation de la *conjecture analytique de Nagao* \[15, Nagao’s Conjecture 1.1\] et (1.2) de la *conjecture Taubérienne de Nagao* \[15, Nagao’s Conjecture 1.1\] telles qu’elles sont formulées par Rosen et Silverman pour les fibrations de genre 1 admettant une section; lorsque de plus $`C=^1`$ et $`k=`$, la forme Taubérienne est la conjecture originelle, due à Nagao  (nous préférons appeler “Taubérienne” la forme de la conjecture que Rosen et Silverman appellent “arithmetic”).

###### Remarque 1.5.

Le premier travail dans la direction du Théorème 1.3 est dû à Nagao  qui a formulé la conjecture Taubérienne à partir de calculs explicites dans le cas où $`g=1`$ et $`f`$ admet une section (donc $`X`$ est une courbe elliptique) et $`K=(x)`$. Son objectif, atteint dans plusieurs cas, était de produire des courbes elliptiques sur $``$ avec rang “*assez grand*”. Par la suite, Rosen et Silverman dans \[15, Theorem 1.3\] on traité le cas général où $`K=k(C)`$ est le corps de fonctions d’une courbe lisse et projective sur $`k`$, toujours avec $`X`$ courbe elliptique. Ils ont formulé la conjecture analytique et l’ont reliée avec la formulation Taubérienne, montrant le Théorème 1.3 dans ce cas. Plus tard, Wazir dans \[22, Theorem 1.1\] a généralisé le résultat de Rosen-Silverman au cas d’une variété $`𝒳`$ de dimension 3 fibrée au dessus d’une surface en courbes elliptiques. On peut s’attendre à ce que l’énoncé du théorème reste vrai pour toute fibration en courbe de genre au moins un $`f:𝒳T`$ avec $`n=dim𝒳=dimT+1`$ mais nous nous contenterons, dans ce texte, de traiter le cas des surfaces.

## 2. Conjecture de Birch et Swinnerton Dyer et conjecture de Tate

Ce paragraphe contient les motivations pour le théorème principal ainsi que des considérations de nature spéculative; on explique en particulier pourquoi il est nécessaire de remplacer la trace moyenne $`A_𝔭(𝒳)`$ par la trace moyenne “réduite” $`A_𝔭^{}(𝒳)`$ pour espérer un énoncé du type (1.2).

###### Notation.

Comme il est d’usage, pour deux fonctions $`f(t)`$ et $`g(t)`$ définies au voisinage de $`\omega `$, on écrira, $`f(t)=O(g(t))`$, si il existe un voisinage de $`\omega `$ et une constante $`C`$ tels que sur ce voisinage $`|f(t)|Cg(t)`$. On écrira $`f(t)=o(g(t))`$ si $`lim_{t\omega }f(t)/g(t)=0`$.

Si $`𝒳`$ est une variété lisse projective, définie sur un corps de nombres $`k`$, ayant bonne réduction hors d’un ensemble fini de places $`S`$, on notera, en négligeant un nombre fini de facteurs Euleriens :

$$L_2(𝒳/k,s)=\underset{𝔭S}{}det(1F_𝔭q_𝔭^s|H_{\text{ét}}^2(𝒳\times _k\overline{k},_{\mathrm{}}))^1.$$

Pour $`𝔭`$ ne divisant pas le conducteur, les valeurs propres du Frobenius $`F_𝔭`$ sont de modules $`q_𝔭`$. Le produit d’Euler converge pour $`\mathrm{}(s)>2`$. La Conjecture 1.1 donne une interprétation du rang du groupe de Néron-Severi $`\text{NS}(𝒳)`$ en termes de cette fonction. La Conjecture 1.1 est en fait formulée pour une variété de dimension quelconque \[13, 5.5\].

Si $`A`$ est une variété abélienne définie sur un corps de nombres $`k`$, on notera simplement

$$L(A/k,s)=\underset{𝔭}{}det(1F_𝔭q_𝔭^s|H_{\text{ét}}^1(A\times _k\overline{k},_{\mathrm{}})^{I_𝔭})^1,$$

sa fonction $`L`$. Pour $`𝔭`$ ne divisant pas le conducteur, les valeurs propres du Frobenius $`F_𝔭`$, disons $`\alpha _{𝔭,j}`$, sont de modules $`q_𝔭^{1/2}`$. Le produit d’Euler converge pour $`\mathrm{}(s)>3/2`$. La conjecture centrale de la théorie donne une interprétation du rang du groupe de Mordell-Weil $`A(k)`$ en termes de cette fonction.

###### Conjecture 2.1 (Conjecture de Birch et Swinnerton-Dyer ).

Soit $`A`$ une variété abélienne définie sur un corps de nombres $`k`$. La fonction $`L(A/k,s)`$ admet un prolongement analytique à $``$ et possède en $`s=1`$ un zéro d’ordre $`\mathrm{rang}(A(k))`$.

###### Remarque 2.2.

Il s’agit ici de la première partie de la conjecture, nous ne discuterons pas la seconde partie qui décrit le coefficient dominant de $`L(A/k,s)`$ en $`s=1`$.

Un calcul simple et classique montre que

$`{\displaystyle \frac{d}{ds}}(\mathrm{log}(L(A/k,s)))`$ $`={\displaystyle \underset{𝔭,m1}{}}{\displaystyle \underset{j}{}}\alpha _{𝔭,j}^m\mathrm{log}(q_𝔭)q_𝔭^{ms}`$
$`={\displaystyle \underset{𝔭}{}}a_𝔭(A)\mathrm{log}(q_𝔭)q_𝔭^s+h_1(s)`$
$`={\displaystyle \underset{𝔭}{}}a_𝔭(A)\mathrm{log}(q_𝔭)q_𝔭^s+{\displaystyle \underset{𝔭}{}}{\displaystyle \underset{j}{}}\alpha _{𝔭,j}^2\mathrm{log}(q_𝔭)q_𝔭^{2s}+h_2(s)`$
avec $`h_1(s)`$ holomorphe sur $`\mathrm{}(s)>1`$ et $`h_2(s)`$ holomorphe sur $`\mathrm{}(s)>5/6`$. Définissons $`M(A/k,s)=_𝔭a_𝔭(A)\mathrm{log}(q_𝔭)q_𝔭^s`$ ainsi que la fonction arithmétique correspondante $`M_A(T):=_{q_𝔭T}a_𝔭(A)\mathrm{log}(q_𝔭)`$; alors le prolongement analytique de $`L(A/k,s)`$ jusqu’à $`\mathrm{}(s)=1`$ équivaut à celui de $`M(A/k,s)`$ et un zéro d’ordre $`r`$ en $`s=1`$ pour $`L(A/k,s)`$ équivaut à un pôle simple pour $`M(A/k,s)`$ en $`s=1`$ avec résidu $`r`$. Remarquons aussi que l’holomorphie de $`M(A/k,s)`$ pour $`\mathrm{}(s)>1`$ équivaut à l’holomorphie de $`L^{}(A/k,s)/L(A/k,s)`$ pour $`\mathrm{}(s)>1`$ et donc à l’hypothèse de Riemann généralisée pour $`L(A/k,s)`$ ou encore, par des arguments analytiques classiques à la propriété $`M_A(T)=O_ϵ\left(T^{1+ϵ}\right)`$ pour tout $`ϵ>0`$. De plus il semble raisonnable de conjecturer que $`h_1(s)`$ devrait être holomorphe sur $`\mathrm{}(s)=1`$; cela proviendrait de l’holomorphie et la non annulation sur $`\mathrm{}(s)=2`$ de la fonction $`_{𝔭,j}(1\alpha _{𝔭,j}^2q_𝔭^s)^1`$, ce qui est démontré dans le cas où $`A`$ est modulaire (par la méthode de Rankin, complétée par Shimura).

Acceptant cela, on peut alors s’interroger sur la vraisemblance de l’équivalence $`M_A(T)rT`$; en effet, d’une part, si cette équivalence était vraie alors on en déduirait facilement que $`M(A/k,s)`$ aurait un pôle simple en $`s=1`$ avec résidu $`r`$ et donc la conjecture de Birch et Swinnerton-Dyer serait vérifiée pour $`A/k`$, si $`r=\mathrm{rang}(A(k))`$, d’autre part, même en supposant l’hypothèse de Riemann généralisée et la conjecture de Birch et Swinnerton-Dyer pour $`L(A/k,s)`$, on ne peut en déduire par les arguments Taubériens classiques l’équivalence $`M_A(T)rT`$ à cause de la présence d’une infinité de pôles pour $`M(A/k,s)`$ (resp. de zéros pour $`L(A/k,s)`$) sur la droite $`\mathrm{}(s)=1`$. La présence d’une infinité de pôles rend même fort peu vraisemblable l’équivalence $`M_A(T)rT`$. On conclut ces considérations en notant qu’il semble donc illusoire d’espérer remplacer la conclusion du théorème principal par

$$\underset{T\mathrm{}}{lim}\frac{1}{T}\underset{q_𝔭T}{}A_𝔭(𝒳)\mathrm{log}q_𝔭=\mathrm{rang}\left(J_X(K)\right)\mathrm{?}\mathrm{?}$$

(sauf, bien sûr, dans le cas où $`B`$ est nulle). Par contre la version analytique

$$\underset{s=1}{\mathrm{R}\stackrel{´}{\mathrm{e}}\mathrm{s}}\left(\underset{𝔭S}{}A_𝔭(𝒳)\frac{\mathrm{log}(q_𝔭)}{q_𝔭^s}\right)=\text{rang}\left(J_X(K)\right)\mathrm{?}$$

découlerait des conjectures de Tate pour $`𝒳`$ et Birch et Swinnerton-Dyer pour $`B`$. En effet, si l’on admet le prolongement analytique, alors le résidu en $`s=1`$ est égal à:

$$\begin{array}{c}\mathrm{rang}\left(J_X(K)\right)+\left(\underset{s=1}{ord}(L(B/k,s))\text{rang}(B(k))\right)\hfill \\ \hfill \left(\mathrm{rang}\left(\mathrm{NS}(𝒳/k)\right)+\underset{s=2}{ord}(L_2(𝒳/k,s))\right).\end{array}$$

Ainsi la situation est plus favorable sur les corps de fonctions; cela est dû au fait que, du point de vue de la théorie analytique des nombres, on effectue une double moyenne et que l’on doit considérer le comportement d’une série de Dirichlet au bord de son demi-plan de convergence, et non à l’intérieur de la bande critique.

###### Remarque 2.3.

Il serait peut-être plus naturel, au lieu de définir la moyenne des traces de Frobenius $`A_𝔭(𝒳)`$ comme nous l’avons fait (imitant en cela Nagao  et Rosen-Silverman ), de poser

$$A_𝔭^{}(𝒳)=\frac{1}{\mathrm{\#}C_𝔭(\kappa _𝔭)}\underset{cC_𝔭(\kappa _𝔭)}{}a_𝔭(𝒳_c)\text{et}A_𝔭^{{}_{}{}^{}}(𝒳):=A_𝔭^{}(𝒳)a_𝔭(B).$$

On peut observer qu’une telle modification ne changerait pas les énoncés en vue. En effet, on voit aisément que l’égalité voulue

$$\underset{T\mathrm{}}{lim}\frac{1}{T}\underset{\begin{array}{c}𝔭S\\ q_𝔭T\end{array}}{}(A_𝔭^{}(𝒳)A_𝔭^{{}_{}{}^{}}(𝒳))\mathrm{log}(q_𝔭)=0$$

est vérifiée si et seulement si

$$N(T):=\underset{\begin{array}{c}𝔭S\\ q_𝔭T\end{array}}{}a_𝔭(C)A_𝔭^{}(𝒳)\frac{\mathrm{log}(q_𝔭)}{q_𝔭}=o(T).$$

Cette dernière estimation est donc vraie si $`C=^1`$. Observons maintenant que $`A_𝔭^{}(𝒳)`$, qui est trivialement $`O(q_𝔭^{1/2})`$ (comme moyenne des $`a_𝔭(𝒳_c)`$ qui sont $`O(q_𝔭^{1/2})`$) est en fait un $`O(1)`$ à cause de la formule (4.7) (démontrée plus loin au paragraphe 4, où chaque terme est défini) qui indique que

$$A_𝔭^{}(𝒳)=\frac{b_𝔭(𝒳)}{q_𝔭}+\mathrm{Tr}(F_𝔭|𝒮)+O(q_𝔭^{1/2})$$

Or $`b_p(𝒳)`$ est la trace d’un opérateur avec valeurs propres de module $`q_𝔭`$ donc $`b_𝔭(𝒳)=O(q_𝔭)`$, alors que $`F_𝔭`$ agit sur $`𝒮`$ avec pour valeurs propres des racines de l’unité (i.e., de façon quasi-unipotente), donc on a bien $`A_𝔭^{}(𝒳)=O(1)`$. Ainsi on obtient

$$N(T)=\underset{q_𝔭T}{}a_𝔭(C)A_𝔭^{}(𝒳)\frac{\mathrm{log}q_𝔭}{q_𝔭}\underset{q_𝔭T}{}|a_𝔭(C)|\frac{\mathrm{log}q_𝔭}{q_𝔭}\underset{q_𝔭T}{}\frac{\mathrm{log}q_𝔭}{\sqrt{q_𝔭}}\mathrm{log}T\sqrt{T}.$$

## 3. Outils géométriques

Tout comme dans Rosen-Silverman , l’idée de la preuve est de compter le nombre des points rationnels de $`𝒳_𝔭`$ sur $`\kappa _𝔭`$ de deux manières. La première consiste à employer la formule de Lefschetz pour $`𝒳_𝔭`$, la deuxième à compter le nombre des points dans chaque fibre $`𝒳_{𝔭,c}`$ pour $`cC_𝔭(\kappa _𝔭)`$ et calculer la somme. Pour obtenir ces deux résultats on a besoin d’une part d’un lemme géométrique (Lemme 3.2) qui permet de déterminer la cardinalité de $`𝒳_{𝔭,c}(\kappa _𝔭)`$ et d’autre part d’une formule (Proposition 3.8) analogue à celle de Shioda-Tate pour les surfaces elliptiques, généralisée par Shioda aux fibrations de genre supérieur admettant une section \[17, Theorem 1\]. On développe ces résultats dans ce paragraphe. Pour obtenir le premier, nous généralisons les calculs explicites au cas par cas de  par le Lemme 3.2. Enfin nous incluons une preuve de la formule de Shioda-Tate  car, d’une part, nous ne souhaitons pas faire l’hypothèse que la fibration possède une section, d’autre part, le fait de travailler en caractéristique zéro simplifie la preuve (les schémas en groupes, notamment $`\mathrm{Pic}^0`$, sont réduits).

Nous commençons par rappeler le lemme suivant qui indique quelques propriétés des fibres singulières de familles de courbes (cf. ).

###### Lemme 3.1.

\[1, (1.1)\] Soit $`R`$ un anneau de valuation discrète avec corps résiduel algébriquement clos $`\kappa `$. Soit $`𝒱`$ un schéma régulier de dimension 2 propre sur $`\mathrm{Spec}(R)`$. On suppose que la fibre fermée $`V`$ soit connexe et de dimension 1. En tant que sous-schéma de $`𝒱`$, $`V`$ est un diviseur de Cartier effectif que l’on écrit sous la forme $`V=_{i=1}^nr_iC_i`$. La matrice d’intersection $`||(C_i.C_j)||`$ définit une forme quadratique dont le noyau est engendré par $`V`$ et qui est définie négative sur $`(_{i=1}^nC_i)/V`$.

Un point clef dans notre argument est le lemme suivant. Nous remercions le referee pour nous avoir indiqué la preuve de ce lemme (nous proposions une preuve beaucoup plus compliquée, basé sur l’analyse des fibres spéciales singulières donnée par Artin et Winters , qui de plus ne donnait le résultat qu’à $`O(q_𝔭^{1/2})`$ près).

###### Lemme 3.2.

Soient $`𝔭S`$, $`cC_𝔭(\kappa _𝔭)`$, $`𝒳_{𝔭,c}=f_𝔭^1(c)`$ et $`m_c`$ le nombre des composantes $`\kappa _𝔭`$-rationnelles de $`𝒳_{𝔭,c}`$. Le nombre de points $`\kappa _𝔭`$-rationnels de $`𝒳_{𝔭,c}`$ s’exprime comme suivant:

$$\mathrm{\#}𝒳_{𝔭,c}(\kappa _𝔭)=1a_𝔭(𝒳_{𝔭,c})+q_𝔭m_c.$$

###### Démonstration.

Par le théorème de Weil, pour tout $`c(C_𝔭\mathrm{\Delta }_𝔭)(\kappa _𝔭)`$ on a $`\mathrm{\#}𝒳_{𝔭,c}(\kappa _𝔭)=q_𝔭+1a_𝔭(𝒳_{𝔭,c})`$ et $`m_c=1`$.

Supposons $`c\mathrm{\Delta }_𝔭(\kappa _𝔭)`$. On peut passer en premier lieu à la structure réduite de $`𝒳_{𝔭,c}`$, en effet cela ne change ni le décompte des points rationnels ni la cohomologie. Par la Formule de Lefschetz (cf. \[16, Rapport, Corollaire 5.4\] et \[4, (1.5)\], pour tout $`cC_𝔭(\kappa _𝔭)`$ on a $`\mathrm{\#}𝒳_{𝔭,c}(\kappa _𝔭)=_{i=0}^2(1)^i\mathrm{Tr}(\overline{F}_𝔭|H_{\underset{¯}{c}}^i(\overline{𝒳}_{𝔭,c},_{\mathrm{}}))`$. Ici $`H_{\underset{¯}{c}}^i`$ désigne la cohomologie $`\mathrm{}`$-adique à support propre. Comme $`𝒳_{𝔭,c}`$ est connexe, $`\mathrm{Tr}(\overline{F}_𝔭|H_{\underset{¯}{c}}^0(\overline{𝒳}_{𝔭,c},_{\mathrm{}}))=1`$. De plus, par définition, $`a_𝔭(𝒳_{𝔭,c})=\mathrm{Tr}(\overline{F}_𝔭|H_{\underset{¯}{c}}^1(\overline{𝒳}_{𝔭,c}`$ $`,_{\mathrm{}}))`$.

Soit $`\vartheta _𝔭:𝒞_𝔭\overline{𝒳}_{𝔭,c}`$ une normalisation de $`\overline{𝒳}_{𝔭,c}`$. La courbe $`𝒞_𝔭`$ est une réunion disjointe de courbes projectives lisses. Le morphisme $`\vartheta _𝔭`$ induit une suite spectrale de Leray $`E^{r,s}:=H_{\underset{¯}{c}}^r(𝒞_𝔭,R^s(\vartheta _𝔭)_{}_{\mathrm{}})E^{r+s}:=H_{\underset{¯}{c}}^{r+s}(\overline{𝒳}_{𝔭,c},_{\mathrm{}})`$. Elle induit la suite exacte suivante:

$`\begin{array}{ccccccc}0& & H_{\underset{¯}{c}}^1(𝒞_𝔭,(\vartheta _𝔭)_{}_{\mathrm{}})& & H_{\underset{¯}{c}}^1(\overline{𝒳}_{𝔭,c},_{\mathrm{}})& & H_{\underset{¯}{c}}^0(𝒞_𝔭,R_c^1((\vartheta _𝔭)_{}_{\mathrm{}}))\\ & & H_{\underset{¯}{c}}^2(𝒞_𝔭,(\vartheta _𝔭)_{}_{\mathrm{}})& & H_{unc}^2(\overline{𝒳}_{𝔭,c},_{\mathrm{}})& & H_{\underset{¯}{c}}^1(𝒞_𝔭,R_{\underset{¯}{c}}^1((\vartheta _𝔭)_{}_{\mathrm{}})).\end{array}`$
Il suit de \[9, Theorem 3.2 (b), Chapter VI, p. 228\] que pour tout $`i>0`$ on a $`R_{\underset{¯}{c}}^i(\vartheta _𝔭)_{}=0`$, donc $`H_{\underset{¯}{c}}^2(𝒞_𝔭,(\vartheta _𝔭)_{}_{\mathrm{}})H_{\underset{¯}{c}}^2(\overline{𝒳}_{𝔭,c},_{\mathrm{}})`$. De plus, le premier groupe est une somme directe de $`_{\mathrm{}}(1)`$. Pour chaque composante $`\kappa _𝔭`$-rationnelle de $`𝒞_𝔭`$, l’automorphisme de Frobenius $`\overline{F}_𝔭`$ agit sur la composante correspondante dans $`H_{\underset{¯}{c}}^2(𝒞_𝔭,(\vartheta _𝔭)_{}_{\mathrm{}})`$ par multiplication par $`q_𝔭`$. Les autres composantes de $`𝒞_𝔭`$ sont permutées entre elles, a fortiori la trace de $`\overline{F}_𝔭`$ dans les composantes correspondantes dans $`H_{\underset{¯}{c}}^2(𝒞_𝔭,(\vartheta _𝔭)_{}_{\mathrm{}})`$ est égale à 0. D’où $`\mathrm{Tr}(\overline{F}_𝔭|H_{\underset{¯}{c}}^2(\overline{𝒳}_{𝔭,c},_{\mathrm{}}))=q_𝔭m_c`$ et cela achève la preuve du lemme.

Nous passons maintenant à l’étude de la $`K/k`$-trace notée $`B`$.

Soit $`\mathrm{Alb}(𝒳)`$, respectivement $`\mathrm{Alb}(C)`$, la variété Albanese de $`𝒳`$, respectivement de $`C`$. Soit $`(\tau ,B)`$ la $`K/k`$-trace de $`J_X`$. Soit $`\mathrm{Pic}^0(C)`$ le groupe des diviseurs algébriquement équivalents à zéro de $`C`$ et $`f^{}:\mathrm{Pic}^0(C)\text{Pic}^0(𝒳)`$ l’application “pull-back” déduite de $`f`$.

Soit $`ı:X𝒳`$ l’inclusion de la fibre générique et $`ı^{}:\mathrm{Div}(𝒳)\text{Div}(X)`$ la restriction des diviseurs à la fibre générique $`X`$. Par construction de la $`K/k`$-trace, l’homomorphisme induit de $`\mathrm{Pic}^0(𝒳)`$ vers $`\mathrm{Pic}^0(X)`$ se factorise par un homomorphisme $`b:\mathrm{Pic}^0(𝒳)B`$.

###### Proposition 3.3.

Le groupe $`\mathrm{Ker}(f^{})`$ est fini et est même trivial si $`f`$ admet une section. La suite de variétés abéliennes

(3.1)
$$0\mathrm{Pic}^0(C)\stackrel{f^{}}{}\mathrm{Pic}^0(𝒳)\stackrel{𝑏}{}B0$$

est exacte si $`f`$ admet une section et exacte à des groupes finis près en général. En particulier, $`H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^1(\overline{𝒳},_{\mathrm{}})H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^1(\overline{C},_{\mathrm{}})H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^1(\overline{B},_{\mathrm{}})`$ A fortiori, on a pour presque tout idéal premier $`𝔭`$ de $`𝒪_k`$, $`a_𝔭(𝒳)=a_𝔭(C)+a_𝔭(B)`$.

###### Remarque 3.4.

La formule $`B=\mathrm{Pic}^0(𝒳)/f^{}\mathrm{Pic}^0(C)`$ est donnée (sans preuve) dans  et l’exactitude de la suite est démontrée par Shioda dans  sous l’hypothèse d’existence d’une section mais en complète généralité concernant la caractéristique et la structure de schéma (le résultat est attribué à Raynaud).

###### Démonstration.

Il est clair que $`\text{Im}(f^{})\mathrm{Ker}(b)`$, car $`bf^{}=0`$. Si $`D`$ est un diviseur sur $`𝒳`$ dont la classe est dans $`\mathrm{Ker}(b)`$, on voit que $`D=\text{div}(g)+V`$, où $`\text{div}(g)`$ est le diviseur d’une fonction rationnelle $`g\overline{k}(𝒳)`$ et $`V`$ est un diviseur vertical, i.e., à support dans les fibres de $`f`$. Mais $`D`$ et donc $`V`$ sont algébriquement équivalents à zéro, et donc numériquement triviaux, donc, d’après le Lemme 3.1, $`V`$ est une somme de fibres, c’est-à-dire qu’il est de la forme $`f^{}(D^{})`$. A priori on doit prendre $`D^{}`$ dans $`\mathrm{Pic}^0(C)`$ et donc il existe $`m1`$ tel que $`mVf^{}\mathrm{Pic}^0(C)`$, mais si $`f`$ admet une section, il n’y a pas de fibres multiples et on peut prendre $`m=1`$; en général $`m`$ est borné par la multiplicité des fibres. On a donc bien $`\text{Im}(f^{})=\mathrm{Ker}(b)`$.

Soit $`C_0𝒳`$ une courbe irréductible fermée telle que $`f_{|C_0}:C_0C`$ soit dominante, donc un morphisme fini de degré disons $`d`$. Notons $`j`$ l’inclusion $`C_0𝒳`$, donc $`f_{|C_0}=f^{}=fj`$. L’hypothèse $`f^{}(z)=0`$ entraîne $`f_{}^{}{}_{}{}^{}(z)=0`$ donc $`dz=f_{}^{}f_{}^{}{}_{}{}^{}(z)=0`$. Ainsi $`\mathrm{Ker}(f^{})\mathrm{Pic}^0(C)[d]`$ est fini (et même trivial si on peut choisir $`d=1`$, i.e., si $`C_0`$ est une section de $`f`$).

Pour prouver que $`b`$ est surjective, il suffit de prouver que $`dim(B)dim(\mathrm{Pic}^0(𝒳))`$ $`dim(\mathrm{Pic}^0(C))`$, ou encore que $`dim(\mathrm{Alb}(C))+dim(B)dim(\mathrm{Alb}(𝒳))`$ (il y aura alors égalité). L’homomorphisme $`\tau :BJ_X`$ est injectif, parce que $`k`$ est un corps de nombres. Son homomorphisme dual Soit $`\tau ^{}:J_XB^{}`$ c’est en fait la $`K/k`$-image de $`J_X`$, cf. \[7, Chapter VIII\]. Notons que par extension des scalaires, et en tenant compte que $`\overline{K}\overline{k}(C)`$, la $`K/k`$-trace et la $`K/k`$-image de $`J_X`$ coïcident avec la $`\overline{K}/\overline{k}`$-trace et la $`\overline{K}/\overline{k}`$-image de $`J_X`$. Choisissons un morphisme fini $`XJ_X`$ défini sur $`K`$ et dont l’image engendre $`J_X`$. En composant avec $`\tau `$, on obtient une application qui se prolonge en une application rationnelle $`𝒳B^{}\times C`$ définie sur $`k`$. En composant avec l’application canonique $`\pi _C:C\mathrm{Alb}(C)`$, on obtient une application, a priori rationnelle $`\alpha :𝒳B^{}\times \mathrm{Alb}(C)`$ qui doit en fait être un morphisme, puisque $`𝒳`$ est lisse (cf. \[7, Chapter II, Theorem 1\]). Ce dernier morphisme induit donc, par la propriété universelle de la variété d’Albanese, un homomorphisme $`\widehat{\alpha }:\mathrm{Alb}(𝒳)B^{}\times \mathrm{Alb}(C)`$ dont on montre qu’il est surjectif, ce qui achève la démonstration de l’exactitude. Pour vérifier que $`\widehat{\alpha }`$ est surjective (donc c’est une isogénie), il faut montrer que $`\alpha (𝒳)`$ engendre la variété abélienne $`B^{}\times \mathrm{Alb}(C)`$. L’image de la fibre générique $`X`$ dans sa Jacobienne $`J_X`$ engendre $`J_X`$, donc son image par $`\tau ^{}`$ engendre $`B^{}`$ et comme l’image $`\pi _C(C)`$ engendre $`\mathrm{Alb}(C)`$, on peut conclure.

Pour l’isomorphisme entre les groupes de cohomologie étale, comme $`\mathrm{Ker}(f^{})`$ est fini, la tensorisation par $`_{\mathrm{}}`$ donne $`H_{\text{ét}}^1(\mathrm{Pic}^0(C),_{\mathrm{}})H_{\text{ét}}^1(\overline{C},_{\mathrm{}})`$, donc l’affirmation sur la trace est immédiate. ∎

Nous passons maintenant à la formule de Shioda-Tate.

L’ensemble $`I_X=\{(D.X)|D\mathrm{Div}(𝒳)\}`$ est un idéal de $``$. Soit $`(D_0.X)`$ un générateur de $`I_X`$, où $`D_0`$ est un diviseur sur $`𝒳`$. Soit $`ı:X𝒳`$ l’inclusion de la fibre générique et $`ı^{}:\mathrm{Div}(𝒳)\text{Div}(X)`$ la restriction des diviseurs à la fibre générique $`X`$. Définissons $`\psi :\text{Pic}(𝒳)J_X`$ par

$$\psi (\text{cl}(D))=ı^{}\left(D\frac{(D.X)}{(D_0.X)}D_0\right).$$

On obtient alors d’après le Lemme ci-dessous (3.7) une suite exacte

(3.2)
$$0\mathrm{Ker}(\psi )\mathrm{Pic}(𝒳)\stackrel{𝜓}{}J_X0.$$

###### Définition 3.5.

Soit $`\stackrel{~}{𝒮}`$ (respectivement $`𝒮`$) le sous-groupe de $`\mathrm{Pic}(𝒳)`$ (respectivement de $`\mathrm{NS}(𝒳)`$) engendré par les classes de $`D_0`$ et des composantes des fibres de $`f`$. On notera respectivement $`\stackrel{~}{𝒮}_{}`$ et $`𝒮_{}`$ les espaces vectoriels obtenus par tensorisation par $``$.

###### Remarque 3.6.

Soit $`𝔭S`$ et $`X_𝔭`$ la fibre générique de $`f_𝔭`$. L’ensemble $`I_{X_𝔭}:=\{(DX_𝔭)|D\mathrm{Div}(𝒳_𝔭)\}`$ est un idéal de $``$. Soit $`𝒟_{1,𝔭}`$ un diviseur de $`𝒳_𝔭`$ tel que $`(𝒟_{1,𝔭}X_𝔭)`$ engendre $`I_{X_𝔭}`$. Soit $`𝒮_𝔭`$ le sous-espace de $`\mathrm{NS}(𝒳_𝔭)`$ engendré par les classes de $`𝒟_{1,𝔭}`$ et des composantes des fibres de $`f_𝔭`$. Pour tout $`𝔭`$ (sauf un nombre fini), $`𝒮_𝔭`$ coïncide avec la réduction de $`𝒮`$ modulo $`𝔭`$. Donc, après avoir élargi si nécessaire $`S`$, on peut supposer cela vrai pour tout $`𝔭`$ hors de $`S`$. En particulier, pour $`𝔭`$ hors de $`S`$, on aura $`\mathrm{Tr}(F_𝔭|𝒮^{I_𝔭})=\mathrm{Tr}(\overline{F}_𝔭|𝒮_𝔭)`$.

###### Lemme 3.7.

L’application $`\psi `$ est surjective et son noyau $`\mathrm{Ker}(\psi )`$ est égal à $`\stackrel{~}{𝒮}`$. Une base de $`𝒮_{}`$ est fournie par les classes de $`D_0`$, d’une fibre lisse $``$ de $`f`$ et par les composantes, sauf une, de chaque fibre singulière non irréductible $`f^1(c)=𝒳_c`$ de $`f`$. Soit $`n_c`$ le nombre des composantes de $`𝒳_c`$. On a en particulier,

$$\mathrm{rang}(𝒮)=2+\underset{cC}{}(n_c1).$$

###### Démonstration.

Soit $`PJ_X`$ tel que $`P`$ représente la classe $`\text{cl}(𝒟)`$ d’un diviseur $`𝒟\text{Div}(X)`$. Soit $`\overline{𝒟}`$ la clôture de Zariski de $`𝒟`$ dans $`𝒳`$. C’est un diviseur de Weil (donc de Cartier, puisque $`𝒳`$ est lisse) et il est immédiat qu’on a $`\psi (\text{cl}(\overline{𝒟}))=P`$, où $`\text{cl}(\overline{𝒟})`$ dénote la classe de $`\overline{𝒟}`$. Ainsi $`\psi `$ est bien surjective.

Il est clair que $`\stackrel{~}{𝒮}\mathrm{Ker}(\psi )`$. Supposons que $`\text{cl}(D)\mathrm{Ker}(\psi )`$. Alors, il existe une fonction $`x\overline{K}(X)`$ telle que $`\text{div}(x)=ı^{}(D((D.X)/(D_0.X))D_0)`$. Soit $`\stackrel{~}{x}`$ une fonction rationnelle sur $`𝒳`$ telle que $`\stackrel{~}{x}_{|X}=x`$. En particulier, $`ı^{}\text{div}(\stackrel{~}{x})=\text{div}(x)`$. Il est clair que, au niveau des diviseurs, $`\mathrm{Ker}(ı^{})`$ est engendré par les classes des composantes irréductibles des fibres $`𝒳_c`$ de $`f`$. Donc $`\text{div}(\stackrel{~}{x})(D((D.X)/(D_0.X))D_0)`$ est une somme des composantes de ces fibres. On en tire bien que $`\text{cl}(D)\stackrel{~}{𝒮}`$ et, par suite $`\mathrm{Ker}(\psi )=\stackrel{~}{𝒮}`$.

Pour la dernière affirmation, il est clair que les classes de l’énoncé forment un système générateur car toutes les fibres sont algébriquement équivalentes. Le fait qu’elles soient indépendantes se vérifie en utilisant la théorie d’intersection et le Lemme 3.1. La formule donnant le rang de $`𝒮`$ est alors immédiate. ∎

###### Proposition 3.8 (Formule de Shioda-Tate).

Il existe un isomorphisme de
$`[G_k]`$-modules

$$\mathrm{NS}(𝒳)\left(\left(\frac{J_X(\overline{k}(C))}{\tau B(\overline{k})}\right)\right)𝒮_{}.$$

En particulier, on a

(3.3)
$$\mathrm{rang}(\mathrm{NS}(𝒳/k))=\mathrm{rang}\left(\frac{J_X(K)}{\tau B(k)}\right)+\mathrm{rang}(𝒮^{G_k}).$$

###### Démonstration.

Remarquons que, si l’on travaille sur les $``$-espaces vectoriels, on peut supposer que $`D_0`$ soit défini sur $`k`$ (la seule différence est que $`(DX)/(D_0X)`$ sera maintenant un nombre rationnel). Les suites exactes (3.1) et (3.2) et le fait que $`\mathrm{Ker}(\psi )=\stackrel{~}{𝒮}`$ nous donnent une suite exacte et scindée après tensorisation par $``$

(3.4)
$$0𝒮\mathrm{NS}(𝒳)\stackrel{\mathit{\vartheta }}{}\frac{J_X(\overline{k}(C))}{\tau B(\overline{k})}0,$$

le résultat en découle. ∎

## 4. Preuve du Théorème 1.3

Soient $`𝒮_{\mathrm{}}(1)=𝒮T_{\mathrm{}}(\overline{k})`$ le “twist” à la Tate du $`G_k`$-module $`𝒮`$ et $`L(𝒮_{\mathrm{}}(1),s)`$ la fonction $`L`$ d’Artin associée à la représentation donnée par $`𝒮_{\mathrm{}}(1)`$. Comme dans , la Proposition 3.8 nous suggère de considérer la fonction $`N(𝒳/k,s)=L_2(𝒳/k,s)/`$ $`L(𝒮_{\mathrm{}}(1),s)`$.

###### Proposition 4.1.

Avec les notations précédentes, on a

(4.1)
$$\mathrm{rang}\left(\frac{J_X(K)}{\tau B(k)}\right)+\underset{s=2}{ord}(N(𝒳/k,s))=\mathrm{rang}(\mathrm{NS}(𝒳/k))+\underset{s=2}{ord}(L_2(𝒳/k,s)).$$

###### Démonstration.

D’après la Proposition 3.8 et la définition de $`N(𝒳/k,s)`$, il suffit de prouver que

$$\underset{s=2}{ord}(L(𝒮_{\mathrm{}}(1),s))=\mathrm{rang}(𝒮^{G_k}).$$

Cela est une conséquence du résultat suivant. ∎

###### Proposition 4.2 (Artin, Brauer).

\[15, Proposition 1.5.1\] Soit $`V`$ un $``$-espace vectoriel de dimension finie avec une action continue de $`G_k`$, et soit $`L(V,s)`$ la fonction $`L`$ d’Artin associée.

1. $`L(V,s)`$ a une continuation méromorphe à $``$.
2. $`L(V,s)`$ est holomorphe sur la droite $`\mathrm{}(s)=1`$ à l’exception éventuelle du point $`s=1`$, où l’on a $`ord_{s=1}(L(V,s))=dim(V^{G_k})`$.
3. $`L(V,s)`$ ne s’annule pas sur la droite $`\mathrm{}(s)=1`$.

###### Proposition 4.3.

On a la formule

(4.2)
$$\frac{d}{ds}(\mathrm{log}(N(𝒳/k,s)))=\underset{𝔭S}{}A_𝔭^{}(𝒳)\frac{\mathrm{log}(q_𝔭)}{q_𝔭^{s1}}+h(s),$$

avec $`h(s)`$ fonction holomorphe sur le demi-plan $`\mathrm{}(s)>3/2`$.

###### Démonstration.

La fonction-zêta de $`𝒳`$ s’écrit comme

$$\zeta (𝒳/k,s)=\underset{i=0}{\overset{4}{}}P_i(s)^{(1)^{i+1}},$$

$`P_i(s)=_𝔭det(1F_𝔭q_𝔭^s|H_{\text{ét}}^i(\overline{𝒳},_{\mathrm{}})^{I_𝔭})^1`$. Notons que $`P_0(s)=\zeta _k(s)`$ et $`P_4(s)=\zeta _k(s+2)`$. En plus $`P_3(s)=P_1(s+1)`$ \[13, 5.6\]. La formule de Lefschetz et la Proposition 3.3 impliquent

(4.3)
$$\mathrm{\#}𝒳_𝔭(\kappa _𝔭)=1a_𝔭(C)a_𝔭(B)+b_𝔭(𝒳)q_𝔭a_𝔭(C)q_𝔭a_𝔭(B)+q_𝔭^2,$$

$`b_𝔭(𝒳)`$ dénote la trace de $`F_𝔭`$ dans $`H_{\text{ét}}^2(\overline{𝒳},_{\mathrm{}})^{I_𝔭}`$. D’autre part par le Lemme 3.2 on a

(4.4) $`\mathrm{\#}𝒳_𝔭(\kappa _𝔭)={\displaystyle \underset{cC_𝔭(\kappa _𝔭)}{}}\mathrm{\#}𝒳_{𝔭,c}(\kappa _𝔭)`$
$`={\displaystyle \underset{cC_𝔭(\kappa _𝔭)}{}}(q_𝔭+1+(m_c1)q_𝔭a_𝔭(𝒳_{𝔭,c}))`$
$`=(q_𝔭+1)\mathrm{\#}C_𝔭(\kappa _𝔭)q_𝔭A_𝔭(𝒳)+\left({\displaystyle \underset{cC_𝔭(\kappa _𝔭)}{}}(m_c1)\right)q_𝔭.`$
Par ailleurs $`\mathrm{\#}C_𝔭(\kappa _𝔭)=q_𝔭+1a_𝔭(C)`$. En tenant compte aussi que $`a_𝔭(B)=O(q_{𝔭}^{}{}_{}{}^{1/2})`$, on obtient de (4.3) et (LABEL:form2a) que

(4.5)
$$q_𝔭A_𝔭^{}(𝒳)=b_𝔭(𝒳)+2q_𝔭+\left(\underset{cC_𝔭(\kappa _𝔭)}{}(m_c1)\right)q_𝔭+O(q_𝔭^{1/2}).$$

Le Frobenius $`\overline{F}_𝔭`$ fixe les classes de $`D_0(mod𝔭)`$ et $`(mod𝔭)`$ et permute les composantes des fibres singulières de $`f_𝔭`$. Donc, la trace de $`\overline{F}_𝔭`$ sur $`𝒮_𝔭`$ est égale à $`2`$ plus le nombre des composantes $`\kappa _𝔭`$-rationnelles, i.e.,

(4.6)
$$\mathrm{Tr}(\overline{F}_𝔭|𝒮_𝔭)=\mathrm{Tr}(F_𝔭|𝒮^{I_𝔭})=2+\underset{cC_𝔭(\kappa _𝔭)}{}(m_c1).$$

Il suit donc de (4.5) et (4.6) que

(4.7)
$$A_𝔭^{}(𝒳)=\frac{b_𝔭(𝒳)}{q_𝔭}+\mathrm{Tr}(F_𝔭|𝒮^{I_𝔭})+O(q_𝔭^{1/2}).$$

On calcule maintenant les dérivées logarithmiques de $`L(𝒮_{\mathrm{}}(1),s)`$ et $`L_2(𝒳/k,s)`$. Pour la première on a

(4.8) $`{\displaystyle \frac{d}{ds}}(\mathrm{log}(L(𝒮_{\mathrm{}}(1),s)))`$ $`={\displaystyle \frac{d}{ds}}\left({\displaystyle \underset{𝔭}{}}\mathrm{log}(det(1F_𝔭q_𝔭^s|𝒮_{\mathrm{}}(1))^{I_𝔭})\right)`$
$`={\displaystyle \underset{𝔭S}{}}\mathrm{Tr}(F_𝔭|𝒮){\displaystyle \frac{\mathrm{log}(q_𝔭)}{q_𝔭^{s1}}}+f_1(s),`$
avec $`f_1(s)`$ holomorphe sur le demi-plan $`\mathrm{}(s)>3/2`$. Pour la deuxième,

(4.9) $`{\displaystyle \frac{d}{ds}}(\mathrm{log}(L_2(𝒳/k,s)))`$ $`={\displaystyle \frac{d}{ds}}\left({\displaystyle \underset{𝔭}{}}\mathrm{log}(det(1F_𝔭q_𝔭^s|H_{\text{ét}}^2(\overline{𝒳},_{\mathrm{}}))^{I_𝔭})\right)`$
$`={\displaystyle \underset{𝔭S}{}}b_𝔭(𝒳){\displaystyle \frac{\mathrm{log}(q_𝔭)}{q_𝔭^s}}+f_2(s),`$
avec une fonction $`f_2(s)`$ holomorphe pour $`\mathrm{}(s)>3/2`$. En effet, pour ce demi-plan les conjectures de Weil (Deligne) nous donnent $`|b_𝔭(𝒳)|q_𝔭dim(H_{\text{ét}}^2(\overline{𝒳},_{\mathrm{}}))`$.

Finalement, par la définition de $`N(𝒳/k,s)`$, (4.8) et (4.9) on obtient

$`{\displaystyle \frac{d}{ds}}(\mathrm{log}(N(𝒳/k,s)))`$ $`={\displaystyle \frac{d}{ds}}(\mathrm{log}(L_2(𝒳/k,s))){\displaystyle \frac{d}{ds}}(\mathrm{log}(L(𝒮_{\mathrm{}}(1),s)))`$
$`={\displaystyle \underset{𝔭S}{}}b_𝔭(𝒳){\displaystyle \frac{\mathrm{log}(q_𝔭)}{q_𝔭^s}}{\displaystyle \underset{𝔭S}{}}\mathrm{Tr}(F_𝔭|𝒮){\displaystyle \frac{\mathrm{log}(q_𝔭)}{q_𝔭^{s1}}}+h_1(s)`$
$`={\displaystyle \underset{𝔭}{}}A_𝔭^{}(𝒳){\displaystyle \frac{\mathrm{log}(q_𝔭)}{q_𝔭^{s1}}}+h_2(s),`$
avec $`h_2(s)`$ holomorphe pour $`\mathrm{}(s)>3/2`$ parce que la série $`_{𝔭S}q_𝔭^{1/2}\frac{\mathrm{log}(q_𝔭)}{q_𝔭^{\sigma 1}}`$ est convergente pour $`\sigma >3/2`$, où $`\mathrm{}(s)=\sigma `$. ∎

###### Démonstration du Théorème 1.3.

Les Propositions 4.1 et 4.3 et la Conjecture 1.1 nous donnent

$`\underset{s=1}{\mathrm{R}\stackrel{´}{\mathrm{e}}\mathrm{s}}\left({\displaystyle \underset{𝔭}{}}A_𝔭^{}(𝒳){\displaystyle \frac{\mathrm{log}(q_𝔭)}{q_𝔭^s}}\right)=\underset{s=2}{\mathrm{R}\stackrel{´}{\mathrm{e}}\mathrm{s}}\left({\displaystyle \frac{d}{ds}}(\mathrm{log}(N(𝒳/k,s)))\right)=\underset{s=2}{ord}(N(𝒳/k,s))`$
$`=\mathrm{rang}(\mathrm{NS}(𝒳))+\mathrm{rang}\left({\displaystyle \frac{J_X(K)}{\tau B(k)}}\right)\underset{s=2}{ord}L_2(𝒳,s)=\mathrm{rang}\left({\displaystyle \frac{J_X(K)}{\tau B(k)}}\right).`$
Par la Proposition 4.2, $`L(𝒮_{\mathrm{}}(1),s)`$ ne s’annule pas sur la droite $`\mathrm{}(s)=2`$. En supposant de plus que $`L_2(𝒳/k,s)`$ ne s’annule pas sur la droite $`\mathrm{}(s)=2`$, on peut appliquer les théorèmes Taubériens standard \[6, Chapter XV\] obtenant

$`\underset{T\mathrm{}}{lim}{\displaystyle \frac{1}{T}}\left({\displaystyle \underset{\begin{array}{c}𝔭S\\ q_𝔭T\end{array}}{}}b_𝔭(𝒳){\displaystyle \frac{\mathrm{log}(q_𝔭)}{q_𝔭}}\right)`$
$`=\underset{s=2}{\mathrm{R}\stackrel{´}{\mathrm{e}}\mathrm{s}}\left({\displaystyle \frac{d}{ds}}(\mathrm{log}(L_2(𝒳/k,s)))\right)=\underset{s=2}{ord}(L_2(𝒳/k,s))`$
et

$`\underset{T\mathrm{}}{lim}{\displaystyle \frac{1}{T}}\left({\displaystyle \underset{\begin{array}{c}𝔭S\\ q_𝔭T\end{array}}{}}\mathrm{Tr}(F_𝔭|𝒮)\mathrm{log}(q_𝔭)\right)`$
$`=\underset{s=2}{\mathrm{R}\stackrel{´}{\mathrm{e}}\mathrm{s}}\left({\displaystyle \frac{d}{ds}}(\mathrm{log}(L(𝒮_{\mathrm{}}(1),s)))\right)=\underset{s=2}{ord}(L(𝒮_{\mathrm{}}(1),s)).`$
En utilisant ces dernières formules, la Proposition 4.1 et la Conjecture 1.1, on peut conclure

$`\underset{T\mathrm{}}{lim}{\displaystyle \frac{1}{T}}\left({\displaystyle \underset{\begin{array}{c}𝔭S\\ q_𝔭T\end{array}}{}}A_𝔭^{}(𝒳)\mathrm{log}(q_𝔭)\right)=\underset{s=2}{ord}(L_2(𝒳/k,s))+\underset{s=2}{ord}(L(𝒮_{\mathrm{}}(1),s))`$
$`=\underset{s=2}{ord}(N(𝒳/k,s))=\mathrm{rang}\left({\displaystyle \frac{J_X(K)}{\tau B(k)}}\right).`$
## 5. Exemples

Les exemples d’application potentielle du résultat sont très nombreux à cause de la proposition classique suivante.

###### Proposition 5.1.

Soit $`𝒳`$ une variété lisse et projective de dimension $`n`$, définie sur un corps infini $`k`$. Quitte à remplacer $`𝒳`$ par son éclatement en un nombre fini de points, il existe une fibration en courbes de genre $`g1`$, disons $`f:𝒳^{n1}`$, également définie sur $`k`$.

###### Démonstration.

Pour le cas des surfaces, la construction d’un pinceau de Lefschetz répond à la question (voir par exemple \[9, Chapter V, Proposition 3.1\]). Dans le cas général où $`dim(𝒳)=n`$, prenons un plongement $`𝒳^N`$ et une projection linéaire (à la Noether) induisant un morphisme fini $`\varphi :𝒳^n`$. Soit $`p_0`$ un point de $`^n`$ situé hors du diviseur de ramification de $`\varphi `$; soit $`\pi :\stackrel{~}{}^n`$ l’éclatement du point $`p_0`$ et $`\pi ^{}:\stackrel{~}{}^{n1}`$ l’application associée (c’est un fibré en droites projectives). Si $`\stackrel{~}{𝒳}`$ est l’éclaté de $`𝒳`$ au-dessus des points de $`\varphi ^1(p_0)`$, on obtient un morphisme fini $`\stackrel{~}{\varphi }:\stackrel{~}{𝒳}\stackrel{~}{}`$ qui, composé avec $`\pi ^{}`$, fournit la fibration en courbes cherchée $`f=\pi ^{}\stackrel{~}{\varphi }:\stackrel{~}{𝒳}^{n1}`$. ∎

###### Remarque 5.2.

En reprenant la construction précédente, on voit qu’on a éclaté $`𝒳`$ en $`d`$ points (avec $`d:=\mathrm{deg}_^N𝒳`$). Si l’on considère $`E`$ l’un des diviseurs exceptionnels sur $`\stackrel{~}{𝒳}`$, il est isomorphe à $`^{n1}`$ et le morphisme $`f_{|E}:E^{n1}`$ est de degré 1 donc est un isomorphisme. La construction fournit donc $`d`$ sections de $`f:\stackrel{~}{𝒳}^{n1}`$ (définies sur une extension finie de $`k`$).

Pour illustrer notre résultat, il convient de choisir des exemples de surfaces $`𝒳`$ pour lesquelles la Conjecture de Tate (Conjecture 1.1) est démontrée. Commençons par la proposition suivante qui est bien connue (par exemple l’argument est donné dans \[15, Theorem 1.8\], pour $`𝒳=^2`$).

###### Proposition 5.3.

Soit $`𝒳,𝒳^{}`$ deux surfaces lisses et projectives définies sur $`k`$. Si $`𝒳`$ et $`𝒳^{}`$ sont $`k`$-birationnellement équivalente alors la conjecture de Tate est vraie pour $`𝒳/k`$ si et seulement si elle est vraie pour $`𝒳^{}/k`$.

###### Démonstration.

En utilisant qu’une application birationnelle entre surfaces lisses est une composition de transformations monoidales et de ses inverses \[5, Chapter V\], on se ramène au cas où on a un morphisme $`\pi :𝒳^{}𝒳`$ composé d’un nombre fini d’éclatements. Chacune de ces transformations rajoute un diviseur exceptionnel $`E`$ au groupe de Néron-Severi et au groupe de cohomologie, c’est-à-dire $`\mathrm{NS}(𝒳^{})\pi ^{}(\mathrm{NS}((𝒳))[E]`$ \[3, Proposition II.3\] et $`H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^2(\overline{𝒳}^{},_{\mathrm{}}))\pi ^{}(H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^2(\overline{𝒳},_{\mathrm{}}))_{\mathrm{}}[E]`$ \[15, p. 255\]. Globalement on obtient donc, en notant $`V`$ le groupe des classes de diviseurs engendré par les diviseurs exceptionnels,

$$\mathrm{NS}(𝒳^{})\mathrm{NS}(𝒳)V\text{ et }H_{\text{ét}}^2(\overline{𝒳}^{},_{\mathrm{}}(1)))H_{\text{ét}}^2(\overline{𝒳},_{\mathrm{}}(1)))(V_{\mathrm{}}(1))$$

Le quotient $`L_2(𝒳^{}/k,s)/L_2(𝒳/k,s)=L(V,s1)`$ est donc une fonction $`L`$ d’Artin en $`s=2`$ (cf. Proposition 4.2) d’ordre

(5.1) $`\underset{s=2}{ord}(L(V,s1))`$ $`=dim((V_{\mathrm{}}(1))^{G_k})`$
$`=dim(H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^2(\overline{𝒳}^{},_{\mathrm{}}(1))^{G_k})dim(H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^2(\overline{𝒳},_{\mathrm{}}(1))^{G_k}).`$
D’autre part on a bien

$$\mathrm{rang}\left(\mathrm{NS}(𝒳^{}/k)\right)\mathrm{rang}\left(\mathrm{NS}(𝒳/k)\right)=dim((V_{\mathrm{}}(1))^{G_k})$$

d’où le résultat. ∎

Dans tous les cas où elle est démontrée, la Conjecture 1.1 peut en fait se décomposer en deux parties (cf. , ) dont la conjonction entraîne visiblement le résultat cherché:

* (Conjecture de Tate I)

(5.2)
$$\mathrm{NS}(𝒳/k)_{\mathrm{}}H_{\text{ét}}^2(\overline{𝒳},_{\mathrm{}}(1))^{G_k}$$
* (Conjecture de Tate II) *On a l’égalité*

(5.3)
$$\underset{s=2}{ord}L_2(𝒳/k,s)=dimH_{\text{ét}}^2(\overline{𝒳},_{\mathrm{}}(1))^{G_k}.$$

L’article de Rosen et Silverman  décrit de nombreux exemples de surfaces (elliptiques) vérifiant la Conjecture 1.1. Nous rassemblons dans le remarque suivant la plupart des résultats connus (cf. , ) en les ordonnant selon la classification des surfaces, notamment selon leur dimension de Kodaira notée $`\kappa (𝒳)`$ (cf.  et ).

###### Remarque 5.4.

Soit $`𝒳`$ une surface lisse et projective définie sur un corps de nombres $`k`$. La Conjecture de Tate I est vérifiée dans les cas suivants:

1. La surface est rationnelle ou réglée ($`\kappa (𝒳)=\mathrm{}`$).
2. La surface $`𝒳`$ est une surface K3, une surface d’Enriques, une surface abélienne ou une surface bi-elliptique($`\kappa (𝒳)=0`$).
3. La surface est le produit d’une courbe de genre 1 par une courbe de genre $`2`$ ($`\kappa (𝒳)=1`$).
4. La surface est un produit de courbes de genre $`2`$, une surface modulaire de Hilbert ou une surface de Fermat ($`\kappa (𝒳)=2`$).

La Conjecture de Tate II et donc la conjecture (1.1) sont également vérifiées dans tous les cas les suivants (a fortiori la conjecture de Nagao généralisée est vérifiée pour toute fibration d’une de ces surfaces au-dessus d’une courbe (versions analytique et Taubérienne)):

1. La surface est rationnelle ou réglée ($`\kappa (𝒳)=\mathrm{}`$).
2. La surface est une surface K3 singulière ou de “type CM”, une surface abélienne CM ou facteur d’une Jacobienne de courbe modulaire ($`\kappa (𝒳)=0`$).
3. Une surface qui est produit d’une courbe modulaire de genre 1 par une courbe modulaire de genre $`2`$ ($`\kappa (𝒳)=1`$).
4. La surface est une surface modulaire de Hilbert ou une surface de Fermat ($`\kappa (𝒳)=2`$).

Dans le cas où $`\kappa (𝒳)=\mathrm{}`$ les classes de diviseurs engendrent $`H_{\stackrel{´}{\mathrm{e}}\mathrm{t}}^2(\overline{𝒳},_{\mathrm{}}(1))`$, donc l’application des classes est déjà un isomorphisme, en particulier les Conjectures I et II de Tate sont satisfaites. Nous renvoyons à \[13, p. 237\] pour l’affirmation (et les références) que la Conjecture de Tate I est connue pour les variétés abéliennes (Faltings), les surfaces K3 (Deligne), les surfaces modulaires de Hilbert (Murty-Ramakrishnan) et les surfaces de Fermat (Shioda).

Les résultats de Faltings entraînent également que la Conjecture de Tate I est vraie pour un produit de courbes (voir par exemple \[21, Theorem 5.2\]). Ajoutons que, si $`𝒳^{}𝒳`$ est un morphisme surjectif, alors la Conjecture de Tate I pour $`𝒳^{}`$ entraîne relativement aisément la Conjecture de Tate I pour $`𝒳`$ (voir \[21, Theorem 5.2\]). Or les surfaces d’Enriques (resp. les surfaces bi-elliptiques) possèdent un revêtement par une surface K3 (resp. une surface abélienne). La Conjecture de Tate I est donc vérifiée dans tous les exemples cités.

Nous renvoyons à \[13, p. 242\] pour l’affirmation (et les références) que la Conjecture de Tate II est connue pour les surfaces abéliennes de type CM ou facteurs de jacobiennes de courbes modulaires (dû pour l’essentiel à Shimura), les surfaces modulaires de Hilbert (Murty-Ramakrishnan) et les surfaces de Fermat (Shioda). Le cas des surfaces K3 singulières est dû à Shioda, celui des surfaces K3 de “type CM” peut se déduire du cas des surfaces abéliennes. Le cas de produit de courbes modulaires peut être traité par la méthode de Rankin. Dans chaque cas on réussit à exprimer $`L_2(𝒳/k,s)`$ comme produit de fonctions $`L`$ associées à une forme modulaire ou à un caractère de Hecke et on sait donc que $`L_2`$ ne s’annule pas sur $`\mathrm{}(s)=2`$.

###### Remarque 5.5.

1. On appelle ici surface K3 de “type CM” celles pour lesquelles le motif est de type CM, i.e., sa fonction $`L`$ est produit de fonctions $`L`$ associées à des Grössencharacter de Hecke. Pour une variété abélienne de type CM, Pohlman montre dans  que la conjecture de Tate est équivalente à la conjecture de Hodge pour ces variétés. De plus la conjecture de Hodge est vraie en codimension 1, d’après un résultat de Lefschetz. En particulier, elle est vraie pour les surfaces abéliennes de type CM. L’argument pour les surfaces K3 de type CM est similaire à .
2. Les surfaces de Fermat sont les hypersurfaces de $`^3`$ données par une équation $`a_0x_0^d+a_1x_1^d+a_2x_2^d+a_3x_3^d=0`$ (si $`d3`$ c’est une surface rationnelle, si $`d=4`$ c’est une surface K3 de “type CM” et si $`d5`$, c’est une surface de type général avec $`\kappa (𝒳)=2`$).

###### Exemple 5.6.

Donnons un exemple concret en genre $`g`$ quelconque, essentiellement tiré de . Soit $`P(x)=x^{2g+1}+p_{2g}x^{2g}+\mathrm{}+p_0`$ un polynôme séparable de $`k[x]`$, on définit alors la courbe $`X`$ sur $`k(t)`$ comme la courbe lisse projective dont un ouvert affine est donné par

$$y^2=x^{2g+1}+p_{2g}x^{2g}+\mathrm{}+p_0+t^2.$$

Si $`f:𝒳^1`$ est une fibration d’une surface projective lisse définie sur $`k`$ dont la fibre générique est $`X`$, on voit que $`𝒳`$ est $`k`$-rationnelle (en effet la surface est birationnelle à la surface d’équation $`uv=P(x)`$). Comme $`\mathrm{Pic}^0(𝒳)=0`$, on a aussi $`B=0`$. Soit $`O`$ le point à l’infini de $`X`$ et $`P_i=(e_i,t)`$ (respectivement $`P_i^{}=(e_i,t)`$) les points de $`X(\overline{k}(t))`$ correspondant aux zéros de l’équation $`P(x)=0`$. On voit tout de suite que, si on plonge $`X`$ dans $`J_X`$ en prenant $`O`$ comme point base, on a les relations $`P_i+P_i^{}=0`$ et $`P_1+\mathrm{}+P_{2g+1}=0`$. On sait par Shioda  que $`\mathrm{rang}(J_X(\overline{k}(t)))=2g`$ et que les points $`P_1,\mathrm{},P_{2g}`$ forment un système générateur. Supposons de plus $`e_ik`$, ou encore $`P_iX(k(t))`$ alors on a aussi $`\mathrm{rang}(J_X(k(t)))=2g`$ et donc, dans l’exemple présent $`A_𝔭^{}(𝒳)=A_𝔭(𝒳)`$ et on a

$$\underset{T\mathrm{}}{lim}\frac{1}{T}\left(\underset{\begin{array}{c}𝔭S\\ q_𝔭T\end{array}}{}A_𝔭(𝒳)\mathrm{log}(q_𝔭)\right)=2g.$$

Si l’on ne suppose plus que $`P`$ a toutes ses racines dans $`k`$ on doit remplacer $`2g`$ par le nombre de facteurs moins un dans la décomposition en facteurs irréductibles de $`P`$ dans $`k[x]`$.

###### Exemple 5.7.

Donnons un autre exemple avec cette fois une $`(t)/`$-trace non nulle, ce qui rend donc indispensable de considérer la trace moyenne réduite des Frobenius. Soit $`X`$ la courbe lisse projective définie sur $`(t)`$ dont un ouvert affine est donné ainsi :

$$U:=\{(x,y,z)𝔸^3|y^2(xa)(xb)(xc)=z^2x(x1)(xt)=0\},$$

$`a,b,c^{}\{1\}`$ sont distincts. Soit $`V`$ la surface affine lisse définie sur $``$ ainsi :

$$V:=\{(x,y,z,t)𝔸^4|y^2(xa)(xb)(xc)=z^2x(x1)(xt)=0\text{et}t0\}$$

et munie de la fibration $`f(x,y,z,t)=t`$ de $`V`$ vers $`𝔸^1\{0\}`$. On peut construire une surface lisse projective $`𝒳/`$ munie d’une fibration notée encore $`f`$ de $`𝒳`$ vers $`^1`$ telle que sa restriction à $`V`$ soit la fibration $`f:V𝔸^1\{0\}`$. La fibre générique de $`f:𝒳^1`$ est naturellement $`X/(t)`$. Introduisons les courbes lisses projectives définies par l’équation d’un ouvert affine

$$\begin{array}{c}E_1/:y^2=(xa)(xb)(xc),E_2/(t):z^2=x(x1)(xt)\text{et}\hfill \\ \hfill C_1/(t):w^2=x(x1)(xt)(xa)(xb)(xc).\end{array}$$

Le genre de $`E_1`$ et $`E_2`$ est 1, le genre de $`C_1`$ est $`2`$ et le genre de $`X`$ est 4. L’application $`\pi :VE_1`$ donnée par $`\pi (x,y,z,t)=(x,y)`$ a pour fibres des coniques. Ainsi la surface $`𝒳`$ est birationnelle à une surface réglée au dessus de $`E_1`$ et la conjecture de Tate est donc vérifiée pour cette surface; de plus ceci montre aussi que $`E_1`$ est la variété d’Albanese de $`𝒳`$ et par conséquent également sa $`(t)/`$-trace car $`E_1=E_1^{}`$. On peut montrer que $`J_X`$ est isogène à $`E_1\times E_2\times J_{C_1}`$. On a donc

$$\mathrm{rang}(J_X((t))/E_1())=\mathrm{rang}(E_2((t)))+\mathrm{rang}(J_{C_1}((t))).$$

Il est bien connu que $`\mathrm{rang}(E_2((t)))=0`$. En utilisant une 2-descente, on peut montrer que $`\mathrm{rang}(J_{C_1}((t)))=1`$ (avec comme générateur d’un sous-groupe d’indice fini la différence des deux points à l’infini de $`C_1`$), pour un choix assez général de $`a,b,c^{}`$. Si l’on pose comme précédemment

$$A_𝔭^{}(𝒳):=\frac{1}{q_𝔭}\left(\underset{c^1(\kappa _𝔭)}{}a_𝔭(𝒳_c)\right)a_𝔭(E_1),$$

on obtient donc en appliquant le Théorème 1.3:

$$\underset{T\mathrm{}}{lim}\frac{1}{T}\left(\underset{\begin{array}{c}𝔭S\\ q_𝔭T\end{array}}{}A_𝔭^{}(𝒳)\mathrm{log}(q_𝔭)\right)=1.$$

Nous terminerons en notant deux corollaires du Théorème 1.3.

###### Corollaire 5.8.

La conjecture de Tate pour les surfaces est équivalente à la conjecture analytique de Nagao (généralisée).

###### Démonstration.

La conjecture de Tate entraîne la conjecture analytique de Nagao d’après le Théorème 1.3. Inversement si $`𝒳/k`$ est une surface, elle est birationnelle à $`𝒳^{}/k`$ possédant une fibration en courbes sur $`^1`$, donc la conjecture de Nagao analytique entraîne la conjecture de Tate pour $`𝒳^{}/k`$ (cf. Proposition 4.1) et donc pour $`𝒳/k`$ d’après la Proposition 5.3. ∎

###### Corollaire 5.9.

La conjecture analytique de Nagao (généralisée) pour les fibrations au dessus de $`^1`$ entraîne la conjecture analytique de Nagao (généralisée) pour les fibrations au dessus d’une courbe quelconque $`C`$.

###### Démonstration.

D’après l’argument précédent, la conjecture pour les fibrations sur $`^1`$ suffit à entraîner la conjecture de Tate, et cette dernière entraîne la conjecture analytique de Nagao. ∎


format: text

text:
# In-plane magnetic reorientation in coupled ferro- and antiferromagnetic thin films

On leave from the \]Institut für Theoretische Physik, Freie Universität Berlin, Arnimallee 14, D-14195 Berlin, Germany; jensen@physik.fu-berlin.de

## Abstract

By studying coupled ferro- (FM) and antiferromagnetic (AFM) thin film systems, we obtain an in-plane magnetic reorientation as a function of temperature and FM film thickness. The interlayer exchange coupling causes a uniaxial anisotropy, which may compete with the intrinsic anisotropy of the FM film. Depending on the latter the total in-plane anisotropy of the FM film is either enhanced or reduced. Eventually a change of sign occurs, resulting in an in-plane magnetic reorientation between a collinear and an orthogonal magnetic arrangement of the two subsystems. A canted magnetic arrangement may occur, mediating between these two extremes. By measuring the anisotropy below and above the Néel temperature the interlayer exchange coupling can be determined. The calculations have been performed with a Heisenberg-like Hamiltonian by application of a two-spin mean-field theory.

The interface between coupled ferro- (FM) and antiferromagnetic (AFM) films or particles has been attracted much interest recently, in particular due to the renewed interest in exchange biased systems for application in magnetoresistive sensors.NoS99 ; Kiw01  Of particular interest is the case of a ’compensated’ AFM interface with an equal number of positive and negative exchange interactions across the interface. By considering only exchange couplings, it has been shown by N.C. Koon that the most stable magnetic arrangement for such an interface is an orthogonal magnetic orientation of the FM and AFM subsystems.Koo97  A nonvanishing magnetic binding energy is obtained if the magnetic moments of the AFM are allowed to deviate from their equilibrium AFM arrangement, exhibiting thus a noncollinear AFM magnetization with a small component parallel or antiparallel to the FM, the ’spin-flop-phase’.HiM86  From the viewpoint of the FM film, the net magnetic binding energy introduces an in-plane uniaxial magnetic anisotropy $`K_{\mathrm{int}}`$.ScB98  A simple estimaterem1  yields the strength of this interface anisotropy to be of the order $`K_{\mathrm{int}}(J_{\mathrm{int}})^2/|J_{\mathrm{AFM}}|`$, with $`J_{\mathrm{int}}`$ the interlayer exchange coupling between neighboring FM and AFM spins across the interface, and $`J_{\mathrm{AFM}}`$ the exchange coupling in the AFM system. Experimentally, collinear as well as orthogonal magnetic arrangements of coupled FM-AFM systems have been observed.NoS99 ; MNL98

Evidently, the magnetic direction of the FM film depends also on its intrinsic anisotropy $`K_{\mathrm{FM}}`$. If $`K_{\mathrm{int}}`$ and $`K_{\mathrm{FM}}`$ favor the same in-plane easy axis, the total anisotropy is enhanced.Jen01  If the two anisotropic contributions favor different magnetic directions, an in-plane magnetic reorientation may occur as a function of the FM film thickness, since $`K_{\mathrm{int}}`$ is proportional to the interface area, whereas $`K_{\mathrm{FM}}`$ is porportional to the volume of the FM film.

Quite interestingly, also a different temperature behavior of these two competing anisotropies may result in an in-plane magnetic reorientation. At finite temperatures $`T`$ the magnetic direction is determined by effective, temperature dependent anisotropies $`𝒦(T)`$, which depend on $`T`$ mainly through the relative magnetization $`M(T)`$ as can be shown by a perturbative treatment.CaC66 ; JeB98  In the present case of a coupled FM-AFM system the main reason for the different behavior of $`𝒦_{\mathrm{FM}}(T)`$ and $`𝒦_{\mathrm{int}}(T)`$ is the different ordering temperature of the two subsystems. If the Curie temperature $`T_C`$ of the FM film is larger than the Néel temperature $`T_N`$ of the AFM system, then for $`T>T_N`$ the magnetic direction of the FM film is exclusively determined by $`𝒦_{\mathrm{FM}}(T)`$, whereas below $`T_N`$ it depends on the relative strength of $`𝒦_{\mathrm{FM}}(T)`$ and $`𝒦_{\mathrm{int}}(T)`$. Hence, the total anisotropy of the FM film $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)=𝒦_{\mathrm{FM}}(T)+𝒦_{\mathrm{int}}(T)`$ possibly exhibits a change of sign as a function of temperature, and an in-plane magnetic reorientation occurs.

To our knowledge, such a magnetic reorientation in coupled FM-AFM thin film systems has not been reported yet. In the present study we will investigate this phenomenon by determining the magnetic arrangement and the temperature dependent anisotropies $`𝒦_{\mathrm{FM}}(T)`$ and $`𝒦_{\mathrm{int}}(T)`$. A Heisenberg-like Hamilton operator is applied with localized quantum spins Si and spin quantum number $`S=1`$ on a simple cubic (001) lattice:

$$=\frac{1}{2}\underset{\mathrm{}i,j\mathrm{}}{}J_{ij}𝐒_i𝐒_j\underset{i}{}K_i(S_i^z)^2.$$
(1)
The FM and AFM films are assumed to consist of $`n_{\mathrm{FM}}`$ and $`n_{\mathrm{AFM}}`$ atomic layers, spanned by the $`xz`$-plane. A compensated AFM interface is considered, which is accounted for by using two sublattices per layer.noncom  The exchange interaction $`J_{ij}`$ couples nearest neighbor spins on lattice sites $`i`$ and $`j`$. Caused by the shape anisotropy resulting from the dipole interaction, the magnetizations $`𝐌_i=\mathrm{}𝐒_i\mathrm{}`$ are confined to the film plane. Furthermore, we assume a layer-dependent second order in-plane uniaxial anisotropy $`K_i`$, favoring for $`K_i>0`$ an easy axis along the $`z`$\- and for $`K_i<0`$ along the $`x`$-direction.rem2  The FM and AFM subsystems are characterized by the exchange couplings $`J_{\mathrm{FM}}`$ and $`J_{\mathrm{AFM}}`$, and by the intrinsic anisotropies $`K_{\mathrm{FM}}`$ and $`K_{\mathrm{AFM}}`$. For these quantities typical values are taken into account. An anisotropy for the AFM is required, since otherwise it will start to rotate in accordance with the FM film. We do not distinguish here between surface or interface anisotropies different from those of the film interior layers, although they might differ considerably.HeB94  FM and AFM are coupled across the interface by the interlayer exchange coupling $`J_{\mathrm{int}}`$.

The site-dependent in-plane magnetizations $`𝐌_i(T)`$ and free energies $`F_i(T)`$ are calculated within a mean field theory. To take into account at least partly the strong correlations in the AFM, we apply here a two-spin-cluster (Oguchi-) method,Ogu55  with both spins located in the same layer. Within this method the interactions in the cluster are treated exactly, whereas the remaining system is considered by a molecular field. The free energies and expectation values are determined by diagonalizing the corresponding two-spin matrices. We emphasize that the effective anisotropies are neither approximated by the low-temperature estimateCaC66  $`𝒦(T)M^{l(l+1)}(T)`$, $`l`$ the order of the anisotropy, nor by a thermodynamic perturbation theory.JeB98  This allows for an appropriate treatment of the anisotropies also near and above ordering temperatures.

Caused by $`J_{\mathrm{int}}`$ the spins of the AFM layers especially close to the interface may deviate from their undisturbed equilibrium directions. For simplicity, due to the strong FM exchange interaction a collinear magnetization of the whole FM film is assumed, which will be rotated by the in-plane angle $`\varphi _{\mathrm{FM}}`$. The magnetizations $`|𝐌_{\mathrm{i},\mathrm{FM}}|(T)`$ of the FM layers, and the two magnetization components $`M_{\mathrm{i},\mathrm{AFM}}^x(T)`$ and $`M_{\mathrm{i},\mathrm{AFM}}^z(T)`$ of the AFM layers are determined by minimizing the total free energy $`F(T,\varphi _{\mathrm{FM}})=_iF_i(T,\varphi _{\mathrm{FM}})`$ with the help of a conjugated gradient method. The minimum of $`F(T,\varphi _{\mathrm{FM}})`$ yields the equilibrium angle $`\varphi _{0,\mathrm{FM}}`$ of the FM film magnetization. The total anisotropy $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ per FM spin is calculated from the free energy difference between the orthogonal ($`\varphi _{\mathrm{FM}}=\pi /2`$) and the collinear ($`\varphi _{\mathrm{FM}}=0`$) magnetic arrangement:

$$𝒦_{\mathrm{tot},\mathrm{FM}}(T)=\frac{1}{n_{\mathrm{FM}}}\left[F(T,\varphi _{\mathrm{FM}}=\pi /2)F(T,\varphi _{\mathrm{FM}}=0)\right].$$
(2)
The following results are calculated assuming representative values for the exchange and anisotropy parameters in units of $`J_{\mathrm{FM}}`$. If not stated otherwise, we use $`J_{\mathrm{AFM}}/J_{\mathrm{FM}}=0.5`$ and $`|K_{\mathrm{FM}}/J_{\mathrm{FM}}|=K_{\mathrm{AFM}}/J_{\mathrm{FM}}=0.01`$. For the thicknesses of the FM and AFM films we assume $`n_{\mathrm{FM}}=5`$ and $`n_{\mathrm{AFM}}=10`$. From these values the critical temperatures $`T_C/J_{\mathrm{FM}}=3.68`$ and $`T_N/J_{\mathrm{FM}}=1.92`$ are obtained for $`J_{\mathrm{int}}=0`$.

In Fig.1 we show the total effective anisotropy per FM spin as a function of temperature $`T`$, where we depict different scenarios. A positive value of $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ favors a magnetic direction of the FM film along the $`z`$-axis collinear to the AFM magnetization (collinear arrangement), and a negative value a direction along the $`x`$-axis (orthogonal arrangement). The solid line (a) refers to the intrinsic anisotropy $`𝒦_{\mathrm{FM}}(T)`$ of the FM film for the uncoupled case ($`J_{\mathrm{int}}=0`$). $`𝒦_{\mathrm{FM}}(T)`$ decreases with increasing temperature and vanishes for $`T>T_C`$, as has been calculated and measured for many different FM thin film systems.HeB94  This does not imply that the underlying spin-orbit coupling varies with temperature. Rather due to the increasing thermal agitation the ability of the anisotropy to maintain a particular direction of the magnetization decreases. The dashed line (b) shows the interface anisotropy $`𝒦_{\mathrm{int}}(T)`$ for a vanishing intrinsic FM anisotropy, assuming $`J_{\mathrm{int}}/J_{\mathrm{FM}}=0.4`$. Evidently, $`𝒦_{\mathrm{int}}(T)`$ assumes a finite value for an ordered AFM phase, and disappears above the Néel temperature $`T_N`$. If both anisotropic contributions are present, the resulting total effective anisotropy $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ is approximately given by the sum of $`𝒦_{\mathrm{int}}(T)`$ and $`𝒦_{\mathrm{FM}}(T)`$, see the dot-dashed line (c). Finally, by assuming $`K_{\mathrm{FM}}/J_{\mathrm{FM}}=0.01`$ the dotted line (d) refers to the case of an intrinsic FM anisotropy favoring the same easy axis than $`K_{\mathrm{int}}`$. Therefore, the absolute value $`|𝒦_{\mathrm{tot},\mathrm{FM}}(T)|`$ may be either reduced (c) or enhanced (d) by the interlayer exchange coupling. We emphasize that for the former case the two anisotropies $`𝒦_{\mathrm{FM}}(T)`$ and $`𝒦_{\mathrm{int}}(T)`$ compete, resulting possibly in a change of sign of $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$, and thus in an in-plane magnetic reorientation of the FM film with varying temperature.

Such a magnetic reorientation can be observed in Fig.2, where we present $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ for different values of the interlayer exchange coupling $`J_{\mathrm{int}}`$ and for the FM film thickness $`n_{\mathrm{FM}}=5`$. Furthermore, Fig.3 shows $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ for different $`n_{\mathrm{FM}}`$, assuming $`J_{\mathrm{int}}/J_{\mathrm{FM}}=0.4`$. The chosen parameters yield $`T_C>T_N`$. As mentioned, $`K_{\mathrm{FM}}`$ favors an easy axis collinear to the AFM magnetization. $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ changes sign at the reorientation temperature $`T_R`$ for a strong $`J_{\mathrm{int}}`$ or for a small $`n_{\mathrm{FM}}`$. For $`T>T_R`$ a collinear, and for $`T<T_R`$ preferably an orthogonal magnetic arrangement results. This can be seen from the continuously varying equilibrium FM angles $`\varphi _{0,\mathrm{FM}}`$, which are also depicted in Figs.2,3. We emphasize that the orthogonal arrangement ($`\varphi _{0,\mathrm{FM}}=\pi /2`$) is not always realized. Rather, dependent on the interaction parameters a canted magnetic arrangement between the FM and the AFM subsystems may occur, characterized by an equilibrium angle $`0<\varphi _{0,\mathrm{FM}}<\pi /2`$. In this case the free energy $`F(T,\varphi _{\mathrm{FM}})`$ as a function of $`\varphi _{\mathrm{FM}}`$ exhibits four minima rather than two as for a simple uniaxial anisotropy.ZSS01  A two-fold symmetry is still present. For very strong $`J_{\mathrm{int}}`$ also hysteresis effects may occur by varying $`\varphi _{\mathrm{FM}}`$, accompanied by sudden jumps of the AFM spin angles $`\varphi _i`$ (spin-flop-transition).HiM86 ; ScB98 ; CrC01  The AFM film exhibits a noncollinear, spin-flop-like magnetic arrangement for $`\varphi _{0,\mathrm{FM}}>0`$. Furthermore, an in-plane magnetic reorientation with an increasing FM film thickness $`n_{\mathrm{FM}}`$ for a constant temperature can be observed in Fig.3. A small value for $`|𝒦_{\mathrm{tot},\mathrm{FM}}(T)|`$ may occur, corresponding to a very soft ferromagnet. We note that $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ does not depend on the sign of $`J_{\mathrm{int}}`$, consistent with the estimaterem1  $`K_{\mathrm{int}}(J_{\mathrm{int}})^2/|J_{\mathrm{AFM}}|`$. The disturbance of the AFM spins in the spin-flop-phase decreases rapidly with increasing distance from the interface.Jen01

In addition, we present results for the case for which the Curie temperature $`T_C`$ is smaller than the Néel temperature $`T_N`$. The correspondent $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ is shown in Fig.4 for different interlayer exchange couplings $`J_{\mathrm{int}}`$. By assuming $`n_{\mathrm{FM}}=1`$ and $`J_{\mathrm{AFM}}/J_{\mathrm{FM}}=0.75`$, we obtain $`T_C/J_{\mathrm{FM}}=2.47`$ and $`T_N/J_{\mathrm{FM}}=2.90`$. An in-plane magnetic reorientation of the FM film close to $`T_C`$ is obtained, if $`J_{\mathrm{int}}`$ is not too strong. However, the order of the respective magnetic arrangements is reversed with respect to the case $`T_C>T_N`$. In the range $`T_C<T<T_N`$ a small magnetic order and a small interface anisotropy $`𝒦_{\mathrm{int}}(T)`$ is induced in the FM film, resulting in an orthogonal magnetic arrangement. For $`T<T_C`$ the intrinsic FM anisotropy $`𝒦_{\mathrm{FM}}(T)`$ becomes increasingly important and may cause a magnetic reorientation into the collinear arrangement with a decreasing temperature. Furthermore, an intermediate value of $`J_{\mathrm{int}}`$ can result in a reentrant magnetic behavior, i.e. at lower temperatures a second reorientation into a canted magnetic arrangement takes place. This behavior can be observed from the equilibrium angle $`\varphi _{0,\mathrm{FM}}`$, which is also shown in Fig.4 for $`J_{\mathrm{int}}/J_{\mathrm{FM}}=0.2`$. A continuous variation of $`\varphi _{0,\mathrm{FM}}`$ is obtained for low temperatures, and a discontinuous one close to $`T_C`$, accompanied by a hysteretic behavior. Note that the results are obtained under the assumption that the magnetization of the FM film stays always parallel. This assumption is questionable for temperatures $`T_C<T<T_N`$.

The strength of $`J_{\mathrm{int}}`$ is not well known. It depends on the material combination, the morphologyy, and the presence of impurities near the interface. It has been proposed to measure $`J_{\mathrm{int}}`$ by applying an external magnetic field, inducing a spin-flop transition in the AFM subsystem.CrC01  However, to create such a spin-flop transition the magnetic field must possibly be very strong. We propose that $`J_{\mathrm{int}}`$ can be determined by measuring the total anisotropy $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ of the FM film above and below $`T_N`$, requiring $`T_N<T_C`$.

In coupled FM-AFM systems also the exchange bias or the unidirectional anisotropy is observed,NoS99 ; Kiw01  which is characterized by an asymmetric hysteresis loop. Whereas the origin of this important quantity is still not completely resolved, the occurrence of the exchange bias is most likely caused by a certain amount of interface roughness, defects, and noncompensated AFM spins,ScB98 ; TKB97  accompanied possibly by a domain phase in the AFM subsystem.Mal86  In the actual study this phenomenon has not been adressed.

To conclude, we point out the possibility of an in-plane magnetic reorientation in coupled FM-AFM thin films. By application of a mean field theory we have calculated the effective magnetic anisotropy, the magnetic arrangement, and the equilibrium direction of the FM film for such systems. The interlayer exchange coupling $`J_{\mathrm{int}}`$ causes an interface anisotropy $`𝒦_{\mathrm{int}}(T)`$, which adds to the intrinsic anisotropy $`𝒦_{\mathrm{FM}}(T)`$ of the FM film, and vanishes above the Néel temperature $`T_N`$ of the AFM system. Depending on the sign of $`𝒦_{\mathrm{FM}}(T)`$, the total anisotropy $`𝒦_{\mathrm{tot},\mathrm{FM}}(T)`$ of the FM film may be enhanced as well as be reduced, see Fig.1. For competing intrinsic and interlayer anisotropies a magnetic reorientation of the FM film magnetization may occur with increasing temperature $`T`$ or a varying FM film thickness $`n_{\mathrm{FM}}`$, as shown in Figs.2 – 4. The main reason for the temperature induced in-plane reorientation is the different ordering temperature of the two subsystems, causing a different temperature dependency of $`𝒦_{\mathrm{FM}}(T)`$ and $`𝒦_{\mathrm{int}}(T)`$. The magnetizations of the FM and AFM films can be either collinear or orthogonal to each other. In addition a canted magnetic arrangement may occur. Hence, the assumption that the magnetic structures in coupled FM-AFM systems are either collinearMal86  or orthogonalKiw01 ; Koo97  is not always true. The noncollinear, spin-flop-like arrangement of the AFM spinsHiM86 ; ScB98  for $`\varphi _{0,\mathrm{FM}}>0`$ vanishes rapidly with increasing distance from the FM-AFM interface.
Numerous discussions with M. Alouani are gratefully acknowledged. P.J.J. acknowledges financial support from the European Union TMR ’Interface Magnetism’, grant No. ERBFMXCT 96 - 0089.