Un espacio paramétrico geométrico cuyos puntos corresponden a clases de isomorfismo de objetos de un tipo fijo (variedades, fibrados, faischeos, curvas, etc.), a menudo equipado con la estructura de esquema, variedad o stack que refleja familias y deformaciones.

Principio

Un espacio de módulos representa o co-representa un problema de módulos: parametriza objetos en familias y cumple una propiedad universal o gruesa de mapeo; cuando los automorfismos impiden la representabilidad se recurre a stacks o a módulos gruesos.

Demostración

La Grassmanniana parametriza subespacios lineales de dimensión fija en un espacio vectorial (un espacio de módulos fino para subespacios), mientras que el espacio de módulos de curvas proyectivas suaves de género g suele existir sólo como stack de Deligne–Mumford o como un módulo grueso tras tomar el cociente por automorfismos.

Aplicación incorrecta

Tratar un conjunto ingenuo de clases de isomorfismo como un espacio de módulos sin estructura topológica ni de esquema, o ignorar los grupos de automorfismos y así perder la naturaleza de stack y los fenómenos de estabilizadores.

Consecuencia

Una construcción de módulos adecuada organiza familias, permite estudiar la variación de invariantes (dimensiones, números de Hodge), produce compactificaciones y estratos de frontera, y facilita cálculos de intersección y enumerativos.

Inversión

Sustituir un espacio de módulos fino por un mero conjunto de parámetros elimina familias universales; sustituir un stack de módulos por un cociente ingenuo hace perder la información sobre estabilizadores y dificulta enunciados finos de teoría de deformaciones.

Límite

No todo problema de clasificación es representable por un esquema o variedad: aparecen problemas de no separación, existencia de automorfismos y la necesidad de admitir stacks, espacios algebraicos o mejoras derivadas; condiciones de estabilidad y GIT suelen restringir a loci bien comportados.

Tensión semántica

Hay tensión entre espacios de módulos gruesos, finos y stacks de módulos; entre representar familias frente a clasificar objetos hasta isomorfismo, y entre puntos geométricos y objetos con automorfismos no triviales.

Síntesis

Un espacio de módulos es la solución geométrica a un problema de clasificación: empaqueta clases de isomorfismo en un espacio paramétrico con la estructura apropiada (esquema, variedad, espacio algebraico o stack) de modo que las familias de objetos correspondan a morfismos hacia ese espacio.