A Counterexample to the Global Injectivity of a Jacobian Mapping in \mathbb{C}^5 and Its Analytical Roots

Resumen Técnico: Un Contraejemplo a la Inyectividad Global de un Mapeo Jacobiano en $\mathbb{C}^5$

Planteamiento del Problema
Este artículo aborda la Conjetura de Jacobiano, la cual postula que cualquier mapeo polinómico $F: \mathbb{C}^n \to \mathbb{C}^n$ con un determinante jacobiano constante y no nulo es globalmente invertible. Si bien los teoremas de reducción de Bass, Connell, Wright y Drużkowski han limitado el alcance de la conjetura a los mapeos cúbico-lineales (Drużkowski), este estudio investiga una estructura polinómica específica en $\mathbb{C}^5$ para probar los límites de la inyectividad global bajo condiciones de jacobiano unipotente.

Metodología
El autor construye un mapeo polinómico específico $G: \mathbb{C}^5 \to \mathbb{C}^5$ definido por $G(x) = x - \nabla F(x)$, donde $F$ es un polinomio homogéneo de grado 6. El polinomio $F$ está compuesto por cuatro "bloques armónicos tridiagonales" que involucran componentes reales e imaginarios derivados de la parte real de $(u+iv)^6$.

La metodología procede en tres etapas:

1. Análisis del Jacobiano: El autor demuestra que la matriz Hessiana $H_F(x)$ del polinomio definitorio es estrictamente tridiagonal. Al analizar la estructura algebraica de los coeficientes, se demuestra que las trazas de todas las potencias de $H_F(x)$ se anulan identicamente ($\text{Tr}(H_F^k) = 0$ para $k=1,\dots,5$). Esto prueba que $H_F(x)$ es nilpotente en todo el espacio, asegurando que el determinante jacobiano del mapeo $G$ es globalmente constante e igual a 1 ($\det(I - H_F) \equiv 1$).
2. Prueba de Inyectividad: Aprovechando el hecho de que $F$ consiste en monomios de grado par, el gradiente $\nabla F$ es una función impar. El autor reduce el problema de encontrar puntos distintos $a \neq b$ tales que $G(a) = G(b)$ a la búsqueda de raíces no triviales de la ecuación $\nabla F(a) = a$ (es decir, $G(a) = \vec{0}$).
3. Clasificación Analítica: El artículo realiza una derivación exhaustiva del conjunto de ceros $G(x) = \vec{0}$. Mediante el aislamiento de variables y la aplicación de ansatzes de proporcionalidad ($x_i = k x_j$) a subsistemas específicos, el autor resuelve las ecuaciones algebraicas resultantes para identificar familias distintas de soluciones.

Contribuciones Clave y Resultados
La contribución principal del artículo es la construcción de un contraejemplo a la inyectividad global de un mapeo polinómico unipotente en $\mathbb{C}^5$.

• Contraejemplo Explícito: El autor construye dos vectores dispersos distintos, $a = (c, 0, 0, 0, 0)$ y $b = (-c, 0, 0, 0, 0)$, donde $c = 6^{-1/4}$. Se demuestra rigurosamente que $G(a) = G(b) = \vec{0}$, demostrando así que el mapeo no es globalmente inyectivo a pesar de tener un determinante jacobiano de 1 en todos los puntos.
• Clasificación de los Conjuntos de Ceros: El artículo proporciona una clasificación detallada de las raíces analíticas del campo de gradiente, identificando un total de 37 soluciones complejas precisas organizadas en seis series geométricas distintas:
  1. Serie 1: Cuatro soluciones aisladas donde solo la primera coordenada es no nula ($x_1^4 = 1/6$).
  2. Serie 2: Cuatro soluciones donde solo la última coordenada es no nula ($x_5^4 = i/6$).
  3. Serie 3: Cuatro soluciones donde solo la coordenada central es no nula ($x_3^4 = 1/6$).
  4. Serie 4: Dieciséis soluciones formadas por combinaciones lineales independientes de la primera y la tercera coordenada.
  5. Serie 5: Una familia de soluciones en el límite derecho que involucra variables acopladas $x_4$ y $x_5$, determinadas por una ecuación cuadrática en el coeficiente de escala $k_R$.
  6. Serie 6: Una familia simétrica de soluciones en el límite izquierdo que involucra variables acopladas $x_1$ y $x_2$, determinadas por una ecuación cuadrática en el coeficiente de escala $k_L$.

Significado
El artículo sostiene que estos resultados resaltan la naturaleza compleja de las condiciones de estabilidad e inyectividad dentro del marco de la Conjetura de Jacobiano. Al exhibir un mapeo unipotente en $\mathbb{C}^5$ que falla en ser globalmente inyectivo, el trabajo subraya la dificultad de la conjetura y la riqueza del espacio de soluciones algebraicas incluso cuando el determinante jacobiano es trivialmente constante. Los hallazgos se presentan como una verificación de la no inyectividad para esta clase específica de mapeos, ofreciendo familias analíticas precisas de raíces complejas que desafían la suposición de que los determinantes jacobianos constantes implican la invertibilidad global en dimensiones superiores.