Soit $k$ un corps ultramétrique complet, $L$ une extension galoisienne finie modérément ramifiée de $k$ et $X$ un espace $k$-analytique. Nous montrons que $X$ est isomorphe à un $k$-polydisque fermé (resp. une $k$-dentelle) si et seulement si $X_L$ est isomorphe à un $L$-polydisque fermé (resp. une $L$-dentelle) sur lequel l'action de $\Gal(L/k)$ est raisonnable. Nous montrons que $X$ est isomorphe à un $k$-bidisque fermé si et seulement si $X_L$ est isomorphe à un $L$-bidisque fermé. Dans le cadre de l'algèbre graduée: on calcule le premier ensemble pointé de cohomologie du groupe linéaire et des automorphismes du plan. / Let $k$ be a complete non-Archimedean field, $L$ a finite tamely ramified galoisian extension of $k$ and $X$ a $k$-analytic space. We show that $X$ is isomorphic to a closed $k$-polydisc (resp. a $k$-lace) if and only if $X_L$ is isomorphic to a closed $L$-polydisc (resp. a $L$-lace) on which the action of $\Gal(L/k)$ is reasonable. We show that $X$ is isomorphic to a closed $k$-bidisc if and only if $X_L$ is isomorphic to a closed $k$-bidisc. In the formalism of graduated algebra : we calculate the first pointed cohomology set of the general linear group and of the automorphisms of the plane.

Le présent mémoire vise à éclairer les habiletés conceptuelles d'élèves de la fin de 3e secondaire dans la résolution de problèmes verbaux et d'exercices, les premiers mettant en cause des équations. Cinquante-deux sujets ont été soumis à une épreuve algébrique, dix d'entre eux ayant été reçus en entrevue dans le but de leur permettre d'expliciter leur point de vue. Les procédés utilisés par ceux-ci ont été identifiés sur la base des réponses et des justifications fournies, puis comparés, dans le cas des problèmes, au schème de raisonnement « idéal », en plus de mettre en évidence, pour les exercices, les significations attribuées aux symboles littéraux, aux opérations et au signe d'égalité. Les profils de chacun des sujets ont finalement été esquissés et huit schèmes ou trajets organisateurs d'ensemble de la conduite ont été dégagés, l'étude concluant sur une conception peu consistante et stabilisée de l'équation.

