An
m-ballot path of size
n is a path on the square grid consisting of north and east unit steps, starting at , ending at , and never going below the line . The set of these paths can be equipped with a lattice structure, called the
m-Tamari lattice and denoted by , which generalizes the usual Tamari lattice obtained when . This lattice was introduced by F. Bergeron in connection with the study of diagonal coinvariant spaces in three sets of
n variables. The representation of the symmetric group on these spaces is conjectured to be closely related to the natural representation of on (labeled) intervals of the
m-Tamari lattice, which we study in this paper.(m+1)n(mn+1)n?2.
The form of these numbers suggests a connection with parking functions, but our proof is not bijective. The starting point is a recursive description of m-Tamari intervals. It yields an equation for an associated generating function, which is a refined version of the Frobenius series of the representation. This equation involves two additional variables x and y, a derivative with respect to y and iterated divided differences with respect to x. The hardest part of the proof consists in solving it, and we develop original techniques to do so, partly inspired by previous work on polynomial equations with ¡°catalytic¡± variables.