🔢 mathematics

The weak Markus--Yamabe conjecture fails in dimension 14

Este artículo refuta la conjetura débil de Markus–Yamabe para todas las dimensiones $n \geq 14$ mediante el establecimiento de un teorema de realización en cadena que transforma los mapas de Keller polinomiales en campos vectoriales de Hurwitz explícitos, construyendo así un contraejemplo en dimensión 14 con tres singularidades racionales.

Autores originales: Álvaro Castañeda, Gerardo Honorato, Francisco Valenzuela-Henríquez

Publicado 2026-08-07

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Álvaro Castañeda, Gerardo Honorato, Francisco Valenzuela-Henríquez

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 detective tratando de resolver un misterio sobre cómo se mueven las cosas. En el mundo de las matemáticas y la física, a menudo estudiamos "mapas" o "campos" que nos dicen cómo cambia un sistema de un momento a otro. Piensa en un mapa como un viento gigante e invisible soplando a través de un paisaje. Si dejas caer una hoja en cualquier lugar de este paisaje, el viento la empuja a lo largo de un camino específico.

Normalmente, queremos saber si el viento es "bien portado". Una pregunta clave es: ¿Pueden dos hojas diferentes terminar alguna vez en el mismo lugar exacto? En matemáticas, si un mapa envía dos puntos de partida diferentes al mismo destino, se dice que "no es inyectivo" (o no es uno a uno). También observamos la "velocidad y dirección" del viento en cada punto. Si el viento siempre empuja las cosas hacia un centro único y tranquilo (como el desagüe en una bañera), llamamos a eso un "mapa de Hurwitz".

Durante mucho tiempo, los matemáticos tuvieron una corazonada llamada la Conjetura Débil de Markus–Yamabe. Era una suposición esperanzadora: "Si el viento siempre empuja hacia un centro (haciendo que sea un mapa de Hurwitz), entonces debe ser imposible que dos hojas diferentes choquen en el mismo punto". En otras palabras, si el sistema es estable en todas partes, también debe ser único en todas partes. Esta idea se sabía cierta para paisajes simples y planos (2 dimensiones), pero nadie sabía si se mantenía en mundos más complejos y multidimensionales.

El Gran Choque en la Dimensión 14

En este artículo, un equipo de matemáticos —Álvaro Castañeda, Gerardo Honorato y Francisco Valenzuela–Henriquez— decidió poner a prueba esta "suposición esperanzadora" en dimensiones superiores. No solo supusieron; construyeron una máquina matemática explícita y masiva para demostrar que la suposición es errónea.

Su hallazgo principal es un dramático "no". Demostraron que la Conjetura Débil de Markus–Yamabe falla en la dimensión 14 y en cada dimensión superior a esa.

Así es como lo hicieron, usando una analogía lúdica:

El truco de la "Reacción en Cadena"
Imagina que tienes un mapa extraño y no inyectivo (una máquina que accidentalmente aplasta dos entradas distintas en la misma salida). Los autores encontraron una forma ingeniosa de tomar esta máquina "rota" y convertirla en un sistema de viento "Hurwitz". Lo hicieron utilizando un método de "Realización de Cadena" (Chain Realization).

Piénsalo de esta manera: Tienes un nudo de cuerda enredado (el mapa original). Los autores construyeron una larga escalera de 14 dimensiones. Ataron el nudo a la parte inferior de la escalera. Luego, diseñaron los peldaños de la escalera de modo que la "tensión" del nudo se transmita hacia arriba por la cadena, creando un viento que siempre empuja hacia un centro (haciendo que sea un mapa de Hurwitz). Pero aquí está el giro: debido a que el nudo en la parte inferior estaba aplastando dos puntos, el viento en la parte superior de la escalera termina teniendo tres centros tranquilos distintos (singularidades) donde el viento se detiene.

El Resultado: Una tormenta con tres centros tranquilos
En un mundo normal y bien portado, si el viento siempre empuja hacia un centro, esperas solo un centro. Pero los autores construyeron un campo de viento polinómico específico en un espacio de 14 dimensiones (un mundo que no podemos visualizar, pero que podemos calcular) que tiene tres puntos racionales distintos donde el viento se detiene.

Aún más sorprendente, en cada punto de este mundo de 14 dimensiones, la "velocidad del viento" (la matriz Jacobiana) está perfectamente ajustada para empujar todo hacia un centro. ¡Sin embargo, hay tres centros diferentes! Esto demuestra que puedes tener un sistema que es localmente estable en todas partes (Hurwitz) pero que aún tiene múltiples destinos, rompiendo la conjetura.

