Module of Universal Norms

• Module of universal norms is defined as the subgroup of units that remain norms from every finite layer in cyclotomic or Zp-extensions, capturing essential arithmetic features.
• It connects unit groups with Iwasawa modules, supporting analyses of Greenberg’s conjecture and demonstrating the interplay between logarithmic units and class groups.
• The concept extends to p-adic representations and higher-rank constructions, integrating norm-coherent sequences with cohomological methods in modern arithmetic.

Searching arXiv for recent and foundational papers on the arithmetic notion of the module of universal norms. The module of universal norms is, in arithmetic Iwasawa theory, the subgroup or cohomological module consisting of elements that are norms from every finite layer of an infinite $\mathbb Z_p$- or $\mathbb Z_\ell$-extension. For a totally real number field $K$ with cyclotomic $\mathbb Z_\ell$-extension $K_\infty=\bigcup_n K_n$, Jaulent defines the group of universal norms by

$$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$

where $E_K:=\varprojlim_n E_{K_n}$ is the projective limit of the $\ell$-adic unit groups, often called “the group of logarithmic units of $K$,” and $T_K:=\varprojlim_n Cl(K_n)$ is the classical Iwasawa module of $\mathbb Z_\ell$0-classes (Jaulent, 2019). In later work, the same norm-coherence principle is recast for $\mathbb Z_\ell$1-adic Galois representations and for higher-rank exterior-bidual constructions, yielding closely related modules defined by intersections of corestriction images or by Iwasawa-cohomological descent (Ponsinet, 2020, Bullach et al., 2020).

1. Cyclotomic definition and $\mathbb Z_\ell$2-module framework

Fix a prime $\mathbb Z_\ell$3 and a totally real number field $\mathbb Z_\ell$4 of degree $\mathbb Z_\ell$5. Let $\mathbb Z_\ell$6 be its cyclotomic $\mathbb Z_\ell$7-extension, with

$\mathbb Z_\ell$8

after choosing a topological generator $\mathbb Z_\ell$9 of $K$0 via $K$1 (Jaulent, 2019). For each finite layer $K$2, the $K$3-adic completion $K$4 of the unit group, and more generally the $K$5-unit group when $K$6 contains the primes above $K$7, forms an inverse system under the norm maps. The intersection

$K$8

is independent of $K$9 and equals $\mathbb Z_\ell$0 (Jaulent, 2019).

This definition isolates the largest $\mathbb Z_\ell$1-submodule of $\mathbb Z_\ell$2 consisting of elements that are norms from each finite layer $\mathbb Z_\ell$3. Since $\mathbb Z_\ell$4 is a closed subgroup of the compact $\mathbb Z_\ell$5-module $\mathbb Z_\ell$6, it is itself a compact $\mathbb Z_\ell$7-module (Jaulent, 2019). Under Leopoldt’s conjecture, $\mathbb Z_\ell$8 is a finitely generated torsion $\mathbb Z_\ell$9-module, while $K_\infty=\bigcup_n K_n$0 is $K_\infty=\bigcup_n K_n$1-free of rank

$K_\infty=\bigcup_n K_n$2

with no torsion except the roots of unity (Jaulent, 2019). In this setting, the universal-norm module is the unit-theoretic counterpart to the Iwasawa module of classes.

2. Fixed points, co-invariants, and Greenberg’s conjecture

A key structural relation is the pair of isomorphisms

$K_\infty=\bigcup_n K_n$3

where $K_\infty=\bigcup_n K_n$4 is the $K_\infty=\bigcup_n K_n$5-group of logarithmic ideal-classes of $K_\infty=\bigcup_n K_n$6 (Jaulent, 2019). These formulas identify the quotient $K_\infty=\bigcup_n K_n$7 with the $K_\infty=\bigcup_n K_n$8-fixed submodule of the Iwasawa class-group module and the co-invariants of $K_\infty=\bigcup_n K_n$9 with the logarithmic class group. The quotient $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$0 is therefore finite exactly when $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$1 is finite.

