Group-theoretic Johnson classes and a non-hyperelliptic curve with torsion Ceresa class

Os autores constroem análogos grupais dos cociclos de Johnson/Morita para grupos pro-l e aplicam-nos aos grupos fundamentais étale de curvas suaves para produzir classes de cohomologia de Galois que permitem demonstrar a existência de uma curva não hiperelíptica cuja classe de Ceresa possui imagem de torção no mapa de Abel-Jacobi l-ádico.

O essencial

Imagine que você tem um mapa de um território misterioso. Na matemática, esse "território" é uma curva (uma forma geométrica que pode ser um círculo, uma figura com várias voltas, etc.). Os matemáticos querem entender a "alma" ou a estrutura profunda dessas curvas.

Para fazer isso, eles usam ferramentas chamadas grupos fundamentais. Pense nesses grupos como um conjunto de "regras de viagem" ou "instruções de navegação" que descrevem como você pode se mover pela curva sem cair em buracos ou sair do mapa.

Aqui está o que os autores deste artigo descobriram, explicado de forma simples:

1. O Problema: A "Cadeira" que não é igual à sua imagem no espelho

Imagine que você tem uma cadeira bonita (a curva). Agora, imagine que você coloca essa cadeira em frente a um espelho. A imagem no espelho é a "negativa" da cadeira.

• Em algumas curvas especiais (chamadas hiperelípticas), a cadeira e sua imagem no espelho são tão parecidas que, se você tentar misturá-las, elas se cancelam perfeitamente. É como se a cadeira fosse perfeitamente simétrica.
• Em curvas "comuns" (não hiperelípticas), a cadeira e sua imagem no espelho são diferentes. Se você tentar misturá-las, sobra um "resíduo" ou uma "mancha" que não desaparece.

Os matemáticos chamam esse resíduo de Ciclo de Ceresa. A grande questão era: Esse resíduo é sempre diferente de zero em curvas comuns, ou ele pode, por acaso, se anular (virar zero) em algum caso especial?

2. A Nova Ferramenta: Um "Detector de Torsão"

Os autores criaram uma nova maneira de medir esse resíduo. Em vez de olhar diretamente para a curva, eles olharam para as "regras de viagem" (o grupo fundamental) usando uma lente de teoria de grupos.

Eles inventaram duas novas medidas (chamadas Classe de Johnson e Classe Diagonal Modificada). Pense nelas como dois sensores de alta precisão que detectam se a "mancha" do Ciclo de Ceresa é:

• Infinita/Real: A mancha é séria e permanente.
• Torsão (ou "Giratória"): A mancha existe, mas se você girar o sistema um certo número de vezes (multiplicar por um número), ela desaparece. É como se a mancha fosse apenas um "fantasma" que some se você olhar com o ângulo certo.

3. A Grande Descoberta: O "Monstro" de Gênero 7

Até agora, acreditava-se que apenas as curvas hiperelípticas (aquelas perfeitamente simétricas) tinham esse resíduo "fantasma" (torsão). Acreditava-se que, se a curva fosse "comum" (não hiperelíptica), a mancha seria real e permanente.

Os autores encontraram uma exceção histórica! Eles olharam para uma curva muito especial chamada Curva de Fricke-Macbeath.

• O que é ela? É uma curva de "gênero 7" (pense nisso como uma bola com 7 alças, muito complexa).
• O que eles viram? Mesmo sendo uma curva "comum" (não hiperelíptica), o resíduo dela é do tipo "torsão". Ou seja, a "mancha" é um fantasma! Ela se anula se você aplicar certas operações matemáticas.

Isso foi uma surpresa enorme, porque quebrou a regra de que "apenas curvas simétricas têm esse comportamento".

4. O Efeito Dominó: Criando Novos Exemplos

A parte mais legal da descoberta é que eles mostraram como usar essa curva "monstro" para criar outras.

• Imagine que você tem essa curva complexa de 7 alças.
• Se você "dobra" essa curva de um jeito específico (fazendo um quociente por uma simetria de ordem 2), você obtém uma curva menor, de gênero 3 (uma bola com 3 alças).
• A descoberta mostra que essa nova curva menor, que é não hiperelíptica, também herda o comportamento de "fantasma" (torsão).

Por que isso importa?

1. Quebra de Crenças: Mostra que a matemática é mais cheia de surpresas do que pensávamos. Nem tudo o que parece "comum" se comporta de forma comum.
2. Conexões Profundas: Eles conectaram a geometria (a forma da curva) com a teoria de grupos (as regras de viagem) de uma maneira nova e mais poderosa.
3. O Futuro: Isso ajuda a entender melhor como as curvas se relacionam com a teoria dos números e com conjecturas famosas (como as conjecturas de Beilinson), que tentam explicar a "quantidade" de soluções que certas equações têm.

