Quadratic reciprocity and Weil reciprocity theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T00:16:43Z http://mathoverflow.net/feeds/question/99028 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/99028/quadratic-reciprocity-and-weil-reciprocity-theorem Quadratic reciprocity and Weil reciprocity theorem Nikita Kalinin 2012-06-07T11:14:24Z 2012-06-07T19:59:45Z <p>I was told that <a href="http://en.wikipedia.org/wiki/Weil_reciprocity_law" rel="nofollow">Weil reciprocity</a> theorem (one has two meromorphic function $f,g$ on a complex curve $C$, so $\prod\limits_{x\in C} g(x)^{ord_xf}=\prod\limits_{x\in C}f(x)^{ord_xg} \$ where $ord_xf$ is the smallest degree in Taylor expansion of $f$ at $x$, product is taken only by points in divisors of $f,g$, we assume that these divisors are not intersected with each other) was introduced by Weil after thinking about quadratic reciprocity. Could you explain me the connection between them? </p> http://mathoverflow.net/questions/99028/quadratic-reciprocity-and-weil-reciprocity-theorem/99037#99037 Answer by quid for Quadratic reciprocity and Weil reciprocity theorem quid 2012-06-07T14:21:56Z 2012-06-07T14:21:56Z <p>I am not sure this is the type of answer you are looking for, but perhaps it is, so:</p> <p>On the wikipedia page linked to in the question it is explained that Weil's law can be restated as the fact that the product over the local symbols <code>$(f,g)_p$</code> (see the same page for a definition) is $1$. </p> <p><a href="http://en.wikipedia.org/wiki/Reciprocity_law_%28mathematics%29" rel="nofollow">Hilbert's reciprocty law</a> (scroll down to the relevant section) for an algebraic number field can be stated as <code>$\prod_v (a,b)_v = 1$</code> where the product is over all places (finite and infinite) and <code>$(a,b)_v$</code> is the Hilbert symbol (for the respective completion).</p> <p>The <a href="http://en.wikipedia.org/wiki/Hilbert_symbol" rel="nofollow">Hilbert symbol</a> $(a,b)$, for a local field $K$, is defined to be $1$ if $z^2 = a x^2 + by^2$ has a solution in $K$ and $-1$ if not.</p> <p>Now, for the rationals Hilbert's reciprocty law gives quadratic reciprocity (see the two pages I linked to for some details).</p> http://mathoverflow.net/questions/99028/quadratic-reciprocity-and-weil-reciprocity-theorem/99046#99046 Answer by Stopple for Quadratic reciprocity and Weil reciprocity theorem Stopple 2012-06-07T16:47:29Z 2012-06-07T16:47:29Z <p>John Milnor's <em>Introduction to Algebraic K-Theory</em>, has (on p. 101) some useful background on the connection between $K$-theory and quadratic reciprocity:</p> <p>Theorem 11.6 (Tate) The group $K_2\mathbb Q$ is canonically isomorphic to the direct sum $$A_2\oplus A_3\oplus A_5\oplus\ldots$$ where <code>$A_2=\{\pm1\}$</code> and for $p$ odd, $A_p=(\mathbb Z/p\mathbb Z)^\times$.<br> Milnor explains: </p> <blockquote> <p>In fact the isomorphism will be given by the correspondence <code>$$\{x,y\}\to(x,y)_2\oplus(x,y)_3\oplus(x,y)_5\oplus\ldots$$</code> Tate remarks that his proof of the theorem is lifted directly from the argument which was used by Gauss in his first proof of the quadratic reciprocity law.</p> </blockquote> <p>(The whole section beginning on p.99 is titled Gauss and Quadratic Reciprocity) </p> <p>Forgive me if this is already familiar to you.</p> http://mathoverflow.net/questions/99028/quadratic-reciprocity-and-weil-reciprocity-theorem/99059#99059 Answer by David Speyer for Quadratic reciprocity and Weil reciprocity theorem David Speyer 2012-06-07T19:59:45Z 2012-06-07T19:59:45Z <p>There are already good answers by quid and by Dustin Clausin <a href="http://mathoverflow.net/questions/96290/weil-reciprocity-vs-artin-reciprocity" rel="nofollow">here</a>. I thought, though, that I'd take the time to write out something more leisurely and expository. To get from Weil Reciprocity to Quadratic Reciprocity, one must make some things more general and some things less general, and there is a choice of which order to do these things in. I will first describe the less general route and will then make some comments about what happens when you make everything as general as possible.</p> <p>First, we specialize from a general curve $C$ to $\mathbb{CP}^1$. Let $f$ and $g$ be polynomials in $\mathbb{C}[x]$, with roots at the disjoint sets $\alpha_1$, ..., $\alpha_a$ and $\beta_1$, ..., $\beta_b$ and with leading terms $f(x) = f_{\infty} x^{a} + \cdots$ and $g(x) = g_{\infty} x^b + \cdots$. Then Weil reciprocity says <code>$$\prod_{j=1}^b f(\beta_j) = \prod_{i=1}^a g(\alpha_i) \cdot (-1)^{ab}\ f_{\infty}^{b} \ g_{\infty}^{-a}. \quad (1)$$</code> (The extra terms on the right come because $f$ and $g$ both have poles at $\infty$; Francois discusses this in a comment above.)</p> <p>Of course, $(1)$ is easy to prove directly by writing $f(x) = f_{\infty} \prod (x-\alpha_i)$ and $g(x) = g_{\infty} \prod (x-\beta_j)$. Also, this makes it clear that the above identity holds over any algebraically closed field.</p> <p>We now generalize to a non-algebraically closed field $k$. Let $f$ and $g$ be relatively prime polynomials in $k[x]$. Let $f(x) = f_{\infty} r_1(x) r_2(x) \cdots r_c(x)$ be the factorization of $f$ into monic irreducibles. Similarly, let $g(x) = g_{\infty} s_1(x) \cdots s_d(x)$. Let $K_i$ be the field $k[x]/r_i(x)$ and let $L_j = k[x]/s_j(x)$. For $u$ and $v \in k[x]$, I'll write $(u \bmod v)$ for the image of $u$ in $k[x]/v$. The generalization of $(1)$ is <code>$$\prod_{j=1}^d N_{L_j/k}(f \bmod s_j) = \prod_{i=1}^c N_{K_i/k}(f \bmod r_i) \cdot (-1)^{ab}\ f_{\infty}^{b} \ g_{\infty}^{-a}. \quad (2)$$</code></p> <p><b>Exercise 1:</b> See that, when $k$ is algebraically closed, $(2)$ specializes to $(1)$. <b>Exercise 2:</b> Deduce (2) from (1), by grouping together terms from $(1)$ over $k^{\mathrm{alg}}$.</p> <p>We now specialize to the case $k = \mathbb{F}_p$. The norm map from $\mathbb{F}_{p^n}$ to $\mathbb{F}_p$ is raising to the $(p^n-1)/(p-1)$ power. So $(2)$ becomes</p> <p><code>$$\prod_{j=1}^d (f \bmod s_j)^{\frac{p^{\deg s_j}-1}{p-1}} = \prod_{i=1}^c (f \bmod r_i)^{\frac{p^{\deg r_i}-1}{p-1}} \cdot (-1)^{ab}\ f_{\infty}^{b} \ g_{\infty}^{-a}. \quad (3)$$</code></p> <p>We specialize further to the case that $f$ and $g$ are irreducible to get <code>$$(f \bmod g)^{\frac{p^{b}-1}{p-1}} = (g \bmod f)^{\frac{p^{a}-1}{p-1}} \cdot (-1)^{ab}\ f_{\infty}^{b} \ g_{\infty}^{-a}. \quad (4)$$</code></p> <p>Let $p$ be odd, and raise both sides to the $(p-1)/2$ to get <code>$$(f \bmod g)^{(p^b-1)/2} = (g \bmod f)^{(p^a-1)/2} \cdot (-1)^{ab(p-1)/2} \ f_{\infty}^{b (p-1)/2} g_{\infty}^{-a(p-1)/2}. \quad (5)$$</code></p> <p>Recall <a href="http://en.wikipedia.org/wiki/Euler%2527s_criterion" rel="nofollow">Euler's criterion</a>: For <code>$u \in \mathbb{F}_p$</code>, we have $u^{(p-1)/2} = \left( \frac{u}{p} \right)$. It has a generalization: For <code>$u \in \mathbb{F}_{p^n}$</code>, the power $u^{(p^n-1)/2}$ is $\pm 1$ according to whether or not $u$ is square. So, defining the quadratic residue symbol in <code>$\mathbb{F}_p[x]$</code> in the obvious way, equation $(5)$ says <code>$$\left( \frac{f}{g} \right) = \left( \frac{g}{f} \right) \cdot (-1)^{ab(p-1)/2} \ \left( \frac{f_{\infty}}{p} \right)^b \left( \frac{g_{\infty}}{p} \right)^{-a}. \quad (6)$$</code></p> <p>In short, $\left( \frac{f}{g} \right)$ is equal to $\left( \frac{g}{f} \right)$ up to some elementary terms, just like in quadratic reciprocity. One can rewrite the elementary correction terms to make them look more like the terms that show up in standard QR, but I'll leave this as is.</p> <p>We can get more general statements by (a) not restricting ourselves to the case that $f$ and $g$ are irreducible (b) working with curves $C$ other than $\mathbb{A}^1$ (c) raising both sides of $(4)$ to the $(p-1)/g$ power for some other $g$ dividing $p-1$. I was going to write more about this, but I think it is long enough as it is.</p>