The Davenport-Lewis-Schinzel problem on the reducibility of $f(X)-g(Y)$

Título: O Problema de Davenport–Lewis–Schinzel sobre a Redutibilidade de $f(X) - g(Y)$

1. O Problema e o Contexto Histórico

O artigo resolve um problema clássico da teoria dos números e da geometria algébrica, formulado na década de 1950 por Davenport, Lewis e Schinzel (DLS).

• Formulação do Problema: Para quais polinômios $f, g \in \mathbb{C}[X]$ de grau $\ge 2$, o polinômio bivariable $f(X) - g(Y) \in \mathbb{C}[X, Y]$ é redutível?
• Equivalências Geométricas: A redutibilidade de $f(X) - g(Y)$ é equivalente à redutibilidade da curva algébrica $f(X) = g(Y)$ e à redutibilidade do produto fibra das aplicações $f, g: \mathbb{P}^1_{\mathbb{C}} \to \mathbb{P}^1_{\mathbb{C}}$.
• Casos Triviais:
  1. Se $f = g$, o fator diagonal $X - Y$ sempre existe.
  2. Se $f_1(X) - g_1(Y)$ é redutível, então $f_1(f_2(X)) - g_1(g_2(Y))$ também o é para qualquer composição não trivial.
• Objetivo Central: Classificar os pares minimamente redutíveis não triviais. Um par $(f, g)$ é minimamente redutível se $f(X) - g(Y)$ é redutível, mas não surge de composições triviais (como acima) nem de substituições lineares de pares já conhecidos.
• Estado Anterior: Antes deste trabalho, apenas exemplos específicos eram conhecidos:
  • O par $(T_4, -T_4)$, onde $T_n$ são polinômios de Chebyshev.
  • Pares indecomponíveis de graus específicos (7, 11, 13, 15, 21, 31) relacionados a automorfismos externos de grupos de monodromia (PSL).
  • O caso decomponível permanecia amplamente aberto, incluindo o famoso "Problema (2, 3)" de Fried (relacionado a curvas elípticas).

2. Metodologia e Abordagem Técnica

Os autores utilizam uma combinação sofisticada de teoria de Galois, teoria de grupos de permutação (especificamente grupos de monodromia) e a classificação de grupos simples finitos (CFSG).

A. Estrutura de Monodromia e Núcleos

A estratégia central envolve analisar o grupo de monodromia $\text{Mon}(f)$ de um polinômio $f$.

• Para um par minimamente redutível $(f, g)$, os fechos de Galois das extensões de corpos de funções definidas por $f(X)-t$ e $g(X)-t$ coincidem.
• O artigo foca no núcleo do bloco (block kernel) $K = \ker(\text{Mon}(f) \to \text{Mon}(h))$, onde $f = h \circ f_r$ é uma decomposição.
• Propriedade de Diagonalidade: O resultado chave (Teorema 4.1) estabelece que, para pares minimamente redutíveis com monodromia solúvel, o núcleo $K$ deve ser um subgrupo diagonal (diagonal subgroup) ou isomorfo a $C_2 \times C_2$. Isso impõe restrições severas sobre a estrutura do grupo de monodromia.

B. Limites Inferiores de "Grandiosidade" (Largeness)

Para combater a possibilidade de tais núcleos diagonais existirem em composições longas, os autores utilizam resultados de um trabalho complementar ([BKN26]) sobre a "grandiosidade" dos núcleos em grupos de monodromia solúveis.

• Eles demonstram que, para composições de três ou mais polinômios indecomponíveis, o núcleo do grupo de Galois contém subgrupos abelianos de posto (rank) muito alto.
• Existe uma contradição direta entre a exigência de que o núcleo seja "pequeno" (diagonal ou $C_2 \times C_2$) e a "grandiosidade" (alta complexidade) exigida pela estrutura do grupo de monodromia de composições longas, a menos que os graus sejam muito baixos e específicos.

C. Casos Solúveis vs. Não-Solúveis

• Caso Solúvel: A prova é conduzida através de uma análise detalhada de decomposições de polinômios, utilizando o Teorema de Ritt e computação assistida por computador (Magma) para graus baixos (8 e 16). Eles provam que não existem novos exemplos além dos já conhecidos de grau 4 (relacionados a $D_4$).
• Caso Não-Solúvel: Utilizam uma abordagem mais simples baseada em trabalhos anteriores ([KN24]), focando nos fatores indecomponíveis com monodromia quase-simples. A classificação de Müller ([Mü95]) e a CFSG são usadas apenas no último passo para identificar os graus específicos (7, 11, 13, 15, 21, 31).

