🔢 mathematics

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

Este artículo resuelve el problema de Davenport-Lewis-Schinzel sobre la reducibilidad de $f(X)-g(Y)$ , ofreciendo una solución casi completa al problema de Hilbert-Siegel y aplicando estos resultados a la dinámica aritmética y a ecuaciones funcionales.

Autores originales: Angelot Behajaina, Joachim König, Danny Neftin

Publicado 2026-03-31

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Angelot Behajaina, Joachim König, Danny Neftin

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que las matemáticas son como un vasto universo de recetas de cocina. En este universo, los polinomios (esas expresiones matemáticas con letras y números, como $X^2 + 3X + 1$ ) son los ingredientes principales.

Los autores de este artículo, Behajaina, König y Neftin, han resuelto un misterio culinario que llevaba en la mesa desde la década de 1950. Este misterio se conoce como el Problema de Davenport-Lewis-Schinzel.

Aquí tienes la explicación de lo que hicieron, usando analogías sencillas:

1. El Misterio: ¿Cuándo se mezclan dos recetas?

El problema se plantea así: Tienes dos recetas, la Receta A (llamémosla $f(X)$ ) y la Receta B (llamémosla $g(Y)$ ). Imagina que intentas combinarlas en una sola gran receta: $f(X) - g(Y)$ .

La pregunta es: ¿Cuándo esta combinación se "descompone" en partes más simples?
En matemáticas, esto se llama "reducibilidad".

Si la receta es irreducible, es como un pastel de chocolate único: no puedes separarlo en capas de vainilla y fresa; es una sola masa indivisible.
Si es reducible, es como un sándwich: puedes separar el pan de arriba del de abajo, o el jamón del queso. Significa que la receta tiene una estructura oculta que permite dividirla.

Durante 60 años, los matemáticos sabían que a veces estas recetas se dividían (por ejemplo, si ambas recetas usaban el mismo ingrediente base, o si eran versiones muy específicas de recetas famosas como los polinomios de Chebyshev, que son como "sabores clásicos" en matemáticas). Pero nadie sabía si existían otras formas secretas de que esto sucediera, especialmente con recetas muy complejas y largas (llamadas "descomponibles").

2. La Gran Descubrimiento: "No hay más secretos"

Los autores han demostrado que no existen otras formas secretas. Han cerrado el caso.

Han probado que la única vez que puedes dividir tu receta $f(X) - g(Y)$ en partes más simples, es porque:

Tienen un ingrediente en común: Ambas recetas usan exactamente el mismo bloque de construcción al principio (como si ambas recetas empezaran con "harina de trigo").
Son versiones de recetas famosas: Son variaciones de recetas muy específicas y raras que ya conocíamos (como los polinomios de grado 7, 11, 13, etc., que son como "sabores exóticos" que solo aparecen en ciertos contextos).
Son versiones de la receta Chebyshev: Una receta especial que tiene una simetría única (como un espejo perfecto).

La analogía de la torre de bloques:
Imagina que $f(X)$ y $g(Y)$ son torres construidas con bloques de Lego.

Si la torre se cae en dos partes limpias (es reducible), es porque o bien ambas torres empezaron con el mismo bloque base, o bien ambas torres están hechas de bloques de colores muy específicos que solo encajan de una manera particular.
El problema de los autores era: "¿Existe algún otro bloque mágico, de un color que nunca hemos visto, que haga que dos torres cualquiera se caigan juntas?".
Su respuesta es un rotundo NO. Solo existen los bloques que ya conocíamos.

3. ¿Por qué es importante? (Las consecuencias)

Resolver este rompecabezas no es solo un juego intelectual; tiene efectos reales en otros campos:

El problema de los "números perdidos" (Hilbert-Siegel):
Imagina que tienes una máquina que toma números y los transforma. A veces, la máquina produce resultados que se pueden factorizar (dividir). Los matemáticos querían saber: "¿Cuántos números producen resultados 'divisibles'?".
Gracias a este descubrimiento, ahora sabemos que, salvo en casos muy raros y predecibles, la mayoría de los números que produce tu máquina serán "indivisibles" (números primos en un sentido amplio). Esto es como saber que, si lanzas una moneda miles de veces, casi siempre obtendrás resultados impredecibles, y solo en casos muy específicos obtendrás una racha predecible.
Dinámica y Estabilidad:
En el estudio de cómo cambian los sistemas con el tiempo (dinámica aritmética), esto ayuda a predecir cuándo un sistema se vuelve "inestable" o se rompe en partes. Ahora podemos decir con certeza cuándo un sistema complejo se mantendrá unido y cuándo se dividirá.
Ecuaciones Funcionales:
Ayuda a resolver acertijos donde dos funciones diferentes deben dar el mismo resultado. Ahora sabemos exactamente qué tipos de funciones pueden "conversar" entre sí para dar soluciones.

4. ¿Cómo lo hicieron? (La herramienta secreta)

Para llegar a esta conclusión, los autores tuvieron que mirar dentro de la "caja negra" de estas recetas. Usaron una herramienta llamada Grupos de Monodromía.

