Abstract:We construct a geometric realization of representations for $\text{PSL}(2, \mathbb{F}_p)$ by the defining ideals of rational models $\mathcal{L}(X(p))$ of modular curves $X(p)$ over $\mathbb{Q}$. Hence, for the irreducible representations of $\text{PSL}(2, \mathbb{F}_p)$, whose geometric realizations can be formulated in three different scenarios in the framework of Weil's Rosetta stone: number fields, curves over $\mathbb{F}_q$ and Riemann surfaces. In particular, we show that there exists a correspondence among the defining ideals of modular curves over $\mathbb{Q}$, reducible $\mathbb{Q}(\zeta_p)$-rational representations $\pi_p: \text{PSL}(2, \mathbb{F}_p) \rightarrow \text{Aut}(\mathcal{L}(X(p)))$ of $\text{PSL}(2, \mathbb{F}_p)$, and $\mathbb{Q}(\zeta_p)$-rational Galois representations $\rho_p: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \rightarrow \text{Aut}(\mathcal{L}(X(p)))$ as well as their modular and surjective realization. This leads to a new viewpoint on the last mathematical testament of Galois by Galois representations arising from the defining ideals of modular curves, which leads to a connection with Klein's elliptic modular functions. It is a nonlinear and anabelian counterpart of the global Langlands correspondence among the $\ell$-adic étale cohomology of modular curves over $\mathbb{Q}$, i.e., Grothendieck motives ($\ell$-adic system), automorphic representations of $\text{GL}(2, \mathbb{Q})$ and $\ell$-adic representations.

$\ell$-adic images of Galois for elliptic curves over $\mathbb{Q}$

Superelliptic curves with large Galois images

On Possible Genus 0 adelic Galois Images of non CM Elliptic Curves over $\mathbb{Q}$

A note on images of Galois representations (with an application to a result of Litt)

Computing nonsurjective primes associated to Galois representations of genus $2$ curves

Models of CM elliptic curves with a prescribed $\ell$-adic Galois image

Computing Galois representations and equations for modular curves $X_H(\ell)$

Modulo $\ell$ distinction problems

On a Classification of 3 adic Galois images associated to isogeny torsion graphs

Torsion points and Galois representations on CM elliptic curves

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

On Galois covers of curves and arithmetic of Jacobians

On the Selmer group and rank of a family of elliptic curves and curves of genus one violating the Hasse principle

Geometric realizations of representations for $\text{PSL}(2, \mathbb{F}_p)$ and Galois representations arising from defining ideals of modular curves

Arithmetic representations of fundamental groups II: finiteness

On the arithmetic of a family of twisted constant elliptic curves

Towards a classification of entanglements of Galois representations attached to elliptic curves

$\ell$-adic local systems and Higgs bundles: the generic case

K-varieties and Galois representations

Rationality and arithmetic of the moduli of abelian varieties

Points of bounded height in images of morphisms of weighted projective stacks with applications to counting elliptic curves