Counterexamples to the Jacobian conjecture in dimensions greater than two

Resumo Técnico: Contraexemplos para a Conjectura de Jacobian em Dimensões Maiores que Dois

Enunciado do Problema
A conjectura de Jacobian, formulada por Keller em 1939, afirma que qualquer aplicação polinomial $F: \mathbb{C}^n \to \mathbb{C}^n$ com um determinante jacobiano constante e não nulo (um mapa de Keller) deve ser um automorfismo polinomial (ou seja, possuir uma inversa polinomial). Embora a conjectura permaneça aberta para $n=2$, este artigo aborda o status da conjectura para dimensões $n > 2$. O trabalho baseia-se na refutação da conjectura em dimensão três anunciada por Alpoge (19 de julho de 2026), que forneceu um contraexemplo específico, e na subsequente construção de uma família infinita de contraexemplos por Gallagher. O problema central abordado aqui é generalizar o mecanismo por trás desses contraexemplos para todas as dimensões $n > 2$ e construir exemplos explícitos com graus geométricos arbitrariamente grandes.

Metodologia
O artigo emprega uma construção geométrica baseada no mecanismo de "varredura de tangente" (tangent sweep), originalmente isolado por Speyer. A metodologia procede em três estágios principais:

1. Varredura de Tangente: O autor constró de uma aplicação polinomial varrendo um campo de direções tangentes sobre uma hipersuperfície parametrizada. Para uma hipersuperfície parametrizada $X: \mathbb{C}^{n-2} \to \mathbb{C}^{n-1}$ e um campo tangente polinomial $\Delta$, uma aplicação de "varredura preenchida" (padded sweep) $F_0$ é definida. Mostra-se que o determinante jacobiano desta varredura é um polinômio em uma variável multiplicadora $\gamma$, especificamente da forma $\det J(F_0) = \sum L_k \gamma^{k+1}$.
2. Seleção de Ramos e Normalização: A construção baseia-se na seleção de "ramos" específicos onde o determinante jacobiano se simplifica para um termo monomial $c \gamma^{k+1}$. Isso requer a satisfação de critérios de tangência ($\det(\Delta, J(X)) \equiv 0$) e condições de normalização onde coeficientes específicos $L_k$ desaparecem ou tornam-se constantes. O artigo analisa diferentes tipos de campos de direção (tipo curva, tautológico e misto) para determinar quais ramos estão disponíveis em várias dimensões.
3. Torção Monomial: Para converter a varredura (que possui um jacobiano não constante) em um mapa de Keller (jacobiano constante), o autor aplica uma "torção monomial" (monomial twist). Isso envolve a composição da varredura com aplicações monomiais e um estágio afim para cancelar o fator $\gamma$ no jacobiano. Este processo introduz "condições laterais" (restrições de divisibilidade) sobre os coeficientes dos polinômios que definem a hipersuperfície. Crucialmente, esta torção empurra o locus de ramificação (onde a aplicação falha em ser injetiva) para o infinito, resultando em uma aplicação que é em toda parte não ramificada (étale), mas não própria.

Contribuições Principais e Resultados

• Estrutura Geral: O artigo estabelece uma construção geral válida para cada dimensão $n > 2$. Demonstra que, ao varrer campos de direções tangentes sobre hipersuperfícies parametrizadas e aplicar a torção monomial, é possível gerar contraexemplos de Keller em qualquer dimensão $n \ge 3$.
• Grau Geométrico Arbitrário: A construção produz contraexemplos de grau geométrico arbitrariamente grande (o número de pontos em uma fibra genérica). Para $n=3$, isso recupera a família de Gallagher. Para $n \ge 4$, o campo de direção do tipo curva permite que o grau geométrico seja aumentado arbitrariamente através da escolha de dados de alto grau.
• Cinco Contraexemplos Explícitos: O autor desenvolve cinco novas aplicações polinomiais explícitas:
  • Dimensão 3: Um mapa $G$ com graus de componentes 4, 11 e 12 (grau geométrico 4), baseado em uma curva quártica racional com dois cúspides e um nó.
  • Dimensão 4:
    • $F_4$: Um mapa com graus de componentes 4, 11, 12 e 21 (grau geométrico 5) derivado de uma superfície regrada não cilíndrica.
    • $F_5$: Um mapa com graus de componentes 3, 12, 14 e 16 (grau geométrico 10) derivado do "ramo M" de um campo de direção misto.
  • Dimensão 5:
    • $F_6$: Um mapa com graus de componentes 7, 38, 40, 42 e 44 (grau geométrico 6) derivado do campo de direção do tipo curva $\Delta = (1, w_1, w_1^2, w_2)^T$.
    • $F_7$: Um mapa com graus de componentes 7, 86, 89, 92 e 95 (grau geométrico 12) derivado do campo de direção do tipo curva, utilizando dados do tipo Keller transversais.
• Análise da Estrutura das Fibras: O artigo fornece descrições detalhadas das estruturas de fibras para esses mapas. Prova-se que o tamanho da fibra genérica é igual ao grau geométrico, enquanto fibras específicas degeneram para tamanhos menores (ou tornam-se vazias) sobre loci específicos (por exemplo, o hipersuperfície de Jelonek). Por exemplo, o mapa $G$ atinge todos os tamanhos de fibra em $\{4, 3, 2, 1, 0\}$.
• Fenômeno de Rigidez: Em dimensão 5, a análise do "ramo do meio" para o campo de direção misto revela um fenô tempo de rigidez. A equação governante para este ramo degenera em uma equação de transporte linear em um locus de invariância de característica, sugerindo que dados genuinamente de cinco dimensões não podem realizar este ramo; as soluções parecem ser suspensões de varreduras de quatro dimensões.

Significância e Alegações
O artigo afirma fornecer um relato autossuficiente do mecanismo de varredura de tangente, generalizando-o de curvas planas para campos de direção em hipersuperfícies. Sua principal significância reside em:

1. Completar a Refutação: Confirma que a conjectura de Jacobian é falsa para todas as dimensões $n > 2$, fornecendo um mecanismo unificado para contraexemplos em todas essas dimensões.
2. Explicitude: Diferente de provas de existência abstratas anteriores, este trabalho fornece cinco aplicações polinomiais totalmente explícitas com determinantes jacobianos e estruturas de fibras verificados.
3. Insight Geométrico: Esclarece a natureza geométrica dos contraexemplos: eles são coberturas étale $\mathbb{C}^n \to \mathbb{C}^n$ que falham em ser injetivas unicamente porque pré-imagens distintas escapam para o infinito em vez de colidirem em pontos finitos.
4. Propagação: A construção permite a propagação de contraexemplos ao longo da sequência $n \mapsto n+3$, sugerindo que contraexemplos em dimensões menores podem servir como dados para construir contraexemplos em dimensões superiores.

O autor observa que todas as identidades polinomiais e contagens de fibras foram verificadas usando aritmética racional exata e bases de Gröbner onde foi viável. Eles reconhecem que a estratificação completa das fibras para as aplicações de dimensões superiores ($F_4$ através de $F_7$) permanece como um tema para trabalhos futuros, embora as contagens de fibras genéricas tenham sido rigorosamente estabelecidas.