Fixed-point lifting and ghost periodic points for Chebyshev polynomials modulo odd prime powers

Resumo Técnico: Elevação de Pontos Fixos e Pontos Periódicos Fantasma para Polinômios de Chebyshev Módulo Potências de Primos Ímpares

Declaração do Problema
O artigo investiga a dinâmica dos polinômios de Chebyshev $T_n(x)$ atuando sobre os anéis finitos $\mathbb{Z}/p^k\mathbb{Z}$ para um primo ímpar $p$ e um inteiro $n \ge 2$. Embora a estrutura global do grafo funcional desses mapas sobre corpos finitos $\mathbb{F}_p$ seja bem estabelecida (por exemplo, Gassert, Qureshi–Panario), fórmulas aritméticas explícitas para contagens de pontos fixos e contagens de pontos de período exato sobre níveis superiores de potências de primos $\mathbb{Z}/p^k\mathbb{Z}$ permanecem menos desenvolvidas, particularmente para graus não-permutação e classes residuais degeneradas. O principal desafio abordado é a elevação de pontos periódicos de $\mathbb{F}_p$ para $\mathbb{Z}/p^k\mathbb{Z}$, analisando especificamente casos onde a elevação padrão de Hensel falha em ser única (casos degenerados) e identificando pontos periódicos "fantasma" — elevações cujo período exato aumenta estritamente ao mover-se para um módulo superior.

Metodologia
Os autores empregam uma estratégia de parametrização de "duas fontes", aproveitando a identidade $T_n(\frac{\zeta + \zeta^{-1}}{2}) = \frac{\zeta^n + \zeta^{-n}}{2}$. Isso reduz a dinâmica de $T_n$ sobre $\mathbb{F}_p$ à dinâmica multiplicativa de $\zeta$ em dois grupos fonte: o grupo dividido $\mathbb{F}_p^\times$ e o grupo não dividido $\mu_{p+1}$ (raízes da unidade em $\mathbb{F}_{p^2}$).

Componentes metodológicos-chave incluem:

1. Parametrização de Fontes: Decomposição de pontos fixos e periódicos baseada na ordem $e$ do parâmetro fonte $\zeta$ e na ordem de Chebyshev $\text{corde}(n) = \min\{r \ge 1 : n^r \equiv \pm 1 \pmod e\}$.
2. Análise de Degenerescência: Distinção entre pontos fixos não degenerados (onde $T_n'(a) \not\equiv 1 \pmod p$) e degenerados (onde $T_n'(a) \equiv 1 \pmod p$). Os últimos exigem análise local além do lema padrão de Hensel.
3. Elevação Local:
   • Para pontos não degenerados, a elevação única é garantida pelo lema de Hensel.
   • Para pontos degenerados não de fronteira, os autores utilizam elevações de Teichmüller e analisam o núcleo do mapa de norma em extensões quadráticas não ramificadas para contar elevações fixas.
   • Para pontos degenerados de fronteira ($a = \pm 1$), a prova depende de estimativas de valoração $p$-ádica do polinômio $Q_\varepsilon(x) = (T_n(x)-x)/(x-\varepsilon)$ usando logaritmos e exponenciais $p$-ádicos. Esta etapa analítica requer a hipótese $p \ge 5$ para garantir convergência dentro do domínio estrito das funções log/exp $p$-ádicas.
4. Inversão de Möbius: Contagens de período exato são derivadas de contagens de pontos fixos de iterações $T_{nj}$ usando a fórmula clássica de inversão de Möbius.

Principais Contribuições e Resultados

1. Contagem de Pontos Fixos sobre $\mathbb{F}_p$ (Teorema 5.1):
   Os autores derivam uma fórmula fechada para o número de pontos fixos $N_1 = |\text{Fix}(T_n, \mathbb{F}_p)|$ expressa como uma soma de quatro máximos divisores comuns:
   $$N_1 = \frac{\gcd(n-1, p-1) + \gcd(n+1, p-1) + \gcd(n-1, p+1) + \gcd(n+1, p+1) - 2\delta}{2}$$
   onde $\delta = \gcd(n-1, 2)$. Esta fórmula isola os ciclos de comprimento um de descrições de grafos conhecidas e organiza-os por ramos fonte divididos/não divididos.

