L'objectif de ce travail est de décrire des modélisations des points de vue et des changements de points de vue d'images d'un objet planaire dans les algèbres de Clifford conformes. Nous généralisons le modèle conforme de l'espace euclidien à travers une famille à deux paramètres d'horosphère, chacune d'entre elles étant plongée dans un espace vectoriel réel de dimension 4 muni d'une métrique équivalente à la métrique de Minkowski. Nous décrivons par la suite deux approches pour mettre en œuvre ces modèles conformes généralisés pour les représentations d'images. L'idée de base est d'encoder les distorsions perspectives de l'objet causées par la variation du paramètre de latitude de la caméra au travers des paramètres d'une horosphère. La première approche consiste à considérer les horosphères de l'espace de Minkowski de dimension 4 pour encoder les points de vue. Les changements de points de vue sont alors linéarisés à travers un groupe de transformations linéaires et conformes de cet espace. Cette approche est ensuite généralisée en décrivant les points de vue à travers les objets d'un groupoïde dont les morphismes sont des diagrammes commutatifs qui représentent les changements de points de vue. Ainsi, une image conforme est décrite par une application définie sur une horosphère à deux paramètres. L'action du groupoïde sur l'ensemble des images conformes nous conduit à associer à tout objet planaire l'orbite de toutes ses images conformes obtenues à partir de tous les points de vue. / Our purpose in this work is to introduce representations of image viewpoints and viewpoint changes of a planar object in conformal Clifford algebras. Our important preliminary contribution is a generalization of the conformal model of the Euclidean space through a two-parameter family of horospheres. Each one of these is embedded into a real vector space of dimension 4 equipped with a metric equivalent to the Minkowski metric. We describe two approaches that make use of these generalized conformal models for image representations. These are based on modelings of perspective distortions of the object caused by a variation of the latitude angle of the camera. First, we model the image viewpoints by the horospheres of the Minkowski space of dimension 4. In this setting, the viewpoint changes are linearized through a group of linear conformal transformations of this space. This approach is generalized by describing the viewpoints through the objects of a groupoid whose morphisms are commutative diagrams that model the viewpoint changes. A conformal image is then described as a map defined on a horosphere. The action of the groupoid on the set of conformal images leads us to associate with every planar object the orbit of its conformal images from all viewpoints.

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. Enfin, nous tentons une ’dynamisation’ du modèle à vertex ’Half-Turn-Symmetric’,et nous décrivons sa fonction de partition en termes de représentation d’évaluation de l’algèbre de Yang-Baxter dynamique, et trouvons un ensemble de conditions la déterminantunivoquement. / This thesis is embedded in the general theory of quantum integrable models withboundaries, and the development of associated algebraic structures.We first consider the question of the diagonalization of the XXZ hamiltonian with nondiagonalboundaries. We succeed to find the two sets of eigenstates and eigenvalues of themodel if the boundaries parameters satisfy two conditions.We introduce then a statistical physics model which we refer to be the face model witha reflecting end. Moreover, we compute exactly its partition function and show that it takesthe form of a simple single matrix determinant.We show that these two problems are related through the vertex-face transformationand are solved using a common algebraic structure, the dynamical reflection algebra andits dual. We focus from a mathematical perspective on this algebra in the general ellipticcase. Both the co-module evaluation representation and its dual are introduced. We believethat these structures are the key ingredients for the analysis of face models with boundaries.In particular, using the concept of Drinfel’d twists, we show that the partition function ofthese models has a simple representation in the general case.Finally, we attempt on a ’dynamization’ of the Half-Turn-Symmetric vertexmodel. Wedescribe its partition function in terms of the evaluation representation of the dynamicalYang-Baxter algebra, and find a set of conditions that uniquely determine it.

