COMPLEJOS SIMPLICIALES Y GRUPOS LIBRES

Gerardo Daniel Arias Morales

Diciembre 2023

Universidad de Talca
TABLA DE CONTENIDOS

1. Preámbulo

2. Complejos simpliciales

3. The Edge-Path groupoid

4. Grafos

5. Aplicación

1
PREÁMBULO
ANTECEDENTES

Definición (Aplicación recubridora)

Una aplicación p : r
X Ñ X es una aplicación recubridora si para todo x P X,
existe V Ď X abierto tal que:
x P V,
Existe UiiPI familia de subconjuntos de r
X abiertos, tales que:
ğ
• p (V) =
´1 Ui ,
iPI
• p |Ui : Ui Ñ V es un homeomorfismo.

3
Teorema (Teorema de levantamiento)
Sean p : rX Ñ X una fluc, x0 P X y xr0 P p´1 (xo ) y f : (Y, y0 ) Ñ (X, x0 ) aplicación
continua, con Y conexo y locamente arco-conexo.
Entonces existe rf : (Y, y0 ) Ñ (r
X, xr0 ) continua tal que p ˝ rf = f Sí y solo si
f# π (Y, y0 ) Ď p# π (r
X, xr0 ).

4
Teorema (Teorema de levantamiento)
Sean p : rX Ñ X una fluc, x0 P X y xr0 P p´1 (xo ) y f : (Y, y0 ) Ñ (X, x0 ) aplicación
continua, con Y conexo y locamente arco-conexo.
Entonces existe rf : (Y, y0 ) Ñ (r
X, xr0 ) continua tal que p ˝ rf = f Sí y solo si
f# π (Y, y0 ) Ď p# π (r
X, xr0 ).

Definición
Sea A subconjunto de un grupo G. G se dice libremente generado por A si,
dado un grupo cualquiera H y una función f : A Ñ H, existe una única
extensión φ : G Ñ H homomorfismo de grupos.

4
COMPLEJOS SIMPLICIALES
Definición (Complejo Simplicial)
Un complejo simplicial K es un par (V, S) donde V es un conjunto de vértices
y S Ď P (V) un conjunto de símplices tal que:
Para todo v P V, tvu P S,
Si s P S y r Ď s entonces r P S.

6
Definición (Complejo Simplicial)
Un complejo simplicial K es un par (V, S) donde V es un conjunto de vértices
y S Ď P (V) un conjunto de símplices tal que:
Para todo v P V, tvu P S,
Si s P S y r Ď s entonces r P S.

Definición (Aplicación simplicial)

Dados K1 y K2 símplices, una aplicación simplicial φ : K1 Ñ K2 es una función
de V1 en V2 tal que para todo s P S1 , φ(s) P S2 .

6
Definición (|K|)
Dado un complejo simplicial K, definimos |K| como el conjunto de todas las
funciones α : V Ñ I tales que:
@α, tv P K|α(v) ‰ 0u P S.
@α, vPK α(v) = 1.
ř

7
Definición (|K|)
Dado un complejo simplicial K, definimos |K| como el conjunto de todas las
funciones α : V Ñ I tales que:
@α, tv P K|α(v) ‰ 0u P S.
@α, vPK α(v) = 1.
ř

Definición (Símplice cerrado)

Dado s P S, el símplice cerrado |s| se define por:

|s| := tα P |K||α(v) ‰ 0 ñ v P su.

7
Definición (Símplice abierto)
Dado s P S, el símplice abierto xsy se define por:

xsy := tα P |K||α(v) ‰ 0 ô v P su.

8
Definición (Símplice abierto)
Dado s P S, el símplice abierto xsy se define por:

xsy := tα P |K||α(v) ‰ 0 ô v P su.

Observación
Los abiertos simpliciales constituyen una partición de |K|

8
Definición (Triangulación)
Una triangulación de un espacio topológico X es un par (K, f), donde K es un
complejo simplicial y f : |K| Ñ X un homeomorfismo.
Si X tiene una triangulación, X se conoce como polihedro.

