Charting - Mark Watkins observed in his tables of modular degrees (i.e., the degrees of pi) that the modular degree is odd if and only if u = 3 (mod 4). Matt Baker and I proved this and some higher-dimensional generalizations (it follows from results in Mazur's Eisenstein Ideal paper and work of Matt Emerton). Watkins has many other open conjectures like this, which were suggested to him by his tables.




Author: William Stein - created with KPresenter