Une théorie de cohomologie généralisée qui assigne des groupes abéliens gradués K^*(X) aux espaces topologiques X via des classes d'équivalence stables de fibrés vectoriels (ou leurs différences formelles), intégrant des opérations comme la somme directe et le produit tensoriel et exhibant la périodicité de Bott dans le cas complexe.

Principe

Classer les fibrés vectoriels à isomorphisme stable près et encoder leurs opérations algébriques dans des groupes cohomologiques homotopiquement invariants, additives pour les unions disjointes et exactes pour les suites de Mayer–Vietoris, étendant ainsi la cohomologie ordinaire aux données de fibrés.

Démonstration

Pour la K-théorie complexe, K^0(S^2) ≅ Z et la périodicité de Bott fournit la périodicité de K^n(S^m) en n de période 2 ; pour un espace compact de Hausdorff X, K^0(X) est le groupe de Grothendieck des classes d'isomorphisme de fibrés vectoriels complexes sur X.

Mauvaise application

Confondre la K-théorie topologique avec la K-théorie algébrique des anneaux ou des schémas, ou appliquer des énoncés nécessitant la compacité (par exemple, représenter K^0 par des fibrés) à des espaces arbitraires non-paracompacts sans vérifier les hypothèses.

Conséquence

La K-théorie topologique fournit des invariants calculables utilisés en théorie des indices, pour la classification des fibrés et des algèbres d'opérateurs, et apporte des structures (périodicité, structure d'anneau) révélant des liens profonds entre topologie, géométrie et analyse.

Inversion

Remplacer la classification stable des fibrés vectoriels par les classes de cohomologie ordinaire (par exemple la cohomologie singulière) fait perdre la structure multiplicative au niveau des fibrés et les phénomènes de périodicité que la K-théorie encode.

Limite

S'applique principalement aux espaces topologiques où les fibrés vectoriels se comportent bien (par exemple compacts de Hausdorff, complexes CW) ; des variantes (réelle, complexe, équivariante, K-homologie) modifient les coefficients, les symétries ou les propriétés de dualité et se distinguent de la K-théorie algébrique.

Tension sémantique

La tension sémantique se situe entre les K-théories topologique et algébrique : elles partagent des traits formels (groupes de Grothendieck, localisation) mais diffèrent par leurs domaines, méthodes et invariants ; au sein de la topologie existe aussi une tension entre versions connectives et périodiques de la K-théorie.

Synthèse

La K-théorie topologique regroupe les classes d'équivalence stables des fibrés vectoriels en groupes abéliens gradués munis d'opérations naturelles et de périodicité, fournissant une théorie de cohomologie généralisée capturant des informations liées aux fibrés et à la théorie des indices au-delà de la cohomologie ordinaire.