Cette recherche vise à établir les propriétés fondamentales d'un système formel aux preuves circulaires introduit par Santocanale, auquel on a rajouté la règle de coupure. On démontre, dans un premier temps, qu'il y a une pleine correspondance entre les preuves circulaires et les flèches issues des catégories dites µ-bicomplètes. Ces flèches sont celles que l'on peut définir purement à partir des outils suivants: les produits et coproduits finis, les algèbres initiales et les coalgèbres finales. Dans la catégorie des ensembles, les preuves circulaires dénotent donc les fonctions qu'on peut définir en utilisant les produits cartésiens finis, les unions disjointes finies, l'induction et la coinduction. On décrit également une procédure d'élimination des coupures qui produit, à partir d'une preuve circulaire finie, une preuve sans cycles et sans coupures, mais possiblement infinie. On démontre que l'élimination des coupures fournit une sémantique opérationnelle aux preuves circulaires, c'est-à-dire qu'elle permet de calculer les fonctions dénotées par celles-ci, par le moyen d'une sorte d'automate avec mémoire. Enfin, on s'intéresse au problème de la puissance expressive de cet éliminateur de coupures, c'est-à-dire à la question de caractériser la classe des expressions qu'il peut calculer. On démontre, par une simulation, que l'éliminateur des coupures est strictement plus expressif que les automates à pile d'ordre supérieur. / This research aims at establishing the fundamental properties of a formal system with circular proofs introduced by Santocanale, to which we added the cut rule. We first show that there is a full correspondence between circular proofs and arrows from the so-called µ-bicomplete categories. These arrows are those that can be defined purely from the following tools: finite products and coproducts, initial algebras and final coalgebras. In the category of sets, circular proofs denote functions that one can define by using finite cartesian products, finite disjoint unions, induction and coinduction. We also describe a cut-elimination procedure that produces, from a given finite circular proof, a proof without cycles and cuts, but which may be infinite. We prove that cut-elimination gives an operational semantics to circular proofs, which is to say that they allow to compute the functions denoted by them, by using a sort of automaton with memory. Finally, we are interested in finding the expressive power of that cut-eliminating automaton. In other words, we want to characterize the class of functions that it can compute. We show, through a simulation, that the cut-eliminating automaton is strictly more expressive than higher-order pushdown automata.

