Bonjour, je vous sollicite pour un aiguillage théorique vers une potentielle notion que je ne connaitrais pas.
On sait que si on a un revêtement d'un espacesur un espace
, on aura (modulo les bonnes hypothèses de connexités bien sûr) une injection du groupe fondamental de
dans celui de
.
Par contre, si j'en crois mes sources, dès qu'on passe aux groupespour
, on a une sorte d'"obstruction" qui fait que
sera en plus isomorphe à
.
Ma question est la suivante: existe-t-il une notion généralisant celle de revêtement, telle qu'on si"revêt"
de cette nouvelle manière, on retrouve bien théoriquement la seule injection de
dans
pour
? Une sorte de revêtement assoupli si l'on veut?
Merci d'avance pour vos réponses.
-----