In a series of recent papers David Masser and Umberto Zannier proved the relative Manin-Mumford conjecture for abelian surfaces, at least when everything is defined over the algebraic numbers. In a further paper with Daniel Bertrand and Anand Pillay they have explained what happens in the semiabelian situation, under the same restriction as above.
At present it is not clear that these results are effective. I'll discuss joint work with Philipp Habegger and Masser and with Harry Schimdt in which we show that certain very special cases can be made effective. For instance, we can effectively compute a bound on the order of a root of unity t such that the point with abscissa 2 is torsion on the Legendre curve with parameter t.
**Note change of room**
- Logic Seminar