Grupo Fundamental e Espaços de Recobrimento

O grupo fundamental registra como os laços em um espaço podem e não podem ser contraídos, e a teoria dos espaços de recobrimento traduz seus subgrupos em um dicionário geométrico completo de espaços que envolvem o original.

Definition

O grupo fundamental de um espaço pontuado é o grupo cujos elementos são classes de homotopia de laços baseados no ponto, com a concatenação como operação; um espaço de recobrimento é um mapa que é localmente uma pilha trivial de cópias da base, e sua teoria relaciona tais mapas a subgrupos do grupo fundamental.

Scope

Este tópico introduz a homotopia de caminhos, o grupo fundamental como o grupo de classes de laços baseados em um ponto, e seu cálculo através do teorema de van Kampen. Ele desenvolve os espaços de recobrimento, o critério de levantamento e a correspondência tipo Galois entre subgrupos do grupo fundamental e recobrimentos conectados, incluindo o recobrimento universal e as transformações de deck. Aplicações como a classificação de recobrimentos do círculo e o cálculo de grupos fundamentais de grafos e superfícies são incluídas.

Core questions

• Como o grupo fundamental detecta buracos que impedem a contração de laços?
• Como o teorema de van Kampen constrói o grupo fundamental de um espaço a partir daqueles de peças sobrepostas?
• Qual é a correspondência precisa entre espaços de recobrimento conectados e subgrupos do grupo fundamental?
• Quando um mapa se eleva através de um recobrimento, e qual o papel do recobrimento universal?

Key concepts

• Homotopia de caminhos e concatenação de laços
• Grupo fundamental e sua functorialidade sob mapas que preservam o ponto base
• Teorema de van Kampen
• Espaços de recobrimento, o critério de levantamento e as transformações de deck
• Recobrimento universal e a correspondência de Galois para recobrimentos

Clinical relevance

O grupo fundamental é o primeiro e mais acessível invariante algébrico, distinguindo o círculo do disco e sustentando a monodromia, a teoria das superfícies de Riemann e a classificação de fibrados planos; a teoria dos espaços de recobrimento é o modelo topológico para a teoria de Galois e para quocientes por ações de grupo.

History

Poincaré introduziu o grupo fundamental em Analysis Situs (1895); o teorema de Seifert-van Kampen da década de 1930 tornou-o computável por colagem, e a correspondência sistemática entre recobrimentos e subgrupos, formalizada através das transformações de deck, estabeleceu a analogia com a teoria de Galois agora padrão no currículo.

Key figures

• Henri Poincaré
• Egbert van Kampen
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Por que o grupo fundamental do círculo são os números inteiros?

Um laço no círculo é classificado, a menos de homotopia, pelo número de vezes que ele o contorna, com sinal para a direção; este número de enrolamento é aditivo sob concatenação, resultando em um isomorfismo com os números inteiros.

O que é o recobrimento universal?

É o espaço de recobrimento simplesmente conexo de um espaço (adequado); ele corresponde ao subgrupo trivial no dicionário de espaços de recobrimento e carrega o grupo fundamental como seu grupo de transformações de deck.