GAVILLAS SOBRE ESPACIOS TOPOLOGICOS

ABUD ALCALA

RAMON

1. Gavillas Etales
1.1. Una gavilla e tale (de grupos abelianos) sobre un espacio X es una
Definicion
terna G = (E, p, X) tal que:
/ X es un homeomorfismo local (suprayectivo).
(i) p : E
Llamaremos hojas a los abiertos S E tales que S

p


/ p(S)

(ii) Para cada punto x X la imagen inversa Ex = p1 (x) llamada fibra o tallo,
tiene estructura de grupo abeliano.
(iii) La estructura de grupo abeliano de los tallos es compabible con la topologa
de E, es decir, si (E E) = {(a, b) E E | p(a) = p(b)} entonces las operaciones:
suma /
invserso /
(E E)
E
E
E
(a, b) 

a

/ a+b

/ a

son continuas.
Observacion 1.2.
(1) Las hojas son base para la topologa de E y por tanto p es
abierta.
(2) Cada tallo Ex tiene la topologa discreta.
Demostracion. Sea a Ex y sea S una hoja tal que x S, si a0 Ex y a , a0
entonces a0 < S pues p(a) = p(a0 ), por tanto S Ex = {a}.

global; la seccion
cero.
(3) Toda gavilla e tale tiene una seccion
s0 : X

/E

x

/ 0x

Es claro que ps0 (x) = x, veamos que es continua: Demostracion. Sea S una
hoja de E.

s0 : p(S)

p1


x

/ S 
/ ax 

/ (S S)
/ (ax , ax ) 

resta

/E
/ ax ax = 0 x

es continua.

1

 ABUD ALCALA

RAMON

(4) Se puede pedir que las gavillas e tale sean de otras estructuras algebraicas,

grupos, anillos, R-modulos,

a lgebras. y todos los resultados se siguen conservando, salvo en el caso general de grupos (no necesariamente abelianos).
1.3. Un morfismo de gavillas e tale
Definicion
/ G0

f :G

/ E 0 que hace conmutar el diagrama:

continua f : E
es una funcion

E
p

/ E0
~

p0

/ Ex0 es un morfismo de grupos abelianos.

fx : Ex
y para cada tallo la restriccion
Decimos que f es un monomorfismo (epi, iso) si para cada x X se tiene que
/ Ex0 es un monomorfismo (epi, iso) de grupos abelianos.
fx : Ex
Observacion 1.4.
(1) Las gavillas e tale y los morfismos de gavillas e tale forman
una categora, que denotaremos como Shet (X, Ab).
(2) El conjunto HomShet (G, G0 ) de morfismos entre dos gavillas e tale es un
grupo abeliano con la suma puntual.
(3) Definimos la gavilla e ltae constante (o gavilla e tale producto) como:
X G
p


X

donde G es un grupo abeliano dotado de la topologa discreta.

Si G = 0 decimos que
X {0}
p


X

es la gavilla e tale cero.


GAVILLAS SOBRE ESPACIOS TOPOLOGICOS

2. Pregavillas
2.1. Una pregavilla de grupos abelianos sobre un espacio X es un funDefinicion
tor contravariante:
/ Ab
G : (X)
G (U )
O

U _
i

G (i)


V

G (V )

cuyos objetos son los abiertos de X y los

Donde (X) es la categora (pequena)
morfismos son las inclusiones entre ellos.
s|U := (G (i))(s)
Si s F(V ) emplearemos la notacion
2.2. Un morfismo entre pregavillas G y G 0 sobre X es una transforDefinicion
natural:
macion
/ G0
:G
U _ G (U )
O

V

G (V )

/ G 0 (U )
O

/ G 0 (V )

Observacion 2.3.
(1) Las pregavillas y los morfismos de pregavillas sobre un
espacio X forman una categora que denotamos por pSh(X, Ab) o la vemos
op
como la categora de funtores Ab(X) .
(2) Decimos que es un monomorfismo (epi, iso) si para cada U (X), el
/ G 0 (U ) es un monomorfismo (epi, iso) de grumorfismo U : G (U )
pos abelianos.

