79th SLC (Séminaire Lotharingien de Combinatoire), Bertinoro, Italy, 11 September 2017
Maule: tilings, Young and Tamari lattices under the same roof
slides part I (pdf, 25 Mo) tilings, Young and Tamari lattices as maules
slides part II (pdf, 26 Mo) Tamari(v) as a maule + comments and references added after the talk
Same lecture is given at IMSc, Chennai, India in two video-recorded Maths seminars 19 and 26 February 2018
(slightly augmented) set of slides and video links are available on this page.
We introduce a new family of posets which I propose to call "maule". Every finite subset of the square lattice generates a maule by a dynamical process of particles moving on the square lattice. Three well-known lattices are maules: Ferrers diagrams Y(λ) contained in a given diagram λ (ideal of the Young lattice), some tilings on the triangular lattice (equivalent to plane partitions) and the very classic Tamari lattice defined with the notion of "rotation" on binary trees. We thus get a new simple definition of the Tamari lattice. Curiously, the concept of alternative tableaux plays a crucial role in this work. Such tableaux were introduced in a totally different context: the very classical model called PASEP ("partially asymmetric exclusion process"), a toy model in the physics of dynamical systems. Here we need only the subclass of Catalan alternative tableaux, corresponding to the TASEP ("totally asymmetric exclusion process").
By translating the rotation of binary trees in the context of Dyck paths, the classical Tamari lattice has been extended by F.Bergeron to m-Tamari (m integer), and then to any m rational by L.-F. Préville-Ratelle and the speaker. More generally, we defined a Tamari lattice for any path v with elementary steps East end North. We prove that this lattice Tamari(v) is also a maule, which gives a new and more simple definition of this lattice. Again, alternative tableaux (in the case of Catalan) and its avatars (permutation tableaux, tree-like tableaux and staircase tableaux) play a crucial role. These tableaux allow to relate this work with the recent work of C.Ceballos, A. Padrol et C. Sarmiento giving a geometric realization of Tamari(v), analogue to the classical associahedron for the classical Tamari lattice. With this concept of maule, we can also define a new lattice YTam(λ,v), ""mixing" the Young lattice Y(λ) and the Tamari lattice Tamari(v).
ps: "maule" is a Mapuche word (pronounce « ma-ou-lé ») which is one of the areas in Chile, together with the name of a river crossing this area where this work was done, thanks to the invitation of Luc Lapointe from Talca university.
A Catalan alternative tableau
and its corresponding Catalan staircase alternative tableau