Let $C$ be a smooth curve of genus $g$, and let us consider its $d$-th symmetric product $\textrm{Sym}^d(C)$ and its Jacobian $J(C)$. Fixing a point $p_0 \in C,$ there are two maps $$u_d\colon C_d \to J(C), \quad u_d(D):=\mathcal{O}_C(D-dp_0),$$ $$i_{d-1} \colon \textrm{Sym}^{d-1}(C) \to \textrm{Sym}^d(C), \quad i_{d-1}(D):=D+p_0.$$ Then the following two divisor classes in the Néron-Severi group of $\textrm{Sym}^d(C)$ are independent on $p_0$: $$\theta:=u_d^*(\Theta), \quad x:=i_{d-1} (\textrm{Sym}^{d-1}(C)),$$
where $\Theta$ is the theta divisor in the Néron-Severi group of $J(C)$. It is well-known that, if $C$ is with general moduli, (i.e., it defines a very general point in the moduli space $\mathcal{M}_g$), then the following holds:

(1) the Néron-Severi group of $\textrm{Sym}^d(C)$ is generated by $\theta$ and $x$;

(2) the class $\delta$ of the diagonal of $\textrm{Sym}^d(C)$ is given by $$\delta = 2((d+g-1)x - \theta).$$

Now, it is not difficult to produce counterexamples (for instances, curves with non-trivial correspondences) showing that (1) does not hold if $C$ is not with general moduli. So let me ask the following

Question. Is (2) true for every smooth curve of genus $g$?

A. Kouvidakis, in Lemma 7 of his paper Divisors on symmetric product of curves (Trans. Amer. Math. Soc. 337), claims that (2) is due to MacDonald, and refers to Arbarello-Cornalba-Griffiths-Harris'book Geometry of Algebraic Curves I, Proposition 5.1 p. 358 for the proof.

Actually, the (much more general) result quoted in the book is apparently stated without assumptions on $C$, but the proof is based on a Lemma whose statement begins with "Let $C$ be a curve with general moduli", and whose content is essentially (1). So I am a bit confused.

My impression is that the answer to the question should be yes and that some kind of specialization argument should do the job. Any reference to the relevant literature will be particularly appreciated. I am primarily interested in the case $d=g=2$, but I would like to know the answer to the general question, too.

  • 3
    $\begingroup$ The answer is yes, and you can, indeed, deduce the result for all smooth curves from the case of general curves by specialization. The point is separatedness and properness of the relative Picard scheme of a family of smooth, projective varieties. Over a smooth base, so that the total space of the family is also smooth, this is just the fact that the closure in the total space of a Cartier divisor in a general fiber is the unique flat extension, and it is a Cartier divisor (since the total space is smooth). There are also direct proofs for all curves. $\endgroup$ Mar 30 '16 at 11:43
  • $\begingroup$ @JasonStarr: thank you very much for your very useful comment. Could you please be so kind and add your comment as an answer, so that the question will not appear as unanswered? And do you know any reference for a direct proof for all curves? $\endgroup$ Mar 30 '16 at 11:47
  • $\begingroup$ I will write an answer. The original reference might be Mattuck, but I need to check. $\endgroup$ Mar 30 '16 at 11:49

This identity might be explicitly given in one of the following articles of Arthur Mattuck (Mattuck does prove many identities), but I could not find it.

