Dans cette thèse on définit et étudie le produit en couronne libre d'un groupe quantique compact par un groupe quantique d'automorphismes, en généralisant la notion de produit en couronne libre par le groupe quantique symétrique introduit par Bichon.Notre recherche est divisée en deux parties. Dans la première, on définit le produit en couronne libre d'un groupe discret par un groupe quantique d'automorphismes. Ensuite, on montre comment décrire les entrelaceurs de ce nouveau objet à l'aide de partitions non-croisées et décorées; à partir de cela et grâce à un résultat de Lemeux, on déduise les représentations irréductibles et les règles de fusion. Ensuite, on prouve des propriétés des algèbres d'opérateurs associées à ce groupe quantique compact, comme la simplicité de la C*-algèbre réduite et la propriété d'Haagerup de l'algèbre de von Neumann.La deuxième partie est une généralisation de la première. D'abord, on définit la notion de produit en couronne libre d'un groupe quantique compact par un groupe quantique d'automorphismes. Après, on généralise la description des espaces des entrelaceurs donnée dans le cas discret et, en adaptant un résultat d'équivalence monoïdale de Lemeux et Tarrago, on trouve les représentations irréductibles et les règles de fusion. Ensuite, on montre des propriétés de stabilité de l'opération de produit en couronne libre. En particulier, on prouve sous quelles conditions deux produits en couronne libres sont monoïdalment équivalents ou ont le semi-anneau de fusion isomorphe. Enfin, on démontre certaines propriétés algébriques et analytiques du groupe quantique duale et des algèbres d'opérateurs associées à un produit en couronne. Comme dernier résultat, on prouve que le produit en couronne de deux groupes quantiques d'automorphismes est isomorphe à un quotient d'un particulier groupe quantique d'automorphismes. / In this thesis, we define and study the free wreath product of a compact quantum group by a quantum automorphism group and, in this way, we generalize the previous notion of free wreath product by the quantum symmetric group introduced by Bichon.Our investigation is divided into two part. In the first, we define the free wreath product of a discrete group by a quantum automorphism group. We show how to describe its intertwiners by making use of decorated noncrossing partitions and from this, thanks to a result of Lemeux, we deduce the irreducible representations and the fusion rules. Then, we prove some properties of the operator algebras associated to this compact quantum group, such as the simplicity of the reduced C*-algebra and the Haagerup property of the von Neumann algebra.The second part is a generalization of the first one. We start by defining the notion of free wreath product of a compact quantum group by a quantum automorphism group. We generalize the description of the spaces of the intertwiners obtained in the discrete case and, by adapting a monoidal equivalence result of Lemeux and Tarrago, we find the irreducible representations and the fusion rules. Then, we prove some stability properties of the free wreath product operation. In particular, we find under which conditions two free wreath products are monoidally equivalent or have isomorphic fusion semirings. We also establish some analytic and algebraic properties of the dual quantum group and of the operator algebras associated to a free wreath product. As a last result, we prove that the free wreath product of two quantum automorphism groups can be seen as the quotient of a suitable quantum automorphism group.

Na análise global e local de sistemas dinâmicos assumimos, em geral, que as equações estão numa forma normal. Em presença de simetrias, as equações e o domínio do problema são invariantes pelo grupo formado por estas simetrias; neste caso, o campo de vetores é equivariante pela ação deste grupo. Quando, além das simetrias, temos também ocorrência de anti-simetrias - ou reversibilidades - as equações e o domínio do problema são ainda invariantes pelo grupo formado pelo conjunto de todas as simetrias e anti-simetrias; neste caso, o campo de vetores é reversível-equivariante. Existem muitos modelos físicos onde simetrias e anti-simetrias aparecem naturalmente e cujo efeito pode ser estudado de uma forma sistemática através de teoria de representação de grupos de Lie. O primeiro passo deste processo é colocar a aplicação que modela tal sistema numa forma normal e isto é feito com a dedução a priori da forma geral dos campos de vetores. Esta forma geral depende de dois componentes: da base de Hilbert do anel das funções invariantes e dos geradores do módulo das aplicações reversíveis-equivariantes. Neste projeto, nos concentramos principalmente na aplicação de resultados recentes da literatura para a construção de uma lista de formas gerais de aplicações reversíveisequivariantes sob a ação de diferentes grupos. Além disso, adaptamos ferramentas algébricas da literatura existentes no contexto equivariante para o estudo sistemático de acoplamento de células idênticas no contexto reversível-equivariante / In the global and local analysis of dynamical systems, we assume, in general, that the equations are in a normal form. In presence of symmetries, the equations and the problem domain are invariant under the group formed by these symmetries; in that case, the vector field is equivariant by the action of this group. When, in addition to the symmetries, we have the occurrence of anti-symmetries - or reversibility - the equations and the problem domain are still invariant by the group formed by the set of all symmetries and anti-symmetries; in this case, the vector field is reversible-equivariant. There are many physical models where both symmetries and anti-symmetries occur naturally and whose effect can be studied in a systematic way through group representation theory. The first step of this process is to put the mapping that model the system in a normal form, and this is done with the deduction of the general form of the vector field. This general form depends on two components: the Hilbert basis of the invariant function ring and also the generators of the module of the revesible-equivariants. In this work, we mainly focus on the applications of recent results of the literature to build a list of general forms of reversible-equivariant mappings under the action of different groups. We also adapt algebraic tools of the existing literature in the equivariant context to the systematic study of coupling of identical cells in the reversible-equivariant context