Greenberg’s conjecture for $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$2 and $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$3 asserts that the classical invariants $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$4 and $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$5 vanish, equivalently that $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$6 is a pseudo-null $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$7-module, or again that the orders of the finite $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$8-class groups $$N_K:=\bigcap_{n\ge 0} N_{K_n/K}(E_{K_n})\subseteq E_K,$$9 remain bounded as $E_K:=\varprojlim_n E_{K_n}$0 (Jaulent, 2019). Under Leopoldt’s conjecture for $E_K:=\varprojlim_n E_{K_n}$1 at $E_K:=\varprojlim_n E_{K_n}$2, Jaulent proves that Greenberg’s conjecture holds if and only if

$E_K:=\varprojlim_n E_{K_n}$3

The proof proceeds by comparing the exact cohomology sequences for $E_K:=\varprojlim_n E_{K_n}$4 on $E_K:=\varprojlim_n E_{K_n}$5 and the co-invariant sequence on $E_K:=\varprojlim_n E_{K_n}$6, obtaining

$E_K:=\varprojlim_n E_{K_n}$7

and then identifying the two finite quantities under Greenberg’s condition (Jaulent, 2019).

In the abelian real case $E_K:=\varprojlim_n E_{K_n}$8 with Galois group $E_K:=\varprojlim_n E_{K_n}$9 of order prime to $\ell$0, $\ell$1 decomposes over $\ell$2 into its irreducible $\ell$3-adic character components. Under Greenberg, each universal-norm component $\ell$4 is the unique $\ell$5-submodule of index $\ell$6 (Jaulent, 2019). This gives a characterwise formulation of the same index phenomenon.

3. Capitulation, circular units, and special cases

The universal-norm quotient also admits a capitulation interpretation. Assuming Leopoldt in $\ell$7 and Gross–Kuz’min in $\ell$8, Jaulent shows that for large $\ell$9,

$K$0

where

$K$1

is the subgroup of classes that capitulate logarithmically in $K$2 (Jaulent, 2019). In particular,

$K$3

with equality if and only if Greenberg holds. The universal-norm index is thus bounded by the logarithmic class-group order and becomes equal to it precisely in the conjectural pseudo-null regime.

Jaulent also compares universal norms with circular units. For an odd prime $K$4 and $K$5, the maximal real subfield of $K$6, one has

$K$7

where $K$8 is the circular unit group; equivalently,

$K$9

for all large $T_K:=\varprojlim_n Cl(K_n)$0 (Jaulent, 2019). This places universal norms in direct relation with the classical analytic unit theory of cyclotomic fields.

A contrasting phenomenon occurs when $T_K:=\varprojlim_n Cl(K_n)$1 splits completely in a real abelian $T_K:=\varprojlim_n Cl(K_n)$2. In that case, the intersection of Sinnott’s circular units with the logarithmic units is just the roots of unity $T_K:=\varprojlim_n Cl(K_n)$3, and

$T_K:=\varprojlim_n Cl(K_n)$4

independently of any conjecture (Jaulent, 2019). At the semi-local level, one decomposes each local $T_K:=\varprojlim_n Cl(K_n)$5-adic completion $T_K:=\varprojlim_n Cl(K_n)$6 as a product of its ordinary units and logarithmic units, and the global injection $T_K:=\varprojlim_n Cl(K_n)$7 identifies $T_K:=\varprojlim_n Cl(K_n)$8 inside $T_K:=\varprojlim_n Cl(K_n)$9 up to a finite defect that vanishes under Leopoldt (Jaulent, 2019).

Jaulent also proves a criterion of non-triviality: for $\mathbb Z_\ell$00 totally real abelian of degree prime to $\mathbb Z_\ell$01, under Leopoldt and Gross–Kuz’min in $\mathbb Z_\ell$02, the quotient $\mathbb Z_\ell$03 can be trivial only if three canonical radicals coincide in $\mathbb Z_\ell$04: the logarithmic Kummer radical, the initial radical of $\mathbb Z_\ell$05-extensions, and Tate’s universal kernel (Jaulent, 2019).

