pith. sign in

arxiv: 2407.02002 · v4 · submitted 2024-07-02 · 🧮 math.NT

Bases for some modules of cyclotomic units

Rafik Souanef (UFC) This is my paper

Pith reviewed 2026-05-23 23:17 UTC · model grok-4.3

classification 🧮 math.NT
keywords cyclotomic unitsWashington unitsIwasawa algebraZ_p-towergenus fieldabelian number fieldsLambda-basis
0
0 comments X

The pith

If an abelian number field K coincides with its narrow genus field, the inverse limit of Washington's cyclotomic units in its cyclotomic Z_p-tower admits a Lambda-basis.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that when an abelian number field K equals its genus field in the narrow sense, the group of Washington's cyclotomic units in K has a basis after tensoring with Z[1/2]. This base-field basis then produces an explicit basis over the Iwasawa algebra Lambda for the inverse limit of the corresponding unit groups taken in the positive parts of the fields in the cyclotomic Z_p-tower of K. A reader would care because these units control much of the p-adic arithmetic in infinite extensions, and an explicit basis makes their module structure directly accessible rather than abstract.

Core claim

Under the hypothesis that the abelian number field K coincides with its genus field in the narrow sense, the group Was(K) of Washington's cyclotomic units satisfies that Was(K) tensor_Z Z[1/2] admits a Z[1/2]-basis. Consequently the inverse limit lim Was(K_k^+) over the cyclotomic Z_p-tower (K_k) has a Lambda-basis.

What carries the argument

The Lambda-basis of lim Was(K_k^+), obtained by lifting the Z[1/2]-basis of Was(K) tensor Z[1/2] through the tower.

If this is right

  • The module of cyclotomic units in the tower is generated by the images of the base-field basis elements under the natural maps.
  • Any relation or index computation involving these units in the tower reduces to linear algebra over Lambda once the basis is fixed.
  • The same hypothesis yields both the finite-level Z[1/2]-basis and the infinite-level Lambda-basis as direct consequences.
  • The result applies uniformly to every abelian K satisfying the genus-field condition, independent of the prime p.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit basis may allow direct calculation of the Iwasawa invariants attached to the cyclotomic-unit module for each such K.
  • One could check the basis by verifying linear independence of the given generators modulo p-adic logarithms or regulators for small p.
  • The construction might extend to other unit groups or to fields that are close to but not exactly equal to their genus field.

Load-bearing premise

The abelian number field K must coincide with its genus field in the narrow sense.

What would settle it

Take a specific real quadratic field K that equals its narrow genus field, compute the Z[1/2]-module Was(K) tensor Z[1/2] directly, and check whether the claimed basis elements generate it; failure to generate would falsify the claim.

read the original abstract

Let $\mathbf{Was}(\mathbb{K})$ denote the group of Washington's cyclotomic units of any abelian number field $\mathbb{K}$. If $\mathbb{K}$ coincides with its genus field in the narrow sense, we give a $\Lambda$-basis of $\lim\limits\_{\xleftarrow{}} \mathbf{Was}(\mathbb{K}\_k^{+})$ where $(\mathbb{K}\_k)\_{k \geqslant 0}$ denotes the cyclotomic $\mathbb{Z}\_p$-tower of $\mathbb{K}$ and $\Lambda$ denotes the Iwasawa's algebra. This results from a $\mathbb{Z} [1/2]$-basis of $\mathbf{Was}(\mathbb{K}) \otimes\_{\mathbb{Z}} \mathbb{Z} [1/2]$ that we give under the same hypothesis.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript claims that if an abelian number field K coincides with its genus field in the narrow sense, then there exists a Lambda-basis for the inverse limit of Washington's cyclotomic units Was(K_k^+) along the cyclotomic Z_p-tower of K; this is obtained from an explicit Z[1/2]-basis of Was(K) tensor_Z Z[1/2] under the same hypothesis.

Significance. If the stated bases are correctly constructed, the result supplies explicit generators for these Iwasawa modules of cyclotomic units under a standard genus-field hypothesis. Such explicit descriptions are useful in Iwasawa theory for controlling the structure of units and relating them to class groups or p-adic L-functions.

minor comments (2)
  1. The abstract states the existence of the bases but does not indicate the theorem or section number where the explicit construction appears; adding a forward reference would improve readability.
  2. Notation for the inverse limit (lim Was(K_k^+)) and the Iwasawa algebra Lambda is introduced without a preliminary definition or reference to standard conventions in the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The report restates the main claims without raising any specific points of criticism or requests for clarification.

Circularity Check

0 steps flagged

No significant circularity; result conditional on external hypothesis

full rationale

The paper's central claims are explicitly conditional on the external arithmetic hypothesis that the abelian field K coincides with its genus field in the narrow sense. Under this hypothesis the abstract states that a Lambda-basis for the inverse limit and a Z[1/2]-basis for Was(K) tensor Z[1/2] are given; these are presented as consequences of the hypothesis applied to the cyclotomic tower, not as quantities defined in terms of themselves or obtained by fitting parameters to the target data. No equations, self-citations, or ansatzes appear in the supplied text that would reduce the claimed bases to the inputs by construction. The derivation is therefore self-contained against the stated external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard axioms of Iwasawa theory for cyclotomic towers and the definition of Washington's cyclotomic units; the genus-field hypothesis is an additional domain assumption required for the basis to exist.

