For an odd prime number p and an abelian number field k, let k β /k be the cyclotomic Z p -extension. Let X β be the projective limit of the p-parts of the ideal class groups of each intermediate field of k β /k. It is conjectured (Greenberg's Conjecture) that X β is finite when k is totally real. I
Local Units Modulo Gauss Sums
β Scribed by Humio Ichimura
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 432 KB
- Volume
- 68
- Category
- Article
- ISSN
- 0022-314X
No coin nor oath required. For personal study only.
β¦ Synopsis
For a prime number p and a number field k, let k Γk be the cyclotomic Z p -extension. Let A be the projective limit of the p-part of the ideal class group of each intermediate field of k Γk. When k is totally real, it is conjectured that A is finite, namely that the characteristic polynomial char(A ) of A as a 4-module is 1. We give an interpretation of char(A ) (and hence, of the conjecture) in terms of p-adic behaviour of certain Gauss sums when k is a real abelian field (satisfying some conditions). When k=Q(cos(2?Γp)), similar results are already obtained by Coleman [3], Kaneko and the author [9].
π SIMILAR VOLUMES
Fix an odd prime number p and an abelian field K. Let U (resp. C) be the projective limit of the semi-local units at p (resp. of the cyclotomic units) of each intermediate field of the cyclotomic Z p -extension K ΓK. We study the Galois module structure of UΓC. We generalize results of Iwasawa and G
Let | be a prime in the quadratic field Q(e 2?iΓ3 ), and let G 3 (|) be the cubic Gauss sum. Matthews [Invent. Math. 52 (1979), 163 185; 54 (1979), 23 52] determined the product formula of G 3 (|) using Weierstrass' ^function. In this paper, we establish an analogous result for the cubic Gauss sum m