Teorema de la función inversa

Diego Burón Santos

18 de mayo de 2018

1. Introducción
En el presente trabajo trataremos de dar una visión clara del teorema de la función inversa,
ası́ como de su interpretación geométrica. Pero antes de demostrar el teorema, nos centraremos
primero en tener claras ciertas definiciones y propiedades de los objetos y morfismos con los
que trabajaremos.

2. Anillo graduado
Definición: Sea A un anillo, α ⊆ A un ideal. El graduado de A con respecto a α se define
como:

M
gα (A) := αi /αi+1
i≥0

Se define en este conjunto una suma, que es componente a componente, que está claramen-
te bien definida. Y se define un producto en él de la siguiente manera: dado xn ∈ αn /αn+1 ,
xm ∈ αm /αm+1 definimos xn · xm := xn · xm ∈ αn+m /αn+m+1 , que está bien definido, y exten-
demos este producto entre cualquier par de elementos de gα (A) como el producto que tiene
definido el anillo de polinomios. Con estas dos operaciones gα (A) es un anillo graduado.

2.1. Morfismo entre graduados

Sea f : A → B morfismo de anillos y sean α ⊆ A, β ⊆ B ideales tales que f (α) ⊆ β (luego
f (αn ) ⊆ β n ). Para cada n=0,1,2,... definimos el morfismo:

gn (f ) : αn /αn+1 −→ β n /β n+1
a 7−→ f (a)

que está bien definido debido a que f (α) ⊆ β.

Definimos entonces el morfismo de anillos inducido por f entre los anillos graduados como:

g(f ) : gα (A) −→ gβ (B)

(a0 , a1 , ...) 7−→ (g0 (f )(a0 ), g1 (f )(a1 ), ...)

1
Tenemos las dos siguientes propiedades fáciles de ver:
1) g(f ) es isomorfismo si y solo si gn (f ) es isomorfismo ∀n = 0, 1, 2...
2) Si f : A → B es isomorfismo de anillos tal que f (α) = β, entonces g(f ) : gα (A) → gβ (B) es
isomorfismo de anillos.

3. Completación de un anillo
Sea A un anillo, α ⊆ A un ideal y sea A
b el completado α-ádico. Entonces, sabemos de clase
n
b ' lim A/α .
que A
←−
Sea f : A → B morfismo de anillos y sean α ⊆ A, β ⊆ B ideales tales que f (α) ⊆ β. Entonces,
debido a que f (α) ⊆ β, para cada n=0,1,2,... tengo bien definido el morfismo de anillos:

ϕn (f ) : A/αn −→ B/β n
a 7−→ f (a)

Luego tengo el siguiente morfismo de anillos:

ϕ(f ) : lim A/αn −→ lim B/β n

←− ←−
(a0 , a1 , ...) 7−→ (ϕ0 (f )(a0 ), ϕ1 (f )(a1 ), ...)

que se comprueba fácilmente que está bien definido, es decir, que la imágen de un elemento
de lim A/αn está en lim B/β n .
←− ←−
Se prueba con facilidad que si ϕn (f ) : A/αn → B/β n es isomorfismo ∀n=0,1,2,..., entonces
ϕ : lim A/αn → lim B/β n es isomorfismo.
←− ←−
Gracias a este morfismo de anillos podemos definir un morfismo de anillos entre A b y B:
b
n n
f : A ' lim A/α → lim B/β ' B
b b b
←− ←−

4. Teorema de la función inversa

Sea f : A → B morfismo de anillos noetherianos y sean α ⊆ A, β ⊆ B ideales tales que
f (α) ⊆ β. Denotemos g(f ) : gα (A) → gβ (B) y fb : Ab→B b los morfismos inducidos entre los
correspondientes graduados y completados. Entonces:
1)g(f ) isomorfismo ⇒ fb isomorfismo.
2)Si fb es isomorfismo tal que fb(b
α) = β,
b entonces g(f ) es isomorfismo.
Luego si f (α) = β (y por tanto fb(bα) = β)
b , tendremos que:
g(f ) es isomorfismo ⇔ fb es isomorfismo.