Les algèbres de Temperley-Lieb originales, aussi dites régulières, apparaissent dans de nombreux modèles statistiques sur réseau en deux dimensions: les modèles d'Ising, de Potts, des dimères, celui de Fortuin-Kasteleyn, etc. L'espace d'Hilbert de l'hamiltonien quantique correspondant à chacun de ces modèles est un module pour cette algèbre et la théorie de ses représentations peut être utilisée afin de faciliter la décomposition de l'espace en blocs; la diagonalisation de l'hamiltonien s'en trouve alors grandement simplifiée. L'algèbre de Temperley-Lieb diluée joue un rôle similaire pour des modèles statistiques dilués, par exemple un modèle sur réseau où certains sites peuvent être vides; ses représentations peuvent alors être utilisées pour simplifier l'analyse du modèle comme pour le cas original. Or ceci requiert une connaissance des modules de cette algèbre et de leur structure; un premier article donne une liste complète des modules projectifs indécomposables de l'algèbre diluée et un second les utilise afin de construire une liste complète de tous les modules indécomposables des algèbres originale et diluée. La structure des modules est décrite en termes de facteurs de composition et par leurs groupes d'homomorphismes. Le produit de fusion sur l'algèbre de Temperley-Lieb originale permet de «multiplier» ensemble deux modules sur cette algèbre pour en obtenir un autre. Il a été montré que ce produit pouvait servir dans la diagonalisation d'hamiltoniens et, selon certaines conjectures, il pourrait également être utilisé pour étudier le comportement de modèles sur réseaux dans la limite continue. Un troisième article construit une généralisation du produit de fusion pour les algèbres diluées, puis présente une méthode pour le calculer. Le produit de fusion est alors calculé pour les classes de modules indécomposables les plus communes pour les deux familles, originale et diluée, ce qui vient ajouter à la liste incomplète des produits de fusion déjà calculés par d'autres chercheurs pour la famille originale. Finalement, il s'avère que les algèbres de Temperley-Lieb peuvent être associées à une catégorie monoïdale tressée, dont la structure est compatible avec le produit de fusion décrit ci-dessus. Le quatrième article calcule explicitement ce tressage, d'abord sur la catégorie des algèbres, puis sur la catégorie des modules sur ces algèbres. Il montre également comment ce tressage permet d'obtenir des solutions aux équations de Yang-Baxter, qui peuvent alors être utilisées afin de construire des modèles intégrables sur réseaux. / The original Temperley-Lieb algebra, also called regular, appears in numerous integrable statistical models on two dimensional lattices: the Ising model, the Potts model, the dimers model, the Fortuin-Kasteleyn model, etc. The Hilbert space of the corresponding quantum hamiltonian is then a module over this algebra; its representation theory can be used to split this space in a direct sum of smaller spaces, and thus block diagonalize the corresponding quantum model. The dilute Temperley-Lieb algebra plays a similar role for dilute models, for instance those where lattice sites can be empty; its representation theory thus plays a similar role for these models. However, doing this requires a detailled knowledge of its modules and their structure; the first paper presents a complete list of the projective indecomposable modules for the dilute Temperley-Lieb algebra and a second constructs a complete set of indecomposable modules for both the regular and dilute algebras. In both articles the structure of the modules are exposed through their composition factors and homomorphism groups. The fusion product on the original Temperley-Lieb algebra defines how two modules can be «multiplied» together to obtain a module. It has been shown in some cases that this product can be used to simplify the block diagonalization of quantum hamiltonians, and some speculate that it could be used to determine the continuum limit of the models. A third paper defines a straightforward generalization of this product for the dilute algebra, then introduces an efficient way of computing it. It then calculates this product for the most common classes of indecomposable modules for both the original and dilute algebras; this fills a hole in the known fusion rules for the original algebra that were left out of previous calculations. Finally, it happens that the Temperley-Lieb algebras can be grouped together in a braided monoidal category, whose structure is compatible with the fusion product described above. The fourth article builds explicitly this braiding, both for the Temperley-Lieb category, and for its module category. It also shows how this braiding can be used to obtain solutions to the Yang-Baxter equation, which can then be used to build integrable lattice models.

