7
$\begingroup$

I'm reading Silverman's Advanced Topics in AEC book, and in his review of class field theory he makes the following definition:

Let $K$ be a totally imaginary number field, and $\mathfrak c$ an integral ideal of $K$. A ray class field of $K$ modulo $\frak c$ is a finite abelian extension $K_{\mathfrak c}/K$ with the property that for any finite abelian extension $L/K$, $$\mathfrak c_{L/K}|\mathfrak c\implies L\subseteq K_{\mathfrak c},$$

where $\mathfrak c_{L/K}$ denotes the conductor of $L/K$. That is, it is the largest integral ideal $\mathfrak c_0$ of $K$ which is $(1)$ divisible by precisely the primes of $K$ that ramify in $L$, and $(2)$ satisfies

$$((\alpha),L/K)=1\ \text{ for all $\alpha\in K^*$ satisfying $\alpha\equiv1\ \mathrm{mod}\ \mathfrak c_0$},$$

where $(-,L/K)$ is the Artin map $I(\mathfrak c_0)\to\mathrm{Gal}(L/K)$ defined as follows:

$I(\mathfrak c_0)$ denotes the fractional ideals of $K$ which are coprime to $\mathfrak c_0$; given $\mathfrak a\in I(\mathfrak c_0)$ write $\mathfrak a=\prod_{\mathfrak p}\mathfrak p^{n_{\mathfrak p}}$. For each prime $\frak p$ dividing $\frak a$, we know that $\frak p$ is unramified in $K$ since it is does not divide $\frak c_0$. For some prime $\mathfrak P$ of $L$ lying over $\frak p$, we get a natural homomorphism (via restriction)

$$\{\sigma\in\mathrm{Gal}(L/K):\mathfrak P^{\sigma}=\mathfrak P\}\to\mathrm{Gal}(R_L/\mathfrak P\mid R_K/\mathfrak p)$$

The latter group is generated by the Frobenius automorphism $x\mapsto x^{N_{K/\Bbb Q}(\mathfrak p)}$, and $(*)$ since $\mathfrak p$ is unramified, there is a unique element $\sigma_{\mathfrak p}\in\mathrm{Gal}(L/K)$, depending only on $\mathfrak p$, mapping to this Frobenius automorphism. We then define

$$(\mathfrak a,L/K)=\prod_{\mathfrak p}\sigma_{\mathfrak p}^{n_{\mathfrak p}}.$$

After the definition of ray class field, Silverman makes the following remark:

It is important to note that the conductor of $K_{\mathfrak c}$ need not actually equal $\frak c$. For example, the ray class field of $\mathbb Q(i)$ modulo the ideal $(2)$ is just $\Bbb Q(i)$ itself, so $\Bbb Q(i)_{(2)}$ has conductor $(1)$.

I'm left with two main questions:

$(1)$ why is the sentence I've marked $(*)$ and place in bold font true?

$(2)$ why is the ray class field of $\Bbb Q(i)$ modulo $(2)$ equal to $\Bbb Q(i)$?

For $(2)$, I've tried naively following definitions, but haven't gotten far: if we let $K=\Bbb Q(i)$, then we want to show that if $L/K$ is any finite abelian extension such that $\mathfrak c:=\mathfrak c_{L/K}$ divides $(2)$, then $L\subseteq K$. But saying $\mathfrak c$ divides $(2)$ is equivalent to having $2\in\mathfrak c$. Therefore if $p\in\Bbb Z$ is any odd prime, then for some $k\in\Bbb Z$ we have $p-1=2k\in\mathfrak c$, i.e. $p\equiv1\ \mathrm{mod}\ \mathfrak c$, and hence $((p),L/K)=1$ if $(p)$ is coprime to $\mathfrak c_0$.

Now, in particular, if $p\equiv_43$, then $(p)$ is a prime ideal of $\mathcal O_K$, and hence $\sigma_{(p)}=((p),L/K)=1$. It follows that $(p)$ splits completely in $L$. Furthermore, since only a finite number of primes of $K$ ramify in $L$, we see we have an infinite number of primes $\mathfrak p=(p)R_K$ with $p\equiv_43$ which split completely in $L$.

Is anything I'm pointing out even going to help me at all? Or is there a simpler way to see this? Also, sorry about the wall of text; I didn't intend for the post to be so long.

$\endgroup$
  • 4
    $\begingroup$ (1) In general for a prime $\wp$ in $O_{K}$ the Frobenius $(\wp, L/K)$ is a conjugacy class in $\mathrm{G}$, but since $L/K$ is abelian, the conjugacy classes are composed of single elements hence $(\wp, L/K)$ is determined uniquely depending only on $\wp$. (2) You need to consider all the primes in $\Bbb{Z}[i]$, the $p\in \Bbb{Z}$ with $p\equiv 3\bmod 4$ which remain prime in $\Bbb{Z}[i]$ and the primes which lie over $p\equiv 1\bmod 4$ in $\Bbb{Z}.$ $\endgroup$ – sharding4 Jul 9 '17 at 3:29
2
$\begingroup$

In general, if $K$ is a number field and $\mathfrak{c}$ is a cycle in $\mathcal{O}=\mathcal{O}_K$, then $K_{\mathfrak{c}}/K$ has Galois group the ray class group $Cl_{\mathfrak{c}}$, which fits in a short exact sequence of the form $$ 1\to (\mathcal{O}/\mathfrak{c})^{*}/\mathrm{im}[\mathcal{O}^{*}]\to Cl_{\mathfrak{c}}\to Cl_K\to 1. $$ Now if the map $\mathcal{O}^{*}\to(\mathcal{O}/\mathfrak{c})^{*}$ is surjective, then $|Cl_{\mathfrak{c}}|=h_K$. As $H\subset K_{\mathfrak{c}}$, for $H$ the Hilbert class field of $K$ and $[H:K]=h_K$ as well, we conclude that $H=K_{\mathfrak{c}}$. If also $Cl_{K}=1$ we see that $K_{\mathfrak{c}}=K$.

Now if $K=\mathbb{Q}(i)$ then $\mathcal{O}=\mathbb{Z}[i]$ and $Cl_K=1$, so proving that $\mathbb{Z}[i]^{*}\to(\mathbb{Z}[i]/2)^{*}$ is surjective proves $(2)$. Now $(2)=\mathfrak{p}_2^2$ for $\mathfrak{p}_2=(1+i)$ so $\mathbb{Z}[i]/2$ is a local ring with four elements and maximal ideal of two elements, so $(\mathbb{Z}[i]/2)^{*}$ has order $2$. A generator is $\overline{i}$, which clearly gets hit by $\mathbb{Z}[i]^{*}\to(\mathbb{Z}[i]/2)^{*}$.

$\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.