## Generalization of Hilbert 94 and capitulation

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $L/K$ be a finite, cyclic extension of number fields, say with $\mathrm{Gal}(L/K)=G$. In my context $G$ is actually of order $p$, an odd prime number, but let me state my question for every cyclic $G$.
Hilbert theorem 94 says that if $L/K$ is everywhere unramified (hence contained in the Hilbert class field $H$ of $K$), then the ''capitulation kernel'', namely the kernel of the natural map $\iota:Cl_K\to Cl_L$, has order divisibile by $\vert G\vert$. Some (but, to my knowledge, not many) generalizations have been proven, mainly removing the cyclicity assumption although losing something.

My question goes into another direction: if $L/K$ is allowed to ramify and is contained in the ray class field $H(\mathfrak{f})$ modulo some conductor $\mathfrak{f}$, what can we say about the capitulation kernel $\iota:Cl_K(\mathfrak{f})\to Cl_L(\mathfrak{F})$, where these groups are now the ray class groups modulo the respective conductors (and $\mathfrak{F}=\mathfrak{f}\mathcal{O}_L)$)? Can it be trivial?

I must confess my ignorance with respect to an even more basic question, namely: what is the state of the art concerning the Principal Ideal Theorem for ray class fields? Is it known – or false, or trivial, or... – that all classes in $Cl_K(\mathfrak{f})$ become principal (perhaps, only $\mathfrak{f}$-principal?) in $H(\mathfrak{f})$?

-

2
Your second question is indeed well-known: the principal ideal theorem remains true with appropriate modification ($\mathfrak f$ principality) in the ray class group. This is a classical theorem of Iyanaga whose proof is identical to the principal ideal theorem (both reduce to the computation of the transfer map towards the derived subgroup). Then again, Grothendieck was famously stumped by this question. See also mathoverflow.net/questions/63465/… – Olivier Apr 19 2012 at 7:37
Thanks! I did not think, when asking, that the proof is only group-theoretic. Still, I would be interested in the H94 stuff... – Filippo Alberto Edoardo Apr 19 2012 at 12:34

1
Iyanaga's article is in German: Ueber den allgemeinen Hauptidealsatz, Japanese Journ. of Math. 7 (1934), 315-333 – Franz Lemmermeyer Apr 19 2012 at 12:38
Kein Problem! Und jetzt bin ich in Japan... ;-) Danke, Filippo – Filippo Alberto Edoardo Apr 19 2012 at 13:31

## 1 Answer

The answer to both my question is that "adding conductors does not change anything". Olivier has already discussed this for the Principal Ideal Theorem, and for Hilbert 94 this is proven by Suzuki in
http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.nmj/1118782786

The whole point is that Hilbert 94 follows from a generalization of Furtwängler theorem, saying that the kernel of the transfer map $$\mathrm{ver}:G^\text{ab}\to N^\text{ab}$$ has order divisible by $[G:N]$, and this for all normal subgroups $N$ containing the commutators $[G,G]$ (or, equivalently, such that the quotient by them is abelian). The case $N=[G,G]$ is Furtwangler's theorem and applying it in my setting with $N=\mathrm{Gal}(H_L(\mathfrak{F})/K)$ in the notations of the question (now $H_L(-)$ are ray class fields of $L$) shows that $\iota$ is never invective.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 27, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9043717980384827, "perplexity_flag": "middle"}