9
Definición (Triangulación)
Una triangulación de un espacio topológico X es un par (K, f), donde K es un
complejo simplicial y f : |K| Ñ X un homeomorfismo.
Si X tiene una triangulación, X se conoce como polihedro.

Definición (star)
Dado un vértice v P V, si star se define por:

stv := tα P |K||α(v) ‰ 0u.

9
Definición (Triangulación)
Una triangulación de un espacio topológico X es un par (K, f), donde K es un
complejo simplicial y f : |K| Ñ X un homeomorfismo.
Si X tiene una triangulación, X se conoce como polihedro.

Definición (star)
Dado un vértice v P V, si star se define por:

stv := tα P |K||α(v) ‰ 0u.

Observación
st v es abierto en |K|. Y además
ď
st v = txsy|v P V X su.

9
THE EDGE-PATH GROUPOID
Definición (Arista)
Una arista de un complejo simplicial K es un par ordenado de vértices (v, v1 )
que pertenece a algún símplice de K

11
Definición (Arista)
Una arista de un complejo simplicial K es un par ordenado de vértices (v, v1 )
que pertenece a algún símplice de K

Definición (Camino)
Un camino ζ de K es una sucesión finita y no vacía e1 e2 ¨ ¨ ¨ er de aristas de K,
de manera adecuada.

11
Definición (Arista)
Una arista de un complejo simplicial K es un par ordenado de vértices (v, v1 )
que pertenece a algún símplice de K

Definición (Camino)
Un camino ζ de K es una sucesión finita y no vacía e1 e2 ¨ ¨ ¨ er de aristas de K,
de manera adecuada.

Definición (Simplemente equivalentes)

Dos caminos ζ y ζ 1 en K se dicen simplemente equivalentes si existen
vértices v, v1 y v2 de K tales que el par desordenado tζ, ζ 1 u es igual a:
t(v, v2 ), (v, v1 )(v1 , v2 )u,
tζ 1 (v, v2 ), ζ 1 (v, v1 )(v1 , v2 )u,
t(v, v2 )ζ 2 , (v, v1 )(v1 , v2 )ζ 2 u,
tζ 1 (v, v2 )ζ 2 , ζ 1 (v, v1 )(v1 , v2 )ζ 2 u.

11
Definición (Equivalentes)
Dos caminos ζ y ζ 1 se dicen equivalentes si existe una sucesión finita de
caminos ζ 0 , ζ 1 , . . . , ζ n tal que ζ = ζ 0 y ζ 1 = ζ n , y ζ i´1 y ζ i son simplemente
equivalentes para cada i.
Y lo denotamos ζ „ ζ 1 .

12
Definición (Equivalentes)
Dos caminos ζ y ζ 1 se dicen equivalentes si existe una sucesión finita de
caminos ζ 0 , ζ 1 , . . . , ζ n tal que ζ = ζ 0 y ζ 1 = ζ n , y ζ i´1 y ζ i son simplemente
equivalentes para cada i.
Y lo denotamos ζ „ ζ 1 .

Teorema
Existe una categoría E (K) cuyos objetos son los vértices de K y cuyos
morfismos de v0 a v1 son las clases de equivalencia [ζ ] y cuya composición
es [ζ 1 ] ˝ [ζ 2 ] = [ζ 1 ζ 2 ].

12
Definición (Equivalentes)
Dos caminos ζ y ζ 1 se dicen equivalentes si existe una sucesión finita de
caminos ζ 0 , ζ 1 , . . . , ζ n tal que ζ = ζ 0 y ζ 1 = ζ n , y ζ i´1 y ζ i son simplemente
equivalentes para cada i.
Y lo denotamos ζ „ ζ 1 .

Teorema
Existe una categoría E (K) cuyos objetos son los vértices de K y cuyos
morfismos de v0 a v1 son las clases de equivalencia [ζ ] y cuya composición
es [ζ 1 ] ˝ [ζ 2 ] = [ζ 1 ζ 2 ].

