##  [Eichler–Shimura Correspondence](/eichler-shimura-correspondence-1) 

 Definition

A relationship between classical modular forms (especially weight two eigenforms), two-dimensional l-adic Galois representations, and the cohomology (or Jacobians) of modular curves that connects complex-analytic objects and arithmetic representations.

 

 

 

 

 

 





## Principle

Principle

Hecke operators on spaces of modular forms act compatibly with Frobenius on étale cohomology so that eigenclasses give rise to two-dimensional Galois representations; conversely, eigenforms appear in the cohomology of modular curves as classes whose Hecke eigenvalues match Frobenius traces.

 

 

 

 

 





## Demonstration

Demonstration

For a weight-2 newform f of level N with rational eigenvalues, the correspondence produces a two-dimensional l-adic Galois representation rho_f : Gal(Qbar/Q) -> GL2(Q_l) whose trace at Frobenius p equals the p-th Hecke eigenvalue of f; geometrically the same eigenform contributes a factor of the Jacobian J0(N) giving the same L-series.

 

 

 

 

## Misapplication

Misapplication

Treating the Eichler–Shimura correspondence as an unconditional bijection in settings where hypotheses fail, for example assuming it directly identifies arbitrary higher-weight or noncuspidal forms with 2-dimensional arithmetic representations without the needed adjustments, leads to false conclusions.

 

 

 

 

 





## Consequence

Consequence

It furnishes a concrete bridge between automorphic data and arithmetic Galois data, enabling construction of Galois representations from modular forms, comparison of L-functions, and inputs to modularity and reciprocity theorems.

 

 

 

 

## Reversal

Reversal

Viewed dually, one can ask when a given two-dimensional Galois representation arises from a modular form; that inversion is the modularity problem, which requires additional global and local hypotheses and is not automatic from the forward correspondence.

 

 

 

 

 





## Boundary

Boundary

Applies most directly to classical modular forms over Q (especially weight two and certain newforms) and to the étale cohomology of modular curves; extensions to higher dimensions, other fields, or p-adic families require refined statements (Langlands program, p-adic/automorphic lifts) and additional hypotheses.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Close but not identical to the general Langlands correspondence: Eichler–Shimura is a concrete low-dimensional instance linking Hecke actions and cohomology, whereas Langlands is a broader conjectural framework predicting correspondences in many more contexts.

 

 

 

 

 





## Synthesis

Synthesis

Eichler–Shimura identifies arithmetic content concealed in analytic modular forms by showing that Hecke eigenclasses occurring in the cohomology of modular curves encode two-dimensional Galois representations; concretely it is the mechanism that turns analytic eigenvalues into Frobenius traces and thus links automorphic and arithmetic invariants.