MR0142553 (26 #122)
Mattuck, Arthur
Symmetric products and Jacobians.
Amer. J. Math. 83 1961 189–206.
14.20 (14.51)

MR0136608 (25 #76)
Mattuck, Arthur
On symmetric products of curves.
Proc. Amer. Math. Soc. 13 1962 82–87.
14.10 (14.20)

Just to repeat your notation, for every $d\in \mathbb{Z}$, define $u_d:C_d\to \text{Pic}^d_{C/k}$ to be the Abel map. Define $i_{d-1,d}:C_{d-1}\to C_d$ to be the morphism adding $\underline{p}_0$ to an effective divisor. Define $j_{d-1,d}:\text{Pic}^d_{C/k}$ to be the morphism that twists an invertible sheaf by $\mathcal{O}_C(\underline{p_0})$. The morphism $j_{d-1,d}$ is an isomorphism.

The image $\Theta = u_{g-1}(C_{g-1})\subset \text{Pic}^{g-1}_{C/k}$ is an effective, reduced Cartier divisor. For every $d$, define $\Theta_d\subset \text{Pic}^d_{C/k}$ to be the unique Cartier divisor such that $j_{d-1,d}^*\Theta_d$ equals $\Theta_{d-1}$. Define $\Delta_d \subset C_d$ to be the (reduced) Cartier divisor parameterizing effective divisors on $C$ that are nonreduced (i.e., at least one pair of points comes together). Finally, denote $H_d = i_{d-1}(C_{d-1})$ as an effective Cartier divisor on $C_d$.

The basic identity is that $i_{d+1,d}^*(\underline{\Delta_{d+1}})$ equals $\underline{\Delta_d} + 2\underline{H_d}$ as effective Cartier divisors on $C_d$. Set-theoretically this is clear. The fact that the coefficient of $\underline{H_d}$ equals $2$ follows from a local analysis: it is the fact that the quotient morphism $q:C^2\to C_2$ is simply branched along the diagonal (i.e., reduce to the case that $d$ equals $1$). By definition, $i_{d+1,d}^*u_{d+1}^* \Theta_{d+1}$ equals $u_d^*\Theta_d$.

Finally, the normal sheaf of the embedding $i_{d,d+1}$ equals $T_{C,p_0}\otimes_k \mathcal{O}_{C_d}(\underline{H}_d)$. To see this, consider the one-parameter family of deformations of $i_{d,d+1}$ obtained by varying $p_0\in C$. In particular, a first-order deformation in $T_{C,p_0}\setminus\{0\}$ defines a section of the normal sheaf of $i_{d,d+1}$. Away from $H_d$, it is straightforward to see that this section is nonzero. Since $H_d$ is irreducible, it follows that the normal sheaf equals $T_{C,p_0}\otimes_k \mathcal{O}_{C_d}(m\underline{H}_d)$ for some integer $m$. Working locally at a generic point of $H_d$, $m$ equals $1$ since $C^2 \to C_2$ is simply branched along the diagonal (the same reason for the coefficient $2$ in the previous paragraph).

That is all the necessary preparation. Because of the computations of $i_{d+1,d}^*$ on various divisors, on divisor classes we have the relation $$ i_{d+1,d}^* \mathcal{O}_{C_{d+1}}(-\underline{\Delta}_{d+1}-2\underline{\Theta}_{d+1} +2((d+1)+g-1)\underline{H}_{d+1})) \cong $$ $$ T_{C,p_0}^{\otimes 2(d+g)}\otimes_k \mathcal{O}_{C_d}(-\underline{\Delta}_d -2 \underline{H}_d - 2\underline{\Theta}_d + 2(d+g)\underline{H}_d). $$ Thus the claim for $d+1$ implies the claim for $d$.

Finally, when $d > 2g-2$, by Abel's Theorem / Jacobi Inversion and Riemann-Roch, the morphism $u_d$ is a smooth, projective morphism whose geometric generic fibers are projective spaces of relative dimension $d-g$. Moreover, $H_d$ gives a relative hyperplane class. Thus, for every invertible sheaf $\mathcal{L}$ on $C_d$ that has degree $0$ on a fiber, $(u_d)_*\mathcal{L}$ is an invertible sheaf on $\text{Pic}^d_{C/k}$, and the adjunction map $$u_d^*(u_d)_*\mathcal{L} \to \mathcal{L},$$ is an isomorphism. Now let $f:C\to \mathbb{P}^1$ be a tamely ramified, finite, flat morphism of degree $d> 2g-2$ (such morphisms exist by Riemann-Roch and Bertini type arguments). Let $\widetilde{f}:\mathbb{P}^1\to C_d$ be the morphism associated to the graph of $f$ in $C\times \mathbb{P}^1$ considered as a Cartier divisor of relative degree $d$ over $\mathbb{P}^1$. Then $\widetilde{f}^*H_d$ is the reduced divisor $f(p_0)$. By Riemann-Hurwitz, $\widetilde{f}^*\Delta_d$ is the branch divisor and has degree $2(d+g-1)$. Thus, the invertible sheaf from the previous paragraph has degree $0$ on fibers of $u_d$.

Thus, for every $C$, for every $p_0$, for every $d\geq 0$, there exists a unique invertible sheaf $\mathcal{L}_d$ on $\text{Pic}^d_{C/k}$ such that $j_{d,d+1}^*\mathcal{L}_{d+1}$ is isomorphic to $\mathcal{L}_d$, such that $$u_d^*\mathcal{L}_d \cong \mathcal{O}_{C_d}(-\underline{\Delta}_d - 2\underline{\Theta}_d + 2(d+g-1)\underline{H}_d), $$ for all $d$, and such that $$\mathcal{L}_d = (u_d)_* \mathcal{O}_{C_d}(-\underline{\Delta}_d - 2\underline{\Theta}_d + 2(d+g-1)\underline{H}_d),$$ for all $d>2g-2$. The claim is that $\mathcal{L}_d$ is an invertible sheaf on $\text{Pic}^d_{C/k}$ that is algebraically equivalent to zero.

By considering the case that $d=1$, it is already clear that $\mathcal{L}_d$ has degree $0$ on the Abel image of $C$. Moreover, since the construction works relatively in families, via properness and separatedness of the (components) of the relative Picard scheme, it suffices to prove for $C$ very general that every invertible sheaf on $\text{Pic}^1_{C/k}$ that has degree $0$ on the Abel image of $C$ is algebraically equivalent to zero. This follows, for instance, from the Franchetta conjecture (proved over the complex numbers by John Harer, and extended to positive characteristic by Stefan Scröer).

Edit. You do not need to use Franchetta's conjecture. If every correspondence on $C$ has valence, then you can use $d=2$ to prove that $u_2^*\mathcal{L}_2$ is algebraically equivalent to zero. By the theorem of the cube, already $u_2^*$ is injective on Picard groups. So it suffices to prove that there exists a curve $C$ such that every correspondence has valence. That is much easier than Franchetta's conjecture.

Second Edit. If you specialize to the case $d=g-1$, which again is sufficient to prove the claim when $g\geq 3$ so that $d\geq 2$, you can eliminate the dependence on $p_0$. Once you do that, the claim reduces to the following claim: for the universal divisor $\mathcal{D}\subset C\times C_{g-1}$, the following invertible sheaf on $C_d$ is algebraically equivalent to zero, $$\mathcal{B}_C := \text{det}(R^1\text{pr}_{1,*}\mathcal{O}(-\underline{\mathcal{D}}))^{\otimes 2}(-\underline{\Delta}).$$ Since this invertible sheaf is defined over the field of definition of $C$, in fact, it must be that $\mathcal{B}_C$ is isomorphic to the structure sheaf. There may be a direct proof that $\mathcal{B}_C$ is trivial using Grothendieck-Riemann-Roch (which would prove your result without specialization).

Final Edit. If you apply Grothendieck-Riemann-Roch to compute the class of $\text{det}(R^1\text{pr}_{1,*}\mathcal{O}(-\underline{\mathcal{D}}))$, it gives that the Cartier divisor class of the square of this line bundle equals the pushforward via the finite flat morphism, $$\text{pr}_{1,\mathcal{D}}:\mathcal{D} \to C_{d-1},$$ of the relative canonical divisor class. Via the pullback sequence of sheaves of differentials associated to $\text{pr}_{1,\mathcal{D}}$, there is an effective representative of the relative divisor class supported on the ramification locus of $\text{pr}_{1,\mathcal{D}}$. That maps to the diagonal $\Delta_{g-1}$ in $C_{g-1}$. By the same local analysis as above, the multiplicity equals $1$. This proves that $\mathcal{B}_C$ is isomorphic to the structure sheaf without using specialization. That proves that $u_{g-1}^*\mathcal{L}_{g-1}$ is algebraically equivalent to zero. When $g\geq 3$, that implies your result without specialization.

Final, Final Edit. Francesco Polizzi points out that the formula does indeed follow from Formulas (1) and (5) of Mattuck's article "On symmetric products of curves" listed above.

  • 1
    $\begingroup$ Actually, at least in the case $d=g$ the result also follows from Mattuck's paper On symmetric product of curves. In fact, equations $(1)$ and $(5)$ of such a paper read $$2S+ \Delta_1 \cong 2 \sum _{1}^{2g-2}X[\mathfrak{p}_i], \quad \pi^{-1}(W_1)=S+X_1,$$ where $\mathfrak{p}_1+ \cdots +\mathfrak{p}_{2g-2} \in |K_C|$ and $S$ is the unique positive $g-1$ cycle in the canonical system of $\textrm{Sym}^g(C)$. Passing to algebraic equivalence and switching to our notation: $$2 S + \delta = (4g-4)x, \quad \theta = S+x,$$ hence $$\delta = 2((2g-1)x - \theta)$$ i.e. the desired formula when $d=g$. $\endgroup$ Apr 7 '16 at 8:50

Let me try to give a slightly different approach, which hopefully complements Jason's answer. Basically, let us compute as much as we can about the natural line bundles on the symmetric power.

First of all, the line bundle $O(-\Theta)$ on $\mathrm{Pic}^{g-1}(C)$ coincides with the line bundle $\det \mathrm{R\Gamma}$ (whose fiber over $\ell\in\mathrm{Pic}^{g-1}(C)$ is $\det\mathrm{R\Gamma}(C,\ell)$). I prefer to work with degree $g-1$ bundles on $C$ here, so that the $\Theta$ divisor is defined canonically, not just up to a shift. Your formula involves the pullback of $\Theta$ (or, equivalently, of this line bundle) under the map $$u_d:\mathrm{Sym}^dC\to\mathrm{Pic}^{g-1}(C):D\mapsto O(D+(-d+g-1)p_0),$$ but I would prefer to work with the map $$v_d:\mathrm{Sym}^dC\to\mathrm{Pic}^{g-1}(C):D\mapsto O(-D+(d+g-1)p_0),$$ which is algebraically equivalent to $-u_d$ (and $\Theta$ is invariant under the inversion anyway).

Now in these terms, we can state the following identity: $$v_d^*(\det\mathrm{R\Gamma}^{\otimes 2})\simeq O(\Delta-2(d+g-1)H),$$ where following Jason's answer, $\Delta$ is the diagonal in $\mathrm{Sym}^d C$, and $H$ is the reduced divisor whose complement is $\mathrm{Sym}^d(C-{p_0})$. (Note that this is an isomorphism of line bundles, not just an algebraic equivalence.) Indeed, the left-hand side is the line bundle whose fiber over $D\in\mathrm{Sym}^dC$ is $$\det\mathrm{R\Gamma}(C,O(-D+(d+g-1)p_0))^{\otimes 2}\simeq\det(O/O(-D))^{\otimes-2}\otimes (O(-D))_{p_0}^{\otimes 2(d+g-1)}.$$ It now remains to notice that the line bundle whose fiber over $D$ is $\det(O/O(-D))^{\otimes 2}$ is isomorphic to $O(-\Delta)$, while the line bundle whose fiber is $O(-D)_{p_0}$ is isomorphic to $O(-H)$.

  • $\begingroup$ This is the approach I was beginning to vaguely remember in the last two edits. For $d=g-1$, do you know what $R\Gamma$ equals? Is there a bilinear pairing on $R\Gamma$ into the structure sheaf of the diagonal? I computed $R\Gamma$ on a line in a fiber of the Abel map $u_{g-1}$, i.e., a $g^1_{g-1}$ in classical notation, and it appears that $R\Gamma$ restricts as a direct sum of $2g-2$ copies of $\mathcal{O}(-1)$. $\endgroup$ Mar 31 '16 at 8:22
  • $\begingroup$ There were some typos in my previous comment. The bilinear pairing is supposed to be on $H^1(C,\ell^\vee)$ or, via the birational involution on $C_{g-1}$, on $H^0(C,\omega_C\otimes \ell)$. So this is a bit different from $R\Gamma$. $\endgroup$ Mar 31 '16 at 8:55
  • $\begingroup$ No, I don't know whether there is a nice description of $\mathrm{R\Gamma}$ (before taking $\det$) on $\mathrm{Sym}^{g-1}(C)$. $\endgroup$
    – t3suji
    Mar 31 '16 at 15:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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