A reciprocity formula for quadratic forms (Q581441): Difference between revisions

Let \(Q(\mathfrak x)\) denote a quadratic form over the rational integers in four variables \((\mathfrak x=(x_1,\ldots,x_4)\). Then \(Q\) is representable as a symmetric matrix. Assume this matrix to be nonsingular mod \(p\) \((p\neq 2\) prime); then the ``inverse'' quadratic form \(Q^{-1}\bmod p\) can be defined. Let \(f: \mathbb{R}^4\to\mathbb{R}\) be defined such that the Fourier transform \(\hat f\) exists and the sum \(\sum_{\mathfrak x\in\mathbb{Z}^4}f(c\mathfrak x)\), \(c\in\mathbb{R}\), \(c\neq 0\) is convergent. Furthermore, let \(m=p_1\cdots p_k\) be the product of \(k\) distinct primes with \(m>1\), \(2\nmid m\); let \(\varepsilon =\prod^{k}_{i=1}(\det Q/p_i)\neq 0\) for the Legendre symbol \(( \cdot/p)\); define \(B_i(Q,\mathfrak x)=1\) for \(Q(\mathfrak x)\equiv 0 \bmod p_i\), \(B_i(Q,\mathfrak x)=0\) for \(Q(\mathfrak x)\not\equiv 0 \bmod p_i\), and for \(r\in\mathbb{R}\), \(r>0\) \[ F(Q,f,r)=\sum_{\mathfrak x\in\mathbb{Z}^4}(\prod^k_{i=1}(B_i(Q,\mathfrak x)-1/p_i))f(r^{-1/2}\mathfrak x). \] Then we have \(F(Q,f,m)=\varepsilon F(Q^{-1},\hat f,m)\).