La Alternativa "Cúbica"
Los autores no se detuvieron ahí. También intentaron hacer el viento más simple. Usualmente, estas máquinas complejas están hechas de polinomios de grado alto (como una ecuación de grado 7, que es muy ondulada y compleja). Los autores encontraron una segunda forma de construir este contraejemplo usando una "deshomogeneización de rango reducido". Este método creó un campo de viento en un espacio de 18 dimensiones que es mucho más simple (solo de grado 3, como una curva simple), pero que sigue teniendo el mismo problema: tres centros tranquilos donde el viento se detiene.

Qué significa esto
El artículo descarta explícitamente la idea de que la Conjetura Débil de Markus–Yamabe sea cierta para todos los mapas polinómicos. Han demostrado (no solo sugerido) que en dimensiones 14 y superiores, puedes tener un sistema "Hurwitz" que no es inyectivo.

Sin embargo, son muy cuidadosos con lo que no han resuelto. Las dimensiones entre 3 y 13 siguen siendo un misterio. No saben si este "torbellino de tres centros" puede ocurrir en 3D, 4D o 13D. Su construcción requiere que el espacio sea de al menos 14 dimensiones para poder trabajar con el mapa específico que utilizaron. Así que, aunque destrozaron la conjetura en el reino de las altas dimensiones, la pregunta para las "dimensiones bajas" sigue abierta.

¿Por qué debería importarte?
Esto no es solo sobre números abstractos. Conecta dos áreas enormes de las matemáticas: la "Conjetura de Jacobiano" (sobre si ciertas ecuaciones algebraicas pueden invertirse) y la "Conjetura de Markus–Yamabe" (sobre la estabilidad en sistemas dinámicos). Los autores demostraron que un descubrimiento reciente sobre un mapa algebraico "roto" (una colisión de fibras) puede traducirse directamente en un sistema de estabilidad "roto".

En resumen, tomaron una colisión algebraica conocida y la convirtieron en un sistema dinámico con múltiples puntos estables. Demostraron que, en altas dimensiones, la "estabilidad en todas partes" no garantiza la "unicidad en todas partes". El universo de los vientos de 14 dimensiones es un lugar donde puedes tener tres desagües en la misma bañera, y el agua fluirá felizmente hacia cualquiera de ellos, dependiendo de dónde empezaste.

Resumen Técnico: La Conjetura Débil de Markus–Yamabe Falla en Dimensión 14

Planteamiento del Problema
El artículo aborda la Conjetura Débil de Markus–Yamabe, la cual postula que cualquier aplicación $C^1$ $X: \mathbb{R}^n \to \mathbb{R}^n$ es inyectiva si su matriz jacobiana $JX(x)$ tiene autovalores con partes reales estrictamente negativas para todo $x \in \mathbb{R}^n$ (un mapa de Hurwitz). Mientras que la conjetura clásica (que afirma que la singularidad es un atractorador global) es conocida por ser falsa para $n > 2$ , la versión débil relativa a la inyectividad permanecía abierta para aplicaciones polinomiales en dimensiones $n \ge 3$ . Los autores pretenden determinar si la conjetura débil se cumple para mapas de Hurwitz polinomiales, investigando específicamente la conexión entre esta conjetura y la Conjetura de Jacobiano.

Metodología
Los autores emplean dos construcciones algebraicas distintas para transformar aplicaciones polinomiales no inyectivas (mapas de Keller) en campos vectoriales polinomiales con jacobianos de Hurwitz que poseen múltiples singularidades.

Teorema de Realización en Cadena (Teorema 1.2):
- Los autores introducen un mecanismo de "realización en cadena" que convierte un mapa de Keller polinomial $F = \text{Id} + H$ (donde $H$ no tiene términos constantes ni lineales) en un campo vectorial $X_{F, \beta}$ en un espacio de mayor dimensión $\mathbb{R}^N$ .
- La dimensión se calcula como $N = \sum_{i=1}^n \max(d_i, 2) - n$ , donde $d_i$ son los grados de los componentes de $F$ .
- La construcción utiliza un lema de similitud graduada (Lema 2.6), una generalización de los argumentos de escalamiento utilizados para mapas homogéneos cúbicos. Este lema demuestra que si el determinante de $I - M(u)$ es constante, entonces $M(u)$ es nilpotente.
- Al aplicar esto a un mapa de Keller con una fibra no trivial (múltiples puntos que mapean al mismo valor), el campo vectorial resultante $X$ tiene un espectro jacobiano de $\{-1\}$ en todos los puntos (lo que lo hace de Hurwitz) y un conjunto singular en biyección polinomial con la fibra de $F$ .
Deshomogeneización de Rango Reducido (Sección 7):
- Una segunda construcción minimiza el grado del campo vectorial resultante en lugar de la dimensión.
- Partiendo de una estabilización cúbica de un mapa de Keller, los autores aplican una técnica de reducción de rango a la parte homogénea cúbica. Al descomponer el término cúbico $C$ en $E\tilde{C}$ basado en el rango de los componentes, construyen una aplicación $K_E$ en un espacio extendido.
- Este método produce un campo vectorial de Hurwitz de grado tres, independiente de la construcción en cadena.

