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)$.