The
Poincaré torsor and the quadratic Chabauty method
Guido Lido (Università di Roma "Tor
Vergata" e Univ. Leiden)
Let C be a curve of genus g>1 defined
over the rationals and let J be its Jacobian. Faltings's theorem states that
C has only finitely many rational points, but in practice there is no general
procedure to provably compute the set C(Q). When the rank of J(Q) is smaller than g we
can use Chabauty's method: embedding C in J the set C(Q) is a subset of the
intersection of C(Qp) and the closure of J(Q) inside the p-adic manifold
J(Qp); since this intersection isfinite and computable up to finite precision
we can use it to compute C(Q). Minhyong Kim has generalized this method
inspecting the (Qp-prounipotent etale) fundamental group of C and his ideas
have been made effective in some new cases by Balakrishnan, Dogra, Muller,
Tuitman and Vonk: their "quadratic Chabauty method" works when the
rank of J(Q) is smaller than g+s-1 (with s the rank of the Neron-Severi group
of J). In this seminar we describe a
reinterpretation of the quadratic Chabauty method that does not need the
fundamental group of C but uses only some geometry over the integers and the
Gm-torsor associated to the Poincaré bundle over J. This work is in collaboration and under the
supervision of Bas Exidhoven. |