Any simple concrete proof of Faltings theorem? Are there simple proofs of some concrete special cases of Faltings's theorem? Any help would be appreciated.
 A: Based on the OP's comment clarifying his question, I fear that the answer is no, there are no concrete special cases in which one can follow the approach of Faltings' proof that yield any significant simplifications. Faltings' proof is very indirect. First one uses rational points in $C(K)$ to construct coverings of $C$ that have good reduction outside a certain finite set of primes $S$. (This idea is, I believe, due to Parshin.) Taking Jacobians yields abelian varieties with good reduction outside $S$. One can, in principle, do this for a specific curve fairly concretely. But now one is reduced to Faltings proof of the Shafarevich conjecture, that there are only finitely many (suffices to do principally polarized) abelian varieties of a given dimension having good reduction outside $S$. And the proof of that is via reversing an argument of Tate to show it suffices to prove the isogeny conjecture, which gives a Galois-theoretic interpretation of isogenies between abelian varieties. And the proof of the isogeny conjecture is sufficiently complicated that I won't try to summarize it here. Anyway, bottom line is it does not appear that applying Faltings' ideas to a single curve would simplify the argument very much.
Having said that, there are more elementary methods that can prove that is $C(K)$ finite in some cases. There's the method of Dem'janenko: If there are independent maps $f_1,...,f_n:C\to E$ for some elliptic curve $E$, and if $n>\text{rank } E(K)$, then $C(K)$ is finite. This is done via a height calculation. It was generalized by Manin, who applied it to towers of modular curves $X_1(p^k)$. There is the method of Chabauty (strengthened to what is now usually called the Chabauty-Coleman method): Let $C/K$ and $J=\text{Jac}(C)$. If $\text{genus}(C)>\text{rank }J(K)$, then $C(K)$ is finite. The proof is via $p$-adic analytic methods. Coleman made the method quite precise (using Coleman integration), so in many cases it allows one to actually compute $C(K)$. Note that Faltings original proof, and the Vojta-Bombieri-Faltings alternative proof via Diophantine approximation, are ineffective.
A: Recently Lawrence and Venkatesh gave a proof that uses Faltings' setup but looks at variation of p-adic Galois representations in a family of algebraic varieties. Neither simpler nor a concrete special case, though.
