Picard sheaves for elliptic curves - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T06:20:29Z http://mathoverflow.net/feeds/question/71815 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/71815/picard-sheaves-for-elliptic-curves Picard sheaves for elliptic curves Descartes 2011-08-01T17:50:04Z 2011-08-01T19:44:17Z <p>Hi, my question concerns the Picard bundles in the special case of an elliptic curve $E$, say over the complex numbers. Let $p$ and $q$ be the projections of $E \times E$.</p> <p>One defines the $n$-th Picard bundle ($n$ an integer) as follows: take the line bundle associated to the divisor $n$ times O (the point zero weighted with $n$) on $E$, pull it back via $p$, tensor it on $E \times E$ with the Poincaré bundle, and then take the direct image of this under $q$.</p> <p>Does anybody know whether one can say explicitly what the result of this construction is in the special case of an elliptic curve? (one usually defines the Picard sheaves for general curves and uses the jacobian, see the book of Birkenhake Lange, Complex abelian varieties)</p> <p>Thanks a lot!</p> http://mathoverflow.net/questions/71815/picard-sheaves-for-elliptic-curves/71818#71818 Answer by Joe Silverman for Picard sheaves for elliptic curves Joe Silverman 2011-08-01T18:38:07Z 2011-08-01T18:38:07Z <p>Let's just do it with divisor classes. The Poincare divisor (class) on $E\times E$ is $((O)\times E)+(E\times(O))$, or equivalently, <code>$p^*((O))+q^*((O))$</code>. You want to add this divisor class to <code>$np^*((O))$</code> and then push down via <code>$q_*$</code>. So you're computing <code>$$q_*((n+1)p^*((O))+q^*((O)),$$</code> which seems to me should just equal $(O)$, since doesn't <code>$q_*p^*((O))=0$</code>? (I'm also going to add an "elliptic-curve" tag to your question.)</p> http://mathoverflow.net/questions/71815/picard-sheaves-for-elliptic-curves/71821#71821 Answer by Kevin Lin for Picard sheaves for elliptic curves Kevin Lin 2011-08-01T19:44:17Z 2011-08-01T19:44:17Z <p>Let $J^d$ be the degree $d$ Jacobian variety, parameterizing degree $d$ line bundles. Let $P^0$ be a degree $0$ Poincare bundle on $E \times J^0$.</p> <p>Let $x$ be a point of $E$. The bundle $p^\ast (\mathcal{O}_E(nx)) \otimes P^0$ on $E \times J^0$ is the pullback of a degree $n$ Poincare bundle $P^n$ on $E \times J^n$ along the map $\operatorname{id}_E \times (- \otimes \mathcal{O}_E(nx)) : E \times J^0 \to E \times J^n$. This map is clearly an isomorphism.</p> <p>By Proposition 2.1 on page 309 of Arbarello-Cornalba-Griffiths-Harris [for a more comprehensive treatment of this result, see Schwarzenberger's "Jacobians and Symmetric Products"], for $n \geq 1$, (the total space of) the projectivization of the sheaf $q_\ast(P^n)$ is isomorphic to the $n$th symmetric power of $E$, and under this isomorphism, the map from this projective bundle to $J^0 \cong E$ is the Abel-Jacobi map. Hence the same is true for the projectivization of $q_\ast(p^\ast (\mathcal{O}_E(nx)) \otimes P^0)$.</p>