The Hessian of elliptic curves as a Lattès map

Resumen Técnico: El Hessiano de Curvas Elípticas como un Mapa de Lattès

Planteamiento del Problema
El artículo investiga los sistemas dinámicos discretos generados por la transformación hessiana de curvas elípticas. Dada una cúbica en el plano proyectivo $V(F)$, su hessiano es el lugar de ceros del determinante de la matriz hessiana de $F$. Cuando $V(F)$ es una cúbica suave (una curva elíptica), el hessiano define una nueva cúbica, induciendo una transformación en el espacio de módulos de curvas elípticas. Los autores se centran en dos mapas proyectivos específicos:

1. $H: \mathbb{P}^1(k) \to \mathbb{P}^1(k)$, que actúa sobre los invariantes $j$.
2. $\Lambda: \mathbb{P}^1(k) \to \mathbb{P}^1(k)$, que actúa sobre el lápiz de Hesse (curvas de la forma $x^3+y^3+z^3+\lambda xyz$).

El problema central es caracterizar la estructura y las simetrías de los grafos funcionales (grafos hessianos) de estos mapas sobre campos arbitrarios $k$ (con $\text{char}(k) \neq 2, 3$) y, específicamente, sobre campos finitos $\mathbb{F}_q$. Si bien la dinámica de funciones racionales es un campo amplio de estudio, la estructura específica de los grafos hessianos no había sido investigada plenamente, particularmente en lo que respecta a sus simetrías y al levantamiento de estas dinámicas a curvas elípticas.

Metodología
Los autores emplean un enfoque geométrico y aritmético, reformulando la transformación hessiana como un mapa de Lattès. Un mapa de Lattès es una función racional $\phi: \mathbb{P}^1(k) \to \mathbb{P}^1(k)$ que se ajusta a un diagrama conmutativo que involucra una curva elíptica $E$, un endomorfismo $\psi: E \to E$, y una proyección finita $\pi: E \to \mathbb{P}^1$.

La metodología procede a través de los siguientes pasos:

1. Identificación de Lattès: Los autores demuestran que tanto $H$ como $\Lambda$ son mapas de Lattès rígidos. Construyen explícitamente un diagrama de Lattès reducido donde la curva subyacente es $E: y^2 = x^3 - 1728$ (una curva con invariante $j=0$). El mapa levantado $\psi$ se identifica como un endomorfismo de grado 3 correspondiente a la multiplicación compleja por $\sqrt{-3}$.
2. Análisis de Teoría de Grupos: El artículo analiza la dinámica de los endomorfismos de grupo con núcleos primos (específicamente de tamaño de núcleo 3). Clasifica los componentes conectados de tales grafos funcionales en ciclos, líneas orientadas o semilíneas orientadas, con vértices que forman arborescencias regulares (árboles con raíz).
3. Análisis de Proyección: Una parte significativa del trabajo se dedica a comprender cómo la dinámica regular de $\psi$ en la curva elíptica $E$ se proyecta sobre el grafo funcional del mapa de Lattès $\phi$ vía $\pi$. Los autores caracterizan las "fibras" de la proyección, mostrando que son uniones de giros (twists) de la curva elíptica. Determinan exactamente qué ramas de los árboles de ancestros se identifican bajo la proyección, particularmente en puntos con coordenadas cero (puntos de torsión).
4. Especialización Aritmética: Los resultados se especializan a campos finitos $\mathbb{F}_q$. Los autores utilizan la traza de la curva elíptica y la paridad del número de puntos racionales para determinar la estructura de las fibras y la topología resultante del grafo.

Contribuciones Clave y Resultados

• Estructura de Lattès Rígida: El artículo establece que la transformación hessiana es un mapa de Lattès rígido (Teorema 3.19). A diferencia de los mapas de Lattès flexibles (que surgen de mapas de multiplicación por $m$), estos surgen de endomorfismos de curvas con Multiplicación Compleja (CM), específicamente $E$ con $j=0$.
• Hessiano Inverso y 2-Torsión: Se establece una biyección entre la imagen inversa $H^{-1}(j)$ y el conjunto de puntos $k$-racionales de orden 2 en la curva elíptica con invariante $j$ (Proposición 2.13). Esto implica que computar el hessiano inverso es equivalente a encontrar puntos de 2-torsión.
• Clasificación Estructural de Grafos:
  • Campos Generales: Se muestra que los componentes conectados de los grafos hessianos se derivan de la acción de $\psi$ sobre los giros (twists) de $E$. La proyección $\pi$ identifica ramas específicas de los árboles de ancestros, particularmente aquellas que llegan a puntos de 2-torsión y, para el mapa $H$, puntos $\pm T_k$ (puntos de 3-torsión).
  • Campos Finitos: El artículo proporciona una clasificación completa de los grafos hessianos sobre $\mathbb{F}_q$.
    • Si $q \equiv 1 \pmod 3$, los grafos consisten en uniones de seis grafos funcionales conocidos de endomorfismos de grupo, podados en ramas específicas (Teorema 7.8).
    • Si $q \equiv 2 \pmod 3$, la curva $E$ es supersingular. Los grafos surgen de una fusión ordenada de dos grafos isomorfos, con profundidad y ciclos totalmente determinados (Teorema 7.13).
• Caracterización de Hojas: El artículo caracteriza las "hojas" del grafo hessiano (elementos con imágenes inversas vacías). Sobre campos finitos, un elemento $j$ es una hoja si y solo si la traza de la curva elíptica correspondiente es par (Lema 7.4).
• Eficiencia Algorítmica: Los autores demuestran que cualquier iteración de la transformación hessiana sobre $\mathbb{F}_q$ puede ser computada en tiempo polinomial relativo al tamaño de $q$ (Proposición 8.1).

Significancia y Reivindicaciones
El artículo afirma proporcionar una "herramienta efectiva" para investigar la dinámica de la transformación hessiana mediante el levantamiento del problema a la aritmética de una curva elíptica específica. La principal significancia radica en:

1. Marco Unificado: Unifica el estudio de la dinámica hessiana bajo la teoría de los mapas de Lattès, aprovechando la estructura bien comprendida de los endomorfismos en curvas elípticas.
2. Clasificación Completa: Ofrece una descripción estructural completa de los grafos funcionales hessianos sobre campos finitos, un resultado no disponible previamente en la literatura.
3. Utilidad Computacional: Al reducir la iteración del mapa hessiano a operaciones en la curva elíptica subyacente, el artículo proporciona un método eficiente para la computación.
4. Potencial Criptográfico: Los autores señalan que estos resultados allanan el camino para potenciales aplicaciones criptográficas. Específicamente, prueban que los invariantes $j$ supersingulares residen en componentes conexas prescritas con propiedades de traza específicas módulo 3, lo que sugiere que estas estructuras podrían ser relevantes para protocolos criptográficos que involucren isogenias o sistemas dinámicos.

El artículo mantiene un tono modesto respecto a las aplicaciones, afirmando que los resultados "allanan el camino" para el uso criptográfico en lugar de asegurar un despliegue inmediato, y se centra principalmente en la caracterización teórica de los sistemas dinámicos.