Measures of association between algebraic varieties, II: self-correspondences

Seguindo uma sugestão de Jordan Ellenberg, este artigo estuda medidas de complexidade para auto-correspondências de certas classes de variedades e responde a uma questão de Rhyd sobre curvas contidas no quadrado de uma curva hiperelíptica muito geral.

O essencial

Imagine que você tem um conjunto de formas geométricas complexas, chamadas variedades algébricas. Pense nelas como objetos tridimensionais (ou de dimensões ainda maiores) que podem ser curvas, superfícies ou coisas ainda mais abstratas.

O objetivo deste artigo é responder a uma pergunta fundamental: Quão diferentes são duas dessas formas? Ou, mais especificamente, quão "conectadas" elas podem ser?

Os autores, Robert Lazarsfeld e Olivier Martin, estão dedicando este trabalho a Claire Voisin, uma gigante da matemática, para celebrar seu aniversário de 60 anos. Eles querem medir a "distância" entre duas formas geométricas do mesmo tamanho.

Aqui está a explicação simplificada, usando analogias do dia a dia:

1. O Conceito Principal: "Correspondências" (A Ponte entre Formas)

Para medir a distância entre duas formas (digamos, a Forma A e a Forma B), os matemáticos constroem uma ponte entre elas.

• Imagine que você tem duas ilhas (as formas).
• Para conectar uma à outra, você constrói um sistema de balsas ou pontes (chamado de correspondência).
• Quanto mais complexa e "gasta" for essa ponte, mais diferentes as ilhas são.
• Se você consegue construir uma ponte muito simples (quase uma cópia exata), as ilhas são muito parecidas (são "biracionalmente isomórficas").

O artigo foca em um caso especial: Auto-correspondências.

• Em vez de conectar a Ilha A à Ilha B, eles conectam a Ilha A a si mesma.
• A pergunta é: "Qual é a maneira mais simples de conectar uma forma a si mesma, sem que seja apenas uma cópia perfeita (o que seria chato)?"

2. A Medida de "Distância" (O Custo da Ponte)

Eles definem um número chamado grau de auto-correspondência (autocorr).

• Pense nisso como o "custo" ou o "esforço" necessário para fazer essa conexão.
• Se o custo for 1, significa que a forma tem uma simetria especial (como uma roda que gira e se encaixa perfeitamente em si mesma).
• Se o custo for alto, significa que a forma é "teimosa" e difícil de conectar a si mesma de formas interessantes.

Os autores descobrem que, para formas muito "genéricas" (ou seja, formas que não têm propriedades especiais ou simetrias escondidas), o custo mínimo dessa ponte é determinado por quão difícil é "achatar" essa forma em um espaço mais simples (como projetar uma esfera em um plano).

3. Os Três Grandes Descobertas (Os Resultados)

O artigo prova três coisas principais, que podemos traduzir assim:

A. Para Curvas (Linhas Dobradas)

Imagine uma linha de ferro que se dobra de formas complexas (uma curva de gênero $g$).

• A Descoberta: Se você pegar uma curva "comum" (muito geral) e tentar conectá-la a si mesma, a maneira mais eficiente de fazer isso é usando uma "ponte" que surge de uma projeção simples.
• A Analogia: É como tentar desenhar um mapa de uma cidade complexa. A maneira mais eficiente de conectar todos os pontos a si mesmos é seguindo as ruas principais (o "mapa de gonabilidade"). Não existem atalhos mágicos ou caminhos secretos mais curtos. A "distância" é exatamente o que a matemática previa.

B. Para Superfícies e Hiperespaços (Hipersuperfícies)

Agora imagine uma superfície complexa no espaço (como uma bola deformada em dimensões superiores).

• A Descoberta: Para superfícies muito complexas (grau alto), a única maneira de fazer uma conexão eficiente consigo mesma é projetando a superfície a partir de um ponto específico (como olhar uma montanha de um ponto de vista e ver a sombra dela).
• A Analogia: Se você tentar conectar uma montanha complexa a si mesma de qualquer outra forma, a "ponte" será gigantesca e ineficiente. A única maneira inteligente é olhar de cima (projeção) e usar a sombra. Qualquer outra tentativa é um desperdício de energia.

C. O Mistério das Curvas Hiperelípticas (O Caso Especial)

Aqui entra uma curiosidade. Existem curvas especiais chamadas "hiperelípticas" (que têm uma simetria especial, como um espelho).

• A Pergunta: Se você pegar uma dessas curvas especiais e tentar colocar uma outra curva especial dentro do "quadrado" dela (o produto $X \times X$), o que acontece?
• A Descoberta: Não existem surpresas! As únicas curvas especiais que cabem lá dentro são:
  1. A própria curva (o diagonal).
  2. A curva refletida pelo espelho (o invulante hiperelíptico).
  3. As linhas que vêm das projeções.
