Soit L(X) l'algèbre des opérateurs bornés sur un espace de Banach X et soit t:G⇾L(X) une représentation fortement continue d'un groupe topologique G dans X. Pour chaque élément g dans le groupe G, on considère la projection sur le cercle unité T du spectre s(t(g)) de l'opérateur inversible t(g), on note donc s1(t(g)):={l/|l|, l∊s(t(g))}, et on considère l'ensemble S de tous les éléments g du groupe G tels que s1(t(g)) ne contienne aucun polygone régulier, on note donc S:={g∊ G / ∄ P∊P'/ P ⊆ s1(t(g))}, où P' désigne l'ensemble des polygones réguliers de T (nous appelons polygone régulier de T l'image par une rotation d'un sous-groupe fermé de T autre que {1}). Dans la première partie, nous présentons les principaux résultats et notations utilisés par la suite. Lorsque G est un groupe abélien localement compact, nous prouvons dans la deuxième partie que t est uniformément continue si et seulement si t est mesurable (L(X) est muni de la topologie de la norme) et si de plus G est à base de topologie dénombrable et t fortement continue, nous montrons dans la troisième partie que t est uniformément continue si et seulement si S n'est pas maigre. De même, nous montrons que t est uniformément continue si et seulement si S n'est pas négligeable pour la mesure de Haar sur G. Lorsque G est un groupe localement compact et t une représentation unitaire de G dans un espace de Hilbert H, nous montrons également dans la deuxième partie que t est uniformément continue si et seulement si t est mesurable, et si de plus G est métrisable et t fortement continue, nous prouvons dans la troisième partie que t est uniformément continue si et seulement si {g∊ G / 0∉ Conv(s(t(g)))} n'est pas maigre, où Conv(S) désigne l'enveloppe convexe d'une partie quelconque S dans un espace vectoriel.

Cette thèse s'inscrit dans le cadre général de la théorie des systèmes intégrables avec bords et le développement des structures algébriques associées. D'une part, nous nous attaquons au problème de la diagonalisation de l'hamiltonien du modèle XXZ avec bords non diagonaux. Nous exhibons les deux ensembles d'états propres et valeurs propres du modèle si les paramètres de bords satisfont deux conditions. D'autre part, nous introduisons un modèle de physique statistique que nous appelons le modèle face avec un bord réfléchissant. Nous calculons exactement sa fonction de partition et nous montrons que cette dernière se représente simplement sous la forme d'un unique déterminant matriciel. Nous montrons que ces deux problèmes sont reliés par la transformation vertex-face et exhibent une structure algébrique commune, l'algèbre de réflexion dynamique. Nous nous intéressons aux aspects mathématiques de cette algèbre dans le cas elliptique général, et nous introduisons deux classes de ces représentations, la représentation de co-module d'évaluation et sa duale. Nous pensons que cette algèbre est la structure clef pour l'analyse des modèles faces avec bords. En particulier, nous montrons à l'aide de twists de Drinfel'd que leur fonction de partition se représente simplement dans le cas général.

Gauss introduit la notion de congruence en 1801 dans les Disquisitiones Arithmeticae. L'historiographie classique relie le plus souvent l'histoire de cette notion au développement de la théorie des nombres algébriques, une histoire construite autour d'un groupe de mathématiciens allemands. Pourtant, d'autres auteurs ont publié des travaux en lien avec les congruences dans la première moitié du XIXe siècle, et ce dans des perspectives différentes. Dans ce travail, nous nous proposons de rendre compte de ces dernières en nous concentrant sur les travaux de la scène française publiés entre 1801 et 1850. À partir d'une première lecture globale des textes de notre corpus, nous montrons d'abord que les congruences n'y ont pas connu un développement autonome mais ont été étudiées dans un lien étroit avec les équations. Toutefois, les différentes pratiques rencontrées sont très variées, que ce soit du point de vue des méthodes, des outils en jeu ou des configurations disciplinaires en jeu. Nous étudions ensuite plusieurs travaux arithmétiques d'Euler, de Lagrange, de Legendre et de Gauss afin de comprendre certaines origines de cette activité multiforme mise en évidence dans notre première partie. Nous nous concentrons enfin sur les travaux de deux auteurs de notre corpus, Louis Poinsot et Augustin Louis Cauchy, qui ont joué un rôle important dans l'élaboration et la diffusion de résultats et de pratiques liés aux congruences, même s'ils ont pratiquement disparu des histoires de la théorie des nombres publiées au XXe siècle.

La performance d'un moteur d'hélicoptère est fortement corrélée à la performance de la turbine haute pression, et plus particulièrement à l'influence des différents composants constitutifs. Le rendement énergétique d'une turbine haute pression est garanti par la maîtrise des jeux entre les sommets des aubes et le stator durant tout le cycle de fonctionnement de la turbine. L'objectif de ces travaux est de proposer une méthode à caractère multiphysique reposant sur des opérations de polytopes (somme de Minkowski et intersection) permettant de valider des spécifications géométriques, des spécifications de contacts et des spécifications thermomécaniques. Ces spécifications garantissent une limite de la section de fuite en sommets d'aubes pour un risque de touche minimal. Un polytope permet de simuler les variations géométriques entre deux surfaces d'une même pièce, de surcroît un polytope de contact permet de simuler les variations géométriques entre deux surfaces potentiellement en contact. La structure topologique des contacts de la turbine se formalise par un graphe de contacts à une composante connexe. Cette structure permet de définir les sommes de Minkowski et les intersections des polytopes traduisant la propagation des écarts géométriques à travers la turbine. Les écarts géométriques d'origine thermomécanique sont évalués par la méthode des éléments finis. Ces travaux donnent au concepteur des éléments de décision sur l'influence des choix de conception, en particulier l'influence des formes de pièces et du comportement des liaisons, sur le fonctionnement de la turbine.

Une nouvelle approche non-perturbative à la Onsager en systèmes intégrables quantiques est développée, dont les idées maîtresses prennent leurs racines dans l'article de L. Onsager (1944) portant sur la solution exacte du modèle d'Ising en deux dimensions. L'intérêt de cette approche repose sur le fait qu'elle est applicable de façon systématique dans le cas oú d'autres méthodes usuelles échouent. Celle-ci repose sur l'étude de quatres éléments capitaux: (i) L'identification de l'algèbre non-Abélienne de dimension infinie généralisant l'algèbre de Onsager et représentant la condition d'intégrabilité du modèle; (ii) La construction d'une hiérarchie de quantités en involution formant une sous-algèbre Abélienne; (iii) L'étude des réalisations et représentations de dimension finie et infinie de cette algèbre; (iv) La résolution du modèle à l'aide de ces données. Pour un modèle de référence - la chaîne de spin XXZ de taille finie avec conditions aux bords intégrables - la nouvelle approche basée sur l'algèbre q-Onsager introduite par P. Terwilliger est utilisée pour résoudre le problème spectral (spectre en énergie et états propres) dans le régime de paramètres génériques où l'ansatz de Bethe est inapplicable. Certaines étapes essentielles à l'obtention des fonctions de corrélations dans la limite thermodynamique du modèle sont aussi franchies, s'inspirant de la méthode de M. Jimbo et al.. La généralisation associée à toute algèbre de Lie affine de l'algèbre q-Onsager est proposée, et permet de classifier toutes les conditions d'intégrabilité dans les théories de Toda affines avec bord. Diverses perspectives sont enfin présentées.

Dans cette thèse, on donne une construction explicite des représentations de monodromie provenant d'analogues "cyclotomiques" de la connexion de Knizhnik--Zamolodchikov. Ce sont des représentations de $B_n^1$, le groupe de tresse de type de Coxeter B. On commence par construire, en utilisant des twists dynamiques, des représentations algébriques de $B_n^1$ qui étendent naturellement les représentations du groupe de tresse $B_n$ obtenues grâce aux groupes quantiques et aux $R$-matrices. On montre ensuite par des arguments de rigidité que ces représentations algébriques s'identifient aux représentations de monodromie des connexions KZ cyclotomiques.

L'accroissement du volume de données dans les systèmes d'information est de nos jours une réalité à laquelle chaque entreprise doit faire face. Notamment, elle doit permettre à ses responsables de déceler les informations pertinentes afin de prendre les bonnes décisions dans les plus brefs délais. Les systèmes décisionnels répondent à ces besoins en proposant des modèles et des techniques de manipulation des données. Dans le cadre de ces systèmes, mes travaux de thèse consistent à étudier la modélisation des données décisionnelles et à proposer un langage de manipulation adapté. Dans un premier temps, nous proposons un modèle dimensionnel organisant les données en une constellation de faits (sujets d'analyse) associés à des dimensions (axes d'analyse) pouvant être partagées. Notre modèle assure une plus grande cohérence des données par sa propriété de multi instanciations qui permet de spécifier des conditions d'appartenance des instances des dimensions aux hiérarchies. De plus, nous avons défini des contraintes exprimant des relations sémantiques entre les hiérarchies intra et inter dimensions (Inclusion, Exclusion, Totalité, Partition, Simultanéité). Au niveau de la manipulation des données, nous avons redéfini les opérateurs dimensionnels afin de permettre à l'utilisateur de mieux définir ses besoins en précisant l'ensemble des instances à analyser. Cette extension a permis d'éviter les incohérences lors de la manipulation des données dimensionnelles. Nous avons étudié également l'impact de ces contraintes sur l'optimisation des manipulations basée sur la technique de matérialisation des vues. La prise en compte des contraintes sémantiques a permis de supprimer des vues incohérentes et de réduire le nombre de vues candidates à la matérialisation. Dans un second temps, nous proposons un processus de conception d'un schéma dimensionnel comportant une démarche descendante, basée sur les besoins des décideurs, et une démarche ascendante basée sur les données sources. Une phase de confrontation, permet d'intégrer les résultats des deux démarches pour obtenir un schéma dimensionnel en constellation intégrant à la fois les besoins des décideurs et les données sources. Afin de valider nos propositions, nous avons développé un outil d'aide à la conception de schémas dimensionnels contraints intitulé GMAG (Générateur de MAGasin de données dimensionnelles).

Le résultat principal de cette thèse est une solution locale du problème des coquecigrues. Par problème des coquecigrues, nous parlons du problème d'intégration des algèbres de Leibniz. Cette question consiste à trouver une généralisation du troisième théorème de Lie pour les algèbres de Leibniz. Ce théorème établit que pour toute algèbre de Lie g, il existe un groupe de Lie G dont l'espace tangent en 1 est muni d'une structure d'algèbre de Lie isomorphe à g. La sructure d'algèbre de Leibniz généralise celle d'algèbre de Lie, nous cherchons donc une structure algébrique généralisant celle de groupe et répondant à la même question. Nous résolvons ce prob- lème en intégrant localement toute algèbre de Leibniz en un rack de Lie augmenté local. Un rack de Lie étant une variété munie d'un produit satisfaisant plusieurs axiomes qui généralisent des propriétés de la conjugaison dans un groupe. En particulier, ce produit est autodistributif. Notre approche de ce problème est basée sur une preuve donnée par E.Cartan dans le cas des groupes et algèbres de Lie, et consiste à associer à toute algèbres de Leibniz une extension abélienne d'une algèbre de Lie par un module antisymétrique. Cette extension est caractérisée par une classe dans le second groupe de cohomologie de Leibniz, et nous associons à tous représentant de cette classe un cocyle de rack de Lie local qui nous permet de construire un rack de Lie augmenté local répondant au problème. Pour construire ce cocycle, nous généralisons une méthode d'intégration d'un cocycle d'algèbre de Lie en cocycle de groupe de Lie due à W.T.Van Est.

Un problème majeur en théorie de Lie est de comprendre la catégorie de tous les modules d'une algèbre de Lie donnée. La catégorie O de Bernstein-Gelfand-Gelfand puis la notion de module de poids exploitée à partir des années 80 ont permis une avancée considérable dans ce domaine. Les modules cuspidaux introduits pour décrire tous les modules de poids sont aujourd'hui au coeur de cette théorie. Nous introduisons dans cette thèse une famille de catégories extrapolant la catégorie O et celle de tous les modules cuspidaux. Dans certains cas, nous décrivons entièrement la catégorie obtenue. Nous utilisons ensuite ces catégories pour décrire des correspondances pour certaines paires duales.

Ce travail présente une analyse didactique comparative sur l'enseignement et l'apprentissage de l'algèbre dans les deux systèmes d'enseignement en France (en classe de Troisième, Seconde et Première) et au Viêt-Nam (en classes 9 et 10). L'objectif de ce travail est d'étudier certains choix de l'enseignement de l'algèbre, d'identifier certaines contraintes institutionnelles et les effets de ces contraintes sur les acquis des élèves par rapport à un objet de savoir " les équations du second degré ".<br />Dans les parties A et B, nous nous plaçons dans le cadre de la théorie anthropologique du didactique pour étudier le rapport institutionnel en position d'élève à l'objet " équation du second degré " en faisant une analyse des programmes, des textes officiels et des manuels dans les deux institutions. Cette analyse nous a permis de caractériser les praxéologies existantes dans les manuels de chaque institution. <br />Dans la partie C, nous présentons les résultats d'une expérimentation commune aux deux institutions concernant le type de tâche T "Résoudre, algébriquement, une équation du second degré à une inconnue". Nous caractérisons le rapport personnel des élèves à T par la détermination des techniques mises en œuvre et des technologies qui les engendrent et qui les justifient. <br /> Dans la partie D, à partir des résultats obtenus dans les trois parties précédentes, nous effectuons une analyse comparative des rapports personnels à T des élèves sur lesquels portent notre expérimentation dans les deux institutions et nous déterminons l'impact des différents choix institutionnels sur les rapport personnels de ces élèves. Enfin, nous présentons les principaux résultats obtenus dans notre travail et les pistes qu'il ouvre pour l'avenir.