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

Resumo Técnico: Um Contraexemplo à Injetividade Global de um Mapeamento Jacobiano em $\mathbb{C}^5$

Enunciado do Problema
Este artigo aborda a Conjectura de Jacobian, que postula que qualquer mapeamento polinomial $F: \mathbb{C}^n \to \mathbb{C}^n$ com um determinante jacobiano constante e não nulo é globalmente invertível. Embora teoremas de redução por Bass, Connell, Wright e Drużkowski tenham limitado o escopo da conjectura para mapeamentos cúbico-lineares (Drużkowski), este estudo investiga uma estrutura polinomial específica em $\mathbb{C}^5$ para testar os limites da injetividade global sob condições de jacobiano unipotente.

Metodologia
O autor constrói um mapeamento polinomial específico $G: \mathbb{C}^5 \to \mathbb{C}^5$ definido por $G(x) = x - \nabla F(x)$, onde $F$ é um polinômio homogêneo de grau 6. O polinômio $F$ é composto por quatro "blocos harmônicos tridiagonais" envolvendo componentes reais e imaginários derivados da parte real de $(u+iv)^6$.

A metodologia procede em três estágios:

1. Análise do Jacobiano: O autor demonstra que a matriz Hessiana $H_F(x)$ do polinômio definidor é estritamente tridiagonal. Ao analisar a estrutura algébrica dos coeficientes, mostra-se que os traços de todas as potências de $H_F(x)$ desaparecem identicamente ($\text{Tr}(H_F^k) = 0$ para $k=1,\dots,5$). Isso prova que $H_F(x)$ é nilpotente em todos os pontos, garantindo que o determinante jacobiano do mapeamento $G$ é globalmente constante e igual a 1 ($\det(I - H_F) \equiv 1$).
2. Teste de Injetividade: Aproveitando o fato de que $F$ consiste em monômios de grau par, o gradiente $\nabla F$ é uma função ímpar. O autor reduz o problema de encontrar pontos distintos $a \neq b$ tal que $G(a) = G(b)$ à busca por raízes não triviais da equação $\nabla F(a) = a$ (ou seja, $G(a) = \vec{0}$).
3. Classificação Analítica: O artigo realiza uma derivação abrangente do conjunto de zeros $G(x) = \vec{0}$. Ao isolar variáveis e aplicar ansatzes de proporcionalidade ($x_i = k x_j$) a subsistemas específicos, o autor resolve as equações algébricas resultantes para identificar famílias distintas de soluções.

Principais Contribuições e Resultados
A principal contribuição do artigo é a construção de um contraexemplo para a injetividade global de um mapeamento polinomial unipotente em $\mathbb{C}^5$.

• Contraexemplo Explícito: O autor constrói dois vetores esparsos distintos, $a = (c, 0, 0, 0, 0)$ e $b = (-c, 0, 0, 0, 0)$, onde $c = 6^{-1/4}$. É rigorosamente provado que $G(a) = G(b) = \vec{0}$, demonstrando assim que o mapeamento não é globalmente injetivo, apesar de possuir um determinante jacobiano de 1 em todos os pontos.
• Classificação dos Conjuntos de Zeros: O artigo fornece uma classificação detalhada das raízes analíticas do campo de gradiente, identificando um total de 37 soluções complexas precisas organizadas em seis séries geométricas distintas:
  1. Série 1: Quatro soluções isoladas onde apenas a primeira coordenada é não nula ($x_1^4 = 1/6$).
  2. Série 2: Quatro soluções onde apenas a última coordenada é não nula ($x_5^4 = i/6$).
  3. Série 3: Quatro soluções onde apenas a coordenada central é não nula ($x_3^4 = 1/6$).
  4. Série 4: Dezesseis soluções formadas por combinações lineares independentes das coordenadas primeira e terceira.
  5. Série 5: Uma família de soluções no limite direito envolvendo variáveis acopladas $x_4$ e $x_5$, determinadas por uma equação quadrática no coeficiente de escala $k_R$.
  6. Série 6: Uma família simétrica de soluções no limite esquerdo envolvendo variáveis acopladas $x_1$ e $x_2$, determinada por uma equação quadrática no coeficiente de escala $k_L$.

Significância
O artigo afirma que estes resultados destacam a natureza complexa das condições de estabilidade e injetividade dentro do arcabouço da Conjectura de Jacobian. Ao exibir um mapeamento unipotente em $\mathbb{C}^5$ que falha em ser globalmente injetivo, o trabalho ressalta a dificuldade da conjectura e a riqueza do espaço de solução algébrica, mesmo quando o determinante jacobiano é trivialmente constante. Os achados são apresentados como uma verificação de não-injetividade para esta classe específica de mapeamentos, oferecendo famílias analíticas precisas de raízes complexas que desafiam a suposição de que determinantes jacbianos constantes implicam invertibilidade global em dimensões superiores.