Hyperelliptic curve: Difference between revisions
imported>William Hart |
imported>William Hart |
||
| Line 2: | Line 2: | ||
=== Weierstrass points === | === Weierstrass points === | ||
By the [[Riemann-Hurwitz formula]] the hyprelliptic double cover has exactly <math>2g+2</math> branch points. For each branch point <math>p</math> we have <math>h^0(2p)= 2</math>. Hence these points are all Weierstrass points. Moreover, we see that for each of these points <math>h^0((2(k+1))p)\geq h^0(2kp)+1</math>, and thus the [[Weierstrass weight]] of each of these points is at least <math>\sum_{k=1}^g (2k-k)=g(g-1)/2</math>. However, by the second part of [[Weierstrass gap theorem]], the total weight of Weierstrass points is <math>g(g^2-1)</math>, and thus the Weierstrass points of <math>C</math> are exactly the branch points of the hyperelliptic | By the [[Riemann-Hurwitz formula]] the hyprelliptic double cover has exactly <math>2g+2</math> branch points. For each branch point <math>p</math> we have <math>h^0(2p)= 2</math>. Hence these points are all Weierstrass points. Moreover, we see that for each of these points <math>h^0((2(k+1))p)\geq h^0(2kp)+1</math>, and thus the [[Weierstrass weight]] of each of these points is at least <math>\sum_{k=1}^g (2k-k)=g(g-1)/2</math>. However, by the second part of [[Weierstrass gap theorem]], the total weight of Weierstrass points is <math>g(g^2-1)</math>, and thus the Weierstrass points of <math>C</math> are exactly the branch points of the hyperelliptic double cover. | ||
=== curves of genus 2 === | === curves of genus 2 === | ||
Revision as of 03:33, 22 February 2007
In algebraic geometry a hyperelliptic curve is an algebraic curve Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} which admits a double cover Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f:C\to\mathbb{P}^1} . If such a double cover exists it is unique, and it is called the "hyperelliptic double cover". The involution induced on the curve Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} by the interchanging between the two "sheets" of the double cover is called the "hyperelliptic involution". The [[divisor class] of a fiber of the hyperelliptic double cover is a called the "hyperelliptic class".
Weierstrass points
By the Riemann-Hurwitz formula the hyprelliptic double cover has exactly Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2g+2} branch points. For each branch point Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} we have Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h^0(2p)= 2} . Hence these points are all Weierstrass points. Moreover, we see that for each of these points Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h^0((2(k+1))p)\geq h^0(2kp)+1} , and thus the Weierstrass weight of each of these points is at least Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{k=1}^g (2k-k)=g(g-1)/2} . However, by the second part of Weierstrass gap theorem, the total weight of Weierstrass points is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(g^2-1)} , and thus the Weierstrass points of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} are exactly the branch points of the hyperelliptic double cover.
curves of genus 2
If the genus of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} is 2, then the degree of the cannonical class Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle K_C} is 2, and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h^0(K_C)=2} . Hence the cannonical map is a double cover.
the canonial embedding
If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} is a rational point on a hyperelliptic curve, then for all Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} we have Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h^0((2(k+1))p)\geq h^0(2kp)+1} . Hence we must have Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h^0((2g-2)p)\geq g} . However, by Riemann-Roch this implies that the divisor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (2g-2)p} is rationally equivalent to the canonical class Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle K_C} . Hence the cannonical class of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g-1} times the hyperelliptic class of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} , and the canonical image of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} is a rational curve of degree Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g-1} .