Capítulo 1

Ha es sobre un espa io topológi o

1.1. Axiomas de ha es

Los ha es son usados en topología, geometría algebrai a y geometría diferen ial siempre

que queramos guardar el rastro de datos algebrai os que ambian on ada onjunto abierto del

objeto geométri o dado. Son la herramienta global para estudiar objetos que varían lo almente.

Deniremos los ha es en dos pasos. El primero es introdu ir el on epto de prehaz, que

aptura la idea de aso iar informa ión lo al a un espa io topológi o. El segundo paso es

introdu ir un axioma adi ional, llamado el axioma de pegado o el axioma de haz, que aptura

la idea de pegar informa ión lo al para obtener informa ión global.

Defini ión 1.1.1. Sea X un espa io topológi o y C una ategoría ualquiera. Un prehaz on
valores en C sobre X es un par (P, ρ) donde P es una apli a ión que a ada abierto U de

X le asigna el elemento P(U) de la ategoría C y ρ es una apli a ión que para ada par de

abiertos V ⊂U de X les asigna un morsmo ρU V : P(U) −→ P(V ) de modo que se umplan

las siguientes propiedades:

1. P(∅) = 0.

2. Para todo abierto U ⊂X es ρU U la identidad sobre P(U).

3. Si W ⊆V ⊆U son abiertos de X, enton es ρU V ◦ ρV W = ρU W .

Di ho de otro modo: Sea TX la ategoría uyos objetos son los abiertos de X y uyos

morsmos entre objetos son la in lusión natural ( uando exista), es de ir,

1
2 1.1 Axiomas de ha es

8
>><
La in lusión si U ⊆ V
HomTX (U, V ) = >
>:∅, en otro aso
Un prehaz on valores en C sobre X es un fun tor ontravariante de TX en C.

Defini ión 1.1.2. Para ada par de abiertos V ⊆ U los morsmos ρU V : P(U) −→ P(V )
umpliendo las propiedades anteriores se llaman morsmo de restri ión. A los elementos de

P(U) se les denominan se iones de P en U y también se denotan por Γ(P, U). En el aso de

que utili emos todo el espa io topológi o se llaman se iones globales. Normalmente si s ∈ P(U)
y V ⊆U es ribiremos s|V en lugar de ρU V (s).

Si las imágenes F(U) son onjuntos, grupos, anillos, et . y las restri iones son apli a iones

entre onjuntos ,homomorsmos de grupos o anillos, et ., enton es tenemos un prehaz de

onjuntos se suele denotar por Cconj  , de grupos llamado Ab, de anillos  uyo nombre

es Ring .
Si A es una prehaz de anillos, llamaremos prehaz de A-módulos a todo prehaz M de grupos
abelianos que verique:

1. Para ada abierto U ⊆ X , P(U) es un A(U)-módulo.

2. Si V ⊆ U, enton es (a · s)|V = a|V · s|V para ualesquiera a ∈ A(U) y s ∈ P(U).

Las dos ondi iones anteriores equivalen a que para ada abierto U ⊆ X ha de ser M(U)
τU V
un A(U)-módulo y para ada in lusión V ⊆U el mormo de restri ión M(U) M(V ) es
ρU V
ompatible on las estru turas de módulos vía el morsmo de restri ión A(U) A(V ) , es

de ir, τU V (a · s) = ρU V (a) · τU V (s) para todo a ∈ A(U) y s ∈ M(U).

Ejemplo 1.1.3.

1. Sea X un espa io topológi o. Sea C 0 (U) el anillo de las fun iones reales y ontinuas

sobre ada abierto U ⊆ X. Si tomamos omo morsmos de restri ión la restri ión

ordinaria de fun iones ,enton es C0 es un prehaz de anillos, que se denomina el

prehaz de las fun iones ontinuas sobre X. Si ambiamos la ondi ión de fun iones

ontinuas por fun iones innitamente diferen iable obtenemos de manera análoga el

