5
$\begingroup$

Suppose $K$ is a number field, and let $L$ and $L'$ be two abelian extensions of $K$, with conductors $C(L/K)=\mathcal{C}$ and $C(L'/K)=\mathcal{C}'$, respectively.

Question: Is it true that the ideal $\mathcal{C}$ divides $\mathcal{C}'$ if and only if $K\subseteq L\subseteq L'$?

I know that by Class Field Theory there is an inclusion-reversing correspondence between abelian extension of $K$ and ideal groups of $K$, but I don't know whether this extends to an "if and only if" statement between extensions of $K$ ordered by inclusion and conductors ordered by divisibility.

If so, what is the connection with ideal groups of $K$? If not, what is a counterexample?

Thanks for your help!

$\endgroup$
  • 1
    $\begingroup$ I posted an answer below, but I will not accept my own answer. If anyone has anything to contribute, I would be glad to accept it as a valid answer. $\endgroup$ – unity Mar 28 '14 at 19:27
1
$\begingroup$

I think I just answered my own question. No, this is not true. A positive answer to my question would imply, in particular, that two abelian extensions $L/K$ and $L'/K$ with the same conductor $\mathcal{C}$ are identical. However, this need not be the case.

For example, when $K=\mathbb{Q}$, and $L/\mathbb{Q}$ is abelian, and $m$ is the smallest positive integer such that $L\subseteq \mathbb{Q}(\zeta_{m})$, where $\zeta_m$ is a primitive $m$th root of unity, then the conductor $\mathcal{C}=C(L/\mathbb{Q})$ is given by the formula $$C(L/\mathbb{Q})=\begin{cases} m & \text{ if } L\subseteq \mathbb{R},\\ m\infty & \text{ otherwise}. \end{cases}$$ Now take, for instance, $m=31$, and let $L_3$ and $L_5$ be, respectively, the unique extensions of $\mathbb{Q}$ contained in $\mathbb{Q}(\zeta_{31})$ of degree $3$ and $5$. Then, by the conductor formula, the conductor of $L_3$ and $L_5$ is $(31)$, because all their embeddings are real, and $L_3\not\subseteq L_5$ and $L_5\not\subseteq L_3$.

Note, however, that one direction is true: if $L/K$ and $L'/K$ are abelian extensions such that $K\subseteq L'\subseteq L$, then $\mathcal{C}'=C(L'/K)$ is a divisor of $\mathcal{C}=C(L/K)$. In order to show this, it is handy to remember that the conductor of an abelian extension $F/K$ is the greatest common divisor of all moduli $m$ such that $F\subseteq K_m$, where $K_m$ is the ray class field modulo $m$. In particular $L\subseteq K_{\mathcal{C}}$, and if $L'\subseteq L$, then $L'\subseteq K_{\mathcal{C}}$ as well. From this it follows that $\mathcal{C}'=C(L'/K)$ is a divisor of $\mathcal{C}$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.