Un funtor desde una categoría de esquemas (u otros objetos algebraicos) a conjuntos o groupoides que no puede ser isomorfo al funtor de puntos de ningún esquema o espacio algebraico; señala que los datos de módulo deseados no pueden capturarse sólo con esquemas.

Principio

La representabilidad significa que un funtor es realizado por un objeto universal cuyos puntos sobre T reproducen el funtor; la falta de representabilidad indica la ausencia esencial de un objeto parametrizador universal en la categoría permitida, a menudo por automorfismos, familias de dimensión infinita o comportamiento no separado.

Demostración

Problemas de módulo que requieren estructura de stack dan ejemplos: el funtor que asigna a T las clases de isomorfismo de objetos con automorfismos no triviales puede no ser representable por un esquema (por ejemplo, familias cuyos estabilizadores varían en T), forzando el paso a stacks algebraicos o cocientes por groupoides.

Aplicación incorrecta

Forzar a un funtor no representable a tratarse como si fuera representable por un esquema u obviar los grupos estabilizadores conduce a familias universales incorrectas, espacios de deformación mal contados o a no parametrizar correctamente las clases de isomorfismo.

Consecuencia

Identificar la no representabilidad redirige a marcos más amplios (espacios algebraicos, stacks, módulos formales o derivados) que pueden capturar el funtor, aclara qué objetos universales existen y explica patologías de módulo como la no separación o la falta de espacio de módulos grueso.

Inversión

Los funtores representables son la inversión: existe un esquema (o espacio algebraico) cuyo funtor de puntos es el funtor dado, proporcionando una familia universal y un espacio parámetrico geométrico clásico.

Límite

Abarca funtores sobre categorías de esquemas, anillos o groupoides; excluye parametrizaciones puramente enunciativas que ignoran la estructura categórica y no exige representabilidad dentro de una categoría ambiente irrazonablemente restrictiva (p. ej. insistir en esquemas cuando son necesarios espacios algebraicos o stacks).

Tensión semántica

Tensión entre la visión del funtor-de-puntos (flexible pero a veces no representable) y el deseo de espacios paramétricos concretos (esquemas); tensión también entre módulos gruesos y los realces stacky o derivados necesarios para representar el funtor.

Síntesis

Un funtor no representable es una asignación tipo módulo que carece de un esquema o espacio algebraico representante por automorfismos, comportamiento no separado o dimensión infinita; reconocer la no representabilidad motiva el paso a stacks, métodos formales o derivados para obtener parametrizaciones correctas.