Caractère de Chern

Le caractère de Chern est une construction mathématique permettant d'étudier la cohomologie en K-théorie. Il est défini à partir de la théories des classes de Chern et est notamment l'objet du théorème de Grothendieck-Hirzebruch-Riemann-Roch.

Pour les articles homonymes, voir Caractère.

Motivation

La classe de Chern totale transporte les sommes directes en cup-produits. L'idée derrière la définition du caractère de Chern est de mettre au point une construction algébrique qui envoie les sommes directes sur les sommes et les produits tensoriels sur les cup-produits, constituant alors un homomorphisme d'anneaux de la K-théorie sur la cohomologie.

Pour qu'une telle construction soit possible, il faut considérer l'homologie à coefficients rationnels. On définit alors le caractère de Chern sur un fibré en droites, puis on invoque le lemme de séparation pour s'assurer que les propriétés souhaitées sont vérifiées pour des sommes de fibrés.

Il s'avère que cette expression ne dépend que des classes de Chern, et peut donc s'appliquer à tout fibré vectoriel. On a finalement l'homomorphisme souhaité

entre le groupe de K-théorie et l'anneau de cohomologie (en) rationnel.

Définition

Caractère de Chern d'un fibré en droites

Si est une somme directe de fibrés en droites, ayant pour premières classes de Chern le caractère de Chern de V est défini par :

.

Caractère de Chern d'un fibré vectoriel

Pour tout fibré vectoriel V, on définit son caractère de Chern comme étant la série formelle, obtenue en développant l'expression exponentielle :

qui dépend uniquement des classes de Chern du fibré considéré. Cette expression coïncide avec la précédente dans le cas où V se décompose en somme de fibrés en droites.

Caractère de Chern d'un faisceau cohérent

On peut transporter cette expression directement dans le cas des faisceaux cohérents (en) V

désigne le rang du faisceau en un point générique.

Propriétés

Le caractère de Chern est un homomorphisme d'anneaux, et vérifie donc les propriétés suivantes :

  • (il s'agit d'un homomorphisme de groupes abéliens)
  • (cet homomorphisme respecte les produits)
  • Pour toute suite exacte courte de fibrés vectoriels de la forme on a

Articles connexes

Références

  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.