Search

This paper is concerned with spherical harmonics, and two refinements thereof: complex harmonics and symplectic harmonics. The reproducing kernels of the spherical and complex harmonics are explicitly given in terms of Gegenbauer or Jacobi polynomials. In the first part of the paper we determine the reproducing kernel for the space of symplectic harmonics, which is again expressible as a Jacobi polynomial of a suitable argument. In the second part we find plane wave formulas for the reproducing kernels of the three types of harmonics, expressing them as suitable integrals over Stiefel manifolds. This is achieved using Pizzetti formulas that express the integrals in terms of differential operators.

The main result of this paper is an instance of the conjecture made by Gouvea and Mazur (Math. Res. Lett., 1995) which asserts that for certain values of r the space of r-overconvergent p-adic modular forms of tame level N and weight k should be spanned by the finite slope Hecke eigenforms. Using methods adapted from the work of Buzzard and Calegari I show that for p=2, k = 0, N = 1, this holds for all r in (5/12, 7/12). The proof relies on a certain factorisation of the U_p operator which is known in this case but I conjecture also holds for p = 3 and 5; this conjecture also implies exact formulae for the set of slopes similar to those proved for p=2 by Buzzard and Calegari. The same methods also provide an efficient approach to explicit computations of q-expansions of small slope overconvergent eigenforms, extending the computations of Gouvea and Mazur., Comment: Updated version fixing some minor typos