Where does the principal ideal theorem (from CFT) go? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T00:02:40Z http://mathoverflow.net/feeds/question/63465 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/63465/where-does-the-principal-ideal-theorem-from-cft-go Where does the principal ideal theorem (from CFT) go? Jonah Sinick 2011-04-29T19:57:07Z 2011-04-30T07:43:42Z <p>My impression is that one of the celebrated results of class field theory the <a href="http://en.wikipedia.org/wiki/Principal_ideal_theorem" rel="nofollow">principal ideal theorem</a> namely that given a number field $K$ and its maximum unramified abelian extension L, every ideal in the ring of integers $O_K$ of $K$ becomes principal in the ring of integers $O_L$ of $L$. That is, given an ideal $I$ in $O_K$, the ideal $I \dot O_L$ is principal. </p> <p>This result was originally conjectured by Hilbert in 1900 and reduced to a group theoretic question by Artin which was finally solved by Furtwangler in 1930.</p> <p>I've never seen any further discussion of the principal ideal theorem - I don't know any generalizations or applications. </p> <p>As James Milne comments in Remark 3.20 of the fifth chapter of his book on class field theory it's easy to see that there is <em>some</em> finite extension of $K$ for which all ideals of $K$ become principal. He further comments that this extension need not be the Hilbert class field of $K$ (EDIT: see Dror's comment for an example). </p> <p>Is the principal ideal theorem primarily of historical interest (e.g. because it was a long standing conjecture of Hilbert)? Or does it have some deeper significance?</p> http://mathoverflow.net/questions/63465/where-does-the-principal-ideal-theorem-from-cft-go/63508#63508 Answer by Charles Matthews for Where does the principal ideal theorem (from CFT) go? Charles Matthews 2011-04-30T07:15:58Z 2011-04-30T07:15:58Z <p>The general phenomenon, of ideals becoming principal in an extension, is called "capitulation". There has been work going on for a century now. Some results are mentioned in this grant report I found: <a href="http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/C517903/1" rel="nofollow">http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/C517903/1</a> .</p> http://mathoverflow.net/questions/63465/where-does-the-principal-ideal-theorem-from-cft-go/63509#63509 Answer by Kevin Ventullo for Where does the principal ideal theorem (from CFT) go? Kevin Ventullo 2011-04-30T07:17:43Z 2011-04-30T07:17:43Z <p>There is a generalization of the principal ideal theorem to ray class groups: </p> <p>Let $K$ be a number field, $\mathfrak{m}$ a modulus for $K$, $L:=K(\mathfrak{m})$ the ray class field modulo $\mathfrak{m}$, and $\mathfrak{n}$ the image of $\mathfrak{m}$ in $L$. Then any element in the ray class group modulo $\mathfrak{m}$ of $K$ becomes trivial in the ray class group modulo $\mathfrak{n}$ of L.</p> <p>The proof is almost identical to that of PIT, reducing to the same group theoretic statement.</p> http://mathoverflow.net/questions/63465/where-does-the-principal-ideal-theorem-from-cft-go/63512#63512 Answer by Franz Lemmermeyer for Where does the principal ideal theorem (from CFT) go? Franz Lemmermeyer 2011-04-30T07:43:42Z 2011-04-30T07:43:42Z <p>Among the generalizations that I can recall off the top of my head are: </p> <ul> <li>the generalization to ray class groups already mentioned by Kevin, proved by Iyanaga pretty much immediately after Furtw&auml;ngler's proof;</li> <li>Furtw&auml;ngler's own theorem saying that if the class group is an elementary abelian $2$-group, then its basis can be chosen in such a way that each basis element capitulates in some quadratic extension;</li> <li>the theorem of Tannaka and Terada, according to which ambiguous classes in cyclic extension already capitulate in the genus field (the obvious generalization to central extensions fails at least group theoretically due to results of Miyake)</li> <li>the theorem of Suzuki, which claims that in any abelian unramified extension $L/K$, a subgroup of order $\ge (L:K)$ must capitulate; this was generalized by Gruenberg and<br> Weiss (Capitulation and transfer kernels).</li> </ul> <p>Capitulation is also at the center of the Greenberg conjecture in Iwasawa theory. In addition, its analogue in the theory of abelian varieties is the visibility of Tate-Shafarevich groups; for a recent contribution in the other direction see Schoof and Washington's article on´the "Visibility of ideal classes".</p>