arXiv subjects

Timothy All

Publications and source records attributed to Timothy All.

3 recordsLinked to original sources

arXiv2015

On Stickelberger Elements for $\mathbb{Q}(\zeta_{p^{n+1}})^+$ and $p$-adic $L$-functions

We give a survey of a couple known constructions of $p$-adic $L$-functions including Iwasawa's construction from classical Stickelberger elements. We then construct "real" Stickelberger elements, i.e., explicit elements in the Galois group ring with $\mathbb{Z}_p$ coefficients that annihilate the Sylow $p$-subgroup of the ideal class group of $\mathbb{Q}(\zeta_{p^{n+1}})^+$. In analogy with Iwasawa's work, we show that these elements are coherent in $\mathbb{Z}_p$-towers and give rise to twisted $p$-adic $L$-functions.

math.NT↗

arXiv2015

Gauss Sums, Stickelberger's Theorem, and the Gras Conjecture for Ray Class Groups

Let $k$ be a real abelian number field and $p$ an odd prime not dividing $[k:\mathbb{Q}]$. For a natural number $d$, let $E_d$ denote the group of units of $k$ congruent to $1$ modulo $d$, $C_d$ the subgroup of $d$-circular units of $E_d$, and $\mathfrak{C}(d)$ the ray class group of modulus $d$. Let $\rho$ be an irreducible character of $G=\mathrm{Gal}(k/\mathbb{Q})$ over $\mathbb{Q}_p$ and $e_{\rho} \in \mathbb{Z}_p[G]$ the corresponding idempotent. We show that if the ramification index of $p$ in $k$ is less than $p-1$, then $|e_{\rho} \mathrm{Syl}_p(E_d/C_d) | = |e_{\rho} \mathrm{Syl}_p(\mathfrak{C}_d)|$ where $\mathfrak{C}_d$ is the part of $\mathfrak{C}(d)$ where $G$ acts non-trivially. This is a ray class version of the Gras Conjecture. In the case when $p \mid [k:\mathbb{Q}]$, similar but slightly less precise results are obtained. In particular, beginning with what could be considered a Gauss sum for real fields, we construct explicit Galois annihilators of $\mathrm{Syl}_p(\mathfrak{C}_{\mathfrak{a}})$ akin to the classical Stickelberger Theorem.

math.NT↗

arXiv2014

On a construction of $C^1(\mathbb{Z}_p)$ functionals from $\mathbb{Z}_p$-extensions of algebraic number fields

Let $k$ be any number field and $k_{\infty}/k$ any $\mathbb{Z}_p$-extension. We construct a natural $Λ= \mathbb{Z}_p[[ T-1 ]]$-morphism from $\varprojlim k_n^{\times} \otimes_{\mathbb{Z}} \mathbb{Z}_p$ into a special subset of $C^1(\mathbb{Z}_p)^*$, the collection of linear functionals on the set of continuously differentiable functions from $\mathbb{Z}_p \to \mathbb{C}_p$. We apply the results to the problem of interpolating Gauss sums attached to Dirichlet characters and the explicit annihilation of real ideal classes.

math.NT↗