Cette thèse s'intéresse au contenu calculatoire des preuves classiques, et plus spécifiquement aux preuves avec effets de bord et à la réalisabilité classique de Krivine. Le manuscrit est divisé en trois parties, dont la première consiste en une introduction étendue des concepts utilisés par la suite. La seconde partie porte sur l’interprétation calculatoire de l’axiome du choix dépendant en logique classique. Ce travail s'inscrit dans la continuité du système dPAω d'Hugo Herbelin, qui permet d’adapter la preuve constructive de l’axiome du choix en théorie des types de Martin-Löf pour en faire une preuve constructive de l’axiome du choix dépendant dans un cadre compatible avec la logique classique. L'objectif principal de cette partie est de démontrer la propriété de normalisation pour dPAω, sur laquelle repose la cohérence du système. La difficulté d'une telle preuve est liée à la présence simultanée de types dépendants (pour la partie constructive du choix), d'opérateurs de contrôle (pour la logique classique), d'objets co-inductifs (pour "encoder" les fonctions de type N → A par des streams (a₀,a₁,...)) et d'évaluation paresseuse avec partage (pour ces objets co-inductifs). Ces difficultés sont étudiées séparément dans un premier temps. En particulier, on montre la normalisation du call-by-need classique (présenté comme une extension du λµµ̃-calcul avec des environnements partagé), en utilisant notamment des techniques de réalisabilité à la Krivine. On développe ensuite un calcul des séquents classique avec types dépendants, définie comme une adaptation du λµµ̃-calcul, dont la correction est prouvée à l'aide d'une traduction CPS tenant compte des dépendances. Enfin, une variante en calcul des séquents du système dPAω est introduite, combinant les deux points précédents, dont la normalisation est finalement prouvée à l'aide de techniques de réalisabilité. La dernière partie, d'avantage orientée vers la sémantique, porte sur l’étude de la dualité entre l’appel par nom (call-by-name) et l’appel par valeur (call-by-value) dans un cadre purement algébrique inspiré par les travaux autour de la réalisabilité classique (et notamment les algèbres de réalisabilité de Krivine). Ce travail se base sur une notion d'algèbres implicatives développée par Alexandre Miquel, une structure algébrique très simple généralisant à la fois les algèbres de Boole complètes et les algèbres de réalisabilité de Krivine, de manière à exprimer dans un même cadre la théorie du forcing (au sens de Cohen) et la théorie de la réalisabilité classique (au sens de Krivine). Le principal défaut de cette structure est qu’elle est très orientée vers le λ-calcul, et ne permet d’interpréter fidèlement que les langages en appel par nom. Pour remédier à cette situation, on introduit deux variantes des algèbres implicatives les algèbres disjonctives, centrées sur le “par” de la logique linéaire (mais dans un cadre non linéaire) et naturellement adaptées aux langages en appel par nom, et les algèbres conjonctives, centrées sur le “tenseur” de la logique linéaire et adaptées aux langages en appel par valeur. On prouve en particulier que les algèbres disjonctives ne sont que des cas particuliers d'algèbres implicatives et que l'on peut obtenir une algèbre conjonctive à partir d'une algèbre disjonctive (par renversement de l’ordre sous-jacent). De plus, on montre comment interpréter dans ces cadres les fragments du système L de Guillaume Munch-Maccagnoni en appel par valeur (dans les algèbres conjonctives) et en appel par nom (dans les algèbres disjonctives). / This thesis focuses on the computational content of classical proofs, and specifically on proofs with side-effects and Krivine classical realizability. The manuscript is divided in three parts, the first of which consists of a detailed introduction to the concepts used in the sequel.The second part deals with the computational content of the axiom of dependent choice in classical logic. This works is in the continuity of the system dPAω developed Hugo Herbelin. This calculus allows us to adapt the constructive proof of the axiom of choice in Martin-Löf's type theory in order to turn it into a constructive proof of the axiom of dependent choice in a setting compatible with classical logic. The principal goal of this part is to prove the property of normalization for dPAω, on which relies the consistency of the system. Such a proof is hard to obtain, due to the simultaneous presence of dependent types (for the constructive part of the choice), of control operators (for classical logic), of co-inductive objects (in order to "encode" functions of type N → A as streams (a₀,a₁,...)) and of lazy evaluation with sharing (for this co-inductive objects). These difficulties are first studied separately. In particular, we prove the normalization of classical call-by-need (presented as an extension of the λµ̃µ-calculus with shared environments) by means of realizability techniques. Next, we develop a classical sequent calculus with dependent types, defined again as an adaptation of the λµ̃µ-calculus, whose soundness is proved thanks to a CPS translation which takes the dependencies into account. Last, a sequent-calculus variant of dPAω is introduced, combining the two previous systems. Its normalization is finally proved using realizability techniques. The last part, more oriented towards semantics, studies the duality between the call-by-name and the call-by-value evaluation strategies in a purely algebraic setting, inspired from several works around classical realizability (and in particular Krivine realizability algebras). This work relies on the notion of implicative algebras developed by Alexandre Miquel, a very simple algebraic structure generalizing at the same time complete Boolean algebras and Krivine realizability algebras, in such a way that it allows us to express in a same setting the theory of forcing (in the sense of Cohen) and the theory of classical realizability (in the sense of Krivine). The main default of these structures is that they are deeply oriented towards the λ-calculus, and that they only allows to faithfully interpret languages in call-by-name. To remediate the situation, we introduce two variants of implicative algebras: disjunctive algebras, centered on the "par" connective of linear logic (but in a non-linear framework) and naturally adapted to languages in call-by-name; and conjunctives algebras, centered on the "tensor" connective of linear logic and adapted to languages in call-by-value. Amongst other things, we prove that disjunctive algebras are particular cases of implicative algebras and that conjunctive algebras can be obtained from disjunctive algebras (by reversing the underlying order). Moreover, we show how to interpret in these frameworks the fragments of Guillaume Munch-Maccagnoni's system L corresponding to a call-by-value calculus (within conjunctive algebras) and to a call-by-name calculus (within disjunctive algebras).