Resumo da Ópera:
Os autores criaram um novo "radar" matemático para detectar formas geométricas. Usando esse radar, eles encontraram uma curva complexa e não simétrica que, surpreendentemente, esconde um segredo que só se esperava ver em curvas perfeitamente simétricas. E o melhor: eles mostraram como usar esse segredo para encontrar outros exemplos escondidos no mundo das matemáticas.

Resumo técnico

1. O Problema e o Contexto

O artigo aborda um problema central na geometria algébrica e na teoria de números: a compreensão do ciclo de Ceresa e sua relação com a estrutura do grupo fundamental étale de curvas algébricas.

• O Ciclo de Ceresa: Para uma curva projetiva suave $X$ de gênero $g \geq 3$ definida sobre um corpo $K$, e um ponto racional $x \in X(K)$, define-se o ciclo de Ceresa como $X - X^-$ no Jacobiano $\text{Jac}(X)$, onde $X^-$ é a imagem de $X$ sob a negação no grupo. Um resultado clássico de Ceresa (1983) estabelece que, para curvas "gerais" sobre $\mathbb{C}$, este ciclo não é algebricamente trivial.
• Classes de Cohomologia: Através do mapa de classe de ciclo $\ell$-ádico, o ciclo de Ceresa induz uma classe de cohomologia de Galois $\mu(X,x)$. Hain e Matsumoto (2005) reinterpretaram essa classe em termos da ação de Galois no grupo fundamental étale pro-$\ell$ de $X$, definindo também uma classe independente do ponto base, $\nu(X)$.
• A Conjectura/Expectativa: Sabe-se que se $X$ é uma curva hiperelíptica e $x$ é um ponto de Weierstrass racional, o ciclo de Ceresa é trivial (e as classes associadas são de torção). Havia uma expectativa popular (citada como "folk expectation") de que a recíproca fosse verdadeira: que uma classe de Ceresa de torção implicaria que a curva é hiperelíptica.
• O Objetivo: O artigo visa refinar a construção das classes de Johnson e Ceresa utilizando métodos puramente teóricos de grupos, permitindo generalizações para grupos que não são necessariamente fundamentais de curvas projetivas, e, crucialmente, fornecer contraexemplos à expectativa de que classes de torção implicam hiperelipticidade.

2. Metodologia

Os autores desenvolvem uma abordagem teórico-grupal para construir análogos das classes de Johnson e Ceresa, independentes da geometria específica da curva, focando na estrutura do grupo fundamental pro-$\ell$.

• Construção Teórico-Grupal:

  • Seja $G$ um grupo pro-$\ell$ finitamente gerado com abelianização livre de torção.
  • Define-se o anel de grupo $\mathbb{Z}_\ell[[G]]$ e o ideal de augmentação $I$.
  • Constrói-se uma classe universal de "diagonal modificada" ($MD_{univ}$) em $H^1(\text{Aut}(G), \text{Hom}(I/I^2, I^2/I^3))$.
  • Ao analisar a ação de $G$ sobre si mesmo por conjugação, os autores mostram que a restrição de $MD_{univ}$ a $G$ é trivial no cohomologia com coeficientes no quociente $A(G) = \text{coker}(m)$, onde $m$ é um mapa relacionado ao comutador.
  • Isso permite definir a classe de Johnson universal ($J_{univ}$) em $H^1(\text{Out}(G), A(G))$, que é independente do ponto base.

• Refinamento para $\ell=2$:

  • Uma contribuição metodológica importante é o tratamento do caso $\ell=2$. Os autores identificam submódulos específicos ($W \subset I^2/I^3$) e mostram que, sob certas condições (como a existência de um automorfismo que age como $-1$ na abelianização), as classes $2MD_{univ}$e$2J_{univ}$ podem ser levantadas para coeficientes mais finos, refinando construções anteriores de Hain e Matsumoto.

• Aplicação Geométrica:

  • A construção é aplicada aos grupos fundamentais étale pro-$\ell$ de curvas ($\pi_1^\ell(X)$).
  • As classes $MD(X,x)$ e $J(X)$ são definidas como pullbacks das classes universais via a ação de Galois.
  • É demonstrado que, para curvas projetivas suaves, essas classes coincidem (a menos de fatores de 2) com as classes $\mu(X,x)$ e $\nu(X)$ de Hain-Matsumoto.

