K-Théorie

K-théorie

En mathématique, la K-theorie est un outil utilisé dans plusieurs disciplines. En topologie algébrique elle sert de théorie de cohomologie. Elle est également utilisée en algèbre sous le nom de K-théorie algébrique.
Les premiers résultats de la K-théorie ont été dans le cadre de la topologie algébrique, comme une théorie de cohomologie extraordinaire (il ne vérifie pas l'axiome de dimension). Après ses méthodes ont été utilisées dans beaucoup de sujets comme la géométrie algébrique, l'algèbre, théorie des nombres, théorie des opérateurs, etc.

Histoire

C'est Alexander Grothendieck qui a fait la première construction d'un groupe de K-théorie dans son travail sur le théorème maintenant connu comme théorème de Grothendieck-Riemann-Roch. Il a introduit la complétion du monoïde de faisceaux de groupes abéliens avec la somme directe en utilisant des inverses formels. Cette idée a été reprise par Michael Atiyah et Friedrich Hirzebruch pour définir le groupe

K(X)

d'un espace topologique, en faisant la même construction pour les classes d'isomorphisme de fibrés vectoriels. Cette construction a été la première théorie cohomologique extraordinaire en topologie algébrique. Son utilisation a été fondamentale pour la démonstration du célèbre "théorème de l'indice" de M.F. Atiyah et I. Singer, travail qui a fait obtenir à ses auteurs la Médaille Fields en 1966.

Par ailleurs, Jean-Pierre Serre s'est appuyé sur l'analogie entre fibrés vectoriels et modules projectifs sur un anneau pour fonder la K-théorie algébrique en 1959. Ceci l'a conduit à énoncer la conjecture de Serre : Tout module projectif sur un anneau de polynômes d'un corps est un module libre. Cette conjecture a été prouvée en 1976, par Daniel Quillen et Andrei Suslin en utilisant des méthodes de K-théorie algébrique. Daniel Quillen a ensuite donné une définition satisfaisante des foncteurs Kⁿ, en utilisant de la théorie homotopique.

Périodicité de Raoul Bott

• $K(X\times S^2)=K(X)\otimes K(S^2),$ et $K(S^2)=\mathbb Z[H]/(H-1)^2;$ H $S^2=\mathbb CP^1$.
• $\tilde K^{n+2}(X)=\tilde K^n(X)$
• $\Omega^2\mathrm{BU}\simeq\mathrm{BU}\times\mathbf Z$.

Catalogue de K-groupes élémentaires

A	K0(A)	K1(A)
$\mathbb{C}$	$\mathbb{Z}$	0
$\mathbb{M}_n$	$\mathbb{Z}$	0
$\mathbb{K}$	$\mathbb{Z}$	0
$\mathbb{B}$	0	0
$\mathbb{B}/\mathbb{K}$	0	$\mathbb{Z}$
$C_0(\mathbb{R}^{2 n})$	$\mathbb{Z}$	0
$C_0(\mathbb{R}^{2 n+1})$	0	$\mathbb{Z}$
$C(\mathbb{T}^{n})$	$\mathbb{Z}^{2^{n -1}}$	$\mathbb{Z}^{2^{n -1}}$
C(S2n)	$\mathbb{Z}^{2}$	0
C(S2n + 1)	$\mathbb{Z}$	$\mathbb{Z}$
Aθ	$\mathbb{Z}^2$	$\mathbb{Z}^2$

où

• $\mathbb{M}_n$ est l'ensemble des matrices complexes de dimension n ;
• $\mathbb{K}$ est l'ensemble des opérateurs compacts d'un Hilbert de dimension infinie ;
• $\mathbb{B}$ est l'ensemble des applications linéaires bornées d'un Hilbert de dimension infinie ;
• $C_0(\mathbb{R}^{2 n})$ est l'ensemble des fonctions continues de $\mathbb{R}^{2 n}$ qui admettent une limite nulle à l'infini ;
• $\mathbb{T}^{2 n}$ est le tore de dimension n ;
• Sⁿ est la sphère de dimension n ;
• A_θ est le Tore non-commutatif associé au nombre irrationnel θ.

Notons que le tore non-commutatif (de dimension 2) et le tore (commutatif) de même dimension ont la même K-théorie.

Fondateurs

• Alexander Grothendieck
• Michael Atiyah
• Friedrich Hirzebuch
• Jean-Pierre Serre
• Max Karoubi
• Daniel Quillen

K-théorie et physique

En théorie des cordes, la K-théorie a fourni une bonne description des charges permises de D-branes.

Références

N. E. Wegge-Olsen, K-theory and C*-algebras, Oxford Science Publications (1993)

Liens utiles

• Le livre d'Allen Hatcher Vector Bundles & K-Theory (anglais) est disponible gratuitement en formats PDF et PostScript.
• K-théorie (anglais) sur PlanetMath.
• Exemples de groupes de K-théorie (anglais) sur PlanetMath.
• K-théorie algébrique(anglais) sur PlanetMath.
• Exemples de groupes de K-théorie algébrique (anglais) sur PlanetMath.
• Module deFredholm (anglais) sur PlanetMath.
• K-homologie (anglais sur PlanetMath.

Ce document provient de « K-th%C3%A9orie ».