The local p-adic section conjecture and global consequences

Proves that rational points on every smooth proper geometrically connected curve of genus at least two over a finite extension of ℚ_p correspond bijectively to conjugacy classes of sections of its full arithmetic étale fundamental group. It also proves Grothendieck's section conjecture over ℚ for the modular curves $X_0(N)$ and $X_1(N)$ of genus at least two.