Higher dimensional Dedekind sums in finite fields
type: Item
instance of: scholarly article
title: Higher dimensional Dedekind sums in finite fields
zbMATH Open document ID: 1271.11049
author: A. Bayad
author: Yoshinori Hamahata
published in: Finite Fields and their Applications
publication date: 2012-02-11T00:00:00Z
review text: The \textit{Dedekind sum} can be defined by \[ s(h,k) := {1 \over {4k}} \sum_{ r=1 }^{ k-1 } \cot \left( {{\pi r} \over k} \right) \cot \left( {{\pi hr} \over k} \right) , \] where \(h\) and \(k\) are positive, relatively prime integers. Dedekind sums first appeared in Dedekind's work on the \(\eta\)-function and have been generalized in various ways, e.g., by \textit{D. Zagier} [Math. Ann. 202, 149--172 (1973; Zbl 0237.10025)] who considered an arbitrary number of cotangent factors. The paper under review continues the authors' study of Dedekind sums in finite fields [\textit{Y. Hamahata}, AIP Conf. Proc. 976, 96--102 (2008; Zbl 1171.11025)]; their analogue of the classical Dedekind sum is \[ s_\Lambda (h,k) := {1 \over k} \sum_{ \lambda \in \Lambda } \!{}^\prime \;e_\Lambda \left( {{ h \lambda } \over k} \right)^{ -1 } e_\Lambda \left( {{ \lambda } \over k} \right)^{-1} \] where \(\Lambda\) is a lattice in \({\mathbb F}_q\) and \[ e_\Lambda (z) := z \prod_{ \lambda \in \Lambda } \!{}^\prime \left( 1 - {z \over \lambda} \right). \] Here the \('\) indicates that the sum/product is only taken over nonzero and nonsingular values. (Note that \(e_\Lambda (z)^{ -1 } \) is a natural finite-field analogue of the cotangent function.) The authors introduce a version of their Dedekind sum in finite fields that has an arbitrary number of factors, analogous to Zagier's higher-dimensional Dedekind sum mentioned above. The main result is a \textit{reciprocity theorem}: under certain (mild) conditions, the sum of higher-dimensional finite-field Dedekind sums, whose arguments are cyclically permuted, equals a simple expression involving Eisenstein series for~\(\Lambda\).
reviewed by: Matthias Beck
Mathematics Subject Classification ID: 11F20
Mathematics Subject Classification ID: 12E20
zbMATH DE Number: 6005612
zbMATH Keywords: Dedekind sums
zbMATH Keywords: finite fields
zbMATH Keywords: reciprocity law
MaRDI profile type: Publication
full work available at URL: j.ffa.2011.05.001
OpenAlex ID: W2005975002
cites work: Dedekind cotangent sums
cites work: Finite modular forms
cites work: Dedekind sums for finite fields
cites work: Finite Dedekind Sums
cites work: Dedekind sums in finite characteristic
cites work: Q5663963
cites work: Higher dimensional Dedekind sums
DOI: 10.1016/J.FFA.2011.05.001
Recommended article: Q4906611
Recommended article: Higher dimensional Dedekind sums in function fields
Recommended article: Multiple Dedekind-Rademacher sums in function fields
Recommended article: Dedekind sums for finite fields
Recommended article: Finite Dedekind Sums
Recommended article: Multiple Dedekind-Rademacher sums in finite fields
Recommended article: Q4854049
Recommended article: Dedekind cotangent sums
Recommended article: Q3789642
Recommended article: Generalized Dedekind sums and the transformation formula in finite fields
description: scientific article; zbMATH DE number 6005612