Une équivalence affirmant que, pour un espace compact de Hausdorff X, la catégorie des fibrés vectoriels (réels ou complexes) de rang fini sur X est équivalente à la catégorie des modules projectifs de type fini sur l'anneau C(X) des fonctions continues sur X ; les sections fournissent la correspondance.

Principe

Le foncteur des sections globales établit l'équivalence : prendre les sections continues envoie un fibré vectoriel sur un module projectif de type fini sur C(X), et réciproquement tout module projectif de type fini provient, pour X compact de Hausdorff, du module de sections d'un fibré vectoriel approprié.

Démonstration

Par exemple, les fibrés en droites sur le cercle correspondent à des modules projectifs de rang 1 sur C(S^1) ; la construction par recollement (clutching) des fibrés se traduit en idempotents matriciels sur C(S^1) qui définissent des modules projectifs.

Mauvaise application

Étendre naïvement le théorème à des espaces non compacts, à des fibrés de rang infini, ou à des anneaux de fonctions différentiables sans vérifier les hypothèses nécessaires de finitude ou de topologie ; assimiler des modules quelconques à des fibrés alors qu'ils ne sont pas projectifs.

Conséquence

Permet de traduire des problèmes topologiques sur les fibrés vectoriels en problèmes algébriques sur les modules projectifs et les idempotents, fondamental pour les techniques en K-théorie et pour le passage à la géométrie non commutative où C(X) est remplacé par une algèbre non commutative.

Inversion

Inversement, tous les modules sur C(X) ne sont pas géométriques : seules les classes de modules projectifs de type fini correspondent à des fibrés, donc la propriété d'être libre ou d'autres propriétés modulaires n'implique pas automatiquement l'existence d'un fibré vectoriel.

Limite

Exige que X soit compact et de Hausdorff et que les fibrés aient un rang fini ; exclut les bases non compactes sans structure supplémentaire, les fibrés de rang infini, et les faisceaux ou modules non projectifs quelconques.

Tension sémantique

Tension entre les notions algébriques (modules projectifs vs libres, idempotents dans des algèbres matricielles) et l'intuition géométrique sur les fibrés ; en géométrie algébrique des résultats qui paraissent similaires (le théorème de Serre sur les faisceaux cohérents) se placent dans des catégories et des hypothèses différentes.

Synthèse

Le Théorème de Serre–Swan énonce une équivalence de catégories identifiant les fibrés vectoriels de rang fini sur un espace compact de Hausdorff aux modules projectifs de type fini sur C(X), permettant une étude algébrique systématique des fibrés topologiques et motivant des analogues non commutatifs.