3. La Gavilla Etale
asociada a una Pregavilla
Para cada pregavilla G sobre X, construiremos una gavilla e tale:
Consideremos un punto x X y tomamos la familia de vecindades abiertas de
x,
Nx = {U (X) | x U }
Y le dotamos de un orden,
si U V
V U si y solo
de modo que (Nx , ) es un conjunto dirigido.
Llamemos el tallo de x al lmite directo Gx = lim
G (U ) respecto a los morU Nx
fismos de grupos
xV U

G (V )

|U

/ G (U )

Para los elementos sx de Gx a los cuales llamaremos germenes del tallo, usaremos la
sx = [s G (U )]x y entenderemos que s G (U ), x U y que sx es la clase
notacion

ABUD ALCALA

RAMON

de equivalencia de s en lim
G (U ) = Gx . As tenemos que [s1 G (U1 )]x = [s2
U Nx
si existe V U1 U2 tal que x V y s1 |V = s2 |V .
G (U2 )]x Gx si y solo
Los tallos heredan la estructura de grupo abeliano de la pregavilla de manera

canonica,
dados [s1 G (U1 )]x , [s2 G (U2 )]x Gx consideramos V U1 U2 y
definimos:
[s1 G (U1 )]x +[s2 G (U2 )]x = [s1 |V G (V )]x +[s2 |V G (V )]x := [s1 |V +s2 |V G (V )]x
que claramente esta bien definido.
`
Ahora vamos a construir una gavilla e tale: Sean E = xX Gx y
a
Gx
E =
xX


X

suprayectiva.
donde p(sx ) = x la cual claramente es una funcion
Queremos dotar a E de una topologa, sea U X un abierto y x G (U ), definimos el conjunto hs G (U )i = {[s G (U )]x | x U }. Y afirmamos que el conjunto
= {hs G (U )i | U (X), s G (U )} es base para alguna topologa de E.
Demostracion.
S
U (X)

= E es claro pues para todo sx Gx se tiene que para algun

sx = [s G (U )]x hs G (U )i
Si hs1 G (U1 )i hs2 G (U2 )i , entonces existe x X tal que
[s1 G (U1 )]x = [s2 G (U2 )]x
entonces existe U abierto tal que x U U1 U2 y s1 |U = s2 |U = s, por lo
tanto
[s G (U )]x hs G (U )i hs1 G (U1 )i hs2 G (U2 )i

Aparte p es continua, abierta y es un homeomorfismo local.
Demostracion.
`
Es continua pues si U X es un abierto fijo entonces p1 (U ) = sG (U ) hs
G (U )i.
Es abierta pues p(hs G (U )i) = U y es base.
Es un homeomorfismo local pues si hs G (U )i entones
p|hsG (U )i : hs G (U )i

/U

es biyectiva, continua y abierta, por tanto un homeomorfismo.


Solo hace falta ver que las operaciones de grupo son continuas. Demostracion.
basta demostrar que
resta

(E E)
([s1 G (U1 )]x , [s2 G (U2 )]x )

/E
/ [s1 G (U1 )]x [s2 G (U2 )]x

es continua, pero para un basico en (E E) que se ve de la forma

(hs1 G (U1 )i hs2 G (U2 )i) (E E)


GAVILLAS SOBRE ESPACIOS TOPOLOGICOS

podemos tomar x V U1 U2 y entonces


([s1 |V G (V )]x , [s2 |V G (V )]x )

/ [s1 |V s2 |V G (V )]x
= [s G (V )]x hs G (V )i

donde s = s1 |V s2 |V , y por tanto



resta hs1 |V G (V )i hs2 |V G (V )i hs G (V )i
y por lo tanto las operaciones son continuas.

Y as hemos construido para cada pregavilla G sobre X una gavilla e tale sobre X a
la cual llamaremos G = (E, p, X).
Ahora veremos que esta manera de asociar gavillas e tales a pregavillas es funtorial, de modo que tomaremos un morfismo de pregavillas sobre X:
/ G0

:G

y consideramos G = (E, p, X) y G 0 = (E 0 , p0 , X), queremos dar un morfismo de