Cette thèse se divise en trois parties qui peuvent être toutes regroupées autour d'une même bannière : l'étude de structures algébriques reliées aux algèbres de type Askey–Wilson. Alors que dans la première partie on s'efforce d'obtenir des interprétations duales (au sens de Howe) de ces algèbres, dans les autres parties on étudie des généralisations de ces algèbres. Des dégénérations de l'algèbre de Sklyanin, générées par des blocs plus fondamentaux que ceux générant les algèbres de type Askey–Wilson, sont étudiées dans la deuxième partie et des généralisations de plus haut rang des algèbres de type Askey–Wilson sont étudiées dans la troisième partie. Dans la première partie, en invoquant la dualité de Howe, deux interprétations duales sont obtenues pour les algèbres de Racah, Bannai–Ito, Askey–Wilson, Higgs, Hahn, \(q\)-Hahn et dual \(-1\) Hahn. La façon dont la dualité de Howe opère est rendue explicite par l'examen de processus de réduction dimensionnelle. Un modèle superintégrable 2D de mécanique quantique superconforme dont l'algèbre de symétrie est celle de type dual \(-1\) Hahn est également introduit et solutionné. Dans la deuxième partie, des algèbres générées par des opérateurs de contiguïté et d'échelle encodant des propriétés de familles de polynômes sont étudiées. Ces opérateurs appartiennent à la classe des opérateurs de Sklyanin–Heun, qui peuvent être définis sur plusieurs grilles diverses. On découvre qu'ils génèrent des dégénérations de l'algèbre de Sklyanin. On démontre que les représentations irréductibles de dimension finie de ces algèbres ont pour base des familles de para-polynômes. Les grilles linéaires, quadratiques, exponentielles et d'Askey–Wilson sont étudiées et mènent respectivement aux polynômes orthogonaux des familles de para-Krawtchouk, para-Racah, \(q\)-para-Krawtchouk et \(q\)-para-Racah. Enfin, la façon dont les polynômes de para-Krawtchouk et d'autres familles de polynômes orthogonaux sont reliées aux représentations tridiagonales du plan de Jordan déformé est présentée. Dans la dernière partie, on explore des généralisations à plus haut rang pour les algèbres de Racah et Askey–Wilson. Pour ce faire, on étudie les réalisations de ces algèbres en termes de Casimirs intermédiaires. Le rôle de la matrice \(R\) tressée est élucidé : celle-ci permet de relier divers Casimirs intermédiaires entre eux par conjugaison. Un isomorphisme entre l'algèbre de skein du crochet de Kauffman de la sphère à 4 trous et l'algèbre engendrée par les Casimir intermédiaires dans \(U_q(\mathfrak{sl}_2)^{\otimes 3}\) est présenté et permet d'interpréter de façon diagrammatique la conjugaison par la matrice \(R\) tressée mentionnée ci-haut. Finalement, une présentation du centralisateur \(Z_n(\mathfrak{sl}_2)\) de \(U(\mathfrak{sl}_2)\) dans \(U(\mathfrak{sl}_2)^{\otimes n}\) par générateurs et relations est obtenue et on montre que ce centralisateur est isomorphe à un quotient (obtenu explicitement) de l'algèbre de Racah de plus haut rang \(R(n)\). / This thesis is divided in three parts which all orbit around the same theme: the study of algebraic structures related to the algebras of Askey–Wilson type. In the first part we obtain two interpretations that are dual in the sense of Howe for the algebras of Askey–Wilson type. Meanwhile, the other two parts are concerned with generalizations of these algebras. In the second part, we study degenerations of the Sklyanin algebra, which are built out of generators that are more fundamental than those of the Askey–Wilson algebra. In the last part, generalizations of the Askey–Wilson type algebras to higher rank are studied. In the first part, dual interpretations are obtained for the Racah, Bannai–Ito, Askey–Wilson, Higgs, Hahn, \(q\)-Higgs and dual \(-1\) Hahn algebras by invoking Howe duality. The way that this Howe duality operates is made explicit through the examination of a dimensional reduction procedure. A 2D superintegrable superconformal quantum mechanics model, whose symmetry algebra is the one of dual \(-1\) Hahn type, is also introduced and solved. In the second part, we study algebras that are generated by contiguity and ladder operators that encode properties of families of orthogonal polynomials. We show that these operators belong to the Sklyanin–Heun class of operators, which can be defined for various grids. We also show how their algebraic relations correspond to those of degenerations of the Sklyanin algebra. Then, we show how various families of para-polynomials support finite-dimensional irreducible representations of these degenerate algebras. From the linear, quadratic, exponential and Askey–Wilson grids, we are respectively led to the para-Krawtchouk, para-Racah, \(q\)-para-Krawtchouk and \(q\)-para-Racah polynomials. Later, we connect the para-Krawtchouk polynomials (and other families of orthogonal polynomials) to tridiagonal representations of the deformed Jordan plane. In the final part, we explore higher rank generalizations of the Racah and Askey–Wilson algebras. To that end, their realizations in terms of intermediate Casimir elements are studied. The role of the braided \(R\)-matrix is understood as follows: it connects various intermediate Casimir elements through conjugation. We obtain an isomorphism between the Kauffman bracket skein algebra of the four-punctured sphere and the algebra generated by the intermediate Casimir elements in \(U_q(\mathfrak{sl}_2)^{\otimes3}\). This leads to a diagrammatic interpretation of the conjugation by the braided \(R\)-matrix mentioned in the above. Lastly, a presentation of the centralizer \(Z_n(\mathfrak{sl}_2)\) of \(U(\mathfrak{sl}_2)\) in \(U(\mathfrak{sl}_2)^{\otimes n}\) by generators and relations is obtained and we show that this centralizer is isomorphic to a quotient (which we provide explicitly) of the higher rank Racah algebra \(R(n)\).

