Weil reciprocity law

Weil reciprocity law

In mathematics, the Weil reciprocity law is a result of André Weil holding in the function field "K"("C") of an algebraic curve "C" over an algebraically closed field "K". Given functions "f" and "g" in "K"("C"), i.e. rational functions on "C", then

:"f"(("g")) = "g"(("f"))

where the notation has this meaning: ("h") is the divisor of the function "h", or in other words the formal sum of its zeroes and poles counted with multiplicity); and a function applied to a formal sum means the product (with multiplicities, poles counting as a negative multiplicity) of the values of the function at the points of the divisor. With this definition there must be the side-condition, that the divisors of "f" and "g" have disjoint support (which can be removed).

In the case of the projective line, this can be proved by manipulations with the resultant of polynomials.

To remove the condition of disjoint support, for each point "P" on "C" a "local symbol"

:("f", "g")"P"

is defined, in such a way that the statement given is equivalent to saying that the product over all "P" of the local symbols is 1. When "f" and "g" both take the values 0 or ∞ at "P", the definition is essentially in limiting or removable singularity terms, by considering (up to sign)

:"f""a""g""b"

with "a" and "b" such that the function has neither a zero nor a pole at "P". This is achieved by taking "a" to be the multiplicity of "g" at "P", and −"b" the multiplicity of "f" at "P". The definition is then

::("f", "g")"P" = (−1)"ab" "f""a""g""b".

See for example Jean-Pierre Serre, "Groupes algébriques et corps de classes", pp.44-46, for this as a special case of a theory on mapping algebraic curves into commutative groups.

There is a generalisation of Serge Lang to abelian varieties (Lang, "Abelian Varieties").

References

*André Weil, "Oeuvres Scientifiques I", p. 291 (in "Lettre à Artin", a 1942 letter to Artin, explaining the 1940 "Comptes Rendus" note "Sur les fonctions algébriques à corps de constantes finis")
*Phillip Griffiths and Joseph Harris, "Principles of Algebraic Geometry", pp.242-3 for a proof in the Riemann surface case
*E. Arbarello, C. de Concini, V.G. Kac, The infinite wedge representation and the reciprocity law for algebraic curves, Proc. Symp. Pure Math., vol. 49 Part I, 1989


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Reciprocity — may refer to: Reciprocity (Canadian politics) Reciprocity (photography), the relationship between the intensity of the light and duration of the exposure that result in identical exposure Traffic violations reciprocity where non resident drivers… …   Wikipedia

  • Reciprocity (mathematics) — In mathematics, reciprocity may mean:* Quadratic reciprocity, a fundamental result in number theory. Generalisations include: **cubic reciprocity **biquadratic reciprocity **higher reciprocity laws **Artin reciprocity **Weil reciprocity for… …   Wikipedia

  • André Weil — Infobox Scientist name = André Weil image width = caption = birth date = birth date|1906|5|6 birth place = Nantes death date = death date and age|1998|8|6|1906|5|6 death place = field = Mathematics work institutions = Lehigh University… …   Wikipedia

  • André Weil — Pour les articles homonymes, voir Weil. André Weil André Weil (source : AMS) Naissance 6 mai 1906 Paris …   Wikipédia en Français

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • Riemann surface — For the Riemann surface of a subring of a field, see Zariski–Riemann space. Riemann surface for the function ƒ(z) = √z. The two horizontal axes represent the real and imaginary parts of z, while the vertical axis represents the real… …   Wikipedia

  • Plane curve — In mathematics, a plane curve is a curve in a Euclidean plane (cf. space curve). The most frequently studied cases are smooth plane curves (including piecewise smooth plane curves), and algebraic plane curves. A smooth plane curve is a curve in a …   Wikipedia

  • Moduli of algebraic curves — In algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on… …   Wikipedia

  • De Franchis theorem — In mathematics, the de Franchis theorem is one of a number of closely related statements applying to compact Riemann surfaces, or, more generally, algebraic curves, X and Y, in the case of genus g > 1. The simplest is that the automorphism… …   Wikipedia

  • Genus–degree formula — In classical algebraic geometry, the genus–degree formula relates the degree d of a non singular plane curve with its arithmetic genus g via the formula: A singularity of order r decreases the genus by .[1] Proofs The proof follows immediately… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”