2025/09/24 by Julian Feuerpfeil, Feuerpfeil, Julian
Mathematics · #11R23 #11R29 (Primary) 11R37 #20J05 (Secondary) #Algebraic Geometry and Number Theory #Analytic Number Theory Research #Commutative Algebra and Its Applications #FOS: Mathematics #Number Theory (math.NT)
paper · pdf · doi:10.48550/arxiv.2509.20144
openalex publication_date 2025/09/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let L/K be a cyclic extension of number fields, and let S be a finite set of places of K containing the ramified and Archimedean ones. We say that L/K has the clS-Hilbert 90 property if, for any generator σ∈ Gal(L/K), the kernel of the arithmetic norm map clS(L) → clS(K) coincides with (1 - σ)clS(L). In this article, we first provide a method to verify the clS-Hilbert 90 property, which does not require any knowledge of the class group of L. Then we investigate a connection between the clS-Hilbert 90 property and the Gross-Kuz'min conjecture from Iwasawa theory. In doing so, we derive a new criterion for the Gross-Kuz'min conjecture, related to Fermat quotients and spin symbols of prime ideals, which can easily be checked by explicit computation. We conjecture that, in the totally real case, the condition holds for all but finitely many primes. Finally, we present numerical evidence supporting a heuristic in favor of this conjecture.