A note on the real Jacobian conjecture in degree 7

Enunciado do Problema
O artigo aborda a Conjectura de Jacobiano Real, que postula que um mapa polinomial $(p, q): \mathbb{R}^2 \to \mathbb{R}^2$ com um determinante de Jacobiano não nulo (um par de Jacobiano) deve ser injetivo. Embora se saiba que existem pares de Jacobiano atípicos (contraexemplos à injetividade), as condições de grau específicas sob as quais eles podem ocorrer permanecem sob investigação. O autor foca no caso em que o grau do primeiro polinômio, $p$, é 7. Trabalhos anteriores estabeleceram que se $\deg(p) \leq 6$, o par é sempre típico (injetivo). Resultados recentes mostraram a existência de um par atípico com $\deg(p)=7$ e $\deg(q)=29$. Este artigo investiga se existem pares atípicos para $\deg(p)=7$ sob restrições específicas sobre a parte homogênea de maior grau de $p$ e a paridade de $\deg(q)$.

Metodologia
O autor emprega uma abordagem geométrica centrada no polígono de Newton do polinômio $p$. As principais ferramentas metodológicas incluem:

• Análise do Polígono de Newton: O estudo do invólucro convexo do suporte de $p$ ($\Delta_p$), focando especificamente em "arestas externas" e seus "vetores normais externos" associados.
• Ramos no Infinito: Utilizando a parametrização de ramos de $p(x,y)=0$ no infinito para relacioná-los às arestas do polígono de Newton.
• Propriedades de Degenerescência e Submersão: Analisando se $p$ é "degenerado" em arestas específicas (possuindo múltiplos fatores coprimos com $xy$) e aplicando lemas relativos a submersões polinomiais.
• Enumeração Caso a Caso: Listando e eliminando sistematicamente possíveis configurações de polígonos de Newton para polinômios de grau 7 com termos principais específicos.
• Transformações de Coordenadas: Aplicando mudanças de variáveis afins (por exemplo, $x := x + a$ ou $y := y + cx^2$) para reduzir casos complexos a cenários de graus menores já resolvidos ou formas padrão.
• Argumentos de Mudança de Sinal: Usando o Lema 1.1 para demonstrar que, se a soma de certos vértices dos polígonos de Newton de $p$ e $q$ possui uma coordenada par, o Jacobiano muda de sinal, descartando assim a existência de um par de Jacobiano.

Principais Contribuições e Resultados
O artigo estabelece os seguintes resultados principais:

1. Tipicidade para Termos Principais Específicos (Grau 7):
   O autor prova que, se $(p, q)$ é um par de Jacobiano com $\deg(p)=7$, o par é típico (injetivo) se a parte homogênea de maior grau ($p_+$) assumir uma das seguintes formas:
   • $p_+ = \alpha x^7$ (onde $\alpha \neq 0$).
   • $p_+ = \beta x^6 y$ (onde $\beta \neq 0$).
   • $p_+ = \alpha x^7 + \beta x^6 y$ (onde $\alpha^2 + \beta^2 \neq 0$).

A prova envolve uma análise exaustiva de todos os possíveis polígonos de Newton para esses casos. O autor demonstra que, para cada configuração possível, ou o par é típico, ou a existência de um companheiro de Jacobiano $q$ é impossível (por exemplo, reduzindo o problema a um caso de grau 6, que é conhecido por ser típico, ou mostrando que o Jacobiano deve mudar de sinal).

2. Não Existência de Pares Atípicos com Grau $q$ Par:
   O artigo prova que, se $(p, q)$ é um par de Jacobiano com $\deg(p)=7$ e $\deg(q)$ é par e coprimo com 7, então o par é típico.
   • A prova utiliza uma mudança de variáveis linear para assumir que $x$ divide o termo principal de $p$.
   • Ao analisar os vértices dos polígonos de Newton de $p$ e $q$, o autor mostra que a soma desses vértices resulta em um vetor com exatamente uma coordenada par.
   • De acordo com o Lema 1.1, isso implica que o Jacobiano muda de sinal, contradizendo a suposição de que $(p, q)$ é um par de Jacobiano.

Significância e Escopo
O artigo contribui para a resolução das condições de grau para a Conjectura de Jacobiano Real. Ao combinar ideias de trabalhos anteriores (especificamente [4] e [12]), o autor estreita o espaço de busca para potenciais contraexemplos.

• Os resultados confirmam que não existem pares de Jacobiano atípicos para $\deg(p)=7$ se o termo principal for da forma $\alpha x^7 + \beta x^6 y$ ou se $\deg(q)$ for par e coprimo com 7.
• O artigo faz referência explícita ao contraexemplo conhecido com $\deg(p)=7$ e $\deg(q)=29$ (de [4]) e à verificação computacional mostrando que nenhum contraexemplo existe para $\deg(q) \leq 15$ (de [2]).
• O autor conclui que, para encontrar o menor grau possível de um par atípico com $\deg(p)=7$, o trabalho futuro deve focar em determinar a existência de companheiros atípicos para o polinômio específico $p_7 = x + y + 3xy + 3x^2y + 2x^2y^2 + 3x^3y^2 + x^4y^3$ com graus no conjunto $\{17, 19, 21, 23, 25, 27, 28\}$.

O artigo não pretende resolver totalmente a conjectura para o grau 7, mas fornece restrições significativas que eliminam grandes classes de potenciais contraexemplos, refinando assim o problema em aberto.