1999/03/24 by Dino J. Lorenzini, Lorenzini, Dino J.
Mathematics · #FOS: Mathematics #Number Theory (math.NT) #math.NT
paper · pdf · doi:10.48550/arxiv.math/9903209
Abstract edited in migration
arxiv created 1999/03/24 · arxiv updated 2009/12/01
Let K be a complete discrete valuation field with ring of integers \coK. Let X/K be a proper smooth curve and let A/K denote its jacobian. Let P and Q belong to X(K). The divisor P - Q defines a K-rational point of A/K. In this article, we study the reduction of P - Q in the Néron model \cal AK/\cal OK of A/K in terms of the reductions of the points P and Q in a regular model \cx/\coK of X/K. The author introduced earlier two functorial filtrations of the prime-to-p part of the group of component ΦK of \cal AK/\cal OK. Filtrations for the full group ΦK were later introduced by Bosch and Xarles. Given two points P and Q in X(K), it is natural to wonder whether it is possible to predict when the reduction of P-Q in ΦK belongs to one of these functorial subgroups. We give in this paper a sufficient condition on the special fiber of a model \cx for the image of P-Q in ΦK to belong to the subgroup ΨK,L. When this condition is satisfied, we are able to provide a formula for the order of this image. We conjecture that the sufficient condition alluded to above is also necessary and we provide evidence in support of this conjecture. We also discuss cases where the image of P-Q belongs to a functorial subgroup of ΨK,L, using a pairing associated to ΦK.