3. Principais Resultados (Teoremas)

Teorema 1.1 (Solução do Problema DLS)

Classifica completamente os pares $f, g \in \mathbb{C}[X]$ de grau $>1$ para os quais $f(X) - g(Y)$ é redutível. Ocorre se e somente se:

1. Fator Comum Esquerdo: $f$ e $g$ compartilham um fator de composição à esquerda $h$ de grau $\ge 2$ ($f = h \circ f_1, g = h \circ g_1$).
2. Casos Indecomponíveis Especiais: $f$ e $g$ são composições de polinômios de graus 7, 11, 13, 15, 21 ou 31 (listados em [CNC99]) com um fator linear comum.
3. Polinômios de Chebyshev: $f = (\mu \circ T_4) \circ f_1$ e $g = (\mu \circ (-T_4)) \circ g_1$, onde $T_4$ é o polinômio de Chebyshev de grau 4.

Consequência Imediata: Não existem "monstros de Cassels" (pares minimamente redutíveis com $\ge 4$ pontos de ramificação), resolvendo uma conjectura antiga.

Teorema 1.2 (Problema de Hilbert-Siegel)

Fornece uma solução quase completa para o problema de determinar os inteiros $a$ para os quais a fibra $f^{-1}(a)$ é redutível sobre $\mathbb{Q}$.

• Se $f \in \mathbb{Q}[X]$ não fatora através de um indecomponível de grau 2 ou 4, então o conjunto de exceções $Red_f(\mathbb{Z})$ é a união de um conjunto finito e das imagens $f_1(\mathbb{Q})$ de todos os fatores indecomponíveis à esquerda $f_1$ de $f$.
• O único caso excepcional infinito ocorre para uma família específica de polinômios de grau 5 (construída por Dèbes-Fried).

Corolário 1.3 (Estabilidade em Dinâmica Aritmética)

Resolve uma questão sobre a estabilidade de iterações de polinômios. Se $f \in \mathbb{Q}[X]$ não fatora por grau 2 ou 4, então o conjunto de inteiros $a$ onde a $n$-ésima iteração $f^{\circ n}$ é "novamente redutível" (mas iterações anteriores não são) é finito para todo $n \ge 2$.

Corolário 1.4 (Equações Funcionais)

Classifica as soluções em funções racionais $X(z), Y(z) \in \mathbb{C}(z)$ para a equação $f(X) = g(Y)$.

• As soluções não triviais (reduzidas) existem apenas para pares relacionados a:
  • Polinômios de Chebyshev ($T_n, -T_m$) com $\gcd(n, m) > 2$.
  • Polinômios específicos de grau 7 e 13 (relacionados a curvas de gênero 0).
  • Polinômios da forma $X^a(X-1)^b$ e outras famílias específicas listadas no teorema.

4. Contribuições e Significado

1. Resolução Completa do Problema DLS: O trabalho fecha um capítulo de 60 anos na teoria dos números, provando que a lista de exemplos conhecidos é exaustiva. Não há novos exemplos "escondidos" em graus altos ou composições complexas.
2. Técnicas de "Grandiosidade" (Largeness): Os autores desenvolvem e aplicam novas ferramentas para estimar o posto de núcleos em grupos de monodromia solúveis. Essas técnicas são aplicáveis a outros problemas em dinâmica aritmética e teoria de Galois inversa.
3. Conexão entre Áreas: O artigo conecta profundamente a teoria de polinômios redutíveis com:
   • O Teorema da Irredutibilidade de Hilbert.
   • A estabilidade de sistemas dinâmicos aritméticos.
   • Equações funcionais e teoria de Nevanlinna.
   • Pontos de baixo grau em fibras de mapas.
4. Uso Seletivo da CFSG: Embora a Classificação de Grupos Simples Finitos (CFSG) seja usada no final para classificar os grupos de monodromia não solúveis, a parte mais difícil e inovadora (o caso solúvel e decomponível) é provada usando métodos de teoria de grupos e geometria algébrica que evitam a dependência total da CFSG até o último passo.

Conclusão

O artigo de Behajaina, König e Neftin representa um marco na teoria da redutibilidade de polinômios. Ao provar que a estrutura de pares redutíveis é extremamente rígida e limitada a casos de baixa complexidade ou simetrias específicas (Chebyshev e grupos excepcionais), eles fornecem uma base sólida para futuros estudos em dinâmica aritmética e equações funcionais, eliminando a possibilidade de comportamentos "patológicos" em graus arbitrariamente altos.