During Joel Specter’s thesis defense, he started out by remarking that the -expansion:
is a weight one modular forms of level and moreover, for prime, is equal to the number of roots of
modulo minus one. He attributed this result to Hecke. But is it really due to Hecke, or is this more classical? Let’s consider the following claims:
- The form is a modular form of the given weight and level.
- If is not a square modulo 23, then .
- If is a square modulo 23, and has three roots modulo then
- If is a square modulo 23, and is irreducible modulo then
At when point in history could these results be proved?
Let’s first start with Euler, who proved that
Using this, one immediately sees that
This exhibits as a sum of theta series. With a little care, one can moreover show that
This is not entirely tautological, but nothing that Gauss couldn’t prove using facts about the class group of binary quadratic forms of discriminant The fact that is a modular form of the appropriate weight and level surely follows from known results about Dedekind’s function, which covers (1). From the description in terms of theta functions, the claim (2) is also transparent. So what remains? Using elementary number theory, we are reduced to showing that a prime with is principal in the ring of integers of if and only if splits completely in the Galois closure of
Suppose that What is clear enough is that primes with split in and those which split principally can be represented by the form in essentially a unique way up to the obvious automorphisms. Moreover, the class group of equivalent forms has order and the other equivalence class is given by In particular, the primes which split non-principally in are represented by the binary quadratic form essentially uniquely. From Minkowski’s bound, one can see that has trivial class group. In particular, if has three roots modulo then the norm of the corresponding ideal to is also principal and has norm This is enough to prove (3).
So the only fact which would not obviously be easy to prove in the 19th century is (4), namely, that if then splits completely in . The most general statement along these lines was proved by Furtwängler (a student of Hilbert) in 1911 — note that this is a different (and easier?) statement than the triviality of the transfer map, which was not proved until 1930 (also by Furtwängler), after other foundational results in class field theory had been dispensed with by Tagaki (another student of Hilbert!). Yet we are not dealing with a general field, but the much more specific case of an imaginary quadratic field, which had been previously studied by Kronecker and Weber in connection with the Jugendtraum. I don’t know how much Kronecker could actually prove about (for example) the splitting of primes in the extension of an imaginary quadratic field given by the singular value Some of my readers surely have a better understanding of history than I do. Does this result follow from theorems known before 1911? Who proved it first?