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)
fagb
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)abfagb.
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).
and 24 Related for: Weil reciprocity law information
In mathematics, the Weilreciprocitylaw is a result of André Weil holding in the function field K(C) of an algebraic curve C over an algebraically closed...
In mathematics, a reciprocitylaw is a generalization of the law of quadratic reciprocity to arbitrary monic irreducible polynomials f ( x ) {\displaystyle...
Weilreciprocitylaw Reciprocal polynomials, the coefficients of the remainder polynomial are the bits of the CRC Reciprocal square root Reciprocity (projective...
Artin reciprocity Weilreciprocity for algebraic curves Frobenius reciprocity theorem for group representations Stanley's reciprocity theorem for generating...
theory Eisenstein's reciprocitylaw is a reciprocitylaw that extends the law of quadratic reciprocity and the cubic reciprocitylaw to residues of higher...
Clifford's theorem on special divisors Gonality of an algebraic curve Weilreciprocitylaw Algebraic geometry codes Enriques–Kodaira classification List of...
Artin's study of these representations led him to formulate the Artin reciprocitylaw and conjecture what is now called the Artin conjecture concerning the...
program may be seen as Emil Artin's reciprocitylaw, which generalizes quadratic reciprocity. The Artin reciprocitylaw applies to a Galois extension of...
places, i.e. equivalent over every completion of the field. Artin's reciprocitylaw implies a description of the abelianization of the absolute Galois...
local and global fields. 1801 Carl Friedrich Gauss proves the law of quadratic reciprocity 1829 Niels Henrik Abel uses special values of the lemniscate...
one to describe the Artin reciprocitylaw, which is a generalisation of quadratic reciprocity, and other reciprocitylaws over finite fields. In addition...
partially that the decomposition is unique – a point critically noted by André Weil. Indeed, in this proposition the exponents are all equal to one, so nothing...
{q-1}{2}}}.} A reciprocitylaw is a generalization of the law of quadratic reciprocity. There are several different ways to express reciprocitylaws. The early...
symplectic group, first investigated by Irving Segal, David Shale, and André Weil. A natural extension of the representation leads to a semigroup of contraction...
seems to have come from the study of higher reciprocitylaws, that is, generalisations of quadratic reciprocity. Number fields are often studied as extensions...
largely phenomenological, pursuing the widest generalizations of the reciprocitylaw formulation of complex multiplication theory. In retrospect, the name...
of unrestricted carry laws, and continue to issue licenses on a shall-issue basis for the purposes of inter-state reciprocity (allowing residents of...
defined to be the inverse limit of the Weil groups of all the layers G/F, for F an open subgroup of G. The reciprocity map of the class formation (G, A) induces...
formulate the law of biquadratic reciprocity – as Gauss discovered, rings of complex integers are the natural setting for such higher reciprocitylaws. In the...
Wiles at the Mathematics Genealogy Project Wiles, Andrew John (1978). Reciprocitylaws and the conjecture of birch and swinnerton-dyer. lib.cam.ac.uk (PhD...
field theories on algebraic curves and associated reciprocitylaws, two-dimensional quantum gravity and Weil–Petersson geometry of moduli spaces, the Kähler...
relation between restriction and induction is described by Frobenius reciprocity and the Mackey theorem. Restriction to a normal subgroup behaves particularly...