Irrationality of finite logarithms in a congruence-class adèle ring

Resumo Técnico: Irracionalidade de Logaritmos Finitos em um Anel de Adèles de Classe de Congruência

Enunciado do Problema
O artigo investiga as propriedades aritméticas de "logaritmos finitos" dentro do "anel de adèles do homem pobre" $\mathcal{A}$, definido como o produto restrito de $\mathbb{Z}/p\mathbb{Z}$ sobre todos os primos $p$. Elementos neste anel são sequências $(t_p)_{p \in \mathbb{P}}$ onde $t_p \in \mathbb{Q}$ identificados módulo $p$ para primos suficientemente grandes. A função logaritmo finito $\log_{\mathcal{A}}: \mathbb{Q}^\times \to \mathcal{A}$ é definida via quocientes de Fermat:
$$\log_{\mathcal{A}}(\alpha) = (q_p(\alpha) \pmod p)_{p \in \mathbb{P}}, \quad \text{onde } q_p(\alpha) = \frac{\alpha^{p-1}-1}{p}.$$
Trabalhos anteriores por Matsusaka e Seki estabeleceram que, para $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$, $\log_{\mathcal{A}}(\alpha)$ nunca é um elemento racional não nulo em $\mathcal{A}$. Além disso, Silverman mostrou (condicionalmente à conjectura $abc$) que $\log_{\mathcal{A}}(\alpha) \neq 0$.

O problema central abordado neste artigo é estender esses resultados de irracionalidade e não-nulidade para conjuntos restritos de primos: especificamente, primos restritos a progressões aritméticas da forma $p \equiv 1 \pmod m$ para um inteiro $m \ge 1$ fixo. O objetivo é determinar se $\log_{\mathcal{A}}(\alpha)$ pode assumir valores racionais ou anular-se dentro do anel restrito $\mathcal{A}(m)$, e analisar o "grau de recorrência" desses logaritmos, especificamente se eles podem ser elementos irracionais quadráticos.

Metodologia
O artigo emprega uma combinação da teoria de polinômios ciclotômicos e técnicas clássicas de prova de irracionalidade adaptadas ao contexto de adèles.

1. Construções Ciclotômicas: O autor relaciona os quocientes de Fermat com valores de polinômios ciclotômicos $\Phi_n(u, v)$ e suas derivadas parciais. Uma identidade fundamental utilizada é a forma homogeneizada $\Phi_n(X^p, Y^p) = \Phi_n(X, Y)\Phi_{np}(X, Y)$.
2. Análise de Congruência: Ao analisar os fatores primos de $\Phi_n(u, v)$, o artigo estabelece que, se um primo $p$ divide $\Phi_n(u, v)$ (com $p \nmid n$), então $p \equiv 1 \pmod n$. Esta propriedade é crucial para restringir a análise à classe de congruência $p \equiv 1 \pmod m$.
3. Contradição via Sequências de Anulação: Para provar a irracionalidade (Teorema 1.2(i)), o autor assume que $\log_{\mathcal{A}(m)}(\alpha)$ é racional. Esta suposição permite a construção de uma sequência de inteiros não nulos derivados dos valores de $\Phi_{m\ell}(u, v)$ e suas derivadas. A prova demonstra que esta sequência, quando normalizada, tende a zero conforme o primo auxiliar $\ell \to \infty$, gerando uma contradição.
4. Aplicação da Conjectura $abc$: Para provar a não-nulidade (Teorema 1.2(ii)), o artigo adapta o método de Silverman. Utiliza-se a conjectura $abc$ para limitar a "parte poderosa" de $u^n - v^n$. Ao mostrar que os valores ciclotômicos crescem rápido demais para serem "poderosos" (quadrado-cheios) sob a suposição de que o logaritmo se anula, chega-se a uma contradição.
5. Classificação do Grau de Recorrência: O artigo define o grau de recorrência $\deg_{\mathcal{A}}(t)$ como a ordem mínima de uma recorrência linear com coeficientes racionais satisfeita pela sequência que representa $t \in \mathcal{A}$. Ele classifica elementos de grau $\le 2$ usando caracteres de Dirichlet quadráticos.

Principais Contribuições e Resultados

• Extensão para Classes de Congruência (Teorema 1.2): O artigo prova que, para qualquer $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ e $m \ge 1$:

  • (i) $\log_{\mathcal{A}(m)}(\alpha)$ não é um número racional não nulo no anel restrito $\mathcal{A}(m)$.
  • (ii) Assumindo a conjectura $abc$, $\log_{\mathcal{A}(m)}(\alpha) \neq 0$ em $\mathcal{A}(m)$.
  • Nota: A restrição $p \equiv 1 \pmod m$ é intrínseca ao método ciclotômico utilizado; o autor observa que forçar outras classes de resíduos $p \equiv b \pmod m$ (onde $b \not\equiv 1$) não é amigável a este método específico.

• Irracionalidade Quadrática (Teorema 1.3): O artigo investiga se logaritmos finitos podem ser "quadráticos" no sentido de possuírem um grau de recorrência $\le 2$.

  • Mostra-se que, se $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) \le 2$, então $\log_{\mathcal{A}}(\alpha)$ deve assumir a forma específica $r(1 - (\frac{D}{p}))_p$ para algum $r \in \mathbb{Q}$ e inteiro livre de quadrados $D$.
  • Crucialmente, assumindo a conjectura $abc$, o artigo prova que $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) > 2$. Isso implica que logaritmos finitos não podem ser elementos irracionais quadráticos em $\mathcal{A}$.

• Generalização para Extensões Abelianas (Observação 4.2): O argumento é estendido para sugerir que, se o corpo de decomposição do polinômio característico de uma recorrência for abeliano, o logaritmo não pode residir na imagem dessa recorrência (novamente, assumindo a conjectura $abc$).

Significância e Alegações
O artigo afirma estender os resultados conhecidos de irracionalidade de Matsusaka, Seki e Silverman do anel de adèles completo para anéis restritos a progressões aritméticas específicas. Isto é significativo pois demonstra a robustez da irracionalidade dos logaritmos finitos mesmo quando o conjunto de primos subjacente é reduzido para uma densidade de $1/\phi(m)$.

Além disso, o trabalho conecta a aritmética dos quocientes de Fermat com a teoria dos números algébricos finitos (no sentido de Rosen). Ao provar que $\log_{\mathcal{A}}(\alpha)$ não pode ser um elemento quadrático (e mais genericamente, não pode residir na imagem de recorrências com corpos de decomposição abelianos), o artigo fornece evidências que apoiam a conjectura mais ampla de que os logaritmos finitos são "ingenuamente transcendentais" (isto é, não algébricos no sentido de satisfazerem recorrências lineares). O autor nota modestamente que o caso não-abeliano permanece em aberto devido à falta de uma abordagem ciclotômica direta para classes de resíduos não identitárias.