Georgia Institute of Technology College of Sciences

Faltings' theorem states that curves of genus g> 1 have finitely many rational points. Using the ideas of Faltings, Mumford, Parshin and Raynaud, one obtains an upper bound on the number of rational points, but this bound is too large to be used in any reasonable sense. In 1985, Coleman showed that Chabauty's method, which works when the Mordell-Weil rank of the Jacobian of the curve is smaller than g, can be used to give a good effective bound on the number of rational points of curves of genus g > 1. We draw ideas from nonarchimedean geometry and tropical geometry to show that we can also give an effective bound on the number of rational points outside of the special set of the d-th symmetric power of X, where X is a curve of genus g > d, when the Mordell-Weil rank of the Jacobian of the curve is at most g-d.