La théorie de Hodge mixte de Deligne fournit des structures supplémentaires sur les groupes de cohomologie des variétés algébriques complexes. Depuis, des structures de Hodge mixtes ont été construites sur les groupes d'homotopie rationnels de telles variétés par Morgan et Hain. Dans cette lignée, nous construisons des structures de Hodge mixtes sur des invariants associés aux représentations linéaires des groupes fondamentaux des variétés algébriques complexes lisses. Le point de départ est la théorie de Goldman et Millson qui relie la théorie des déformations de telles représentations à la théorie des déformations via les algèbres de Lie différentielles graduées. Ceci a été relu par P. Eyssidieux et C. Simpson dans le cas des variétés kählériennes compactes. Dans le cas non compact, et pour des représentations d'image finie, Kapovich et Millson ont construit seulement des graduations non canoniques. Pour construire des structures de Hodge mixtes dans le cas non compact et l'unifier avec le cas compact traité par Eyssidieux-Simpson, nous ré-écrivons la théorie de Goldman-Millson classique en utilisant des idées plus modernes de la théorie des déformations dérivée et une construction d'algèbres L-infini due à Fiorenza et Manetti. Notre structure de Hodge mixte provient alors directement du H^0 d'un complexe de Hodge mixte explicite, de façon similaire à la méthode de Hain pour le groupe fondamental, et dont la fonctorialité apparaît clairement. / The mixed Hodge theory of Deligne provides additional structures on the cohomology groups of complex algebraic varieties. Since then, mixed Hodge structures have been constructed on the rational homotopy groups of such varieties by Morgan and Hain. In this vein, we construct mixed Hodge structures on invariants associated to linear representations of fundamental groups of smooth complex algebraic varieties. The starting point is the theory of Goldman and Millson that relates the deformation theory of such representations to the deformation theory via differential graded Lie algebras. This was reviewed by P. Eyssidieux and C. Simpson in the case of compact Kähler manifolds. In the non-compact case, and for representations with finite image, Kapovich and Millson constructed only non-canonical gradings. In order to construct mixed Hodge structures in the non-compact case and unify it with the compact case treated by Eyssidieux-Simpson, we re-write the classical Goldman-Millson theory using more modern ideas from derived deformation theory and a construction of L-infinity algebras due to Fiorenza and Manetti. Our mixed Hodge structure comes then directly from the H^0 of an explicit mixed Hodge complex, in a similar way as the method of Hain for the fundamental group, and whose functoriality appears clearly.

Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking. Nous modélisons ces systèmes à l'aide d'un formalisme de haut niveau issu du π-calcul, permettant de considérer des comportements stochastiques, temporels, déterministes, ou indéterministes. Cependant, dans le π-calcul, la primitive de communication de base des systèmes est la communication en point-à-point synchrone. Or, les systèmes mobiles, qui utilisent des réseaux sans fil, communiquent essentiellement par diffusion locale. C'est pourquoi, dans un premier temps, nous définissons la communication par diffusion dans le π-calcul, afin de mieux modéliser les systèmes que nous étudions. Nous proposons d'utiliser des versions probabilistes et stochastiques de l'algèbre que nous avons défini, pour permettre des études de performance. Nous en définissons une version temporelle permettant de considérer le temps dans les modèles. Mais l'absence d'outils d'analyse des propriétés sur des modèles spécifiés en une algèbre issue du π-calcul est un obstacle majeur à notre travail. La définition de règles de traduction en langage PRISM, nous permet de traduire nos modèles, en modèles de bas niveau supports du model checking, à savoir des chaînes de Markov à temps discret, à temps continu, des automates temporisés, ou des automates temporisés probabilistes. Nous avons choisi l'outil PRISM car, à notre connaissance, dans sa dernière version, il est le seul outil à supporter les formalismes de bas niveau que nous venons de citer, et ainsi il permet de réaliser des études de performabilité complètes. Cette façon de procéder nous permet de pallier à l'absence d'outils d'analyse pour nos modèles. Par la suite, nous appliquons ces concepts théoriques aux réseaux de capteurs sans fil mobiles. / We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques. We model these systems using a high-level formalism derived from the π-calculus, for considering stochastic, timed, deterministic or indeterministic behaviors. However, in the π-calculus, the basic communication primitive of systems is the synchronous point-to-point communication. However, mobile systems that use wireless networks, mostly communicate by local broadcast. Therefore, we first define the broadcast communication into the π-calculus, to better model the systems we study. We propose to use probabilistic and stochastic versions of the algebra we have defined to allow performance studies. We define a temporal version to consider time in the models. But the lack of tools for analyzing properties of models specified with π-calculus is a major obstacle to our work and its objectives. The definition of translation rules into the PRISM language allows us to translate our models in low-level models which can support model checking, namely discrete time, or continuous time Markov chains, timed automata, or probabilistic timed automata. We chose the PRISM model checker because, in our best knowledge, in its latest version, it is the only tool that supports the low-level formalisms that we have previously cited, and thus, makes it possible to realize complete performability studies. This approach allows us to overcome the lack of model checkers for our models. Subsequently, we apply these theoretical concepts to analyse performability of mobile wireless sensor networks.

