Reciprocity For Dedekind Sums via Conical Zeta Values

Resumo Técnico: Reciprocidade para Somas de Dedekind via Valores Zeta Cônicos

Enunciado do Problema
O artigo investiga fórmulas de reciprocidade para somas de Dedekind generalizadas, estendendo a clássica lei de reciprocidade de Dedekind-Rademacher. O teorema clássico relaciona somas envolvendo a primeira função de Bernoulli periódica, $b_1(x) = \{x\} - 1/2$, para inteiros coprimos dois a dois $\nu_0, \nu_1, \nu_2$. O autor generaliza isso para somas definidas por vetores de funções periodicamente contínuas, absolutamente contínuas, $f = (f_0, \dots, f_r)$ e inteiros positivos distintos e coprimos dois a dois $\nu = (\nu_0, \dots, \nu_r)$. O foco específico é o caso onde estas funções são funções de Bernoulli periódicas $b_q(x) = B_q(\{x\})$ de grau $q \ge 1$. O desafio central é derivar uma relação de reciprocidade para estas somas de Dedekind que conecte propriedades aritméticas a estruturas geométricas, especificamente geometria poliédrica e valores zeta cônicos.

Metodologia
O autor emprega uma abordagem analítica de múltiplas etapas combinando análise real, análise de Fourier e a geometria de cones poliédricos:

1. Reciprocidade Integral: O estudo começa definindo um símbolo de reciprocidade $R_f(\nu)$ como uma combinação linear de somas de Dedekind generalizadas. Usando integração de Riemann-Stieltjes e integração por partes (Teorema 2.1, 2.2), o autor deriva uma fórmula de reciprocidade integral (Teorema 3.1). Esta fórmula expressa a soma dos termos de Dedekind como um termo de fronteira (envolvendo saltos das funções) mais uma integral do produto das funções e suas derivadas.
2. Análise de Fourier: Reconhecendo que funções de variação limitada admitem séries de Fourier, a fórmula integral é reformulada usando coeficientes de Fourier. Isso leva a uma "fórmula de reciprocidade de Fourier" (Corolário 3.3) onde o símbolo de reciprocidade é expresso como uma soma sobre a rede $\nu^\perp \cap \mathbb{Z}^{r+1}$ (vetores ortogonais a $\nu$).
3. Conexão com Valores Zeta: Para o caso específico de polinômios de Bernoulli periódicos, os coeficientes de Fourier são computados explicitamente. Isso transforma a fórmula de reciprocidade em uma expressão envolvendo "valores zeta múltiplos" $\zeta_{k, \nu, q}$, definidos como somas sobre a rede $\nu^\perp \cap \mathbb{Z}^{r+1}$ ponderadas por potências inversas dos componentes do vetor.
4. Decomposição Geométrica: Para lidar com a convergência e avaliação destes valores zeta, o autor decompõe o domínio de somatória com base nos ortantes inteiros estritos de $\mathbb{R}^{r+1}$. Isso reduz o problema ao estudo de cones poliédricos. O autor utiliza técnicas de desingularização (especificamente o algoritmo de Hirzebruch-Jung para dimensão 2) para subdividir cones racionais poliédricos em cones unimodulares. Isso permite a expressão das somas em termos de "valores zeta cônicos" associados a cones unimodulares, que são melhor comportados e relacionados aos valores zeta de Riemann padrão.

Principais Contribuições e Resultados

• Reciprocidade Integral e de Fourier Geral: O artigo estabelece um teorema de reciprocidade geral (Teorema 3.1) para funções periódicas absolutamente contínuas e uma correspondente fórmula de reciprocidade de Fourier (Corolário 3.3). Estes resultados unificam abordagens anteriores e fornecem uma derivação limpa da fórmula de Dedekind-Rademacher clássica.
• Reciprocidade para Polinômios de Bernoulli: Uma fórmula de reciprocidade específica é derivada para somas de Dedekind associadas às funções de Bernoulli periódicas $b_q$ (Corolário 3.7). Esta fórmula relaciona as somas a valores zeta múltiplos $\zeta_{k, \nu, q}$ e constantes explícitas envolvendo números de Bernoulli.
• Convergência e Decomposição: O Teorema 4.1 prova a convergência absoluta de valores zeta auxiliares $\zeta_{\nu, q}$ e fornece uma decomposição dos valores zeta múltiplos em partes suportadas em redes de menor dimensão ($Z_{k, \nu, q}$) e partes suportadas na rede completa ($Y_{k, \nu, q}$).
• Especialização para Dimensão 2: Na Seção 5, o autor especializa para o caso $r=2$. Ao aplicar o algoritmo de Hirzebruch-Jung para resolver cones planos, os valores zeta múltiplos são expressos em termos de valores zeta cônicos de cones unimodulares (Lema 5.2).
• Fórmulas Explícitas: O artigo deriva uma fórmula de reciprocidade explícita para $r=2$ (Corolário 5.3) que expressa a soma das somas de Dedekind em termos de valores zeta cônicos de cones unimodulares e funções racionais dos inteiros $\nu_i$.
• Exemplo Concreto: Um cálculo explícito é realizado para o caso $\nu = (2, a, b)$ e $q = (1, q, q)$, demonstrando como a fórmula de reciprocidade determina a contribuição total dos valores zeta cônicos associados a cones de multiplicidades $a$ e $b$, mesmo que os valores individuais não sejam computados separadamente (Exemplo 5.5).

Significância e Alegações
O artigo afirma fornecer uma interpretação geométrica da reciprocidade para funções do tipo polinomial em termos de valores zeta cônicos. Ao generalizar o método integral e utilizar a análise de Fourier, o autor estabelece uma ponte entre leis de reciprocidade aritmética e a geometria de poliedros. O trabalho estende o teorema de Dedekind-Rademacher clássico para funções de Bernoulli de grau superior e demonstra que o fenômeno de reciprocidade pode ser compreendido através da desingularização de cones associados à rede ortogonal ao vetor $\nu$. Os resultados oferecem uma maneira sistemática de computar ou relacionar estas somas usando a teoria de cones unimodulares, proporcionando uma nova perspectiva sobre a estrutura das somas de Dedekind. O artigo não alega resolver todos os casos de dimensões superiores explicitamente, mas estabelece o arcabouço teórico e resultados explícitos para o caso da dimensão 2.