Torsion cycles on Fermat varieties

Resumen Técnico: Ciclos de Torsión en Variedades de Fermat

1. Planteamiento del Problema

El artículo aborda la naturaleza de los ciclos algebraicos (divisores y ciclos de Chow de mayor dimensión) en variedades de Fermat, específicamente aquellos que son nulos en homología (null-homologous).

El punto de partida es un teorema clásico de Manin y Drinfeld, generalizado por Rohrlich a las curvas de Fermat: cualquier divisor de grado 0 soportado en los "puntos de Fermat" (intersecciones con los planos coordenados) es de torsión en el Jacobiano de la curva.

El problema central que el autor intenta resolver es:

1. ¿Puede demostrarse el teorema de Rohrlich utilizando métodos de Teoría de Hodge Mixta (siguiendo la línea de Elkik), en lugar de los métodos explícitos originales?
2. ¿Se puede generalizar este resultado a variedades de Fermat de dimensión superior ($n > 1$) y a ciclos de Chow de mayor dimensión (higher Chow cycles)?
3. ¿Qué se puede decir sobre la torsión de estos ciclos en las Jacobianas intermedias y en los grupos de Chow mismos?

2. Metodología

El autor emplea una combinación de Teoría de Hodge Mixta, Cohomología con soporte y la acción de grupos de simetría en variedades de Fermat. La estrategia se basa en los siguientes pilares:

• Mapa de Abel-Jacobi y Extensiones de Hodge: Se utiliza la descripción del mapa de Abel-Jacobi (y su generalización a ciclos de mayor dimensión) en términos de extensiones de estructuras de Hodge mixtas. Un ciclo es de torsión en la Jacobiana intermedia si y solo si la extensión de Hodge mixta asociada a dicho ciclo se divide (split).
• Secuencias Exactas de Cohomología: Se analiza la secuencia exacta larga de cohomología con soporte para una variedad $X$ y un subconjunto $|D|$ (el soporte del ciclo):
  $$\dots \to H^{2p-1}(X, \mathbb{Q}) \to H^{2p-1}(X - |D|, \mathbb{Q}) \to H^{2p}_{|D|}(X, \mathbb{Q})_0 \to 0$$
  Donde $H^{2p}_{|D|}(X, \mathbb{Q})_0$ es el núcleo del mapa de clase de ciclo. La clave es demostrar que esta secuencia se divide como secuencia de estructuras de Hodge.
• Acción del Grupo de Simetría ($G_d^n$): Se explota la acción del grupo de raíces de la unidad $\mu_d^{n+2}$ sobre la variedad de Fermat $F_d^n$. Se descomponen los grupos de cohomología en representaciones irreducibles bajo este grupo.
  • Se demuestra que la acción del grupo en ciertas partes de la cohomología es trivial, mientras que en otras (la cohomología primitiva) actúa mediante caracteres no triviales.
  • Se construye un operador de promediado ($T = \sum g$) que proyecta sobre el subespacio donde la acción es trivial, permitiendo separar (split) la secuencia exacta.

3. Contribuciones Clave y Resultados Principales

A. Nueva prueba del Teorema de Rohrlich (Dimensión 1)
El autor proporciona una demostración alternativa del teorema de Rohrlich para curvas de Fermat ($n=1$) utilizando la teoría de Hodge mixta. Se demuestra que la secuencia de Hodge asociada a los puntos de Fermat se divide, lo que implica que cualquier divisor de grado 0 soportado en estos puntos es de torsión.

B. Generalización a Variedades de Fermat de Dimensión Superior ($n > 1$)
Se establece el Teorema 3.1: Para una hipersuperficie de Fermat $F_d^n$ de dimensión $n$, sea $S_d^p$ la unión de todas las subvariedades lineales de codimensión $p$ (intersecciones con planos coordenados).

• La secuencia exacta de estructuras de Hodge asociada a $S_d^p$ se divide.
• Consecuencia (Corolario 3.2): Cualquier ciclo nulo en homología soportado en estas subvariedades lineales es de torsión en la Jacobiana intermedia ($p$-th intermediate Jacobian).

C. Generalización a Ciclos de Chow de Mayor Dimensión (Higher Chow Cycles)
El autor extiende el análisis a los grupos de Chow superiores $CH^p(X, q)$, que corresponden a ciclos motivicos.

• Se define un mapa regulador hacia la cohomología de Deligne $H^{2p-q}_D(X, \mathbb{Q}(p))$, análogo al mapa de Abel-Jacobi.
• Teorema 4.2 y Corolario 4.3: Se demuestra que para ciertos ciclos motivicos construidos a partir de subvariedades lineales y funciones con divisores soportados en subvariedades lineales, el regulador es cero en la cohomología de Deligne.
• Esto implica que tales ciclos son de torsión en la Jacobiana intermedia motivica.

D. Limitaciones y Casos No Torsionales
El artículo distingue cuidadosamente entre ciclos "naturales" (construidos a partir de subvariedades lineales) y otros ciclos:

• El argumento de división falla cuando $n=1$ para ciertos ciclos de Chow superiores debido a la reducibilidad de las subvariedades de dimensión 0.
• Se menciona que existen ciclos no torsionales en ciertos grupos de Chow, específicamente aquellos derivados de la estructura inductiva de las variedades de Fermat (productos de curvas de Fermat).
  • Ejemplo: El ciclo diagonal modificado de Gross-Schoen en $(F_d^1)^3$, que se proyecta a un ciclo no torsional en $F_d^3$.
  • Ejemplo: Ciclos construidos por Ross y Sarkar utilizando funciones con soportes en puntos de Fermat.

4. Significado e Implicaciones

1. Unificación Teórica: El trabajo conecta resultados clásicos sobre curvas modulares y de Fermat con la teoría moderna de estructuras de Hodge mixta y ciclos motivicos, ofreciendo una perspectiva unificada ("pure thought") sobre la torsión de ciclos.
2. Conjeturas de Beilinson-Bloch: El resultado apoya indirectamente la conjetura de Beilinson-Bloch, que postula que el mapa regulador es inyectivo para variedades definidas sobre cuerpos de números. Si el regulador es cero (como se demuestra para estos ciclos), el ciclo debería ser de torsión en el grupo de Chow mismo (no solo en la Jacobiana).
3. Límites de la Torsión: El artículo es crucial porque delimita claramente qué tipos de ciclos en variedades de Fermat son necesariamente de torsión (aquellos construidos puramente a partir de la geometría lineal de los planos coordenados) y cuáles pueden ser no triviales (aquellos que provienen de la estructura de producto o diagonal).
4. Herramientas para Futuras Investigaciones: La metodología basada en la acción de grupos de simetría para dividir secuencias de Hodge ofrece una herramienta potente para estudiar la torsión de ciclos en otras variedades con alta simetría.

En resumen, Sreekantan demuestra que la geometría "trivial" (lineal) de las variedades de Fermat genera únicamente ciclos de torsión en las Jacobianas intermedias, generalizando el teorema de Rohrlich a dimensiones superiores y contextos motivicos, mientras identifica la estructura de producto como la fuente potencial de ciclos no triviales.