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. / 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.

Le sujet de la thèse est la quantification par déformation non formelle des espaces symétriques symplectiques. L’étude est motivée par une conjecture d’Alan Weinstein reliant l’aire symplectique de triangles dits doubles, et la phase de certaines intégrales oscillantes décrivant les quantifications. Nous étudions l’existence et l’unicité des points-milieux et des triangles doubles dans les espaces symétriques, et obtenons un résultat généralisant le théorème de Dixmier-Saito. Nous introduisons de nouveaux outils pour l’étude de la structure des espaces symétriques symplectiques, à savoir les systèmes primitifs, la réduction symplectique et la double extension. Finalement, nous décrivons un nouveau schéma de quantification adapté à ces structures, et obtenons des formules de quantifications explicites pour une nouvelle classe d’espaces. A l’aire de celles-ci, nous donnons de nouvelles déformations universelles non formelles. / The thesis is concerned with the non-formal deformation quantization of solvable symplectic symmetric spaces. The study is motivated by a conjecture of Alan Weinstein relating the symplectic area of the so-called double triangles to the phase of some oscillatory integrals describing the quantizations. We first study the existence and uniqueness of midpoints and double triangles in symmetric spaces, and obtain in the course a result generalizing the Dixmier-Saito theorem to that case. We then introduce new tools in the study of the structure theory of symplectic symmetric spaces, namely primitive systems, symplectic reduction and double extensions. Finally, we devise a new quantization scheme for these spaces which is compatible with the above structures, and compute explicit quantization formulas for a new class of symplectic symmetric spaces. Using these, we provide new non-formal universal deformation formulas for the actions of some associated symplectic Lie groups.

Étant donné un espace topologique filtré X, nous donnons des critères explicites pour pouvoir scinder sa filtratlon associée par rapport à une théorie généralisée de l'homologie, Nous reproduisons ainsi et de manière unifiée les scindements classiques de Snaith (pour les espaces de lacets), de Steenrod (pour les produits symétriques) et multiples autres exemples. Ces scindements sont de grande utilité en topologie algébrique. Nous étendons également le scindement de Steenrod aux espaces de permutations et puis donnons plusieurs nouvelles applications de nos techniques de scindements aux espaces de confïgurations, aux produits polyèdraux, aux fonctions rationnelles et aux espaces de « particules ». / Given a fïltered space X, we provide useful criteria to split the associated filtration on X with respect to a generalized homology theory. We recover in a unifïed way the classlcal splittings of Snaith (for iterated loop spaces), of Steenrod (for the symmetric products) and mam others (contïguratlon spaces, classifying spaces). We extend the splitting of Steenrod to permutation products and to other situations. We then apply our techniques to exhibit splittings for polyhedral spaces, rational functions and "particle spaces"

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Trois thèmes ont été poursuivis dans la thèse : -On introduit les fonctions symétriques non commutatives dans le cadre des extensions de Ore. On généralise les résultats obtenus par Gelfand, Retakh et Wilson. Notre méthode est en outre plus naturelle et évite l’utilisation des quasi déterminants. -On montre que les factorisations des polynômes de Wedderburn sont en bijection avec des drapeaux complets d’espaces vectoriels provenant de noyaux d’applications polynomiales en des transformations pseudo-linéaires. D’autres résultats, motivés par la théorie des codes, concernent la factorisation dans des anneaux de Ore construits sur des corps finis. On y montre, en particulier, comment se ramener au cas d’un anneau de polynômes classique. -On caractérise l’existence de P.P.C.M. à gauche de polynômes linéaires dans des extensions de Ore sur des anneaux quelconques. Dans ce cadre, une étude détaillée des transformations pseudo-linéaires s’est révélée, une fois encore, un outil indispensable. / Three themes have been pursued in the thesis : We introduce the noncommutative symmetric functions in the frame of Ore extensions. We generalize the results obtained by Gelfand, Retakh and Wilson. Moreover our method is more natural and avoid the use of quasideterminants. We show that the factorizations of Wedderburn polynomials are in bijection with complete flags of vector spaces coming from kernels of polynomial maps in pseudo-linear transformations. Other results, motivated by coding theory, concern the factorizations in Ore extension over finite fields. In particular, we show how to translate factorisations in these rings into factorisations in the usual polynomial rings. We characterize the existence of L.L.C.M of linear polynomials in Ore extensions over general rings. In this frame, a detailed study of pseudo-linear transformations was necessary.

