# Questions tagged [quadratic-reciprocity]

The quadratic-reciprocity tag has no usage guidance.

**1**

vote

**0**answers

187 views

### Legendre Symbol of a Very, Very Large Value

I'm trying to use FLINT (Fast Library for Number Theory) to calculate the Legendre Symbol of the following:
$$\left(\frac{n! + 1}{p}\right)$$
In my case, $p$ is a positive, odd prime (specifically $...

**7**

votes

**0**answers

223 views

### Expressing quartic Dirichlet characters modulo primes $p\equiv 1\bmod 4$ with Legendre symbols

Looking through some old notes of mine from two years ago I found some crude notes writing what amounted to the statement that for any prime $p\equiv 1\bmod 4$ one could express for any odd integer $p\...

**7**

votes

**0**answers

135 views

### Connection between Gauss's lemma and Zolotarev's lemma

So I was reflecting on the relationship between Gauss's Lemma and Zolotarev's Lemma in proofs of quadratic reciprocity:
GL: $(a/p) = -1^n$, where $n$ is the number of least positive residues of $ax$ ...

**2**

votes

**1**answer

118 views

### Density of “simultaneous squares”

Let $(u,v)$ be a pair of non-zero integers. We say that $(u,v)$ is a pair of simultaneous squares if for all primes $p$ dividing $u$, we have $\left(\frac{v}{p}\right) = 1$ and for all primes $q$ ...

**29**

votes

**2**answers

1k views

### nonabelian reciprocity law

I heard the following relation in a talk by Peter Scholze. Could someone explain "in a simple way" what is the precise relation between the polynomial $x^4-7x^2-3x+1 $ and the integral homology of the ...

**6**

votes

**0**answers

197 views

### Chowla's Construction of prime having least quadratic non-residue $\gg \log p$

This paper by NC Ankeny mentions that " S. Chowla has proved that there exist infinitely many primes $k$ where the
first $c_1\log k$ residues $(\bmod k)$ are all quadratic residues".
I recently ...

**3**

votes

**1**answer

244 views

### Given n and q, how to find p so q$\neq$n-th power (mod p)?

Reasonable exceptions allowed on $q$. Example solution: $n=2$.
Suppose $q$ is odd. Let $p$ be so $pq\equiv -1$ (mod 8). Then $q\neq$ 2nd power (mod $p$) is the same as $\left(\frac{q}{p}\right)=-1$...

**1**

vote

**1**answer

165 views

### Computation of Hilbert symbol of order 4

We have explicit expressions for the quadratic Hilbert symbol over $\mathbb Q$, for example $\left(\dfrac{x,y}2\right)_2=(-1)^{\frac{x-1}2\frac{y-1}2} (x,y\ne2)$. Are similar expressions known for the ...

**11**

votes

**2**answers

665 views

### distribution of $\sqrt{-1} \mod p$

While reading up on quadratic reciprocity, I learned that if $p = 4k+1$ then $-1$ has a square root in $\mathbb{Z} / p \mathbb{Z}$.
Let $r_p$ be an integer with $0\leq r_p < p$ and $r_p^2 \equiv -...

**3**

votes

**0**answers

150 views

### Averages of $L(s,\chi)$

Let $(\frac{m}{n})$ denote the usual quadratic Jacobi symbol.
What is the
abscissa of convergence
of the double Dirichlet series ?
$$
\sum_{\substack{m,n \in \mathbb{N} \\ \gcd(m,n)=1 \\m,n\equiv 1 \...

**8**

votes

**1**answer

332 views

### higher reciprocity theorems from ratios of Gauss sums

One recent proof of quadratic reciprocity involves computing various rations of the Gauss sum.
In Quadratic reciprocity and the sign of the Gauss sum via the finite Weil representation Gurevich, ...

**7**

votes

**1**answer

597 views

### Biquadratic reciprocity for $p\equiv 1\pmod 4$ and $q\equiv 3\pmod 4$

For a prime $p\equiv 1\pmod 4$, let $\left(\frac{\cdot}{p}\right)_4$ denote the rational biquadratic residue symbol; that is,
$$ \left(\frac{a}{p}\right)_4 =
\begin{cases}
\ \ \ ...

**7**

votes

**1**answer

919 views

### Consecutive non-quadratic residues

Inspired by this recent question, I wondered if a similar result is true for quadratic non-residues, namely, if it is true that for every $k \in \mathbb{N}$ there exists a prime $p$ such that exists $...

**19**

votes

**1**answer

1k views

### Gauss linking integral and quadratic reciprocity

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

**23**

votes

**2**answers

1k views

### Have we ever proved any non-solvable case of reciprocity without the Langlands program ?

The reciprocity of the title is the following not completely well-posed problem:
Fix $P(X)$ a monic irreducible polynomial of degree $n$, with coefficients in $\mathbb Z$. "Describe"
(in some sense) ...

**53**

votes

**3**answers

4k views

### What do theta functions have to do with quadratic reciprocity?

The theta function is the analytic function $\theta:U\to\mathbb{C}$ defined on the (open) right half-plane $U\subset\mathbb{C}$ by $\theta(\tau)=\sum_{n\in\mathbb{Z}}e^{-\pi n^2 \tau}$. It has the ...

**11**

votes

**1**answer

1k views

### Weil reciprocity vs Artin reciprocity

This is probably an easy question for the experts:
Given two rational functions $f$, $g$ on a non-singular projective algebraic curve X (over an algebraically closed field $k$) and $p \in X$, one ...

**22**

votes

**1**answer

1k views

### Can Eisenstein's lattice point proof of quadratic reciprocity be generalized?

I'm referring to this proof. The key formula ("Eisenstein's Lemma") is
$$\left(\frac{q}{p}\right)=(-1)^{\sum_{u}\lfloor\frac{qu}{p}\rfloor},\text{ where $u=2,4,\ldots,p-1$}$$
The sum in the exponent ...

**20**

votes

**2**answers

2k views

### Context for “Coronidis Loco” from Weil's Basic Number Theory

In Samuel James Patterson's article titled Gauss Sums in The Shaping of Arithmetic after C. F. Gauss’s Disquisitiones Arithmeticae, Patterson says
"Hecke [proved] a beautiful theorem on the different ...

**90**

votes

**22**answers

27k views

### What's the “best” proof of quadratic reciprocity?

For my purposes, you may want to interpret "best" as "clearest and easiest to understand for undergrads in a first number theory course," but don't feel too constrained.