Operateur
de
Schrödinger avec champ magnétique
11
Cette classe de Chern peut être définie et calculée de différentes façons:
a) Comme classe caractéristique:
si L est l'image réciproque du fibre en droites canonique C sur le projectif
complexe de dimension N par une application ƒ, sa classe de Chern est l'opposée
de l'image réciproque par ƒ du générateur canonique u de H2(PN,Z). On peut
la voir aussi comme l'opposé du nombre d'intersection de f(X) avec un hyperplan
deP".
b) Au moyen de la courbure A' d'une connection hermitienne sur L:
c) A partir du diviseur d'une section méromorphe d = £tn* < ai >:
2)
La
classification holomorphe:
Si s est une section méromorphe de X, elle admet un diviseur d(s) = $3 n* <
a, >, où les a, sont les zéros et les pôles de s et ni G Z leur ordre. On a alors:
2 sections méromorphes s et s' de L sont telles que d(sf)
—
d(s) est diviseur d'une
fonction méromorphe sur X. On connaît, pour chaque X ces diviseurs:
si X est la sphère, tout diviseur de degré 0 est diviseur d'une fonction
méromorphe, i.e. une fraction rationnelle.
Si X = C/F , les diviseurs de fonctions méromorphes sont ceux qui
vérifient, si d = Y^ni < a* >» 5Zn*a« = 0 niod F.
L'élément ]£n*a* vu comme élément de C/T est donc indépendant de
la section méromorphe s du fibre L holomorphe donné: en fait cette application
L
—•
^2 riiüi est un isomorphisme de l'ensemble des classes de fibres holomorphes
de degré donné sur C/T . Par exemple, les fibres de degré 0 sont paramétrés par
des diviseurs <x> — <0>,xeC/r.Ils admettent une connection plate,
mais n'admettent de section globalement constante que si c'est le fibre trivial. On
peut aussi les identifier à la donnée d'un caractère de F = ?r1(JY'), Tholonomie du
fibre: c'est sous cette forme qu'il intervienne dans la décomposition de Bloch d'un
opérateur de Schrödinger périodique.
Les diviseurs sont utilisés par [L-V] pour repérer un point dans l'espace
projectif de l'espace des sections holomorphes d'un fibre en droites. La dynamique
quantique est alors lue sur la mobilité du diviseur (voir aussi [CV5]).
2. Cas de la
sphère.
Dans ce cas (quitte à choisir l'orientation pour avoir des sections holomor-
phes),
on peut supposer que le degré de L est un entier n > 0. Il n' y a alors,
la métrique g étant donnée, qu'un champ B constant possible qui est donné par