A quick proof of reciprocity for Hecke Gauss sums
type: Item
instance of: scholarly article
title: A quick proof of reciprocity for Hecke Gauss sums
zbMATH Open document ID: 1310.11081
author: Hatice Boylan
author: Nils-Peter Skoruppa
published in: Journal of Number Theory
publication date: 2012-11-23T00:00:00Z
review text: From the text: In Chapter VIII of his book [Vorlesungen über die Theorie der algebraischen Zahlen. 2nd ed. Bronx, New York: Chelsea Publishing Company (1970; Zbl 0208.06101)], \textit{E. Hecke} introduced and studied certain Gauss sums associated to arbitrary number fields. In particular, he discovered a reciprocity law for these sums [loc. cit., Satz 163, p. 240], which he proved by analyzing the values of suitable theta functions in the cusps. The purpose of the present note is to give a short and elementary proof of Hecke's reciprocity law. Our proof is based on Milgram's formula [\textit{J. Milnor} and \textit{D. Husemoller}, Symmetric bilinear forms. Berlin: Springer (1973; Zbl 0292.10016), p. 127] \[ \frac 1{\sqrt{L^\sharp/L}} \sum_{x\in L^\sharp/L} e(B(x,x)/2)=e(s/8), \tag{1} \] where \((L,B)\) is an even integral lattice (i.e. \(L\) is a free \(\mathbb Z\)-module of finite rank and \(B\) a symmetric non-degenerate integer valued bilinear form on \(L\) such that \(B(x,x)\) is even for all \(x\) in \(L\)), \(L^\sharp\) denotes the dual lattice \(\{y\in L: B(y, L)\subseteq \mathbb Z\}\), \(s\) is the signature of \(L\), and \(e(x) = \exp(2\pi ix)\) as usual. Hecke's Gauss sum was defined by the formula \[ C(\omega) =\sum_{\mu\bmod \mathfrak a} e(\text{tr}(\mu\omega^2), \] where \(K\) is an arbitrary number field and \(\omega\) a non-zero element of \(K\). Here \(N\) and \(\text{tr}\) denote the (absolute) norm and the trace of \(K\) and \(\mathfrak a\) denotes the denominator of \(\omega\mathfrak d\), where \(\mathfrak d\) is the different of \(K\). The sum is to be taken over a complete set representatives for the ring \(\mathcal O\) of integers of \(K\) modulo \(\mathfrak a\).
reviewed by: Olaf Ninnemann
Mathematics Subject Classification ID: 11L05
zbMATH DE Number: 6110183
zbMATH Keywords: Gauss and Kloosterman sums
zbMATH Keywords: generalizations
MaRDI profile type: Publication
full work available at URL: j.jnt.2012.08.001
OpenAlex ID: W2065273073
cites work: Q5608857
cites work: Q4043127
cites work: Quadratic forms on finite groups, and related topics
DOI: 10.1016/J.JNT.2012.08.001
Recommended article: Q3545953
Recommended article: Quadratic Reciprocity and the Sign of the Gauss Sum via the Finite Weil Representation
Recommended article: On generalized gauss-hecke sums and theta constants
Recommended article: Q4523523
Recommended article: The Quadratic Gauss Sum Redux
Recommended article: Q3484963
Recommended article: Q3998154
Recommended article: On quadratic reciprocity over function fields
Recommended article: Ein neuer Beweis für die Reziprozitätsformel der Gaußschen Summen in beliebigen algebraischen Zahlkörpern.
Recommended article: Imprimitive Gaussian Sums and Theta Functions Over a Number Field
description: scientific article; zbMATH DE number 6110183