I am teaching a graduate "classical" course on modular forms. I try to achieve the most elementary level for presenting modular polynomials. Serge Lang's "Elliptic functions" cover the topic quite well, except for some inconsistence (from my point of view) in using left/right cosets for actions of the modular group on the set of matrices of determinant $n$. I overcome this trouble by using one more simple arithmetic lemma which relates left and right cosets. I wonder whether there exist another version of the KroneckerWeber approach for modular polynomials, or maybe even another elementary proof.

I'm not quite sure what exactly you're asking for, but you might find the third part of David Cox's Primes of the form x^2 + n y^2 useful for an elementary approach to modular polynomials. 


Hi, I find Silverman's exposition in his "Advanced Topics in the Arithmetic of Elliptic Curves" very clear, and concise. Look at the section on the integrality of the jinvariant, in particular Theorem 6.1 of Chapter II, Section 6, pages 140151. You can find three proofs of the integrality of the jinvariant and, more concretely, you should have a look at the "Analytic proof of Theorem 6.1", starting in page 143, which is the "classical" one I believe you are interested in (it is also a proof using matrices of determinant n, but the exposition is great). 

