This project was sponsored through the Schiff Fellowship program of Brandeis University. This project involved using the power series method to construct a third order nonlinear ordinary differential equation, a Schwarzian equation, for each of the "genus zero" modular functions, described in the Conway-Norton paper. We first use the Borcherd recursion formuli to generate, in each case, a modular function up to whatever degree we desire, and then use the fact that there is a Schwarzian equation, determined by a single rational function we call a Q-value. By similar power series methods, we compute the coefficients of our rational function, and hence have all the necessary data to create a Schwarzian differential equation for each modular function. This equation can, in turn, be used to recover the modular function itself.

For an odd prime p, we prove the p-part of the Birch and Swinnerton-Dyer formula for semistable elliptic curves of analytic rank one.

We derive an asymptotic formula which counts the number of abelian extensions of prime degrees over rational function fields. Specifically, let l be a rational prime and K a rational function field F_q(t) with l\nmid q. Let Discf (F/K) denote the finite discriminant of F over K. Denote the number of abelian l-extensions F/K with deg (Discf (F/K)) = (l − 1)αn by a_l(n), where α = α(q, l) is the order of q in the multiplicative group (Z/lZ)^\times. We give a explicit asymptotic formula for a_l(n). In the case of cubic extensions with q ≡ 2 (mod 3), our formula gives an exact analogue of Cohn’s classical formula.

Abstract We present a relative trace formula approach to the Gross–Zagier formula and its generalization to higher-dimensional unitary Shimura vari- eties. As a crucial ingredient, we formulate a conjectural arithmetic funda- mental lemma for unitary Rapoport–Zink spaces. We prove the conjecture when the Rapoport–Zink space is associated to a unitary group in two or three variables.

In this paper we give quantitative local test vectors for Waldspurger's period integral (i.e., a toric period on GL_2) in new cases with joint ramifications. The construction involves minimal vectors, rather than newforms and their variants. This paper gives a uniform treatment for the matrix algebra and division algebra cases under mild assumptions, and establishes an explicit relation between the size of the local integral and the finite conductor C(π×π_{χ^{−1}}). As an application, we combine the test vector results with the relative trace formula, and prove a hybrid type subconvexity bound which can be as strong as the Weyl bound in proper range.