Understanding a result of Serre about zeros of $x^3 - x - 1$ in $\mathbb{F}_p$

164 Views Asked by At

I'm trying to understand a result of Serre which relates the number of zeros in the finite field $\mathbb{F}_p$ of $f(x) = x^3 - x - 1$ to a modular form. The result can be found in the section 5.2 of the paper "On a Theorem of Jordan".

Let $E = \mathbb{Q}[x]/(f(x))$ be the field obtained by adjoining a single root of $f$, and let $L$ be the splitting field of $f$ over $\mathbb{Q}$. The Galois group $\textrm{Gal}(L/\mathbb{Q})$ is isomorphic to $S_3$. In the paper, Serre lets $\rho$ be the "natural" embedding of $S_3$ into $\textrm{GL}_2(\mathbb{C})$ (which I assume is the representation of $S_3$ as a dihedral group of rotation and reflection matrices) and considers the associated Artin-L function $$L(\rho,s) = \sum_{n=1}^{\infty}\frac{a_n}{n^s}.$$ He goes on to say that we can characterize the above function by $$L(\rho,s) = \zeta_E(s)/\zeta(s),$$ where $\zeta$ is the Riemann-zeta function and $\zeta_E$ is the Dedekind zeta function of the number field $E$. He says that this is equivalent to saying that $\rho \oplus 1$ (presumably $1$ denotes the trivial representation of $S_3$) is isomorphic to the 3-dimensional permutation representation of $S_3$.

I understand that if $\nu$ is the permutation representation of $S_3$ (i.e. the regular representation), then the Artin $L$-function $L(\nu,s)$ is equal to the Dedekind zeta function $\zeta_L(s)$. In particular, the $L$-function associated to the trivial representation should just be the usual Riemann zeta function. I also know that the Artin $L$-function of a sum of representations is given by the product of the $L$-functions. So this should say that $$\zeta_L(s) = L(\rho \oplus 1,s) = L(\rho,s)\zeta(s),$$ which would give us $L(\rho,s) = \zeta_L(s)/\zeta(s)$ instead.

The other part I am having trouble with is the following: Serre claims that since $S_3$ is a dihedral group, Hecke's theory applies and shows that the power series $F(\tau) = \sum_{n=1}^{\infty}a_nq^n, q = e^{2\pi i\tau}$ is a cusp form of weight $1$ and level $23$. I can't seem to find the specific result of Hecke being used here and would like a reference.

Thank you.