Demostración:
1)Para cada n=0,1,2,... tenemos por un lado la sucesión exacta:

0→ αn /αn+1 → A/αn+1 → A/αn → 0

2
Y por otro lado la sucesión exacta:

0→ β n /β n+1 → B/β n+1 → B/β n → 0

Tenemos los siguientes diagramas conmutativos:

αn /αn+1 / A/αn+1
gn (f ) ϕn+1 (f )
 
β n /β n+1 / B/β n+1

A/αn+1 / A/αn
ϕn+1 (f ) ϕn (f )
 
B/β n+1 / B/β n

Luego tenemos el siguiente diagrama:

0 −→ αn /αn+1 −→ A/αn+1 −→ A/αn −→ 0

↓ gn (f ) ↓ ϕn+1 (f ) ↓ ϕn (f )
n n+1 n+1
0 −→ β /β −→ B/β −→ B/β n −→ 0

Por el lema de la serpiente tenemos la siguiente sucesión exacta:

0 → Kergn (f ) −→ Kerϕn+1 (f ) −→ Kerϕn (f ) −→ Cokergn (f ) −→ Cokerϕn+1 (f ) −→

Cokerϕn (f ) → 0

Como g(f ) es isomorfismo ⇒ g(f ) es inyectiva ⇒ gn (f ) es inyectiva ∀n=0,1,2,... . Luego,

de la última sucesión exacta obtenemos que para cada n:

0 → Kerϕn+1 (f ) → Kerϕn (f )

Como Ker ϕ0 (f )=0 (ϕ0 (f ) : 0 → 0), tendremos que 0 → Kerϕ1 (f ) → 0 =⇒

Kerϕ1 (f ) = 0. Luego 0 → Kerϕ2 (f ) → 0 =⇒ Kerϕ2 (f ) = 0. Luego recursivamente obtenemos
que Kerϕn (f )=0 ∀n =⇒ ϕn (f ) inyectiva ∀ n =⇒ ϕ(f ) inyectiva =⇒ fb inyectiva.

Como g(f ) es epiyectiva =⇒ gn (f ) epiyectiva ∀n =⇒ Coker gn (f )=0 ∀n. Luego de la suce-

sión exacta obtenida tras el lema de la serpiente obtenemos:
0 −→ Cokerϕn+1 (f ) −→ Cokerϕn (f ) −→ 0 ∀n
Luego Coker ϕn (f ) ' Coker ϕ0 (f ) ∀n. Como Coker ϕ0 (f )=0 (ϕ0 (f ) : 0 → 0) =⇒
Coker ϕn (f )=0 ∀n =⇒ ϕn (f ) epiyectiva ∀n =⇒ ϕ(f ) epiyectiva =⇒ fb epiyectiva.
Por tanto fb es isomorfismo.

3
Notar que para esta parte no hemos usado la hipótesis de que A y B sean anillos noethe-
rianos.

b → B
2) Si fb: A b es isomorfismo tal que fb(b b → g b(B)
α) = βb tendremos que g(fb): gαb (A) b es
β
b ' gα (A), g b(B)
isomorfismo. Como A y B son noetherianos, vimos en clase que gαb (A) b ' gβ (B),
β
y por lo tanto g(f ) : gα (A) → gβ (B) será isomorfismo.

5. Interpretación geométrica
Veremos que este teorema es el que recupera dentro de la geometrı́a algebraica el teorema
de la función inversa de la geometrı́a diferencial. En geometrı́a diferencial se tiene el siguiente
resultado:

Teorema de la función inversa: Sean X e Y variedades diferenciables. Dada una aplicación

ϕ: X → Y diferenciable, la condición necesaria y suficiente para que ϕ sea un difeomorfismo
local en un punto p ∈ X es que la aplicación tangente de ϕ en el punto p, ϕ∗,p : Tp X → Tϕ(p) Y ,
sea un isomorfismo lineal.

Tenemos las dos siguientes definiciones:

Definición: sea A un anillo, x ∈ X=Spec A y k(x)=Ax /mx el cuerpo residual del punto.
Como mx anula a mx /m2x , mx /m2x será k(x)-espacio vectorial. Llamaremos espacio tangente de
Zariski a (mx /m2x )*, el dual como k(x)-espacio vectorial.

