🔢 mathematics

A note on the real Jacobian conjecture in degree 7

Este artículo establece la validez de la conjetura de Jacobiano real para polinomios de grado 7 cuya parte homogénea de mayor grado tiene la forma $\alpha x^7 + \beta x^6y$ , al tiempo que demuestra la inexistencia de pares de Jacobiano atípicos donde el grado de $p$ es 7 y el grado de $q$ es par y coprimo con 7.

Autores originales: Tomasz Kowalczyk

Publicado 2026-08-13

📖 3 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Tomasz Kowalczyk

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 eres un cartógrafo intentando dibujar un mapa de un paisaje mágico e infinito. En este mundo, cada ubicación se define por dos números, como una dirección de calle y un número de piso. Ahora, imagina que tienes una máquina especial —un "mapa polinómico"— que toma cualquier punto en este paisaje y lo desplaza a un nuevo lugar. La gran pregunta que los matemáticos se han estado haciendo durante décadas es: si esta máquina nunca aplasta dos puntos diferentes en el mismo lugar (haciendo que el mapa sea "inyectivo"), ¿garantiza eso que la máquina sea segura de usar en todas partes? Específicamente, si los engranajes internos de la máquina (su "Jacobiano") nunca se traban o dejan de girar, ¿podemos estar 100% seguros de que dos puntos de partida nunca terminarán en el mismo destino?

Este rompecabezas es conocido como la Conjetura de Jacobiano Real. Es como comprobar si un tobogán complejo y retorcido en un parque infantil es seguro. Si el tobogán nunca se atasca (los engranajes nunca se detienen), ¿significa eso que un niño deslizándose por él nunca se quedará atrapado encima de otro niño? Durante mucho tiempo, los matemáticos supieron que la respuesta era "sí" para toboganes simples y pequeños. Pero para toboganes más grandes y complicados, descubrieron que, a veces, incluso si los engranajes no se traban, el tobogán aún puede quedarse atascado de una manera extraña, atrapando a dos niños en el mismo lugar. Estos se llaman toboganes "atípicos". El gran misterio ha sido: ¿qué tan complicado tiene que volverse un tobogán antes de que pueda hacer esto? ¿Existe un tamaño específico donde la magia deja de funcionar?

Este artículo de Tomasz Kowalczyk se adentra precisamente en esa pregunta, centrándose en toboganes hechos de polinomios con un "grado" específico de 7. Piensa en el "grado" como la complejidad o el número de giros en el tobogán. El autor investiga un tipo específico de tobogán donde la parte más compleja (los términos de grado más alto) se ve exactamente como $\alpha x^7 + \beta x^6 y$ (donde $\alpha$ y $\beta$ son números que no son ambos cero). Al utilizar una herramienta geométrica ingeniosa llamada "polígono de Newton" (que es básicamente una forma dibujada al conectar los puntos de las partes más importantes del tobogán), el autor demuestra que para estos toboganes específicos de grado 7 con esta estructura de grado máximo particular, la Conjetura de Jacobiano Real se cumple. En otras palabras, si el tobogán tiene esta forma específica y los engranajes no se traban, es imposible que dos puntos se queden atrapados juntos.

Además, el artículo aborda un segundo acertijo relacionado: ¿Qué pasa si la segunda parte de la máquina (la parte "q") tiene un número par de giros y no comparte ningún factor común con el número 7? El autor demuestra que, en este escenario también, la máquina es segura. No existen pares "atípicos" donde la primera parte sea de grado 7 y la segunda parte sea un número par coprimo con 7. Esto ayuda a reducir la búsqueda del tobogán "roto" más pequeño. Aunque sabemos que existe un tobogán roto con un grado de 7 y otra parte de grado 29, este artículo muestra que no encontrarás uno roto si la segunda parte es un número par como 17, 19 o 21. El autor ha descartado efectivamente un montón de posibilidades, acercándonos un paso más a encontrar el contraejemplo más absoluto y simple a este misterio matemático.

Planteamiento del Problema
El artículo aborda la Conjetura de Jacobiano Real, la cual postula que un mapa polinomial $(p, q): \mathbb{R}^2 \to \mathbb{R}^2$ con un determinante jacobiano que no se anula (un par jacobiano) debe ser inyectivo. Si bien se sabe que existen pares jacobianos atípicos (contraejemplos de inyectividad), las condiciones de grado específicas bajo las cuales pueden ocurrir siguen siendo objeto de investigación. El autor se centra en el caso donde el grado del primer polinomio, $p$ , es 7. Trabajos previos establecieron que si $\deg(p) \leq 6$ , el par es siempre típico (inyectivo). Resultados recientes han demostrado la existencia de un par atípico con $\deg(p)=7$ y $\deg(q)=29$ . Este artículo investiga si existen pares atípicos para $\deg(p)=7$ bajo restricciones específicas sobre la parte homogénea de mayor grado de $p$ y la paridad de $\deg(q)$ .

