Thèse soutenue

Calcul des invariants de groupes de permutations par transformée de Fourier
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Nicolas Borie
Direction : Nicolas Thiéry
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 07/12/2011
Etablissement(s) : Paris 11
Ecole(s) doctorale(s) : Ecole doctorale Mathématiques de la région Paris-Sud (1992-2015 ; Orsay)
Partenaire(s) de recherche : Laboratoire : Laboratoire de mathématiques d'Orsay (1998-....) - Laboratoire de Mathématiques d'Orsay
Jury : Président / Présidente : Marc Giusti
Examinateurs / Examinatrices : Nicolas Thiéry, Marc Giusti, Eric Schost, Jean-Yves Thibon, Jean-Benoît Bost, Yannis Manoussakis, Jean-Charles Faugère, Annick Valibouze
Rapporteurs / Rapporteuses : Victor Reiner, Eric Schost

Résumé

FR  |  
EN

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.