Abstract:
We introduce the p-adic analogue of Arakelov intersection theory on arithmetic surfaces. The intersection pairing in an extension of the p-adic height pairing for divisors of degree 0 in the form described by Coleman and Gross. It also uses Coleman integration and is related to work of Colmez on p-adic Green functions. We introduce the p-adic version of a metrized line bundle and define the metric on the determinant of its cohomology in the style of Faltings. It is possible to prove in this theory analogues of the Adjunction formula and the Riemann-Roch formula.

Abstract:
We prove that the p-adic height pairing of Nekovar, considered for algebraic curves, gives the p-adic height pairing of Coleman and Gross, defined using Coleman integration.

Abstract:
This is the same version that was previously only on my home page. We give a description of geometric realization which makes it evident that it commutes with products. A similar approach is used to treat cyclic sets. Our approach is similar to those of Drinfeld and Grayson.

Abstract:
The finite n-th polylogarithm li_n(z) in Z/p[z] is defined as the sum on k from 1 to p-1 of z^k/k^n. We state and prove the following theorem. Let Li_k:C_p to C_p be the p-adic polylogarithms defined by Coleman. Then a certain linear combination F_n of products of polylogarithms and logarithms, with coefficients which are independent of p, has the property that p^{1-n} DF_n(z^p) reduces modulo p>n+1 to li_{n-1}(z) where D is the Cathelineau operator z(1-z) d/dz. A slightly modified version of this theorem was conjectured by Kontsevich. This theorem is used by Elbaz-Vincent and Gangl to deduce functional equations of finite polylogarithms from those of complex polylogarithms.

Abstract:
We give a short proof of a formula of de Shalit, expressing the cup product of two vector valued one forms of the second kind on a Mumford curve in terms of Coleman integrals and residues. The proof uses the notion of double indices on curves and their reciprocity laws.

Abstract:
We use a new idea to construct a theory of iterated Coleman functions in higher dimensions than 1. A Coleman function in this theory consists of a unipotent differential equation, a section on the underlying bundle and a solution to the equation on a residue disc. The new idea is to use the theory of Tannakian categories and the action of Frobenius to anlytically continue solutions of the differential equation to all residue discs.

Abstract:
Let A be an m-dimensional vector with positive real entries. Let A_{i,j} be the vector obtained from A on deleting the entries A_i and A_j. We investigate some invariant and near invariants related to the solutions E (m-2 dimensional vectors with entries either +1 or -1) of the linear inequality |A_i-A_j| < < A_i+A_j, where <,> denotes the usual inner product. One of our methods relates, by the use of Rademacher functions, integrals involving trigonometric quantities to these quantities.

Abstract:
We give a proof of double shuffle relations for $p$-adic multiple zeta values by developing higher dimensional version of tangential base points and discussing a relationship with two (and one) variable $p$-adic multiple polylogarithms.

Abstract:
We describe an algorithm for computing the Picard-Fuchs equation for a family of twists of a fixed elliptic surface. We then apply this algorithm to obtain the equation for several examples, which are coming from families of Kummer surfaces over Shimura curves, as studied in our previous work. We use this to find correspondenced between the parameter spaces of our families and Shimura curves. These correspondences can sometimes be proved rigorously.

Abstract:
We describe an algorithm to compute the local component at p of the Coleman-Gross p-adic height pairing on divisors on hyperelliptic curves. As the height pairing is given in terms of a Coleman integral, we also provide new techniques to evaluate Coleman integrals of meromorphic differentials and present our algorithms as implemented in Sage.