The cuspidal torsion packet on hyperelliptic Fermat quotients

Abstract

Soit l ≥ 7 un nombre premier, soit C la courbe projective lisse definie sur Q par le modele affine y(1 -y) = x l , soit oo le point a l'infini de ce modele de C, soit J la jacobienne de C et soit O: C→J le morphisme d'Abel-Jacobi associe a oo. Soit Q une cloture algebrique de Q. Nous traitons ici un cas non couvert dans [12], en montrant que O(C) ∩ J tors (Q) est compose de l'image par O des points de Weierstrass de C ainsi que les points (x, y) = (0,0) et (0,1) de C. Ici, J tors designe les points de torsion de J.