4. $\mathbb Z_\ell$06-units and the first layers of $\mathbb Z_\ell$07-extensions

In the cyclotomic $\mathbb Z_\ell$08-extension of a number field $\mathbb Z_\ell$09 containing $\mathbb Z_\ell$10, the analogous object is the inverse limit of $\mathbb Z_\ell$11-units. For

$\mathbb Z_\ell$12

and

$\mathbb Z_\ell$13

the norm maps make $\mathbb Z_\ell$14 into an inverse system, and one sets

$\mathbb Z_\ell$15

described as the $\mathbb Z_\ell$16-module of “universal norms” in the $\mathbb Z_\ell$17-unit tower (Movahhedi et al., 2013).

Its structure is explicit: $\mathbb Z_\ell$18 contains as its maximal $\mathbb Z_\ell$19-torsion submodule exactly the copy of $\mathbb Z_\ell$20, and after factoring out this torsion one obtains a free $\mathbb Z_\ell$21-module of rank

$\mathbb Z_\ell$22

through an exact sequence

$\mathbb Z_\ell$23

(Movahhedi et al., 2013). This is the $\mathbb Z_\ell$24-unit analogue of the freeness phenomenon for logarithmic units.

The same paper relates $\mathbb Z_\ell$25 to the Kummer radical

$\mathbb Z_\ell$26

consisting of those classes $\mathbb Z_\ell$27 such that the Kummer extension $\mathbb Z_\ell$28 sits inside some $\mathbb Z_\ell$29-extension of $\mathbb Z_\ell$30. Under Leopoldt’s conjecture for $\mathbb Z_\ell$31, the torsion module $\mathbb Z_\ell$32 is canonically Pontrjagin-dual to $\mathbb Z_\ell$33, equivalently

$\mathbb Z_\ell$34

(Movahhedi et al., 2013). The module of universal norms thereby controls the first layers of all $\mathbb Z_\ell$35-extensions of $\mathbb Z_\ell$36.

For $\mathbb Z_\ell$37 with $\mathbb Z_\ell$38 an odd regular prime, one has

$\mathbb Z_\ell$39

with $\mathbb Z_\ell$40, so the only nonzero $\mathbb Z_\ell$41-torsion of $\mathbb Z_\ell$42 is $\mathbb Z_\ell$43, and

$\mathbb Z_\ell$44

generated by the class of $\mathbb Z_\ell$45 in $\mathbb Z_\ell$46 (Movahhedi et al., 2013).

5. $\mathbb Z_\ell$47-adic representations and the Fargues–Fontaine curve

For a finite extension $\mathbb Z_\ell$48, a $\mathbb Z_\ell$49-adic representation $\mathbb Z_\ell$50 with $\mathbb Z_\ell$51-stable lattice $\mathbb Z_\ell$52, and an algebraic extension $\mathbb Z_\ell$53, the universal-norm module is defined cohomologically by

$\mathbb Z_\ell$54

equivalently as the image of the natural projection $\mathbb Z_\ell$55 (Ponsinet, 2020). This reframes the universal-norm condition inside Bloch–Kato local conditions and Iwasawa cohomology.

The central theorem concerns de Rham representations with Hodge–Tate weights $\mathbb Z_\ell$56. If $\mathbb Z_\ell$57 is the unique maximal subrepresentation whose Hodge–Tate weights are $\mathbb Z_\ell$58, with quotient $\mathbb Z_\ell$59, then for perfectoid $\mathbb Z_\ell$60 the restriction map $\mathbb Z_\ell$61 is surjective and

$\mathbb Z_\ell$62

is exact (Ponsinet, 2020). Equivalently,

$\mathbb Z_\ell$63

