esquema formal
En matemáticas , específicamente en geometría algebraica , un esquema formal es un tipo de espacio que incluye datos sobre su entorno. A diferencia de un esquema ordinario , un esquema formal incluye datos infinitesimales que, en efecto, apuntan en una dirección fuera del esquema. Por esta razón, los esquemas formales aparecen con frecuencia en temas como la teoría de la deformación . Pero el concepto también se utiliza para demostrar un teorema como el teorema de las funciones formales , que se utiliza para deducir teoremas de interés para esquemas habituales.
Un esquema localmente noetheriano es un esquema formal localmente noetheriano en el sentido canónico: la terminación formal en sí misma. En otras palabras, la categoría de esquemas formales localmente noetherianos contiene todos los esquemas locales noetherianos.
Los esquemas formales generalmente se definen solo en el caso noetheriano . Si bien ha habido varias definiciones de esquemas formales no noetherianos, estos encuentran problemas técnicos. En consecuencia, sólo definiremos esquemas formales localmente noetherianos.
Se supondrá que todos los anillos son conmutativos y con unidad . Sea A un anillo topológico (noetheriano) , es decir, un anillo A que es un espacio topológico tal que las operaciones de suma y multiplicación son continuas. A tiene una topología lineal si cero tiene una base que consta de ideales . Un ideal de definición para un anillo topologizado linealmente es un ideal abierto tal que para cada vecindad abierta V de 0, existe un entero positivo n tal que . Un anillo topologizado linealmente eses preadmisible si admite un ideal de definición, y es admisible si además es completa . (En la terminología de Bourbaki , esto es "completo y separado".)
