Après 20 ans, un couple de mathématiciens résout un grand problème de théorie des groupes

• En 2003, Britta Späth, alors étudiante en master en Allemagne, découvre la conjecture de McKay, un grand problème non résolu du domaine de la théorie des groupes (Group Theory).
• Fascinée par ce problème, Späth poursuit ses recherches en y consacrant sa carrière.
• En travaillant avec Marc Cabanes, elle tombe amoureuse de lui et ils fondent une famille.

Conjecture de McKay

• La conjecture de McKay énonce le principe selon lequel, pour comprendre des objets mathématiques complexes que sont les groupes, il suffit d’en observer de petites parties.
• Cette conjecture joue un rôle important dans la compréhension de la structure des groupes finis.
• Elle affirme qu’il est possible d’obtenir des informations essentielles sur l’ensemble du groupe à partir des normalisateurs de Sylow, un sous-ensemble particulier des groupes finis.

Avancées majeures

• Depuis sa formulation dans les années 1970, de nombreux mathématiciens ont tenté de démontrer la conjecture de McKay, mais une preuve complète s’est révélée difficile.
• Après 20 ans de recherche, Späth et Cabanes ont réussi à démontrer cette conjecture.
• Leur résultat a profondément marqué le monde des mathématiques, et leurs collègues ont salué leur accomplissement.

La puissance des nombres premiers

• McKay soutenait que, pour comprendre la structure des groupes finis, il est essentiel d’examiner de petits sous-ensembles construits à partir de nombres premiers.
• Les normalisateurs de Sylow jouent un rôle clé dans la compréhension de la structure des groupes finis, et McKay a conjecturé qu’ils jouaient le même rôle dans le calcul de quantités importantes associées aux groupes.

Un grand bond pour la théorie des groupes

• Le projet visant à classifier tous les éléments constitutifs des groupes finis a pris plus de 100 ans et s’est achevé en 2004.
• Cette classification a joué un rôle crucial dans la démonstration de la conjecture de McKay.
• Isaacs, Navarro et Malle ont reformulé la conjecture de McKay d’une manière nouvelle, ouvrant la voie à la résolution du problème.

Les travaux de Späth et Cabanes

• Späth a commencé à étudier la conjecture de McKay sous la direction de Malle.
• Avec Cabanes, elle a mené des recherches sur les groupes de type de Lie, et ils ont finalement démontré la conjecture de McKay.
• Au cours de ce processus, ils ont développé une compréhension approfondie des groupes de type de Lie.

Un « accomplissement monumental »

• Späth et Cabanes ont publié leur démonstration de la conjecture de McKay en 2023.
• Leurs travaux permettent aux mathématiciens d’étudier des propriétés importantes des groupes à partir des seuls normalisateurs de Sylow.
• La raison de l’étrange coïncidence découverte par McKay demeure toutefois un mystère.

Conclusion

• Späth et Cabanes cherchent désormais un nouveau sujet de recherche, tout en constatant qu’il leur est difficile de trouver un problème aussi captivant que la conjecture de McKay.

[GN⁺]

Avis sur Hacker News

• Cela rappelle l’Abstract Interpretation créée ensemble par le couple Patrick et Radhia Cousot. Cette technique est utile, et je l’ai apprise dans un cours de vérification formelle
• La phrase « le risque existait que se consacrer à un problème aussi difficile nuise à sa carrière universitaire, mais Späth y a consacré tout son temps » semble figurer dans tous les articles pour une bonne raison. Heureusement qu’il existe des personnes aussi obsessionnelles, et portons un toast aux contrefactuels qui ne sont jamais mentionnés
• Quand le couple a annoncé le résultat, leurs collègues ont ressenti de l’émerveillement. Persi Diaconis, de Stanford University, a déclaré : « J’espérais qu’il y aurait un défilé. » Ce soutien positif — « après des années de travail acharné, elle y est arrivée, ils y sont arrivés » — était l’un des aspects que j’aimais vraiment dans le fait d’aborder des problèmes de combinatoire. Des gens comme Persi Diaconis et D.J.A. Welsh sont tellement bienveillants qu’ils rendent ce domaine plus attrayant
• La conjecture de McKay est la suivante. Supposons que l’on s’intéresse à la représentation des groupes par des matrices sur les nombres complexes. Il y a plusieurs façons de le faire, et chacune possède un caractère qui agit comme l’empreinte de cette représentation. D’un autre côté, on sait que tout groupe contient un grand sous-groupe dont l’ordre est une puissance d’un nombre premier. Appelons-le P. Ce groupe possède un normalisateur dans lequel P est normal. Ce qui est remarquable, c’est que le nombre de caractères de G et celui de N(P) sont identiques. Ici, N(P) est une petite partie de G
  • Remarque technique : dans les deux cas, on exclut les représentations dont le degré est un multiple de p
• J’ai commencé "Prime Target" hier soir sur Apple TV, et le postulat de cette histoire m’a semblé familier. Le protagoniste est obsédé par un problème sur les nombres premiers. Rien à voir, mais je me demande ce que ce couple pense de l’usage d’outils d’IA pour les problèmes de mathématiques formelles. Je me demande s’ils ont utilisé des outils d’IA au cours des deux dernières années pour résoudre ce problème
• Article : lien
• Par coïncidence, après sa publication récente sur HN, j’étais en train de lire la section sur les groupes dans Infinite Napkin. Je comprends les définitions, etc., mais je n’arrive toujours pas à saisir l’importance centrale des groupes. Par exemple, l’article dit qu’il existe 50 groupes d’ordre 72 (chatGPT dit qu’il y a 50 groupes non abéliens et 5 groupes abéliens). Cela semble être une intuition importante, mais je me demande de quoi il s’agit exactement
• Quelle dévotion impressionnante. J’aime vraiment l’aspect personnel de cette histoire. On ne voit pas toujours ce genre de récit dans les domaines STEM. Maintenant que leur objectif principal est atteint, j’espère que leur relation saura bien gérer cette nouvelle réalité
• Leur preuve : lien (2024)
• Un couple qui fait des maths ensemble reste ensemble