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

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

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

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

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

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

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

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

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.