4
$\begingroup$

The Abel-Jacobi map from an algebraic curve $C$ to its Jacobian $J(C)$ is given analytically by $$p\to \left( \ldots, \int^{p}_{p_0} \omega_i,\ldots\right),$$ where $p_0$ is some point on $C$ and $\omega_i$ form a basis of $H^0(C,K)$. Why is it an algebraic morphism?

$\endgroup$
4
  • 1
    $\begingroup$ The Jacobian represents a functor $Pic^0$ defined on the category of schemes over the base of $C$; if you believe that then the result follows relatively easily. One proof of this is in Bosch-Guentzer-Remmert. $\endgroup$
    – user30035
    Feb 11, 2013 at 21:04
  • $\begingroup$ If $C$ were initially given over a subfield $k \subset \mathbf{C}$ do you also want to know that this analytically defined map arises from an algebraic map over $k$ (using the algebraic theory of the Jacobian)? Do you need to know something similar for "algebraic families" of such curves? The argument given by wccanard is the "best" one for such purposes (except that it masks the necessity to prove that the analytic map you have written down is actually computing the same thing as a map built using the functorial perspective in the algebraic theory, up to a sign). $\endgroup$
    – user28172
    Feb 12, 2013 at 0:54
  • 1
    $\begingroup$ I recommend pages 91-93 of James Milne's beautiful notes on Abelian Varieties. jmilne.org/math/CourseNotes/AV.pdf Basically the connection between the analytic and algebraic points of view is Abel's theorem, which equates the Albanese variety and the abelian integral maps to it, with the Picard variety and the tautological maps to it. This theorem in the modern version is a corollary of Poincare duality in both its integral and complex forms, including relation to the Hodge decomposition. $\endgroup$
    – roy smith
    Feb 12, 2013 at 15:49
  • $\begingroup$ I would suggest that the hard question here is "why is the Jacobian algebraic" and that, however you answer that question, it won't then be hard to check that the map from $C$ to $J(C)$ is an algebraic map. solbap's answer gives the most standard approach. $\endgroup$ Oct 20, 2017 at 13:22

2 Answers 2

6
$\begingroup$

Maybe there are easier ways to see it, but Chow's theorem/GAGA certainly gives you the result, since you have an analytic morphism of projective analytic varieties.

$\endgroup$
4
$\begingroup$

This map is written thinking of J(C) as C^g/L where g = genus(C) and L is the lattice of periods. C^g/L can be made algebraic by embedding into a projective space via theta functions. These are section of a line bundle associated to some multiple of a theta divisor $\Theta$ on J(C) http://en.wikipedia.org/wiki/Theta_divisor

Then it suffices to show that the restriction to $\Theta$ to C is an ample divisor; but J(C) is a smooth manifold and dim $\Theta$ + dim C = dim J(C) and so $C \cap \Theta$ is a finite number of points, hence ample.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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