MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

All varieties are defined over $\mathbb{C}$. Let $\pi : X \to C$ be an elliptic surface with $X$ and $C$ smooth. Then there is a Jacobian surface $\overline{\pi}: J(X) \to C$ (with a section) associated to $X$. Do we also have a morphism $\varphi : X \to J(X)$ such that $\overline{\pi}\circ \varphi = \pi$? (If yes, a precise reference for the construction of that morphism would be greatly appreciated!)

share|cite|improve this question
A stupid answer is to compose $\pi$ with the zero section of $\overline\pi$, I assume you want to rule that out... – Torsten Ekedahl Apr 28 '10 at 7:35
yeah, I want to rule that out. I guess I want $\varphi$ to be surjective. – Tuan Apr 28 '10 at 16:39
up vote 3 down vote accepted

I think the following at least gives a rational map: Choose a curve $D$ in $X$ which maps dominantly to $C$ with degree $n$. For a smooth fibre $F$ of $\pi$ define a map to the correspoding fibre of $\bar{\pi}$ by sending a point $p$ to the class of $n[p] - [F\cdot D]$. (This is a cycle of degree 0.) With a little work one can check that this gives a well defined rational map which is a morphism over the smooth locus.

It seems unlikely though that the above actually gives a morphism in general.

share|cite|improve this answer
Just a note -- if you think of X as Pic^1(X) and J as Pic^0(X), this is (over the generic fiber) just the composition of the isomorphism Pic^n(X) = Pic^(X) coming from your choice of D, with multiplication-by-n from Pic^1(X) to Pic^n(X). – JSE Apr 28 '10 at 16:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.