It's "well known" that, for any weight $k$ and level $N$, the space $S\_k(\Gamma\_1(N))$ of cusp forms of that weight and level has a basis in which all the Hecke operators act by matrices with entries in $\mathbb{Z}$; consequently all the Hecke eigenvalues are algebraic numbers (indeed algebraic integers).


I was reflecting on how to prove this while teaching an undergraduate course on modular forms. For $k \ge 2$ it's not hard: there's the Eichler-Shimura machinery which relates it to a question about cohomology, and the cohomology with $\mathbb{Z}$ coefficients does the job. Alternatively, and more or less equivalently, you use the pairing with modular symbols. Both of these methods break down for $k = 1$; the only argument I know that works in this case is to use the fact that $X\_1(N)$ has a model as an algebraic variety, and weight $k$ modular forms correspond to sections of the $k$-th power of a line bundle that has a purely algebraic definition. But that's not really something I can stand up and explain to a class of undergraduate students!



> 
> For cusp forms of weight $k = 1$, can the algebraicity of the Hecke eigenvalues be proved without quoting heavy machinery from arithmetic geometry? 
> 
> 
> 



Elementary proof of algebraicity of Hecke eigenvalues in weight 1
Let $S = S\_{\mathbf{Q}} = M\_{13}(\Gamma\_1(N),\mathbf{Q})$, and $S\_{\mathbf{C}} = S \otimes \mathbf{C}$ denote the corresponding space of modular forms over $\mathbf{C}$.


Let $V \subset S \times S$ be the subspace cut out by pairs of forms $(A,B)$ satisfying the following equation:


$$A \cdot E\_{12} = B \cdot \Delta $$


As equations in the Fourier coefficients of $A$ and $B$ these are linear equations with coefficients in $\mathbf{Q}$. Since, by the $q$-expansion principle, a modular form can be recovered from some finite number of Fourier coefficients, $V$ is determined by the null space of some finite matrix with coefficients in $\mathbf{Q}$. Since a linear system over $\mathbf{Q}$ has the same rank over $\mathbf{C}$, it follows that $V\_{\mathbf{C}} = V \otimes \mathbf{C}$, where $V\_{\mathbf{C}}$ is the set of solutions in $S\_{\mathbf{C}} \times S\_{\mathbf{C}}$ of the same equations.


On the other hand, there is an isomorphism:
$$V\_{\mathbf{C}} \rightarrow M\_{1}(\Gamma\_1(N),\mathbf{C})$$
given by
$$(A,B) \mapsto \frac{A}{\Delta} = \frac{B}{E\_{12}}$$
The point is that $E\_{12}$ and $\Delta$ do not have any common zeros, so the image of this map clearly consists of holomorphic forms. Hence the map is well defined. However, if $F$ has weight one, then $(A,B) = (F \cdot \Delta, F \cdot E\_{12})$ maps to $F$, so the map is surjective. It is clearly injective, so it is an isomorphism.


It follows that the image of $V$ under this map gives a rational basis for $M\_1(\Gamma\_1(N))$. Since $V$ is then preserved by Hecke operators (as is obvious on $q$-expansions), the result follows.