2. Critério de Degenerescência (Proposição 7.1):
   É estabelecido um critério preciso para quando um ponto fixo é degenerado: $a_0$ é degenerado se e somente se $p \mid (n^2 - 1)$. O número de tais classes residuais degeneradas, denotado por $d$, é calculado explicitamente com base no ramo ($n-1$ ou $n+1$) e nos grupos fonte.

3. Fórmulas de Elevação de Pontos Fixos (Teorema 7.3):

   • Primeira Elevação ($p^2$): Para qualquer primo ímpar $p$, o número de pontos fixos módulo $p^2$ é $N_2 = N_1 + d(p-1)$. Isso vale independentemente de $T_n$ ser uma permutação.
   • Todos os Níveis ($p^k$): Para $p \ge 5$, é fornecida uma fórmula fechada para $N_k$:
     $$N_k = N_1 + d(p^{\min(k-1, s)} - 1)$$
     onde $s = \nu_p(n^2 - 1)$. Esta fórmula é equivalente a uma expressão baseada em MDC envolvendo $(p \pm 1)p^{k-1}$.
   • Limitação: A fórmula de todos os níveis falha para $p=3$ devido a estimativas de valoração de fronteira no limiar de convergência das funções log/exp $p$-ádicas.

4. Pontos Periódicos Fantasma (Teorema 10.4):
   Para $p \nmid n$, o artigo identifica uma dicotomia na elevação de resíduos periódicos módulo $p^2$. Seja $t = \text{corde}(n)$ o período base e $\kappa = \text{corde}_p(n)$ a ordem fonte elevada.

   • Se $\kappa = t$, todas as $p$ elevações mantêm o período base $t$.
   • Se $\kappa > t$, exatamente uma elevação (a elevação de Hensel) mantém o período $t$, enquanto as $p-1$ elevações restantes são pontos periódicos "fantasma" de período $\kappa$.

5. Torres de Períodos de Níveis Superiores (Teorema 11.9):
   Para $p \ge 5$ e $p \nmid n$, a elevação de períodos para níveis arbitrários $k$ é governada por uma "torre de cordes" $c_q = \text{corde}_{p^q}(n)$. As $p^{k-1}$ elevações de um resíduo periódico são particionadas em conjuntos de pontos com períodos exatos correspondentes aos valores distintos na sequência da torre $c_0, c_1, \dots, c_{k-1}$.

6. Contagens de Período Exato (Corolário 11.1):
   É fornecida uma identidade geral de inversão de Möbius para calcular o número de pontos de período exato $r$ sobre $\mathbb{Z}/p^k\mathbb{Z}$ para qualquer primo ímpar $p$. Para $p \ge 5$, isso produz formas fechadas explícitas substituindo as fórmulas de pontos fixos.

Significado e Escopo
O artigo afirma fornecer fórmulas aritméticas explícitas para contagens de pontos fixos e pontos de período exato que são organizadas em torno da parametrização de duas fontes e do comportamento de elevação local. Seu significado reside em:

• Generalidade: Abordar graus arbitrários $n$, incluindo casos não-permutação e classes residuais degeneradas, que são frequentemente excluídos em trabalhos anteriores focados em polinômios permutação (por exemplo, Li–Lu–Tan–Chen).
• Precisão Local: Ir além de descrições globais de grafos para fornecer regras de elevação por resíduo, caracterizando especificamente órbitas "fantasma" onde os períodos bifurcam na primeira elevação.
• Fórmulas Explícitas: Oferecer expressões de forma fechada para $N_k$ e $P_r^{(k)}$ que dependem de valorações $p$-ádicas e MDCs, em vez de apenas descrições assintóticas ou estruturais.

Os autores observam que os resultados para $p \ge 5$ dependem de estimativas analíticas $p$-ádicas que não se sustentam para $p=3$, e o caso $p=2$ é excluído devido à não-invertibilidade de 2 na parametrização. O trabalho é apresentado como uma reorganização aritmética de dados de corpo finito conhecidos para facilitar argumentos de elevação, em vez de uma nova classificação de grafos globais sobre $\mathbb{F}_p$.