logo IMB
Retour

Séminaire de Théorie des Nombres

Étude locale des torseurs sous une courbe elliptique

Jilong Tong

( Univ. Bordeaux 1 )

Salle de Conférences

le 17 septembre 2010 à 14:00

Soit OK\mathcal{O}_K un anneau de valuation discrète complet, à corps résiduel kk algébriquement clos de caractéristique p>0p > 0, à corps des fractions KK, et soit πOK\pi \in \mathcal{O}_K une uniformisante de OK\mathcal{O}_K. Notons S=Spec(OK)S = \mathrm{Spec}(\mathcal{O}_K), avec ss le point fermé. Soit JKJ_K une courbe elliptique sur KK, et notons N\mathcal N son SS-modèle de Néron, J=NJ = \mathcal N^{\circ} sa composante neutre. Donnons-nous par ailleurs un torseur XKX_K sous JKJ_K d'ordre dd, et soit XX le SS-modèle propre minimal régulier de XKX_K. En général, XX n'est pas cohomologiquement plat, et son foncteur de Picard PicX/S\mathrm{Pic}^\circ_{X/S} n'est pas représentable, même par un espace algébrique en général. C'est connu qu'il existe un épimorphisme (pour la topologie fppf) de foncteurs en groupes naturel q:PicX/SJq : \mathrm{Pic}^\circ_{X/S} \rightarrow J qui prolonge l'isomorphisme de bidualité sur la fibre générique. De plus, le pgcd des multiplicités des composantes irréductibles de XsX_s est dd. Il existe donc un faisceau inversible d'idéaux I\mathcal I de OX\mathcal O_X tel que Id=πOXOX\mathcal I^d = \pi \mathcal{O}_X \subset \mathcal O_X. Dans cet exposé, on va étudier les faisceaux inversibles sur XX en relation avec la filtration I\mathcal I-adique, et ensuite montrer que le morphisme qq ci-dessus est compatible avec la filtration I\mathcal I-adique sur PicX/S(S)\mathrm{Pic}^\circ_{X/S}(S), et la filtration π\pi-adique sur J(S)J(S). Tout ceci se dit agréablement sur les réalisations de Greenberg de PicX/S\mathrm{Pic}^\circ_{X/S} et JJ. Cette étude conduit aussi aux fonctions de Herbrand, similaires à celles rencontrées par Serre dans sa description du corps de classes local.