• A Analogia: Imagine que você tem um espelho mágico. Você pergunta: "Quais outras imagens mágicas podem aparecer neste espelho?" A resposta é: "Apenas a sua própria imagem e a imagem refletida. Não aparecem monstros, nem outros espelhos, nem coisas aleatórias."
• Isso mostra uma rigidez: essas formas são tão especiais que não permitem "intrusos" aleatórios.

4. Por que isso importa?

Pense no universo matemático como uma floresta.

• Alguns matemáticos estudam árvores específicas (formas com simetrias).
• Outros estudam a floresta inteira (formas genéricas).
• Este artigo diz: "Se você estiver na floresta genérica, não espere encontrar atalhos secretos. A maneira mais simples de se conectar é seguindo as regras básicas da projeção."

Eles também mostram que, para formas muito especiais (hiperelípticas), o universo é muito organizado e não permite caos ou formas estranhas se misturando aleatoriamente.

Resumo Final

O artigo é como um manual de instruções para medir a "complexidade" de formas geométricas. Ele diz:

1. Para formas comuns, a maneira mais eficiente de se conectar a si mesmas é seguindo o caminho mais óbvio (projeção).
2. Não existem "atalhos" mágicos que sejam mais baratos do que o esperado.
3. Para formas especiais, o sistema é tão rígido que apenas as conexões óbvias são permitidas.

É um trabalho que limpa a confusão, mostrando que, mesmo em mundos matemáticos complexos, a simplicidade e a ordem muitas vezes reinam.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "Measures of association between algebraic varieties, II: Self-correspondences" (Medidas de associação entre variedades algébricas, II: Auto-correspondências), de Robert Lazarsfeld e Olivier Martin, publicado no Épijournal de Géométrie Algébrique (2023).

---

1. Problema e Contexto

O artigo é uma continuação do trabalho anterior dos autores ([LM23]), focado em quantificar o quão "distintas" duas variedades algébricas $X$ e $Y$ de mesma dimensão podem ser, mesmo que não sejam biracionalmente isomorfas. Enquanto o trabalho anterior tratava de correspondências entre variedades distintas, este artigo investiga auto-correspondências (self-correspondences) de uma variedade $X$.

Definição Central:
Uma auto-correspondência de uma variedade projetiva suave complexa $X$ de dimensão $n$ é uma variedade projetiva suave $Z$ de dimensão $n$ que se encaixa no diagrama:
$$Z \xrightarrow{a} X \xleftarrow{b} X$$
onde $a$ e $b$ são mapas dominantes (e, portanto, genericamente finitos). Assume-se que $Z$ mapeia biracionalmente para sua imagem em $X \times X$.

O grau de auto-correspondência de $X$, denotado por $\text{autocorr}(X)$, é definido como:
$$\text{autocorr}(X) = \min_{Z, \Delta} \{ \deg(a) \cdot \deg(b) \}$$
O mínimo é tomado sobre todas as correspondências $Z$ que não mapeiam para a diagonal $\Delta \subset X \times X$.

• Se $\text{autocorr}(X) = 1$, então $X$ admite automorfismos biracionais não triviais.
• Existe uma cota superior natural baseada no grau de irracionalidade ($\text{irr}(X)$), que é o menor grau de um recobrimento racional $X \dashrightarrow \mathbb{P}^n$:
  $$\text{autocorr}(X) \leq (\text{irr}(X) - 1)^2$$
  A conjectura central do artigo é que, para variedades "muito gerais" (very general), essa desigualdade se torna uma igualdade, e as correspondências mínimas surgem de estruturas geométricas naturais (como produtos fibrados de mapas de projeção).

2. Metodologia

Os autores utilizam uma combinação de técnicas de geometria algébrica clássica e moderna:

• Teoria de Hodge e Cohomologia: O papel central é desempenhado pela ação das correspondências na estrutura de Hodge $H^n(X)$. Especificamente, analisam os endomorfismos induzidos em $H^{n,0}(X)$ (formas holomorfas de grau máximo).
• Condição de Cayley-Bacharach: Utilizam argumentos baseados na condição de Cayley-Bacharach para conjuntos de pontos em variedades, que restringem como os pontos podem se comportar em relação a formas diferenciais.
• Teoria de Monodromia e Variedades Muito Gerais: Para hipersuperfícies e curvas, exploram o fato de que, para variedades "muito gerais", o anel de endomorfismos da cohomologia primitiva é trivial ($\mathbb{Z} \cdot \text{Id}$). Isso simplifica drasticamente a análise das correspondências.
• Geometria de Curvas e Jacobianas: Para curvas hiperelípticas, utilizam propriedades de rigidez de curvas em variedades abelianas e mapas de Abel-Jacobi.
• Argumentos de Densidade e Especialização: No caso de curvas hiperelípticas, empregam argumentos de densidade em famílias de variedades abelianas para provar resultados de rigidez.

