arXiv subjects

Paul Buckingham

Publications and source records attributed to Paul Buckingham.

7 recordsLinked to original sources

arXiv2025

On $p$-adic incomplete Mellin transforms and $p$-adic incomplete gamma-functions

Let $r$ be a non-zero rational number. In a paper in the Transactions of the AMS in 2023, O'Desky and Richman gave a construction of a $p$-adic incomplete gamma-function $\Gamma_p(\cdot,r)$ for each prime $p$ for which $|r - 1|_p < 1$. Aside from the special case where $r = 1$, only finitely many primes satisfy that condition for a given $r$, so it is desirable to lessen this restriction. In the present paper, we give a construction that works under the much weaker condition that $|r|_p = 1$ using a $p$-adic integral transform we introduced in our paper of 2024 in Acta Arithmetica, which we interpret here as a $p$-adic analogue of an incomplete Mellin transform. For any given $r$, the condition $|r|_p = 1$ holds for all \emph{except} finitely many primes $p$. Our approach emphasizes the parallels between the complex and $p$-adic constructions, explaining how a $p$-adic integration-by-parts formula takes the place of complex integration by parts in the proof of the recurrence relations for the $p$-adic incomplete gamma-functions. We introduce a two-variable $p$-adic transform for the task, extending our earlier $p$-adic integral transform.

math.NT↗

arXiv2022

Factorial-Type Recurrence Relations and $p$-adic Incomplete Gamma Functions

We introduce an automorphism $\mathcal{S}$ of the space $C(\mathbb{Z}_p,\mathbb{C}_p)$ of continuous functions $\mathbb{Z}_p \rightarrow \mathbb{C}_p$ and show that it can be used to give an alternative construction of the $p$-adic incomplete $Γ$-functions recently introduced by O'Desky and Richman (arXiv:2012.04615). We then describe various properties of the automorphism $\mathcal{S}$, showing that it is self-adjoint with respect to a certain non-degenerate symmetric bilinear form defined in terms of $p$-adic integration, and showing that its inverse plays a role in a $p$-adic integral-transform space akin to the role of differentiation in the classical space of Laplace-transformed functions. We also derive an integral-transform formula for the $p$-adic incomplete $Γ$-functions.

math.NT↗

arXiv2021

Functoriality of the canonical fractional Galois ideal

The fractional Galois ideal of [Victor P. Snaith, Stark's conjecture and new Stickelberger phenomena, Canad. J. Math. 58 (2) (2006) 419--448] is a conjectural improvement on the higher Stickelberger ideals defined at negative integers, and is expected to provide non-trivial annihilators for higher K-groups of rings of integers of number fields. In this article, we extend the definition of the fractional Galois ideal to arbitrary (possibly infinite and non-abelian) Galois extensions of number fields under the assumption of Stark's conjectures, and prove naturality properties under canonical changes of extension. We discuss applications of this to the construction of ideals in non-commutative Iwasawa algebras.

math.KT↗

arXiv2011

Connecting homomorphisms associated to Tate sequences

Tate sequences are an important tool for tackling problems related to the (ill-understood) Galois structure of groups of $S$-units. The relatively recent Tate sequence "for small $S$" of Ritter and Weiss allows one to use the sequence without assuming the vanishing of the $S$-class-group, a significant advance in the theory. Associated to Ritter and Weiss's version of the sequence are connecting homomorphisms in Tate cohomology, involving the $S$-class-group, that do not exist in the earlier theory. In the present article, we give explicit descriptions of certain of these connecting homomorphisms under some assumptions on the set $S$.

math.NT↗

arXiv2010

The fractional Galois ideal for arbitrary order of vanishing

We propose a candidate, which we call the fractional Galois ideal after Snaith's fractional ideal, for replacing the classical Stickelberger ideal associated to an abelian extension of number fields. The Stickelberger ideal can be seen as gathering information about those $L$-functions of the extension which are non-zero at the special point $s = 0$, and was conjectured by Brumer to give annihilators of class-groups viewed as Galois modules. An earlier version of the fractional Galois ideal extended the Stickelberger ideal to include $L$-functions with a simple zero at $s = 0$, and was shown by the present author to provide class-group annihilators not existing in the Stickelberger ideal. The version presented in this article deals with $L$-functions of arbitrary order of vanishing at $s = 0$, and we give evidence using results of Popescu and Rubin that it is closely related to the Fitting ideal of the class-group, a canonical ideal of annihilators. Finally, we prove an equality involving Stark elements and class-groups originally due to Büyükboduk, but under a slightly different assumption, the advantage being that we need none of the Kolyvagin system machinery used in the original proof.

math.NT↗

arXiv2008

The canonical fractional Galois ideal at s=0

The Stickelberger elements attached to an abelian extension of number fields conjecturally participate, under certain conditions, in annihilator relations involving higher algebraic K-groups. In [Victor P. Snaith, Stark's conjecture and new Stickelberger phenomena, Canad. J. Math. 58 (2) (2006) 419--448], Snaith introduces canonical Galois modules hoped to appear in annihilator relations generalising and improving those involving Stickelberger elements. In this paper we study the first of these modules, corresponding to the classical Stickelberger element, and prove a connection with the Stark units in a special case.

math.NT↗

arXiv2007

On the p-adic Beilinson conjecture for number fields

We formulate a conjectural p-adic analogue of Borel's theorem relating regulators for higher K-groups of number fields to special values of the corresponding zeta-functions, using syntomic regulators and p-adic L-functions. We also formulate a corresponding conjecture for Artin motives, and state a conjecture about the precise relation between the p-adic and classical situations. Parts of he conjectures are proved when the number field (or Artin motive) is Abelian over the rationals, and all conjectures are verified numerically in some other cases.

math.KT↗