La analogía de la orquesta:
Imagina que cada receta matemática es una orquesta. La "monodromía" es el director que organiza cómo se mueven los músicos (los números) cuando cambias la partitura.
- Si la orquesta es "solvable" (fácil de organizar), los autores demostraron que el director tiene que seguir reglas muy estrictas. Si intentas mezclar dos orquestas y se desordenan (se vuelven reducibles), es porque comparten al mismo director o porque usan partituras muy específicas.
- Si la orquesta es "no solvable" (caótica y compleja), usaron un catálogo gigante de todos los tipos de orquestas posibles (basado en la Clasificación de Grupos Simples Finitos, un logro monumental de las matemáticas del siglo XX) para demostrar que no hay ninguna orquesta "oculta" que pueda causar el problema.

En resumen

Este artículo es como un manual de instrucciones definitivo para la cocina matemática. Han dicho: "Si quieres saber si dos recetas matemáticas se pueden dividir, revisa si comparten un ingrediente base o si son variaciones de estas 3 recetas famosas. Si no es así, ¡puedes estar seguro de que no se dividirán!".

Han cerrado una puerta que estaba entreabierta durante 60 años, eliminando la posibilidad de que existan "monstruos" matemáticos desconocidos que rompan las reglas de la reducibilidad.

Aquí presento un resumen técnico detallado del artículo "The Davenport–Lewis–Schinzel Problem on the Reducibility of f(X) −g(Y)" de Angelot Behajaina, Joachim König y Danny Neftin.

1. El Problema: Davenport–Lewis–Schinzel (DLS)

El artículo aborda un problema clásico de la teoría de números y la geometría algebraica, formulado a finales de la década de 1950 por Davenport, Lewis y Schinzel. La pregunta central es:

¿Para qué pares de polinomios $f, g \in \mathbb{C}[X]$ de grado $\ge 2$ , el polinomio en dos variables $f(X) - g(Y)$ es reducible en $\mathbb{C}[X, Y]$ ?

Este problema es equivalente a determinar cuándo la curva algebraica definida por $f(X) = g(Y)$ es reducible, o cuándo el producto fibrado de los mapas $f, g: \mathbb{P}^1_{\mathbb{C}} \to \mathbb{P}^1_{\mathbb{C}}$ no es irreducible.

Contexto y Casos Triviales:

Factor diagonal: Si $f = g$ , entonces $X - Y$ es un factor.
Composición: Si $f_1(X) - g_1(Y)$ es reducible, entonces $f_1(f_2(X)) - g_1(g_2(Y))$ también lo es para cualquier composición no trivial.
Minimamente reducible: Un par $(f, g)$ se llama minimamente reducible si $f(X) - g(Y)$ es reducible, pero no surge de la composición trivial mencionada arriba.
No trivial: Un par minimamente reducible es no trivial si no proviene del caso $f=g$ mediante sustituciones lineales.

El problema consistía en clasificar todos los pares no triviales minimamente reducibles. Históricamente, se conocían ejemplos de polinomios indecomponibles (grados 7, 11, 13, 15, 21, 31) relacionados con automorfismos externos de grupos de monodromía, y el par $(T_4, -T_4)$ donde $T_n$ son los polinomios de Chebyshev. Sin embargo, el caso de polinomios descomponibles (que son composiciones de polinomios de grado mayor que 1) permaneció abierto durante décadas, generando la conjetura de que no existían más ejemplos ("monstruos de Cassels").

2. Metodología y Herramientas Teóricas

Los autores desarrollan un enfoque unificado que combina teoría de grupos, teoría de Galois y dinámica aritmética. Las herramientas clave incluyen:

Grupos de Monodromía: El estudio de la reducibilidad se traduce en el análisis de los grupos de Galois de las extensiones de campos generadas por las raíces de $f(X) - t$ y $g(Y) - t$ . La reducibilidad de $f(X) - g(Y)$ equivale a la no disyunción lineal de estos campos.
Propiedades de "Grandiosidad" (Largeness): Utilizan resultados recientes sobre la estructura de los núcleos de los grupos de monodromía en composiciones de polinomios. Específicamente, demuestran que para composiciones largas, el núcleo de la proyección del grupo de monodromía total al grupo de monodromía de un factor izquierdo debe ser "grande" (contener subgrupos abelianos de alto rango).
Diagonalidad del Núcleo: Un resultado central es que, para pares minimamente reducibles, el núcleo del mapa de restricción de los grupos de monodromía debe ser diagonal (sus proyecciones a los factores son inyectivas) o tener una estructura muy específica ( $C_2 \times C_2$ ).
Argumentos de Contradicción de Rango:
- Si los grados de los factores son suficientemente grandes, las cotas inferiores del rango del núcleo (derivadas de propiedades de "grandiosidad" en composiciones de 2 o 3 pasos) chocan con la restricción de que el núcleo debe ser diagonal.
- Esto elimina la mayoría de los casos de polinomios descomponibles, dejando solo casos de grados muy bajos (específicamente grados 2, 4, 8, 16) que requieren un análisis computacional y manual detallado.
Uso de Magma: Para los casos de grados bajos (especialmente 8 y 16) donde los argumentos teóricos generales no son suficientes, los autores utilizan la base de datos de grupos transitivos de Magma para verificar exhaustivamente las posibles estructuras de grupos de monodromía.
Teorema de Clasificación de Grupos Simples Finitos (CFSG): Se utiliza en la etapa final para clasificar los polinomios indecomponibles con monodromía no resoluble, confirmando que solo existen en grados específicos (7, 11, 13, 15, 21, 31).

