Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Doing class field theory from the point of view of class formations, it is my understanding that to get the artin reciprocity map, one does this by inverting an isomorphism which is given by the Tate-Nakayama lemma, which goes as follows:

Let $G$ be a finite group, and let $C$ be a $G$-module and $u \in H^2(G,C)$. If for every subgroup $H$ of $G$ we have that (1) $H^{1}(H,C)=0$, (2) the size of $H^{2}(H,C)$ is the same as the size of $H$ and is generated by $Res(u)$

Then for any $G$-module $M$ such that $Tor_{1}^{\mathbb{Z}}(M,C)=0$, cup-product with $u$ will give an isomorphism $$\widehat{H}^{i}(G,M) \longrightarrow \widehat{H}^{i+2}(G,M \otimes_{\mathbb{Z}} C), \qquad \text{ for all } i \in \mathbb{Z}$$

If one then applies this to number fields $K,F$ with $K/F$, $G=Gal(K/F)$, $C=C_K$ (idele class group) and $M=\mathbb{Z}$, then the case $i=-2$ gives an isomorphism whose inverse is the artin reciprocity map.

My question is what else do all the other isomorphisms tell us if anything?

Thank you.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.