• Propriedades de Invariância e Dominação:

  • Estabelece-se que a propriedade de ser de torção é geométrica (descende por extensões finitas de corpo).
  • Prova-se um teorema de "dominação": se uma curva $Y$ é dominada por uma curva $X$ (existe um mapa dominante $X \to Y$) e $J(X)$ é de torção, então $J(Y)$ também é de torção.

3. Principais Contribuições e Resultados

A. Refinamento das Classes de Johnson

Os autores fornecem uma definição puramente algébrica das classes de Johnson que funciona para qualquer grupo pro-$\ell$ com abelianização livre de torção (incluindo grupos de Demushkin). Isso permite analisar curvas que não são necessariamente projetivas ou completas, e refina os resultados existentes para $\ell=2$, fornecendo informações ligeiramente mais precisas do que as classes anteriores de Hain-Matsumoto.

B. Contraexemplos à Hiperelipticidade (O Teorema Principal)

O resultado mais impactante é a construção de curvas não-hiperelípticas cujas classes de Ceresa/Johnson são de torção, refutando a expectativa popular.

1. A Curva de Fricke-Macbeath (Gênero 7):

   • Considera-se a curva de Fricke-Macbeath $C$, uma curva de gênero 7 sobre um corpo de característica zero com grupo de automorfismos isomorfo a $PSL_2(8)$ (ordem 504).
   • Utilizando a teoria de caracteres de $PSL_2(8)$, os autores mostram que não existem mapas equivariantes não triviais entre a homologia da curva e seu tensor quadrado sob a ação do grupo de automorfismos.
   • Isso implica que $H^0(PSL_2(8), A(G)) = 0$.
   • Pelo critério de invariância (Proposição 3.1), a classe de Johnson $J(C)$ é de torção (com ordem dividindo 504).
   • Conclusão: Existe uma curva não-hiperelíptica de gênero 7 com classe de Ceresa de torção.

2. Curvas de Gênero 3 (Quocientes):

   • Utilizando o teorema de dominação (Teorema 3.7), os autores consideram o quociente da curva de Fricke-Macbeath por um elemento de ordem 2 ($\iota \in PSL_2(8)$).
   • O quociente $C/\langle \iota \rangle$ é uma curva de gênero 3.
   • Como $C$ tem classe de Johnson de torção, o quociente também tem.
   • Os autores verificam que este quociente é uma curva de quartico suave em $\mathbb{P}^2$, portanto não-hiperelíptica.
   • Conclusão: Existe uma curva não-hiperelíptica de gênero 3 com classe de Ceresa de torção.

C. Conexão com Conjecturas de Beilinson

O artigo discute (na Nota 1.3) que a torção do ciclo de Ceresa para a curva de Fricke-Macbeath é consistente com as conjecturas de Beilinson. A interpretação da curva como uma curva de Shimura permite calcular sua função L, que sugere que o grupo de Chow relevante tem posto zero, implicando que o ciclo deve ser de torção.

4. Significado e Impacto

• Refutação de Conjecturas: O trabalho fornece os primeiros exemplos conhecidos (publicados e verificados) de curvas não-hiperelípticas com classe de Ceresa de torção. Isso responde negativamente a perguntas de Herbert Clemens e refuta a crença de que a trivialidade da classe de Ceresa (ou de Johnson) caracteriza curvas hiperelípticas.
• Novas Ferramentas Teórico-Grúpais: A construção de classes de Johnson puramente via teoria de grupos pro-$\ell$ oferece uma ferramenta flexível que pode ser aplicada além do contexto de curvas algébricas clássicas, incluindo grupos fundamentais de variedades mais gerais ou grupos de Demushkin.
• Precisão para $\ell=2$: O tratamento cuidadoso do caso $\ell=2$ e a distinção entre as classes $MD/J$ e suas versões "refinadas" ($\tilde{MD}/\tilde{J}$) são importantes para aplicações em cohomologia de Galois onde a torção 2 é crítica.
• Conexão Interdisciplinar: O artigo une teoria de grupos (cohomologia de grupos pro-$\ell$, teoria de caracteres), geometria algébrica (ciclos de Chow, Jacobianos, curvas de Shimura) e teoria de números (conjecturas de Beilinson, funções L).

Em resumo, o artigo reestrutura a compreensão das classes de Johnson e Ceresa, fornecendo uma base teórica mais robusta e descobrindo novos fenômenos geométricos em curvas de gênero alto e baixo que desafiam intuições clássicas sobre a relação entre simetria (hiperelipticidade) e trivialidade de ciclos.