A Hilbert 90 Property for S-Class Groups and Applications to the Gross--Kuz'min Conjecture

Let $L\mathrm{/}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\mathrm{/}K$ has the ${\mathbf{c}\mathbf{l}}^S$-Hilbert 90 property if, for any generator $\sigma \in \mathrm{G}\mathrm{a}\mathrm{l}(L\mathrm{/}K)$, the kernel of the arithmetic norm map ${\mathbf{c}\mathbf{l}}^S(L)\to {\mathbf{c}\mathbf{l}}^S(K)$ coincides with $(1-\sigma ){\mathbf{c}\mathbf{l}}^S(L)$. In this article, we first provide a method to verify the ${\mathbf{c}\mathbf{l}}^S$-Hilbert 90 property, which does not require any knowledge of the class group of $L$. Then we investigate a connection between the ${\mathbf{c}\mathbf{l}}^S$-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.