Weil reciprocity

Weil reciprocity

Weil reciprocity is a reciprocity law for meromorphic functions on smooth projective algebraic curves, formulated by André Weil in the context of Riemann surface theory and algebraic curve arithmetic. It asserts a product formula relating values of two functions evaluated at each other’s zeros and poles, tying together ideas from the Riemann–Roch theorem, the Abel–Jacobi map, and the theory of the Jacobian variety. This principle plays a unifying role connecting classical results from Carl Friedrich Gauss and Emil Artin with modern developments in Pierre Deligne’s and Alexander Grothendieck’s work on cohomology and duality.

Statement

Let C be a smooth projective curve over a field k and let f and g be nonzero rational functions on C. Weil reciprocity states that the product over all closed points P of C of f(P)^{ord_P(g)} equals the product over all closed points P of g(P)^{ord_P(f)}, where ord_P denotes the valuation at P and values are taken in an algebraic closure of k. The equality can be expressed multiplicatively as a global identity in the multiplicative group of k*, and it refines classical reciprocity laws such as those of Carl Friedrich Gauss for quadratic residues and Emil Artin’s reciprocity in global class field theory. The statement is closely related to the existence of the canonical line bundle on C, the pairing on the Picard group Pic^0(C), and the description of the Weil pairing on torsion points of the Jacobian variety.

Proofs and formulations

Multiple proofs and equivalent formulations exist, reflecting contributions from several figures in 20th century mathematics. Weil originally gave an analytic proof using the theory of Riemann surface integrals and the existence of meromorphic differentials. Algebraic proofs use divisor theory and the Riemann–Roch theorem to reduce to local computations at closed points; these approaches draw on methods from Oscar Zariski’s work on valuation theory and on Grothendieck’s development of sheaf cohomology in the context of Alexander Grothendieck’s Éléments de géométrie algébrique. A cohomological formulation interprets Weil reciprocity via the cup product in étale or coherent cohomology and relates to duality theorems of Jean-Pierre Serre and Alexander Grothendieck; this perspective makes connections with Pierre Deligne’s studies of the determinant of cohomology. Other proofs exploit the explicit properties of the Abel–Jacobi map and the algebraic description of the Jacobian variety to derive the reciprocity product from identities on line bundles and theta functions developed by Riemann and later formalized by André Weil.

Generalizations and extensions

Weil reciprocity has been generalized in several directions. In higher dimensions, analogues appear in the form of higher-dimensional reciprocity laws studied by Alexander Beilinson and Spencer Bloch via higher Chow groups and motivic cohomology, and by Kazuya Kato and Serge Lang in arithmetic duality theorems. The arithmetic formulation links to class field theory and the global Artin reciprocity map in the work of Emil Artin and John Tate, and it is reflected in the cohomological duality results of John Tate and Serre duality formulations. The formalism of the Weil pairing on the torsion of the Jacobian connects to Complex multiplication theory and the arithmetic of elliptic curves studied by Goro Shimura and Yutaka Taniyama. Noncommutative and quantum analogues have been proposed in the context of noncommutative geometry by Alain Connes and in categorical reciprocity frameworks influenced by Maxim Kontsevich’s homological methods. Extensions to fields with valuation, including local fields such as p-adic numbers studied by Kurt Hensel and Jean-Pierre Serre, yield refinements relevant to Iwasawa theory and the work of Kenkichi Iwasawa.

Examples and computations

On the projective line P^1 over a field k, Weil reciprocity reduces to elementary identities among rational functions; for example, for f(x)=x-a and g(x)=x-b with a,b in k, the identity follows from simple evaluation at the finite points and at the point at infinity. Classical computations on hyperelliptic curves, used in the study of the Jacobian by Andrei Okounkov and in explicit arithmetic by Niels Hendrik Abel and Carl Gustav Jacobi, illustrate the combinatorial bookkeeping of orders of zeros and poles. For elliptic curves, the reciprocity law links with the Weil pairing on n-torsion points and can be computed using modular functions investigated by Srinivasa Ramanujan and Bernhard Riemann; explicit formulae are used in algorithmic contexts influenced by Victor S. Miller and Andrew Wiles for cryptographic and arithmetic applications. Computational approaches leverage divisor arithmetic, reduction to local fields such as Q_p and Riemann surface uniformization techniques pioneered by Henri Poincaré.

Applications in algebraic geometry and number theory

Weil reciprocity underlies many structural results in algebraic geometry and number theory. It is used to define and study the Weil pairing on the Jacobian variety of a curve, which plays a central role in the proof of the Mordell–Weil theorem and in the arithmetic of abelian varieties examined by Gerd Faltings and Michael Artin. In class field theory, the reciprocity philosophy links local and global symbols in the work of Emil Artin, John Tate, and Alexander Grothendieck, informing the formulation of the global reciprocity law. Weil reciprocity also appears in the study of moduli spaces such as the Moduli space of curves and in duality theorems for coherent sheaves initiated by Jean-Pierre Serre and Alexander Grothendieck. In computational number theory and cryptography, explicit instances of Weil reciprocity and the Weil pairing are used in pairing-based protocols developed by Antoine Joux and practical implementations informed by Neal Koblitz and Victor S. Miller.

Category:Algebraic geometry