Euler systems and special units

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

Let F be a number field. We investigate the group of Rubin's special units, SF defined over F. The group of special units is a subgroup of the group of global units containing the group of Sinnott's cyclotomic units, CF of F. It plays an important role in studying the ideal class group of F. Let (SKn) be a sequence of decreasing subgroups SKn (defined in Section 2) of the group of global units of any real abelian field K which lie between Rubin's special units and the circular units of K. Motivated by a question of whether the group of special units equals the group of cyclotomic units, which is stated by Rubin (Invent. Math. 89 (1987) 511), we propose the following question which relates the group structure of the ideal class group with the group structure of units modulo special units. Are ClF and n≥0 SFn/SFn+1 isomorphic as ℤ[Gal(F/ℚ)] modules? Let Ξ be the set of p-adic valued Dirichlet characters of Gal (F/ℚ). Let SFχ CF and ClFχ be the χ-eigenspaces of SF ⊗ ℤp, CF ⊗ ℤp and ClF ⊗ ℤp respectively. Using Euler system methods and Thaine's results we obtain that the ℤ/pℤ-rank of n≥0 (SFn) χ/(SFn+1)χ is less than or equal to the ℤ/pℤ-rank of ClFχ with some inequalities on the cardinalities of both sides. This gives us the following corollary. If p (2[F: ℚ], hF), then for all χ ∈ Ξ, we have SFχ=CFχ ⇔ ClFχ is a cyclic group.

Original languageEnglish
Pages (from-to)59-68
Number of pages10
JournalJournal of Number Theory
Volume109
Issue number1
DOIs
Publication statusPublished - 2004 Nov 1

Fingerprint

Euler System
Unit
Ideal Class Group
P-rank
Cyclotomic
Subgroup
Dirichlet Character
Eigenspace
Less than or equal to
Cyclic group
P-adic
Number field
Modulo
Cardinality
Corollary
Isomorphic

All Science Journal Classification (ASJC) codes

  • Algebra and Number Theory

Cite this

Seo, Soogil. / Euler systems and special units. In: Journal of Number Theory. 2004 ; Vol. 109, No. 1. pp. 59-68.
@article{421eb8bdd0864fc4b6c25884eebed496,
title = "Euler systems and special units",
abstract = "Let F be a number field. We investigate the group of Rubin's special units, SF defined over F. The group of special units is a subgroup of the group of global units containing the group of Sinnott's cyclotomic units, CF of F. It plays an important role in studying the ideal class group of F. Let (SKn) be a sequence of decreasing subgroups SKn (defined in Section 2) of the group of global units of any real abelian field K which lie between Rubin's special units and the circular units of K. Motivated by a question of whether the group of special units equals the group of cyclotomic units, which is stated by Rubin (Invent. Math. 89 (1987) 511), we propose the following question which relates the group structure of the ideal class group with the group structure of units modulo special units. Are ClF and n≥0 SFn/SFn+1 isomorphic as ℤ[Gal(F/ℚ)] modules? Let Ξ be the set of p-adic valued Dirichlet characters of Gal (F/ℚ). Let SFχ CF and ClFχ be the χ-eigenspaces of SF ⊗ ℤp, CF ⊗ ℤp and ClF ⊗ ℤp respectively. Using Euler system methods and Thaine's results we obtain that the ℤ/pℤ-rank of n≥0 (SFn) χ/(SFn+1)χ is less than or equal to the ℤ/pℤ-rank of ClFχ with some inequalities on the cardinalities of both sides. This gives us the following corollary. If p (2[F: ℚ], hF), then for all χ ∈ Ξ, we have SFχ=CFχ ⇔ ClFχ is a cyclic group.",
author = "Soogil Seo",
year = "2004",
month = "11",
day = "1",
doi = "10.1016/j.jnt.2004.06.010",
language = "English",
volume = "109",
pages = "59--68",
journal = "Journal of Number Theory",
issn = "0022-314X",
publisher = "Academic Press Inc.",
number = "1",

}

Euler systems and special units. / Seo, Soogil.

In: Journal of Number Theory, Vol. 109, No. 1, 01.11.2004, p. 59-68.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Euler systems and special units

AU - Seo, Soogil

PY - 2004/11/1

Y1 - 2004/11/1

N2 - Let F be a number field. We investigate the group of Rubin's special units, SF defined over F. The group of special units is a subgroup of the group of global units containing the group of Sinnott's cyclotomic units, CF of F. It plays an important role in studying the ideal class group of F. Let (SKn) be a sequence of decreasing subgroups SKn (defined in Section 2) of the group of global units of any real abelian field K which lie between Rubin's special units and the circular units of K. Motivated by a question of whether the group of special units equals the group of cyclotomic units, which is stated by Rubin (Invent. Math. 89 (1987) 511), we propose the following question which relates the group structure of the ideal class group with the group structure of units modulo special units. Are ClF and n≥0 SFn/SFn+1 isomorphic as ℤ[Gal(F/ℚ)] modules? Let Ξ be the set of p-adic valued Dirichlet characters of Gal (F/ℚ). Let SFχ CF and ClFχ be the χ-eigenspaces of SF ⊗ ℤp, CF ⊗ ℤp and ClF ⊗ ℤp respectively. Using Euler system methods and Thaine's results we obtain that the ℤ/pℤ-rank of n≥0 (SFn) χ/(SFn+1)χ is less than or equal to the ℤ/pℤ-rank of ClFχ with some inequalities on the cardinalities of both sides. This gives us the following corollary. If p (2[F: ℚ], hF), then for all χ ∈ Ξ, we have SFχ=CFχ ⇔ ClFχ is a cyclic group.

AB - Let F be a number field. We investigate the group of Rubin's special units, SF defined over F. The group of special units is a subgroup of the group of global units containing the group of Sinnott's cyclotomic units, CF of F. It plays an important role in studying the ideal class group of F. Let (SKn) be a sequence of decreasing subgroups SKn (defined in Section 2) of the group of global units of any real abelian field K which lie between Rubin's special units and the circular units of K. Motivated by a question of whether the group of special units equals the group of cyclotomic units, which is stated by Rubin (Invent. Math. 89 (1987) 511), we propose the following question which relates the group structure of the ideal class group with the group structure of units modulo special units. Are ClF and n≥0 SFn/SFn+1 isomorphic as ℤ[Gal(F/ℚ)] modules? Let Ξ be the set of p-adic valued Dirichlet characters of Gal (F/ℚ). Let SFχ CF and ClFχ be the χ-eigenspaces of SF ⊗ ℤp, CF ⊗ ℤp and ClF ⊗ ℤp respectively. Using Euler system methods and Thaine's results we obtain that the ℤ/pℤ-rank of n≥0 (SFn) χ/(SFn+1)χ is less than or equal to the ℤ/pℤ-rank of ClFχ with some inequalities on the cardinalities of both sides. This gives us the following corollary. If p (2[F: ℚ], hF), then for all χ ∈ Ξ, we have SFχ=CFχ ⇔ ClFχ is a cyclic group.

UR - http://www.scopus.com/inward/record.url?scp=5044235539&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=5044235539&partnerID=8YFLogxK

U2 - 10.1016/j.jnt.2004.06.010

DO - 10.1016/j.jnt.2004.06.010

M3 - Article

AN - SCOPUS:5044235539

VL - 109

SP - 59

EP - 68

JO - Journal of Number Theory

JF - Journal of Number Theory

SN - 0022-314X

IS - 1

ER -