Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
El lema del nervio y complejos
semisimpliciales
Cynthia Guadalupe Esquer Pérez
Universidad de Sonora
8 de marzo de 2018
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Definición
Un conjunto semisimplicial ∆ es el complejo que resulta de los
datos de pegado que comprenden las siguientes partes:
i) una sucesión de conjuntos S0 (∆), S1 (∆), ... donde Si (∆)
es el conjunto de los i-simplejos de ∆, para toda i ≥ 0 ;
(ii) para cada m ≤ n, y para cada inyección que preserva el
orden f ∶ [m + 1] ↪ [n + 1], tenemos un conjunto de
funciones Bf ∶ Sn (∆) → Sm (∆) que satisfacen:
1 para cada composición de inyecciones que preservan el
g f
orden [k + 1] ↪ [m + 1] ↪ [n + 1], tenemos
Bf ○g = Bg ○ Bf
2 para cualquier identidad idn ∶ [n + 1] ↪ [n + 1], tenemos
Bidn = idSn (∆)
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Ejemplos:
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Definición
Un diagrama de espacios topológicos D sobre un
semisimplicial ∆ consiste de lo siguiente:
1 para cada vértice v de ∆ tenemos un espacio topológico
D(v );
2 para cada arista (v → w ) tenemos una función continua
D(v → w ) ∶ D(v ) → D(w ).
Estas funciones conmutan sobre cada triángulo en ∆
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Ejemplos de diagramas sobre un semisimplicial ∆:
1) Sea X un espacio topológico y f ∶ X → X una función
continua. Consideremos el semisimplicial ∆ que consta de
un vértice v y una arista v → v . Entonces D(v ) ∶= X y
D(v → v ) ∶= f .
2) Sea f ∶ X → Y una función entre espacios topológicos.
Sea ∆ el semisimplicial que consta de dos vértices v y w
y una arista v → w . Entonces definimos D(v ) = X ,
D(w ) = Y y D(v → w ) ∶= f
3) Sea f ∶ X → Y continua. Consideremos el semisimplicial
con tres vértices a, b, c y dos aristas (c → a) y (c → b).
Definimos D(c) = X , D(b) = Y , D(a) = ∗, D(c → b) = f
y D(c → a) la única función que manda todo a un punto.
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Definición
Sea D un diagrama de espacios topológicos sobre un
semisimplicial ∆ definimos
colimD = ⊔ D(v )/ ∼
v ∈∆(0)
donde x ∼ D(v → w )(x) para todo v , w ∈ ∆(0) y para todo
x ∈ D(v ).
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Ejemplos de colı́mites de diagramas:
1) Si D es el diagrama del primer ejemplo anterior
colimD = ⊔ D(v )/ ∼
v ∈∆(0)
= X /x ∼ f (x)
2) Para el segundo diagrama del ejemplo anterior
colimD = ⊔ D(v )/ ∼
v ∈∆(0)
= X ⊔ Y /(x ∼ f (x)) = Y
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
3) Para D como en el tercer ejemplo anterior tenemos:
colimD = ⊔ D(v )/ ∼
v ∈∆(0)
= X ⊔ Y ⊔{∗}/(x ∼ f (x), x ∼ ∗)
= Y /f (X )
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Definición
Sea D un diagrama de espacios topológicos sobre un
semisimplicial ∆ definimos el colı́mite homotópico
hocolimD = ⊔ (σ × D(v0 ))/ ∼
σ={v0 ,...,vn }
donde la unión ajena es tomada sobre los simplejos de ∆. La
relación de equivalencia ∼ está generada por la siguiente
condición: para τi ∈ ∂σ, τi = v0 , ..., vˆi , ..., vn , sea fi ∶ τi → σ la
inclusión, entonces
1 para i > 0, τi × D(v0 ) ∼ fi (τi ) × D(v0 )
2 para τ0 , tenemos f0 (α) × x ∼ α × D(v → w )(x) para cada
α ∈ τ0 y x ∈ D(v0 ).
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Ejemplos de colı́mites homotópicos de diagramas:
1)
hocolimD = ⊔ (σ × D(v0 ))/ ∼
σ={v0 ,...,vn }
= {v } × X ⊔(v → v ) × X /(v , x) ∼ (v , f (x))
= X ⊔(v → v ) × X /(v , x) ∼ (v , f (x))
2)
hocolimD = ⊔ (σ × D(v0 ))/ ∼
σ={v0 ,...,vn }
= {v } × X ⊔{w } × Y ⊔(v → w ) × X / ∼
= Y ⊔(v → w ) × X /(w , x) ∼ (w , f (x))
= M(f )
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
3)
hocolimD = ⊔ (σ × D(v0 ))/ ∼
σ={v0 ,...,vn }
= X ⊔(v → v ) × X /(v , x) ∼ (v , f (x))
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Definición
Sea D1 y D2 dos diagramas sobre un semisimplicial ∆. Un
morfismo de diagramas F ∶ D1 Ð→ D2 es una colección de
funciones F (v ) ∶ D1 (v ) Ð→ D2 (v ) para cada v ∈ ∆(0) que
hacen conmutar el siguiente diagrama:
F (v )
D1 (v ) / D2 (v )
D1 (v →w ) D2 (v →w )
F (w )
D1 (w ) / D2 (w )
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Definición
Sea X un espacio topológico, y sea U = {Xi }i∈I una cubierta
de X . El nervio de U es el complejo simplicial abstracto,
denotado por N (U), cuyo conjunto de vértices esta dado por
I y cuyo conjunto de simplejos esta descrito como sigue: el
subconjunto finito S ⊂ I es un simplejo de N (U) si y sólo si la
intersección ⋂i∈S Xi es no vacı́a.
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Definición
Sea X un espacio topológico, y sea U = {Xi }i∈I una cubierta
de X . Definimos un diagrama de espacios D sobre el espacio
BdN (U) como sigue:
1 D(S) = Xi1 ∩ ... ∩ Xik , para S ∈ N (U), S = {i1 , ..., ik };
2 D(S1 → S2 ) ∶ D(S1 ) ↪ D(S2 ) es la inclusión, para
S1 , S2 ∈ N (U), S2 ⊂ S1 .
Llamaremos a D el diagrama del nervio de U.
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Teorema
Sea X un espacio topológico paracompacto, sea U = {Xi }i∈I
una cubierta abierta localmente finita de X , y sea D el
diagrama del nervio de U. Entonces la proyección
pf ∶ hocolimD Ð→ colimD = X
(α, β) z→ β
es una equivalencia homotópica.
Definimos g ∶ X Ð→ hocolimD por
g (x) = (∑ ϕi (x)vi , x)
i∈I
vi vértice de N (U) correspondiente a Xi .
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Teorema
Si U es una cubierta abierta finita de X tal que cada
intersección no vacı́a de conjuntos de U es contraible,
entonces X ≃ N (U).
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Sea D el diagrama del nervio de U y sea D∗ el diagrama sobre
BdN (U) en el que todos los espacios asociados son puntos.
Consideremos el único morfismo de diagramas F ∶ D Ð→ D∗ ,
F (S1 )
D(S1 ) / D∗ (S1 ) = ∗
D(S1 →S2 ) D∗ (S1 →S2 )
F (S2 )
D(S2 ) / D∗ (S2 ) = ∗
Como cada F (S) ∶ ∩Xi Ð→ D∗ = ∗ es equivalencias
homotópica, podemos concluir que
hocolimF ∶ hocolimD Ð→ hocolimD∗ es equivalencia
homotópica.
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
Conjuntos semisimpliciales
Colimites homotópicos
Nervios de cubiertas
Por el teorema anterior
pf ∶ hocolimD Ð→ colimD
es equivalencia homotópica y
colimD = ⊔ D(S)/x ∼ D(S → S ′ )(x)
S∈N (U)
= ⊔ ∩Xi /(x ∼ D(S)(x)) = X
i∈I
hocolimD = ∗
⊔ σ × D(S0 )/ ∼
σ={S0 ,...,Sn }
= ⊔ σ × {∗}/ ∼
= N (U)
por tanto X = colimD ≃ hocolimD ≃ hocolimD∗ = N (U).
Cynthia Guadalupe Esquer Pérez El lema del nervio y complejos semisimpliciales
