20
$\begingroup$

In the setting of Mazur's "primes and knots" analogy, prime ideals $\mathfrak p\subset\mathcal O_K$ correspond to "knots" $\operatorname{Spec}\mathcal O_K/\mathfrak p$ inside a "3-manifold" $\operatorname{Spec}\mathcal O_K$. The law of quadratic reciprocity $(\frac pq)=(-1)^{(p-1)(q-1)/4}\cdot(\frac qp)$ is thus analogous to the symmetry of the linking number $\operatorname{lk}(\gamma_1,\gamma_2)=\operatorname{lk}(\gamma_2,\gamma_1)$.

THANKS to S. Carnahan for linking some other questions (see below) which give lots of interesting background on Mazur's analogy.

I have read in a few places (e.g. the book Knots and Primes by Masanori Morishita p59 Remark 4.6) that in this analogy the Gauss linking integral: $$\operatorname{lk}(\gamma_1,\gamma_2)=\int_{K_1}\int_{K_2}\omega(x-y)\,dxdy$$ for a certain 2-form $\omega$ on $\mathbb R^3\setminus 0$ (in particular, its interpretation as the $U(1)$ Chern--Simons path integral as in Witten) is analogous to the Gauss sum expression for the Legendre symbol $(\frac pq)$.

Can someone give more details on how exactly the Gauss sum is analogous to the abelian path integral (or a reference)?

$\endgroup$
1

1 Answer 1

8
$\begingroup$

This is a beautiful aspect of the analogy. In fact, I think it's important and cool to view it as a consequence of previously-established aspects of the analogy, rather than a new analogy-by-fiat. Under this light, the relationship between quadratic residues and abelian integrals is rather simple. As with many ideas in arithmetic topology, the ideas is to replace something analytic (in this case, Gauss's linking integral) with something sufficiently algebraic that we can port it over to the number field situation. The short answer is that both linking numbers and quadratic residue symbols can be computed as cup products in appropriate cohomology groups (here, "appropriate" might be taken to mean that they have already been established as analogous by previous aspects of the analogy). The symmetry of the linking number thus becomes completely analogous to the statement of quadratic reciprocity for primes congruent to 1 mod 4 (for which the analogy is most precise/applicable for ramification reasons).

Here are some rough details:

We begin by observing that in the framework of algebraic topology, the mod-2 linking number of two knots $K$ and $L$ can be computed as a cup product in the relevant cohomology groups: We have $$ \text{lk}(K,L)=[K]\cup [\Sigma_L]\in H_c^3(S^3-L,\mathbb{Z}/2)\cong \{\pm 1\}, $$ where $[K]\in H_c^2(S^3-L,\mathbb{Z}/2)$ and $\Sigma_L$ is the Siefert surface of $L$, so $[\Sigma_L]\in H^1(S^3-L,\mathbb{Z}/2)$.

With an algebraically-analogizable object in hand, we turn to the number field situation. Here, for primes $p$ and $q$, playing the role of the knots, we have a well-established body of arithmetic-topology analogies. Here, instead of $S^3-K$ we have $\text{Spec}(\mathbb{Z}-\{p\}$, whose (etale$^*$) cohomology with coefficients in $\mathbb{Z}/2$, $H^1(\text{Spec}(\mathbb{Z}-\{p\},\mathbb{Z}/2)\cong \text{Hom}(\text{Gal}(\mathbb{Q}(\sqrt{p})/\mathbb{Q}),\mathbb{Z}/2)$ contains the class $[\Sigma]$ of the "Seifert surface" $\Sigma$ corresponding under that isomorphism to the traditional Kummer character $\chi_p$ of $\text{Gal}(\mathbb{Q}(\sqrt{p})/\mathbb{Q}).$ Now, in what amounts to not much more than the standard analysis of quadratic reciprocity using the language of cohomology, we identify an element of $H^2(\text{Spec}(\mathbb{Z}-\{p\}),\mathbb{Z}/2)$ by taking the class of $[q]\in \mathbb{Q}_p^{\times}/\mathbb{Q}_p^{\times 2}\cong H^1(\mathbb{Q}_p,\mathbb{Z}/2)$, and then using the map $H^1(\mathbb{Q}_p,\mathbb{Z}/2)\to H^2(\text{Spec}(\mathbb{Z}-\{p\}),\mathbb{Z}/2).$ Then, finishing the analogy, we have $$ \left(\frac{q}{p}\right)=[p]\cup [\Sigma_q]\in H^3(\text{Spec}(\mathbb{Z}-\{p\}),\mathbb{Z}/2)\cong \{\pm 1\}. $$ Comparing the two identities for $\text{lk}(K,L)$ and $\left(\frac{q}{p}\right)$ should make the whole thing apparent.

(*): Actually, you need some slight variant of etale cohomlogy which properly compactifies the infinite primes, the details of which I am fuzzy on. All of the ideas here are, to my knowledge, due to Morishita, and best addressed in his article "Analogies between knots and primes, 3-manifolds and number rings," though I'd suggest some other of his papers as prerequisites.

$\endgroup$
5
  • $\begingroup$ Apologies in advance for subscript/superscript and $p$ vs. $q$ issues which undoubtedly permeate this response. $\endgroup$ Sep 23, 2013 at 17:26
  • 1
    $\begingroup$ But how do Gauss sums fit into this picture? (that's really what my question is about). $\endgroup$ Sep 23, 2013 at 18:09
  • 2
    $\begingroup$ Well, the Gaussian sums are pretty clearly a discrete analog of the Gaussian integrals, right? And so Gauss sums give Legendre symbols like Gaussian integrals give linking numbers. Unless I'm misunderstanding, it sounds like your question may be more on the gauge-theoretic side (why Gaussian integrals are related to Gauss's linking number formula) than anything to do with arithmetic topology. $\endgroup$ Sep 23, 2013 at 18:40
  • 2
    $\begingroup$ I want a closer relationship between gauss sums and the U(1) path integral which reduces to the gauss linking number integral. Obviously I want more than just saying "both look roughly like $\int_{\mathbb R}e^{-x^2}\,dx$". The answer you wrote is a great exposition of the analogy between Legendre symbols and linking numbers, but you haven't said anything about my actual question. $\endgroup$ Sep 23, 2013 at 18:56
  • $\begingroup$ Fair enough, I concede the point. Sorry! $\endgroup$ Sep 23, 2013 at 19:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.