Na análise global e local de sistemas dinâmicos assumimos, em geral, que as equações estão numa forma normal. Em presença de simetrias, as equações e o domínio do problema são invariantes pelo grupo formado por estas simetrias; neste caso, o campo de vetores é equivariante pela ação deste grupo. Quando, além das simetrias, temos também ocorrência de anti-simetrias - ou reversibilidades - as equações e o domínio do problema são ainda invariantes pelo grupo formado pelo conjunto de todas as simetrias e anti-simetrias; neste caso, o campo de vetores é reversível-equivariante. Existem muitos modelos físicos onde simetrias e anti-simetrias aparecem naturalmente e cujo efeito pode ser estudado de uma forma sistemática através de teoria de representação de grupos de Lie. O primeiro passo deste processo é colocar a aplicação que modela tal sistema numa forma normal e isto é feito com a dedução a priori da forma geral dos campos de vetores. Esta forma geral depende de dois componentes: da base de Hilbert do anel das funções invariantes e dos geradores do módulo das aplicações reversíveis-equivariantes. Neste projeto, nos concentramos principalmente na aplicação de resultados recentes da literatura para a construção de uma lista de formas gerais de aplicações reversíveisequivariantes sob a ação de diferentes grupos. Além disso, adaptamos ferramentas algébricas da literatura existentes no contexto equivariante para o estudo sistemático de acoplamento de células idênticas no contexto reversível-equivariante / In the global and local analysis of dynamical systems, we assume, in general, that the equations are in a normal form. In presence of symmetries, the equations and the problem domain are invariant under the group formed by these symmetries; in that case, the vector field is equivariant by the action of this group. When, in addition to the symmetries, we have the occurrence of anti-symmetries - or reversibility - the equations and the problem domain are still invariant by the group formed by the set of all symmetries and anti-symmetries; in this case, the vector field is reversible-equivariant. There are many physical models where both symmetries and anti-symmetries occur naturally and whose effect can be studied in a systematic way through group representation theory. The first step of this process is to put the mapping that model the system in a normal form, and this is done with the deduction of the general form of the vector field. This general form depends on two components: the Hilbert basis of the invariant function ring and also the generators of the module of the revesible-equivariants. In this work, we mainly focus on the applications of recent results of the literature to build a list of general forms of reversible-equivariant mappings under the action of different groups. We also adapt algebraic tools of the existing literature in the equivariant context to the systematic study of coupling of identical cells in the reversible-equivariant context

This thesis is concerned with aspects of the model theory of infinite soluble groups. The results proved lie on the border between group theory and model theory: the questions asked are of a model-theoretic nature but the techniques used are mainly group-theoretic in character. We present a characterization of those groups contained in the universal closure of a restricted wreath product U wr G, where U is an abelian group of zero or finite square-free exponent and G is a torsion-free soluble group with a bound on the class of its nilpotent subgroups. For certain choices of G we are able to use this characterization to prove further results about these groups; in particular, results related to the decidability of their universal theories. The latter part of this work consists of a number of independent but related topics. We show that if G is a finitely generated abelian-by-metanilpotent group and H is elementarily equivalent to G then the subgroups gamma_n(G) and gamma_n(H) are elementarily equivalent, as are the quotient groups G/gamma_n(G) and G/gamma_n(H). We go on to consider those groups universally equivalent to F_2(VN_c), where the free groups of the variety V are residually finite p-groups for infinitely many primes p, distinguishing between the cases when c = 1 and when c > 2. Finally, we address some important questions concerning the theories of free groups in product varieties V_k · · ·V_1, where V_i is a nilpotent variety whose free groups are torsion-free; in particular we address questions about the decidability of the elementary and universal theories of such groups. Results mentioned in both of the previous two paragraphs have applications here.

