On the Galois structure of circular units in Z_p-extensions

DOI10.1006/JNTH.1997.2200MaRDI QIDQ1267290zbMATH OpenOpenAlexFDO

Authors Jean-Robert Belliard

Publication date 5 May 1999

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jnth.1997.2200

zbMATH Keywords

circular unitscohomologycyclotomic \(\mathbb{Z}_p\)-extensioncyclotomic towerGalois behaviourGalois module structurereal abelian fielduniversal norms

Mathematics Subject Classification ID

Cyclotomic extensions (11R18) Iwasawa theory (11R23) Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33) Galois cohomology (11R34)

Review text

Let \(K\) be a real abelian field and \(p\) a rational prime which does not ramify in \(K\). The aim of this paper is to study the Galois behaviour of Sinott's groups of circular units \(C_s(K_n)\) in the cyclotomic \(\mathbb{Z}_p\)-extension \(K_\infty= \bigcup_{n\geq 0}K_n\). For this purpose, the author introduces a certain submodule \(D_n(K)\) of \(p\)-units of \(K_n\) which contains only universal norms (in \(K_\infty/K_n\)) and whose intersection \(\widehat{D}_n(K)\) with the units of \(K_n\) is ``close to \(C_s(K_n)\). For instance, \(C_s(K)= \{\pm 1\}\times \widehat{D}_0(K)\), \(C_s(K_n)= C_s(K)\). \(\widehat{D}_n(K)\) for \(n>0\), and \(\varprojlim C_s(K_n)\otimes \mathbb{Z}_p= \varprojlim \widehat{D}_n(K)\otimes \mathbb{Z}_p\). The character of \(D_n(K) \otimes \mathbb{Q}\) is computed. Under certain restrictive hypotheses relative to norms inside group algebras of cyclotomic fields associated with the prime factors of the conductor of \(K\), the author also determines the Galois module structure of \(D_n(K)\) and, as a consequence, the cohomology of \(C_s(K_n)\) in the cyclotomic tower.

Recommendations

• Circular units in the Z_p-extensions of real abelian fields of prime conductor
• Cohomology groups of circular units
• On circular units over the cyclotomic \(\mathbb Z_p\)-extension of an abelian field

Cites work

• Cohomology groups of cyclotomic units
• Cyclotomic units in Z_p-extensions
• Galois relations for cyclotomic numbers and \(p\)-units
• Generators and Relations for Cyclotomic Units
• scientific article; zbMATH DE number 3760283 (Why is no real title available?)
• scientific article; zbMATH DE number 4125501 (Why is no real title available?)
• On a construction of p-units in abelian fields
• On relations between cyclotomic units
• On relatively invariant circular units and Stickelberger elements
• On the Stickelberger ideal and circular units of a compositum of quadratic fields
• On the Stickelberger ideal and the circular units of an abelian field
• On the units of algebraic number fields
• On universal norms in \(\mathbb{Z}_ p\)-extensions
• Units in real Abelian fields.

Cited in

(13)

• A note on circular units in \(\mathbb Z_p\)-extensions.
• Circular units in the Z_p-extensions of real abelian fields of prime conductor
• Semi-local units at \(p\) of a cyclotomic \(\mathbb{Z}_p\)-extension congruent to 1 modulo \(\zeta_p - 1\)
• Units on the Gauss extension of a Galois ring
• Truncated Euler Systems over Imaginary Quadratic Fields
• Asymptotic cohomology of circular units
• Cyclotomic units and Stickelberger ideals of global function fields
• A note on circular distributions
• SUR LA CONJECTURE FAIBLE DE GREENBERG DANS LE CAS ABÉLIEN p-DÉCOMPOSÉ
• Formules de classes pour les corps abéliens réels. (Class formulae for real Abelian fields)
• Stark units in \(\mathbb{Z}_p\)-extensions
• Semi-local units modulo cyclotomic units in the cyclotomic \(\mathbb{Z}_2\)-extensions
• On circular units over the cyclotomic \(\mathbb Z_p\)-extension of an abelian field

Describes a project that uses

Uses Software

• PARI/GP

This page was built for publication: On the Galois structure of circular units in \(\mathbb{Z}_p\)-extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267290)