John CoatesEmmanuel College, Cambridge, England, UKJianing LiCAS Wu Wen-Tsun Key Laboratory of Mathematics, University of Science and Technology of China, Hefei 230026, Anhui, ChinaYongxiong LiYau Mathematical Sciences Center, Tsinghua University, Beijing, China
For primes q≡7 mod 16, the present manuscript shows that elementary methods enable one to prove surprisingly strong results about the Iwasawa theory of the Gross family of elliptic curves with complex multiplication by the ring of integers of the field K=Q(√(-q)), which are in perfect accord with the predictions of the conjecture of Birch and Swinnerton-Dyer. We also prove some interesting phenomena related to a classical conjecture of Greenberg, and give a new proof of an old theorem of Hasse.
Let E be a quadratic algebra over a number field F. Let E(g, s) be an Eisenstein series on GL2(E), and let F be a cuspidal automorphic form on GL2(F). We will consider in this paper the following automorphic integral:
This is in some sense the complementary case to the well-known Rankin–Selberg integral and the triple product formula. We will approach this integral by Waldspurger’s formula, giving a criterion about when the integral is automatically zero, and otherwise the L-functions it represents. We will also calculate the local integrals at some ramified places, where the level of the ramification can be arbitrarily large.
The paper uses Iwasawa theory at the prime 𝑝=2 to prove non-vanishing theorems for the value at 𝑠=1 of the complex 𝐿-series of certain quadratic twists of the Gross family of elliptic curves with complex multiplication by the field 𝐾 = ℚ(√(-q)), where 𝑞 is any prime ≡ 7 mod 8. Our results establish some broad generalizations of the non-vanishing theorem first proven by Rohrlich using complex analytic methods. Such non-vanishing theorems are important because it is known that they imply the finiteness of the Mordell–Weil group and the Tate–Shafarevich group of the corresponding elliptic curves over the Hilbert class field of 𝐾. It is essential for the proofs to study the Iwasawa theory of the higher dimensional abelian variety with complex multiplication which is obtained by taking the restriction of scalars to 𝐾 of the particular elliptic curve with complex multiplication introduced by Gross.
We discuss Waldspurger’s local period integral for newforms in new cases. The main tool is the work of Hu and Nelson (2018) on Waldspurger’s period integral using minimal vectors, and the explicit relation between newforms and minimal vectors. We use a representation-theoretical trick to simplify computations for newforms. As an example, we compute the local integral coming from a special arithmetic setting which was used to study the 3-part full BSD conjecture by Hu et al. (2019).
Let N be a fixed integer and f be a holomorphic newform of level q, weight k and trivial nebentypus, where q is a multiple of N. In this article, we prove that the pushforward to the modular curve of level N of the mass measure of f tends weakly to the Haar measure as qk→∞. This generalizes the previous results for modular curve of level 1. The main innovation of this article is to obtain an upper bound for the local integral which cancels the convexity bound of the corresponding L-function in level aspect.