Produit fibré
En mathématiques, le produit fibré est une opération entre deux ensembles munis tous deux d'une application vers un même troisième ensemble. Sa définition s'étend à certaines catégories en satisfaisant une propriété universelle de factorisation de diagrammes, en dualité avec la somme amalgamée.
Le produit fibré est utilisé notamment en géométrie algébrique pour définir le produit de deux schémas, ou en topologie algébrique pour construire, à partir d'un espace fibré (tel un revêtement), un autre espace de même fibre, le fibré induit , en remontant le long d'une application entre les deux bases, d'où l'appellation en anglais pullback (« tiré en arrière ») parfois utilisée en français.
Définition ensembliste
modifierÉtant données deux applications vers un même ensemble[1] :
le produit fibré de et au-dessus de est défini comme le sous-ensemble des couples du produit cartésien × dont les composantes ont même image : . Il se note :
- .
Le produit fibré étant un sous-ensemble du produit cartésien, les projections sur chaque facteur permettent de compléter le carré commutatif :
Dans des catégories ensemblistes, telles celles des espaces topologiques ou des espaces vectoriels (en), le produit fibré constitue lui-même un objet de la catégorie.
Propriété universelle
modifier![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/65/Universal_property_of_pullback.svg/200px-Universal_property_of_pullback.svg.png)
Avec les notations de la partie précédente, si est un ensemble muni d'applications vers et qui permettent de construire un carré commutatif :
alors il existe une unique application de l'ensemble vers le produit fibré qui factorise le diagramme :
- .
Autrement dit, le produit fibré est la limite (au sens des catégories) du diagramme formé à l'aide des deux applications initiales et . Il est aussi possible de le voir comme le produit (au sens des catégories) dans une catégorie des morphismes vers .
Plus généralement, le produit fibré dans une catégorie quelconque est la limite d'un tel diagramme, lorsqu'elle existe, ce qui est le cas dans les catégories abéliennes.
Notes et références
modifier- Les notations utilisées viennent du fait que si l'application est la projection d'un espace fibré sur sa base, le produit fibré muni de sa projection sur constitue un espace fibré de même fibre.