L1

I will describe a construction of special cohomology classes over the cyclotomic tower for the product of the Galois representations attached to two modular forms, which $p$-adically interpolate the "Beilinson--Flach elements" of Bertolini, Darmon and Rotger. I will also describe some applications to the Iwasawa theory of modular forms over imaginary quadratic fields.

We show that the $p$-adic L-function associated to the tensor square of a $p$-ordinary eigenform factors as the product of the symmetric square $p$-adic L-function of the form with a Kubota-Leopoldt $p$-adic L-function.  Our method of proof follows that of Gross, who proved a factorization for Katz's $ p$-adic L-function for a character arising as the restriction of a Dirichlet character.  We prove certain special value formulae for classical and $p$-adicRankin L-series at non-critical points.  The formula of Bertolini, Darmon, and Rotger in the $p$-adic setting is a key element of our proof.  As demonstrated by Citro, we obtain as a corollary of our main result a proof of the exceptional zero conjecture of Greenberg for the symmetric square.

I will report on $p$-adic Beilinson's formulas, relating the values of certain Rankin $p$-adic L-functions outside their range of classical interpolation, to $p$-adic syntomic regulators of Beilinson-Kato and Beilinson-Flach elements. Applications to the theory of Euler systems and to the Birch and Swinnerton-Dyer conjecture will also be discussed. This is joint work with Henri Darmon and Victor Rotger.

In this lecture I shall introduce certain generalised Gross-Kudla-Schoen diagonal cycles in the product of three Kuga-Sato varieties and a $p$-adic formula of Gross-Zagier type which relates the images of these diagonal cycles under the $p$-adic Abel-Jacobi map to special values of the $p$-adic L-function attached to the Garrett triple convolution of three  Hida families of  modular forms. This formula has applications to the Birch--Swinnerton-Dyer conjecture and the theory of Stark-Heegner points. (Joint work with Henri Darmon.)

The main result of the talk is that two curves over a finite field are isomorphic, up to automorphisms of the ground field, if and only if there is an isomorphism of groups of Dirichlet characters such that the corresponding L-series are all equal. This can be shown by combining Uchida's proof of the anabelian theorem for global function fields with methods from (noncommutative) dynamical systems. I will also discuss how to turn this theorem into a theoretical algorithm that, given a listing of L-functions, determines an equation for the corresponding curve(s).

I will present an overview of a series of joint works with Akio Tamagawa about l-adic representations of etale fundamental group of curves (to simplify, over finitely generated fields of characteristic 0).
More precisely, when the generic representation is GLP (geometrically Lie perfect) i.e. the Lie algebra of the geometric etale fundamental group is perfect, we show that the associated local $\ell$-adic Galois representations satisfies a strong uniform open image theorem (ouside a `small' exceptional locus). Representations on l-adic cohohomology provide an important example of GLP representations. In that case, one can even provethat the exceptional loci that appear in the statement of our stronguniform open image theorem are independent of $\ell$, which was predicted by motivic conjectures.
Without the GLP assumption, we prove that the  associated local l-adic Galois representations still satisfy remarkable rigidity properties: the codimension of the image at the special fibre in the image at the generic fibre is at most 2 (outside a 'small' exceptional locus) and its Lie algebra is controlled by the first terms of the derived series of the Lie algebra of the image at the generic fibre.
I will state the results precisely, mention a few applications/open questions and draw a general picture of the proof in the GLP case (which,in particular, intertwins via the formalism of Galois categories, arithmetico-geometric properties of curves and $\ell$-adic geometry). If time allows, I will also give a few hints about the $\ell$-independency of the exceptional loci or the non GLP case.

In this talk, I will describe a construction of a $p$-adic L-function attached to a triple of $p$-adic Coleman families of cusp forms.  This function interpolates algebraic parts of special values of Garrett triple product L-functions at balanced triples of weights.  Our construction is complementary to that of Harris and Tilouine which treats the case of unbalanced weights.

Given a $p$-adic weight and a finite slope we describe a Hecke and Galois equivariant geometric map relating elliptic overconvergent modular symbols and overconvergent modular forms of that slope, appropriate weights and $\mathbf{C}_p$-coefficients. We show that for a fixed slope, with the possible exception of a discrete family of weights, this map is an isomorphism.

Using Faltings' theory of the Hodge-Tate sequence of an abelian scheme we construct certain sheaves $\Omega^\kappa$, where $\kappa$ is a not-necessarily integral weight, over formal subschemes of modular varieties over which the canonical subgroup exists.   These sheaves generalize the integral powers, $\omega^k$, of the sheaf $\omega$ of relative differentials on a modular curve.   Global sections of $\Omega^\kappa$ provide geometric realizations of overconvergent automorphic forms of non-integral weight.  Applications of this approach to the theory of $p$-adic Hilbert modular forms will be given.   This is joint work with Fabrizio Andreotti and Adrian Iovita.

We apply the theory of the radius of convergence of a $p$-adic connection to the special case of the direct image of the constant connection via a finite morphism of compact $p$-adic curves, smooth in the sense of rigid geometry. We show that a trivial lower bound for that radius implies a global form of Robert's $p$-adic Rolle theorem. The proof is based on a widely believed, although unpublished, result of simultaneous semistable reduction for finite morphisms of smooth $p$-adic curves. We also clarify the relation between the notion of radius of convergence used in our previous work and the more intrinsic one used by Kedlaya. (The paper is available athttp://arxiv.org/abs/1209.0081)