Una aplicación que envía clases de ciclos algebraicos homológicamente triviales a puntos en un toro complejo analítico (un jacobiano intermedio o jacobiano), construida al integrar formas diferenciales apropiadas a lo largo de cadenas que delimitan el ciclo; para curvas envía divisores de grado cero al jacobiano mediante la integración de diferenciales holomorfos.

Principio

Traduce datos algebro-geométricos (ciclos homológicamente triviales) en invariantes transcendentales al emparejar ciclos con formas diferenciales y pasar al cociente por períodos, detectando información más fina que las clases de cohomología y produciendo funciones normales o puntos en tores complejos.

Demostración

Abel–Jacobi clásico para una curva proyectiva lisa X: dado un divisor D de grado cero, elegir una 1-cadena γ con ∂γ = D y mapear D a la clase [∫_γ ω] en H^0(X, Ω)^*/H_1(X, Z), que es el jacobiano. En codimension superior, el mapa de Griffiths envía ciclos homológicamente triviales en CH^p(X)_{hom} al jacobiano intermedio J^{2p-1}(X).

Aplicación incorrecta

Suponer que la aplicación de Abel–Jacobi es algebraica, inyectiva o está definida integralmente en todo contexto; confundirla con la aplicación de Abel para divisores efectivos; o aplicarla a un ciclo que no sea homológicamente trivial, caso en que la construcción no está bien planteada.

Consecuencia

La aplicación de Abel–Jacobi produce obstrucciones transcendentales a la algebraicidad (elementos del grupo de Griffiths), conecta la teoría de ciclos con la teoría de Hodge y las integrales de períodos, y sustenta construcciones de funciones normales y relaciones con reguladores y valores especiales de funciones L.

Inversión

La 'inversa' es el mapa de clase de ciclo que envía ciclos a clases de cohomología (algebraico → topológico); el problema inverso —construir ciclos algebraicos a partir de puntos en el jacobiano intermedio— forma parte de conjeturas profundas (problemas tipo Hodge) y suele fallar sin hipótesis adicionales.

Límite

Definido principalmente para ciclos homológicamente triviales y en entornos con realizaciones de Hodge o analíticas complejas; sobre cuerpos arbitrarios hay que sustituir el objetivo por realizaciones l-ádicas, p-ádicas o motivicas y la descripción analítica por integración puede no estar disponible.

Tensión semántica

Hay tensión entre la construcción transcendente de Abel–Jacobi y invariantes puramente algebraicos como el mapa de clase de ciclo o la equivalencia algebraica; Abel–Jacobi detecta más fino que la cohomología pero no es puramente algebraico, lo que genera fricción con interpretaciones modulares algebraicas.

Síntesis

La aplicación de Abel–Jacobi asigna a un ciclo algebraico homológicamente trivial un punto en un toro complejo analítico mediante la integración de formas diferenciales a lo largo de cadenas que lo delimitan; convierte información fina de equivalencia algebraica en invariantes transcendentales que miden la obstrucción a la algebraicidad y vinculan ciclos con períodos de Hodge.