Introducción a los Haces

Oscar Daniel Ramírez Correa

Asesor: Gil Alberto de Jesus Donado Nuñez

Universidad Pedagógica Nacional

Bogotá D.C.
2022
 Dedicatoria

Para Alba y Ernesto Ramírez

II
0.1. INTRODUCCIÓN III

0.1. Introducción

Dada la emergencia de las matemáticas contemporáneas en todo el saber matemático,

y la inclinación de estas (desde 1950 hacía adelante) intentándose alejar de técnicas un
tanto artificiosas e insuficientes para atacar nuevos problemas, la teoría de haces se
enmarca como una de las ramas de las matemáticas que seguirá dando mucho en los
próximos años en el entorno creativo de estás. Desde su nacimiento y formalización en
la escuela francesa (Cartan, 1951) el concepto de haz se ha prefigurado como el susten-
tador de diversas teorías, mejorando y naturalizando ideas previas de la matemática,
y haciendo que tales objetos tuvieran un mayor radio de influencia no solo conceptual,
sino también relacional. Es por esta razón que un entendimiento de la teoría de haces
se hace necesaria para estar al tanto de las nuevas formas matemáticas de los próximos
años.
Desde su consolidación, el concepto de haz se ha enmarcado como un concepto muy
especial en donde su característica fundamental radica pasar de formas limitadas (lo-
cales) a formas totalmente generales (globales) y desde allí poder quitar rastres con-
ceptuales que dependen de consideraciones de tipo local. Es el caso de que algunos
objetos matemáticos que, aunque bien constituidos, no permiten ir más allá, como
puede ser la generalización o la resolución de problemas. El haz permitió que aque-
llos conceptos “viejos” tomaran rumbos más “suaves” y se desarrollaran en teorías
nuevas cuya exploración y gama de influencia hoy en día no ha acabado, tomemos
por ejemplo la teoría de topos, los esquemas, la K-teoría, las categorías abelianas, etc.
Hoy en día los haces también hacen parte fundamental de teorías cuya meta es una
explicación general de las matemáticas y la búsqueda de relaciones entre las diferentes
ramas de esta, como son hoy el programa de Langlands o el programa de unificación
de Olivia Caramello.
Este trabajo tiene un distribución muy general sobre los haces resumida de la siguiente
forma: El capítulo 1 hace una breve presentación de los conceptos previos para llegar a
la noción de haz. El capítulo 2 presenta los conceptos de prehaz y haz, haciendo ayuda
de varios ejemplos para el entendimiento de estas dos nociones. El capítulo 3 alude
a varias construcciones de haces en donde la más destacada es la hacificación de un
prehaz. Finalmente en el capítulo 4 hablaremos sobre el espacio étalé, cuya definición
dada por Cartan en los años 50 rememora los cimientos del concepto de haz.
IV
 Índice general

0.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . III

1. Preliminares 3
1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Espacios Topológicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Límites Directos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2. Prehaces y Haces 8
2.1. Prehaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2. Haces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3. Construcción de Haces 21
3.1. Tallos ( Stalks) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2. Hacificación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3. Otras formas de construir haces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.1. Haz imagen directa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.2. Otras construcciones de haces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

4. Espacio étalé 34
4.1. Espacio étalé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.2. Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

1
2 ÍNDICE GENERAL

Lista de Símbolos
Símbolos
∅ conjunto vacío
TX topología asociada al conjunto X
C, G, F , . . . haces (prehaces)
F (U ) conjunto de secciones de U
{ Ai }i ∈ I familia
{ Aij , ϕij } sistema directo
limi∈ I Ai límite directo
→
f |U función f restringida a U
0G elemento neutro del grupo G
0f
G función módulo de un grupo G
Id X función identidad del conjunto X
Zn enteros módulo n
R conjunto números reales
GL(n) grupo lineal general de orden n
C conjunto de números complejos
Γ(U, F ) conjunto de secciones de U en F
S1 circunferencia unitaria
B2 bola unitaria cerrada
X×Y producto cartesiano de conjuntos
f ◦g composición de funciones
FVU morfismo de restricción
V (x) vecindades abiertas de x
s |U morfismo de restricción aplicado a s
Fx tallo asociado a x
FU función de secciones a germenes
F+ hacificación del haz F
F |U haz restringido a U
F
i∈ I Ai unón disyunta de una familia de conjuntos
hU, si germen asociado al abierto U y la sección s
f∗ F haz imagen directa
f ∗F haz imagen inversa
X⊕Y suma directa de dos conjuntos
G⊗H producto tensorial de grupos
Hom( G, H ) conjunto de homomorfismos de grupos
E espacio étalé
FE haz asociado a E
π función proyección
π −1 ( x ) fibra asociada a x
σ sección de un espacio étalé
 CAPÍTULO 1

Preliminares

En este capítulo vamos a dar las definiciones y proposiciones previas para llegar al concepto de haz.
Pasaremos primero por la noción de grupo, después por la noción de espacio topológico y finalmente
introduciremos la idea de límite directo o límite inductivo en la categoría de grupos.

1.1. Grupos
Definición 1.1 (Grupo). [5]
Sea G un conjunto no vacío y ? una operación binaria definida en G . Se dice que G es un grupo respecto
de ?, o también que ? da a G da una estructura de grupo, si ? cumple las siguientes propiedades:
(i) ( a ? b) ? c = a ? (b ? c) para todo a, b, c ∈ G
(ii) Existe e ∈ G de manera que g ? e = e ? g = g para todo g ∈ G
(iii) Para todo g ∈ G existe g−1 ∈ G de manera que g ? g−1 = e = g−1 ? g
Definición 1.2 (Subgrupo). [5]
Sea ( G, ?) un grupo y S 6= ∅ un subconjunto de G. Se dice que S es un subgrupo de G si S bajo la
operación ? tiene estructura de grupo. En tal caso se escribe S ≤ G.
Ejemplo 1.1. Algunos ejemplos de grupos y subgrupos son:
(Z, +Z ) es un grupo donde +Z es la suma usual de números enteros.
(GL(n), ·) es un grupo donde · es la multiplicación usual de matrices.
(C, +C ) es un grupo donde +C es la suma usual de números complejos.
(R, +C ) es un subgrupo de (C, +C ).
Definición 1.3 (Homomorfismo de grupos). [5]
Sean ( G, ?) y ( F, ∗) dos grupos. Una función ψ : G → F tal que ψ( g ? h) = ψ( g) ∗ ψ(h) para todo g, h ∈ G
se denomina un homomorfismo del grupo G en el grupo F.

1.2. Espacios Topológicos

Definición 1.4 (Espacio Topológico). [9] Una Topología para un conjunto X es una familia

3
4 CAPÍTULO 1. PRELIMINARES

T = {Ui : i ∈ I } , con Ui ⊆ X

