I will explain several conjectures and results regarding the slope distribution of Up operator action on the space of modular forms.  Most notably, we prove that the slopes of modular forms with a highly p-divisible characters roughly form unions of arithmetic progressions.  This is a joint work with Daqing Wan and Jun Zhang.

We construct the Eichler-Shimura morphisms for families of overconvergent modular forms via Scholze's theory of pro-etale site, as well as the Hodge-Tate period maps on modular curves of infinite level. We follow some of the main ideas in the work of Andreatta-Iovita-Stevens. In particular, we reprove the main result in their paper. Since we work entirely on the generic fiber of the modular curve, log structures will not be needed if we only consider the Eichler-Shimura morphism for cusp forms.  Moreover, the well-established theory of the Hodge-Tate period map for Shimura varieties of Hodge type may allow us to generalize the construction to more general Shimura varieties. This is a joint work with Hansheng Diao.

I will discuss a number of related conjectures concerning the rational points of varieties (especially curves and abelian varieties) over fields with finitely generated Galois group and present some evidence from algebraic numebr theory, Diophantine geometry, and additive combinatorics in support of these conjectures.

We define a collection of special 1-cycles on certain Shimura 3-folds associated to U(2,1) x U(1,1) and appearing in the context of the Gan--Gross--Prasad conjectures. We study and compare the action of the Hecke algebra and the Galois group on these cycles via distribution relations and congruence relations that would ultimately lead to the construction of a novel Euler system for these Shimura varieties. The comparison is achieved adelically using Bruhat--Tits theory for the corresponding buildings.

We will discuss the question of defining a p-adic L-function and formulating a main conjecture for an Artin representation. The case where the Artin representation is totally even (or odd) is classical. The corresponding main conjecture has been proven by Wiles.  This talk will discuss the special case where the representation is 2-dimensional, but not totally even or odd. As we will explain, under certain assumptions, there are two p-adic L-functions, two Selmer groups, and two main conjectures. This talk is about joint work with Nike Vatsal.