If $k$ is a characteristic $p$ field containing a subfield with $p^2$ elements (e.g., an algebraic closure of $\mathbb{F}\_p$), then the number of isomorphism classes of supersingular elliptic curves over $k$ has a formula involving $\lfloor p/12 \rfloor$ and the residue class of $p$ mod 12, described in Chapter V of Silverman's *The Arithmetic of Elliptic Curves*. If we weight these curves by the reciprocals of the orders of their automorphism groups, we obtain the substantially simpler Eichler-Deuring mass formula: $\frac{p-1}{24}$. For example, when $p=2$, the unique supersingular curve $y^2+y=x^3$ has endomorphisms given by the [Hurwitz integers](http://en.wikipedia.org/wiki/Hurwitz_quaternion) (a maximal order in the quaternions), and its automorphism group is therefore isomorphic to the [binary tetrahedral group](http://en.wikipedia.org/wiki/Binary_tetrahedral_group), which has order 24.


Silverman gives the mass formula as an exercise, and it's pretty easy to derive from the formula in the text. The proof of the complicated formula uses the Legendre form (hence only works away from 2), and the appearance of the $p/12$ boils down to the following two facts:


1. Supersingular values of $\lambda$ are precisely the roots of the Hasse polynomial, which is separable of degree $\frac{p-1}2$.
2. The $\lambda$-line is a 6-fold cover of the $j$-line away from $j=0$ and $j=1728$ (so the roots away from these values give an overcount by a factor of 6).


**Question:** Is there a proof of the Eichler-Deuring formula in the literature that avoids most of the case analysis, e.g., by using a normal form of representable level?


I suppose any nontrivial level structure will probably require some special treatment for the prime(s) dividing that level. Even so, it would be neat to see any suitably holistic enumeration, in particular, one that doesn't need to single out special $j$-invariants.


(This question has been troubling me for a while, but [Greg's question](https://mathoverflow.net/questions/24569/seeking-reference-for-the-enumerative-mass-formula-concept) inspired me to actually write it down.)



Is there a nice proof of the fact that there are (p-1)/24 supersingular elliptic curves in characteristic p?
One argument (maybe not of the kind you want) is to use the fact that the wt. 2 Eisenstein series on $\Gamma\_0(p)$ has constant term (p-1)/24.


More precisely: if $\{E\_i\}$ are the s.s. curves, then for each $i,j$,
the Hom space $L\_{i,j} := Hom(E\_i,E\_j)$ is a lattice with
a quadratic form (the degree of an isogeny), and we can form the corresponding 
theta series $$\Theta\_{i,j} := \sum\_{n = 0}^{\infty} r\_n(L\_{i,j})q^n,$$
where as usual $r\_n(L\_{i,j})$ denotes the number of elements of degree $n$.
These are wt. 2 forms on $\Gamma\_0(p)$.


There is a pairing on the $\mathbb Q$-span $X$ of the $E\_i$ given by $\langle E\_i,E\_j\rangle 
= $ # $Iso(E\_i,E\_j),$ i.e. $$\langle E\_i,E\_j\rangle = 0 \text{ if } i \neq j\text{ and equals # }Aut(E\_i) \text{ if }i = j,$$
 and another formula for $\Theta\_{i,j}$ is
$$\Theta\_{i,j} := 1 + \sum\_{n = 1}^{\infty} \langle T\_n E\_i, E\_j\rangle q^n,$$
where $T\_n$ is the $n$th Hecke correspondence.


Now write $x := \sum\_{j} \frac{1}{\text{#}Aut(E\_j)} E\_j \in X$. It's easy to see
that for any fixed $i$, the value of the pairing $\langle T\_n E\_i,x\rangle$
is equal to $\sum\_{d |n , (p,d) = 1} d$. (This is just the number of $n$-isogenies
with source $E\_i,$ where the target is counted up to isomorphism.)
Now
$$\sum\_{j}
\frac{1}{\text{#}Aut(E\_j)} \Theta\_{i,j} =
\bigg{(}\sum\_{j} \frac{1}{\text{#}Aut(E\_j)}\bigg{)} + \sum\_{n =1}^{\infty} \langle T\_n E\_i, x\rangle
q^n
= \bigg{(}\sum\_{j}\frac{1}{\text{#}Aut(E\_j)}\bigg{)} + \sum\_{n = 1}^{\infty} \bigg{(}\sum\_{d | n, (p,d) = 1} d\bigg{)}q^n.$$


Now the LHS is modular of wt. 2 on $\Gamma\_0(p)$, thus so is the RHS. Since we know
all its Fourier coefficients besides the constant term, and they coincide with those of the Eisenstein series, it must *be* the Eisenstein series.
Thus we know its constant term as well, and that gives the mass formula.


(One can replace the geometric aspects of this argument, involving s.s. curves and Hecke
correspondences, with pure group theory/automorphic forms: namely the set $\{E\_i\}$ is
precisely the idele class set of the multiplicative
group $D^{\times}$, where $D$ is the quat. alg. over $\mathbb Q$ ramified at $p$ and $\infty$. This formula, writing the Eisenstein series as a sum of theta series, is then
a special case of the Seigel--Weil formula, I believe, which in general, when you pass to constant
terms, gives mass formulas of the type you asked about.)


