an exercise about elliptic surface in Beauville's book - MathOverflow most recent 30 from http://mathoverflow.net2013-05-21T19:37:58Zhttp://mathoverflow.net/feeds/question/43211http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/43211/an-exercise-about-elliptic-surface-in-beauvilles-bookan exercise about elliptic surface in Beauville's bookTuan2010-10-22T17:41:18Z2010-10-23T08:58:47Z
<p>In Beauville's "Complex Algebraic Surfaces", given an elliptic surface $f : X \to C$ with a generic fiber $E$. Then either $\text{Alb}(X) \cong \text{Jac}(C)$ or there is an exact sequence of abelian varieties</p>
<p>$0 \to F \to \text{Alb}(X) \to \text{Jac}(C) \to 0$</p>
<p>with $F$ being isogenous to $E$.</p>
<p>Assume that $X$ is a properly elliptic that is in the second case. Does anyone know an example where $F$ is isomorphic to $E$ (and $X$ is not a product), and an example where $F$ is not isomorphic to $E$?</p>
http://mathoverflow.net/questions/43211/an-exercise-about-elliptic-surface-in-beauvilles-book/43232#43232Answer by Holger Partsch for an exercise about elliptic surface in Beauville's bookHolger Partsch2010-10-22T21:01:02Z2010-10-23T08:58:47Z<p>Donu Arapura is right:</p>
<p>If you want $F$ isomorphic to $E$ you can do the following:
Consider the product $E \times P^1$. You find $F \simeq Alb(X) \simeq E$.</p>
<p>If you want $F$ and $E$ to be non isomorphic, one can do as follows.
Let $c$ be a 2-torsion point of $E$. Form the quotient $X$ of $E \times E$ by the involution defined by $(x, y) \mapsto (-x, y + c)$.</p>
<p>The first projection induced an elliptic fibration $X \to \mathbb P^1$. A generic fibre is $E$.
However, the albanese of $X$ is $E'$ = $E$/{0, $c$}.</p>
<p>The statement about the albanese follows by considering the elliptic fibration $X \to E'$ given by the second projection, and the statement of Beauville.</p>
<p>So let us continue this discussion with examples of Kodaira dimension one:</p>
<p>Take an elliptic curve $E$ and a curve $C$ with $g(C) \ge 2$.
Then $E \times C \to C$ is an example with $E$ and $F$ being isomorphic.</p>
<p>Now let $C$ be an hyperelliptic curve with involution $i \colon C \to C$.
Let $E$ be elliptic, and let $b \in E$ be a 2-torsion point.
We define $X$ to be the quotient of $E \times C$ by the involution given by $(x, y) \mapsto (x + b, i(y))$.
As before, the fibration $X \to \mathbb P^1$ gives an example for $E$ not isomorphic to $F$.</p>