Assume we are given two smooth curves $C\_1$ and $C\_2$ over an algebraically closed field $k$. It is known that divisorial correspondences between them correspond to homomorphisms between their Jacobians. In particular there exist pairs of curves without nontrivial correspondences between them. Still my construction appears to yield such a correspondence for two arbitrary curves. So I am wondering if my construction is wrong or if all my correspondences are trivial. Could you please help me? I proceed as follows:


First I embed the function fields $K\_1,K\_2$ of the curves into a finite galois subextension of $k(t)^{alg}/k(t)$. This extension corresponds to a curve $C$ with nonconstant morphisms $f:C\rightarrow C\_1$ and $g:C\rightarrow C\_2$. The Galois group G of $C/C\_1$ operates on C making $f$ into the quotient morphism. By composition with $g$ the operation induces several morphisms $g\_i:C\rightarrow C\_2$.


Now, I consider the sum of the graphs of the $g\_i$ in $C\times C\_2$. This is a G-stable Divisor descending to $C\_1\times C\_2$. Correcting with vertical divisors yields the nontrivial divisorial correspondence.



On divisorial correspondences between curves
Clearly, this is just the curve on $C\_1 \times C\_2$ that consists of those points $(P, Q)$ such that $f^{-1} P \cap g^{-1} Q \neq 0$. If $G\_1$ is the Galois group of $f$ and $G\_2$ is the Galois group of $g$, and $G\_1$ or $G\_2$ is normal, then this is just the set of points that map to the same point in $C / G\_1G\_2$. So the correspondence is a pullback of the diagonal correspondence of $C \times C$. If $C= \mathbb P^1$, which is very common, then this diagonal correspondence is trivial after correcting with vertical divisors.


So this shows that your construction can be trivial.


If you'd like to see explicitly, why not try it with a pair of non-isogenous elliptic curves like $y^2=x^3-x$ and $y^2=x^3-1$.