3. Principais Resultados e Contribuições

O artigo estabelece três resultados principais (Proposição A, Teorema B e Teorema C):

A. Curvas de Gênero Alto (Proposição A)

Para uma curva $X$ de gênero $g \geq 3$ que é muito geral:
$$\text{autocorr}(X) = (\text{gon}(X) - 1)^2$$
onde $\text{gon}(X)$ é o gonalidade da curva (o grau mínimo de um mapa para $\mathbb{P}^1$).

• Conclusão: As correspondências mínimas são biracionalmente equivalentes ao produto fibrado de um mapa de gonalidade (um "pencil" de grau $\text{gon}(X)$).
• Método de Prova: Analisam o grau dos mapas $a$ e $b$ e mostram que, para minimizar o produto, os mapas devem ser induzidos por pencils de formas diferenciais, forçando a estrutura a ser a do produto fibrado.

B. Hipersuperfícies em $\mathbb{P}^{n+1}$ (Teorema B)

Seja $X \subset \mathbb{P}^{n+1}$ uma hipersuperfície muito geral de grau $d \geq 2n + 2$. Então:
$$\text{autocorr}(X) = (d - 2)^2 = (\text{irr}(X) - 1)^2$$

• Conclusão: As correspondências mínimas são biracionalmente residuais ao quadrado de fibra da projeção de um ponto em $X$.
• Classificação Refinada (Teorema 4): Os autores classificam todas as auto-correspondências em uma faixa numérica ligeiramente mais ampla. Mostram que, se os graus são próximos do mínimo, a correspondência deve ser:
  1. Residual ao produto fibrado de projeções de pontos.
  2. Ou relacionada a produtos fibrados com variedades de dimensão $n$ via mapas racionais dominantes.
• Técnica Chave: Uso da condição de Cayley-Bacharach em $\mathbb{P}^{n+1}$ e análise da ação na cohomologia primitiva, provando que qualquer correspondência "estranha" violaria as restrições de grau impostas pela geometria da hipersuperfície.

C. Curvas Hiperelípticas (Teorema C)

Para uma curva hiperelíptica muito geral $X$ de gênero $g \geq 2$:

• As únicas curvas hiperelípticas contidas em $X \times X$ são:
  1. As fibras dos mapas de projeção.
  2. A diagonal $\Delta$.
  3. O gráfico da involução hiperelíptica.
• Implicação Geométrica: A imagem de qualquer curva hiperelíptica em $X \times X$ sob o mapa de Abel-Jacobi é geometricamente degenerada em $J(X) \times J(X)$ (gera um subtoro próprio).
• Rigidez de Homomorfismos: Como consequência, para uma curva hiperelíptica muito geral $X$ e qualquer curva hiperelíptica $C$ tal que $J(C)$ domina $J(X)$, temos $\text{Hom}(J(C), J(X)) \cong \mathbb{Z}$. Isso complementa resultados recentes de Naranjo e Pirola.

4. Significado e Impacto

1. Compreensão de "Distância" Biracional: O trabalho solidifica a noção de que, para variedades muito gerais, a complexidade biracional mínima de uma auto-correspondência é determinada puramente por invariantes clássicos de recobrimento (gonalidade para curvas, grau de irracionalidade para hipersuperfícies).
2. Rigidez de Estruturas: O Teorema C fornece uma forte afirmação de rigidez para curvas hiperelípticas, mostrando que elas não possuem "surpresas" em seus produtos cartesianos além das estruturas óbvias (diagonal e involução). Isso conecta-se profundamente com a teoria de variedades abelianas e a conjectura de Hodge.
3. Conexão com Trabalhos Anteriores: O artigo refina e expande resultados de Schoen, Voisin e outros, utilizando a linguagem de medidas de associação para unificar o tratamento de curvas e variedades de dimensão superior.
4. Métodos Inovadores: A aplicação sistemática da condição de Cayley-Bacharach combinada com a análise de endomorfismos de estruturas de Hodge para variedades muito gerais demonstra a eficácia dessa abordagem para problemas de correspondência.

Em resumo, o artigo estabelece limites inferiores precisos para a complexidade de auto-correspondências em variedades gerais, provando que a "simplicidade" geométrica (como projeções de pontos) é a única fonte de correspondências de baixo grau, e classifica completamente as exceções em casos específicos como curvas hiperelípticas.