Throughout the proof of injectivity of the section conjecture, for example in Appendix B of https://arxiv.org/abs/0809.0017, one uses Mordell--Weil Theorem and for that embeds hyperbolic curve into an abelian variety. So, it may natural to take the embedding into the Jacobian variety. However, is it still possible to consider ''Jacobian'' of $\mathbf{P}^1-\{0,1,\infty\}$? Or, which abelian variety contains $\mathbf{P}^1-\{0,1,\infty\}$?
2 Answers
$\begingroup$
$\endgroup$
2
The Jacobian is G_m^2 and the embedding sends t to (t,t-1).
-
$\begingroup$ @JSE I would avoid the term Jacobian - these belong to abelian varieties, that are proper. Generalized Jacobian is more standard. $\endgroup$– NielsCommented May 14, 2016 at 12:37
-
$\begingroup$
$\endgroup$
1
[Cornell-Silverman], p. 107, Corollary 3.8 (see http://jmilne.org/math/articles/1986b.pdf): Every rational map $\mathbf{P}^1 \to A$ is constant.
-
$\begingroup$ But, then, the proof using Mordell--Weil does not work for $\mathbf{P}^1-\{0,1,\infty\}$? $\endgroup$– StudentCommented May 12, 2016 at 16:51