Geometric abelian class field theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T20:32:59Z http://mathoverflow.net/feeds/question/54895 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54895/geometric-abelian-class-field-theory Geometric abelian class field theory Peter Toth 2011-02-09T15:24:35Z 2011-03-10T20:00:10Z <p>There is a very nice geometric proof of Deligne for the Artin Reciprocity in the geometric setting, namely for a smooth, projective, geometrically irreducible curve $C$ over a finite field <code>$\mathbb{F}_{q}$</code>, with function field $K=k(C)$, and idele group <code>$\mathbb{I}_{K}:=\prod^{'}_{p\in|C|}K^{*}_{p}$</code> there is a one-to-one correspondence between the finite quotients of the double quotient space <code>$k(C)^{*}\backslash\mathbb{I}_{K}/\prod_{p \in |C|}\widehat{\mathcal{O}_{p}^{*}}$</code> (which is isomorphic to <code>$Pic_{C}(\mathbb{F}_{q})$</code>) and the finite quotients of <code>$\pi^{ab}_{1}(C)$</code>. </p> <p>Now on the other hand the Artin Reciprocity Law for function fields states (e.g. in Artin-Tate: Class field theory) that the group <code>$\mathbb{I}^{0}_{K}/K^{*}$</code> of norm 1 idele classes is isomorphic via the Reciprocity map to <code>$Gal(\bar{K}^{ab}/K\bar{k})$</code>.</p> <p>My questions would be:</p> <ol> <li><p>These two statements seem to me first as different statements, don´t they? </p></li> <li><p>If we put aside Deligne´s geometric proof for the geometric statement (not seriously and not so for long :-)) then how could one prove the geometric statement using the "number theoretic" Reciprocity Law for function fields?</p></li> </ol> http://mathoverflow.net/questions/54895/geometric-abelian-class-field-theory/54931#54931 Answer by Felipe Voloch for Geometric abelian class field theory Felipe Voloch 2011-02-09T21:19:04Z 2011-02-09T21:19:04Z <p>They are different statements. What Deligne proves is the unramified case, i.e. the description of abelian extensions of $K$ unramified everywhere. If you could extend his argument to affine curves then you could possibly prove Artin reciprocity by his method. Going the other way should not be difficult. Have you looked at Serre's book "Groupes algebriques et corps de classes"?</p>