🔢 mathematics

Proof of Miyanishi's conjecture on endomorphisms of varieties

O artigo demonstra que todo endomorfismo birracional injetivo fora de um subconjunto fechado de codimensão pelo menos 2 em uma variedade quasi-projetiva é um automorfismo, confirmando assim a conjectura de Miyanishi e generalizando um teorema clássico de Ax.

Autores originais: Supravat Sarkar

Publicado 2026-02-19

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Supravat Sarkar

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem um mapa de uma cidade (que chamaremos de X). Este mapa representa um "espaço geométrico" onde vivem pontos e formas.

Agora, imagine que você tem um transformador mágico (chamado de $\phi$ ) que pega essa cidade e a desenha novamente em cima dela mesma.

O Problema: O Mapa que "Aperta" a Cidade

Na matemática, existe uma pergunta antiga e difícil: Se esse transformador mágico não "espremer" ou "duplicar" quase nenhuma parte da cidade, ele é, na verdade, um espelho perfeito? Ou seja, ele apenas move as coisas sem destruir nada, mantendo a cidade exatamente como era (um "isomorfismo")?

A maioria dos matemáticos sabia que, se o transformador não tocasse em nenhum ponto da cidade (fosse injetor em todo lugar), ele seria um espelho perfeito. Isso foi provado há muito tempo.

Mas e se o transformador for um pouco "desajeitado"? E se ele apertar ou bagunçar um pequeno pedaço da cidade?

Se ele bagunçar uma linha inteira (como uma rua), a cidade muda de forma e não é mais um espelho perfeito.
Mas, e se ele bagunçar apenas pontos soltos ou pedaços muito pequenos que nem ocupam uma dimensão inteira (como um ponto no meio de uma rua, ou um ponto no meio de um prédio)?

O matemático Miyanishi fez uma aposta (uma conjectura) em 1980: "Se o transformador só bagunçar pedaços tão pequenos que são 'invisíveis' em termos de dimensão (chamados de codimensão $\ge 2$ ), então ele ainda é um espelho perfeito!"

A Solução de Supravat Sarkar

O autor deste artigo, Supravat Sarkar, finalmente provou que Miyanishi estava certo. Ele mostrou que, não importa o tamanho da cidade ou o tipo de matemática usada (o "campo" onde ela vive), se o transformador só bagunçar pedaços minúsculos (como pontos isolados), ele não pode ter mudado a estrutura da cidade. Ele é, obrigatoriamente, um espelho perfeito.

Como ele provou isso? (A Analogia da "Balança de Tesouros")

Para provar isso, Sarkar usou duas ideias principais, que podemos imaginar como uma balança e um cofre de tesouros:

1. O Cofre de Tesouros (Grupos de Classes)
Imagine que a cidade tem um "Cofre de Tesouros" (o Grupo de Classes). Dentro dele, guardamos todos os tipos de "pedaços de terra" (divisores) que podem existir na cidade.

Sarkar provou que, para qualquer cidade razoável, esse cofre não é infinito e caótico. Ele tem um tamanho limitado e organizado. É como dizer que, embora a cidade seja grande, o número de "tipos de terrenos" possíveis é finito e controlável.

2. A Balança de Pesos (O Teorema da Dimensão)
Agora, imagine que o transformador mágico ( $\phi$ ) tenta pegar o cofre de tesouros da cidade original e colocar na nova versão da cidade.

Se o transformador fosse "desajeitado" (não fosse um espelho perfeito), ele teria que apertar ou colar dois pontos diferentes em um só (como apertar duas pontas de uma fita elástica até elas se tocarem).
Sarkar mostrou que, se isso acontecesse, o "peso" do cofre de tesouros da nova cidade teria que ser menor do que o da cidade original.
O Pulo do Gato: Como o transformador só mexe em pedaços minúsculos (pontos), ele não tem "força" suficiente para reduzir o tamanho desse cofre de tesouros. A balança não se move!
Se a balança não se move, significa que o transformador não apertou nada. Ele manteve tudo intacto. Logo, ele é um espelho perfeito.

Por que isso é importante?

Antes desse trabalho, os matemáticos só sabiam que isso era verdade para cidades muito simples (como planos ou superfícies) ou para cidades com formas muito específicas. Sarkar provou que isso vale para qualquer cidade (variedade quasi-projetiva), não importa quão complexa ela seja.

É como se ele tivesse dito: "Não importa o quão estranho seja o seu mapa, se o seu transformador mágico só mexer em poeira (pontos soltos), ele não consegue mudar a essência do lugar. O mapa continua sendo o mesmo."

Resumo em uma frase

Se você tentar "reorganizar" um espaço geométrico e só cometer erros em pontos tão pequenos que eles nem formam uma linha, você, na verdade, não cometeu nenhum erro: você apenas manteve o espaço exatamente como ele era.

1. O Problema

O artigo aborda um problema fundamental na geometria algébrica sobre a natureza dos endomorfismos de variedades algébricas. Especificamente, investiga-se sob quais condições um endomorfismo birracional $\phi: X \to X$ de uma variedade $X$ é necessariamente um isomorfismo (automorfismo).

