Grupo Fundamental y Espacios Recubridores

El grupo fundamental registra cómo los lazos en un espacio pueden y no pueden contraerse, y la teoría de espacios recubridores traduce sus subgrupos en un diccionario geométrico completo de espacios que envuelven al original.

Definition

El grupo fundamental de un espacio punteado es el grupo cuyos elementos son clases de homotopía de lazos basados en el punto, con la concatenación como operación; un espacio recubridor es un mapa que es localmente una pila trivial de copias de la base, y su teoría relaciona tales mapas con subgrupos del grupo fundamental.

Scope

Este tema introduce la homotopía de caminos, el grupo fundamental como el grupo de clases de lazos basados en un punto, y su cálculo mediante el teorema de van Kampen. Desarrolla los espacios recubridores, el criterio de levantamiento y la correspondencia tipo Galois entre los subgrupos del grupo fundamental y los recubrimientos conexos, incluyendo el recubrimiento universal y las transformaciones de cubierta. Se incluyen aplicaciones como la clasificación de recubrimientos del círculo y el cálculo de grupos fundamentales de grafos y superficies.

Core questions

• ¿Cómo detecta el grupo fundamental los agujeros que impiden que los lazos se contraigan?
• ¿Cómo construye el teorema de van Kampen el grupo fundamental de un espacio a partir de los de piezas superpuestas?
• ¿Cuál es la correspondencia precisa entre los espacios recubridores conexos y los subgrupos del grupo fundamental?
• ¿Cuándo se levanta un mapa a través de un recubrimiento y qué papel juega el recubrimiento universal?

Key concepts

• Homotopía de caminos y concatenación de lazos
• Grupo fundamental y su funtorialidad bajo mapas que preservan el punto base
• Teorema de van Kampen
• Espacios recubridores, el criterio de levantamiento y las transformaciones de cubierta
• Recubrimiento universal y la correspondencia de Galois para recubrimientos

Clinical relevance

El grupo fundamental es el primer y más accesible invariante algebraico, que distingue el círculo del disco y sustenta la monodromía, la teoría de las superficies de Riemann y la clasificación de los haces planos; la teoría de los espacios recubridores es el modelo topológico para la teoría de Galois y para los cocientes por acciones de grupo.

History

Poincaré introdujo el grupo fundamental en Analysis Situs (1895); el teorema de Seifert-van Kampen de la década de 1930 lo hizo computable mediante pegado, y la correspondencia sistemática entre recubrimientos y subgrupos, formalizada a través de las transformaciones de cubierta, estableció la analogía con la teoría de Galois ahora estándar en el currículo.

Key figures

• Henri Poincaré
• Egbert van Kampen
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

¿Por qué el grupo fundamental del círculo son los números enteros?

Un lazo en el círculo se clasifica hasta la homotopía por cuántas veces gira, con signo para la dirección; este número de vueltas es aditivo bajo concatenación, lo que da un isomorfismo con los números enteros.

¿Qué es el recubrimiento universal?

Es el espacio recubridor simplemente conexo de un espacio (adecuado); corresponde al subgrupo trivial en el diccionario de espacios recubridores y lleva el grupo fundamental como su grupo de transformaciones de cubierta.