Metodología
El autor emplea un enfoque geométrico centrado en el polígono de Newton del polinomio $p$ . Las herramientas metodológicas clave incluyen:

Análisis del Polígono de Newton: El estudio del envolvente convexo del soporte de $p$ ( $\Delta_p$ ), enfocándose específicamente en los "bordes exteriores" y sus "vectores normales exteriores" asociados.
Ramas en el Infinito: Utilización de la parametrización de las ramas de $p(x,y)=0$ en el infinito para relacionarlas con los bordes del polígono de Newton.
Propiedades de Degeneración y Submersión: Análisis de si $p$ es "degenerado" en bordes específicos (posee múltiples factores coprimos con $xy$) y aplicación de lemas relativos a submersiones polinomiales.
Enumeración Caso por Caso: Listado y eliminación sistemática de posibles configuraciones del polígono de Newton para polinomios de grado 7 con términos principales específicos.
Transformaciones de Coordenadas: Aplicación de cambios de variables afines (por ejemplo, $x := x + a$ o $y := y + cx^2$ ) para reducir casos complejos a escenarios de grado inferior ya resueltos o formas estándar.
Argumentos de Cambio de Signo: Uso del Lema 1.1 para demostrar que si la suma de ciertos vértices de los polígonos de Newton de $p$ y $q$ tiene una coordenada par, el Jacobiano cambia de signo, descartando así la existencia de un par jacobiano.

Contribuciones Clave y Resultados
El artículo establece los siguientes resultados principales:

Tipicidad para Términos Principales Específicos (Grado 7):
El autor demuestra que si $(p, q)$ es un par jacobiano con $\deg(p)=7$ , el par es típico (inyectivo) si la parte homogénea de mayor grado ( $p_+$ ) toma una de las siguientes formas:

$p_+ = \alpha x^7$ (donde $\alpha \neq 0$ ).
$p_+ = \beta x^6 y$ (donde $\beta \neq 0$ ).
$p_+ = \alpha x^7 + \beta x^6 y$ (donde $\alpha^2 + \beta^2 \neq 0$ ).

La demostración implica un análisis exhaustivo de todos los posibles polígonos de Newton para estos casos. El autor demuestra que para cada configuración posible, o bien el par es típico, o la existencia de un compañero jacobiano $q$ es imposible (por ejemplo, reduciendo el problema a un caso de grado 6, que es conocido por ser típico, o mostrando que el Jacobiano debe cambiar de signo).

No Existencia de Pares Atípicos con Grado $q$ Par:
El artículo demuestra que si $(p, q)$ es un par jacobiano con $\deg(p)=7$ y $\deg(q)$ es par y coprimo con 7, entonces el par es típico.

La demostración utiliza un cambio de variables lineal para asumir que $x$ divide al término principal de $p$ .
Mediante el análisis de los vértices de los polígonos de Newton de $p$ y $q$ , el autor muestra que la suma de estos vértices resulta en un vector con exactamente una coordenada par.
De acuerdo con el Lema 1.1, esto implica que el Jacobiano cambia de signo, contradiciendo la suposición de que $(p, q)$ es un par jacobiano.

Significancia y Alcance
El artículo contribuye a la resolución de las condiciones de grado para la Conjetura de Jacobiano Real. Al combinar ideas de trabajos previos (específicamente [4] y [12]), el autor estrecha el espacio de búsqueda para posibles contraejemplos.

Los resultados confirman que no existen pares jacobianos atípicos para $\deg(p)=7$ si el término principal es de la forma $\alpha x^7 + \beta x^6 y$ o si $\deg(q)$ es par y coprimo con 7.
El artículo hace referencia explícita al contraejemplo conocido con $\deg(p)=7$ y $\deg(q)=29$ (de [4]) y la verificación computacional que muestra que no existe contraejemplo para $\deg(q) \leq 15$ (de [2]).
El autor concluye que para encontrar el grado más pequeño posible de un par atípico con $\deg(p)=7$ , el trabajo futuro debe centrarse en determinar la existencia de compañeros atípicos para el polinomio específico $p_7 = x + y + 3xy + 3x^2y + 2x^2y^2 + 3x^3y^2 + x^4y^3$ con grados en el conjunto $\{17, 19, 21, 23, 25, 27, 28\}$ .

El artículo no pretende resolver completamente la conjetura para el grado 7, pero proporciona restricciones significativas que eliminan grandes clases de posibles contraejemplos, refinando así el problema abierto.

Más como este