Primero una disculpa: Esto es más un complemento a la respuesta de Charles que una respuesta en sí misma. Originalmente se trataba de un conjunto de comentarios, pero no pude formatearlos para que fueran legibles.
"Aritmética de las curvas elípticas" es especialmente recomendable para quienes quieran echar un primer vistazo a las aplicaciones aritméticas de la cohomología. El capítulo 8 demuestra el teorema de Mordell-Weil utilizando la cohomología de Galois. Sin embargo, casi todo en este libro es bueno y el único solapamiento con Hartshorne está en los dos primeros capítulos. Por algo es el libro canónico de las curvas elípticas.
"Puntos racionales en curvas elípticas" probablemente no sea tan emocionante para alguien que ya haya pasado por Hartshorne.
"Temas avanzados" es exactamente eso, pero quizás un poco más amigable que la mayoría de los libros de temas. Los capítulos son esencialmente independientes. De especial interés podría ser el capítulo sobre superficies elípticas, que ofrece un vistazo a los esquemas ℤ en (casi) toda su gloria.
Sólo he echado un vistazo a Hindry-Silverman, así que no podría decir mucho de ninguna manera.
"Una invitación a la geometría aritmética" para este lector serviría principalmente para destacar cómo la teoría algebraica de los números se cruza con la geometría aritmética, creo.
"Algebraic Geometry and Arithmetic Curves" es una referencia fantástica para la Geometría Aritmética, y hay bastante coincidencia con Hartshorne.
edit: Para los módulos de las curvas elípticas, el capítulo 1 (Formas modulares) de "Temas avanzados" es un buen lugar para empezar, y Katz-Mazur es un buen objetivo eventual. Entre esos dos, hay un montón de libros sobre formas modulares y espacios de módulos para llenar el vacío. Tengo debilidad por Diamond y Shurman, pero los trabajos originales de Shimura merecen un reconocimiento. Su experiencia puede variar.