Résumé | On considère l'ensemble T_n^m des chemins du plan issus de (0,0), formés de pas nord et est, finissant en (mn,n), et restant au dessus de la droite d'équation x=my. François Bergeron a décrit sur ces chemins un ordre, qui généralise l'ordre de Tamari (obtenu pour m=1). On verra que cet ordre donne une structure de treillis, pour tout m.
François a conjecturé une belle formule --- qui ressemble à un nombre de cartes, soit un coefficient binomial divisé par deux termes linéaires en n --- pour le nombre d'intervalles dans le treillis T_n^m. C'est cette formule qu'on démontre. Elle était connue depuis quelques années pour m=1, d'abord prouvée récursivement par Chapoton, puis par Bernardi et Bonichon via une bijection avec des triangulations. Pour m général, une approche bijective reste à inventer, et nous procédons récursivement.
Selon François B., ces mêmes nombres donnent la dimension d'un certain espace de polynômes --- mais c'est là une tout autre histoire, à coup sûr bien plus difficile.
Travail en commun avec Éric Fusy (LIX) et Louis-François Préville Ratelle (LACIM). |