Hasse–Weil L-function

Hasse–Weil L-function
Name	Hasse–Weil L-function
Field	Number theory, Algebraic geometry
Introduced	Mid 20th century
Notable people	André Weil, Helmut Hasse, Pierre Deligne, Goro Shimura, Yasutaka Ihara, John Tate, Bryan Birch, Peter Swinnerton-Dyer, Robert Langlands, Alexander Grothendieck

Hasse–Weil L-function is a complex L-function attached to an algebraic variety defined over a global field, introduced in developments by Helmut Hasse and André Weil and later articulated using tools from Alexander Grothendieck's cohomology theories and Pierre Deligne's work on Weil conjectures. It encodes arithmetic information of a variety through Euler products built from local zeta functions at primes and conjecturally satisfies analytic continuation and functional equations predicted by the Langlands program and compatibilities with automorphic representations studied by Robert Langlands and collaborators. The Hasse–Weil construction unites themes from work of John Tate, Goro Shimura, Pierre Deligne, Yasutaka Ihara, and later researchers on special values such as the conjectures of Bryan Birch, Peter Swinnerton-Dyer, and Alexander Beilinson.

Definition and Basic Properties

For a smooth projective variety X defined over a number field K, the Hasse–Weil L-function is defined formally as an Euler product over nonarchimedean places v of K, using local factors determined by the action of Frobenius elements on étale cohomology groups introduced by Alexander Grothendieck and developed by Jean-Pierre Serre. Basic properties conjectured include meromorphic continuation to the complex plane, a functional equation relating s and 1−s or variants depending on cohomological degree, and an order of vanishing at special points linked to arithmetic invariants considered by John Tate and Goro Shimura. Foundational examples arise in work of Helmut Hasse on zeta functions of curves over finite fields and in Shimura's study of modular forms for congruence subgroups such as those examined by Atkin–Lehner specialists.

Zeta Functions of Varieties and Local Factors

The local factors entering the Euler product are constructed from the zeta function Z(X_v, t) of the reduction X_v at a finite place v, following the pattern of the Weil conjectures proved by Pierre Deligne building on Alexander Grothendieck's formulation. For each ℓ-adic cohomology group H^i_et(X̄, Q_ℓ), the characteristic polynomial of geometric Frobenius yields polynomials P_{v,i}(T) whose reciprocals define local L-factors L_v(H^i, s) in the style of constructions used by Yasutaka Ihara and Jean-Pierre Serre. At places of bad reduction, factors are modified using theories developed by Serre and Grothendieck such as monodromy and the weight filtration; wild ramification phenomena studied by Goro Shimura and Pierre Deligne complicate explicit descriptions.

Analytic Continuation and Functional Equation Conjectures

Analytic continuation and functional equations for Hasse–Weil L-functions are central conjectures of the Langlands program advanced by Robert Langlands and linked to reciprocity philosophies of Emmy Noether's successors. For certain varieties, analytic continuation is known via modularity theorems exemplified by the proof of the modularity theorem for semistable elliptic curves by work of Andrew Wiles, Richard Taylor, Fred Diamond, and Christopher Breuil. In general, conjectures posit that the completed L-function Λ(X, s), after inclusion of Γ-factors at archimedean places as in analyses by Atle Selberg and Harish-Chandra, satisfies a functional equation relating s to a dual value determined by Poincaré duality on cohomology, echoing patterns in the work of Bernhard Riemann on zeta functions.

Examples: Elliptic Curves and Abelian Varieties

For an elliptic curve E over Q, the Hasse–Weil L-function matches the L-function of a weight 2 newform for congruence subgroup Γ_0(N) when E is modular, as established by Andrew Wiles, Richard Taylor, and their collaborators; seminal examples trace back to numerical evidence compiled by Bryan Birch and Peter Swinnerton-Dyer. For higher-dimensional abelian varieties, work by Goro Shimura and Yoshida links many cases to automorphic representations on groups such as GL_n and unitary groups considered by Jacquet and Langlands, though modularity remains open in broad generality. Explicit computations for Jacobians of curves and CM abelian varieties use complex multiplication theories pioneered by Carl Friedrich Gauss and later formalized by Goro Shimura.

Relation to Automorphic Forms and the Langlands Program

Conjecturally every Hasse–Weil L-function arises from an automorphic representation of a reductive group over the adèle ring, a core prediction of Robert Langlands relating motives and automorphic representations. Deep progress has been achieved in cases via the work of Michael Harris, Richard Taylor, Laurent Clozel, and Nicholas Katz linking Galois representations from étale cohomology to automorphic forms on groups like GL_n, GSp_4, and unitary groups explored by Jacquet–Langlands correspondences. The principle underpins reciprocity laws generalizing the Taniyama–Shimura–Weil conjecture and interconnects with trace formula methods developed by James Arthur and the stabilization programs of Laurent Lafforgue.

Special Values and Conjectures (Birch–Swinnerton-Dyer, Beilinson)

Special values of Hasse–Weil L-functions at integers are the subject of deep conjectures: the Birch–Swinnerton-Dyer conjecture relates the leading term of the L-series of an elliptic curve to ranks and regulators, while Alexander Beilinson formulated general conjectures linking values to motivic cohomology and regulators akin to predictions by John Tate. Work by Kazuya Kato, Jan Nekovář, and Georges Harder has advanced Euler system techniques and p-adic L-function constructions inspired by Iwasawa theory of Kenkichi Iwasawa and classical results of Ernst Kummer and Srinivasa Ramanujan on special values. Bloch–Kato conjectures provide a vast framework connecting Selmer groups studied by John Tate to special value orders.

Computational Methods and Known Results

Computational approaches leverage algorithms for counting points over finite fields introduced by Helmut Hasse and refined by Enrico Bombieri and Andrew Granville, along with modular symbols techniques developed by Basile J. Jones and others, and point-counting algorithms of Peter Sarnak's circle of influence. Explicit verifications of modularity and special value predictions use methods from computational algebraic geometry implemented by systems influenced by the SageMath project and routines originally developed by John Cremona for elliptic curves. Known results include full modularity for elliptic curves over Q, cases of potential automorphy for certain abelian varieties by Michael Harris and Richard Taylor, and numerous numerical verifications of the Birch–Swinnerton-Dyer conjecture for specific curves compiled by Noam Elkies and John Cremona.

Category:Algebraic number theory