Para una variedad V, su Variedad Albenese Alb(V) es una variedad con un mapa V → Alb(V) que factoriza de forma única cualquier mapa de V a una variedad abeliana. ¿Podemos decir algo similar para un esquema arbitrario? ¿Cuándo sabemos que existe un esquema "albanés" Alb(X)? Es decir,
¿Bajo qué condiciones en un esquema X existe un morfismo X → Alb(X) que factoriza unívocamente cualquier mapa desde X a un esquema abeliano?