Abstract
Given a finite number of distinct elements ai ∈ ¢, i ∈ S, let \( f\left( t \right) = \prod\limits_{i \in S} {\left( {t - a_i } \right)} \). We form the plane curve C1 defined by the equation
The polynomial s2 -f(t) is irreducible, so (s2 -f(t)) is a prime ideal, and C1 is a 1-dimensional affine variety in ¢2. In fact, C1 is smooth. To prove this, we will calculate the dimension of the Zariski-tangent space at each point, i.e., the space of solutions \( (\dot s,\dot t) \) ∈ ¢2 to the equation
That is equivalent to the equation
if s ≠ 0, the solutions are all linearly dependent since \( \dot s = \frac{{\dot t}} {{2s}}\left( {\sum\limits_{j \in S} {\prod\limits_{i \ne j} {\left( {t - a_i } \right)} } } \right) \) ; if s = 0, we get from the equation of the curve \( \prod\limits_{i \in S} {\left( {t - a_i } \right)} = 0 \), hence t = ai for some i; thus \( 0 = \dot t \cdot \prod\limits_{j \ne i} {\left( {a_i - a_j } \right)} \), so \( \dot t = 0 \). Thus at all points, the Zariski tangent space is one-dimensional.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2007 Birkhäuser Boston
About this chapter
Cite this chapter
Mumford, D. (2007). Divisors on hyperelliptic curves. In: Tata Lectures on Theta II. Modern Birkhäuser Classics. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-0-8176-4578-6_2
Download citation
DOI: https://doi.org/10.1007/978-0-8176-4578-6_2
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-0-8176-4569-4
Online ISBN: 978-0-8176-4578-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)