On the behaviour of p-adic L-functions

Text

Let Lp(s,χ) denote a Leopoldt-Kubota p-adic L-function, where p>2 and χ is a nonprincipal even character of the first kind. The aim of this article is to study how the values assumed by this function depend on the Iwasawa λ-invariant associated to χ. Assuming that λ?p−1, it turns out that Lp(s,χ) behaves, in some sense, like a polynomial of degree λ. The results lead to congruences of a new type for (generalized) Bernoulli numbers.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=5aaB1d6fZDs.     

On Euler numbers, polynomials and related p-adic integrals

In this note we give a new proof of Witt's formula for Euler numbers, which are related to some known or new identities involving the Euler numbers. We also obtain a brief proof of a classical result on Euler numbers modulo of two due to M.A. Stern using the approach of p-adic integration, which was recently proved by G. Liu, and Z.-W. Sun. Finally some explicit formulas for Genocchi numbers are proved and applications are given.     

On orthocomplemented subspaces in p-adic Banach spaces

For linear subspaces of finite-dimensional normed spaces over K, where K is a non-Archimedean complete valued field which is not spherically complete, we study orthocomplementation as related to strictness and the Hahn-Banach property. We prove that there exist finite-dimensional normed spaces which possess non-orthocomplemented, strict HB-subspaces.     

Torsion subgroups of Brauer groups and extensions of constant local degree for global function fields

We show that, for all characteristic p global fields k and natural numbers n coprime to the order of the non-p-part of the Picard group Pic⁰(k) of k, there exists an abelian extension L/k whose local degree at every prime of k is equal to n. This answers in the affirmative in this context a question recently posed by Kisilevsky and Sonn. As a consequence, we show that, for all n and k as above, the n-torsion subgroup Br_n(k) of the Brauer group Br(k) of k is algebraic, answering a question of Aldjaeff and Sonn in this context.     

Octic 2-adic fields

We compute all octic extensions of Q₂ and find that there are 1823 of them up to isomorphism. We compute the associated Galois group of each field, slopes measuring wild ramification, and other quantities. We present summarizing tables here with complete information available at our online database of local fields.     

Identity theorem for bounded p-adic meromorphic functions

Let K be a complete ultrametric algebraically closed field. We investigate several properties of sequences (an)_n∈N in a disk d(0,R⁻) with regards to bounded analytic functions in that disk: sequences of uniqueness (when f(an)=0∀n∈N implies f=0), identity sequences (when limn→+∞f(an)=0 implies f=0) and analytic boundaries (when lim supn→∞|f(an)|=‖f‖). Particularly, we show that identity sequences and analytic boundary sequences are two equivalent properties. For certain sequences, sequences of uniqueness and identity sequences are two equivalent properties. A connection with Blaschke sequences is made. Most of the properties shown on analytic functions have continuation to meromorphic functions.     

Wild tame-by-cyclic extensions

Suppose G is a semi-direct product of the form Z/pⁿ?Z/m where p is prime and m is relatively prime to p. Suppose K is a complete discrete valuation field of characteristic p>0 with algebraically closed residue field. The main result states necessary and sufficient conditions on the ramification filtrations that occur for wildly ramified G-Galois extensions of K. In addition, we prove that there exists a parameter space for G-Galois extensions of K with given ramification filtration, and we calculate its dimension in terms of the ramification filtration. We provide explicit equations for wild cyclic extensions of K of degree p³.     

Wild ramification in number field extensions of prime degree

We show that if L/ K is a degree p extension of number fields which is wildly ramified at a prime ${\frak p}$ of K of residue characteristic p, then the ramification groups of ${\frak p}$ (in the splitting field of L over K) are uniquely determined by the ${\frak p}$-adic valuation of the discriminant of L /K.Received: 3 July 2002     

On elliptic units and p-adic Galois representations attached to elliptic curves

Let K be a quadratic imaginary number field with discriminant D_K≠-3,-4 and class number one. Fix a prime p?7 which is not ramified in K and write h_p for the class number of the ray class field of K of conductor p. Given an elliptic curve A/K with complex multiplication by K, let be the representation which arises from the action of Galois on the Tate module. Herein it is shown that if then the image of a certain deformation of is “as big as possible”, that is, it is the full inverse image of a Cartan subgroup of SL(2,Z_p). The proof rests on the theory of Siegel functions and elliptic units as developed by Kubert, Lang and Robert.     

On p-adic differentiability

A p-adic-valued function on the p-adic integers has a continuous derivative, Mahler showed, whenever its interpolation coefficients decay at a certain rate. It is shown here that Mahler's decay condition is equivalent to the strict differentiability of the function. There is a discussion of the Banach-space structure of the space of strictly differentiable functions. It is shown, moreover, that there is no rate of decay common to all functions with continuous derivative. Specifically, given any decay condition, there exists a function with derivative identically zero, whose interpolation coefficients decay more slowly.     

Extensions of local fields and truncated power series

Let K be a finite tamely ramified extension of Q_p and let L/K be a totally ramified (Z/pⁿZ)-extension. Let π_L be a uniformizer for L, let σ be a generator for Gal(L/K), and let f(X) be an element of O_K[X] such that σ(π_L)=f(π_L). We show that the reduction of f(X) modulo the maximal ideal of O_K determines a certain subextension of L/K up to isomorphism. We use this result to study the field extensions generated by periodic points of a p-adic dynamical system.     

A p-adic algorithm for computing the inverse of integer matrices

A method for computing the inverse of an (n×n)$(n\times n)$ integer matrix A$A$ using p$p$-adic approximation is given. The method is similar to Dixon’s algorithm, but ours has a quadratic convergence rate. The complexity of this algorithm (without using FFT or fast matrix multiplication) is O(n⁴(logn)²)$O\left(n^4{(logn)}^2\right)$, the same as that of Dixon’s algorithm. However, experiments show that our method is faster. This is because our methods decrease the number of matrix multiplications but increase the digits of the components of the matrix, which suits modern CPUs with fast integer multiplication instructions.     

Enumeration of weak isomorphism classes of signed graphs

A signed graph is a graph in which each line has a plus or minus sign. Two signed graphs are said to be weakly isomorphic if their underlying graphs are isomorphic through a mapping under which signs of cycles are preserved, the sign of a cycle being the product of the signs of its lines. Some enumeration problems implied by such a definition, including the problem of self-dual configurations, are solved here for complete signed graphs by methods of linear algebra over the two-element field. It is also shown that weak isomorphism classes of complete signed graphs are equal in number to other configurations: unlabeled even graphs, two-graphs and switching classes.     

p-adic Arakelov theory

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. We also prove analogues of the Adjunction formula and the Riemann-Roch formula.     

Hilbert-Speiser number fields for a prime p inside the p-cyclotomic field

Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies .     

Zeros of p-adic forms

We show that all p-adic quintic forms in at least n>4562911 variables have a non-trivial zero. We also derive a new result concerning systems of cubic and quadratic forms.     

On the elliptic curves modulo p

We first prove Sun's three conjectures [Z.H. Sun, On the number of incongruent residues of x⁴+ax²+bx modulo p, J. Number Theory 119 (2006) 210-241; Z.H. Sun, http://sfb.hytc.edu.cn/xsjl/szh/, 2000, June] on the number of rational points of some elliptic curves over finite fields Fp, which are related to the congruence cubic and quartic residue. And we provide some examples and comments concerning these conjectures.