Definición: sea A un anillo, x ∈ X=Spec A. Llamaremos cono tangente de X en x a

CTx X:=Spec gmx Ax =Spec(k(x) ⊕ mx /m2x ⊕ m2x /m3x ⊕ ...).

Observación
Tengo el espacio tangente en el punto x ∈ X, (mx /m2x )*. Como estoy en geometrı́a algebraica,
una pregunta que surge rápidamente es si puedo pensar el espacio tangente como una variedad
algebraica, es decir, como el espectro de un anillo. Vimos en geometrı́a algebraica que para
llegar de un espacio vectorial a una variedad algebraica usábamos la herramienta del álgebra
simétrica.
En efecto, se tiene que dado E un k-espacio vectorial, entonces E=Speck (S • (E ∗ )). Luego po-
demos definir de nuevo nuestro espacio vectorial como E=Spec(S • (E ∗ )), es decir, tenemos el
espacio vectorial de antes pero enriquecido, con más puntos.
Luego si queremos hacer del espacio tangente una variedad algebraica haremos Spec(S • (mx /m2x )),
pero es que S • (mx /m2x ) ' gmx Ax . Luego nuestro espacio tangente algebraico será el que era nues-
tro cono tangente. Luego en la interpretación geométrica del teorema de la función inversa con
el espacio tangente que he de trabajar es el algebraico, ya que es el equivalente algebraico del
concepto analı́tico de espacio tangente.

Interpretemos ahora sı́ los resultados del teorema:

Sea i : A → B morfismo de anillos noetherianos y sea f = i∗ : X = SpecB → Y = SpecA

el morfismo algebraico inducido entre las variedades algebraicas asociadas. Dado x ∈ X e
y = f (x) ∈ Y , ¿cuándo seremos capaces de encontrar entornos en ambos puntos tales que que
f restringido a esos entornos sea un isomorfismo algebraico?

4
Como y=f(x) =⇒ py =i∗ (px )=i−1 (px ) =⇒ i(py ) = i(i−1 (px )) ⊆ px . Luego gracias a esto tengo
bien definido el morfismo de anillos entre los respectivos anillos locales de x e y:

i : Apy −→ Bpx
a
s
7−→ ff (a)
(s)

con i(my ) ⊆ mx (los pongo en notación de maximal pues en los anillos locales ya son maximales).
Aplicando la parte 1 del teorema a i, tenemos que si g(i) : gmy (Ay ) → gmx (Ax ) es isomorfismo
y
c→B
de anillos, entonces bi :A c será isomorfismo. Luego si la aplicación inducida entre los conos
x
tangentes CTx X → CTy Y es un isomorfismo algebraico entonces lo será Spec(B cx ) → Spec(A cy ).
Pero Spec(B cx ) puede ser entendido como un entorno de x, y análogamente para Spec(A cy ) e y.
Y la aplicación inducida entre los conos tangentes es el equivalente a la aplicación tangente de
geometrı́a diferencial. Luego obtenemos que si la aplicación inducida entre los conos tangentes
(que es nuestra aplicación tangente) es un isomorfismo, entonces f será localmente un isomor-
fismo en x.
Del revés, suponiendo la hipótesis adicional de que i(py ) = px , entonces llegarı́amos por la
parte 2 del teorema a que si f es localmente un isomorfismo (es decir, que bi :A cy → B cx sea un
isomorfismo), entonces la aplicación inducida entre los conos tangentes es isomorfismo.

Por lo tanto llegamos a la conclusión de que la aplicación entre los conos tangentes es iso-
morfismo si y solo si f es un isomorfismo local en el punto, con lo que recuperamos el teorema
de la función inversa visto en geometrı́a diferencial.

6. Bibliografı́a
(1) M.F. Atiyah, I.G. Macdonald: Introducción al Álgebra Conmutativa, Editorial Reverté,
Barcelona (2005).

(2) Apuntes de clase de la asignatura Ampliación de Álgebra Conmutativa del Grado en Ma-
temáticas de la Universidad de Salamanca.