This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Eichler–Shimura | |
|---|---|
| Name | Eichler–Shimura correspondence |
| Field | Number theory; Algebraic geometry; Representation theory |
| Introduced | 1950s |
| Key people | Martin Eichler, Goro Shimura |
| Related concepts | Modular form, Hecke operator, Galois representation |
Eichler–Shimura The Eichler–Shimura correspondence is a central result connecting modular form theory, algebraic geometry, and Galois representation theory. It relates classical holomorphic modular forms of weight two and higher to the étale cohomology of modular curves and to two-dimensional ℓ-adic representations of absolute Galois groups. The correspondence underlies deep links among the work of Ernst Kummer, Bernhard Riemann, Erich Hecke, and modern developments by Andrew Wiles, Goro Shimura, and Pierre Deligne.
The correspondence emerged from the interaction of analytical theories of modular functions studied by Martin Eichler and algebraic approaches developed by Goro Shimura and Yutaka Ihara. It formalizes how eigenforms for Hecke operators correspond to geometric objects: Jacobians of modular curves and motives over number fields studied by Pierre Deligne, Jean-Pierre Serre, and John Tate. The result builds on classical results of Ernst Hecke, Georg Cantor, Carl Ludwig Siegel, and later contributions by Atkin and Lehner, Haruzo Hida, Richard Taylor, and Ken Ribet.
For a newform f of weight k = 2 for a congruence subgroup such as Γ0(N), there is an associated abelian variety A_f which is an optimal quotient of the Jacobian J0(N) of the modular curve X0(N). The action of the algebra generated by Hecke operators T_n on the space of cusp forms corresponds to endomorphisms of A_f defined over the rational field studied by Galois group actions like those of Gal(ℚ̄/ℚ). For k = 2 one obtains an isomorphism between the subspace spanned by f and the first singular cohomology H^1(X0(N)(ℂ), ℂ) with compatible actions of Hecke operators and complex conjugation, while Deligne’s work produces a compatible family of ℓ-adic representations ρ_f,ℓ: Gal(ℚ̄/ℚ) → GL_2(ℚ_ℓ) characterized by matching Frobenius traces at unramified primes to eigenvalues of T_p.
The proof combines analytic, algebraic, and étale-cohomological methods pioneered by Hecke, Erich Hecke, Goro Shimura, and later refined by Pierre Deligne and Alexander Grothendieck. One uses the Eichler–Shimura isomorphism identifying spaces of weight-two modular forms with parts of H^1 of modular curves, then constructs correspondences on X0(N) inducing endomorphisms of J0(N) studied by Igusa and Mazur. Étale cohomology and the comparison theorems of Grothendieck and Faltings produce ℓ-adic realizations, while the Cebotarev density theorem and Frobenius element analysis of Chebotarev identify traces with Hecke eigenvalues. Techniques from Hodge theory and the theory of Shimura varietys developed by Michio Kuga, George Piatetski-Shapiro, and Goro Shimura are instrumental. Modularity lifting results of Wiles and improvements by Richard Taylor connect these constructions to automorphic representations studied by James Arthur and Robert Langlands.
The correspondence yields the modularity of certain two-dimensional ℓ-adic representations and supplies the construction of motives associated to newforms, informing the work of Deligne on special values of L-functions and the conjectures of Beilinson and Bloch–Kato. It underpins Ribet’s level-lowering theorem and was pivotal in Wiles’s proof of the Taniyama–Shimura–Weil conjecture (modularity theorem) leading to the proof of Fermat's Last Theorem. Applications extend to the study of L-functions of elliptic curves by John Coates, Andrew Wiles, and Brian Conrad, and to explicit algorithms for computing modular abelian varieties by William Stein, John Cremona, and Richard Taylor. The correspondence informs the conjectural links in the Langlands program explored by Robert Langlands, Pierre Deligne, and Michael Harris.
Concrete instances include the association of the weight-two newform corresponding to an elliptic curve E over ℚ studied by Andrew Wiles and John Coates, where A_f ≅ E and ρ_f,ℓ coincides with the Tate module of E analyzed by Jean-Pierre Serre and John Tate. Explicit level N examples computed by John Cremona and implemented in software by William Stein illustrate the construction of J0(N) and its simple factors. Historical examples trace back to the study of theta series by Carl Gustav Jacobi, Srinivasa Ramanujan, and Ernst Hecke, and computational classifications by Tito Pizetti and modern databases maintained by the L-functions and Modular Forms Database community.
Generalizations appear in the context of higher-weight forms, Hilbert modular forms over totally real fields studied by Haruzo Hida and Jacquet–Langlands correspondence work involving Hiroshi Saito and Goro Shimura, and in the framework of Siegel modular forms and PEL-type Shimura varietys by Mark Kisin and Rapoport–Zink. The Eichler–Shimura philosophy extends to the construction of Galois representations for automorphic forms on GL_n established by Michael Harris, Richard Taylor, James Arthur, and Laurent Clozel. Further connections include the study of special cycles on Shimura varieties by Stephen Kudla, p-adic families of modular forms by Robert Coleman, and the compatibility with the local Langlands correspondence explored by Henniart and Peter Scholze.