Automorphism group of bi-elliptic surface - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T13:22:09Z http://mathoverflow.net/feeds/question/20600 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/20600/automorphism-group-of-bi-elliptic-surface Automorphism group of bi-elliptic surface Tuan 2010-04-07T06:03:35Z 2010-04-12T02:36:35Z <p>$X$ = bi-elliptic surface (smooth and over $\mathbb{C}$), Aut($X$) = the group of automorphisms of $X$, Aut$^0(X)$ = connected component of the identity in Aut($X$).</p> <p>Is Aut$^0(X)$ always an affine algebraic group?</p> http://mathoverflow.net/questions/20600/automorphism-group-of-bi-elliptic-surface/20992#20992 Answer by Holger Partsch for Automorphism group of bi-elliptic surface Holger Partsch 2010-04-11T08:37:22Z 2010-04-11T08:37:22Z <p>actually, you can describe the automorphism scheme quite explicitly: Such a surface $X$ has an etale galois covering $E \times F \to X$ where $E$ and $F$ are elliptic curves.</p> <p>The automorphisms scheme of $E \times F$ is easy to understand and for $X$ you can use descend. An automorphisms of $E \times F$ descends to $X$, if it commutes with the galois action. For example, if $X = (E \times F)/(\mathbb Z/2\mathbb Z)$ where the action is given by $(x, y) \mapsto (-x, y + c)$ for a non trivial two torsion point $c$ of $E$, you will find that $Aut^0(X) = F/\left &lt; c \right >$.</p> <p>In general, you can prove in that way, that the reduction of $Aut^0(X)$ is just the Albanese of $X$. In characteristic two or three, it can happen that $Aut^0(X)$ is non-reduced.</p> http://mathoverflow.net/questions/20600/automorphism-group-of-bi-elliptic-surface/21009#21009 Answer by VA for Automorphism group of bi-elliptic surface VA 2010-04-11T14:09:14Z 2010-04-12T02:36:35Z <p>The answer is always "no". By classification, a bielliptic surface over $\mathbb C$ has the form $(E\times F)/G$ where $E,F$ are elliptic curves, $G=\subset Aut(E,0)$ is an abelian group acting by complex multiplications on $E$ and by translations on $F$. ($G$ is not necessarily cyclic as Tuan correctly points out.)</p> <p>($X$ maps to an elliptic curve $F/G$ and every fiber is isomorphic to an elliptic curve $E$, hence the name <em>bielliptic</em>.)</p> <p>Then $F$ acts on $E\times F$ by $(x,y)\mapsto (x,y+f)$, and this action commutes with the $G$-action. Thus, $F\subset Aut^0(X)$. As $F$ is a projective variety, $Aut^0(X)$ is not affine.</p>