Does the ideal class of the different have a functorial square root? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T02:15:27Z http://mathoverflow.net/feeds/question/33788 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/33788/does-the-ideal-class-of-the-different-have-a-functorial-square-root Does the ideal class of the different have a functorial square root? Franz Lemmermeyer 2010-07-29T13:18:44Z 2010-07-30T12:31:05Z <p>This question is inspired by <a href="http://mathoverflow.net/questions/28776/does-the-ideal-class-of-the-different-of-a-number-field-have-a-canonical-square" rel="nofollow">Emerton's question</a> whether the ideal class of the different has a canonical square root. </p> <p>Consider the diagram (of elements; the groups these lie in are the ideal class group of $L$ in the top row and that of $K$ in the bottom row) $$\matrix{ ? &amp; \to &amp; [diff(L/K)] \cr \downarrow &amp; &amp; \downarrow \cr [St(L/K)] &amp; \to &amp; [disc(L/K)]}$$ where the horizontal maps are squaring and the vertical maps are taking norms from $L$ down to $K$. Here $diff(L/K)$ is the different of an extension of number fields, and $disc(L/K)$ its discriminant. The element $[St(L/K)]$ of the class group of the base field $K$ is the Steinitz class (see KConrad's comment to Emerton's question). </p> <p>My question is whether there exists an element in the class group $Cl(L)$ that is at home in the left upper corner of this diagram. The most simple question would be whether the Steinitz class is always a norm; and if it is, whether it is the norm of a class whose square is the different class. The last question would be whether this element "?" is unique up to elements that lie in the intersection of the kernel of the norm and that of squaring.</p> http://mathoverflow.net/questions/33788/does-the-ideal-class-of-the-different-have-a-functorial-square-root/33827#33827 Answer by Lavender Honey for Does the ideal class of the different have a functorial square root? Lavender Honey 2010-07-29T18:51:12Z 2010-07-30T12:31:05Z <p>Taking $L$ to be the Hilbert class field of $K$, such a construction would imply that the Steinitz class of $L/K$ is always trivial. Yet this is false - take $K = \mathbb{Q}(\sqrt{-15})$ for example.</p> <p>(EDIT): If $L = K(\sqrt{\alpha})$ is a tamely ramified extension of $K$, then the Steinitz class is represented by an ideal $I$ such that $I^2 (\alpha) = \Delta_{L/K}$. In particular, if $L/K$ is unramified, so $(\alpha) = \mathfrak{n}^2$, then the Steinitz class is trivial if and only if $\mathfrak{n}$ is principal, i.e., if and only if we may take $\alpha$ to be a unit in $K$. Clearly this is not the case for $L/K$ above.</p> <p>In fact, I just found a source that works out this example in explicit detail - see Theorems 2.2 and 3.1 of the following:</p> <p><a href="http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/notfree.pdf" rel="nofollow">http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/notfree.pdf</a></p>