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

No abstract uploaded!

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.

Motivated by the works of Liu, we provide a unified approach to find Appell-Lerch series and Hecke-type series representations for mock theta functions. We establish a number of parameterized identities with two parameters $a$ and $b$. Specializing the choices of $(a,b)$, we not only give various known and new representations for the mock theta functions of orders 2, 3, 5, 6 and 8, but also present many other interesting identities. We find that some mock theta functions of different orders are related to each other, in the sense that their representations can be deduced from the same $(a,b)$-parameterized identity. Furthermore, we introduce the concept of false Appell-Lerch series. We then express the Appell-Lerch series, false Appell-Lerch series and Hecke-type series in this paper using the building blocks $m(x,q,z)$ and $f_{a,b,c}(x,y,q)$ introduced by Hickerson and Mortenson, as well as $\overline{m}(x,q,z)$ and $\overline{f}_{a,b,c}(x,y,q)$ introduced in this paper. We also show the equivalences of our new representations for several mock theta functions and the known representations.

We study the geometry of the p‑adic analogues of the complex analytic period spaces first introduced by Griffiths. More precisely, we prove the Fargues–Rapoport conjecture for p‑adic period domains: for a reductive group G over a p‑adic field and a minuscule cocharacter μ of G, the weakly admissible locus coincides with the admissible one if and only if the Kottwitz set B(G,μ) is fully Hodge–Newton decomposable.