Ce mémoire étudie deux familles de fonctions orthogonales, soit les fonctions d'orbite de Weyl et les fonctions d'orbite de Hartley. Chacune de ces familles est associée à une algèbre de Lie simple et cette recherche se limite aux algèbres A₂, C₂ et G₂ de rang 2. Les fonctions d'orbite de Weyl ont été largement étudiées depuis des années en raison de leurs propriétés exceptionnelles. Nouvellement, elles ont été utilisées pour générer des polynômes de Chebyshev généralisés et calculer les fonctions génératrices de ces polynômes pour les algèbres de Lie simples de rang 2. Les fonctions d'orbite de Hartley, quant à elles, ont été récemment introduites par Hrivnák et Juránek et l'étude de ces dernières ne fait que débuter. L'objectif de ce mémoire est de définir des polynômes de Chebyshev généralisés associés aux fonctions de Hartley et de calculer les fonctions génératrices de ceux-ci pour les algèbres A₂, C₂ et G₂. Le premier chapitre introduit les systèmes de racines et le groupe de Weyl, original et affine, ainsi que leurs domaines fondamentaux, afin que le lecteur ait les notations et définitions pour comprendre les chapitres suivants. Le deuxième chapitre présente et étudie les fonctions de Weyl. Il définit également leurs polynômes de Chebyshev généralisés et se termine en présentant les différentes fonctions génératrices de ces polynômes pour les algèbres de Lie simples de rang 2. Finalement, le troisième chapitre contient les résultats originaux; il expose les fonctions de Hartley et certaines de leurs propriétés. Il définit les polynômes de Chebyshev généralisés de celles-ci et énonce également leurs relations d'orthogonalité discrète. Il conclut en calculant les fonctions génératrices de ces polynômes pour les algèbres A₂, C₂ et G₂. / This master's thesis studies two families of orthogonal functions, the Weyl orbit functions and the Hartley orbit functions. Each of these families is associated to a simple Lie algebra and the present work is limited to the algebras A₂, C₂ and G₂ of rank 2. Weyl orbit functions have been widely studied for years because of their exceptional properties. Recently, these properties have been used to generate generalized Chebyshev polynomials and to compute the generating functions of these polynomials for the simple Lie algebras of rank 2. Hartley orbit functions, on the other hand, were recently introduced by Hrivnák and Juránek and the study of the latter has only begun. The objective of this thesis is to define the generalized Chebyshev polynomials of Hartley orbit functions and to compute their generating functions for the algebras A₂, C₂ and G₂. The first chapter introduces root systems and the Weyl group, original and affine, and their fundamental domains, so that the reader has the notations and definitions at hand to read the following chapters. The second chapter introduces and studies Weyl orbit functions. It also defines their generalized Chebyshev polynomials and ends by presenting the different generating functions of these polynomials for simple Lie algebras of rank 2. Finally, the third chapter contains the original contribution; it presents the Hartley functions and some of their properties. It defines the generalized Chebyshev polynomials of these and also states their discrete orthogonality relations. It concludes by computing the generating functions of these polynomials for the algebras A₂, C₂ and G₂.