3. Contribuciones Clave y Resultados Principales

El artículo proporciona una solución casi completa al problema DLS y sus generalizaciones.

A. Teorema Principal (Teorema 1.1 y 6.1)

Los autores demuestran que $f(X) - g(Y)$ es reducible si y solo si ocurre una de las siguientes tres situaciones (para polinomios sobre un cuerpo de característica 0):

Factor Común Izquierdo: $f$ y $g$ comparten un factor de composición izquierdo $h$ de grado $\ge 2$ . Es decir, $f = h \circ f_1$ y $g = h \circ g_1$ .
Casos Indecomponibles Excepcionales: $f$ y $g$ son composiciones de polinomios indecomponibles de grados específicos (7, 11, 13, 15, 21, 31) que aparecen en la clasificación de Müller y Cassou-Noguès–Couveignes, relacionados con automorfismos externos de grupos simples.
Caso Chebyshev/Dickson: $f$ y $g$ son composiciones de polinomios de grado 4 relacionados con los polinomios de Chebyshev $T_4$ o Dickson $D_{4, \alpha}$ . Específicamente, de la forma $(\mu \circ T_4) \circ f_1$ y $(\mu \circ (-T_4)) \circ g_1$ (o variantes con polinomios de Dickson).

Consecuencia Crítica: No existen "monstruos de Cassels" (pares minimamente reducibles con más de 3 puntos de ramificación) ni pares minimamente reducibles descomponibles de grado arbitrario. Todos los ejemplos conocidos se reducen a los listados arriba.

B. Problema de Hilbert–Siegel (Teorema 1.2)

Aplican su resultado al problema de determinar los enteros $a$ para los cuales la fibra $f^{-1}(a)$ es reducible sobre $\mathbb{Q}$ .

Demuestran que, para un polinomio $f \in \mathbb{Q}[X]$ que no factorice a través de un indecomponible de grado 2 o 4, el conjunto de excepciones de Hilbert (valores donde la fibra es reducible) es finito, salvo por los valores que provienen de factores de composición izquierdos no triviales.
Esto resuelve casi completamente el problema original de Hilbert–Siegel para polinomios descomponibles.

C. Estabilidad en Dinámica Aritmética (Corolario 1.3)

Resuelven la cuestión de la "nueva reducibilidad" en iteraciones de polinomios.

Si $f \in \mathbb{Q}[X]$ no tiene factores de grado 2 o 4, entonces el conjunto de enteros $a$ donde la $n$ -ésima iteración $f^{\circ n}$ es reducible pero la $(n-1)$ -ésima no lo es, es finito.
Esto implica que la "nueva reducibilidad" no puede ocurrir infinitamente a menudo para la mayoría de los polinomios.

D. Ecuaciones Funcionales (Corolario 1.4)

Clasifican las soluciones en funciones racionales de la ecuación $f(X) = g(Y)$ .

Determinan cuándo la ecuación tiene soluciones no triviales en $\mathbb{C}(z)$ .
Las soluciones reducidas (que no provienen de composiciones triviales) solo existen para los casos de Chebyshev ( $T_n$ ), ciertos polinomios de grado 7 y 13, y polinomios específicos de grado 3 y 4 listados en el teorema.

4. Significado e Impacto

Resolución de un Problema Abierto: Cierra un capítulo de 60 años en la teoría de polinomios, resolviendo el caso de polinomios descomponibles que había resistido los intentos de Fried, Schinzel y otros.
Unificación de Áreas: Conecta profundamente la teoría de números (reducibilidad de fibras), la teoría de grupos (estructura de grupos de monodromía y productos enredados) y la dinámica aritmética.
Herramientas Nuevas: Introduce técnicas robustas para analizar núcleos de grupos de monodromía en composiciones largas, demostrando que las propiedades de "grandiosidad" imponen restricciones severas que eliminan la mayoría de las configuraciones posibles.
Aplicaciones Prácticas: Los resultados tienen implicaciones directas para:
- La teoría de puntos de bajo grado en variedades.
- La intersección de órbitas en sistemas dinámicos.
- La estimación de sumas y productos en teoría de números.
- La clasificación de curvas de género bajo en productos fibrados.

En resumen, el artículo establece una clasificación completa y definitiva de cuándo la diferencia de dos polinomios en variables separadas es reducible, demostrando que la estructura algebraica subyacente es mucho más rígida y limitada de lo que se sospechaba anteriormente.