Gertsch quotient living in the "poor man's adele ring" $\mathcal{A}$: Kurepa-Bell-Wilson congruence

Resumo Técnico: O Quociente de Gertsch e o Anel de Adeles "Pobre"

1. Problema e Contexto

O artigo aborda a Conjectura de Kurepa, um problema aberto na teoria dos números que postula que, para todo primo ímpar $p > 3$, o fatorial esquerdo $!p$ (definido como a soma $0! + 1! + \dots + (p-1)!$) não é divisível por $p$ (ou seja, $!p \not\equiv 0 \pmod p$).

O autor situa este problema dentro de uma rede complexa de congruências envolvendo:

• Números de Bell ($Bell_n$).
• Números de Derangement (subfatoriais, $Der_n$).
• O Teorema de Wilson e o Quociente de Wilson ($W_p$).
• Números de Bernoulli e o Conjectura de Agoh-Giuga.
• O conceito de "Anel de Adeles Pobre" (Poor Man's Adele Ring), denotado por $A$, introduzido por Kaneko e Zagier, que é um anel quociente de produtos diretos de corpos finitos $\mathbb{Z}/p\mathbb{Z}$ sobre somas diretas.

O objetivo central é estabelecer novas equivalências para a conjectura de Kurepa, introduzir um novo objeto matemático (o Quociente de Gertsch, $G_p$) e demonstrar que certas estruturas relacionadas a esses quocientes residem naturalmente no anel $A$.

2. Metodologia

A pesquisa emprega uma combinação de:

• Teoria dos Números Analítica e Algébrica: Uso extensivo de congruências modulares, propriedades de polinômios de Touchard, e identidades envolvendo números de Bernoulli e Stirling.
• Análise de Quocientes Modulares: Definição e estudo de novos quocientes derivados de relações entre fatorial esquerdo, números de Bell e o Teorema de Wilson.
• Simulação Computacional: Utilização do software PARI/GP para verificar hipóteses e calcular valores para primos até $10^6$ e além, validando padrões observados.
• Conexões com Geometria Algébrica: Extensão dos resultados para constantes de integrais de Hodge (constantes de Faber-Pandhariponde, $b_g$) e sua relação com fatoriais de Kurepa.
• Heurística de Kaneko: Aplicação de argumentos heurísticos baseados em valores zeta múltiplos finitos e constantes de Euler generalizadas no anel $A$.

3. Principais Contribuições e Definições

A. O Quociente de Gertsch ($G_p$)
O autor define o Quociente de Gertsch para um primo ímpar $p$ como:
$$G_p = \frac{(K_p - Bell_{p-1}) + 1}{p}$$
onde $K_p = \sum_{n=0}^{p-1} n!$.
O artigo demonstra que $G_p$ é sempre um inteiro e estabelece a relação fundamental:
$$K_p \equiv Bell_{p-1} - 1 \pmod p$$
O que implica que $K_p + 1 \equiv Bell_{p-1} \pmod p$.

B. A Congruência Kurepa-Bell-Wilson (KBW)
O trabalho estabelece uma identidade central que conecta o fatorial de Kurepa, os números de Bell e o Quociente de Wilson ($W_p = \frac{(p-1)! + 1}{p}$):
$$\frac{K_p + 1}{p} \equiv \frac{Bell_{p-1}}{p} + W_p \pmod p$$
Esta congruência é generalizada para incluir os Quocientes de Lerch, Fermat e Mirimanoff, criando uma família de identidades (KBL, KBF, KBM).

C. O Anel de Adeles "Pobre" ($A$)
O autor demonstra que o elemento $\gamma_{K_p}^A = (K_p \pmod p)_p$ e o quociente de Gertsch $\gamma_G^A = (G_p \pmod p)_p$ residem no anel $A$.

• Teorema 1: Estabelece que $\gamma_{K_p}^A \neq 0$ no anel $A$, o que é crucial para a validade da conjectura.
• Teorema 2: Formaliza as relações entre os quocientes KBW, KBL e suas versões logarítmicas no anel $A$ ($\log_A(x)$).

D. Conexão com Átomos de Vladimirov e Integrais de Hodge
O artigo revisita os "átomos de Vladimirov" ($V_p$), que relacionam fatoriais à esquerda com números de Bernoulli. O autor propõe uma analogia entre a não-divisibilidade de $V_p$ e a conjectura de Kurepa. Além disso, explora a relação entre o fatorial de Kurepa e as constantes de integrais de Hodge ($b_g$), questionando se somas ponderadas por $b_g$ podem fornecer novos critérios para a conjectura.

4. Resultados Chave

1. Validação da Não-Divisibilidade: O artigo prova que, se existir um primo $p$ tal que $G_p \equiv 0 \pmod p$, então a Conjectura de Kurepa é falsa. Até o momento, não foram encontrados primos onde $G_p \equiv 0 \pmod p$.
2. Relação com Primos de Wilson: O estudo mostra que, embora $G_p$ e $W_p$ coincidam para primos específicos (como $p=3, 7, 2887$), eles se comportam diferentemente para primos de Wilson conhecidos ($p=5, 13, 563$), onde $W_p \equiv 0 \pmod p$ mas $G_p \not\equiv 0 \pmod p$.
3. Generalização de Quocientes: A introdução de quocientes derivados (como o quociente Agoh-Giuga generalizado $Q_p(m)$) e a sua representação no anel $A$ via logaritmos $p$-ádicos generalizados ($\log_A$).
4. Resultados Numéricos: Tabelas extensas fornecem valores de $G_p$, $AG_p$ (Quociente Agoh-Giuga) e $W_p$ para primos até 61 e 97, respectivamente, e demonstram que a soma $Bell_{p-1} + W_p$ nunca se anula para os primos testados, reforçando a conjectura.

5. Significado e Implicações

• Novo Enquadramento da Conjectura: O trabalho oferece uma nova equivalência para a Conjectura de Kurepa baseada na não-divisibilidade do Quociente de Gertsch ($G_p \not\equiv 0 \pmod p$). Isso transforma o problema de verificar uma soma de fatoriais em verificar a propriedade de um quociente inteiro específico.
• Integração de Áreas: O artigo conecta áreas aparentemente distintas: a teoria dos números clássica (fatoriais, primos), a teoria de números $p$-ádicos (anéis de adeles), e a geometria algébrica (integrais de Hodge).
• Ferramentas Computacionais e Heurísticas: Ao utilizar o anel $A$ de Kaneko-Zagier, o autor fornece um framework teórico para tratar "valores regulares" de funções zeta e constantes de Euler no contexto modular, sugerindo que a estrutura algébrica subjacente aos fatoriais de Kurepa é mais rica do que o observado apenas modularmente.
• Contribuição para a Matemática Pura: A demonstração de que o "Quociente de Gertsch" vive naturalmente no anel de adeles "pobre" sugere que a resolução da Conjectura de Kurepa pode depender de propriedades profundas de isomorfismos de álgebras de Q (como conjecturado por Kaneko e Zagier para valores zeta múltiplos).

Em suma, o artigo não resolve a Conjectura de Kurepa, mas fornece um mapa detalhado e novas ferramentas (o Quociente de Gertsch e a estrutura no anel $A$) que restringem o espaço de busca para contra-exemplos e conectam o problema a estruturas matemáticas modernas de alto nível.