Riemann-Hurwitz formula: Difference between revisions
Jump to navigation
Jump to search
imported>David Lehavi No edit summary |
imported>William Hart No edit summary |
||
| Line 1: | Line 1: | ||
In [[algebraic geometry]] The Riemann-Hurwitz formula states that if C,D are smooth [[algebraic curves]], and <math>f:C\to D</math> is a [[finite map]] of [[degree]] <math>d</math> then the number of [[branch points]] of <math>f</math>, | In [[algebraic geometry]] The Riemann-Hurwitz formula states that if C,D are smooth [[algebraic curves]], and <math>f:C\to D</math> is a [[finite map]] of [[degree]] <math>d</math> then the number of [[branch points]] of <math>f</math>, denoted by <math>B</math>, is given by | ||
<math>2(genus(C)-1)=2d(genus(D)-1)+B</math>. | <math>2 (\mbox{genus}(C)-1)=2d(genus(D)-1)+B</math>. | ||
Over a [[field]] in general [[characteristic]], this theorem is a consequence of the [[Riemann-Roch theorem]]. Over the [[complex numbers]], the theorem can be proved by choosing a [[triangulation]] of the curve <math>D</math> such that all the branch points of the map are nodes of the | Over a [[field]] in general [[characteristic]], this theorem is a consequence of the [[Riemann-Roch theorem]]. Over the [[complex numbers]], the theorem can be proved by choosing a [[triangulation]] of the curve <math>D</math> such that all the branch points of the map are nodes of the triangulation. One then considers the [[pullback]] of the triangulation to the curve <math>C</math> and computes the [[Euler characteristics]] of both curves. | ||
[[Category:Mathematics Workgroup]] | [[Category:Mathematics Workgroup]] | ||
[[Category:CZ Live]] | [[Category:CZ Live]] | ||
Revision as of 05:31, 23 February 2007
In algebraic geometry The Riemann-Hurwitz formula states that if C,D are smooth algebraic curves, and is a finite map of degree then the number of branch points of , denoted by , is given by
.
Over a field in general characteristic, this theorem is a consequence of the Riemann-Roch theorem. Over the complex numbers, the theorem can be proved by choosing a triangulation of the curve such that all the branch points of the map are nodes of the triangulation. One then considers the pullback of the triangulation to the curve and computes the Euler characteristics of both curves.