prehaz de las fun iones innitamente diferen iables sobre X. La se iones globales
1.1 Axiomas de ha es 3

son en este aso las fun iones innitamente diferen iables sobre X, C ∞ (X); y dado

que para ada abierto U ⊆ X se umple que C ∞ (U) = C ∞ (X)SU tal que SU =
{fun iones innitamente diferen iables sobre X que no se anulan en U} resulta que toda

fun ión de tipo C∞ sobre U es o iente de dos fun iones innitamente diferen iables

globalmente tal que el denominador no se anula en U y, en onse uen ia, el prehaz está

determinado por las se iones globales.

Análogamente, si X es una variedad diferen iable, se denen los preha es de fun iones

diferen iales, de ampos diferen iales, formas diferen iales, tensores, et .

2. Sea G un onjunto (resp. un grupo, un anillo, et ). Sea P(U) = G para todo abierto

U ⊆ X. Si tomamos omo morsmos de restri ión la identidad, enton es P es un prehaz

de onjuntos (resp. de grupos, de anillos, et ) en X, que se denomina prehaz onstante G

y se suele denotar por G.

3. Sea X la esfera y O el prehaz de las fun iones holomorfas. En este aso las se iones

globales son O(X) = {fun iones holomorfas sobre la esfera} ={ fun iones sobre la esfera

sin polos sobre ella}. Para ada abierto U ⊂ X tenemos que O(U) = {f : U → C
holomorfas} = {fun iones sin polos en U} = {fun iones analíti as en U}. Este prehaz no

queda determinado por las se iones globales pues puede su eder que una fun ión sobre

la esfera tenga un polo sobre ella pero no tenga di ho polo sobre un ierto abierto.

4. Sea A un anillo y X = EspA on la topología de Zariski. Si a ada abierto U ⊂X le

asignamos el anillo ASU = {a/s on a∈A y s una fun ión que no se anula en ningún

punto de U} junto on los morsmos de restri ión ρU V AU −→ AV ; a/s 7→ a/s que está
bien denido pues si s es una fun ión que no se anula en U no se anula en V  para ada

in lusión V ⊂U dene un prehaz denominado prehaz de lo aliza iones.

5. Si M es un A-módulo, aso iando a ada abierto U el AU -módulo MU = M ⊗A AU se

obtiene un prehaz de módulos sobre el anterior prehaz de anillos, que se denomina prehaz

de lo aliza ión de M.

6. Sea π : Y −→ X es una apli a ión ontinua. Para ada abierto U ⊂ X, sea P(U)
las se iones ontinuas de π sobre U, es de ir, P(U) = HomX (U, Y ). Los morsmos de

restri ión son los denidos por la restri ión de apli a iones. P es un prehaz sobre X,
4 1.1 Axiomas de ha es

que se denomina prehaz de se iones de π. Este ejemplo es el que motiva el nombre de

se iones y morsmos de restri ión que se ha dado para un prehaz ualquiera.

7. Si X es sólo un punto, la ategoría de preha es de onjuntos (resp. grupos abelianos, et )

sobre X equivale a la ategoría de onjuntos (resp. gruposs abelianos, et ), pues todo

prehaz es onstante.

Defini ión 1.1.4. Sea P sobre X y x ∈ X. Llamamos bra de P en x a Px = lı́m

−→
P(U). Los
x∈U
elementos de Px se denominan gérmenes de se iones de P en x.

Por deni ión de límite indu tivo, un germen de se ión de P en x es dar una pareja (U, s)
formada por un abierto U que ontiene a x y una se ión s de P en U, donde se identi an dos

parejas (U, s) y (V, t) si y solo si existe un abierto W ⊆ U ∩V tal que s|W = t|W . En po as

palabras, un germen de se ión de P en x es dar una se ión de P en un entorno arbitrariamente

pequeño de x.

Ejemplo 1.1.5. 1. Sea A un anillo abeliano, A su prehaz de lo aliza iones y X = EspA.

Para ada punto x∈X se tiene por álgebra II que

