En matemáticas , los módulos formales son un aspecto de la teoría de espacios de módulos (de variedades algebraicas o paquetes de vectores , por ejemplo), estrechamente vinculado a la teoría de la deformación y la geometría formal . En términos generales, la teoría de la deformación puede proporcionar el nivel polinómico de Taylor de información sobre las deformaciones, mientras que la teoría de los módulos formales puede ensamblar polinomios de Taylor consistentes para hacer una teoría formal de series de potencia . El paso a los espacios de módulos, propiamente hablando, es una cuestión de algebraización , y el teorema de aproximación de Artin ha establecido en gran medida una base firme..
Una deformación universal formal es por definición un esquema formal sobre un anillo local completo , con fibra especial el esquema sobre un campo en estudio, y con una propiedad universal entre tales configuraciones. El anillo local en cuestión es entonces el portador de los módulos formales.
Referencias
- "Deformación" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]