Une approche inductive est développée pour la théorie des représentations de la chaîne des algèbres de Hecke cyclotomiques de type G(m,1,n). Cette approche repose sur l'étude du spectre d'une famille commutative maximale, formée par les analogues des éléments de Jucys--Murphy.Les représentations irréductibles, paramétrées par les multi-partitions, sont construites avec l'aide d'une nouvelle algèbre associative, dont l'espace vectoriel sous-jacent est le produit tensoriel de l'algèbre de Hecke cyclotomique avec l'algèbre associative libre engendrée par les multi-tableaux standards.L'analogue de cette approche est présentée pour la limite classique, c'est-à-dire la chaîne des groupes de réflexions complexes de type G(m,1,n).Dans une seconde partie, une base des algèbres de Hecke cyclotomiques est donnée et la platitude de la déformation est montrée sans utiliser la théorie des représentations. Ces résultats sont généralisés aux algèbres de Hecke affines de type A.Ensuite, une procédure de fusion est présentée pour les groupes de réflexions complexes et les algèbres de Hecke cyclotomiques de type G(m,1,n). Dans les deux cas, un ensemble complet d'idempotents primitifs orthogonaux est obtenu par évaluation consécutive d'une fonction rationnelle.Dans une troisième partie, une nouvelle présentation est obtenue pour les sous-groupes alternés de tous les groupes de Coxeter. Les générateurs sont reliés aux arêtes orientées du graphe de Coxeter. Cette présentation est ensuite étendue, pour tous les types, aux extensions spinorielles des groupes alternés, aux algèbres de Hecke alternées et aux sous-groupes alternés des groupes de tresses. / An inductive approach to the representation theory of the chain of the cyclotomic Hecke algebras of type G(m,1,n) is developed. This approach relies on the study of the spectrum of a maximal commutative family formed by the analogues of the Jucys--Murphy elements.The irreducible representations, labelled by the multi-partitions, are constructed with the help of a new associative algebra, whose underlying vector space is the tensor product of the cyclotomic Hecke algebra with the free associative algebra generated by the standard multi-tableaux.The analogue of this approach is presented for the classical limit, that is for the chain of complex reflection groups of type G(m,1,n).In a second part, a basis of the cyclotomic Hecke algebras is given and the flatness of the deformation is proved without using the representation theory. These results are extended to the affine Hecke algebras of type A.Then a fusion procedure is presented for the complex reflection groups and the cyclotomic Hecke algebras of type G(m,1,n). In both cases, a complete set of primitive orthogonal idempotents is obtained by successive evaluations of a rational fonction.In a third part, a new presentation is obtained for the alternating subgroups of all Coxeter groups. The generators are related to oriented edges of the Coxeter graph. This presentation is then extended, for all types, to the spinor extensions of the alternating groups, the alternating Hecke algebras and the alternating subgroups of braid groups.

Cette thèse porte sur trois problèmes en combinatoire algébrique effective et algorithmique.Les premières parties proposent une approche alternative aux bases de Gröbner pour le calcul des invariants secondaires des groupes de permutations, par évaluation en des points choisis de manière appropriée. Cette méthode permet de tirer parti des symétries du problème pour confiner les calculs dans un quotient de petite dimension, et ainsi d'obtenir un meilleur contrôle de la complexité algorithmique, en particulier pour les groupes de grande taille. L'étude théorique est illustrée par de nombreux bancs d'essais utilisant une implantation fine des algorithmes. Un prérequis important est la génération efficace de vecteurs d'entiers modulo l'action d'un groupe de permutation, dont l'algorithmique fait l'objet d'une partie préliminaire.La quatrième partie cherche à déterminer, pour un certain quotient naturel d'une algèbre de Hecke affine, quelles spécialisations des paramètres aux racines de l'unité donne un comportement non générique.Finalement, la dernière partie présente une conjecture sur la structure d'une certaine $q$-déformation des polynômes harmoniques diagonaux en plusieurs paquets de variables pour la famille infinie de groupes de réflexions complexes.Tous ces chapitres s'appuient fortement sur l'exploration informatique, et font l'objet de multiples contributions au logiciel Sage. / This thesis concerns algorithmic approaches to three challenging problems in computational algebraic combinatorics.The firsts parts propose a Gröbner basis free approach for calculating the secondary invariants of a finite permutation group, proceeding by using evaluation at appropriately chosen points. This approach allows for exploiting the symmetries to confine the calculations into a smaller quotient space, which gives a tighter control on the algorithmic complexity, especially for large groups. The theoretical study is illustrated by extensive benchmarks using a fine implementation of algorithms. An important prerequisite is the generation of integer vectors modulo the action of a permutation group, whose algorithmic constitute a preliminary part of the thesis.The fourth part of this thesis is determining for a certain interesting quotient of an affine Hecke algebra exactly which root-of-unity specialization of its parameter lead to non-generic behavior.Finally, the last part presents a conjecture on the structure of certain q-deformed diagonal harmonics in many sets of variables for the infinite family of complex reflection groups.All chapters proceed widely by computer exploration, and most of established algorithms constitute contributions of the software Sage.

