Géométrie des domaines bornés symétriques et indice de Maslov en dimension infinie, Geometry of bounded symmetric domains and Maslov index in infinite dimensions

Sous la direction de Jean-Louis Clerc
Thèse soutenue le 15 septembre 2008: Nancy 1
Cette thèse traite de la géométrie des domaines bornés symétriques (et de leur frontière) dans les espaces de Banach. Dans la première partie, nous démontrons deux résultats connus dus à W. Kaup : la boule unité d'un JB*-triple est un domaine borné symétrique, et tout domaine borné symétrique est biholomorphe à la boule unité d'un JB*-triple. Dans la deuxième partie, nous nous intéressons à l'ensemble des tripotents inversibles d'un JB*-triple, qui est une réunion de composantes connexes de la frontière extrémale du domaine associé. Lorsque le JB*-triple admet un predual (ie. est un JBW*-triple), nous introduisons l`indice de transversalité abstrait de deux tripotents inversibles, et nous montrons qu'il est invariant sous l'action du groupe des biholomorphismes du domaine. Dans la suite nous construisons l'indice de Maslov d'un chemin continu dans la variété des tripotents inversibles d'un JB*-triple. Un tel chemin doit vérifier une condition de type Fredholm relativement à un tripotent fixé (par rapport auquel est calculé l'indice). Le point délicat est ici d'introduire la notion de paire de Fredholm. Nous définissons alors l'indice de transversalité d'une paire de Fredholm, et nous établissons un lemme de perturbation pour cet indice, qui nous permet de construire l'indice de Maslov et de montrer qu'il est invariant par homotopies à extrémités fixées. Cette construction généralise celle de Booss-Bavnbek et Furutani dans le cas de la Fredholm-Lagrangienne d'un espace de Hilbert symplectique. Nous faisons enfin le lien, en dimension finie, avec l'indice triple généralisé de J.-L. Clerc et B. Oersted.
-Domaines bornés symétriques
This thesis deals with the geometry of bounded symmetric domains (and their boundaries) in Banach spaces. In the first part, we prove two known results due to W. Kaup : the unit ball of a JB*-triple is a bounded symmetric domain, and every bounded symmetric domain is biholomorphic to the unit ball of a JB*-triple. The second part deals with the set of invertible tripotents in a JB*-triple, wich is a union of connected components of the extremal boundary of the associated domain. When the JB*-triple admits a predual (ie. is a JBW*-triple), we introduce the abstract index of transversality and prove that it is invariant under the action of the group of biholomorphisms of the domain. After that we turn to the main topic of our thesis, wich consists in constructing the Malov index of a continuous path in the manifold of invertible tripotents of a JB*-triple. The path must satisfy a Fredholm-type condition with respect to a fixed invertible tripotent (with respect to wich the index is calculated). The difficulty is here to define a efficient notion of Fredholm pair. Then we define the index of transversality of a Fredholm-pair, and prove a perturbation lemma for this index, which enables us to construct the Maslov index and to prove that it is invariant under homotopies with fixed endpoints. This construction generalises the construction by Booss-Bavnbek and Furutani in the case of the Fredholm-Lagrangian of a symplectic Hilbert space. At the end we provide a link, in the finite dimensional case, with the generalised triple index of J.-L. Clerc and B. Oersted.
Source: http://www.theses.fr/2008NAN10072/document