stringtranslate.com

Teorema de aproximación de Artin

En matemáticas , el teorema de aproximación de Artin es un resultado fundamental de Michael Artin  (1969) en la teoría de la deformación que implica que las series de potencias formales con coeficientes en un campo k están bien aproximadas por las funciones algebraicas en k .

Más precisamente, Artin demostró dos de estos teoremas: uno, en 1968, sobre la aproximación de soluciones analíticas complejas mediante soluciones formales (en el caso ); y una versión algebraica de este teorema en 1969.

Enunciado del teorema

Sea una colección de n indeterminados , el anillo de series de potencias formales con indeterminados sobre un cuerpo k y un conjunto diferente de indeterminados. Sea

sea ​​un sistema de ecuaciones polinómicas en , y c un entero positivo . Entonces, dada una solución formal en serie de potencias , existe una solución algebraica que consiste en funciones algebraicas (más precisamente, series de potencias algebraicas) tales que

Discusión

Dado cualquier entero positivo deseado c , este teorema muestra que se puede encontrar una solución algebraica que se aproxime a una solución de serie de potencias formales hasta el grado especificado por c . Esto conduce a teoremas que deducen la existencia de ciertos espacios de módulos formales de deformaciones como esquemas . Véase también: Criterio de Artin .

Declaración alternativa

La siguiente afirmación alternativa se da en el Teorema 1.12 de Michael Artin  (1969).

Sea un campo o un anillo de valoración discreto excelente, sea la henselización en un ideal primo de un -álgebra de tipo finito, sea m un ideal propio de , sea la completitud m -ádica de , y sea

sea ​​un funtor que envía colimites filtrados a colimites filtrados (Artin llama a un funtor de este tipo localmente de presentación finita). Entonces, para cualquier entero c y cualquier , existe un tal que

.

Véase también

Referencias