Under mild assumptions, we prove the Iwasawa main conjecture for a cuspidal eigenform at a good prime p.

We introduce the notion of completed F-crystals on the absolute prismatic site of a smooth p-adic formal scheme. We define a functor from the category of completed prismatic F-crystals to that of crystalline étale Zp-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a complete discrete valuation ring with perfect residue field.

We formulate and prove a log-algebraicity theorem for arbitrary rank Drinfeld modules dened over the polynomial ring Fq[\theta]. This generalizes results of Anderson for the rank one case. As an application we show that certain special values of Goss L-functions are linear forms in Drinfeld logarithms and are transcendental.

No abstract uploaded!

In this paper we prove the Iwasawa main conjecture for the Rankin-Selberg product of a general modular form and a CM form of higher weight. This result has been used by others to prove the converse of the theorem of Gross-Zagier and Kolyvagin, and the BSD formula for elliptic curves of analytic rank one.