Observación
Considerando el camino inverso, se tiene que E (K) es un grupoide, conocido
como el edge-path gropoid de K.

12
Observación
Si v0 es un vértices de K, podemos considerar el grupo E(K, v0 ), que se
conoce como el edge-path group de K con vértice base vo .

¿Podemos comparar E(K, vo ) con π (|K|, vo )?

13
GRAFOS
Definición
Un complejo simplicial 1-dimensional se conoce como grafo. Un árbol es un
grafo simplemente conexo.

15
Definición
Un complejo simplicial 1-dimensional se conoce como grafo. Un árbol es un
grafo simplemente conexo.

Lema
Un grafo es un árbol sí y solo si es contractible.

15
Definición
Un complejo simplicial 1-dimensional se conoce como grafo. Un árbol es un
grafo simplemente conexo.

Lema
Un grafo es un árbol sí y solo si es contractible.

Lema
Sea K un complejo simplicial conexo. Entonces K contiene un árbol maximal,
y cualquier árbol maximal contiene todos los vértices de K.

15
Definición
Un complejo simplicial 1-dimensional se conoce como grafo. Un árbol es un
grafo simplemente conexo.

Lema
Un grafo es un árbol sí y solo si es contractible.

Lema
Sea K un complejo simplicial conexo. Entonces K contiene un árbol maximal,
y cualquier árbol maximal contiene todos los vértices de K.

Observación
Si K es un complejo conexo, y T es un árbol maximal en K, entonces K ∖ T
consiste de símplices de dimensión mayor o igual a 1.

15
GRUPO G

Sea T un árbol maximal del complejo conexo K. Sea G el grupo generado por
las aristas (v, v1 ) de K con las relaciones:

Si (v, v1 ) es una arista en T, entonces (v, v1 ) = 1.

Si v, v1 y v2 son vértices de un símplice de K, entonces
(v, v1 )(v1 , v2 ) = (v, v2 )

16
GRUPO G

Sea T un árbol maximal del complejo conexo K. Sea G el grupo generado por
las aristas (v, v1 ) de K con las relaciones:

Si (v, v1 ) es una arista en T, entonces (v, v1 ) = 1.

Si v, v1 y v2 son vértices de un símplice de K, entonces
(v, v1 )(v1 , v2 ) = (v, v2 )

Teorema
Con la notación previa, se tiene que E(K, v0 ) « G.

16
Teorema
Si K es un grafo conexo, E(K, v0 ) es un grupo libre, y si T es un árbol maximal
en K, el conjunto de generadores de E(K, v0 ) está en correspondencia 1 ´ 1
con los 1-símplices de K ∖ T.

17
Teorema
Si K es un grafo conexo, E(K, v0 ) es un grupo libre, y si T es un árbol maximal
en K, el conjunto de generadores de E(K, v0 ) está en correspondencia 1 ´ 1
con los 1-símplices de K ∖ T.

Ejemplo
Sea J = tju conjunto y X espacio punteado que es la suma de 1´esferas
punteadas tS1j ujPJ . Cada S1j puede ser triangulado por ṡj , donde
sj = tvj , v1j , v2j u y vj corresponde al punto base de S1j .
Luego X puede ser triangulado por el complejo K con vértices:

tvu X tv1j , v2j ujPJ ,

y 1´simplices
tv, v1j ujPJ X ttv, v2j uujPJ X ttv1j , v2j uujPJ .
Sea T el árbol maximal en K tal que K ∖ T consiste de la familia ttv1j , v2j uujPJ .

17
APLICACIÓN
Teorema
Sea p : r
X Ñ X una aplicación recubridora, con X un polihedro. Entonces r
X es
un polihedro, de la misma dimensión que X.

19
Teorema
Sea p : r
X Ñ X una aplicación recubridora, con X un polihedro. Entonces r
X es
un polihedro, de la misma dimensión que X.

Teorema
Todo subgrupo de un grupo libre, es libre.

19
¡Gracias!

20