Cette thèse se place dans le cadre d'une généralisation CAT(0) des espaces riemanniens symétriques à courbure négative. En particulier, nos espaces ne seront pas nécessairement localement compacts. Un espace CAT(0) symétrique est un espace CAT(0) complet, sans branchement géodésique et possédant une involution isométrique en chaque point fixant uniquement ce point. Avec l'hypothèse supplémentaire de compacité locale, on retrouve les espaces riemanniens symétriques à courbure négative classés par E. Cartan. Nous nous intéressons à une famille particulière des espaces CAT(0) symétriques qui possèdent la propriété remarquable d'ˆetre de dimension infinie et de rang fini. C'est une famille d'espaces (Xp)p∈N∗ où Xp = O(p, ∞)/ (O(p) × O(∞)) . Nous montrons que ces espaces sont des espaces CAT(0) symétriques de dimension télescopique p. Ce qui implique, par exemple, que tout groupe moyennable agissant continûment par isométries sur Xp, fixe un point au bord ou laisse invariant un sous-espace isométrique à un espace euclidien. Inspir ́es par le théorème de superrigidité de G. Margulis, nous montrons l'existence d'applications de Furstenberg, ce qui constitue la première étape dans un programme de superrigidité pour ces espaces symétriques de dimension infinie mais de rang fini.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Dans cette thèse, nous étudions quelques problèmes géométriques liés aux domaines bornés symétriques réels. Ces espaces sont des espaces D=G/K riemanniens symétriques non compacts, obtenus à partir de domaines bornés hermitiens symétriques. Lorsque le domaine D=G/K est de type Cr ou Dr, G opère transitivement sur chaque composante connexe de l'ensemble [sigma] des tripotents maximaux du système triple de Jordan réel positif T0D. Dans le cas complexe, cet ensemble est connexe et est appelé frontière de Shilov du domaine. Dans le cas réel, [sigma] n'est en général pas connexe. Nous fixons donc une composante connexe S de [sigma]. Alors l'action de G sur S x S possède un nombre fini d'orbites et nous donnons un système explicite de représentants. Si le domaine est de type Cs ou D2s, alors parmi ces orbites, il y a celle des couples d'éléments transverses. Sous ces hypothèses, nous pouvons alors définir l'ensemble des triplets d'éléments de S transverses deux à deux, sur lequel G opère. Là encore, nous déterminons les orbites de cette action. Enfin, nous nous intéressons à un problème analytique concernant un système de Hua. Nous montrons que pour toute fonction continue [phi] sur S, la transformée de poisson f=P[sigma phi]:=[intégrale]SP(.,u)[sigma phi](u)du est solution du système de Hua Hf(x)=(2n-/r)2[sigma]([sigma]-1)f(x)Id, où P(.,.) est le noyau de Poisson sur D x S et où n- désigne la dimension de V-. / In this thesis, we are interested in geometric problems related with \emph{real bounded symmetric domains}. These spaces are Riemannian symmetric spaces $\mathcal{D}=G/K$ of noncompact type, constructed from \emph{hermitian bounded symmetric domains}. When $\mathcal{D}=G/K$ is of type $C_r$ or $D_r$, we prove that $G$ acts transitively on each connected component of the set $\Sigma$ of \emph{maximal tripotents} in the \emph{compact Jordan triple system} $T_0\mathcal{D}$. In the hermitian case, this set is connected and is called \emph{the Shilov boundary}. In the real case, $\Sigma$ is not necessarily connected, thus we choose a connected component $\mathcal{S}$ of $\Sigma$. Then the action of $G$ in $\mathcal{S}\times\mathcal{S}$ as a finite number of orbits for wich we give representative elements. If $\mathcal{D}$ is of type $C_s$ or $D_{2s}$, then the set of couples of transversal elements of $\mathcal{S}$ is a $G$-orbit in $\mathcal{S}\times\mathcal{S}$. Under these assumptions, $G$ acts on the set of transversal triples in $\mathcal{S}\times\mathcal{S}\times\mathcal{S}$ and we determine the orbits for this action. Finally, we are interested in Hua differential systems. We prove that for any continuous function $\varphi$ on $\mathcal{S}$, the Poisson transform $f=\mathcal{P}_\sigma\varphi:=\int_\mathcal{S}\mathcal{P}(\cdot,u)^\sigma\varphi(u)du$ is a solution of the Hua system $\mathcal{H}f(x)=(\frac{2n^-}{r})^2\sigma(\sigma-1)f(x)\textnormal{Id}$, where $\mathcal{P}(\cdot,\cdot)$ is the Poisson kernel on $\mathcal{D}\times\mathcal{S}$ and $n^-$ is the dimension of $V^-$.

