# Good lecture notes/books on Jacobian of hyperelliptic curve

I want to understand what the Jacobian variety is from an algebraic (or arithmetic?) perspective.

I want to know:

• What is the definition of the Jacobian?
• Widely know facts about it.
• Why the Jacobian of an elliptic curve is the curve itself.
• How to map points on a hyperelliptic curve to the Jacobian.
• As much as possible about the torsion subgroup and torsion 2-subgroup of the Jacobian of a hyperelliptic curve
• What is the connection between the fundamental unit in the corresponding ring and torsion points of the Jacobian?
• How to get sum of points on the Jacobian (maybe the Mumford algorithm).

I want to understand it as quickly as I can, so I want to read a clear monograph. It would be great if that monograph (book or some lecture notes or survey or something) requires minimal possible background.

Thanks for any references.

• If you want to view things from a more applied standpoint, then Galbraith "Mathematics of public key cryptography" is a good reference. – Felipe Voloch Dec 4 '14 at 19:56

Over $\mathbb C$, there's also Mumford's beautiful monograph Curves and their Jacobians, The University of Michigan Press, Ann Arbor, Mich., 1975. But a monograph covering all of the topics in your wish list is going to be rather superficial. It's simply too big a subject. And I appreciate your wanting to "understand it as quickly as [you] can," but as someone far wiser than me once said, "there's no royal road to geometry."

This is a really big topic. So I'll treat it entirely as reference request.

The Jacobian of a smooth projective curve $X$ of genus $g$ is an abelian variety of dimension $g$ whose group of points is the divisor class group of $X$. More information about the algebraic constructions and properties can be found in Milne's article on Jacobian Varieties in the volume Arithmetic Geometry. For an explanation for what happens for elliptic curves, see Silverman's Arithmetic of Elliptic Curves. Finally, for the construction spelled out for hyperelliptic curves, see Mumford's Tata lectures on Theta II.

FWIW, for a quick intro, here are notes from Day 1 of my course:

8320 Spring 2010 Day one: Introduction to Riemann Surfaces

We will describe how Riemann used topology and complex analysis to study algebraic curves over the complex numbers. [The main tools and results have analogs in arithmetic, which I hope are more easily understood after seeing the original versions.]

The idea is that an algebraic curve $C$, say in the projective plane, is the image by a holomorphic map, of an abstract compact complex manifold, the Riemann surface $X$ of the curve, where $X$ has an intrinsic complex structure independent of its representation by $C$ in the plane. (Although the complex structure is inherited from the plane representation, it can be described in an intrinsic way, and may be derived from many different plane representations.)

We will construct two fundamental functors of an algebraic curve, the Riemann surface $X$, and the Jacobian variety $J(X)$, and natural transformations $\operatorname{Abel}\colon X^{d}\to J(X)$, from the “symmetric powers” $X^{d}$ of $X$, to $J(X)$.

The Riemann surface $X$: The first construction is the Riemann surface of a plane curve: $(\hbox{irreducible plane curves}: f(x,y)=0) \to (\hbox{compact Riemann surfaces }X)$

The first step is to compactify the affine curve: $f(x,y) =0$ in $\mathbb{A}^2_\mathbf{C}$, the affine complex plane, by taking its closure $C$ in the complex projective plane $\mathbb{P}_\mathbf{C}^2$. Then one separates branches at points where $C$ intersects itself, then one smooths each of those branches, to obtain a smooth compact oriented surface $X$. $X$ inherits a complex structure from the coordinate functions of the plane. If $f$ is an irreducible polynomial, $X$ will be connected.

Then $X$ will have a topological genus $g$ and a complex structure, and will be equipped with a holomorphic map $f\colon X\to C$ of degree one, i.e. $f$ will be an isomorphism except over points where the curve $C$ is not smooth, e.g. where $C$ crosses itself or has a pinch. This analytic version $X$ of the curve $C$ retains algebraic information about $C$; e.g. the field $M(X)$ of meromorphic functions on $X$ is isomorphic to the field $\operatorname{Rat}(C)$ of rational functions on $C$ = the quotient field $\mathbf{C}(x)[y]/(f)$. It turns out that two curves have isomorphic Riemann surfaces if and only if their fields of rational functions are isomorphic, if and only if the curves are equivalent under maps defined by mutually inverse pairs of rational functions.

Since the map $X\to C$ is determined by the functions $(x,y)$ on $X$, which generate the field $\operatorname{Rat}(C)$, classifying algebraic curves up to “birational equivalence” becomes the question of classifying these function fields, and classifying pairs of generators for each field, but Riemann’s approach to this algebraic problem will be topological/analytic. We can already deduce that two curves cannot be birationally equivalent unless their Riemann surfaces have the same genus. This solves the problem that interested the Bernoullis as to why most integrals of form $dx/\sqrt{\text{cubic in }x}$ cannot be “rationalized” by rational substitutions. I.e. only curves of genus zero can be so rationalized and $y^2 = \text{cubic in }x$ usually has genus one.

The symmetric powers $X^{d}$: To recover $C$ from $X$, we seek to encode the map $f\colon X\to C$, i.e. $f\colon X\to \mathbb{P}^2_\mathbf{C}$, by intrinsic geometric data on $X$. If the polynomial $f$ defining $C$ has degree $d$, then each line $L$ in the plane $\mathbb{P}^2_\mathbf{C}$ meets $C$ in $d$ points, counted properly. Thus each line $L$ defines an unordered $d$ tuple $L$. $C$ of points on $C$, possibly with repetitions, hence when pulled back via $f$, a $d$ tuple on $X$, called a positive “divisor” $D = f^{-1}(L)$ of degree $d$: actually, $D = n_1p_1+ \dots +n_kp_k$, where $n_j$ are positive integers, $n_1+\dots+n_k = d$.)

