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

 
Diagramme commutatif traduisant la propriété universelle du produit fibré.

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

  1. 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.

Article connexe modifier

Image réciproque (géométrie différentielle)