I was only able to get to two days of the arithmetic statistics workshop in Montreal, but it was really enjoyable! And a pleasure to see that so many strong students are interested in working on this family of problems.
I arrived to late to hear Bjorn Poonen’s talk, where he made kind of a splash by offering some heuristic evidence that the Mordell-Weil ranks of elliptic curves over Q are bounded above. I remember Andrew Granville suggesting eight or nine years ago that this might be the case. At the time, it was an idea so far from conventional wisdom that it came across as a bit cheeky! (Or maybe that’s just because Andrew often comes across as a bit cheeky…)
Why did we think there were elliptic curves of arbitrarily large rank over Q? I suppose because we knew of no reason there shouldn’t be. Is that a good reason? It might be instructive to compare with the question of bounds for rational points on genus 2 curves. We know by Faltings that |X(Q)| is finite for any genus 2 curve X, just as we know by Mordell-Weil that the rank of E(Q) is finite for any elliptic curve E. But is there some absolute upper bound for |X(Q)|? When I was in grad school, Lucia Caporaso, Joe Harris, and Barry Mazur proved a remarkable theorem: that if Lang’s conjecture were true, there was some constant B such that |X(Q)| was at most B for every genus 2 curve X. (And the same for any value of 2…)
Did this make people feel like |X(Q)| was uniformly bounded? No! That was considered ridiculous! The Caporaso-Harris-Mazur theorem was thought of as evidence against Lang’s conjecture. The three authors went around Harvard telling all the grad students about the theorem, saying — you guys are smart, go construct sequences of genus 2 curves with growing numbers of points, and boom, you’ve disproved Lang’s conjecture!
But none of us could.