Let K=Q(√(-q)), where q is any prime number congruent to 7 modulo 8, and let O be the ring of integers of K. The prime 2 splits in K, say 2O=pp∗, and there is a unique Z_2-extension K_∞ of K which is unramified outside p. Let H be the Hilbert class field of K, and write H_∞=HK_∞. Let M(H_∞) be the maximal abelian 2-extension of H_∞ which is unramified outside the primes above p, and put X(H_∞)=Gal(M(H_∞)/H_∞). We prove that X(H_∞) is always a finitely generated Z_2-module, by an elliptic analogue of Sinnott’s cyclotomic argument. We then use this result to prove for the first time the weak p-adic Leopoldt conjecture for the compositum J_∞ of K_∞ with arbitrary quadratic extensions J of H. We also prove some new cases of the finite generation of the Mordell–Weil group E(J_∞) modulo torsion of certain elliptic curves E with complex multiplication by O.

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 study elliptic curves of the form x^3+y^3=2^p and x^3+y^3=2p^2 where p is any odd prime satisfying p ≡ 2 mod 9 or p ≡ 5 mod 9. We first show that the 3-part of the Birch-Swinnerton-Dyer conjecture holds for these curves. Then we relate their 2-Selmer group to the 2-rank of the ideal class group of Q(\sqrt[3]{p}) to obtain some examples of elliptic curves with rank one and non-trivial 2-part of the Tate-Shafarevich group.

In the present paper, we prove the 2-part of Birch and Swinnerton-Dyer conjecture for an explicit infinite family of rank 0 quadratic twists of the modular elliptic curve χ_0(14), using an explicit form of the Waldspurger formula. We also give an explicit infinite family of rank 1 quadratic twists of χ_0(14) whose Tate–Shafarevich group is of odd cardinality.

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.

No abstract uploaded!

We study a partially linearized version of the relative trace formula for the arithmetic Gan--Gross--Prasad conjecture for the unitary group U(V). The linear factor in this relative trace formula provides an SL_2-symmetry which allows us to prove by induction the arithmetic fundamental lemma over Q_p when p is odd and p ≥ dim V.

We construct the Frobenius structure on a rigid connection Be_{\hat G} on G_m for a split reductive group \hat G introduced by Frenkel-Gross. These data form a \hat G-valued overconvergent F-isocrystal Be^†_{\hat G} on G_{m,F_p}, which is the p-adic companion of the Kloosterman \hat G-local system Kl_{\hat G} constructed by Heinloth-Ngô-Yun. By studying the structure of the underlying differential equation, we calculate the monodromy group of Be^†_{\hat G} when \hat G is almost simple (which recovers the calculation of monodromy group of Kl_{\hat G} due to Katz and Heinloth–Ngô–Yun), and prove a conjecture of Heinloth-Ngô-Yun on the functoriality between different Kloosterman \hat G-local systems. We show that the Frobenius Newton polygons of Kl_{\hat G} are generically ordinary for every \hat G and are everywhere ordinary on |G_{m,F_p}| when \hat G is classical or G_2.

We introduce a new technique for isolating components on the spectral side of the trace formula. By applying it to the Jacquet--Rallis relative trace formula, we complete the proof of the global Gan--Gross--Prasad conjecture and its refinement Ichino--Ikeda conjecture for U(n)×U(n+1) in the stablecase.

We exhibit the first examples of hyperbolic three-manifolds for which the Seiberg-Witten equations do not admit any irreducible solution. Our approach relies on hyperbolic geometry in an essential way; it combines an explicit upper bound for the first eigenvalue on coexact 1-forms λ_1^* on rational homology spheres which admit irreducible solutions together with a version of the Selberg trace formula relating the spectrum of the Laplacian on coexact 1-forms with the volume and complex length spectrum of a hyperbolic three-manifold. Using these relationships, we also provide precise numerical bounds on λ_1^* for several hyperbolic rational homology spheres.