Dans cette thèse on développe une théorie générale des objets tressés et on l'applique à une étude de structures algébriques et topologiques. La partie I contient une théorie homologique des espaces vectoriels tressés et modules tressés, basée sur le coproduit de battage quantique. La construction d'un tressage structurel qui caractérise diverses structures - auto-distributives (AD), associatives, de Leibniz - permet de généraliser et unifier des homologies familières. Les hyper-bords de Loday, ainsi que certaines opérations homologiques, apparaissent naturellement dans cette interprétation. On présente ensuite des concepts de système tressé et module multi-tressé. Appliquée aux bigèbres, bimodules, produits croisés et (bi)modules de Hopf et de Yetter-Drinfel'd, cette théorie donne leurs interprétations tressées, homologies et actions adjointes. La no- tion de produits tensoriels multi-tressés d'algèbres donne un cadre unificateur pour les doubles de Heisenberg et Drinfel'd, ainsi que les algèbres X de Cibils-Rosso et Y et Z de Panaite. La partie III est orientée vers la topologie. On propose une catégorification des groupes de tresses virtuelles en termes d'objets tressés dans une catégorie symétrique (CS). Cette approche de double tressage donne une source de représentations de V Bn et un traitement catégorique des racks virtuels de Manturov et de la représentation de Burau tordue. On définit ensuite des structures AD dans une CS arbitraire et on les munit d'un tressage. Les techniques tressées de la partie I amènent alors à une théorie homologique des structures AD catégoriques. Les algèbres associatives, de Leibniz et de Hopf rentrent dans ce cadre catégorique.

.

.

