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

Este artículo construye análogos grupales de los cociclos de Johnson y Morita para grupos pro-l, los cuales se aplican a grupos fundamentales étales de curvas para demostrar la existencia de una curva no hiperelíptica cuya clase de Ceresa tiene imagen de torsión bajo el mapa de Abel-Jacobi l-ádico.

Lo esencial

¡Hola! Imagina que las curvas matemáticas (esas figuras geométricas que estudian los geómetras) son como mascotas con personalidades muy complejas. Los matemáticos quieren entender qué las hace especiales, si son "simples" o "complicadas".

Este artículo es como un nuevo manual de instrucciones para entender una parte muy profunda de la personalidad de estas curvas, usando una herramienta llamada "cohomología de grupos". Suena a jerga de laboratorio, pero déjame explicártelo con analogías de la vida cotidiana.

1. El Problema: ¿Es esta curva "especial"?

Imagina que tienes una curva (una figura geométrica). Hay un tipo de curva muy especial y "ordenada" llamada curva hiperelíptica. Piensa en ellas como las "mascotas domésticas": son predecibles, tienen simetrías obvias y se comportan de manera muy regular.

Los matemáticos sabían que si una curva es hiperelíptica, tiene una propiedad especial llamada clase de Ceresa que es "nula" (es decir, no tiene "ruido" o desorden). Pero había una pregunta gigante en la mente de los expertos:

"Si una curva NO es hiperelíptica (es una 'mascota salvaje'), ¿puede su clase de Ceresa ser nula de todos modos?"

La mayoría pensaba que no. Creían que si la clase de Ceresa era nula, la curva debía ser hiperelíptica. Era como decir: "Si un perro no ladra, es porque es un gato".

2. La Nueva Herramienta: Los "Detectives de Grupos"

Los autores de este paper (Dean, Wanlin, Daniel y Padmavathi) decidieron no mirar a la curva directamente, sino a su ADN interno (lo que llaman el "grupo fundamental").

En lugar de estudiar la curva como un dibujo, la estudiaron como un sistema de reglas y simetrías (un grupo). Crearon dos nuevos "detectives" o herramientas:

1. La Clase de la Diagonal Modificada (MD): Un detective que necesita un punto de referencia fijo (como un GPS).
2. La Clase de Johnson (J): Un detective más inteligente que no necesita un punto de referencia; funciona igual desde cualquier ángulo.

La analogía: Imagina que quieres medir el "desorden" de una habitación.

• La clase MD es como medir el desorden desde la puerta de entrada.
• La clase J es como medir el desorden total de la habitación sin importar desde dónde mires.

Lo genial de su trabajo es que crearon estas herramientas usando teoría de grupos abstracta. Esto significa que funcionan incluso si la curva no está "completa" o si es muy extraña. Son herramientas universales.

3. El Gran Descubrimiento: ¡La "Mascota Salvaje" que se comporta como una "Doméstica"!

Usando sus nuevos detectives, los autores encontraron algo sorprendente. Construyeron un ejemplo de una curva que NO es hiperelíptica (es salvaje, compleja), pero que, sin embargo, tiene su "clase de Johnson" (su desorden medido) igual a cero (o "torsión", que es como decir que es un desorden que se cancela a sí mismo).

¿Cómo lo hicieron?
Usaron una curva famosa llamada Curva de Fricke-Macbeath.

• Imagina esta curva como una esfera de cristal con un patrón de simetría perfecto (tiene 504 formas de girar sobre sí misma sin cambiar su apariencia).
• Es tan simétrica que, aunque es una "mascota salvaje" (no hiperelíptica), su estructura interna es tan ordenada que el "desorden" que buscan los matemáticos desaparece.

El resultado:

1. La curva original (genio 7) tiene una clase de Johnson nula.
2. Si tomas esta curva y la "doblas" o la divides por una simetría (como cortar una pizza en trozos iguales), obtienes una curva más pequeña (genio 3).
3. ¡Esta curva pequeña tampoco es hiperelíptica, pero también tiene la clase de Johnson nula!

4. ¿Por qué importa esto?

Esto rompe una creencia muy arraigada.

• Antes: Se pensaba: "Si la clase de Ceresa es nula, la curva es hiperelíptica".
• Ahora: Sabemos: "¡Falso! Hay curvas salvajes y complejas que también tienen esta clase nula".