Ax = lı́m
−→
A(U) = lı́m
−→
AU = Ax
x∈U x∈U

2. La bra del prehaz de las fun iones reales ontinuas de Rn en un punto x ∈ Rn oin ide

on C 0 (Rn )mx siendo mx el ideal de las fun iones que se anulan en x.

Defini ión 1.1.6. Un morsmo de preha es f : P −→ P′ es un morsmo de fun tores, es de ir,

es dar un morsmo f (U) : P(U) −→ P′ (U) para ada abierto U ⊆ X que onmuta on los

morsmos de restri ión. En resumen, para que f : P −→ P′ sea un morsmo de preha es es

ne esario que ada par de abiertos V ⊆U el diagrama

f (U )
P(U) P′ (U)
ρU V ρ′U V
f (V )
P(V ) P′ (V )

sea onmutativo.

De imos que una su esión de preha es P −→ P′ −→ P′′ es exa ta si para ada abierto

U ⊆X lo es la su esión P(U) −→ P′ (U) −→ P′′ (U) en la ategoría orrespondiente.

1.1 Axiomas de ha es 5

Si f : P −→ P′ es un morsmo de preha es, indu e un morsmo en la bra de ada punto

fx : Px −→ P′x de modo que para toda se ión s en un abierto U que ontiene a x se veri a

que fx (sx ) = f (U)(s)x .

Defini ión 1.1.7. Un prehaz F sobre un espa io topológi o X es un haz si satisfa e que para

todo abierto U y todo re ubrimiento abierto {Ui } de U la su esión

0 F(U)
δ Q F(U ) p1 Q F(U ∩ Uj )
i i
i p2 i,j

es exa ta en sentido que δ es un morsmo inye tivo e Im δ = Ker(p1 − p2 ).

Los morsmos de la su esión anteriores están denidos omo sigue:

1. Si ρU Ui : F(U) −→ F(Ui ) son los morsmos de restri ión, δ(s) = (ρU Ui (s))i = (s|Ui )i .

(si ) ∈
Q F(U ) detallamos p (s ) = (s
2. Si i 1 i i|Ui ∩Uj )i,j , p2 (si ) = (sj|Ui ∩Uj )i,j .
i

De la deni ión anterior dedu imos que:

Que la apli a ión δ sea inye tiva signi a que si U es un abierto , {Ui } es un re ubrimiento

por abiertos de U y s ∈ F(U) es un elemento tal que s|Ui = 0 para todo i, enton es s = 0;
o lo que es lo mismo, si dos se iones de F(U) oin iden sobre un re ubrimiento por

abiertos de U enton es son iguales.

Que Im δ = Ker(p1 − p2 ) impli a que si si U es un abierto , {Ui } es un re ubrimiento por

abiertos de U y tenemos elementos si ∈ F(Ui ) para ada , i on la propiedad que para , i

j, si|Ui ∩Uj = sj|Ui ∩Uj , enton es existe un elemento s ∈ F(U) tal que s|Ui = si para i
ada .

Nótese que el item anterior impli a que s es úni a.

Estos dos puntos ara terizan el axioma del pegado referido ini ialmente.

Ejemplo 1.1.8.

1. Es obvio que el prehaz del ejemplo 1.1.3.(1) es un haz pues para denir una fun ión de

tipo C∞ en un abierto U de un espa io topológi o X basta on que esté determinada en

ada uno de los abiertos Ui que formen parte de un re ubrimiento de U y que oin ida

en las interse iones.

6 1.1 Axiomas de ha es

2. El aso de 1.1.3.(2) tiene estru tura de haz uando el espa io topológi o X verique que

la interse ión de abiertos no va íos es no va ía.

3. Consideremos un espa io topológi o arbitrario X, un grupo abeliano arbitrario G y jemos

p
un punto p ∈ X . Llamaremos GX al prehaz que a ada abierto U ⊂X le ha e orresponder

el grupo 8
>><
G si p∈U
GpX (U) = >
>:∅ si p∈
/U