tal que:
(a) ∅ ∈ T y X ∈ T
\
(b) Ui ∈ T con F un subconjunto finito de I
i∈ F
[
(c) Ui ∈ T para todo J ⊆ I
i∈ J

Observación 1.1. Los elementos Ui se les conoce como los abiertos de la topología.
Ejemplo 1.2. [9] Algunos ejemplos de espacios topológicos son los siguientes:
Sea X un conjunto, cuando T X = P ( X ) se dice que X esta dotado de la topología discreta.
Sea X un conjunto, cuando T X = {∅, X } se dice que X esta dotado de la topología grosera.
Sea X un conjunto y p ∈ X, cuando T X = T p se dice que X esta dotado de la topología punto
incluido, esto es U ∈ T p si y solo si p ∈ U, o, U = ∅.
Sea R el conjunto de números reales, decimos que R esta dotado de la topología ususal TRu cuando
cada abiertos es unión de intervalos abiertos.
Definición 1.5 (Subespacio topológico). [9]
Sean ( X, T X ) un espacio topológico y A ⊆. La colección

T A : = {U ∩ A |U ∈ T X }

es una topología sobre A.

T A se llama la topología de subespacio inducido sobre A o la topología asociada al subespacio A.
Definición 1.6 (Cubrimiento de abierto ). [9]
Dado ( X, T ) un espacio topológico y A ⊆ X decimos que una colección {Ui }i∈ I de abiertos de X es un
cubrimiento abierto de A si
[
A⊆ Ui
i∈ I

Definición 1.7 (Espacio conexo). [9]

Un espacio topológico ( X, T ) es conexo si y solo si no existe una separación para X; esto es, no existen
A y B subconjuntos abiertos de X de manera que X = A ∪ B y A ∩ B = ∅.
Definición 1.8 (Subconjunto abierto conexo). [9]
Sea ( X, T ) un espacio topológico y U ⊆ X un subconjunto abierto. U es conexo si U como subespacio
topológico de X es conexo.
Definición 1.9 (Función continua). [9]
Sean ( X, T X ) y (Y, TY ) dos espacios topolóficos y f : X → Y decimos que f es continua si y solo si para
cada abierto V ∈ TY , f −1 (V ) ∈ T X
Definición 1.10 (Función localmente constante). [7]
Sean ( X, T X ) y (Y, TY ) dos espacios topológicos y f : X → Y decimos que f es localmente constante si y
solo si para cada x ∈ X existe Ux ⊆ X abierto de manera que f |Ux sea constante.
 
Proposición 1.1. Sean ( X, T X ) y Y, TYd donde TYd representa la topología discreta para Y. Sea f : X →
Y , entonces f es continua si y solo si f es localmente constante.

Demostración. Hagamos la demostración en dos partes

1.2. ESPACIOS TOPOLÓGICOS 5

(⇒) Supongamos que f es continua, a ver que para todo x ∈ X existe Ux ⊆ X abierto de manera que
f |Ux es constante. Sea x ∈ X, dado que f ( x ) ∈ Y, entonces { f ( x )} es un abierto de Y pues la
topología asociada es la discreta. Como f es continua, f −1 ({ f ( x )}) es un abierto de la topología
T X , escogiendo Ux = f −1 ({ f ( x )}) vemos que este es una vecindad abierta de x y que f |Ux es
constante.
(⇐) Supongamos que f es localmente constante a ver que f es continua, es decir que para todo V ∈ TYd ,
f −1 (V ) ∈ T X . Sea V ⊆ Y abierto y v ∈ V, veamos que sucede con f −1 ({v}).
( a) Suponga que existe x ∈ X de manera que v = f ( x ) , como f es localmenrte constante eso quiere
decir que existe Uxv ∈ T X de manera que f |Uxv es constante, eso implica que ∀ x 0 ∈ Ux , v = f ( x 0 ),
entonces f −1 ({v}) = Uxv
(b) Suponga que no existe x ∈ X de manera que v = f ( x ), entonces f −1 ({v}) = ∅
Por las dos anteriores observaciones formemos el siguiente conjunto:

A = {v ∈ V : v = f ( x ) para algún x ∈ X }

Tenemos ahora tres casos a considerar:

(i ) Si A = ∅
Si A es vacio eso quiere decir decir que v 6= f ( x ) para todo x ∈ X, por tanto f −1 ({v}) = ∅ para
todo v ∈ V. Dado que V ∈ TYd , tenemos que:

f −1 ( V ) = f −1 ({v})
[

v ∈V
∅
[
=
v ∈V
=∅

Como ∅ ∈ T X , entonces f es continua.

(ii ) Suponga que ∅ 6= A ( V
Como V = (V − A) ∪ A, es sencillo observar que

f −1 ( V ) = f −1 ( V − A ∪ A )
= f −1 ( V − A ) ∪ f −1 ( A )

Pero f −1 (V − A) = ∅, de allí que f −1 (V ) = f −1 ( A). Tenemos ahora que:

f −1 ( V ) = f −1 ( A )
f −1 ({v})
[
=
v∈ A
[
= Ux v
v∈ A

Como la unión arbitaria de abiertos de T X es un abierto, entonces f es continua.

6 CAPÍTULO 1. PRELIMINARES

(c) Si A = V, entonces:

f −1 ( V ) = f −1 ({v})
[

v ∈V
[
= Ux v
v ∈V

Finalmente, como la unión arbitaria de abiertos de X es un abierto, entonces f es continua.

Proposición 1.2. [9]

Sean ( X, T1 ) y (Y, T2 ) dos espacio topológicos y f una función f : X → Y , si T1 corresponde a la
topología discreta, entonces f es continua.
Definición 1.11 (Homeomorfismo). [9]
Dados dos espacios topológicos ( X, T X ) y (Y, TY ) decimos que X es homeomorfo a Y si existe una
biyección f : X → Y con f y f −1 continuas.

1.3. Límites Directos

Definición 1.12 (Conjunto dirigido). [3]
Un conjunto dirigido ( I, ≤) es un conjunto no vacío I con un relación binaria ≤ de manera que:
para todo i, j ∈ I tenemos que i ≤ j y j ≤ i si y solo si i = j
para todo i, j, k ∈ I, si i ≤ j y j ≤ k, entonces i ≤ k
para todo i, j ∈ I existe algún k ∈ I de manera que i ≤ k y j ≤ k
Definición 1.13 (Sistema directo). [3]
Sea ( I, ≤) un conjunto dirigido, y sea una familia de grupos abeliano { Gi }i∈ I indexados por I y una
familia de homomorfismos ϕij : Gi → Gj con las siguientes condiciones:
(a) ϕii = IdGi
(b) Para i ≤ j ≤ k se tiene que ϕki = ϕkj ◦ ϕ ji

Decimos entonces que Gi , ϕij constituye un sistema directo
Definición 1.14 (Límite directo). [3]

Un límite directo de un sistema directo de grupos abelianos Gi , ϕij , es un grupo abeliano G junto con
una familia de homomorfismos ψi : Gi → G tal que se cumple las siguientes condiciones:
(a) Para i ≤ j se tiene que ψi = ψj ◦ ϕij
(b) Cumple con la siguiente propiedad universal
Si L es otro grupo abeliano junto con una familia de homomorfismos θi : Gi → L tal que para cada
i ≤ j se tiene que θi = θ j ◦ ϕi,j , entonces existe un único homomorfismo h : G → L de manera que
el siguiente diagrama conmuta:

ψi
G Gi
θi
h
L

Es decir h ◦ ψi = θi . Al grupo G se le suele notar como G = lim Gi

→
i∈ I
1.3. LÍMITES DIRECTOS 7

Ejemplo 1.3. [3] Sea ( I, ≤) un conjunto dirigido y { Ai }i∈ I una familia de conjuntos de manera que para
todo i, j ∈ I si i ≤ j, entonces Ai ⊆ A j . Si consideramos la contencia de conjuntos como las respectivas
funciónes de inclusión, tenemos que para todo i, j ∈ I si i ≤ j, entonces ιij : Ai → A j , donde ιij son las
funciónes de inclusión. Probemos que { Ai , ιij } es un sistema directo:
Si para todo i, j ∈ I con i ≤ j se tiene que Ai ⊆ A j , es sencillo ver que ιii = Id Ai .
Sean i, j, k ∈ I con i ≤ j ≤ k, veamos que ιik = ι jk ◦ ιij . Dado que Ai ⊆ A j ⊆ Ak es sencillo ver que
ιik = ι jk ◦ ιij .
Entonces { Ai , ιij } forma un sistema directo. Dado que el límite directo existe este viene dado por:

[
lim Ai = Ai
→
i∈ I i∈ I
 CAPÍTULO 2

Prehaces y Haces

En este capítulo vamos a definir la noción de haz, y daremos varios ejemplos de dicho objeto . Para
ello tendremos que dar una noción anterior que es la de prehaz, y así mismo veremos como en algunos
casos tener un prehaz no necesariamente se tiene un haz.

2.1. Prehaces
Definición 2.1. [6]
Sea ( X, T ) un espacio topológico. Un prehaz F sobre el espacio ( X, T ) se define como:
(i) Para todo U ∈ T se le asocia un conjunto F (U ). F (∅) es un conjunto unitario.
(ii) A cada par de abiertos U y V con U ⊆ V se asocia una función FUV : F (V ) → F (U ) que satisface
las siguientes condiciones:
(a) FUU = idF (U ) , para todo abierto U de ( X, τ )

(b) Para cualesquiera abiertos U ⊆ V ⊆ W de ( X, τ ) se tiene que FUW = FUV ◦ FVW , es decir el
siguiente diagrama conmuta:

FVW
F (W ) F (V )
FUV
FUW
F (U )

Observación 2.1. [8] Demos ahora algunas observaciones importantes respecto a la anterior definición.
(i) Al conjunto F (U ) se le conoce como el conjunto de secciones del prehaz F sobre el abierto U.
Algunas veces a F lo vamos a notar como Γ (U, F ). Cuando U = X diremos que los elementos de
Γ ( X, F ) son las secciones globales del prehaz F .
(ii) La función FUV se le conoce como función restricción del abierto V al abierto U. Una aclaración
respecto a la notación de elementos via las funciones de restricción es la siguiente, sea z ∈ F (V )
una sección, a la imagen de z por FUV se le conoce como la restricción de z en U y se nota como
z|U y z|U = FUV (z)
(iii) En general a los conjuntos F (U ) se les puede dotar de una estructura algebraica, como puede ser
la de grupo, anillo, módulo, espacio vectorial, álgebra, etc. Si por ejemplo hubiésemos dicho que

8
2.1. PREHACES 9

para todo abierto U ⊆ X, F (U ) es un grupo, anillo, o módulo, entonces a F se le conoce como el

prehaz F de grupos, anillos, o modulos asociado al espacio topológico X.
(iv) Si el prehaz F resulta ser de grupos, anillos o módulos u cualquier otra estructura algebraica, se
les pide a las funciones FUV que sean homomorfismos de dichas estructuras.
Ahora veamos algunos ejemplos para observar lo que significa definir una estructura de prehaz para
un espacio topológico.

Ejemplos
Ejemplo 2.1 (Prehaz de funciones continuas). [8] Sean ( X, T X ) y ( N, T N ) dos espacios topológicos.
Definamos para U ⊆ X subconjunto abierto:

F (U ) := C (U, N ) = { f : U → N : f continua}

Para U y V subconjuntos abiertos de X de manera que U ⊆ V definimos las funciones de restricción

FUV de la siguiente manera:

FUV : C (V, N ) → C (U, N )

f 7→ FUV ( f ) = f |U

Veamos que F forma una estructura de prehaz sobre el espacio topológico ( X, T X ).

Demostración. Para ∅ ⊆ T X definimos F (∅) = {∅}

Veamos que FUV cumple con las dos condiciones dadas en la definición de prehaz.

(i) FUU = iF (U )

Recordemos que FUU : C (U, N ) → C (U, N ) . Sea f ∈ C (U, N ), aplicando FUU a f observamos que
FUU ( f ) = f |U y como f |U = f obtenemos que FUU ( f ) = f . De allí que FUU = iF (U ) .
(ii) Sean W, V y U abiertos de X de manera que U ⊆ V ⊆ W. A ver que

FUW = FUV ◦ FVW

Sea h ∈ F (W ), entonces FUW (h) = h|U . Calculemos ahora FUV ◦ FVW (h). Vemos que

FUV ◦ FVW (h) = FUV FVW (h) = FUV (h|V ) = h|U y como h fue arbitrario se tiene para todo

h ∈ F (W ), entonces FUW = FUV ◦ FVW .

Mostramos que F resulta ser una prehaz sobre el espacio X. A este prehaz se le conoce como el prehaz
de funciones continuas entre dos espacios topológicos.

Ejemplo 2.2 (Prehaz constante). [7]

Sea X un espacio topológico y A un grupo abeliano. Definimos el prehaz constante C A para U ⊆ X
abierto como sigue:

U 6= ∅

 A si
C A (U ) =
{0 A } si U = ∅


si U ⊆ V, entonces las funciones de restricción se definen como:

10 CAPÍTULO 2. PREHACES Y HACES

U 6= ∅


 Id A si



V
(C A )U = 0fA si U = ∅ y V 6= ∅



V=∅

Id{0 A } si


Comprobemos que efectivamente es un prehaz de grupos abelianos.

Demostración. ( a) Veamos que en efecto (C A )U

U = IdC A (U ) . Aquí hay dos casos a demostrar

(i ) Si U 6= ∅, por definición tenemos que C A (U ) = A y (C A )U U

U = Id A , entonces (C A )U = IdC A (U )

(ii ) Si U = ∅ por definición C A (U ) = {0 A } y (C A )U U

U = Id{0 A } , entonces (C A )U = IdC A (U )

(b) Veamos que si U ⊆ V ⊆ W, entonces (C A )W V W

U = (C A )U ◦ (C A )V
(i ) Supongamos que U 6= ∅, por definición tenemos que C A (U ) = C A (V ) = C A (W ) = A y que
(C A )W V W W V W
U = (C A )U = (C A )V = Id A , entonces (C A )U = (C A )U ◦ (C A )V , pues Id A ◦ Id A = Id A .
(ii ) Supongamos que U = ∅ y V 6= ∅, por definición tenemos C A (U ) = {0 A } y C A (V ) =
C A (W ) = A, también que (C A )W V W
U = (C A )U = 0 A y (C A )V = Id A . Démonos cuenta que:
f

 
(C A )W V W W
U ( a ) = 0 A y (C A )U (C A )V ( a ) = (C A )V ( a ) = 0 A

Entonces (C A )W V W
U = (C A )U ◦ (C A )V
(iii ) Supongamos ahora U = V = ∅ y que W 6= ∅, por definción tenemos: C A (U ) = C A (V ) =
{0 A } y C A (W ) = A y (C A )W W
U = (C A )V = 0 A . Véase que:
f

 
(C A )W V W V
U ( a ) = 0 A y (C A )U (C A )V ( a ) = (C A )U (0 A ) = 0 A

Entonces (C A )W V W
U = (C A )U ◦ (C A )V

(iv) Supongamos ahora W = ∅, entonces C A (U ) = C A (V ) = C A (W ) = {0 A } y (C A )W

U =
V W W V W
(C A )U = (C A )V = Id{0 A } , entonces (C A )U = (C A )U ◦ (C A )V

Veremos en la sección 2.2 que en realidad este prehaz no tiene estructura de haz, y en la sección 3.2
cómo la hacificación de este prehaz coincide con el haz de funciones localmente constantes.
Ejemplo 2.3 (Prehaz de funciones localmente constantes). [4] Sea X un espacio topológico y G un
grupo abeliano. Dotemos a G de una topología TG . Definamos para U ⊆ X abierto el siguiente prehaz:

G (U ) = { f : U → G : f localmente constante}
V como :
Para U ⊆ V definamos los morfismos de restricción GU

V
GU : G ( V ) → G (U )
f 7 → f |U

Veamos que G determina un estructura de prehaz sobre X

Demostración. ( a) GUU = Id U
G(U ) . Sea f ∈ G (U ), entonces GU ( f ) = f |U . Como f |U = f , concluimos
que GU U = Id
G(U ) .
2.1. PREHACES 11

W = G V ◦ G W . Observamos que:
(b) Sean U ⊆ V ⊆ W veamos que GU U V

 
W V
GU ( f ) = f |U y GU GVW ( f ) = GU
V
( f | V ) = f |U

Entonces G determina una estructura de prehaz sobre X.

Ejemplo 2.4 (Prehaz rascacielos). [4] Sea ( X, T X ) un espacio topológico y G un grupo abeliano. Tome-
mos x ∈ X fijo , llamamos x∗ G al prehaz rascacielos que se define de la siguiente manera. Sea U ⊆ X
un conjunto abierto, entonces:

 G si x∈U
x ∗ G (U ) =
{0G } si x∈
/U


V de la siguiente manera: para U ⊆ V tenemos que:

Definimos los homomorfismos de restricción x∗ GU

x∈U


 IdG si



V =
x∗ GU 0f si x∈
/Uyx∈V
G




Id{0G } si x∈
/V


Donde 0f G es la función que envia cualquier elemento g ∈ G en 0G . Comprobemos que efectivamente

x∗ G es un prehaz de grupos abelianos sobre X .
U = Id
( a) Probemos que x∗ GU x∗ G (U ) . Aqui hay dos casos a demostrar:
U = Id . Probamos que x GU = Id
1. Si x ∈ U, entonces x∗ G (U ) = G y x∗ GU G ∗ U x ∗ G (U )

2. Si x ∈ U = Id
/ U, entonces x∗ G (U ) = {0G } y x∗ GU U
{0G } . Probamos que x∗ GU = Id x∗ G (U )
W = x G V ◦ x GW .
(b) Sean U ⊆ V ⊆ W abiertos cualesquiera, probemos que x∗ GU ∗ U ∗ V

1. Supongamos que x ∈ U, entonces x∗ G (U ) = x∗ G (V ) = x∗ G (W ) = G, y también que

W = x G V = x GW = Id . Debido a esto tenemos que el siguiente diagrama conmuta:
x∗ GU ∗ U ∗ V G

Id G
G G
Id G
Id G
G

W = x G V ◦ x GW .
Entonces x∗ GU ∗ U ∗ V

2. Supongamos que x ∈ / U y x ∈ V, entonces x∗ G (V ) = x∗ G (W ) = G y x∗ G (U ) = {0G }.

W
También que x∗ GU = x∗ GU V = 0 W
G y x∗ GV = Id G . Con la anterior información podemos
f
construir el siguiente diagrama conmutativo

Id G
G G
0f
G
0f
G
{0 G }

El anterior diagrama conmuta ya que

 
W V W V
x∗ GU ( g) = 0f
G { g } = 0 G = x G
∗ U x G
∗ V ( g ) = x∗ GU ( g ) = 0G

W = x G V ◦ x GW
Entonces x∗ GU ∗ U ∗ V
12 CAPÍTULO 2. PREHACES Y HACES

3. Supongamos que x ∈ / U, x ∈
/ V y x ∈ W, entonces x∗ G (W ) = G y x∗ G (V ) = x∗ G (U ) =
W = x GW = 0
{0G }, también que x∗ GU V
∗ V G y x∗ GU = Id{0G } . Construyamos el siguiente dia-
f
grama:

0f
G
G {0 G }
Id{0 }
G
0f
G
{0 G }

Veamos que el anterior diagrama conmuta:

 
W V W V
x∗ GU ( g) = 0G = x∗ GU x∗ GV ( g) = x∗ GU (0 G ) = 0 G

W = x G V ◦ x GW .
Entonces x∗ GU ∗ U ∗ V

4. Supongamos que x ∈ W =
/ W, entonces x∗ G (W ) = x∗ G (V ) = x∗ G (U ) = {0G } y x∗ GU
V W
x∗ GU = x∗ GV = Id{0G } .

Id{0 }
G
{0 G } {0 G }
Id{0 }
G
Id{0 }
G
{0 G }

W = x G V ◦ x GW
Entonces x∗ GU ∗ U ∗ V

Vimos que x∗ G tiene una estructura de prehaz (en este caso de grupos abelianos) sobre el espacio topo-
lógico X. Más adelante mostraremos que el prehaz rascacielos en efecto tiene la estructura de haz sobre
X.
Ejemplo 2.5 (Prehaz constante 2). [8] Sea ( X, T ) un espacio topológico y G un grupo abeliano, dotemos
a G de la topologia discreta Td , entonces:

F (U ) = C (U, G ) = { f : U → G | f continua}

Sean U y V abiertos de X de manera que U ⊆ V, definimos los homomorfismos de restricción FUV como:

FUV : C (V, G ) → C (U, G )

f 7→ FUV ( f ) = f |U

Gracias al ejemplo 2.1 vemos que F define una estructura de prehaz de grupos abelianos sobre X, donde
para cada U ⊆ X abierto F (U ) es un grupo abeliano cuya operación es la misma de G pero aplicado a
las imagenes de cada u ∈ U.
Lo interesante de este ejemplo es hacer notar que F (U ) ∼ = G siempre y cuando U sea un conjunto
abierto y conexo. Para ello mostremos que si U es un conjunto abierto y conexo de X, entonces f (U ) =
{ g} con g ∈ G y f ∈ F (U ). Suponga que f (U ) = { g, g 0 }, como G esta dotado con la topología
discreta { g} y { g 0 } son abiertos y dado que f es continua, entonces f −1 ({ g}) y f −1 ({ g 0 }) son abiertos
de la topología de X. Usando el hecho de que la imagen inversa de la unión arbitaria de conjuntos es
exactamente igual a la unión arbitraria de las imagenes inversas de cada conjunto, tenemos que:

U = f −1 ({ g}) ∪ f −1
 0

g

y esto es una contradicción pues estamos diciendo que U es conexo, concluimos entonces mostrando
que para toda f ∈ F (U ) existe g ∈ G de manera que f (U ) = { g}, es decir f es locamente constante (de
2.1. PREHACES 13

allí el nombre de prehaz constante), y eso implica que F (U ) ∼

= G, donde el isomorfismo ( de grupos
abelianos ) viene dado por la función ϕ : F (U ) → G, de manera que ϕ( f ) = g.
En la mayoría de ocasiones caracterizar el conjunto de secciónes de un prehaz no es siempre es fácil. En
los siguientes dos ejemplos vamos a ver; (1) cómo se caracterizan las secciones de un prehaz y (2) un
ejemplo en donde podamos ver geométricamente el conjunto de secciones de un prehaz.
Ejemplo 2.6. Sea X = {0, 1} y démolse a X la topología discreta, es decir

T X = {∅, {0} , {1} , {0, 1}}

Ahora tomemos el grupo abeliano (Z2 , +) con una topología cualesquiera TZ2 . Pensemos ahora en el
prehaz G sobre X tal que para U ⊆ X abierto tenemos que:

G (U ) = { f : U → Z2 | f continua}
V
Para U y V subconjuntos abiertos de X tal que U ⊆ V definimos los homomorfismos de restricción GU
como:

V
GU : G ( V ) → G (U )
V
f 7 → GU ( f ) = f |U

Démonos a la tarea de caracterizar G (∅), G ({0}), G ({1}) y G ( X ) = G ({0, 1})

(i) Caracterización del conjunto G ({0, 1})

G ({0, 1}) = { f : {0, 1} → Z2 : f continua}

Como X esta dotado de la topología discreta, entonces toda función que tome valores en X y cuya
imagen esté en Z2 es continua usando la proposición 1.2. Eso quiere decir que cualquier función
que tomemos en G ({0, 1}) es continua.

f 1 : {0, 1} → Z2 f 2 : {0, 1} → Z2 f 3 : {0, 1} → Z2 f 4 : {0, 1} → Z2

0 7→ 0 0 7→ 1 0 7→ 0 0 7→ 1
1 7→ 0 1 7→ 1 1 7→ 1 1 7→ 0

Veamos que G ({0, 1}) es un grupo abeliano. Como (Z2 , +) es un grupo abeliano podemos inducir
una operación de siguiente manera: sobre G ({0, 1}) sean f , g ∈ G ({0, 1}), definimos + como
( f + g) ( x ) = f ( x ) + g ( x ). Dado que (G ({0, 1}) , +) es un grupo, veamos como se operan los
elementos f 1 , f 2 , f 3 y f 4 en un tabla.

+ f1 f2 f3 f4
f1 f1 f2 f3 f4
f2 f2 f1 f4 f3
f3 f3 f4 f1 f2
f4 f4 f3 f2 f1
Como solo hay dos grupos de orden cuatro, y en G ({0, 1}) cada elemento es inverso consigo
mismo tenemos que:
G ({0, 1}) ∼
=K

Donde K es el grupo de Klein. Como K ∼

= Z2 × Z2 , entonces:

G ({0, 1}) ∼
= Z2 × Z2
14 CAPÍTULO 2. PREHACES Y HACES

(ii) Caracterización del conjunto G ({0}) :

G ({0}) = { g : {0} → Z2 : g continua}

Veáse que las únicas funciones de G ({0}) son :

g1 : {0} → Z2 g2 : {0} → Z2
0 7→ 0 0 7→ 1

Tanto g1 como g2 son continuas por la proposición 1.2. Entonces: G ({0}) = { g1 , g2 }. Como
(G ({0}) , +) es un grupo abeliano de orden dos, entonces

G ({0}) ∼
= Z2

(iii) Análogo al índice (ii) tenemos que:

G ({1}) ∼
= Z2

(iv) Definimos G (∅) = { h∅ } donde h∅ es la función vacía. Como G (∅) es un grupo abeliano de orden
uno, entonces:

G (∅) ∼

= 0

Lo anterior lo podemos resumir en dos diagramas reticulares como los siguentes:

{0, 1} {0,1}
G ({0, 1}) {0,1}
G {1} G {0}
i3 i4
Aplicando G
{1} i5 {0} ⇒ G ({1}) G∅
{0,1}
G ({0})

i1 i2 {1} {0}
G∅ G∅
∅ G (∅)

Vemos como bajo la acción de G sobre el diagrama reticular del conjunto X = {0, 1} donde los ik con
1 ≤ k ≤ 5 representan las respectivas inclusiones, las flechas se invierten.

El diagrama reticular de las secciones del prehaz G vienen representadas como:

{0,1}
G ({0, 1}) {0,1}
Z2 × Z2
G {1} G {0}
p p
∼
=
G ({1}) {0,1}
G∅ G ({0}) ⇒ Z2 0
e Z2

{1} {0} 0
e 0
e
G∅ G∅ 
G (∅) 0

Donde p es la función proyección, esto es p( x, y) = x ó p( x, y) = y.

Ejemplo 2.7. [4] Sean ( F, T F ) y ( X, T X ) dos espacios topológicos y sea π : F → X una función continua
y sobreyectiva. Para U ⊆ X subconjunto abierto definimos

Γ (U, J ) = {s : U → F : s continua y π ◦ s = IdU }

2.1. PREHACES 15

Gracias al ejemplo 2.1 vemos que J define una estructura de prehaz sobre X. Veremos mas adelante
que también define una estructura de haz sobre X.
Ya que hemos dado algunos ejemplos de prehaces de tipo algebraico, vamos a construir prehaces de
tipo geométrico. Para ello vamos a considerar los prehaces del ejemplo 2.7 para nuestra construcción.
Ejemplo 2.8. Sea S1 × [0, 1] el cilindro y B2 la bola unitaria cerrada de R2 . Consideremos la siguiente
función ϕ:

ϕ : S1 × [0, 1] → B2
→z, t
7→ (1 − t→
)z

Si consideramos a S1 × [0, 1] y B2 ambos con la topología discreta, por la proposicion 1.2 ϕ es continua,
y además es sobreyectiva. Visualmente tendriamos que la función corresponde :

Figura 2.1: Visualización de la función ϕ

Damos la siguiente estructura de prehaz a B2 , Td . Sea V un abierto de B2 , definimos el prehaz J de

la siguiente manera:
n o
J (V ) = s : V → S1 × [0, 1] : s es continua y ϕ ◦ s = idV

Gracias al
ejemplo 2.7 sabemos que J tiene una estructura de prehaz sobre B2 . Para algunos abiertos
de B2 , Td caracterizamos su conjunto de secciones.
(a) Sea el abierto V = {(0, 1)} de B2 . Calculemos J ({(0, 1)}). Por definición de J tenemos que:
n o
J ({(0, 1)}) = s : {(0, 1)} → S1 × [0, 1] : s es continua y ϕ ◦ s = Id{(0,1)}

En J ({0, 1}) todas las funciones son continuas, veamos cuales de estas cumplen con que ϕ ◦ s =
Id{(0,1)} . Sea s ∈ J ({(0, 1)}) tal que s(0, 1) = (( x, y) , t). Para (( x, y) , t) ∈ S1 × [0, 1]. Hagamos

( ϕ ◦ s) (0, 1) = (0, 1) (2.1)

ϕ (s(0, 1)) = (0, 1) (2.2)
ϕ (( x, y) , t) = (0, 1) (2.3)
( − t) ( x, y) = (0, 1)
1 (2.4)

El único t para el cual se cumple la condición (2.4) es t = 0. Si t = 0 tenemos que ( x, y) = (0, 1),
es decir hay una única función continua s en J ({(0, 1)}) que hace
( ϕ ◦ s) (0, 1) = ((0, 1) , 0)
16 CAPÍTULO 2. PREHACES Y HACES

Graficamente tenemos:

Figura 2.2: Visualización gráfica de J ({(0, 1)})

entonces J ({(0, 1)}) = {s}

(b) Sea V = {(0, 0)} subconjunto abierto de B2 . Describamos J ({(0, 0)}). Por definción de J tene-
mos que:

n o
J ({(0, 0)}) = s : {(0, 0)} → S1 × [0, 1] : s es continua y ϕ ◦ s = Id{(0,0)}

En J ({0, 0}) todas las funciones son continuas, veamos cuales de estas cumplen con que ϕ ◦ s =
Id{(0,0)} . Sea s ∈ J ({(0, 0)}) tal que s(0, 0) = (( x, y) , t) para (( x, y) , t) ∈ S1 × [0, 1]. Hagamos

( ϕ ◦ s) (0, 0) = Id{(0,0)} (0, 0) (2.5)

ϕ (s(0, 0)) = (0, 0) (2.6)
ϕ (( x, y) , t) = (0, 0) (2.7)
(1 − t) ( x, y) = (0, 0) (2.8)

El único t que cumple la condición de la ecuación 2.8 es t = 1. Si t = 1 tenemos que la ecuación

2.8 es verdadera para cualquier ( x, y) ∈ S1 . Entonces:

n o
J ({(0, 0)}) = s : {(0, 0)} → S1 × [0, 1] : s(0, 0) = (( x, y) , 1) para ( x, y) ∈ S1
2.1. PREHACES 17

Gráficamente J ({(0, 0)}) se representa como:

Figura 2.3: Visualización de J ({0, 0})

(c) Sea V = S1 subconjunto abierto de B2 . Describamos J S1 . Por definición de J tenemos que:

  n o
J S1 = s : S1 → S1 × [0, 1] : s es continua y ϕ ◦ s = IdS1

En J S1 todas las funciones son continuas, veamos cuales de estas cumplen con que ϕ ◦ s = IdS1 .

Sea s ∈ J S1 tal que s( x, y) = ((w, z) , t) para ((w, z) , t) ∈ S1 × [0, 1]. Hagamos.

( ϕ ◦ s) ( x, y) = IdS1 ( x, y) (2.9)
ϕ (s ( x, y)) = ( x, y) (2.10)
ϕ ((w, z) , t) = ( x, y) (2.11)
(1 − t) (w, z) = ( x, y) (2.12)

De la ecuación 2.12 tenemos el siguiente sistema de ecuaciones:


(1 − t ) w = x
(1 − t ) z = y

el cual implica el siguiente sistema de ecuaciones

(1 − t )2 w2 = x 2


(1 − t )2 z2 = y2

sumando las dos anteriores ecuaciones tenemos:

(1 − t )2 ( w2 + z2 ) = x 2 + y2 (2.13)

Dado que ( x, y), (w, z) ∈ S1 , la ecuación 2.13 queda de la forma:

(1 − t )2 = 1 (2.14)
18 CAPÍTULO 2. PREHACES Y HACES

El único valor de t para el cuál se cumple 2.14, es t = 0. Si t = 0, entonces x = w y y = z. Es decir

s( x, y) = (( x, y) , 0). Con esta información podemos describir J S1 .

  n o
J S1 = s : S1 → S1 × [0, 1] : s( x, y) = (( x, y) , 0)

Una representación gráfica de J S1 es:

Figura 2.4: Visualización gráfica de J S1

Definición 2.2 (Homomorfismos de prehaces). [7]

Sean F y G dos prehaces de grupos abelianos sobre un espacio topológico ( X, T X ). Un homomorfismo
de prehaces ϕ : F → G consiste en:
Para todo abierto U ⊆ X, un homomorfismo ϕU : F (U ) → G(U ).
Para cada U y V abiertos de X de manera que U ⊆ V, el diagrama

ϕV
F (V ) G (V )
FUV V
GU

F (U ) ϕU G(U )

V ◦ ϕ = ϕ ◦ FV.
conmuta, es decir GU V U U
2.2. HACES 19

2.2. Haces
Definición 2.3 (Haz). [6] Sea X un espacio topológico y F un prehaz sobre X. Se dice que FSes un haz
sobre X si para cada subconjunto abierto U ⊆ X y cada cubrimiento abierto de U, U = i∈ I Ui , se
cumplen las siguientes condiciones:
(i) Si z, z 0 ∈ F (U ) son tales que FUU (z) = FUU (z 0 ) para cada i ∈ I, entonces z = z 0 .
i i

(ii) Sea {zi : zi ∈ F (Ui )} una colección de elementos tal que para cualesquiera i, j ∈ I se tiene que
U
FUUii∩Uj (zi ) = FUij∩Uj z j .

Entonces, existe un elemento z ∈ F (U ) tal que FUU (z) = zi , para cada i ∈ I

i

Proposición 2.1. [6] El elemento z de la condición (ii) es único

Demostración. Suponga que existe un z 0 6= z de manera que FUU (z 0 ) = zi para todo i ∈ I. Dado que
i
también FUU (z) = zi , entonces FUU (z) = FUU (z 0 ) y por la condición (i) tenemos que z = z 0 lo cual es
i i i
una contradicción, entonces z es único.

Ejemplos
Ejemplo 2.9 (Haz de funciones continuas). En el ejemplo 2.1 mostramos que F tiene estructura de
prehaz, veamos ahora que F es un haz. Comprobemos entonces que se cumplen las dos condicones de
la definición. Sea {Ui }i∈ I un cubrimiento abierto de U, entonces:
(i) Sean f , g ∈ F (U ), con FUU ( f ) = FUU ( g) para todo i ∈ I, probemos que f = g. Para comprobar
i i
que f = g basta ver que para todo u ∈ U, f (u) = g(u). Sea u ∈ U, como U = i∈ I Ui , existe
S

i0 ∈ I de manera que u ∈ Ui0 . Nos damos cuenta de que f (u) = f |Ui (u) y g(u) = g|Ui (u). Por
0 0
hipótesis f |Ui (u) = g|Ui (u), de allí que f (u) = g (u). Como u ∈ U fue escogido arbitrariamente
0 0
tenemos que f (u) = g(u) para todo u ∈ U, entonces f = g.
(ii) Sea { f i : f i ∈ F (Ui )} una colección de secciones tales que para todo i, j ∈ I se tiene que
U
FUUi∩U ( f i ) = FU j∩U f j . Por la definción de las funciones de restricción lo anterior es lo mismo


i j i j
que decir f i |Ui ∩Ui = f j |Ui ∩Uj . Ahora tenemos que encontrar f ∈ F (U ) de manera que f |Ui = f i
eso para cada i ∈ I. Definamos f de la siguiente manera:

f:U→N
u 7→ f (u) = f i (u)

Vamos a probar que la aplicación f esta bien definida y es continua:

a. Sea u ∈ U, como U = i∈ I Ui , entonces u ∈ i∈ I Ui y por definción existe i0 ∈ U de manera
S S

que u ∈ Ui0 . Supongamos que existe i0 único, es decir, u solo esta

en Ui0 y en ninguno más.
Sea u = u 0 , como f i0 esta bien definida dado que f i0 ∈ F Ui0 , entonces f i0 (u) = f i0 (u 0 )
y por definición f (u) = f (u 0 ). Como u ∈ U fue escogido arbitrariamente, entonces f esta
bien definida.
b. Suponga que u ∈ U, eso significa que u ∈ i∈ I Ui , es decir que existe i ∈ I de manera
S

que u ∈ Ui , con la condicón de que u ∈ k∈K Uk donde K ⊆ I , por hipótesis f k (u) =

T

f k |Uk ∩Uk 0 (u) = f k 0 |Uk ∩Uk 0 (u) = f k 0 (u) eso para cada k, k 0 ∈ K. Si u = u 0 , entonces f k (u) =
f k (u 0 ) = f k 0 (u) = f k 0 (u 0 ), y por definición tenemos f (u) = f (u 0 ).
c. f es continua: por definción de f cada f i es continua, entonces f es continua.
Ejemplo 2.10 (Haz rascacielos). Tomemos el prehaz x∗ G dado en el ejemplo 2.4 veamos que en efecto
es un haz. Para ello hay que comprobar las dos condiciones dadas en la definción de haz.
20 CAPÍTULO 2. PREHACES Y HACES

Demostración. Sea U ⊆ X un subcojunto abierto y {Ui }i∈ I un cubrimiento abierto de U. A ver que si
z, z 0 ∈ x∗ G (U ) y para todo i ∈ I se cumple que x∗ GU
U ( z ) = x GU ( z 0 ) , entonces z = z 0 .
∗ U
i i

1. Suponga que x ∈ U, eso implica que existe i ∈ I de manera que x ∈ Ui . Por definición de los
homomorfismos de restricción tenemos que x∗ GU U = Id . De allí x GU ( z ) = z y x GU ( z 0 ) = z 0
i
G ∗ Ui ∗ Ui
U U 0 0
y por hipótesis x∗ GU (z) = x∗ GU (z ), entonces z = z .
i i

2. Suponga que x ∈ / U , entonces por definicón x∗ G (U ) = {0G } ,y si z, z 0 ∈ x∗ G (U ), entonces

z = z = 0G , de allí que z = z 0
0

U
Sea {zi : zi ∈ x∗ G (Ui )} una colección de secciones tal que para todo i, j ∈ I se tiene que x∗ GUi ∩U (zi ) =
i j
Uj
U (z) = z
x∗ GU ∩U z j . Veamos que exsite z ∈ x∗ G (U ) de manera que x∗ GU i
i i i

Consideremos los siguientes casos

(i ) Supongamos que x ∈ U y que además para todo i ∈ I se tiene que x ∈ Ui . Por definición tenemos
U Uj

que para todo Ui , x∗ G (Ui ) = G y tambień que x∗ GUi ∩U (zi ) = zi , y x∗ GU ∩U z j = z j y por
i j i i
hipótesis estariamos diciendo que para todo i, j ∈ I zi = z j . De allí defina entonces z := zi . Vea
que la unicidad esta garantziada por la hipótesis.
(ii ) Supongamos que x ∈ U pero que para algún j ∈ I se tiene que x ∈ / Uj , entonces por definción



tenemos que x∗ G Uj = {0G }, eso quiere decir que si z j ∈ x∗ G Uj , entonces z j = 0. Ahora solo
U (z) = 0
basta definir z := zi y vea que x∗ GU
j
G

(iii ) Supongamos ahora que x ∈ / U, entonces para todo i ∈ I, x ∈/ Ui y por definción tenemos que
U (z) = z
x∗ G (U ) = {0G } y x∗ G (Ui ) = {0G }, solo basta entonces tomar z := 0G para que x∗ GU
i
i
eso porque cada zi = 0G

En general tenemos que no todo prehaz es un haz, y en el siguiente ejemplo veremos claramente como
es que esto sucede.
Ejemplo 2.11 (Prehaz que no es necesariamente un haz). [8] Definimos para un grupo abeliano A con
|| A|| ≥ 2 y X un espacio topológico, el prehaz constante, esto es, para cada abierto U de X, C A se define
como:

U 6= ∅

 A si
C A (U ) =
{0 A } si U = ∅


Veamos que C A no es un haz, para ello haremos la demostración por contradicción. Supongamos que
C A es un haz. Tomemos U = U1 ∪ U2 con U1 ∩ U2 = ∅ y U1 , U2 6= ∅. Sean g ∈ C A (U1 ) y h ∈
C A (U2 ) con g 6= h . Aplicando los homorfismos de restricción C A U U2
U1 ∩U2 y C A U1 ∩U2 a los elementos g y h
1

respectivamente, obtenemos que:

CAU U2
U1 ∩U2 ( g ) = C A U1 ∩U2 ( h ) = 0
1

Pues C A (U1 ∩ U2 ) = {0 A }. Por la segunda condición de la definción de haz tenemos que existe m ∈
C A (U ) = G de manera que C A U U U U
U1 ( m ) = g y C A U2 ( m ) = h. Como C A U1 y C A U2 son los homomorfismos
indentidad, entonces m = g y m = h, y de lo anterior se tiene que g = h, lo cual es un contradicción.
Definición 2.4 (haz restricción). [7]
Sea X un espacio topológico y F un haz sobre X. Para U ⊆ X abierto definimos el haz restricción como
el haz asociado a U tal que para todo V ⊆ U abierto le asociamos F (V ). Este haz sobre U se nota como
F |U .
 CAPÍTULO 3

Construcción de Haces

3.1. Tallos ( Stalks)

[8] Sea X un espacio topológico fijo y F un prehaz de grupos abelianos sobre X, sea x ∈ X definimos
V ( x ) como:
V ( x ) = { U ⊆ X | U abierto y x ∈ U }

Es decir V ( x ) es el conjunto de todas la vecindades abiertas de x. Ahora consideremos el siguiente

conjunto:
L = { (U, s) | U ∈ V ( x ) y s ∈ F (U ) }

Sobre L definamos una relación ∼ de la siguiente manera:

(U, s) ∼ (V, t) si y solo si existe W ∈ V ( x ) de manera que W ⊆ U ∩ V y s|W = t|W

Proposición 3.1. la relación ∼ es de equivalencia en el conjunto L

Demostración.
(i) Reflexividad: Veamos que (U, s) ∼ (U, s). Dado que existe U ⊆ U ∩ U de manera que s|U = s|U ,
entonce se tiene que (U, s) ∼ (U, s).
(ii) Simetría: Veamos que si (U, s) ∼ (V, t), entonces (V, t) ∼ (U, s):
Por definición

(U, s) ∼ (V, t) si y solo si existe W ∈ V ( x ) de modo que W ⊆ U ∩ V y s|W = t|W

Veamos que existe W 0 ∈ V ( x ) de manera que W 0 ⊆ V ∩ U y t|W 0 = s|W 0 . Resta tomar W 0 = W y las dos
siguientes propiedades: U ∩ V = V ∩ U, y que s|W = t|W implica t|W = s|W . De lo anterior tenemos
que (V, t) ∼ (U, s).
(iii) Transitividad: Veamos que si (U, s) ∼ (V, t) y (V, t) ∼ ( H, r ), entonces (U, s) ∼ ( H, r )
Por definición tenemos que:

(U, s) ∼ (V, t) si y solo si existe W ∈ V ( x ) de modo que W ⊆ U ∩ V y s|W = t|W

(V, t) ∼ ( H, r ) si y solo si existe W 0 ∈ V ( x ) de modo que W ⊆ V ∩ H y t|W 0 = r |W 0

21
22 CAPÍTULO 3. CONSTRUCCIÓN DE HACES

Tomemos W 00 = W ∩ W 0 ⊆ U ∩ H, démonos cuenta que si s|W = t|W , entonces (s|W ) |W ∩W 0 =

(t|W ) |W ∩W 0 . Dado que F es un prehaz tenemos que s|W ∩W 0 = t|W ∩W 0 . Nuevamente como t|W 0 = r |W 0
tenemos que (t|W 0 ) |W ∩W 0 = (r |W 0 ) |W ∩W 0 y dado que F es un prehaz t|W ∩W 0 = r |W ∩W 0 , entonces
s|W ∩W 0 = r |W ∩W 0 de allí que (U, s) ∼ ( H, r ).

Observación 3.1. Al conjunto cociente L /∼ se le nota también como F x y se le llama el tallo relativo al
elemento x.
Observación 3.2. Los elementos de F x son clases de equivalencia y se notan como hU, si. En algunos
textos como [4] y [8] a estos elementos se les nota como hU, si = s x y se le conoce como el germen
asociado al elemento x.
Proposición 3.2. [8] (F x , +) es un grupo abeliano donde + se define de la siguiente manera. Para
hU, si , hV, ti ∈ F x :

hU, si + hV, ti = hU ∩ V, s|U ∩V + t|U ∩V i

D E
El elemento neutro en F x esta dado por U, 0F (U ) donde 0F (U ) es el elemento neutro en F (U ).

Para hU, si el elemento inverso viene dado por hU, −si.

Veamos ahora que el tallo F x asociado a x es isomorfo al límite directo del conjunto de secciónes F (U )
cuyos abiertos son vecindades de x (U ∈ V ( x )).
Proposición 3.3. [8]
Sea x ∈ X fijo y F x el tallo asociado a x, entonces F x ∼
= lim F (U ) .
→
U ∈V ( x )

En V ( x ) definimos el siguiente orden parcial.

U ≤ V si y solo si V ⊆ U

Es sencillo comprobar que (V ( x ), ≤) es un conjunto parcialmente ordenado y que además es un

conjunto dirigido. Para U ≤ V se definen las funciones FVU : F (U ) → F (V ). Por definción
F (U ) , FVU U ∈V (x) es un sistema directo de grupos abelianos. Como existe lim F (U ) y es

→
U ∈V ( x )
único veamos que F x también es un límite directo del sistema directo anteriormente dado.
Para cada U ∈ V ( x ) definimos:

FU : F (U ) → F x
s 7→ FU (s) = hU, si = s x

Donde FU es un homomorfismo de grupos abelianos. Ahora veamos que dado U ≤ V el siguiente

diagrama conmuta

FU
F (U ) Fx
FVU
FV
F (V )

Es decir FU = FV ◦ FVU . Sea s ∈ F (U ), entonces FU (s) = hU, si. Ahora FV ◦ FVU (s) =

FV FVU (s) = V, FVU (s) . Dado que (U, s) ∼ V, FVU (s) , entonces hU, si = V, FVU (s) .






Verifiquemos la propiedad universal para el grupo F x

Sea G un grupo abeliano y una colección de homomorfismos {θU : F (U ) → G }U ∈V ( x) y
{θV : F (V ) → G }V ∈V (x) con U ≤ V de manera que el siguiente diagrama conmuta
3.1. TALLOS ( STALKS) 23

θU
F (U ) G
FVU
θV
F (V )

Es decir θV ◦ FVU = θU
Veamos que existe un único ψ : F x → G de manera que el siguiente diagrama conmuta:

FU
F (U ) Fx
θU
ψ
G

Es decir, veamos que ψ ◦ FU = θU .

Defínase a ψ de la siguiente manera:

ψ : Fx → G
hU, si 7→ θU (s)

Verifiquemos que ψ es una aplicación bien definida y que además es un homomorfismo de grupos
abelianos.
ψ es una función bien definida: sean hU, si = hV, ti, eso significa que (U, s) ∼ (V, t) y por defini-
ción existe W ∈ Ω x de manera que W ⊆ U ∩ V y s|W = t|W . Aplicando θW a s|W y t|W , entonces
U = θ y θ ◦ F V = θ , obtenemos que θ ( s ) = θ ( t )
θW (s|W ) = θW (t|W ), y dado que θW ◦ FW U W W V U V

ψ es un homomorfismo de grupos abelianos:

ψ (hU, si + hV, ti) = ψ (hU ∩ V, s|U ∩V + t|U ∩V i) (3.1)

= θU ∩V ( s |U ∩V + t |U ∩V ) (3.2)
= θU ∩V ( s |U ∩V ) + θU ∩V ( t |U ∩V ) (3.3)
= θU ( s ) + θ V ( s ) (3.4)
= ψ (hU, si) + ψ (hV, ti) (3.5)

En la parte (3.4) se usa las identidades θU ∩V ◦ FUU∩V = θU y θU ∩V ◦ FUV∩V = θV

Es inmediato que el anterior diagrama conmuta, pues se da desde la misma definición de ψ. Dado que
el límite directo es único salvo isomorfismos, entonces F x ∼
= lim F (U ) .
→U ∈V (x)
Ahora, mostraremos algunos ejemplos en donde se calculan los tallos de algunos prehaces específicos
haciendo uso de relaciones de equivalencia y límites directos.

Ejemplo 3.1. Sea el conjunto X = {0, 1} dotado con la topología discreta. Gracias al ejemplo 2.6 pode-
mos dotar a X de una estructura de prehaz. Calculemos los tallos asociados a los elementos 0 y 1.
Tallo F0
Sea V (0) el conjuto de todas las vecindades del elemento 0

V (0) = {U ⊆ X : U abierto y 0 ∈ U }

Dado que la topología asociada a X es la discreta tenemos que:

24 CAPÍTULO 3. CONSTRUCCIÓN DE HACES

V (0) = {{0} , {0, 1}}

Sea L = {(U, s) : U ∈ V (0), s ∈ F (U )} es decir:

L = {({0} , g1 ) , ({0} , g2 ) , ({0, 1} , f 1 ) , ({0, 1} , f 2 ) , ({0, 1} , f 3 ) , ({0, 1} , f 4 )}

Calculemos L /∼ donde ∼ es la relación de equivalencia dada en la proposición 3.1.

• ({0} , g1 ) ∼ ({0, 1} , f 1 )
Sea {0} ∈ V (0), es claro que {0} ⊆ {0} ∩ {0, 1} y g1 |{0} = f 1 |{0}
• ({0} , g1 ) ∼ ({0, 1} , f 3 )
Sea {0} ∈ V (0), es claro que {0} ⊆ {0} ∩ {0, 1} y g1 |{0} = f 3 |{0}
Entonces h{0} , g1 i = {({0} , g1 ) ({0, 1} , f 1 ) , ({0, 1} , f 3 )}
Ahora:
• ({0} , g2 ) ∼ ({0, 1} , f 2 )
Sea {0} ∈ V (0), es claro que {0} ⊆ {0} ∩ {0, 1} y g2 |{0} = f 2 |{0}
• ({0} , g2 ) ∼ ({0, 1} , f 4 )
Sea {0} ∈ V (0), es claro que {0} ⊆ {0} ∩ {0, 1} y g2 |{0} = f 4 |{0}
Entonces h{0} , g2 i = {({0} , g2 ) ({0, 1} , f 2 ) , ({0, 1} , f 4 )}
En conclusión:

F0 = {h{0} , g1 i , h{0} , g2 i}

Dado que F0 es un grupo abeliano con dos elementos, entonces F0 ∼ = Z2 . Haciendo un proceso similar
para calcular el tallo asociado al elemento 1 obtenemos que F1 ∼ Z
= 2.
Ejemplo 3.2 (Tallos del haz rascacielos). [4]
Sea X un espacio topológico y G un grupo abelieano y x∗ G el haz rascacielos asociado a X. Calculemos
( x∗ G )y para y ∈ X.
Sea y ∈ X y V (y) el conjunto de todas la vecindades de y. Para calcular los tallos tenemos los siguientes
dos casos:
Para todo V ∈ V (y) tenemos que x ∈ V.
Dado que para todo V ∈ V (y) tenemos que x ∈ V, entonces x∗ G (V ) = G. Tomemos una clase de
equivalencia hV, si ∈ ( x∗ G )y e identifiquemos cuáles son los elementos de dicha clase hV, si.

hV, si = {(U, t) : (U, t) ∼ (V, s)}

n o
U V
= (U, t) : existe W ∈ V (y) con W ⊆ U ∩ V y x∗ GW (s) = x∗ GW (t)
= {(U, t) : existe W ∈ V (y) con W ⊆ U ∩ V y s = t}
= {(U, s) : U ∈ V (y)}

Hagamos el siguiente isomorfismo de grupos abelianos:

f : ( x∗ G )y → G
hV, si 7→ s
3.1. TALLOS ( STALKS) 25

Entonces ( x∗ G )y ∼
= G siempre que para todo V ∈ V (y) tengamos que x ∈ V. En otras palabras
∼
( x∗ G )y = G siempre que y ∈ { x }.
Supongamos que existe V ∈ V (y) de manera que x ∈
/V
Veamos que para todo germen hU, ti ∈ ( x∗ G )y se tiene que hU, ti = hV, si. Para ello encontremos
W ∈ Ωy de manera que W ⊆ U ∩ V y x∗ GW U ( t ) = x G V ( s ). Dado que x ∈
∗ W / V tenemos que por
definición x∗ G (V ) = {0G } y que s = 0G . Tomemos W = U ∩ V y observemos que W ∈ V (y)
y x ∈/ W. Por definción x∗ G (W ) = {0G } y x∗ GW U ( t ) = 0 , igualando las restricciones de las
G
U V
secciones s y t tenemos que x∗ GW (t) = x∗ GW (s).
Notamos que ( x∗ G )y = {hV, si} . Dado que ( x∗ G )y es un grupo abeliano con un sólo elemento,
entonces ( x∗ G )y ∼
= {0 G }.
Finalmente ( x∗ G )y ∼
= {0G } siempre que exista V ∈ V (y) de manera que x ∈
/ V, o en otras palabras
∼
( x∗ G ) = {0G } si y ∈
/ { x }.
y

Por lo anteriormente dicho tenemos que el tallo asociado a y ∈ X viene dado por:

 G si y ∈ { x }
( x∗ G )y =
{0G } si y ∈ / {x}


Calculemos los tallos asociados al haz rascacielos usando límites directos.

Veamos que si y ∈ { x }, entonces limU ∈V (y) x∗ G (U ) = G.
→
Supongamos que para todo V ∈ V (y) tenemos que x ∈ V. Eso significa que para todo V ∈ V (y)
se tiene que x∗ G (U ) = G, entonces:

lim x∗ G (U ) = lim G = G
→ →
U ∈V (y) U ∈V (y)

Veamos que si y ∈
/ { x }, entonces limU ∈V (y) x∗ G (U ) = {0G }
→
Supongamos que existe V ∈ V (y) de manera que x ∈ / V. Ahora consideremos la siguiente familia
de homorfismos de grupos {θU : x∗ G (U ) → {0G }} y {θV : x∗ G (V ) → {0G }} con U, V ∈ V (y).

θU : x ∗ G (U ) → { 0 G }


 0f
G si x∈U
θU =
Id{0G } si x∈
/U


Es sencillo observar que para V ⊆ U el siguiente diagram conmuta:

θU
x ∗ G (U ) {0 G }
( x ∗ G )U
V
θV
x ∗ G (V )

Mostremos que {0G } cumple con la propiedad universal del límite directo. Supongamos que exis-
te un grupo abeliano M y familias de homomorfismos de grupo abelianos { ϕU : x∗ G (U ) → M} y
{ ϕV : x∗ G (V ) → M} con U, V ∈ V (y) de manera que el siguiente diagrama conmuta:
26 CAPÍTULO 3. CONSTRUCCIÓN DE HACES

ϕU
x ∗ G (U ) M
( x ∗ G )U
V ϕV

x ∗ G (V )

Demostremos que existe un único homomorfismo ψ : {0G } → M de manera que el siguiente

diagrama conmuta:

θU
G (U ) {0 G }
ϕU
ψ
M

Defínase ψ de la siguiente manera:


 ϕU ∩V si x∈U
ψ=
si x∈
/U

ϕU
Debido que ϕU ∩V y ϕU son funciones bien definidas , entonces ψ esta bien definida.
Finalmente probemos que ψ ◦ θU = ϕU .
• Si x ∈ U, entonces (ψ ◦ θU ) ( g) = ψ (θU ( g)) = ψ (0G ) = ϕU ∩V (0G ), como ϕU = ϕU ∩V ◦
( x ∗ G )U
U ∩V , entonces ϕU (0G ) = ϕU ∩V (0G ), de allí que ψ ◦ θU = ϕU .

/ U, entonces ψ (θU (0G )) = ψ (0G ) = ϕU (0G ), de allí que ψ ◦ θU = ϕU .

• Si x ∈
Hemos mostrado que:
lim x∗ ( G ) (U ) ∼
= {0 G }
→
U ∈V (y)

En conclusión:


 G si y ∈ {x}
( x∗ G )y ∼
=
{0G } si y ∈
/ {x}


3.2. Hacificación
Proposición 3.4. [8]
Sea F un prehaz de grupos abelianos sobre un espacio topológico X. Entonces existe un par (F + , ψ)
donde F + es un haz y ψ : F → F + es un homomorfismo de prehaces que cumple la siguiente propie-
dad universal:
Si G es un haz de grupos abelianos y ϕ : F → G un morfismo de prehaces, entonces existe un único
morfismo de haces ϕ+ : F + → G tal que el siguiente diagrama conmute

ψ
F F+
ϕ
∃!ϕ+
G

Es decir ϕ = ϕ+ ◦ ψ
3.2. HACIFICACIÓN 27

Demostración. Para U ⊆ X abierto definimos F + (U ) de la siguiente manera:

( )
+
G
F (U ) = s: U → Fx
x ∈U

De manera que las funciones s cumplan las siguientes propiedades:

1. Para todo x ∈ U se tiene que s( x ) ∈ F x
2. Para todo x ∈ U existe V ∈ V ( x ) con V ⊆ U y t ∈ F (V ) de manera que para todo y ∈ V se tiene
que s(y) = hV, ti
U
Definimos los morfismos de restricción como: para V ⊆ U las funciones (F + )V son:

U
F+ V
: F + (U ) → F + ( V )

U
s 7 → F + V ( s ) : = s |V

Veamos que en efecto F + es un haz.

(i) Sea U ⊆ X un abierto y {Ui }i∈ I un cubrimiento cualesquiera de U. Sean s, s 0 ∈ F + (U ) con
U U
(F + )Ui (s) = (F + )Ui (s 0 ), veamos que s = s 0 .
Sea x ∈ U, dado que {Ui }i∈ I es un cubrimiento abierto, entonces existe k ∈ I de manera que
x ∈ Uk por tal razón es sencillo notar que s( x ) = s |Uk ( x ). Usando la hipótesis obtenemos que:

s( x ) = s |Uk ( x ) = s 0 |Uk ( x ) = s 0 ( x )

Entonces s = s 0
(ii) Sea {si : si ∈ F + (Ui )} de manera que para para todo i, j se tiene que:

Ui
U j
F+ ( si ) = F +


Ui ∩Uj Ui ∩Uj sj

U
Veamos que existe s ∈ F + (U ) tal que (F + )Ui (s) = si
Sea x ∈ U, como {Ui }i∈ I es un cubrimiento abierto de U, existe k ∈ I de manera que x ∈ Uk .
Definimos ahora la función s de la siguiente manera:

G
s: U → Fx
x ∈U
x 7→ s( x ) := sk ( x )

Veamos que s es una aplicación bien definida:

Sea x ∈ U, supongamos que existe un único k ∈ I de manera que x ∈ Uk , si x = y y dado que sk
es una función obtenemos que sk ( x ) = sk (y), y por definción concluimos que s( x ) = s(y).
Supongamos ahora que existen i0 , . . . , ir ∈ I de manera que x ∈ Ui0 ∩ · · · ∩ Uir . Por hipótesis
tenemos que:

Ui0
U
F+ si0 = · · · = F + Uir ∩···∩U (sir )


Ui0 ∩···∩Uir i0 ir

Si x = y, gracias a la hipótesis si0 ( x ) = · · · = sir ( x ) lo que por definción resulta que s( x ) = s(y).
En conclusión s es una función.
Ahora veamos que s ∈ F + (U )
28 CAPÍTULO 3. CONSTRUCCIÓN DE HACES

(1.) Sea x ∈ U, como {Ui }i∈ I es un cubrimiento abierto existe k ∈ I de manera que x ∈ Uk . Dado que
sk ∈ F + (Uk ), entonces sk ( x ) ∈ F x lo que por definición tenemos que s( x ) ∈ F x .
(2.) Finalmente veamos que para todo x ∈ U existe V ∈ V ( x ) con V ⊆ U y t ∈ F (V ) de manera que
para todo y ∈ V se tiene que s(y) = hV, ti. Tomemos x ∈ U por el inciso (1.) sabemos que: ( a)
existe k ∈ I de manera que x ∈ Uk , y (b) que si sk ∈ F + (Uk ) existe W (k) D∈ V ( x ) con (k)
E W ⊆ Uk y
t(k) ∈ F W (k) de manera que para todo y ∈ W (k) tenemos que s(y) = W (k) , t(k) . Basta tomar
V = W (k) para que W (k) ⊆ Uk ⊆ U y t = t(k) . De esta manera concluye la demostración.

Finalmente observemos que se cumple la propiedad universal

+
Veamos que para cada U ⊆ X abierto existe ϕU de manera que el siguiente diagrama conmuta:

ψU
F (U ) F + (U )
ϕU
+
ϕU
G (U )

Definamos ψU

ψU : F (U ) → F + (U )
t 7→ ψU (t) ( x ) := hU, ti

Sea U ⊆X un abierto. Sea s ∈D F + (U ) Ey x ∈ U. Por definición existe V ( x) ∈ V ( x ) con V ( x) ⊆ U y

t( x) ∈ F V ( x) tal que s(y) = V ( x) , t( x) .
n o  
Dado que V ( x) es un cubrimiento abierto de U, y que t( x) ∈ F V ( x) , por el morfismo ϕ con-
x ∈U
cluimos que  
ϕV ( x ) ( t x ) ∈ G V ( x )

Hagamos ahora un extensión sobre G

n o
Dado que V ( x) es un cubrimiento abierto de U, veamos que para todo x, y ∈ U tenemos que:
x ∈U

(x)
   (y)
  
GVV(x) ∩V (y) ϕV (x) t(x) = GVV(x) ∩V (y) ϕV (y) t(y)
D E D E
Sea z ∈ V ( x) ∩ V (y) por hipótesis sabemos que s(z) = V ( x) , t( x) y s(z) = V (y) , t(y) , es decir que en
el tallo Fz tenemos la siguiente igualdad:
D (x)
 E D (y)
 E
V x ∩ V y , FVV(x) ∩V (y) t( x) = V x ∩ V y , FVV(x) ∩V (y) t(y)

Eso significa que existe W (z) con W (z) ⊆ V ( x) ∩ V (y) de manera que:

(x) (y)
 (x)
   (y)  
V ∩V V ( x ) ∩V (y )
FW (z) FVV(x) ∩V (y) t(x) = FW (z) F V
V ( x ) ∩V ( y )
t(y)
   
Aplicando ϕW (z) : F W (z) → G W (z) obtenemos que:
 ( x ) (y)  ( x )    ( x ) (y)  (y)  
V ∩V V ∩V
ϕW ( z ) FW (z) FVV(x) ∩V (y) t(x) = ϕW ( z ) FW (z) FVV(x) ∩V (y) t(y)

Dado que el siguiente diagrama conmuta:

3.2. HACIFICACIÓN 29

 ϕ (x) (y)  
F V ( x ) ∩ V ( y ) V ∩V G V ( x ) ∩ V ( y )
(x) (y) (x) (y)
F V ( z ) ∩V G V ( z ) ∩V
W W
   
F W (z) ϕ (z) G W (z)
W

Es decir:
(x)
V ∩V (y) (x)
V ∩V (y)
GW (z) ◦ ϕ V ( x ) ∩ V ( y ) = ϕW ( z ) ◦ FW (z)

Entonces:

 ( x ) (y)  ( x )     (x)  

V ∩V V (x) V ( x ) ∩V ( y ) V (x)
ϕW ( z ) FW (z) F V ( x ) ∩V ( y )
t = G W (z)
ϕ V ( x ) ∩V ( y ) F V ( x ) ∩V ( y )
t
 ( x ) (y)  (y)   ( x ) ( y )
  (y)  
V ∩V V ∩V
ϕW ( z ) FW (z) FVV(x) ∩V (y) t(y) = GW (z) ϕV (x) ∩V (y) FVV(x) ∩V (y) t(y)

Como

(x) (y)
  (x)     (y)  
V ∩V V ( x ) ∩V ( y )
GW (z) ϕV (x) ∩V (y) FVV(x) ∩V (y) t( x) = GW (z) ϕ ( x
V ∩V ) ( y ) F V
V ( x ) ∩V ( y )
t(y)

Por la condicón (i ) de la definción de haz aplicado a G tenemos que:

 (x)    (y)  
ϕV (x) ∩V (y) FVV(x) ∩V (y) t( x) = ϕV (x) ∩V (y) FVV(x) ∩V (y) t(y)

Dados que los siguientes diagramas

  ϕ (x)  
V
F V (x) G V (x)
(x) (x)
F V( x) G V( x)
V ∩V ( y ) V ∩V ( y )
   
F V ( x ) ∩ V (y) ϕ ( x ) (y)G V ( x ) ∩ V (y)
V ∩V

  ϕ (x)  
V
F V (y) G V (y)
(x) (x)
F V( x) G V( x)
V ∩V ( y ) V ∩V ( y )
   
F V ( x ) ∩ V (y) ϕ ( x ) (y)G V ( x ) ∩ V (y)
V ∩V

conmutan, es decir:

(x) (x)
GVV(x) ∩V (y) ◦ ϕV (x) = ϕV (x) ∩V (y) ◦ FVV(x) ∩V (y)
(y) (y)
GVV(x) ∩V (y) ◦ ϕV (y) = ϕV (x) ∩V (y) ◦ FVV(x) ∩V (y)

Obtenemos que

(x)
   (y)
  
GVV(x) ∩V (y) ϕV (x) t(x) = GVV(x) ∩V (y) ϕV (y) t(y)
 30 CAPÍTULO 3. CONSTRUCCIÓN DE HACES

Dado que G es un haz por la condicón (ii ) de la definición de este, tenemos

 queexiste un único elemento
g ∈ G (U ) de manera que para todo x ∈ U implica que G U(x) ( g) = ϕV x t( x) . Definimos el morfismo
V
+
ϕU de la siguiente manera:

+
ϕU : F + (U ) → G (U )
+
s 7 → ϕU (s) := g

U ( g ) = ϕ ( t ), y como G U = Id
Veamos que el primer diagram conmuta. Notemos primero que GU U U G(U ) ,
entonces g = ϕU (t). Veamos ahora que:

+
ϕU ◦ ψU = ϕU

+
Tomemos V ( x) = U, entonces ϕU (ψU (t)) = g = ϕU (t), de allí que el diagrama conmute, y como se
tiene para cada U ⊆ X abierto, entonces se cumple la propiedad universal.

Definición 3.1. Al haz F + se le conoce como la hacificación de F

Ejemplo 3.3 (Hacificación del prehaz constante). [7] Sea X un espacio topológico y A un grupo abe-
liano, en el ejemplo 2,2 se definió el prehaz constante como:

U 6= ∅

 A si
C A (U ) =
{0 A } si U = ∅


En el ejemplo 2,11 demostramos que C A no es necesariamente un haz. Para determinar el haz asociado
al prehaz constante calculemos (C A )+ .
Recordemos que:
( )
+
G
(C A ) (U ) = s: U → (C A ) x
x ∈U

Tal que las funciones s cumplen las propiedades (1.) y (2.) de la demostración de la proposición 3,4.
Para encontrar (C A )+ , primero calculemos los tallos (C A ) x . Por definicón tenemos que para x ∈ X :

(C A ) x = lim C A (U ) = lim A = A
→ →
U ∈V ( x ) U ∈V ( x )

Dado que cada tallo es igual al grupo A, entonces:

G G
(C A ) x = A=A
x ∈U x ∈U

Y las condiciones (1.) y (2.) quedan transformadas de la siguiente manera:

1. para cada x ∈ U tenemos que s( x ) ∈ A
2. para cada x ∈ U existen V ∈ V ( x ) con V ⊆ U y a ∈ A de manera que s(y) = a para todo y ∈ Y
Es decir
(C A )+ = {s : U → A : s es localmente constante}

Diremos entonces que la hacificación de C A es el haz de funciones localmente constantes.

3.3. OTRAS FORMAS DE CONSTRUIR HACES 31

3.3. Otras formas de construir haces

En las matemáticas es casi normal encontrar nuevas estructuras usando una estructura ya derminanda
previamente, por ejemplo desde el concepto de grupo podemos construir el grupo cociente, el grupo de
automorfismos, el producto tensorial de dos grupos, el producto semidirecto de dos grupos, etc. En esta
sección veremos como aparecen algunos haces asociados ( como en el concepto de grupo) usando haces
ya prefijados. Estudiaremos el haz imagen directa, y solo haremos mención de otras construcciones
interesantes de haces.

3.3.1. Haz imagen directa

Definición 3.2 (Haz imagen directa). [7] Sean X y Y dos espacios topológicos y F un haz sobre X. Dada
f : X → Y una función continua podemos definir una estructura de haz f ∗ F sobre Y de la siguiente
manera: para V ⊆ Y abierto

 
f ∗ F (V ) = F f −1 ( V )

V : f F (V ) → f F (W ) se definen como f F V = F f −1 ( V )
Y para W ⊆ V las funciones de restricción f ∗ FW ∗ ∗ ∗ W f − 1 (W )

Proposición 3.5. f ∗ F define una estructura de haz sobre Y.

Demostración. Veamos que f ∗ F es un prehaz sobre Y:

f −1 ( V )
Para V ⊆ X abierto se tiene f ∗ FVV = Id f ∗ F (V ) . Por definición f ∗ FVV = F f −1 (V ) . Dado que F
f −1 ( V )
es un prehaz se tiene que F f −1 (V ) = IdF ( f −1 (V )) y aplicando una vez más la definción de f ∗ F
obtenemos que IdF ( f −1 (V )) = Id f ∗ F (V ) . Haciendo las debidas suusticiones tenemos que:

f ∗ FVV = Id f ∗ F (V )

U = f F V ◦ f F U . Dado que F
Sean W ⊆ V ⊆ U conjuntos abiertos de Y veamos que f ∗ FW ∗ W ∗ V
f −1 (U ) f −1 ( V ) f −1 (U )
es un prehaz tenemos la siguiente identidad F f −1 (W ) = F f −1 (W ) ◦ F f −1 (V ) . Haciendo uso de la
definición de f ∗ F tenemos que:

U V
f ∗ FW = f ∗ FW ◦ f ∗ FVU

Veamos que f ∗ F es un haz. Sea V ⊆ Y un abierto Y y {Vi }i∈ I un cubrimiento abierto de V, a ver que:
Si z, z 0 ∈ f ∗ F (V ) son tales que f ∗ FVVi (z) = f ∗ FVVi (z 0 ), entonces z = z 0 . Por la definción de f ∗ F
f −1 ( V ) f −1 ( V )
tenemos que z, z 0 ∈ F ( f −1 (V )) y F f −1 (V ) (z) = F f −1 (V ) (z 0 ). Dado que F es un haz sobre X y
i i
f −1 (V ) es un abierto de X y { f −1 (Vi )}i∈ I es un cubrimiento de este, entonces z = z 0 .
Sea {zi : zi ∈ f ∗ F (V )} una colección de secciones tales que para todo i, j ∈ I

V Vj
f ∗ FVi∩V (zi ) = f ∗ FV ∩V (z j )
i j i j

Veamos que existe z ∈ f ∗ F (V ) de manera que f ∗ FVVi (z) = zi . Usando la definción de f ∗ F tenemos
que las hipótesis quedan transformadas en:
• Una colección de secciones {zi : zi ∈ F ( f −1 (V ))}
f −1 ( V ) f −1 (Vj )
• Para todo i, j ∈ I se tiene que F f −1 (Vi)∩ f −1 (V ) (zi ) = F f −1 (V )∩ f −1 (V ) (z j )
i j j j
32 CAPÍTULO 3. CONSTRUCCIÓN DE HACES

Dado que F es un haz de X y { f −1 (Vi )}i∈ I es un cubrimiento abierto de f −1 (V ), entonces exis-

f −1 ( V )
te z ∈ F ( f −1 (V )) de manera que F f −1 (V ) (z) = zi . Usando nuevamente la definición de f ∗ F
i
tenemos que existe z ∈ f ∗ F (V ) de manera que f ∗ FVVi (z) = zi .

3.3.2. Otras construcciones de haces

A continuación presentaremos algunas construcciones de haces generadas por medio de operaciones
en haces ya prefijados. Todas ellas pueden ser encontradas en [7].
Sea X un espacio topológico, entonces:
(1) Sean F y G dos haces de grupos abelianos (módulos, álgebras,etc.) sobre X. Llamamos F ⊕ G al
haz suma directa sobre X, de manera que:
• Para U ⊆ X subconjunto abierto de X, definimos (F ⊕ G) (U ) = F (U ) ⊕ G(U ).
• Para V ⊆ U los homomorfismos de restricción estan definidos como:

(F ⊕ G)U
V : (F ⊕ G) (U ) → (F ⊕ G) (V )
s + t 7→ (F ⊕ G)U
V (s + t)

Donde (F ⊕ G)U U U
V ( s + t ) = FV ( s ) + GV ( t ).

(2) Sean F y G dos haces de grupos abelianos (módulos, álgebras,etc.) sobre X. Llamamos Hom (F , G)
al haz de homomorfismos sobre X, de manera que:
• Para U ⊆ X subconjunto abierto de X definimos Hom(F , G)(U ) := Hom(F |U , G|U ).
• Para U ⊆ V los homomorfismos de restricción estan definidos como:

Hom(F , G)U
V : Hom(F |U , G|U ) → Hom(F |V , G|V )
f 7→ Hom(F , G)U
V ( f ) = f |V

Donde f |V (W ) = f (W ) : F (W ) → G(W ).
(3) Sean F y G dos haces de grupos abelianos (módulos, álgebras, etc.) sobre X. Llamamos F ⊗ G el
haz producto tensorial sobre X, de manera que:
• Para U ⊆ X subconjunto abierto definimos (F ⊗ G) (U ) = F (U ) ⊗ G(U ).
• Para V ⊆ U los homomorfismos de restricción estan definidos como:

(F ⊗ G)U
V : (F ⊗ G) (U ) → (F ⊗ G) (V )
s ⊗ t 7→ (F ⊗ G)U
V (s ⊗ t)

Donde (F ⊗ G)U U U
V ( s ⊗ t ) = FV ( s ) ⊗ GV ( t ).

(4) Sean X y Y dos espacios topológicos, f : X → Y una función continua y G un haz sobre Y. Llama-
∗ G al prehaz imagen inversa que consiste en:
mos f pre
∗ G(U ) como:
• Para U ⊆ X subconjunto abierto de X, definimos f pre
∗
f pre G(U ) = lim G(V )
→
V ⊆Y abierto
talque f (U )⊆V
3.3. OTRAS FORMAS DE CONSTRUIR HACES 33

Para W ⊆ U los homorfismos de restricción estan definidos por la propiedad universal del límite
directo, esto es:

∗ U ∗ ∗
f pre GW : f pre G(U ) → f pre G(W )

∗ G U ◦ G U = G W donde G U y G W son las respectivas inyecciones al límite

Esto significa que f pre W V V V V
directo.
Aun así este prehaz no es un haz para X, para solucionar el problema sólo basta tomar la hacifi-
 +
∗ G . Definimos el haz imagen inversa como f ∗ G = f ∗ G
cación de f pre .
pre
 CAPÍTULO 4

Espacio étalé

Antes de la definición moderna de haz, fue el matemático frances Henri Cartan quien dio por primera
vez una definición concreta del concpeto de haz bajo lo que hoy se conoce como espacio étalé. Cartan
uso ya la idea de faisceaux introducida por el otro matemático francés Jean Leray para generar un con-
cepto más general para su propio trabajo matemático involucrado en la topología algebraica y variable
compleja. En este capítulo presentaremos la primera definición de haz y algunas de sus consecuencias.

4.1. Espacio étalé

Definición 4.1. [4], [8], [1] y [2]
Sea X un espacio topológico fijo. Un espacio étalé de grupos abelianos (conjuntos, módulos anillos,
espacio vectorial, álgebras,etc.) sobre X es una tripla ( X, Y, π ), donde Y es un espacio topológico y
π : Y → X una aplicación continua y sobreyectiva, de manera que se cumple las siguientes condiciones:
1. π es un homeomorfismo local, es decir: para cada y ∈ Y existe V ∈ V (y) y U ∈ V (π (y)) tal que
π (V ) = U y π |V : V → U es un homemorfismo.
2. Para cada x ∈ X se tiene que π −1 ( x ) es un grupo abeliano.
3. la operación:

Y ×X Y → Y
( y1 , y2 ) 7 → y1 − y2

es continua. Donde Y × X Y es el producto fibrado de Y, esto es:

Y × X Y = {(y1 , y2 ) ∈ Y × Y : π (y1 ) = π (y2 )}

Observación 4.1. Cuando no se pida que el espacio étalé tenga una estructura definida como grupo,
anillo, módulo, espacio vectorial, etc. se dice que el espacio étalé es de conjuntos, y sólo basta con que
cumpla la primera condición.
Proposición 4.1. [8]
Sea E = ( X, Y, π ) un espacio étalé, entonces podemos asosciarle a E un haz FE sobre X de la siguiente
manera: para cada abierto U ⊆ X definimos
FE (U ) = {s : U → Y : s es continua y π ◦ s = IdU }

34
4.1. ESPACIO ÉTALÉ 35

Demostración. Para hacer la demostración se hace uso de las mismas ideas del ejemplo 2,7

Ejemplo 4.1 (Espacio étalé constante). Sea X un espacio topológico cualquiera y G un grupo abeliano.
Dotemos a G de la topología discreta; definamos Y = X × G y π : X × G → X como la función proyec-
ción, entonces EG = ( X, X × G, π ) es un espacio étalé.

Demostración. Para comenzar la demostración hay que aclarar dos cosas, (1) la topología asociada a X ×
G es la topología producto, y (2) que la función proyección π : X × G → X es continua y sobreyectiva.
Veamos ahora que EG es un espacio étalé.
π es un homemorfismo local: Sea ( x, g) ∈ X × G y Ux cualquier vecindad abierta de x en el espacio
topológico X. Démonos cuenta que dado Ux existe una vencindad para ( x, g) ∈ X × G de la forma
(Ux , { g}), esto gracias a que { g} es un conjunto abierto de G. Como π es la función proyección
π (Ux , { g}) = Ux . Veamos ahora que πUx ×{ g} : Ux × { g} → Ux es un homeomorfismo.
• πUx ×{ g} es una función biyectiva: sean (w, g), (w 0 , g) ∈ Ux × G de manera que πUx ×{ g} (w, g) =
πUx ×{ g} (w 0 , g), como πUx ×{ g} es la función proyección tenemos que w = w 0 , es decir πUx ×{ g}
es inyectiva. Ahora, sea w ∈ Ux , veáse que w = πUx ×{ g} (w, 0G ); de allí que π sea sobreyecti-
va. Como πUx ×{ g} es una función inyectiva y sobreyectiva, πUx ×{ g} es una función biyectiva.
−1
• πUx ×{ g} es un homeomorfismo: veamos que πUx ×{ g} y πU ×{ g}
son funciones conti-
x
−1
nuas. Sea W ⊆ Ux un abierto de Ux , véase que πU (W ) = W × { g}, entonces
x ×{ g }
π es continua, esto gracias a que W × { g} es un abierto de Ux × { g}. Ahora, como
{(V, { g}) : V ⊆ Ux abierto y g ∈ G } es una base para la topología producto, entonces, por
  −1
−1 −1 −1
definición πU ×{ g}
x
(V × { g}) = V (la imagen inversa de πU ×{ g}
), es decir πU
x ×{ g}
x
es
continua. En conslusión π |Ux ×{ g} es un homemorfismo.

π −1 ({ x }) es un grupo abeliano: véase que π −1 ({ x }) = { x } × G. Al conjunto { x } × G podemos

dotarlo de un estructura de grupo de la siguiente manera: si ( x, g), ( x.g 0 ) ∈ π −1 ({ x }), entonces
( x, g) + ( x, g 0 ) = ( x, g + g 0 ). Para todo ( x, g) ∈ π −1 ({ x }) el módulo de π −1 ({ x }) esta dado como
( x, 0). El elemento inverso para un elemento ( x, g) es de la forma ( x, − g). De allí que π −1 ({ x })
tenga estructura de grupo abeliano.
La operación dada por

Y ×X Y → Y
(( x1 , g1 ), ( x2 , g2 )) 7→ ( x1 , g1 − g2 )

esta bien definida: como (( x1 , g1 ), ( x2 , g2 )) ∈ Y × X Y, eso implica que x1 = x2 y ( x1 , g1 − g2 ) ∈ Y.

La operación es continua, pues ( x1 , g1 − g2 ) = ( p ( x1 ) , t ( g1 , g2 )) donde t : G × G → G es la
función t( g1 , g2 ) = g1 − g2 . Dado que la topología producto de G × G coincide con la topología
discreta para G × G, la función t es una función continua. De allí que la operación sea continua.
Entonces ( X, X × Y, π ) es un espacio étalé.

Definición 4.2 (Fibra de un espacio étale). [1]

Sea E = ( X, Y, π ) un espacio étalé, y x ∈ X. La fibra asociada a x (también llamada tallo o stalk asociado
a x) es el conjunto:

π −1 ( x ) = { y ∈ Y : π ( y ) = x }

Definición 4.3 (Sección de un espacio étalé). [1] Sea U ⊆ X un subcojunto abierto de X, una sección
σ de un espacio étale E = ( X, Y, π ) es una función continua σ : U → Y que satisface π ◦ σ = IdU . Al
conjunto de secciones de U se le nota como Γ(U, Y )
36 CAPÍTULO 4. ESPACIO ÉTALÉ

Definición 4.4 (Sección global de un espacio étale). [1]

Diremos que una sección σ es global si σ es una aplicación continua del espacio topológico X al espacio
topológico Y. Notaremos Γ( X, Y ) al conjunto de secciones globales del espacio étalé E = ( X, Y, π ).
Proposición 4.2. Sea un espacio étalé E = ( X, Y, π ) y U ⊆ X un subconjunto abierto de X. Dadas dos
secciones σ1 , σ2 ∈ Γ(U, Y ) , y x ∈ U, entonces se cumple lo siguiente:

σ1 ( x ) = σ2 ( x ) s y solo si σ1 |Ux0 = σ2 |Ux0 donde Ux0 ∈ V ( x ) con Ux0 ⊆ U

Demostración. Puede verse la demostración en [1]

Ejemplo 4.2 (Espacio étalé asociado al espacio recubridor de la circunferencia). [1]

Sea (R, p) el espacio recubridor de S1 , con p : R → S1 y p( x ) = (cos(2πx ), sin(2πx )). Casi siempre al
espacio (R, p) se le representa como una helice como se ve en la figura 4.1.

Figura 4.1: Representación de (R, p)

Veamos que en efecto (R, S1 , p) es un espacio étalé.

Démonos cuenta p es una función continua y sobreyectiva.
Veamos que para todo x ∈ R existen Ux ∈ V ( x ) y Vp( x) ∈ V ( p( x )) de manera que p (Ux ) = Vp( x)
y p|Ux : Ux → Vp( x) es un homeomorfismo.

Demostración. Sea x ∈ R, como p( x ) ∈ S1 y (R, p) es un espacio recubridor existe Vp( x) de manera

que:

 
p−1 Vp( x) =
G
Uα
α∈Λ

Donde {Uα }α∈Λ son abiertos de R y p|Uα : Uα → Vp( x) es un homemorfismo para todo α ∈ Λ.
 
Como x ∈ p−1 Vp( x) existe un único α ∈ Λ de manera que x ∈ Uα . Llamemos a Uα = Uα,x ,
entonces existe Uα,x ∈ V ( x ) y Vp( x) ∈ V ( p( x )) de manera que p|Uα,x : Uα,x → Vp( x) es un home-
morfismo y p (Uα,x ) = Vp( x) .

De lo anterior resulta que S1 , R, p es un espacio étalé.

4.1. ESPACIO ÉTALÉ 37

En los siguientes tres ejemplos veremos como son las fibras de dos puntos distinguidos del espacio
étale, y cómo mediante una sección podemos “amarrar” dichas fibras.

Veamos dos ejemplos en donde podamos representar gráficamente las fibras de dos puntos del espacio
étalé S1 , R, p .

Ejemplo 4.3 (Fibras y secciones del espacio étalé S1 , R, p ). Veamos algunas representaciones de

fibras y secciones del espacio étalé S1 , R, p

Sea (1, 0) ∈ S1 , calculemos p−1 ({(1, 0)}).

p−1 ({(1, 0)}) = { x ∈ R : (cos(2πx ), sin(2πx )) = (1, 0)} = { x ∈ R : x ∈ Z}

Una representación gráfica de la fibra puede ser la siguiente:

Figura 4.2: La fibra p−1 ({(1, 0)})

La fibra asociada al punto (−1, 0) es la siguiente:

 
−1 2k + 1
p ({(−1, 0)}) = { x ∈ R : p( x ) = (−1, 0)} = x∈R:x= ,k ∈ Z
2

Una representación gráfica de la fibra puede ser la siguiente:

Figura 4.3: La fibra p−1 ({(−1, 0)})

38 CAPÍTULO 4. ESPACIO ÉTALÉ

Ya que tenemos dos fibras de nuestro espacio étalé podemos intentar conseguir una sección σ, de ma-
nera que “amarre” dichas fibras. Consideremos el abierto U de S1 como se ve en la figura de manera
que (−1, 0), (1, 0) ∈ U.

Figura 4.4: Abierto U de S1

Para el subconjunto abierto U consideremos la siguiente sección σ : U → R, definida como

t
σ (cos(t), sin(t)) = 2π , es sencillo observar que σ es una aplicación bien definida y continua sobre el
abierto U. También es sencillo observar que p ◦ σ = Id|U . De lo anterior tenemos que σ es una sección.
Una representación gráfica de la sección σ es la siguiente.

Figura 4.5: Representación de la sección σ

La sección σ esta representada por la curva purpura de la imagen. Vemos como la sección “ata” las
fibras p−1 ({(1, 0)}) y p−1 ({(−1, 0)}).
4.2. CONCLUSIONES 39

4.2. Conclusiones
En general la teoría de haces no se estudia como una teoría propia, sino más bien como una herramienta
de los matemáticos para intentar globalizar objetos de tipo local. Aunque se mostraron partes muy
importantes en torno a la definición haz, faltaron conceptos de suma importancia que surgen de la
definción de haz. Tomemos como ejemplo la cohomología de haces, en donde con ayuda del concepto
de haz y los módulos de cohomología asociados a este, ayudaron a generalizar problemas de la variable
compleja. Además de la ayuda de los haces en resolver problemas determinados, esta teoría no tendría
tanta importancia si no fuera por la figura de Alexander Grothendieck quien uso dicho objeto para dar
un giro revolucionario a toda la matemática de su época.
Falto en el cuerpo del texto no solo explicar la forma de pensar los haces a lá Grothendieck, sino las
muchas estructuras importantes de nuestra época en torno al concepto de haz, por ejemplo los haces
fibrados, los haces principales, los haces coherentes, los esquemas, los topos, los stacks, los D -módulos,
los haces automorfos, haces perversos, etc. Objetos que dan hoy gran parte de la investigación en ma-
temáticas y que muy seguramente con el tiempo iran apareciendo en la investigación matemática de
Colombia.
 Bibliografía

[1] Caicedo, X. (1995). Lógica de los haces de estructuras. Revista de la Academia Colombiana de Ciencias
Exactas, Físicas y Naturales, 19(74):569–86.
[2] Cartan, H. (1950-1951). Faisceaux sur un espace topologique. I. Séminaire Henri Cartan, 3. talk:14.
[3] Halter-Koch, F. (2022). Class Field Theory and L Functions: Foundations and Main Results. CRC Press.
[4] Hartshorne, R. (2013). Algebraic geometry, volume 52. Springer Science & Business Media.
[5] Lezama, O. (2020a). Cuadernos de Álgebra, No 01: Grupos . SAC2 , Departamento de Matemáticas,
Universidad Nacional de Colombia, sede Bogotá.
[6] Lezama, O. (2020b). Cuadernos de Álgebra, No 10: Geometría Algebraica . SAC2 , Departamento de
Matemáticas, Universidad Nacional de Colombia, sede Bogotá.
[7] Montero, P. (2021). Geometría algebraica. Universidad tecnica federico santa maria.
[8] Rivera, Y. (2017). Una introducción a la teoría de haces y esquemas. Master’s thesis, Universidad
del Valle, Colombia.
[9] Rubiano, G. (2010). Topología general. Universidad Nacional de Colombia, tercera edition.

40