Géométrie des domaines bornés symétriques et indice de Maslov en dimension infinie

We construct a homotopy invariant index for pathes in the set of invertible tripotents in a JB*-triple that satisfy a Fredholm type condition with respect to a fixed invertible tripotent. That index generalizes the Maslov index in the Fredholm-Lagrangian of a symplectic Hilbert space.Soit $\mathcal D$ un domaine borné symétrique réalisé comme boule unité d'un système triple de Jordan hermitien $E$. On suppose $\mathcal D$ de type tube, simple et de rang $r$. La frontière de Shilov $\Sigma$ de $\mathcal D$ est l'ensemble des tripotents inversibles de $E$. La composante neutre $G$ du groupe des automorphismes de $\mathcal D$ agit (transitivement) sur $\Sigma$, et son action sur $\Sigma\times\Sigma$ se compose de $r$ orbites, dont une seule ouverte, constituée des couples dits transverses. L'indice de transversalité d'un couple de tripotents inversibles mesure son défaut de transversalité et donne une paramétriation de ces orbites (il varie entre $0$, lorsque le couple est transverse, et $r$). Le groupe fondamental de $\Sigma$ est cyclique infini. L'indice de Maslov d'un chemin continu dans $\Sigma$ (relativement à un tripotent inversible $e$) caractérise sa classe d'homotopie à extémités fixées. Il peut se définir comme l'indice d'intersection du chemin avec le cycle de Maslov $\Sigma(e)=\bigsqcup_{k=1\dots r}\Sigma_k(e)$, où $\Sigma_k(e)$ est l'ensemble des tripotents inversibles dont l'indice de tranversalité avec $e$ est $k$. Cet indice généralise l'indice de Malov des chemins dans la Lagrangienne d'espace vectoriel symplectique réel. On considère désormais un domaine borné symétrique d'un espace de Banach réalisé comme boule unité d'un $JB^*$-triple $E$, et supposé de type tube. Nous construisons, dans notre thèse, l'indice de Maslov d'un chemins continu dans $\Sigma$ relativement à un tripotent inversible $e$. Un tel chemin doit vérifier une condition de type Fredholm relativement à $e$. Nous définissons une telle condition puis nous définissons l'indice de transversalité d'une paire de Fredholm. Nous établissons alors un lemme de perturbation pour cet indice qui nous permet de construire l'indice de Maslov, non plus comme un indice d'intersection mais comme un flot specral, et de montrer qu'il est invariant par homotopies à extrémités fixées