A note on the universal power series for Jacobi sums
type: Item
instance of: scholarly article
title: A note on the universal power series for Jacobi sums
zbMATH Open document ID: 0706.11063
author: Humio Ichimura
published in: Proceedings of the Japan Academy. Series A
publication date: 1989-01-01T00:00:00Z
review text: Let \(\ell\) be an odd prime. \textit{Y. Ihara}, \textit{M. Kaneko} and \textit{A. Yukinari} [Adv. Stud. Pure Math. 12, 65-86 (1987; Zbl 0642.12012)] constructed a power series related to Jacobi sums, from which one obtains a homomorphism \(\tilde g:\) Gal(\({\bar {\mathbb{Q}}}/{\mathbb{Q}}(\mu_{\ell^{\infty}}))\to {\mathbb{F}}_{\ell}t\). Let \(\tilde {\mathcal V}^-\) denote the additive group of power series \(g(t)\in {\mathbb{F}}_{\ell}t\) satisfying \(g((1+t)^{-1}-1)=-g(t)\) and \(D^{\ell -1}g=g\), where \(D=(1+t)d/dt\). In [J. Number Theory 31, 312-334 (1989; Zbl 0686.12003)] the author and \textit{M. Kaneko} showed that Im \(\tilde g\subseteq \tilde {\mathcal V}^-\), with equality if and only if Vandiver's conjecture holds for \(\ell\). In the present paper it is shown that \(\tilde {\mathcal V}^-/Im \tilde g\) has cardinality \(\ell^{\lambda +\epsilon}\), where \(\lambda\) is the Iwasawa invariant for the cyclotomic \({\mathbb{Z}}_{\ell}\)-extension of \({\mathbb{Q}}(\cos (2\pi /\ell))\) and \(\epsilon\) is a certain invariant defined in terms of the maximal abelian \(\ell\)-extension of \({\mathbb{Q}}(\mu_{\ell^{\infty}})\) unramified outside \(\ell\).
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11L05
Mathematics Subject Classification ID: 11R32
zbMATH DE Number: 4158758
zbMATH Keywords: Iwasawa theory
zbMATH Keywords: Galois representations
zbMATH Keywords: power series
zbMATH Keywords: Jacobi sums
reviewed by: Lawrence C. Washington
MaRDI profile type: Publication
full work available at URL: pjaa.65.256
OpenAlex ID: W2029764971
cites work: The hyperadelic gamma function
cites work: Local Units Modulo Circular Units
cites work: Q3360307
cites work: The Iwasawa invariant \(\mu_p\) vanishes for abelian number fields
cites work: On the universal power series for Jacobi sums and the Vandiver conjecture
cites work: Q3791246
cites work: Profinite braid groups, Galois representations and complex multiplications
cites work: Q3784221
cites work: Q3943047
DOI: 10.3792/PJAA.65.256
description: scientific article; zbMATH DE number 4158758