Cette thèse se concentre sur l'étude de quelques propriétés arithmétiques de certaines variétés algébriques qui sont ``les plus simples'' en un sens géométrique et qui sont définies sur des corps de type géométrique. Elle se compose de trois chapitres. Dans le premier chapitre, indépendant des deux autres, on s'intéresse à la propriété d'approximation faible pour une variété projective lisse rationnellement connexe X définie sur le corps de fonctions K=k(C) d'une courbe algébrique C sur un corps k. Supposons que X possède un K-point rationnel. En utilisant des méthodes géométriques, on démontre que X(K) est Zariski dense dans X si k est un corps fertile, et que l'approximation faible en un certain ensemble de places de bonne réduction vaut pour X sous des hypothèses supplémentaires convenables. Lorsque k est un corps fini, on obtient l'approximation faible en une place quelconque de bonne réduction pour une surface cubique lisse sur K ainsi qu'un résultat sur l'approximation faible d'ordre zéro pour des hypersurfaces cubiques de dimension supérieure sur K.Les deux autres chapitres forment la seconde partie de la thèse, où on travaille sur le corps des fractions K d'un anneau intègre local R, hensélien, excellent de dimension 2 dont le corps résiduel k est souvent supposé fini et où on emploie des outils plus algébriques. On étudie d'abord la ramification et la cyclicité des algèbres à division sur un tel corps K. On démontre en particulier que toute classe de Brauer d'ordre n premier à la caractéristique résiduelle sur K est d'indice divisant n^2 et que la cyclicité d'une classe de Brauer d'ordre premier peut être testée localement sur les corps complétés par rapport aux valuations discrètes de K. Ces résultats sont appliqués dans le dernier chapitre pour étudier l'arithmétique des formes quadratiques sur K. On montre que toute forme quadratique de rang \ge 9 sur K possède un zéro non trivial. Si K est le corps des fractions d'un anneau de séries formelles A[[t]] sur un anneau de valuation discrète complet A, on a prouvé le principe local-global pour toute forme quadratique de rang \ge 5 sur K. Pour K général on a établi le principe local-global pour les formes de rang 5. Le cas des formes de rang 6,7 ou 8 est ouvert. / This thesis is concerned with the study of some arithmetic properties of certain algebraic varieties which are ``simplest'' in some geometric sense and which are defined over fields of geometric type. It consists of three chapters. In the first chapter, which is independent of the other two, we consider the weak approximation property for a smooth projective rationally connecte d variety X defined over the function field K=k(C) of an algebraic curve C over a field k. Suppose that X admits a K-rational point. Using geometric methods we prove that X(K) is Zariski dense in X if k is a large field, and that under suitable hypotheses weak approximation with respect to a set of places of good reduction holds for X. When k is a finite field, we obtain weak approximation at any given place of good reduction for a smooth cubic surface over K as well as a zero-th order weak approximation result for higher dimensional cubic hypersurfaces over K.The second part of the thesis consists of the last two chapters, where we work over the fraction field K of a 2-dimensional, excellent, henselian local domain R whose residue field k is often assumed to be finite, and where we use more algebraic tools. We first study the ramification and the cyclicity of division algebras over such a field K. We show in particular that every Brauer class over K of order n, which is prime to the residue characteristic, has index dividing n^2, and that the cyclicity of a Brauer class of prime order can be tested locally over the completions of K with respect to discrete valuations. These results are used in the last chapter to study the arithmetic of quadratic forms over K. We prove that every quadratic form of rank \ge 9 over K has a nontrivial zero. When K is the fraction field of a power series ring A[[t]] over a complete discrete valuation ring A, we prove the local-global principle for quadratic forms of rank \ge 5 over K. For general K we prove the local-global principle for quadratic forms of rank 5. The local-global principle for quadratic forms of rank 6, 7 or 8 is still open in the general case.