The proof uses the classification of vector bundles over the Fargues–Fontaine curve. The argument identifies $\mathbb Z_\ell$64 with global sections of a truncated vector bundle over the curve, applies the Harder–Narasimhan theory, and exploits the vanishing of $\mathbb Z_\ell$65 when $\mathbb Z_\ell$66 is perfectoid (Ponsinet, 2020). In the case of an abelian variety $\mathbb Z_\ell$67, where $\mathbb Z_\ell$68 has Hodge–Tate weights $\mathbb Z_\ell$69, this recovers the Coates–Greenberg statement that the image of the Kummer map

$\mathbb Z_\ell$70

coincides with the image of the weight-$\mathbb Z_\ell$71 subrepresentation $\mathbb Z_\ell$72 (Ponsinet, 2020).

6. Higher-rank universal norms and basic norm-coherent sequences

Higher-rank Iwasawa theory generalizes universal norms from single cohomology classes to equivariant exterior biduals. For a finite abelian extension $\mathbb Z_\ell$73, a $\mathbb Z_\ell$74-extension $\mathbb Z_\ell$75, coefficient ring $\mathbb Z_\ell$76, and $\mathbb Z_\ell$77-free $\mathbb Z_\ell$78-adic Galois representation $\mathbb Z_\ell$79, one defines for each finite layer $\mathbb Z_\ell$80 and each rank $\mathbb Z_\ell$81

$\mathbb Z_\ell$82

together with the inverse-limit module of rank-$\mathbb Z_\ell$83 norm-coherent sequences

$\mathbb Z_\ell$84

(Bullach et al., 2020).

Under mild hypotheses and for $\mathbb Z_\ell$85, $\mathbb Z_\ell$86 is a finitely generated free $\mathbb Z_\ell$87-module of rank

$\mathbb Z_\ell$88

and descent induces an isomorphism

$\mathbb Z_\ell$89

(Bullach et al., 2020). In particular each $\mathbb Z_\ell$90 is free of the same rank over the finite-layer group ring. There is also a short exact sequence

$\mathbb Z_\ell$91

with finite cokernel (Bullach et al., 2020).

At the basic rank $\mathbb Z_\ell$92, determinant formalism produces a rank-one $\mathbb Z_\ell$93-submodule

$\mathbb Z_\ell$94

the module of basic norm-coherent sequences, and a perfect $\mathbb Z_\ell$95-bilinear pairing between $\mathbb Z_\ell$96 and a Fitting-ideal module built from $\mathbb Z_\ell$97 (Bullach et al., 2020). In the cyclotomic case $\mathbb Z_\ell$98, $\mathbb Z_\ell$99, the basic module agrees characterwise with the module generated by Rubin–Stark or cyclotomic elements, and the quotient $K$00 refines the classical Iwasawa Main Conjecture (Bullach et al., 2020).

7. Terminological scope across disciplines

The arithmetic literature uses “module of universal norms” for norm-coherent subgroups of units, cohomology classes, or exterior biduals. The phrase “universal norms,” however, also appears in unrelated arXiv contexts. One example is the ontology network ValueNet, in which FOLK and That’s All Folks are described as a “single ontology of norms” uniting top-down value theories, bottom-up folk values, and linguistic or factual triggers (Giorgis et al., 2023). Another is the “Normative Module,” an architectural component of a generative agent that maintains weights over candidate institutions and transforms action values by expected sanction costs in order to support multi-agent cooperation (Sarkar et al., 2024).

This suggests a terminological ambiguity across research areas. In arithmetic, “universal norms” denotes elements surviving all norm maps in a tower; in the ontology and multi-agent literature, the phrase designates resources or modules concerned with social and institutional norm recognition rather than field norms or Galois cohomology (Giorgis et al., 2023, Sarkar et al., 2024). For mathematical usage, the decisive markers are the cyclotomic tower, the Iwasawa algebra $K$01, and constructions such as $K$02, $K$03, and $K$04.