24.06.2013 Views

For printing - MSP

For printing - MSP

For printing - MSP

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

UN THÉORÈME DE L’INDICE RELATIF 85<br />

où chaque bout Ei est isométrique au produit riemannien Σi × (R ni − BRi ),<br />

Σi étant une variété riemannienne compacte et BR la boule euclidienne de<br />

rayon R. Notons DGB l’opérateur de Gauss-Bonnet sur M et DS l’opérateur<br />

de signature sur M (lorsque dim M = 0 mod 4) alors ces opérateurs sont<br />

non-paraboliques à l’infini et on a<br />

<br />

inde D +<br />

GB =<br />

M<br />

Ω + <br />

ni=1,2<br />

niq(Σi)<br />

inde D +<br />

S =<br />

<br />

ξ +<br />

M<br />

<br />

niq(Σi)<br />

ni=1,2<br />

où on a noté q(Σi) la somme des nombres de Betti réels de Σi:<br />

q(Σi) =<br />

dim Σi <br />

k=0<br />

bk(Σi)<br />

et où Ω est la n-forme d’Euler sur M et ξ la forme caractéristique de D +<br />

S ,<br />

qui est la composante de plus haut degré du L-genre de M. De plus, si pour<br />

chaque bout, on a ni ≥ 3, alors on a les égalités<br />

indL2 D +<br />

GB =<br />

<br />

Ω<br />

M<br />

indL2 D +<br />

S =<br />

<br />

ξ.<br />

M<br />

Dans le cas où les bouts de (M n , g) sont euclidiens, ce théorème est en<br />

partie dû à N. Borisov, W. Muller, R. Schrader ([B-M-S]), il est plus que<br />

possible que leur preuve, utilisant la théorie du scattering, s’adapte pour<br />

montrer ce résultat.<br />

Notation. Soit E −→ M n est un fibré Hermitien sur une variété riemannienne<br />

complète. Un opérateur différentiel symétrique du premier ordre<br />

D : C ∞ (E) −→ C ∞ (E) est dit de type Dirac lorsque le symbole principal<br />

de D 2 est la métrique:<br />

σ(D 2 )(x, ξ) = gx(ξ, ξ) IdEx, ∀(x, ξ) ∈ T ∗ M.<br />

En particulier, un tel opérateur est elliptique et l’algèbre de Clifford de<br />

(TxM, gx), Clx(M) agit sur Ex.<br />

On notera H1 (E) le domaine de D lorsqu’il opère comme opérateur non-<br />

(E) des<br />

borné sur L 2 (E), cet espace est aussi le complèté de l’espace C ∞ 0<br />

sections lisses à support compact de E pour la norme<br />

σ ↦→<br />

<br />

σ 2 L 2 + Dσ 2 L 2 .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!