Contexto Histórico: Teoremas clássicos, como o de Ax, estabeleceram que endomorfismos injetivos em variedades completas ou sobre corpos algebricamente fechados de característica zero são bijetivos. No entanto, para variedades não completas, a injetividade global é uma hipótese forte.
A Conjectura de Miyanishi (1980s): Miyanishi conjecturou que, se $X$ é uma variedade sobre $\mathbb{C}$ e $\phi$ é um endomorfismo que é injetivo fora de um subconjunto fechado de codimensão $\ge 2$ , então $\phi$ deve ser um isomorfismo.
Limitações Conhecidas: Antes deste trabalho, a conjectura era conhecida apenas para casos específicos: variedades normais, variedades $Q$ -fatoriais, variedades afins ou completas, e dimensões $\le 2$ . O caso geral para variedades quasi-projetivas sobre corpos arbitrários permanecia em aberto.

2. Metodologia

A prova de Sarkar utiliza uma abordagem que combina geometria birracional, teoria de divisores e propriedades de grupos de classes de Weil. A estratégia central não depende de características específicas do corpo base (como característica zero), permitindo uma generalização robusta.

Os passos metodológicos principais são:

Redução a Corpos Finitamente Gerados: O autor demonstra que o problema pode ser reduzido ao caso onde o corpo base $k$ é finitamente gerado sobre seu corpo primo. Isso permite o uso de técnicas de aritmética e geometria sobre corpos finitamente gerados.
Normalidade: Utilizando resultados anteriores (referência [8]), assume-se sem perda de generalidade que a variedade $X$ é normal.
Análise de Grupos de Classes (Lema 2.1):
- O autor estabelece um resultado de finitude sobre o grupo de classes de Weil $Cl(X)$.
- Prova-se que o espaço vetorial $Cl(X) \otimes \mathbb{Q}$ é de dimensão finita para variedades sobre corpos finitamente gerados.
- Estabelece-se que, se $X$ é birracional a uma variedade própria e geometricamente normal, $Cl(X)$ é um grupo abeliano finitamente gerado.
Comparação de Dimensões de Quocientes (Lema 2.2):
- Este é o núcleo da prova. O autor compara a dimensão do espaço vetorial $Cl(X)/Pic(X) \otimes \mathbb{Q}$ antes e depois da aplicação do morfismo $\phi$ .
- Define-se o lugar excepcional $Ex(\phi)$ . Se $\phi$ não for uma imersão aberta, o lugar excepcional é não vazio.
- Utiliza-se o Teorema do Ponto Principal de Zariski e a existência de divisores de Cartier efetivos (possibilitada pela quasi-projetividade) para construir um divisor que demonstra que o mapa induzido nos grupos de classes não é injetivo.
- Conclui-se que, se $\phi$ não for uma imersão aberta, a dimensão do grupo quociente diminui estritamente: $\dim (Cl(Y)/Pic(Y) \otimes \mathbb{Q}) < \dim (Cl(X)/Pic(X) \otimes \mathbb{Q})$ .
Argumento de Contradição: Como o grupo de classes é finitamente gerado (dimensão finita), não é possível ter uma sequência estritamente decrescente de dimensões sob iterações ou transformações birracionais que não sejam isomorfismos. Isso força $\phi$ a ser uma imersão aberta.
Finalização: Combinando o fato de $\phi$ ser uma imersão aberta com o Teorema de Ax (que garante a sobrejetividade para endomorfismos injetivos), conclui-se que $\phi$ é um isomorfismo.

3. Principais Contribuições

Prova da Conjectura de Miyanishi: O artigo fornece a prova definitiva da Conjectura 1.1 para todas as variedades quasi-projetivas.
Generalização de Característica: O teorema principal (Teorema A) é válido para qualquer corpo $k$ , incluindo corpos de característica positiva. O autor nota explicitamente que a hipótese de birracionalidade é necessária em característica positiva (devido ao mapa de Frobenius), mas a conclusão de isomorfismo permanece.
Novo Resultado sobre Grupos de Classes: O Lema 2.1, que estabelece a finitude da dimensão de $Cl(X) \otimes \mathbb{Q}$ e a estrutura de grupo finitamente gerado sob certas condições, é apresentado como um resultado de interesse independente na teoria de variedades.
Relaxamento de Hipóteses: O trabalho remove a necessidade de $X$ ser afim, completa ou $Q$ -fatorial, cobrindo o caso geral de variedades quasi-projetivas.

4. Resultados Principais

O resultado central é formalizado no Teorema A:

Seja $X$ uma variedade quasi-projetiva sobre um corpo arbitrário $k$ , e $\phi: X \to X$ um morfismo birracional que é injetivo fora de um subconjunto fechado de codimensão $\ge 2$ em $X$ . Então, $\phi$ é um isomorfismo.

Observação Técnica: O autor destaca que a quasi-projetividade é usada essencialmente para garantir a separação de pontos por divisores de Cartier (Lema 2.2). Ele observa que o teorema se mantém para variedades que não são necessariamente quasi-projetivas, desde que satisfaçam essa propriedade de separação por divisores.

5. Significado

Este trabalho representa um avanço significativo na teoria dos endomorfismos de variedades algébricas:

Unificação: Unifica casos conhecidos anteriormente (como o teorema de Ax e resultados para variedades afins) em um único teorema abrangente.
Robustez: A prova é robusta o suficiente para lidar com corpos de característica positiva, um cenário onde muitas ferramentas da geometria complexa falham.
Ferramentas Novas: A introdução de argumentos baseados na finitude de grupos de classes e na comparação de dimensões de quocientes $Cl/Pic$ oferece uma nova ferramenta metodológica para problemas de birracionalidade e singularidades em geometria algébrica.
Resolução de Problema Aberto: Resolve uma conjectura antiga (Miyanishi) que permanecia sem solução completa por décadas, fechando uma lacuna importante na compreensão da rigidez de endomorfismos birracionais.