Nous construisons des distributions propres invariantes pour la paire symétrique (gl(4,R)/gl(2,R)*gl(2,R)). Pour ceci, j'ai dans un premier temps décrit les orbites de GL(2,R)*Gl(2,R) sur ce quotient. J'ai ensuite généralisé certains résultats sur les intégrales orbitales de rang un (de J.Faraut) au rang deux. Ainsi j'ai obtenu le comportement des intégrales orbitales au voisinage des points semi-réguliers. Je me suis restreint à l'étude des distributions invariantes, propres sous l'action des opérateurs différentiels invariants à coefficients constants. données par des fonctions localement intégrables. J'ai d'abord déterminé les fonctions propres invariantes sur l'ouvert dense des éléments réguliers. Ceci est rendu possible par l'expression des parties radiales des opérateurs différentiels considérés en terme des opérateurs de Dunkl. Le comportement des intégrales orbitales m'a permis de déterminer lesquelles de ces fonctions donnaient une distribution propre invariante sur l'ensemble des éléments privés des nilpotents. Nous obtenons un espace vectoriel de dimension 6 dont certaines se prolongent naturellement à tout l'espace.

En algèbre de dimension 2, les 2-groupes symétriques (groupoïdes monoïdaux symétriques où tout objet a un inverse à isomorphisme près) jouent un rôle similaire à celui des groupes abéliens en algèbre de dimension 1. Le but de ce travail est de définir une notion de catégorie abélienne en dimension 2 qui soit aux 2-groupes symétriques ce que la notion de catégorie abélienne ordinaire est aux groupes abéliens. On donnera deux solutions à ce problème. La première, les catégories enrichies dans les groupoïdes abéliennes, est une généralisation des catégories abéliennes ordinaires. Dans un tel contexte, on peut développer la théorie des suites exactes et de l'homologie d'une façon proche de l'homologie dans une catégorie abélienne : on y démontre plusieurs lemmes de diagrammes classiques ainsi que l'existence de la longue suite exacte d'homologie associée à une extension de complexes de chaînes. Cela généralise des résultats connus pour les 2-groupes symétriques. L'autre solution, les catégories enrichies dans les groupoïdes 2-abéliennes (qui sont également abéliennes au sens du paragraphe précédent), imite les propriétés des 2-groupes symétriques plus spécifiques à la dimension 2, en particulier l'existence de deux systèmes de factorisation : surjectif/plein et fidèle, et plein et surjectif/fidèle. De plus, dans une catégorie enrichie dans les groupoïdes 2-abélienne, la catégorie des objets discrets est équivalente à celle des objets connexes et ces catégories sont abéliennes. Les exemples incluent, outre les 2-groupes symétriques, les 2-modules sur un 2-anneau, qui forment une catégorie enrichie dans les groupoïdes 2-abélienne. Par ailleurs, les groupoïdes internes, foncteurs internes et transformations naturelles internes à une catégorie abélienne (et, en particulier, les 2-espaces vectoriels au sens de Baez-Crans) forment une catégorie enrichie dans les groupoïdes 2-abélienne si et seulement si l'axiome du choix est satisfait dans la catégorie abélienne.