Au cours des deux dernières décennies, des travaux actifs ont été menés pour étendre des résultats classiques liés au groupe symétrique à d'autres groupes plus généraux. Cette thèse a pour objectif d’étendre aux produits en couronne les résultats concernant le tableau de différence d’Euler. Elle est divisée en cinq chapitres. Le tableau de différence d’Euler lié à la suite {n!} conduit naturellement à la formule du nombre de dérangements. Nous étudions dans les deux premiers chapitres, le tableau de différence d’Euler associé à la suite {rnn!} et la généralisation du problème de dérangements. Pour les coefficients de ce dernier tableau, nous donnons des interprétations combinatoires en termes de k-successions sur les produits en couronne. Clarke et al. ont introduit un q-analogue du tableau de différence d’Euler sur le groupe symétrique. Dans le troisième chapitre, nous étendons leurs résultats sur les produits en couronne. En généralisant leur bijection, nous montrons que « (fix, exc, fmaj) » et « (fix, exc, fmaf) » sont équidistribués sur les produits en couronne où «fmaf» est une nouvelle statistique mahonienne. D’autre part, Foata et Han ont récemment construit deux transformations. Nous prouvons dans le quatrième chapitre que ses bijections fournissent une factorisation de la bijection de Clarke et al.. Dans le cinquième chapitre nous donnons une extension de la seconde transformation fondamentale de Foata sur les mots r-colorés. Nous prouvons l’équidistribution sur les produits en couronne de « (fmaj , des*) » et « (finv , col) » où « col » est la somme des couleurs et « des* » une nouvelle statistique. / In the last two decades, much effort has been made to extend various enumerative results on symmetric groups to other more general groups. The main objective of this thesis is to extend to wreath products the results that concern the Euler's difference table. It is divided into five chapters. Euler's difference table associated to the sequence {n!} leads naturally to the counting formula for the derangements. In the first two chapters, we study Euler's difference table associated to the sequence {rnn!} and the generalized derangement problem. For the coefficients appearing in the later table, we give the combinatorial interpretations in terms of k-successions on wreath products. Clarke et al. introduced a q-analogue of Euler's difference table on symmetric group. In the third chapter, we extend their results to wreath products. By generalizing their bijection, we prove the equidistribution of the triple statistics “(fix, exc, fmaj)” and “(fix, exc, fmaf)” on wreath products, where “fmaf” is a new mahonian statistic on wreath products. On the other hand, Foata and Han have recently constructed two new transformations. We prove in fourth chapter that their two bijections provide a factorization of Clarke et al.'s bijection. In the fifth chapter we give an extension of Foata’s second fundamental transformation on r-colored words. We show that the bistatistics “(fmaj , des*)” and “(finv , col)” are equidistributed on wreath products, where “col” is the sum of color and “des*” a new statistic.

