Dans la théorie des représentations automorphes (et probablement beaucoup d’autres branches des mathématiques), une fois que l’on a réussi à enlever tout le formalisme compliqué qui entoure un problème, on se retrouve souvent avec une identité combinatoire à prouver, et on se rend que l’identité combinatoire était plus compliquée que le formalisme. Je présenterai une telle identité venant de mon propre travail, et mes efforts pour la prouver de manière naturelle avec l’aide de collègues plus compétents. Aucune connaissance des représentations automorphes ne sera nécessaire pour comprendre cet exposé.
- ANNÉE 2022-2023
