Sharedwww / projects / kleinerman_99paper.texOpen in CoCalc
Author: William A. Stein
1
\documentclass{amsart}
2
3
%\usepackage{epsfig}
4
%\usepackage{color}
5
\usepackage{amsmath, amssymb}
6
7
%\usepackage{fancyhdr}
8
%\usepackage{amsmath}
9
%\usepackage{amssymb}
10
\usepackage{amsopn}
11
\usepackage{amsfonts}
12
13
\newcommand{\comment}[1]{}
14
\newcommand{\isom}{\cong}
15
\DeclareMathOperator{\Pic}{Pic}
16
\newcommand{\inv}{^{-1}}
17
\newcommand{\eol}{\notag \\}
18
\newcommand{\cis}{\,\rm{cis}}
19
\newcommand{\diam}[1]{\text{diam\,}#1}
20
\newcommand{\diag}[1]{\text{diag\,}#1}
21
\newcommand{\gal}[1]{\text{Gal\,}#1}
22
\newcommand{\coker}[1]{\text{Coker\,}#1}
23
\renewcommand{\char}[1]{\text{char\,}#1}
24
\newcommand{\im}[1]{\text{Im\,}#1}
25
\newcommand{\recip}[1]{\frac{1}{#1}}
26
\DeclareMathOperator{\spec}{Spec}
27
\newcommand{\lparen}{\mathbf{(}}
28
\newcommand{\rparen}{\mathbf{)}}
29
\newcommand{\boldcup}{\mathbf{\cup}}
30
\newcommand{\alt}{\,|\,}
31
\newcommand{\lend}{\vartriangleright}
32
\newcommand{\nchoosem}[2]{\left(\begin{matrix} #1 \\ #2 \end{matrix}\right)}
33
\renewcommand{\implies}{\Rightarrow}
34
\newcommand{\st}{\mbox{ s.t. }}
35
\newcommand{\orr}{\mbox{ or }}
36
\newcommand{\np}{\mathcal{NP}}
37
\newcommand{\p}{\mathcal{P}}
38
\newcommand{\N}{\mathbb{N}}
39
\newcommand{\scrt}{\mathcal{T}}
40
\newcommand{\SC}{\mathcal{C}}
41
\newcommand{\scrc}{\mathcal{C}}
42
\newcommand{\scro}{\mathcal{O}}
43
\newcommand{\T}{\mathcal{T}}
44
\newcommand{\F}{\mathbb{F}}
45
\newcommand{\B}{\mathcal{B}}
46
\newcommand{\Z}{\mathbb{Z}}
47
\newcommand{\C}{\mathbb{C}}
48
\newcommand{\Q}{\mathbb{Q}}
49
\newcommand{\pr}{\text{Pr}}
50
\newcommand{\R}{\mathbb{R}}
51
\newcommand{\divides}{\Big{|}}
52
53
\newtheorem{theorem}{Theorem}[section]
54
\newtheorem{lemma}[theorem]{Lemma}
55
\theoremstyle{definition}
56
\newtheorem{definition}[theorem]{Definition}
57
\newtheorem{proposition}[theorem]{Proposition}
58
\newtheorem{corollary}[theorem]{Corollary}
59
\newtheorem{observation}[theorem]{Observation}
60
\theoremstyle{remark}
61
\newtheorem{remark}[theorem]{Remark}
62
\numberwithin{equation}{section}
63
64
65
66
\begin{document}
67
68
\title[The Jacobian, the Abel-Jacobi map, and Abel's Theorem]{The Jacobian, the Abel-Jacobi map, and Abel's Theorem}
69
\author{Seth Kleinerman}
70
\maketitle
71
72
\section{Introduction}
73
74
Throughout, $X$ will denote a compact Riemann surface of genus $g\geq1$. Recall that a \emph{divisor} on $X$ is a formal sum of points $p$ in $X$ with integer coefficients,
75
$$D=\sum_{p\in X}n_pp,\ n\in\Z.$$
76
Also, any meromorphic function $f: X\to\C$ has a divisor naturally associated to it, namely
77
$$(f)=\sum_{p\in X}(ord_p(f))p.$$
78
The \emph{degree} of a divisor $D$ is the sum of its integer coefficients: for $D$ as above,
79
$$\deg(D)=\sum_{p\in X}n_p.$$
80
A natural question to ask is: which divisors of degree 0 do not arise from meromorphic functions? The answer is given in a theorem of Abel, which we will present here. Since each divisor up to linear equivalence also corresponds to an isomorphism class of line bundles of degree 0, we will also be able to use Abel's theorem to classify degree 0 line bundles on $X$ as points of a complex torus called the Jacobian.
81
82
\section{The Jacobian}
83
84
The first step is to introduce the Jacobian of $X$, which we will define to be the compact quotient of $\C^g$ by a certain lattice.
85
86
To start, consider a canonical basis for the homology group $H_1(X,\Z)$. It has $2g$ elements, $\{a_1,\ldots,a_g,b_1,\ldots,b_g\}$. Each of these correspond to closed curves in the $g$-handled torus, with $a_i$ and $b_i$ representing the curves around the inner and outer circumferences of the $i$th handle.
87
88
We will denote the line bundle whose sections are holomorphic 1-forms on $X$ by $\Omega$, and the trivial line bundle (whose sections are holomorphic functions on $X$) by $\scro$. Let $\omega_1,\omega_2,\ldots,\omega_g$ be a normalized basis for $H^0(X,\Omega)$. (By Serre duality, this space is isomorphic to $H^1(X,\scro)^*$.) The choice of basis is dependent on the homology basis chosen above; the normalization signifies that
89
$$\int_{a_i} \omega_j = \delta_{ij},\qquad i,j=1,2,\ldots,g.$$
90
91
Now for each curve $\gamma$ in the homology group $H_1(X,\Z)$, we can associate a vector $\lambda_\gamma$ in $\C^g$ by integrating each of the $g$ 1-forms over $\gamma$, as follows:
92
$$\lambda_\gamma = \left(\int_\gamma \omega_1,\int_\gamma \omega_2,\ldots,\int_\gamma \omega_g\right).$$
93
Because we have explicitly chosen the $\omega_i$s to be normalized with respect to the canonical homology basis, we see that
94
$$\lambda_{a_i} = e_i,$$
95
the $i$th orthonormal basis vector, and we can define
96
$$\lambda_{b_i} = \left(\int_{b_i} \omega_1,\int_{b_i} \omega_2,\ldots,\int_{b_i} \omega_g\right)=B_i.$$
97
These $2g$ vectors (the $\lambda_{a_i}$s and $\lambda_{b_i}$s) are in fact $\R$-linearly independent in $\C^{g}$, that is, no nontrivial linear combination of the vectors with coefficients in $\R$ can be equal to zero.
98
99
\begin{proof}
100
If they were not, for some $s_i,t_i \in \R$ not all zero, we would have
101
$$\sum_{i=1}^g s_i e_i + \sum_{i=1}^g t_i B_i = 0.$$
102
Rewriting this in terms of the original basis, we get
103
$$\sum_{i=1}^g \left(s_i\int_{a_i}\omega_j+t_i\int_{b_i}\omega_j\right)=0 \text{ for each }j, \text{ so}$$
104
$$\sum_{i=1}^g \left(s_i\int_{a_i}\bar{\omega}_j+t_i\int_{b_i}\bar{\omega}_j\right)=0 \text{ for each }j \text{ as well}.$$
105
Since the $\omega_i$ and $\bar{\omega}_i$ constitute a basis for the De Rham cohomology $H^1_{DR}(X)$, our $2g$ equations of the form $\int_\gamma\omega_i=0$ and $\int_\gamma\bar{\omega}_i=0$ imply that all integrals of elements of the cohomology around $\gamma$ are $0$. By Poincar\'e duality, the homotopy class of the curve $\gamma$ must be degenerate, that is,
106
$$\gamma=\sum_{i=1}^g \left(s_i[a_1]+t_i[b_i]\right)=0,$$
107
where bracketing $[a_i]$ and $[b_i]$ is used to represent their homology classes in $H_1(X,\R)$. However, this last result cannot be true since the set $\{a_1,\ldots,a_g,b_1,\ldots,b_g\}$ was chosen at the outset to be the canonical basis for the homology group $H_1(X,\Z)$, and cannot satisfy such an equation.
108
\end{proof}
109
110
Therefore these vectors generate a $2g$-real-dimensional lattice $\Lambda$ in $\C^g$, which we define by
111
$$\Lambda = \{s_1e_1+\cdots+s_ge_g+t_1B_1+\cdots+t_gB_g \text{, with }s_i,t_i\in\Z\}.$$
112
The \emph{Jacobian} of the Riemann surface $X$, denoted $J(X)$, is the compact quotient $\C^g/\Lambda$. We can understand it by analogy with the quotient of a real $2g$-dimensional vector space with a $2g$-dimensional lattice; it is a complex torus.
113
114
We can also introduce the Jacobian without relying on a choice of basis, although the resulting structure is less intuitive. Define a map as follows:
115
\begin{align*}
116
\varphi: H_1(X,\Z)&\longrightarrow H^0(X,\Omega)^*\\
117
\gamma \qquad &\longmapsto \left(\omega \mapsto \int_\gamma\omega\right).
118
\end{align*}
119
This map takes closed curves in the homology group to the functionals of integration around those curves, which are dual to the vector space of holomorphic 1-forms. The image of $\varphi$ is a discrete lattice in $H^0(X,\Omega)^*$, and the Jacobian introduced above can also be defined as the quotient by this lattice: $J(X)=H^0(X,\Omega)^*/\im\varphi$.
120
121
\section{The Abel-Jacobi Map}
122
123
Fix a base point $p_0\in X$. The \emph{Abel-Jacobi map} is a map $\mu:X\to J(x)$. For every point $p\in X$, choose a curve $c$ from $p_0$ to $p$; define the map $\mu$ as follows:
124
$$\mu(p)=\left(\int_{p_0}^p \omega_1,\int_{p_0}^p \omega_2,\ldots,\int_{p_0}^p \omega_g\right) \mod \Lambda,$$
125
where the integrals are all along $c$. We have to check that $\mu(p)$ is well-defined as a member of $J(X)$, i.e., that the choice of curve $c$ does not affect the value of $\mu(p)$.
126
127
\begin{proof}
128
Choose two curves $c$, $c'$ from $p_0$ to $p$. Notice that $c-c'=\gamma$, a closed curve. We can then write
129
$$\left(\int_c \omega_1,\ldots,\int_c \omega_g\right)-\left(\int_{c'} \omega_1,\ldots,\int_{c'} \omega_g\right)=\left(\int_{\gamma} \omega_1,\ldots,\int_{\gamma} \omega_g\right)=\lambda_\gamma.$$
130
Since $\gamma$ is a cycle in the homology group $H_1(X,\Z)$, this difference is an element of the lattice $\Lambda$. (To get the element explicitly, write $\gamma$ in terms of the canonical homology basis $\{a_1,\ldots,a_g,b_1,\ldots,b_g\}$, then remember that $\lambda_\gamma$ is written the same way in terms of the corresponding basis for the lattice, $\{e_1,\ldots,e_g,B_1,\ldots,B_g\}$.) So the map is well-defined.
131
\end{proof}
132
133
After having defined the Abel-Jacobi map on the points of $X$, it extends to divisors on $X$ by linearity:
134
$$\mu\left(\sum_{p\in X}n_pp\right)=\sum_{p\in X}n_p\mu(p).$$
135
136
\section{Abel's Theorem}
137
In the previous section, we defined the Abel-Jacobi map $\mu$, which brings divisors on $X$ to points of the complex torus $J(X)$. Abel's theorem classifies divisors by their images in the Jacobian.
138
139
We will need two lemmas; the latter will be stated without proof.
140
141
\begin{lemma}\label{ml}
142
For two points $p$ and $q$ in $X$, we can produce a 1-form which has a simple pole at both points, is holomorphic everywhere else in $X$, and carries a residue of $1$ at $p$ and $-1$ at $q$. Moreover, we can normalize this 1-form by subtracting a holomorphic 1-form from it; the normalized 1-form, now unique, is denoted $\omega_{pq}$, and the normalization means that
143
$$\int_{a_i}\omega_{pq}=0$$
144
for $i=1,2,\ldots,g$.
145
\end{lemma}
146
147
\begin{proof}
148
Consider the divisor $p+q$. It has a line bundle associated with it, denoted $L(p+q)$. Define $\Omega(p+q)$ to be $H^0(\Omega\otimes L(p+q))$. We want to find the degree of this space. By Riemann-Roch,
149
$$h^0(\Omega(p+q))-h^1(\Omega(p+q))=1-g+\deg(\Omega(p+q)).$$
150
First, it is a well-known result that the degree of $\Omega$ is $2g-2$ (the proof is an application of Riemann-Roch and Serre duality), and we know that the degree of $(p+q)$ is 2. Since degrees add, we have $\deg(\Omega(p+q))=2g$.
151
152
Now $h^1(\Omega(p+q))=h^0(L(-p-q))$ by Serre duality. But $L(-p-q)$ corresponds to the space of meromorphic functions $f$ on $X$ such that $\text{div}f-p-q\geq 0$, that is, holomorphic functions on $X$ which have zeroes at $p$ and $q$. But all the holomorphic functions on $X$ are the constant functions, so the dimension of this space is 0.
153
154
Putting these results together, the equation above now reads
155
$$h^0(\Omega(p+q))-0=1-g+2g,$$
156
and we have shown that $h^0(\Omega(p+q))=g+1$. Also since the degree of $(p)$ is 1, the same argument as above shows that $h^0(\Omega(p))=g$, which is the same as $h^0(\Omega)$. So in order to account for this increase in degree, we must conclude that there exists some meromorphic form with simple poles at $p$ and $q$.
157
158
Since it is generally known that the sum of the residues of a form on a compact Riemann surface is 0, we can scale this form by a constant to get residues of 1 and -1 at $p,q$ respectively. Since the space of such forms had dimension 1, this scaling produces a unique 1-form, which completes the proof of the lemma.
159
\end{proof}
160
161
\begin{lemma}[Reciprocity Law]\label{rl}
162
Let $\omega_1,\omega_2,\ldots,\omega_g$ be a normalized basis for $H^0(X,\Omega)$ as before. Then
163
$$\int_{b_k}\omega_{pq}=2\pi i \int_{q}^{p}\omega_k.$$
164
Note that the right-hand integral does not appear to be well-defined; we therefore have to specify that it be taken along a curve from $q$ to $p$ that lies within $X$ depicted as a planar $4g$-gon before identifications.
165
\end{lemma}
166
167
\begin{theorem}[Abel]
168
Let $D$ be an divisor of degree $0$ on $X$. Then $D$ is the divisor of a meromorphic function $f$ if and only if $\mu(D)=0$ in the Jacobian $J(X)$.
169
\end{theorem}
170
171
\begin{proof}
172
The divisor $D$ is of degree $0$, so we can write it
173
$$D=\sum_{k=1}^r (p_k-q_k),$$
174
with no points $p_i$, $q_j$ in common.
175
176
Suppose $D$ is the divisor of a meromorphic function $f$. Consider the 1-form $\frac{df}{f}$. It has a simple pole at every point at which $f$ has a zero or a pole. To see this, take the derivative using the local coordinate wherever $f$ looks like $z^n$ for some $\vert n\vert\geq 1$, and then divide by $f$: the form is explicitly $\frac{n}{z}$. We also see that the residue at this pole of the 1-form is the degree of the zero or pole of $f$.
177
178
So the 1-forms $\frac{df}{f}$ and $\sum_{k=1}^r\omega_{p_kq_k}$ have simple poles in the same places and the same residues at those poles; by Lemma \ref{ml}, they differ by some holomorphic 1-form, which we can write in terms of the $\omega_i$ basis with coefficients $t_i\in\C$:
179
$$\frac{df}{f}-\sum_{k=1}^r\omega_{p_kq_k}=\sum_{i=1}^{g}t_i \omega_i.$$
180
181
The next thing we need to notice is that for $\gamma$ not containing any points $p_i$ or $q_i$, the integral $\int_\gamma \frac{df}{f}$ equals $2\pi i m$ for some $m\in\Z$. This observation is intuitive, as follows: for any sufficiently small segment of the curve $\gamma$, with endpoints $a,b$, we can choose a branch of the natural logarithm function; having made that choice, the form $\frac{df}{f}=d(\log f)$ is exact, so the integral from one endpoint of the segment to the other is $\log b-\log a$. In the next segment from $b$ to $c$, we will add $\log c-\log b$, using a different choice of logarithmic branch. So as we go around the curve $\gamma$, the value of the integral will be the sum of the successive differences accumulated by the two different branch choices at each endpoint of each segment. As such, it will be an integer multiple of $2\pi i$.
182
183
\comment{from Stokes' theorem: since $\frac{df}{f}=d(\log(f))$, the integral will be zero around well-defined regions without poles (it's the integral of $d$ of a smooth function). The only possible way to get anything nonzero from the integral is by accumulating residues around the poles, which are $\pm2\pi i$ each.}
184
185
In particular, since the above statement is true for all curves $\gamma$, note that it suffices that the integrals around the particular curves $a_i, b_i$, the basis for the homology group, compute to be elements of $2\pi i\Z$. Summing up the proof thus far, we have found that if $D$ is the divisor of a meromorphic function $f$, we can find $t_1,\ldots,t_g$ in $\C^g$ such that the integrals
186
$$\int_{a_i}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)\text{ and }\int_{b_i}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)$$
187
are all elements of $2 \pi i \Z$.
188
189
Now we will prove the converse of this statement. Assume that we can find such elements $t_i$ of $\C^g$. Define $c_k,c_k'$ to be small circles around $p_k,q_k$ respectively. Then the homology class of any curve $\gamma$ in $X-\cup_k\{p_k,q_k\}$ is an integral linear combination of the classes of $a_i, b_i, c_k, c_k'$. We compute
190
$$\int_{c_k}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)=2\pi i,$$
191
$$\int_{c_k'}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)=-2\pi i$$
192
by noting that $\omega_{p_kq_k}$ has residue 1 at $p_k$ and $-1$ at $q_k$ by definition. So the integral
193
$$\int_{\gamma}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)\in 2\pi i \Z,$$
194
as needed.
195
196
Using this last equation, we are able to create a function $f$ whose divisor is $D$. Choose a base point $p_0$; define
197
$$f(p)=e^{\int_{p_0}^p\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)}.$$
198
This function is well defined because a different choice of path for the integral would result in the addition of an integral over some closed curve $\gamma$, which we have shown above is an integer multiple of $2\pi i$, so would have no effect. Then we compute
199
$$\frac{df}{f}=d\int_{p_0}^p\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)=\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i,$$
200
by a variation of the fundamental theorem of calculus. Hence the divisor of $f$ is $D$, as we needed.
201
202
Putting the two halves of the statement together, we see that $D$ is the divisor of a meromorphic function $f$ if and only if there exist $t_i\in\C$ such that
203
$$\int_{a_i}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)\text{ and }\int_{b_i}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)$$
204
are all elements of $2 \pi i \Z$.
205
206
The normalization condition on the 1-forms $\omega_{p_kq_k}$ and the properties of the basis $\omega_i$ allow the simplification
207
$$\int_{a_j}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)=t_j,$$
208
since the first integral is zero and the second is normalized. To simplify the integral around $b_j$, we use the reciprocity law (Lemma \ref{rl}) on the first integral, and the definition of $B_i$ for the second integral:
209
$$\int_{b_j}\left(\sum_{k=1}^r\omega_{p_kq_k}+\sum_{i=1}^{g}t_i \omega_i\right)=\sum_{k=1}^r 2\pi i \int_{q_k}^{p_k}\omega_j+\sum_{i=1}^{g}t_i B_{ij}.$$
210
211
The $a_j$ integrals are elements of $2\pi i \Z$ if and only if there exist integers $n_1,\ldots,n_g$ such that
212
$$t_j = 2 \pi i n_j,$$
213
and therefore (substituting and dividing by $2\pi i$) the $b_j$ integrals are elements of $2\pi i\Z$ if and only if there exist integers $m_1,\ldots,m_g$ such that
214
$$\sum_{k=1}^r \int_{q_k}^{p_k}\omega_j+\sum_{i=1}^{g}n_i B_{ij}=m_j.$$
215
Since this last equation holds for all $j$, we combine the equations to get the vector equality
216
$$\sum_{k=1}^r \int_{q_k}^{p_k}\omega=-\sum_{i=1}^{g}n_i B_{i}+\sum_{i=1}^{g}m_i e_{i}$$
217
where $\omega=(\omega_1,\ldots,\omega_g)$, and this is exactly what we wanted to show: the right-hand side of the equation is an element of the lattice $\Lambda$ by inspection, and the left-hand side is the image of the divisor $D$ under the Abel-Jacobi map.
218
\end{proof}
219
220
\section{Jacobi Inversion}
221
Abel's theorem demonstrated a correspondence between principal divisors and points in the kernel of the Abel-Jacobi map. The Jacobi inversion problem asks whether we can find a divisor that is the preimage for an arbitrary point in the Jacobian. The central theorem in this section will demonstrate that it is possible.
222
223
We start with a lemma.
224
225
\begin{lemma}\label{jac}
226
A holomorphic map $f:M\to N$ between compact connected complex manifolds of the same dimension is surjective if the Jacobian matrix of the map has nonzero determinant at some point of $M$.
227
\end{lemma}
228
229
\begin{proof}
230
Because the Jacobian is nonsingular at some point, $\im f$ contains an open set in $N$. But it is known that $\im f$ is a subvariety of $N$, that is, that it has dimension equal to or lower than the manifold $N$. Since $\im f$ contains an open set in $N$, it cannot have lower dimension; hence the map is surjective.
231
\end{proof}
232
With this lemma in mind, we can prove that the Abel-Jacobi map is surjective:
233
234
\begin{theorem}[Jacobi Inversion]
235
Every point in $J(X)$ is the image under $\mu$ of a degree-$0$ divisor of the form
236
$$D=\sum_{i=1}^g(p_i-p_0).$$
237
\end{theorem}
238
239
\begin{proof}
240
241
Continue to choose a base point $p_0\in X$ for the Abel-Jacobi map. Consider the space $X^{(d)}=X^{d}/S_d$, the product of $X$ with itself $d$ times modulo elements of the symmetric group $S_d$. (Each element of this space consists of exactly $d$ points in $X$, equivalent up to ordering.) Define $\mu^{(d)}$ on $X^{(d)}$ to be given by
242
$$\mu^{(d)}\left(\sum_{i=1}^d p_i\right)=\mu\left(\sum_{i=1}^d \left(p_i-p_0\right)\right).$$
243
Under this reformulation, the Jacobi Inversion Theorem is equivalent to the statement that the map $\mu^{(g)}$ is surjective, where $g$ denotes the genus of $X$ as usual.
244
245
Consider $D=\sum p_i$ a point of $X^{(g)}$, with all $p_i$ distinct. We have local coordinates $z_1,\ldots,z_g$ on $X$ centered at $p_1,\ldots,p_g$ respectively, since $X$ is a Riemann surface; we then also have a local coordinate $(z_1,\ldots,z_g)$ of $X^{(g)}$ centered at $D$.
246
247
Now we compute the Jacobian matrix of $\mu^{(d)}$ near the divisor $D$. (With all these Jacobians floating around, one might get confused---rest assured that we are going to find the standard Jacobian of a function from vector calculus.) If $D'$ is a divisor close to $D$, we can write it as the sum of local coordinates $\sum_{i=1}^g z_i$. We write out the map in terms of the integrals explicitly and take the partial derivatives of the function with respect to the coordinate system:
248
$$\frac{\partial}{\partial z_i}(\mu^{(g)}(D'))=\frac{\partial}{\partial z_i}\left(\int_{p_0}^{z_i}\omega_j\right)=\omega_j/dz_i,$$
249
that is, the function which, when multiplied by the form $dz_i$, gives the form $\omega_j$. So the Jacobian of the function $\mu^{(d)}$ at $D$ is the matrix
250
\begin{displaymath}
251
\mathbf{J(\mu^{(d))}}=\left( \begin{array}{ccc} \omega_1/dz_1 & \cdots & \omega_1/dz_g \\ \vdots & \ddots & \vdots \\ \omega_g/dz_1 & \cdots & \omega_g/dz_g \end{array} \right)
252
\end{displaymath}
253
254
Our next goal is to show that we can find a point $D$ at which the above matrix is upper triangular with nonzero diagonal. If we change the local coordinate $z_i$, the $i$th column of the Jacobian matrix is multiplied by some nonzero scalar, but the rank of the matrix does not change. So we can put this matrix in upper triangular form without changing its rank, as follows: choose $p_1$ to be some point where $\omega_1$ is nonzero. Then subtract some scalar times $\omega_1$ from each of the forms $\omega_2,\ldots,\omega_g$, so that these forms are all 0 at $p_1$. This procedure is a change in the local coordinate $z_1$. Now repeat this method, choosing a point $p_2$ where $\omega_2$ is nonzero under this new coordinate and subtracting a multiple of $\omega_2$ from $\omega_3,\ldots,\omega_g$ to make them 0 at $p_2$; continuing, we finally find a set of points $p_1,\ldots,p_g\in X$ and a modified local coordinate such that the Jacobian matrix is upper triangular with nonzero diagonal.
255
256
So there is a point $D$ at which the Jacobian matrix of $\mu^{(d)}$ is nonsingular, and by Lemma \ref{jac} the Abel-Jacobi map must be surjective.
257
258
\end{proof}
259
260
The Jacobi Inversion theorem in conjunction with Abel's theorem implies that there is an isomorphism between the space of divisors of degree $0$ on $X$ modulo equivalence (the space $\Pic^0(X)$) and the complex torus $J(X)$. (The Jacobi Inversion theorem demonstrates that the Abel-Jacobi map is surjective, and Abel's theorem tells us that its kernel is precisely those divisors that are linearly equivalent to 0.) Since there is already a correspondence between line bundles of degree $0$ on $X$ and elements of $\Pic^0(X)$, we have shown that the complex torus $J(X)$ is a moduli space of line bundles of degree $0$ on $X$.
261
262
\section{acknowledgements}
263
264
My utmost thanks to Alina Marian, who explained it to me.
265
266
\begin{thebibliography}{10}
267
268
269
\bibitem{Clemens}
270
C.H. Clemens. \emph{A Scrapbook of Complex Curve Theory, second edition}. American Mathematical Society, 2003.
271
272
\bibitem{Farkas}
273
H.M. Farkas and I. Kra. \emph{Riemann Surfaces}. Springer-Verlag, 1980.
274
275
\bibitem{Griffiths}
276
P. Griffiths and J. Harris. \emph{Principles of Algebraic Geometry}. John Wiley $\&$ Sons, 1978.
277
278
%\vspace{10 mm}
279
280
\bibitem{Narasimhan}
281
R. Narasimhan. \emph{Compact Riemann surfaces}. Birkh\"{a}user, 1992.
282
283
%\vspace{10 mm}
284
285
\end{thebibliography}
286
\end{document}