Cette thèse porte sur la conjecture de Baum-Connes pour les groupes quantiques. Le but principal de ce travail est l'étude de la stabilité de la conjecture de Baum-Connes par certaines constructions de groupes quantiques discrets.Dans un premier temps, nous réalisons une étude détaillé et approfondie de la reformulation catégorielle de la conjecture de Baum-Connes d'après les travaux de R. Meyer et R. Nest. Ensuite, nous appliquons ces techniques au cas concret des groupes quantiques discrets sans torsion.Nous réalisons une étude exhaustive des produits croisés afin de pouvoir les manipuler aisément en connexion avec la conjecture de Baum-Connes. Notamment nous donnons une preuve de la propriété universelle d'un produit croisé réduit par un groupe quantique discret. Nous analysons également quelques propriétés d'importance pour le contexte de cette thèse. Mentionnons particulièrement la propriété d'associativité du produit croisé par rapport à un produit semi-direct.En s'inspirant des travaux pionniers de J. Chabert nous menons une généralisation pour les groupes quantiques discrets de la stabilité de la conjecture de Baum-Connes par rapport à un produit semi-direct. Deux propriétés d'invariance d'intérêt indépendant sont également étudiées, à savoir le phénomène de torsion et la K-moyennabilité. Nous observons que l'hypothèse sans torsion force un biproduit crosié compact à être un produit semi-direct quantique sans torsion. Ainsi, la conjecture de Baum-Connes correspondante ne fournit pas d'information remarquable dans ce cas. La stratégie générale pour mener à bien une telle généralisation consiste à définir un foncteur de “décomposition” entre les catégories de Kasparov suivant l'opération de produit semi-direct. Nous observons que cette stratégie peut être extrapolée à d'autres constructions de groupes quantiques. Notamment un produit direct de groupe quantiques. Dans ce cas, nous établissons une connexion avec la formule de Künneth de manière analogue à ce qui a été démontré par J. Chabert, S. Echterhoff et H. Oyono-Oyono pour les groupes localement compacts classiques. Les propriétés de torsion et de K-moyennabilité ont également été étudiées.Nous savons, grâce à R. Vergnioux and C. Voigt, que la conjecture de Baum-Connes forte est préservée par le passage aux sous-groupes quantiques discrets divisibles. Le même résultat est vrai pour la propriété de torsion forte, grâce à Y. Arano et K. De Commer. Dans ce travail nous montrons qu'aussi bien la conjecture de Baum-Connes usuelle que la propriété de torsion usuelle sont préservées par le passage aux sous-groupes quantiques discrets divisibles. La propriété de K-moyennabilité a également été étudiée.Une notable propriété de permanence inclue dans cette thèse est la stabilité de la conjecture de Baum-Connes forte par produit en couronne libre. Pour cela, nous réalisons une complète classification des actions de torsion pour un produit libre quantique, ce qui permet de donner une formulation adéquate de la conjecture de Baum-Connes forte pour un produit en couronne libre inspirés par le travail pionnier de C. Voigt. Une application majeure est un calcul explicite de K-théorie, dans trois situations pertinentes, pour le groupe quantique compact de Lemeux-Tarrago qui est monoïdallement équivalent à un produit en couronne libre. Cette propriété de stabilité pour un produit en couronne libre ainsi que les calculs de K-théorie s'intègrent dans un travail en collaboration avec A. Freslon. Pour conclure, nous nous questionnons sur les résultats obtenus afin de proposer une liste de questions, problems et objectifs que l'auteur a rencontré durant l'intégralité de la période de recherche de cette thèse et qui rassemblent quelques unes des lignes de travail pour ses projets futures de recherche / The present dissertation is focused on the Baum-Connes conjecture for quantum groups. The main purpose of this work is the study of the Baum-Connes conjecture stability under some constructions of discrete quantum groups. In a first phase, we carry out a detailed and extensive study about the categorical reformulation of the Baum-Connes conjecture according to the results of R. Meyer and R. Nest. Next, we apply these techniques to the specific case of torsion-free discrete quantum groups. We carry out an exhaustive study of crossed products in order to handle them comfortably in connexion with the Baum-Connes conjecture. Notably, we give a proof of the universal property satisfied by a reduced crossed product by a discrete quantum group. We analyze as well some important properties for this dissertation. Let us mention in particular the associativity property of the crossed product with respect to a semi-direct product. Being inspired by the pionneer work of J. Chabert, we perform a generalization for discrete quantum groups of the invariance property of the Baum-Connes conjecture under the semi-direct product construction. Two permanence properties of own interest are studied as well. Namely, the torsion-freeness and the K-amenability. We observe that the torsion-freeness assumption forces a compact bicrossed product to be a torsion-free quantum semi-direct product, so that the corresponding Baum-Connes conjecture does not give any relevant information in this case. The general strategy used to accomplish such a generalization consists in defining a “decomposition” functor between the corresponding Kasparov categories in accordance with the semi-direct product operation. Thus, we observe that this strategy can be extrapolate to other (quantum) group constructions. Namely, to a quantum direct product. In this case, we state a connexion with the Künneth formula as pointed out by J. Chabert, S. Echterhoff and H. Oyono-Oyono for classical locally compact groups. The properties of torsion-frenness and K-amenability are also analyzed. It is known, thanks to R. Vergnioux and C. Voigt, that the strong Baum-Connes conjecture is preserved by divisible discrete quantum subgroups. The same is true for the strong torsion-freeness property, thanks to Y. Arano and K. De Commer. Here we show that both the usual Baum-Connes conjecture and the usual torsion-freeness property are preserved by divisible discrete quantum subgroups. The K-amenability property is analyzed too. A notably permanence property included in this dissertation is the invariance of the strong Baum-Connes conjecture under the free wreath product construction. For this, we carry out a complete classification of torsion actions of a quantum free product, which allows to give an appropriated formulation of the strong Baum-Connes conjecture for a free wreath product inspired by the pioneer work of C. Voigt. A major application is an explicit K-theory computation, in three relevant situations, for the Lemeux-Tarrago's compact quantum group which is monoidally equivalent to a free wreath product. Both this stability property for a free wreath product and the K-theory computations are part of a collaboration work with A. Freslon. To conclude, we question ourselves about the results obtained in order to suggest a list of questions, problems and goals that the author has encountered during the whole research period of the present dissertation and that are part of his future research projects