gavillas e tales inducido por , tomemos el diagrama conmutativo de la transfor natural:
macion
/ G0
:G
U _ G (U )
O

V

G (V )

/ G 0 (U )
O

/ G 0 (V )

la conmutatividad de este cuadrado nos dice que para cada x X, la familia

/ G 0 (U ) }U N es un morfismo de sistemas dirigidos. El cual in{ U : G (U )
x
duce, para cada x X un morfismo en el lmite directo:
/ Gx0

x : Gx
[s G (U )]x 

/ [U (s) G 0 (U )]x
/ G 0 , la cual afirmamos que es un

: G
Esto nos define una funcion
morfismo de gavillas e tales.
Demostracion. Claramente el diagrama

/ E0

E
p

p0

es conmutativo, aparte tenemos que la imagen inversa de un basico

[
()1 (hs0 G 0 (U )i) =
hs G (U )i
1 (s0 )
sU

Supongamos que ([s G (U )]x ) hs0 G 0 (U )i pero ([s G (U )]x ) =

[U (s) G 0 (U )]x por tanto s0 = U (s).

 ABUD ALCALA

RAMON

Es claro.


As es un morfismo de gavillas e tales. Pero eso no es todo,

/ Shet (X, Ab)

: pSh(X, Ab)

es un funtor. Pues ( idG )([s G (U )]x ) = [idG (s) G (U )]x = [s G (U )]x de modo
que idG = idG .
Y aparte
( 0 )([s G (U )]x ) = [ 0 (s) G (U )]x = [ 0 ((s)) G (U )]x
= ( 0 )([(s) G (U )]x ) = ( 0 )(()([s G (U )]x ))
= ( 0 )([s G (U )]x )
y as ( 0 ) = 0 .

4. La Pregavilla asociada a una Gavilla Etale

Sea G = (E, p, X) una gavilla e tale y U X un abierto, denotamos por
/ E | p s = idU , y s es continua}

(U , G) = { s : U

al conjunto de secciones continuas de p|U .

Observacion 4.1.
(1) El cual es un grupo con las operaciones definidas puntualmente, es decir;
/E
s + s0 : U
x

/ s(x) + s0 (x)

s + s0 es continua pues esta dada como la composicion:

Esta
nueva seccion
s + s0 : U

ss0

/ (E E)

suma

/E

/ E , al cual
cero s0 |U : U
(2) El elemento neutro en (U , G) es la seccion
denotaremos simplemente como s0 .
(3) Si s (U , G) entonces para cada x U , s(U ) Ex tiene solo un elemento.
(4) Note que (, G) = {s0 } Ab
(5) (, G) es una pregavilla, la cual llamaremos pregavilla de secciones de G.
/ Ab

( , G) : (X)
U _

(U , G)
O

(V , G)

s|U
O


V

_
s

/ ( , G) es funtorial.
G
Ahora veremos que la asignacion
/ G0 un morfismo de gavillas e tales, definimos
Demostracion. Sea f : G
/ ( , G0 ) que en la componente para
natural f : ( , G)
la transformacion
/E
/ E0

U (X) se calcula como

( f )U (s) = f s : U


GAVILLAS SOBRE ESPACIOS TOPOLOGICOS

f
/ G0 g / G00 son dos morfismos de gavilClaramente idG = idG y si G
las e tales entonces ( (g f ))U (s) = g f s = ( g)U (f s) = ( g)U ( f )U (s).
/ pSh(X, Ab) es un funtor.
Por tanto : Shet (X, Ab)


Ahora veremos una propiedad especial que cumplen las pregavillas de secciones.
Lema 4.2 (Condiciones de Pegado o S
de Igualador). Sean G = (E, p, X) una gavilla
etale sobre X, U X un abierto y U = iI Ui una cubierta abierta de U .
(i) Si s, t (U , G) y s|Ui = t|Ui para toda i I entonces s = t.
(ii) Si si (Ui , G) son tales que si |Ui Uj = sj |Ui Uj para todas i, j I entonces
existe una u nica s (U , G) tal que s|Ui = si para toda i I.
Demostracion.
(i) Sea x U entonces existe i I tal que x Ui , de modo que s(x) = s|Ui (x) =
t|Ui (x) = t(x). S
(ii) Definimos s = iI si , es decir,
s:U
x

/E
/ si (x) si x Ui

continua que esta bien definida pues las hipotesis

La cual es una funcion

del lema nos dicen que las si son funciones compatibles.

4.3. Decimos que una pregavilla G sobre X es una gavilla sobre X si
Definicion
cumple las condiciones de pegado:
S
Para todo abierto U X y toda cubierta abierta U = iI Ui se tiene que
(i) Si s, t G (U ) y s|Ui = t|Ui para toda i I entonces s = t.
(ii) Si si G (Ui ) son tales que si |Ui Uj = sj |Ui Uj para todas i, j I entonces

existe una unica

s G (U ) tal que s|Ui = si para toda i I.
Que son equivalentes a que el siguiente diagrama sea un igualador en Ab.
G (U )

Y
iI

G (Ui )

l
r

G (Ui Uj )

(i,j)II

donde (s) = (s|Ui )iI , l ((si )iI ) = (si |Ui Uj )(i,j)II y r ((sj )jI ) = (sj |Ui Uj )(i,j)II .
Esto es cierto pues las condiciones de pegado son equivalentes a que sea
monomorfismo de grupos abelianos y ker(l r ) = im(), lo cual sucede si y
si es el igualador de l y r .
solo
Ejemplo 4.4. No todas las pregavillas son gavillas:
Sea X un espacio no vaco y G un grupo abeliano no trivial. Definimos la pregavilla constante G como G (U ) = G para todo abierto U X y las restricciones son
las identidades.
Sean s1 , s2 elementos de G y U , V abiertos ajenos de X, quisieramos s G (U
V ) tal que s|U = s1 y s|V = s2 , pero s|U = s = s|V .

 ABUD ALCALA

RAMON

5. El Isomorfismo de Gavillas
Sea G una pregavilla sobre X, para cada U X definimos:
U

G (U )
s

/ (U , G )
/ U s : U
x

/E
/ [s G (U )]x

de la gavilla e tale G .
Veamos que U s es una seccion
p U s(x) = p([s G (U )]x ) = x.
Es continua pues si W U es un abierto entonces hs G (W )i hs G (U )i
es un basico en im(U s) = hs G (U)i. Aparte (U s)1 (hs G (W )i) = W que
es abierto.
De modo que efectivamente U s (U , G ).
Lema 5.1. U es un morfismo de grupos. Mas aun, G es una gavilla si y solo si U es
un isomorfismo.
Demostracion.
Morfismo.
U (s + s0 )(x) = [s + s0 G (U )]x
= [s G (U )]x + [s0 G (U )]x
= U (s)(x) + U (s0 )(x) = (U (s) + U (s0 ))(x)
Monomorfismo.
Si s ker(U ) entonces para cada x U tenemos U s(x) = [s G (U )]x =
0 Gx , por tanto
S existe un abierto Wx U tal que x Wx y s|Wx = s0
G (Wx ). Como xU Wx = U entonces por una de las condiciones de pegado tenemos que s = s0 .
Epimorfismo.
Si s (U , G ) entonces para toda x U existe una vecindad abierta
de x, Ux U y una hoja hsx G (Ux )i de G tal que s(Ux ) = hsx G (Ux )i
entonces tenemos que para toda x, y U
sx |Ux Uy = sy |Ux Uy

As por una de las condiciones de pegado tenemoq que existe un unico

s
G (U ) tal que s|Ux = sx para todo x U . Por lo tanto s(x) = [sx G (Ux )]x =
[s G (U )]x = U s(x).

De este modo hemos construido un morfismo de pregavillas para cada pregavilla G . Pues si s G (V ) entonces para toda x U ,
(U s|U )(x) = [s|U G (U )]x = [s G (V )]x = V s(x)


GAVILLAS SOBRE ESPACIOS TOPOLOGICOS

lo cual nos da la conmutatividad del diagrama:

/ ( , G )

G : G
U _ G (U )
O

V

G (V )

/ (U , G )
O

/ (V , G )

el cual es un isomorfismo si G es una gavilla.

natural:
Aparte podemos formar la transformacion
/

: idpSh(X,Ab)
G

/ ( , G )


G0


G0

G 0

/ ( , G 0 )

y para ver la conmutatividad del cuadrado nos basta revisar la conmutatividad de:
U

G (U )

/ (U , G )


G 0 (U )

0
U

/ (U , G 0 )

que se sigue, pues si s G (U ) y x U entonces

0
( U (U s))(x) = ((U s))(x) = ([s G (U )]x ) = [U s G 0 (U )]x = U
(U s)(x)

Al proceso de asociarle a cada pregavilla G la gavilla ( , G se le llama gavil (o gavillanizacion).

lificacion

6. El isomorfismo de Gavillas Etales

Sea G = (E, p, X) una gavilla e tale, consideremos ( , G) = (F, q, X) la gavilla
e tale asociada a la pregavilla de secciones de G.
Definimos el siguiente morfismo de gavillas e tales:
G

E0
p0

/E
p

Dado por G ([s (U , G)]x ) = s(x)

Esta bien definido pues si [s1 (U1 , G)]x = [s2 (U2 , G)]x entonces existe
un abierto U U1 U2 tal que x U y s1 |U = s2 |U y por tanto s1 (x) = s2 (x).
Hace conmutar el triangulo pues
p(G ([s (U , G)]x )) = p(s(x)) = x = q([s (U , G)]x )

 ABUD ALCALA

RAMON

10

Para ver que es continuo basta tomar una hoja S E, p(S) = U1 y la seccion
correspondiente s1 : U1  / S . De modo que si G ([s2 (U2 , G)]x ) S
entonces s2 (x) S lo cual implica que x U1 y por tanto existe un abierto
U U1 U2 tal que s1 |U = s2 |U as [s1 (U1 , G)]x = [s2 (U2 , G)]x por lo
1
tanto G
(S) = {[s1 (U1 , G)]x | x U1 } = hs1 (U1 , G)i.
Es morfismo de grupos abelianos en fibras:
/ Ex

G : Fx

Sean [s1 (U1 , G]x , [s2 (U2 , G]x Fx entonces existe un abierto U
U1 U2 con x U y as
G ([s1 (U1 , G]x + [s2 (U2 , G]x ) = G ([s1 |U + s2 |U (U , G]x )
= (s1 |U + s2 |U )(x)
= s1 |U (x) + s2 |U (x)
= s1 (x) + s2 (x)
= G ([s1 (U1 , G]x ) + G ([s2 (U2 , G]x )
Es monomorfismo pues si G ([s (U , G]x ) = 0x Ex entonces s(x) = 0x =
s0 (x) y por tanto existe un abierto V U tal que x V y s|V = s0 . As
[s (U , G)]x = [s0 (V , G)]x = 0x Fx .
Es epimorfismo porque si e Ex entonces tomamos una hoja S que tenga
s : U  / S , y por lo
a e y consideramos el abierto U = p(S) y la seccion
tanto G ([s (U , G]x ) = s(x) = e.
As hemos construido un isomorfismo de gavillas e tales, el cual define una
natural:
transformacion
/ idSh (X,Ab)
:
et

( , G)

G
f

/G

G0


/ G0


G0


( , G0 )

Cuyo cuadrado conmuta pues

f (G ([s (U , G)]x )) = f (s(x))
= f s(x)
= G0 ([f s (U , G0 )]x )
= G0 ([ fU (s) (U , G0 )]x )
= G0 ( f ([s (U , G)]x ))
As la subcategora plena de la categora de pregavillas cuyos objetos son las gavillas es naturalmente equivalente a la categora de gavillas etales.
References
[1] Friedrich Hirzebruch. Topological Methods in Algebraic Geometry , Springer-Verlag, 1968.
[2] Joseph J. Rotman. An Introduction to Homological Algebra, Second Edition, Springer-Verlag,
2009.