We construct p-adic L-functions associated with triples of finite slope p-adic families of quaternionic automorphic eigenforms over totally real fields on Shimura curves. These results generalize a previous construction, joint work with D.Barrera, performed in the ordinary setting.
We interpolate cohomology classes attached to families of Hilbert modular forms. Using this we construct a two variable $p$-adic L-function which interpolates one variable $p$-adic L-functions.
We prove explicit formulas for the $p$-adic $L$-functions of totally real number fields and show how these formulas can be used to compute values and representations of $p$-adic $L$-functions.
The height of an algebraic number $α$ is a measure of how arithmetically complicated $α$ is. We say $α$ is totally $p$-adic if the minimal polynomial of $α$ splits completely over the field $\mathbb{Q}_p$ of $p$-adic numbers. In this paper, we investigate what can be said about the smallest nonzero height of a degree $3$ totally $p$-adic number. In particular, we provide an algorithm to determine, given a prime $p$, the smallest height of a degree $3$ totally $p$-adic number.
We construct $p$-adic measures which interpolate the special values of reciprocals of $p$-adic $L$-functions of totally real number fields $K$ at negative integers. These measures are defined by analyzing the non-constant term of partial Eisenstein series of the Hilbert modular group of $K$.
We refine and extend previous constructions of $p$-adic $L$-functions for Rankin-Selberg convolutions on $\GL(n)\times\GL(n-1)$ for regular algebraic representations over totally real fields. We also prove an intrinsic functional equation for this $p$-adic $L$-function, which will be of interest in further study of its arithmetic properties.
As a continuation of previous work, we establish sum expressions for $p$-adic Hecke $L$-functions of totally real fields in the sense of Delbourgo, assuming a totally real analog of Heegner hypothesis. This is done by finding explicit formulas of the periods of the corresponding $p$-adic measures. As an application, we extend the Ferrero-Greenberg formula of derivatives of $p$-adic $L$-functions to this setting.
Bombieri and Zannier established lower and upper bounds for the limit infimum of the Weil height in fields of totally p-adic numbers and generalizations thereof. In this paper, we use potential theoretic techniques to generalize the upper bounds from their paper and, under the assumption of integrality, to improve slightly upon their bounds.
Let $p$ be an odd prime number. We construct explicit uniformizers for the totally ramified extension $\mathbb{Q}_p(ζ_{p^2},\sqrt[p]{p})$ of the field of $p$-adic numbers $\mathbb{Q}_p$, where $ζ_{p^2}$ is a primitive $p^2$-th root of unity.
Let $\mathbb{F}_q(T)$ be the field of rational functions in one variable over a finite field. We introduce the notion of a totally $T$-adic function: one that is algebraic over $\mathbb{F}_q(T)$ and whose minimal polynomial splits completely over the completion $\mathbb{F}_q(\!(T)\!)$. We give two proofs that the height of a nonconstant totally $T$-adic function is bounded away from zero, each of which provides a sharp lower bound. We spend the majority of the paper providing explicit constructions of totally $T$-adic functions of small height (via arithmetic dynamics) and minimum height (via …
We give a dynamical construction of an infinite sequence of distinct totally $p$-adic algebraic numbers whose Weil heights tend to the limit $\frac{\log p}{p-1}$, thus giving a new proof of a result of Bombieri-Zannier. The proof is essentially equivalent to the explicit calculation of the Arakelov-Zhang pairing of the maps $σ(x)=x^2$ and $ϕ_p(x)=\frac{1}{p}(x^p-x)$.
Bertolini-Darmon and Mok proved a formula of the second derivative of the two-variable $p$-adic $L$-function of a modular elliptic curve over a totally real field along the Hida family in terms of the image of a global point by some $p$-adic logarithm map. The theory of $p$-adic indefinite integrals and $p$-adic multiplicative integrals on $p$-adic upper half planes plays an important role in their work. In this paper, we generalize these integrals for $p$-adic measures which are not necessarily $\mathbf{Z}$-valued, and prove a formula of the second derivative of the two-variable $p$-adic $L$-…
Let F be a totally real number field. Using a recent geometric approach developed by Andreatta and Iovita we construct several variables p-adic families of finite slope quaternionic automorphic forms over F. It is achieved by interpolating the modular sheaves defined over some auxiliary unitary Shimura curves. Secondly, we attach p-adic L-functions to triples of ordinary p-adic families of quaternionic automorphic eigenforms. This is done by relating trilinear periods to some trilinear products over unitary Shimura curves which can be interpolated adapting the work of Liu-Zhang-Zhang to our fa…
In this paper, we prove a result on the $2$-adic logarithm of the fundamental unit of the field $\mathbb{Q}(\sqrt[4]{-q}) $, where $q\equiv 3\bmod 4$ is a prime. When $q\equiv 15\bmod 16$, this result confirms a speculation of Coates-Li and has consequences for certain Iwasawa modules arising in their work.
We study the behavior of canonical height functions $\widehat{h}_f$, associated to rational maps $f$, on totally $p$-adic fields. In particular, we prove that there is a gap between zero and the next smallest value of $\widehat{h}_f$ on the maximal totally $p$-adic field if the map $f$ has at least one periodic point not contained in this field. As an application we prove that there is no infinite subset $X$ in the compositum of all number fields of degree at most $d$ such that $f(X)=X$ for some non-linear polynomial $f$. This answers a question of W. Narkiewicz from 1963.
We develop the topological polylogarithm which provides an integral version of Nori's Eisenstein cohomology classes for $GL_n(\mathbf{Z})$ and yields classes with values in an Iwasawa algebra. This implies directly the integrality properties of special values of $L$-functions of totally real fields and a construction of the associated $p$-adic $L$-function. Using a result of Graf, we also apply this to prove some integrality and $p$-adic interpolation results for the Eisenstein cohomology of Hilbert modular varieties.
The goal of this paper is to illustrate different approaches to understand Euler characteristics in the setting of totally real commutative and non-commutative Iwasawa theory. In addition to this, and in the spirit of Hesselholt and Mitchell, we show how these objects interact with homotopy theoretic invariants such as ($K(1)$-local) $K$-theory and Topological Cyclic homology.
We prove a unicity result for the $L$-functions appearing in the non-commutative Iwasawa main conjecture over totally real fields. We then consider continuous representations $ρ$ of the absolute Galois group of a totally real field $F$ on adic rings in the sense of Fukaya and Kato. Using our unicity result, we show that there exists a unique sensible definition of a non-commutative $L$-function for any such $ρ$ that factors through the Galois group of a possibly infinite totally real extension. We also consider the case of CM-extensions and discuss the relation with the equivariant main conjec…
Bombieri and Zannier gave an effective construction of algebraic numbers of small height inside the maximal Galois extension of the rationals which is totally split at a given finite set of prime numbers. They proved, in particular, an explicit upper bound for the lim inf of the height of elements in such fields. We generalize their result in an effective way to maximal Galois extensions of number fields with given local behaviour at finitely many places.
The main result of this text is a generalization of Perrin-Riou's p-adic Gross-Zagier formula to the case of Shimura curves over totally real fields. Let $F$ be a totally real field. Let $f$ be a Hilbert modular form over $F$ of parallel weight $2$, which is a new form and is ordinary at $p$. Let $E$ be a totally imaginary quadratic extension of $F$ of discriminant prime to $p$ and to the conductor of $f$. We may construct a $p$-adic $L$ function that interpolates special values of the complex $L$ functions associated to $f$, $E$ and finite order Hecke characters of $E$. The $p$-adic Gross-Zag…
The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic polylogarithms.
Ming-Lun Hsieh constructed three-variable triple product p-adic L-functions attached to triples of primitive Hida families and proved interpolation formulas. We generalize his result in the unbalanced case and construct a three-variable triple product p-adic L-function attached to a primitive Hida family and two more general p-adic families of modular forms.
We define an integral version of Sczech's Eisenstein cocycle on GLn by smoothing at a prime ell. As a result we obtain a new proof of the integrality of the values at nonpositive integers of the smoothed partial zeta functions associated to ray class extensions of totally real fields. We also obtain a new construction of the p-adic L-functions associated to these extensions. Our cohomological construction allows for a study of the leading term of these p-adic L-functions at s=0. We apply Spiess's formalism to prove that the order of vanishing at s=0 is at least equal to the expected one, as co…
- Let K be a totally imaginary number field. Denote by G ur K (2) the Galois group of the maximal unramified pro-2 extension of K. By comparing cup-products in {é}tale cohomology of SpecO K and cohomology of uniform pro-2 groups, we obtain situations where G ur K (2) has no non-trivial uniform analytic quotient, proving some new special cases of the unramified Fontaine-Mazur conjecture. For example, in the family of imaginary quadratic fields K for which the 2-rank of the class group is equal to 5, we obtain that for at least 33.12% of such K, the group G ur K (2) has no non-trivial uniform an…
C.J. Smyth was among the first to study the spectrum of the Weil height in the field of all totally real numbers, establishing both lower and upper bounds for the limit infimum of the height of all totally real integers and determining isolated values of the height. Later, Bombieri and Zannier established similar results for totally p-adic numbers and, inspired by work of Ullmo and Zhang, termed this the Bogomolov property. In this paper, we use results on equidistribution of points of low height to generalize both Bogomolov-type results to a wide variety of heights arising in arithmetic dynam…
We analyze the elementary theory of certain fields of totally S-adic algebraic numbers that were introduced and studied by Geyer-Jarden and Haran-Jarden-Pop. In particular, we provide an axiomatization of these theories and prove their decidability, thereby giving a common generalization of classical decidability results of Jarden-Kiehne, Fried-Haran-Völklein and Ershov.
The purpose of this note is to give a short and elementary proof of the fact, that the absolute logarithmic Weil-height is bounded from below by a positive constant for all totally p-adic numbers which are neither zero nor a root of unity. The proof is based on an idea of C. Petsche and gives the best known lower bounds in this setting. These bounds differ from the truth by a term of less than $\log(3)/p$.
The Shintani cocycle on $\GL_n(\Q)$, as constructed by Hill, gives a cohomological interpretation of special values of zeta functions for totally real fields of degree $n$. We give an explicit criterion for a specialization of the Shintani cocycle to be $p$-adically interpolable. As a corollary, we recover the results of Deligne-Ribet, Cassou Noguès and Barsky on the construction of $p$-adic $L$-functions attached to totally real fields.
Let A be a modular elliptic curve over a totally real field F, and let E/F be a totally imaginary quadratic extension. In the event of exceptional zero phenomenon, we prove a formula for the derivative of the multivariable anticyclotomic p-adic L-function attached to (A,E), in terms of the Hasse-Weil L-function and certain p-adic periods attached to the respective automorphic forms. Our methods are based on a new construction of the anticyclotomic p-adic L-function by means of the corresponding automorphic representation.
The $\ell$-adic Galois polylogarithm is an arithmetic function on an absolute Galois group with values in $\ell$-adic numbers, which arises from Galois actions on $\ell$-adic étale paths on ${\mathbb P}^1 \backslash \{0,1,\infty\}$. In the present paper, we discuss a relationship between $\ell$-adic Galois polylogarithms and triple $\ell$-th power residue symbols in some special cases studied by a work of Hirano-Morishita. We show that a functional equation of $\ell$-adic Galois polylogarithms by Nakamura-Wojtkowiak implies a reciprocity law of triple $\ell$-th power residue symbols.
We prove modularity of some two dimensional, 2-adic Galois representations over totally real fields that are nearly ordinary and that are residually dihedral. We do this by employing the strategy of Skinner and Wiles, using Hida families, together with the 2-adic patching method of Khare and Wintenberger. As an application we deduce modularity of some elliptic curves over totally real fields that have good ordinary or multiplicative reduction at places above 2.
We p-adically interpolate the relative de Rham cohomology of the universal elliptic curve over strict neighbourhoods of the ordinary locus of modular curves, together with the Hodge filtration and Gauss-Manin connection. Sections of these sheaves provide the so called nearly overconvergent modular forms. This extends previous work of Andreatta, Iovita and Pilloni where we p-adically interpolate powers of the Hodge bundle and in that case the sections coincide with Coleman overconvergent modular forms. We also show that, under suitable assumptions, one can p-adically interpolate the Gauss-Manin…
Fix an odd prime $p$. Let $G$ be a compact $p$-adic Lie group containing a closed, normal, pro-$p$ subgroup $H$ which is abelian and such that $G/H$ is isomorphic to the additive group of $p$-adic integers $\mathbbZ_p$ . First we assume that $H$ is finite and compute the Whitehead group of the Iwasawa algebra, $Λ(G)$, of $G$. We also prove some results about certain localisation of $Λ(G)$ needed in Iwasawa theory. Let $F$ be a totally real number field and let $F_{\infty}$ be an admissible $p$-adic Lie extension of $F$ with Galois group $G$. The computation of the Whitehead groups are used to …
Let E be a quadratic extension of a totally real number field. We construct Stickelberger elements for Hilbert modular forms of parallel weight 2 in anticyclotomic extensions of E. Extending methods developed by Dasgupta and Spieß from the multiplicative group to an arbitrary one-dimensional torus we bound the order of vanishing of these Stickelberger elements from below and, in the analytic rank zero situation, we give a description of their leading terms via automorphic L-invariants. If the field E is totally imaginary, we use the p-adic uniformization of Shimura curves to show the equality …
We construct the three-variable p-adic triple product L-functions attached to Hida families of ellptic newforms and prove the explicit interpolation formulae at all critical specializations by establishing explicit Ichino's formulae for the trilinear period integrals of automorphic forms. Our formulae perfectly fit the conjectural shape of p-adic L-functions predicted by Coates and Perrin-Riou. As an application, we prove the factorization of certain unbalanced p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions for modular forms. By this factorization, we giv…
This note provides the construction of a three-variable family of cohomology classes arising from diagonal cycles on a triple product of towers of modular curves, and proves a reciprocity law relating it to the three variable triple-product $p$-adic $L$-function associated to a triple of Hida families by means of Perrin-Riou's $Λ$-adic regulator.
We construct the p-adic zeta function for a one-dimensional (as a p-adic Lie extension) non-commutative p-extension of a totally real number field such that the finite part of its Galois group is a pgroup with exponent p. We first calculate the Whitehead groups of the Iwasawa algebra and its canonical Ore localisation by using Oliver-Taylor's theory upon integral logarithms. This calculation reduces the existence of the non-commutative p-adic zeta function to certain congruence conditions among abelian p-adic zeta pseudomeasures. Then we finally verify these congruences by using Deligne-Ribet'…
Siegel proved that every totally positive element of a number field K is the sum of four squares, so in particular the Pythagoras number is uniformly bounded across number fields. The p-adic Kochen operator provides a p-adic analogue of squaring, and a certain localisation of the ring generated by this operator consists of precisely the totally p-integral elements of K. We use this to formulate and prove a p-adic analogue of Siegel's theorem, by introducing the p-Pythagoras number of a general field, and showing that this number is uniformly bounded across number fields. We also generally stud…
Let $L/F$ be a quadratic extension of totally real number fields. For any prime $p$ unramified in $L$, we construct a $p$-adic $L$-function interpolating the central values of the twisted triple product $L$-functions attached to a $p$-nearly ordinary family of unitary cuspidal automorphic representations of $\text{Res}_{L\times F/F}(\text{GL}_{2})$. Furthermore, when $L/\mathbb{Q}$ is a real quadratic number field and $p$ is a split prime, we prove a $p$-adic Gross-Zagier formula relating the value of the $p$-adic $L$-function outside the range of interpolation to the syntomic Abel-Jacobi imag…
Let p be a prime number, and let f, g, and h be three modular forms of weights $κ$, $λ$, and $μ$ for $SL(2,\Bbb{Z})$. We suppose $κ\geq λ+ μ$. In joint work with Kudla, one of the authors obtained a formula for the normalized {\it square root} of the value at $s = {1/2}(κ+ λ+ μ- 2)$ (the {\it central critical value}) of the triple product $L(s,f,g,h)$. We apply this formula, letting $f$ (and thus $κ$) vary in a $p$-adic analytic family ${\bold f}$ of ordinary modular forms (a Hida family). By modifying Hida's construction of the $p$-adic Rankin-Selberg convolution, we obtain a generalized $p$-…
We study the behaviour of the Stark conjecture for an abelian extension K/k of totally real number fields as K varies in a cyclotomic Z_p-tower. We consider possible strengthenings of the natural norm-coherence in the tower of putative solution of the complex conjecture and,especially, the consequences for the analogous p-adic conjecture. More precisely, under two principal assumptions - (i) that these solutions are given by exterior powers of norm-coherent sequences of global (or p-semilocal) units and (ii) that p splits in k - we show how the values of p-adic twisted zeta-functions for K/k a…
We construct $p$-adic triple product $L$-functions that interpolate (square roots of) central critical $L$-values in the balanced region. Thus, our construction complements that of M. Harris and J. Tilouine. There are four central critical regions for the triple product $L$-functions and two opposite settings, according to the sign of the functional equation. In the first case, three of these regions are of interpolation, having positive sign; they are called the unbalanced regions and one gets three $p$% -adic $L$-functions, one for each region of interpolation (this is the Harris-Tilouine se…
Let k be a totally real number field ant let k$\infty$ be its cyclotomic Zp-extension for a prime p\textgreater{}2. We give (Theorem 3.2) a sufficient condition of nullity of the Iwasawa invariants lambda, mu, when p totally splits in k, and we obtain important tables of quadratic fields and p for which we can conclude that lambda = mu=0.We show that the number of ambiguous p-classes of kn (nth stage in k$\infty$) is equal to the order of the torsion group T, of the Galois group of the maximal Abelian p-ramified pro-p-extension of k (Theorem 4.2), for all n \textgreater{}\textgreater{} e, wher…
Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural $p$-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of $\mathrm{SL}_2(\mathbb{Z}[1/p])$ which can be evaluated at real quadratic irrationalities and the values thus obtained are conjectured to lie in algebraic extensions of the base field. In this article we present a similar construction of cohomology casses in which $\mathrm{SL}_2(\mathbb{Z}[1/p])$ is replaced by an order in an indefinite quaternion algebra over a totally real number field $F$. The…
One of the basic questions in number theory is to determine semi-simple l-adic representations of the absolute Galois group of a number field. In this paper, we discuss the question for two dimensional representations over a totally real number field.
We study indefinite quaternion algebras over totally real fields F, and give an example of a cohomological construction of p-adic Jacquet-Langlands functoriality using completed cohomology. We also study the (tame) levels of p-adic automorphic forms on these quaternion algebras and give an analogue of Mazur's `level lowering' principle.
We say that a two dimensional p-adic Galois representation of a number field F is weight two if it is de Rham with Hodge-Tate weights 0 and -1 equally distributed at each place above p; for example, the Tate module of an elliptic curve has this property. The purpose of this paper is to establish a variety of results concerning odd weight two representations of totally real fields in as great a generality as we are able. Most of these results are improvements upon existing results. Three of our main results are as follows. (1) We prove a modularity lifting theorem for odd weight two representat…
The main purpose of this note is to provide an algorithm for approximating the value of the balanced $p$-adic $L$-function, as constructed in [Hsi21], at the point $(2,1,1)$, which is lying outside of the interpolation region. The algorithmic procedure is obtained building on the work of [FM14] and considering finite length geodesics on the Bruhat--Tits tree for $GL_2(\mathbb{Q}_p)$. We are interested in the case where at least one of the Hida families is associated with an elliptic curve over the rationals and we further restrict ourselves to the case where only one finite local sign of the f…
In 1980, Gross conjectured a formula for the expected leading term at $s=0$ of the Deligne--Ribet $p$-adic $L$-function associated to a totally even character $ψ$ of a totally real field $F$. The conjecture states that after scaling by $L(ψω^{-1}, 0)$, this value is equal to a $p$-adic regulator of units in the abelian extension of $F$ cut out by $ψω^{-1}$. In this paper, we prove Gross's conjecture.
In this paper, the author proved that the base change lifting associated to a totally ramified extension of a non-archimedean local field coincides with a map coming from the close fields theory of Kazhdan under some conditions. As a corollary, we can construct a base change lifting for an APF extension of a mixed characteristic local field.