Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I was reading a paper the other day that said that all automorphisms of a hyperelliptic curve are liftings of automorphisms of $\mathbb{P}^1$ operating on the set of branch points.

Can someone point me to a good reference for hyperelliptic curves that would explain that (and possibly other important things about them too)?

share|improve this question
1  
According to Weil (projecteuclid.org/…) Ch IV, §9 of Chevalley's book "Introduction to the theory of algebraic functions of one variable", is a "tour de force". –  Felipe Voloch Aug 13 '13 at 22:31
2  
@FelipeVoloch "a tour de force" is usually not an indication of "a good reference". –  Igor Rivin Aug 14 '13 at 2:07
    
Mumford's Tata lectures on theta has a chapter on hyperelliptic curves. (I remember someone called Chevalley's book "inhuman". I tend to agree with this:-) –  Alexandre Eremenko Aug 14 '13 at 2:24
1  
@AlexandreEremenko Yes it is Weil who calls it "severely dehumanized", in the above-linked review. –  Francois Ziegler Aug 14 '13 at 2:48

3 Answers 3

Joking aside... Let $x: X \to \mathbb{P}^1$ be of degree $2$ and $\sigma: X \to X$ be an automorphism. Consider $f: X \to \mathbb{P}^1\times\mathbb{P}^1, f=(x,x\circ\sigma)$. If $f$ is injective, then $X$ embeds as a curve of bidegree $(2,2)$ in $\mathbb{P}^1\times\mathbb{P}^1$ and therefore has genus at most $1$. So, if $X$ has genus $>1$ then $f$ is $2-1$ and $f(X)$ has bidegree $(1,1)$ in $\mathbb{P}^1\times\mathbb{P}^1$, so $f(X)$ is the graph of an automorphism $\tau$ of $\mathbb{P}^1$ and $x\circ\sigma = \tau \circ x$. Finally $\tau$ has to send branch points to branch points because $\sigma$ sends ramification points to ramification points, as these points are Weierstrass points, and automorphisms preserve Weierstrass points.

share|improve this answer

Felipe's answer is much better, but what about this, just for fun: an automorphism f of X induces an automorphism of effective divisors of degree 2, i.e. of the symmetric square X^(2). This object contains exactly one copy of P^1, corresponding to the divisors of the g(1,2) and thus the automorphism f^(2) of X^(2) induces an automorphism of this P^1, which takes divisors of form 2.P to divisors of form 2.f(P).

share|improve this answer

The previous two answers are really good; another way to see it is the following: Using Riemann-Roch one can see that the $2:1$ morphism $f:X\to\mathbb{P}^1$ is unique modulo automorphisms of $\mathbb{P}^1$. If $\sigma:X\to X$ is an automorphism of $X$ then $f\circ\sigma$ is a $2:1$ morphism from $X$ to $\mathbb{P}^1$ and so there must be an automorphism $\eta:\mathbb{P}^1\to\mathbb{P}^1$ such that $f\circ\sigma=\eta\circ f$. This automorphism clearly sends branch points to branch points.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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