Contribuciones Clave y Resultados

Contraejemplo en Dimensión 14:
Aplicando el Teorema de Realización en Cadena al reciente contraejemplo explícito a la Conjetura de Jacobiano anunciado por Alpöge (un mapa de Keller no inyectivo $F: \mathbb{R}^3 \to \mathbb{R}^3$ con coeficientes racionales y tres puntos distintos en la misma fibra), los autores construyen una aplicación de campo vectorial polinomial explícita $X: \mathbb{R}^{14} \to \mathbb{R}^{14}$ .
- Propiedades: El campo es de grado siete. Su matriz jacobiana tiene un espectro de $\{-1\}$ en cada punto.
- Singularidades: El campo posee tres singularidades racionales distintas ( $S_1, S_2, S_3$ ).
- Conclusión: Dado que un mapa de Hurwitz con múltiples singularidades no puede ser inyectivo, la Conjetura Débil de Markus–Yamabe es falsa en la dimensión 14. Mediendo la aplicación de forma trivial, se muestra que la conjetura falla para todas las dimensiones $n \ge 14$ .
Contraejemplo en Dimensión 18 (Grado 3):
Utilizando la deshomogeneización de rango reducido sobre la misma aplicación subyacente, los autores construyen un campo vectorial de Hurwitz polinomial en $\mathbb{R}^{18}$ .
- Propiedades: Este campo es de grado tres y también posee tres singularidades racionales distintas.
Contraejemplo Discreto:
El artículo señala que la aplicación $G = \text{Id} + X$ (donde $X$ es el campo de dimensión 14) tiene un jacobiano nilpotente en cada punto y tres puntos fijos localmente asintóticamente estables, refutando el análogo discreto del problema.

Significado y Reivindicaciones
El artículo establece que la Conjetura Débil de Markus–Yamabe falla dentro de la clase de aplicaciones polinomiales para dimensiones $n \ge 14$ . La importancia radica en la construcción explícita de estos contraejemplos utilizando el reciente avance sobre la Conjetura de Jacobiano.

Reversión de la Lógica: Históricamente, la conexión entre la Conjetura de Jacobiano y la Conjetura Débil de Markus–Yamabe se veía como: "Si la Conjetura Débil es verdadera, entonces la Conjetora de Jacobiano es verdadera". Este artículo demuestra el mecanismo inverso: "Dado que la Conjetura de Jacobiano es falsa (vía el contraejemplo de Alpöge), la Conjetura Débil también debe ser falsa en dimensiones suficientemente altas".
Naturaleza de la Obstrucción: A diferencia de los contraejemplos clásicos a la conjetura fuerte de Markus–Yamabe (que involucran órbitas que escapan al infinito), la obstrucción aquí es la coexistencia de múltiples equilibrios (sumideros hiperbólicos). Los campos vectoriales son localmente contraídos en todas partes pero fallan en ser globalmente inyectivos debido a la presencia de múltiples cuencas de atracción.
Dimensiones Abiertas: Los autores declaran explícitamente que sus construcciones no resuelven el estatus de la conjetura para dimensiones $3 \le n \le 13$ . La dimensión 14 depende de la estructura de grado específica del mapa de Alpöge; minimizar la dimensión aún más requeriría encontrar un mapa de Keller con grados de componentes menores o optimizar la aplicación mediante automorfismos polinomiales, lo cual sigue siendo un problema abierto.

El artículo concluye que, si bien la colisión algebraica de fibras en el contexto de la Conjetura de Jacobiano se traduce directamente en un sistema dinámico polinomial con múltiples sumideros hiperbólicos, el umbral dimensional específico para el contraejemplo más bajo sigue sin determinarse.

El Gran Choque en la Dimensión 14

Más como este