It's fairly easy to write down families of elliptic curves over $\mathbb{Q}(t)$ such that almost every (i.e. when the "height" of $t$ is sufficiently large) curve in the family has positive rank over $\mathbb{Q}$. One can do this by constructing the fibration so it has sections /$\mathbb{Q}$ a priori, or by fiddling around with Gauss sums; see papers of Fermigier, Mestre, Arms/Miller/LozanoRobledo, etc. Are there any known examples of families of genus two curves over $\mathbb{Q}(t)$ such that the Jacobian of almost every curve $C_t$ in the family has provably positive rank? Can one do this while requiring that $\mathrm{Jac}(C_t)$ be $\overline{\mathbb{Q}}$simple for almost all $t$?

$\begingroup$ I do not know of a write up of an example, but have you tried the same tricks that are used for elliptic curves? E.g. let $S \to \mathbb{P}^1_{\mathbb{Q}}$ be a rel curve of genus 2, $S$ smooth proj surface, and suppose $\Sigma_1,\Sigma_2$ are sections. Make sure that the line bundle $\Sigma_1\Sigma_2$ is a nontorsion, e.g. by choosing it so that the reductions modulo different primes in two fibers have coprime order. Presumably, simplicity of the Jacobians should also be easy, at least for a positive proportion of fibers. Not sure how to guarantee simplicity for almost all $t$. $\endgroup$ – damiano Aug 9 '10 at 22:22

1$\begingroup$ $y^2 = x^5 + x + t^2$ the point infinity  (0,t) has infinite order. $\endgroup$ – Felipe Voloch Aug 9 '10 at 22:39

$\begingroup$ @Felipe: Very nice, what's the simplest way to see this? Is there LutzNagell for preimages of torsion in the Jacobian? $\endgroup$ – David Hansen Aug 10 '10 at 0:10

$\begingroup$ @David: There is no LutzNagell or a particularly easy way to do this. One possibility is to use the Manin map. Another is an algorithm of Poonen's (Computing torsion points on curves) for curves over Q. In his paper he does $y^2=x^5x+1$ and find that there is no torsion of the form infinitypoint except for the ones with y=0. This implies that $y^2=x^5x+t^2$ will work. A similar calculation can be done for my first example. Like Borcherds said, pretty much anything works. $\endgroup$ – Felipe Voloch Aug 10 '10 at 2:26

1$\begingroup$ For families with large rank look at Elkies' paper: math.rice.edu/~hassett/conferences/Clay2006/Elkies/… $\endgroup$ – Victor Miller Aug 10 '10 at 4:06
My guess for some examples is the family of (genus 2) hyperelliptic curves y^{2}=degree 6 poly in x passing through n "randomly chosen" rational points (for n=2,3,4,5, or 6). The family of such curves has dimension 7n, and I would guess that if a hyperelliptic curve has n "random" rational points on it then the Q rank of its Jacobian is usually at least n1.
An obvious place to look for explicit examples is
MR1406090 Cassels, J. W. S.; Flynn, E. V. Prolegomena to a middlebrow arithmetic of curves of genus 2. London Mathematical Society Lecture Note Series, 230. Cambridge University Press, Cambridge, 1996. ISBN: 0521483700