Since lines $L$ in the plane move in a linear space dual to the plane, and (if $d \geq 2$) each line is spanned by the points where it meets $C$, we get an injection $(\mathbb{P}^2_\mathbf{C})^* \to (\text{unordered }d\text{-tuples of points of }X)$, taking $L$ to $f^{-1}(L)$. If $X^d$ is the $d$ -- fold Cartesian product of $X$, and $\operatorname{Sym}(d)$ is the symmetric group of permutations of $d$ objects, and we define $X^{d} = X^d/\operatorname{Sym}(d) =$ the “symmetric d-fold product” of $X$, then the symmetric product $X^{d}$ parametrizes unordered $d$ tuples on $X$, and inherits a complex structure as well. Thus the map $f\colon X\to C$ yields a holomorphic bijection $(\mathbb{P}_\mathbf{C}^2)^* \to Π$ from the projective plane to a subspace $Π$ of $X^{d}$. I.e. the map $f$ determines a complex subvariety of $X^{d}$ isomorphic to a linear space $Π \cong (\mathbb{P}_\mathbf{C}^2)^*$.

Now conversely, this “linear system” $Π$ of divisors of degree $d$ on $X$ determines the map $f$ back again as follows: Define $f\colon X\to Π^* = (\mathbb{P}_\mathbf{C}^{2})^{**} =\mathbb{P}^2_\mathbf{C}$, by setting $f(p) =$ the line in $Π$ consisting of those divisors $D$ that contain $p$. Then this determines the point $f(p)$ on $C$ in $\mathbb{P}^2_\mathbf{C}$, because a point in the plane is determined by the lines through that point. Thus the problem of finding representations of $X$ in $\mathbb{P}^2_\mathbf{C}$ becomes one of determining when the product $X^{d}$ contains a holomorphic copy of $\mathbb{P}^2_\mathbf{C}$, or copies of $\mathbb{P}^n_\mathbf{C}$ for models of $X$ in other projective spaces.

The Jacobian variety $J(X)$ and the Abel map $X^{d}\to J(X)$: For this problem, Riemann introduced a second functor, the “Jacobian” variety $J(X) = k^g/lattice$, where $k^g = \hbox{complex g-dimensional space}$. $J(X)$ is a compact g dimensional complex group, and there is a natural holomorphic map Abel:$X^{d}\to J(X)$, defined by integrating a basis of the holomorphic differential forms on $X$ over paths in $X$. Abel collapses each linear system $Π ≈ {P^n}^*$ to a point by the maximum principle, since the coordinate functions of $k^g$ have a local maximum on the compact simply connected variety $Π$. Conversely, each fiber of the Abel map is a linear system in $X^{d}$. (This allows one to define the Jacobian variety algebraically, as the abstract quotient of $Y^{g}$ by this "linear equivalence" relation, where $Y$ is a smooth projective model of the Riemann surface $X$.)

Existence of linear systems $Π$ on $X$: the Riemann-Roch theorem. By dimension theory of holomorphic maps, every fiber of the Abel map $X^{d}\to J(X)$ has dimension $\ge d-g$. Hence every positive divisor $D$ of degree $d$ on $X$ is contained in a maximal projective linear system $|D|$ , where $dim|D| ≥ d-g$. This is called Riemann’s inequality, or the “weak” Riemann Roch theorem. The Roch part computes $dim|D|$ more precisely by analyzing the relation between $D$ and the divisor of a differential form.

Note if $D$ is the divisor cut by one line in the plane of $C$, and $E$ is cut by another line, then $E$ belongs to $|D|$, and the difference $E-D$ is the divisor of the meromorphic function defined by the quotient of the linear equations for the two lines. If $D$ is a not necessarily positive divisor, we define $|D|$ to consist of those positive divisors $E$ such that $E-D$ is the divisor of a meromorphic function on $X$. If there are no such positive divisors, $|D|$ is empty and has “dimension” equal to $-1$. Then if $K$ is the divisor of zeroes of a holomorphic differential form on $X$, the full Riemann Roch theorem says: $dim|D| = d-g +1+dim|K-D|$, where the right side $= d-g$ when $d > deg(K)$.

• notice this "answer", especially the existence of a map C^(d)-->J, for smooth C, and a description of the fibers of the map, already addresses to some extent your first 4 questions. – roy smith Dec 5 '14 at 17:08

Prolegomena to a Middlebrow Arithmetic of Curves of Genus 2 by Cassels and Flynn may help. That is, depending on whether the genus 2 case is enough to get started, and what type of questions you have in mind.

An elementary introduction to hyperelliptic curves by Menezes, Wu and Zuccherato gives a good elementary overview, especially if you want to understand the arithmetic on Jacobians. If you would like to go a bit deeper into the topic, Part A of the book Diophantine Geometry: An Introduction by Hindry and Silverman is very useful if you want to understand the geometry of these objects better. The chapter is titled The Geometry of Curves and Abelian Varieties. I found it really useful, it was not an easy reference to find and I wish I knew about this book earlier.