axioms (2)
  • standard math Standard properties of cyclotomic fields and the Iwasawa algebra Lambda hold for the Z_p-tower.
    Invoked implicitly when defining the inverse limit and the Lambda-action.
  • domain assumption K equals its narrow genus field.
    Explicitly required in the abstract for both basis statements.

pith-pipeline@v0.9.0 · 5661 in / 1419 out tokens · 19347 ms · 2026-05-23T23:17:47.871153+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    John Coates and R. Sujatha. Cyclotomic fields and zeta values . Springer Monogr. Math. Berlin: Springer, 2006. doi:10.1007/978-3-540-33069-1

    work page doi:10.1007/978-3-540-33069-1 2006

  2. [2]

    Bases for cyclotomic units

    Robert Gold and Jaemoon Kim. Bases for cyclotomic units. Compos. Math. , 71(1):13–27, 1989. 30

    work page 1989

  3. [3]

    Class field theory

    Georges Gras. Class field theory. From theory to practice . Springer Monogr. Math. Berlin: Springer, 2003

    work page 2003

  4. [4]

    The Moebius function of a partially order ed set

    Curtis Greene. The Moebius function of a partially order ed set. Ordered sets, Proc. NATO Adv. Study Inst., Banff/Can. 1981, 555-581 (1982) ., 1982

    work page 1981

  5. [5]

    Construction of a certain circu lar unit and its applications

    Jae Moon Kim and Jado Ryu. Construction of a certain circu lar unit and its applications. J. Number Theory , 131(4):737–744, 2011. doi:10.1016/j.jnt.2010.11.002

    work page doi:10.1016/j.jnt.2010.11.002 2011

  6. [6]

    On the Stickelberger ideal and circular un its of some genus fields

    Radan Kučera. On the Stickelberger ideal and circular un its of some genus fields. Tatra Mt. Math. Publ. , 20:99–110, 2000

    work page 2000

  7. [7]

    The basis of the Stickelberger ideal, and a system of principal circular units of a cyclotomic field

    Radan Kuchera. The basis of the Stickelberger ideal, and a system of principal circular units of a cyclotomic field. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) , 175:69–74, 163, 1989. doi:10.1007/BF01100117

    work page doi:10.1007/bf01100117 1989

  8. [8]

    A note on Sinnott’s definition of circular u nits of an abelian field

    Radan Kučera. A note on Sinnott’s definition of circular u nits of an abelian field. J. Number Theory , 63(2):403–407, 1997. doi:10.1006/jnth.1997.2094

    work page doi:10.1006/jnth.1997.2094 1997

  9. [9]

    Circular units and class groups of abelian fields

    Radan Kučera. Circular units and class groups of abelian fields. Ann. Sci. Math. Québec, 28(1-2):121–136, 2004

    work page 2004

  10. [10]

    The circular units and the Stickelberger ideal of a cyclotomic field revisited

    Radan Kučera. The circular units and the Stickelberger ideal of a cyclotomic field revisited. Acta Arith. , 174(3):217–238, 2016. doi:10.4064/aa8009-4-2016

    work page doi:10.4064/aa8009-4-2016 2016

  11. [11]

    Algebraic number theory

    Jürgen Neukirch. Algebraic number theory. Transl. from the German by Norbert Schappacher, volume 322 of Grundlehren Math. Wiss. Berlin: Springer, 1999

    work page 1999

  12. [12]

    On the foundations of combinatorial t heory

    Gian-Carlo Rota. On the foundations of combinatorial t heory. I: Theory of Möbius functions. Z. Wahrscheinlichkeitstheor. Verw. Geb. , 2:340–368, 1964. doi:10.1007/BF00531932

    work page doi:10.1007/bf00531932 1964

  13. [13]

    W. Sinnott. On the Stickelberger ideal and the circular units of a cyclotomic field. Ann. of Math. (2) , 108(1):107–134, 1978. doi:10.2307/1970932. 31

    work page doi:10.2307/1970932 1978

  14. [14]

    W. Sinnott. On the stickelberger ideal and the circular units of an abelian field. Inventiones mathematicae , 62:181–234, 1980/81. URL: http://eudml.org/doc/142770

    work page 1980

  15. [15]

    Galois relations for cyclotomic number s and p-units

    David Solomon. Galois relations for cyclotomic number s and p-units. J. Number Theory, 46(2):158–178, 1994. doi:10.1006/jnth.1994.1010

    work page doi:10.1006/jnth.1994.1010 1994

  16. [16]

    Washington

    Lawrence C. Washington. Introduction to cyclotomic fields. , volume 83 of Grad. Texts Math. New York, NY: Springer, 2nd ed. edition, 1997

    work page 1997

  17. [17]

    On bases of Washington’s group of circular u nits of some real cyclic number fields

    Milan Werl. On bases of Washington’s group of circular u nits of some real cyclic number fields. J. Number Theory , 134:109–129, 2014. doi:10.1016/j.jnt.2013.07.016. 32

    work page doi:10.1016/j.jnt.2013.07.016 2014