🔢 mathematics

Reciprocity For Dedekind Sums via Conical Zeta Values

This paper extends the classical Dedekind-Rademacher reciprocity formula to absolutely continuous and periodic Bernoulli functions by employing an integral method and Fourier analysis to reveal a geometric interpretation of the reciprocity for polynomial-type functions through conical zeta values.

Original authors: Yerko Torres-Nova

Published 2026-06-15

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Yerko Torres-Nova

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a mathematician trying to solve a giant, multi-dimensional puzzle. The pieces of this puzzle are numbers, and the picture you are trying to reveal is a hidden rule that connects them all together. This paper is about finding a new, more powerful way to solve that puzzle, specifically for a type of number pattern called Dedekind sums.

Here is the story of the paper, broken down into simple concepts:

1. The Classic Puzzle: The "Dedekind Sum"

Think of the Dedekind sum as a specific recipe for mixing numbers. You take three numbers (let's call them $\nu_0, \nu_1, \nu_2$ ) and mix them together in a very specific way involving fractions and "wrapping" numbers around a circle (mathematicians call this the "fractional part").

For a long time, mathematicians knew a special rule called the Reciprocity Law. Imagine you have three friends, Alice, Bob, and Charlie. If you ask Alice a question, she gives you an answer. If you ask Bob, he gives a different answer. The "Reciprocity Law" is like a magic equation that says: If you add up the answers from all three friends in a specific way, the result is always a predictable number, no matter who the friends are.

This rule is famous and connects number theory (arithmetic) to shapes (geometry) and even the structure of space (topology).

2. The New Challenge: Making the Recipe More Complex

The author, Yerko Torres-Nova, asks: "What if we make the recipe more complicated?" Instead of just using the basic "fractional part" function, what if we use more complex functions, like waves (sine and cosine) or polynomial curves?

The paper introduces a Generalized Reciprocity Formula. Think of this as upgrading the magic equation. It still works for the simple friends (the classic case), but now it can also handle "super-friends" who are made of complex waves and curves. The author proves that even with these complex ingredients, a hidden balance still exists.

3. The Secret Tool: "Conical Zeta Values"

How does the author prove this? They use a new tool called Conical Zeta Values.

Imagine you are standing in a field with a flashlight.

The Cone: You shine your light in a specific direction, creating a cone of light.
The Grid: The ground is covered in a grid of integer points (dots at 1, 2, 3...).
The Zeta Value: This is a way of counting and weighing all the dots that fall inside your cone of light.

The author realizes that the complicated "Reciprocity" puzzle can be solved by looking at these cones. Instead of just adding numbers, they are counting how many dots fit inside specific geometric shapes (cones) and assigning them a value.

4. The Method: Fourier Analysis (The "Sound Wave" Approach)

To connect the number puzzle to the geometric cones, the author uses Fourier Analysis.

Think of a complex sound, like a chord played on a piano. Fourier analysis is the technique of breaking that chord down into individual pure notes (sine waves).

The author takes their complex mathematical functions and breaks them down into these "pure notes."
They then show that the "Reciprocity" rule is actually just a conversation between these notes.
When the notes cancel each other out or reinforce each other in a specific way, the geometric "cones" appear, and the final answer pops out.

5. The Special Case: Flattening the 3D Puzzle

The paper spends a lot of time on a specific, simpler version of the problem: when there are only three numbers involved (Dimension 2).

In this case, the "cones" are flat, like slices of a pie on a table. The author uses a famous algorithm (the Hirzebruch-Jung algorithm, which is like a reverse version of the Euclidean algorithm you learned in school) to slice these pie-shaped cones into smaller, perfect triangles (called unimodular cones).

By breaking the big, messy cone into perfect, tiny triangles, the author can calculate the exact value of the "Zeta" (the dot count) for each triangle. When you add up the values of all these tiny triangles, you get the final answer to the Reciprocity puzzle.

Summary: What Did They Actually Find?

The paper does not claim to solve real-world engineering problems or medical issues. It stays strictly within the world of pure mathematics.

The Claim: The author successfully extended the famous Dedekind-Rademacher reciprocity formula to work with much more complex functions (like periodic polynomials).
The Insight: They showed that these complex number sums are deeply connected to the geometry of "cones" and the counting of points inside them (Conical Zeta Values).
The Result: They provided a new, explicit formula that allows mathematicians to calculate these sums by breaking them down into geometric pieces and using Fourier waves.

In short, the paper builds a bridge between arithmetic (number sums), analysis (waves and integrals), and geometry (cones and shapes), showing that they are all speaking the same language.

Technical Summary: Reciprocity for Dedekind Sums via Conical Zeta Values

Problem Statement
The paper investigates reciprocity formulas for generalized Dedekind sums, extending the classical Dedekind-Rademacher reciprocity law. The classical theorem relates sums involving the first periodic Bernoulli function, $b_1(x) = \{x\} - 1/2$ , for pairwise coprime integers $\nu_0, \nu_1, \nu_2$ . The author generalizes this to sums defined by vectors of absolutely continuous, 1-periodic functions $f = (f_0, \dots, f_r)$ and distinct, pairwise coprime positive integers $\nu = (\nu_0, \dots, \nu_r)$ . The specific focus is on the case where these functions are periodic Bernoulli functions $b_q(x) = B_q(\{x\})$ of degree $q \ge 1$ . The central challenge is to derive a reciprocity relation for these generalized sums that connects arithmetic properties to geometric structures, specifically polyhedral geometry and conical zeta values.

Methodology
The author employs a multi-step analytical approach combining real analysis, Fourier analysis, and the geometry of polyhedral cones:

Integral Reciprocity: The study begins by defining a reciprocity symbol $R_f(\nu)$ as a linear combination of generalized Dedekind sums. Using Riemann-Stieltjes integration and integration by parts (Theorem 2.1, 2.2), the author derives an integral reciprocity formula (Theorem 3.1). This formula expresses the sum of Dedekind terms as a boundary term (involving jumps of the functions) plus an integral of the product of the functions and their derivatives.
Fourier Analysis: Recognizing that functions of bounded variation admit Fourier series, the integral formula is reformulated using Fourier coefficients. This leads to a "Fourier reciprocity formula" (Corollary 3.3) where the reciprocity symbol is expressed as a sum over the lattice $\nu^\perp \cap \mathbb{Z}^{r+1}$ (vectors orthogonal to $\nu$ ).
Connection to Zeta Values: For the specific case of periodic Bernoulli polynomials, the Fourier coefficients are explicitly computed. This transforms the reciprocity formula into an expression involving "multiple zeta values" $\zeta_{k, \nu, q}$ , defined as sums over the lattice $\nu^\perp \cap \mathbb{Z}^{r+1}$ weighted by inverse powers of the vector components.
Geometric Decomposition: To handle the convergence and evaluation of these zeta values, the author decomposes the summation domain based on the strict integer orthants of $\mathbb{R}^{r+1}$ . This reduces the problem to studying sums over polyhedral cones. The author utilizes desingularization techniques (specifically the Hirzebruch-Jung algorithm for dimension 2) to subdivide rational polyhedral cones into unimodular cones. This allows the expression of the sums in terms of "conical zeta values" associated with unimodular cones, which are better behaved and related to standard Riemann zeta values.

Key Contributions and Results

General Integral and Fourier Reciprocity: The paper establishes a general reciprocity theorem (Theorem 3.1) for absolutely continuous periodic functions and a corresponding Fourier reciprocity formula (Corollary 3.3). These results unify previous approaches and provide a clean derivation of the classical Dedekind-Rademacher formula.
Reciprocity for Bernoulli Polynomials: A specific reciprocity formula is derived for Dedekind sums associated with periodic Bernoulli functions $b_q$ (Corollary 3.7). This formula relates the sums to multiple zeta values $\zeta_{k, \nu, q}$ and explicit constants involving Bernoulli numbers.
Convergence and Decomposition: Theorem 4.1 proves the absolute convergence of auxiliary zeta values $\zeta_{\nu, q}$ and provides a decomposition of the multiple zeta values into parts supported on lower-dimensional lattices ( $Z_{k, \nu, q}$ ) and parts supported on the full lattice ( $Y_{k, \nu, q}$ ).
Dimension 2 Specialization: In Section 5, the author specializes to the case $r=2$ . By applying the Hirzebruch-Jung algorithm to resolve planar cones, the multiple zeta values are expressed in terms of conical zeta values of unimodular cones (Lemma 5.2).
Explicit Formulas: The paper derives an explicit reciprocity formula for $r=2$ (Corollary 5.3) that expresses the sum of Dedekind sums in terms of conical zeta values of unimodular cones and rational functions of the integers $\nu_i$ .
Concrete Example: An explicit calculation is performed for the case $\nu = (2, a, b)$ and $q = (1, q, q)$ , demonstrating how the reciprocity formula determines the total contribution of conical zeta values associated with cones of multiplicities $a$ and $b$ , even if individual values are not computed separately (Example 5.5).

Significance and Claims
The paper claims to provide a geometric interpretation of reciprocity for polynomial-type functions in terms of conical zeta values. By generalizing the integral method and utilizing Fourier analysis, the author bridges the gap between arithmetic reciprocity laws and the geometry of polyhedra. The work extends the classical Dedekind-Rademacher theorem to higher-degree Bernoulli functions and demonstrates that the reciprocity phenomenon can be understood through the desingularization of cones associated with the lattice orthogonal to the vector $\nu$ . The results offer a systematic way to compute or relate these sums using the theory of unimodular cones, providing a new perspective on the structure of Dedekind sums. The paper does not claim to solve all cases of higher dimensions explicitly but establishes the theoretical framework and explicit results for the dimension 2 case.