Un nœud est un plongement du cercle dans une variété de dimension 3. Dans la sphère S3 , les nœuds peuvent être codés combinatoirement par des diagrammes de Gauss. Ceux-ci peuvent être étudiés indépendamment, en oubliant les véritables nœuds: c'est ce qu'on appelle la théorie des nœuds virtuels. En première partie nous définissons une version générale de nœuds virtuels, dépendant d'un groupe G muni d'un morphisme à valeurs dans Z/2. Lorsque ces paramètres sont bien choisis, la théorie obtenue généralise les nœuds dans une surface épaissie quelconque (c'est-à-dire un fibré en droites réelles sur une surface). Outre l'encodage des nœuds, les diagrammes de Gauss sont aussi un outil puissant pour décrire les invariants de type fini de Vassiliev. En seconde partie, nous donnons un ensemble complet de critères pour détecter ces invariants. Notamment, le critère d'invariance sous Reidemeister III est une réponse positive à une conjecture de M.Polyak. Parmi les exemples donnés figure une nouvelle preuve et une généralisation du théorème de Grishanov-Vassiliev sur les invariants par chaînes planaires. La troisième partie est une ébauche de plan visant à trouver un algorithme pour décider si un diagramme donné dans l'anneau R × S1 représente une tresse fermée dans le tore solide, à isotopie près. La première étape est franchie, consistant à trouver un critère reconnaissant les diagrammes de Gauss des tresses fermées. Nous conjecturons que ce critère suffit pour les diagrammes à nombre minimal de croisements, et proposons des pistes dans cet objectif. La dernière partie est un travail commun avec T.Fiedler, explorant les propriétés d'objets non génériques liés à l'espace de toutes les immersions du cercle dans R3 . Cet espace est de dimension infinie, stratifié par le degré de non généricité des immersions. Alors que la théorie de Vassiliev se cantonne à l'étude des strates contenant uniquement des points doubles ordinaires, ici nous interdisons ces points doubles et autorisons uniquement un certain type de points triples. Nous montrons que l'espace qui en résulte n'est pas simplement connexe en exhibant un 1-cocycle non trivial. Une pondération de ce 1-cocycle fournit une nouvelle formule pour l'invariant de Casson des nœuds.

L’un des buts de l’apprentissage des mathématiques est le développement du raisonnement et celui-ci participe à la compréhension des mathématiques. Très liée au raisonnement, la notion de preuve est aussi fondamentale à l’apprentissage des mathématiques, car elle permet d’établir la validité d’arguments mathématiques et de conférer un sens à différents concepts à travers l’explication de l’organisation logique du travail effectué. Toutefois, malgré l’importance accordée au développement de différents types de raisonnements, plusieurs élèves éprouvent des difficultés lorsqu’ils sont appelés à concevoir ou à évaluer des preuves. Dans le cadre de cette recherche, nous avons étudié l’impact de l’utilisation d’un forum électronique sur le développement d’habiletés de validation algébrique ainsi que sur le développement d’habiletés en lien avec l’évaluation de preuves en algèbre chez des élèves de 13 et 14 ans du Nouveau-Brunswick et du Québec. Les résultats laissent supposer que l’utilisation du forum électronique encourage le passage des preuves pragmatiques aux preuves intellectuelles, en plus de favoriser une utilisation adéquate des règles du débat mathématique. / One of the goals of learning mathematics is the development of reasoning, because it is essential to understand mathematics. Closely related to reasoning, the notion of proof is also fundamental in the learning of mathematics, because it allows students to establish the validity of mathematical arguments and put a sense on various concepts through logical explanation of their work. However, in spite of the importance placed on the development of the capacity to reason mathematically, several students are confronted with difficulties during the development or the evaluation of proofs. This study examined the impact of the use of a discussion forum on the development of algebraic validation skills as well as on the development of skills linked with the evaluation of the proof process in algebra with 13 and 14 year old students from New Brunswick and Quebec (Canada). The results lead us to believe that the use of the electronic forum encourages the passage from pragmatic proofs to intellectual proofs. It also seems to facilitate an adequate use of the rules of the mathematical debate.

Le lien entre le spectre de la matrice de transfert de la formulation de spins du modèle de Potts critique et celui de la matrice de transfert double-ligne de la formulation de boucles est établi. La relation entre la trace des deux opérateurs est obtenue dans deux représentations de l'algèbre de Temperley-Lieb cyclique, dont la matrice de transfert de boucles est un élément. Le résultat est exprimé en termes des traces modifiées, qui correspondent à des traces effectuées dans le sous-espace de l'espace de représentation des N-liens se transformant selon la m ième représentation irréductible du groupe cyclique. Le mémoire comporte trois chapitres. Dans le premier chapitre, les résultats essentiels concernant les formulations de spins et de boucles du modèle de Potts sont rappelés. Dans le second chapitre, les propriétés de l'algèbre de Temperley-Lieb cyclique et de ses représentations sont étudiées. Enfin, le lien entre les deux traces est construit dans le troisième chapitre. Le résultat final s'apparente à celui obtenu par Richard et Jacobsen en 2007, mais une nouvelle représentation n'ayant pas été étudiée est aussi investiguée. / The link between the spectrum of the spin transfer matrix of the critical Potts model and that of the double-row transfer matrix of the loop model is established. The relationship between the two operators is obtained in two different representations of the cyclic Temperley-Lieb algebra, whereof the transfer matrix is an element. The result is given in terms of the modified traces that correspond to tracing out the subspace of the N-link representation space that transforms according to the m th representation of the cyclic group. The thesis consists of three chapters. In the first chapter, basic results about the Potts model in the spin and loop pictures are recalled. In the second chapter, the properties of the cyclic Temperley-Lieb algebra and of some of its representations are studied. Finally, the relationship between the traces of the two operators is constructed in the third chapter. The final result is similar to the one obtained by Jacobsen and Richard in 2007, but a new representation that has not been studied is investigated.