Generalization of Hilbert 94 and capitulation

Question

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})$?

Answer 1

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
https://projecteuclid.org/journals/nagoya-mathematical-journal/volume-121/issue-none/A-generalization-of-Hilberts-theorem-94/nmj/1118782786.full

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 injective.