Es como si descubrieras que hay un gato que maúlla exactamente igual que un perro. Cambia nuestra comprensión de cómo se clasifican los animales (o en este caso, las curvas matemáticas).

Resumen en una frase

Los autores crearon un nuevo tipo de "detector de simetría" basado en grupos matemáticos y lo usaron para encontrar una curva compleja y salvaje que, contra todo pronóstico, tiene una propiedad de orden que antes solo se creía posible en curvas simples, demostrando que la realidad matemática es más rica y sorprendente de lo que pensábamos.

En conclusión: Han encontrado la primera "mascota salvaje" que se comporta con la perfección de una "mascota doméstica", desafiando las reglas que los matemáticos habían escrito durante décadas.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Group-theoretic Johnson classes and non-hyperelliptic curves with torsion Ceresa class" (Clases de Johnson de tipo grupal y curvas no hiperelípticas con clase de Ceresa de torsión), publicado en Épijournal de Géométrie Algébrique (2023) por Dean Bisogno, Wanlin Li, Daniel Litt y Padmavathi Srinivasan.

---

1. Problema y Contexto

El artículo aborda un problema central en la geometría algebraica aritmética relacionado con el ciclo de Ceresa y su trivialidad en el grupo de Chow.

• El Ciclo de Ceresa: Dada una curva suave, proyectiva e integral $X$ de género $g \geq 3$ sobre un cuerpo $K$ y un punto racional $x$, se puede embeber $X$ en su Jacobiana $Jac(X)$ mediante el mapa de Abel-Jacobi. El ciclo de Ceresa se define como la diferencia algebraica $X - X^-$, donde $X^-$ es la imagen de $X$ bajo la negación en la Jacobiana. Este ciclo es homológicamente trivial.
• La Conjetura/Expectativa: Un resultado clásico de Ceresa (1983) establece que para una curva "muy general" de género $\geq 3$, el ciclo de Ceresa no es algebraicamente trivial. Sin embargo, si $X$ es hiperelíptica y $x$ es un punto de Weierstrass racional, el ciclo es trivial.
• La Pregunta Abierta: Se ha especulado (expectativa popular) que la trivialidad de la clase de Ceresa (o su imagen bajo el mapa de Abel-Jacobi $\ell$-ádico) implica que la curva es hiperelíptica.
• Objetivo del Artículo: Construir invariantes cohomológicos (clases de Johnson y diagonal modificada) que capturen la acción de Galois sobre el grupo fundamental étale pro-$\ell$ y utilizarlos para producir contraejemplos: curvas no hiperelípticas cuya clase de Ceresa (o su análogo de Johnson) es de torsión.

2. Metodología

Los autores desarrollan una construcción puramente teórico-grupal que luego se aplica a los grupos fundamentales de curvas.

A. Construcción Teórico-Grupal

Sea $G$ un grupo pro-$\ell$ finitamente generado con abelianización libre de torsión.

1. Anillo de Grupo y Ideales: Se considera el anillo de grupo pro-$\ell$ completado $\mathbb{Z}_\ell[[G]]$ y su ideal de augmentación $I$. Se estudian los cocientes $I/I^2$ y $I^2/I^3$.
2. Clase de Diagonal Modificada ($MD_{univ}$): Se define una clase de cohomología en $H^1(\text{Aut}(G), \text{Hom}(I/I^2, I^2/I^3))$ asociada a la extensión de módulos $0 \to I^2/I^3 \to I/I^3 \to I/I^2 \to 0$. Esta clase codifica la acción de los automorfismos sobre la estructura del grupo.
3. Clase de Johnson ($J_{univ}$): Para eliminar la dependencia del punto base (análogo a pasar de $\text{Aut}(G)$ a $\text{Out}(G)$), se define un cociente $A(G)$ del módulo de coeficientes mediante el conúcleo del mapa de conmutación (relacionado con el homomorfismo de Johnson clásico). La clase de Johnson universal $J_{univ}$ reside en $H^1(\text{Out}(G), A(G))$.
4. Refinamiento para $\ell=2$: Los autores demuestran que para $\ell=2$, estas clases contienen información más fina que las construcciones previas de Hain y Matsumoto, permitiendo distinguir casos donde las clases anteriores podrían ser triviales o menos informativas.

B. Aplicación a Curvas

Para una curva $X$ sobre un cuerpo $K$:

• Se aplica la construcción al grupo fundamental étale pro-$\ell$, $\pi_1^\ell(X)$.
• Se definen las clases $MD(X, x)$ (diagonal modificada, dependiente del punto base) y $J(X)$ (Johnson, independiente del punto base) en la cohomología de Galois.
• Se establece una relación directa con las clases $\mu(X,x)$ y $\nu(X)$ de Hain-Matsumoto, demostrando que bajo ciertas condiciones (específicamente al considerar versiones "2-torsión" o refinadas), coinciden o refinan los resultados existentes.

3. Contribuciones Clave y Resultados Principales

1. Propiedades Fundamentales

• Relación con Curvas Hiperelípticas: Se demuestra que si $X$ es hiperelíptica, la clase de Johnson $J(X)$ es de 2-torsión. Esto generaliza el hecho conocido de que el ciclo de Ceresa es trivial para curvas hiperelípticas.
• Estabilidad bajo Dominio: Se prueba un teorema crucial (Teorema 3.7): Si una curva $Y$ es dominada por una curva $X$ (es decir, existe un mapa dominante $f: X \to Y$) y $X$ tiene una clase de Johnson de torsión, entonces $Y$ también tiene una clase de Johnson de torsión. Esto es análogo a la propiedad de que toda curva dominada por una hiperelíptica es hiperelíptica, pero aplicado a la torsión de la clase de Ceresa.

2. El Ejemplo de la Curva de Fricke-Macbeath

El resultado central es la construcción de curvas no hiperelípticas con clases de torsión:

• La Curva: Se utiliza la curva de Fricke-Macbeath ($C$), una curva de género 7 definida sobre $\mathbb{Q}$ con grupo de automorfismos isomorfo a $PSL_2(8)$ (orden 504).
• Análisis de Representaciones: Mediante teoría de caracteres y análisis de la acción de $PSL_2(8)$ sobre la homología $H_1(C)$, los autores demuestran que no existen mapas equivariantes no triviales que impidan la torsión. Específicamente, muestran que $H^0(PSL_2(8), A(G)) = 0$.
• Conclusión (Proposición 3.4): La clase de Johnson $J(C)$ es de torsión. Dado que $PSL_2(8)$ no tiene elementos centrales de orden 2, la curva no es hiperelíptica.

3. Curvas de Género 3 No Hiperelípticas

• Utilizando el teorema de estabilidad bajo dominio, toman un elemento de orden 2 $\iota \in PSL_2(8)$ y consideran el cociente $C/\langle \iota \rangle$.
• Resultado (Corolario 3.8): El cociente es una curva de género 3, no hiperelíptica, y su clase de Johnson (y por ende la clase de Ceresa $\nu$ de Hain-Matsumoto) es de torsión.
• Esto proporciona el primer ejemplo conocido (según los autores) de una curva no hiperelíptica con clase de Ceresa de torsión bajo el mapa de Abel-Jacobi $\ell$-ádico.

4. Significado e Implicaciones

• Refutación de una Expectativa: El trabajo refuta la expectativa popular de que la trivialidad (o torsión) de la clase de Ceresa implica que la curva sea hiperelíptica.
• Conexión con Conjeturas de Beilinson: Como se señala en la nota de Benedict Gross, el hecho de que la clase de Ceresa sea de torsión para la curva de Fricke-Macbeath es consistente con las conjeturas de Beilinson. El valor $L$ asociado al grupo de Chow relevante es no nulo, prediciendo un rango cero, lo que implica que el ciclo debe ser de torsión.
• Herramientas Nuevas: La metodología de "clases de Johnson de tipo grupal" ofrece una herramienta más robusta que las construcciones anteriores de Hain-Matsumoto, especialmente en el caso $\ell=2$, permitiendo extraer información más detallada sobre la acción de Galois en el grupo fundamental.
• Impacto en la Teoría de Curvas: Proporciona un mecanismo sistemático (vía dominación) para generar nuevas familias de curvas con propiedades especiales de torsión en sus ciclos algebraicos, abriendo nuevas vías para el estudio de la estructura de los grupos de Chow de variedades abelianas.

En resumen, el artículo combina teoría de grupos profinitos, cohomología de Galois y geometría algebraica para resolver un problema abierto sobre la trivialidad del ciclo de Ceresa, demostrando que la torsión no es exclusiva de las curvas hiperelípticas y proporcionando ejemplos explícitos de curvas de género 3 y 7 que desafían esta intuición.