Abstract
Kreweras words are words consisting of n \(\mathrm {A}\)’s, n \(\mathrm {B}\)’s, and n \(\mathrm {C}\)’s in which every prefix has at least as many \(\mathrm {A}\)’s as \(\mathrm {B}\)’s and at least as many \(\mathrm {A}\)’s as \(\mathrm {C}\)’s. Equivalently, a Kreweras word is a linear extension of the poset \(\mathsf{V}\times [n]\). Kreweras words were introduced in 1965 by Kreweras, who gave a remarkable product formula for their enumeration. Subsequently they became a fundamental example in the theory of lattice walks in the quarter plane. We study Schützenberger’s promotion operator on the set of Kreweras words. In particular, we show that 3n applications of promotion on a Kreweras word merely swaps the \(\mathrm {B}\)’s and \(\mathrm {C}\)’s. Doing so, we provide the first answer to a question of Stanley from 2009, asking for posets with ‘good’ behavior under promotion, other than the four families of shapes classified by Haiman in 1992. We also uncover a strikingly simple description of Kreweras words in terms of Kuperberg’s \(\mathfrak {sl}_3\)-webs, and Postnikov’s trip permutation associated with any plabic graph. In this description, Schützenberger’s promotion corresponds to rotation of the web.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The famous ballot problem, whose history stretches back to the 19th century, asks in how many ways we can order the ballots of an election between two candidates Alice and Bob, who each receive n votes, so that during the counting of ballots Alice never trails Bob. These ballot orderings co length 2n in the letters \(\mathrm {A}\) and \(\mathrm {B}\), with as many \(\mathrm {A}\)’s as \(\mathrm {B}\)’s, for which every prefix has at least as many \(\mathrm {A}\)’s as \(\mathrm {B}\)’s. Such words are called Dyck words, and they are counted by the ubiquitous Catalan numbers
In 1965, Kreweras [16] considered the following version of a 3-candidate ballot problem: in how many ways can we order the ballots of an election between three candidates Alice, Bob, and Charlie, who each receive n votes, so that during the counting Alice never trails Bob and Alice never trails Charlie—although the relative position of Bob and Charlie may change during the counting? These ballot orderings correspond to words of length 3n in the letters \(\mathrm {A}\), \(\mathrm {B}\), and \(\mathrm {C}\), with equally many \(\mathrm {A}\)’s, \(\mathrm {B}\)’s, and \(\mathrm {C}\)’s, for which every prefix has at least as many \(\mathrm {A}\)’s as \(\mathrm {B}\)’s and also at least as many \(\mathrm {A}\)’s as \(\mathrm {C}\)’s. We call such words Kreweras words. Kreweras proved that they are counted by the formula
For many years Kreweras’s formula seemed like an isolated enumerative curiosity, although simplified proofs were presented by Niederhausen [19, 20] and Kreweras–Niederhausen [15] in the 1980s. Gessel [9] gave yet another proof which demonstrated that the generating function \(\sum _{n=0}^{\infty }K_n \, x^n\) for this sequence of numbers is algebraic. Interest in Kreweras’s result was revived decades later in the context of lattice walk enumeration. Kreweras words evidently correspond to walks in \({\mathbb {Z}}^2\) with steps of the form \(\mathrm {A}=(1,1)\), \(\mathrm {B}=(-1,0)\), and \(\mathrm {C}=(0,-1)\) from the origin to itself which always remain in the nonnegative orthant. Such walks are called Kreweras walks. Bousquet-Mélou [2] gave another proof of Kreweras’s product formula counting Kreweras walks using the kernel method from analytic combinatorics. Indeed, the Kreweras walks are nowadays a fundamental example in the study of “walks with small step sizes in the quarter plane,” a program successfully carried out over a number of years in the 2000s by Bousquet-Mélou and others (see, e.g., [3]). Finally, we note that Bernardi [1] gave a purely combinatorial proof of the product formula for the number of Kreweras walks via a bijection with (decorated) cubic maps.
In this paper we study a cyclic group action on Kreweras words.
Let \(w=(w_1,w_2,\ldots ,w_{3n})\) be a Kreweras word of length 3n. The promotion of w, denoted \({{\,\mathrm{{Pro}}\,}}(w)\), is obtained from w as follows. Let \(\iota (w)\) be the smallest index \(\iota \ge 1\) for which the prefix \((w_1,w_2,\ldots ,w_{\iota })\) has either the same number of \(\mathrm {A}\)’s as \(\mathrm {B}\)’s or the same number of \(\mathrm {A}\)’s as \(\mathrm {C}\)’s. Then
It is easy to verify that \({{\,\mathrm{{Pro}}\,}}(w)\) is also a Kreweras word, and that promotion is an invertible action on the set of Kreweras words.
Example 1.1
Let . Here we circled the letter \(w_{\iota (w)}\), and hence \({{\,\mathrm{{Pro}}\,}}(w) = \mathrm {A}\mathrm {B}\mathrm {A}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\mathrm {B}\). We can further compute that the first several iterates of promotion applied to w are
![](http://media.springernature.com/lw187/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Equ42_HTML.png)
Note that \({{\,\mathrm{{Pro}}\,}}^9(w)\) is obtained from w by swapping all \(\mathrm {B}\)’s for \(\mathrm {C}\)’s and vice-versa.
Our first result predicts the order of promotion on Kreweras words:
Theorem 1.2
Let w be a Kreweras word of length 3n. Then \({{\,\mathrm{{Pro}}\,}}^{3n}(w)\) is obtained from w by swapping all \(\mathrm {B}\)’s for \(\mathrm {C}\)’s and vice-versa. In particular, \({{\,\mathrm{{Pro}}\,}}^{6n}(w)=w\).
Promotion of Kreweras words comes from the theory of partially ordered sets. In a series of papers from the 60s and 70s, Schützenberger [28,29,30] introduced and developed the theory of a cyclic action called promotion, as well as a closely related involutive action called evacuation, on the linear extensions of any poset. Let V(n) denote the Cartesian product of the 3-element “V”-shaped poset and the n-element chain [n]. Then, as observed by Kreweras–Niederhausen [15], the linear extensions of V(n) are in obvious bijection with the Kreweras words of length 3n. And promotion of Kreweras words as described above is the same as Schützenberger’s promotion on the linear extensions of V(n).
Previously there were only four known (non-trivial) families of posets for which the order of promotion can be predicted; see Fig. 4. These were classified by Haiman in the 1990s [10, 11]. In a survey on promotion and evacuation, Stanley [33, §4, Question 3] asked whether there were any other families of posets for which the order of promotion is given by a simple formula. Our work shows that V(n) is such an example.
Dyck words of length 2n correspond to linear extensions of \([2]\times [n]\), and hence carry an action of promotion. Figure 1 depicts a well-known bijection between Dyck words of length 2n and noncrossing matchings of \([2n] {:}{=}\{1,2,\ldots ,2n\}\), and shows how under this bijection promotion of Dyck words corresponds to rotation of noncrossing matchings (this was first observed by Dennis White: see [26, §8]). This observation immediately implies that \({{\,\mathrm{{Pro}}\,}}^{2n}(w)=w\) for w a Dyck word of length 2n.
Our proof of Theorem 1.2 is also essentially based on a diagrammatic representation of Kreweras words for which promotion corresponds to rotation; see Fig. 2. However, these diagrams are not coming from Bernardi’s cubic map bijection. Instead, they are related to Kuperberg’s webs.
Webs are certain trivalent bipartite planar graphs which Kuperberg [17] introduced in order to study the invariant theory of Lie algebras. Khovanov and Kuperberg [14] showed that a particular class of webs (namely, irreducible \(\mathfrak {sl}_3\)-webs with 3n white boundary vertices) are in bijection with linear extensions of \([3]\times [n]\). Petersen, Pylyavskyy, and Rhoades [22] (see also Tymoczko [37]) showed that, via the Khovanov-Kuperberg bijection, rotation of webs corresponds to promotion of linear extensions.
We say that \({\mathcal {W}}\) is a Kreweras web if \({\mathcal {W}}\) is an irreducible \(\mathfrak {sl}_3\)-web with all boundary vertices white and having no internal face with a multiple of four sides. We define a surjective map \(w \mapsto {\mathcal {W}}_w\) from Kreweras words to Kreweras webs. This map behaves well with respect to Schützenberger’s operators:
Theorem 1.3
Let w be a Kreweras word. Then,
-
(a)
\({\mathcal {W}}_{{{\,\mathrm{{Pro}}\,}}(w)} = {{\,\mathrm{{Rot}}\,}}({\mathcal {W}}_{w})\);
-
(b)
\({\mathcal {W}}_{{{\,\mathrm{{Evac}}\,}}(w)} = {{\,\mathrm{{Flip}}\,}}({\mathcal {W}}_{w})\),
where \({{\,\mathrm{{Rot}}\,}}\) denotes the rotation of a web and \({{\,\mathrm{{Flip}}\,}}\) its reflection across a diameter.
The map between Kreweras words and Kreweras webs can be made bijective by keeping track of a certain 3-edge-coloring of the web. We then obtain the following enumerative corollaries.
Theorem 1.4
We have
where the sum is over all Kreweras webs \({\mathcal {W}}\) with 3n boundary vertices, and \(\kappa ({\mathcal {W}})\) is the number of connected components of \({\mathcal {W}}\). Moreover, the number of connected Kreweras webs \({\mathcal {W}}\) with 3n boundary vertices is
A curious feature of our work not present in any previous work we are aware of is the use of trip permutations, in the sense of Postnikov’s theory of plabic graphs [24], to study webs.
The rest of the paper is organized as follows. In Sect. 2 we review promotion and evacuation of linear extensions. In Sect. 3 we prove Theorem 1.2 by using what we call the Kreweras bump diagram of a Kreweras word w, and extracting from this diagram a permutation \(\sigma _w\) which rotates under promotion. This permutation \(\sigma _w\) is in fact a trip permutation. In Sect. 4 we discuss evacuation of Kreweras words, using the theory of growth diagrams. In Sect. 5 we reinterpret our results in the language of webs and plabic graphs. Finally, in Sect. 6 we briefly discuss some possible future directions.
2 Promotion and evacuation of linear extensions
In this section we quickly review background on promotion of linear extensions of posets, and explain precisely how promotion of Kreweras words as defined in Sect. 1 fits into that framework. We assume that the reader is familiar with basic notions from poset theory as laid out for instance in [34, Chapter 3]. Throughout, all posets are assumed to be finite.
Let P be a poset with \(\ell \) elements. For us, a linear extension of P will be a list \((p_1,p_2,\ldots ,p_{\ell })\) of all of the elements of P, each appearing once, for which \(p_i \le p_j\) implies that \(i \le j\). We use \({\mathcal {L}}(P)\) denote the set of linear extensions of P.
For each \(1 \le i \le \ell -1\), we define the involution \(\tau _i:{\mathcal {L}}(P) \rightarrow {\mathcal {L}}(P)\) by
![](http://media.springernature.com/lw541/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Equ43_HTML.png)
In other words, \(\tau _i\) swaps the ith and \((i+1)\)st entries of a linear extension, if possible.
Definition 2.1
Promotion, \({{\,\mathrm{{Pro}}\,}}:{\mathcal {L}}(P)\rightarrow {\mathcal {L}}(P)\), is the following composition of \(\tau _i\):
Being a composition of involutions, promotion is evidently invertible. There is another definition of promotion in terms of jeu de taquin slides, but we find the definition as composition of the \(\tau _i\) more convenient; see Stanley’s survey [33, §2] for the details.
Recall that in Sect. 1 we defined to be the poset which is the Cartesian product of the 3-element “V”-shaped poset and the n-element chain. We label the 3n elements of V(n) by the symbols \(\mathrm {A}_1,\mathrm {A}_2,\ldots ,\mathrm {A}_n\), \(\mathrm {B}_1,\mathrm {B}_2,\ldots ,\mathrm {B}_n\), and \(\mathrm {C}_1,\mathrm {C}_2,\ldots ,\mathrm {C}_n\) as depicted in Fig. 3.
Now let us show that promotion of Kreweras words is the same as promotion of linear extensions of V(n):
Proposition 2.2
“Removing the subscripts” is a bijection from linear extensions of V(n) to Kreweras words of length 3n, and under this bijection, promotion of linear extensions corresponds to promotion of Kreweras words as was defined in Sect. 1.
Proof
The claim about removing the subscripts being a bijection is straightforward. The comparison of the two promotions is also essentially straightforward. Let w be a Kreweras word of length 3n, and consider the \(\tau _i\) as acting on w via the aforementioned bijection. Then the effect of \(\tau _i\) on w is
Consider the application of \(\tau _{3n-1} \circ \cdots \circ \tau _1\) to w. Recall the definition of \(\iota (w)\) from Sect. 1. When applying \(\tau _i\) for \(i=1,\ldots ,\iota (w)-2\) to w, we will never be in the “otherwise” case above; so the effect of \(\tau _{\iota (w)-2} \circ \cdots \circ \tau _{1}\) will be to cyclically rotate the substring \((w_1,\ldots ,w_{\iota (w)-1})\). In other words, we “push” the initial \(\mathrm {A}\) in w as far to the right as we can. Then, when applying \(\tau _{\iota (w)-1}\) we will for the first time be in the “otherwise” case, so \(\tau _{\iota (w)-1}\) will act as the identity. Finally, when applying \(\tau _i\) for \(i=\iota (w)+1,\ldots ,3n-1\) to w, we will again never be in the “otherwise” case; so the effect of \(\tau _{3n-1} \circ \cdots \circ \tau _{\iota (w)}\) will be to cyclically rotate the substring \((w_{\iota (w)},\ldots ,w_{3n})\). In other words, we “push” the \(\mathrm {B}\) or \(\mathrm {C}\) in position \(\iota (w)\) all the way to the end. Thus \(\tau _{3n-1} \circ \cdots \circ \tau _1\) indeed acts on w in the same way as \({{\,\mathrm{{Pro}}\,}}\), as was defined in Sect. 1. \(\square \)
Next, in order to motivate the study of (powers of) promotion, let us recall the basic results concerning promotion and its close cousin evacuation which were established by Schützenberger.
Definition 2.3
Evacuation, \({{\,\mathrm{{Evac}}\,}}:{\mathcal {L}}(P)\rightarrow {\mathcal {L}}(P)\), is the following composition of \(\tau _i\):
Again, there is an alternative definition of evacuation in terms of jeu de taquin. Historically, interest in evacuation arose because of its close connection with the Robinson-Schensted correspondence.
There is an obvious duality between the linear extensions of P and of its dual poset \(P^*\): for \(L = (p_1,\ldots ,p_{\ell }) \in {\mathcal {L}}(P)\), we use \(L^*\) to denote the linear extension \(L^* {:}{=}(p_{\ell },p_{\ell -1},\ldots ,p_1) \in {\mathcal {L}}(P^*)\) of the dual poset.
Dual evacuation, \({{\,\mathrm{{Evac}}\,}}^{*}:{\mathcal {L}}(P)\rightarrow {\mathcal {L}}(P)\), is defined by \({{\,\mathrm{{Evac}}\,}}^{*}(L) {:}{=}({{\,\mathrm{{Evac}}\,}}(L^*))^*\). In some sense, dual evacuation is “just as natural” as evacuation. In terms of the involutions \(\tau _i\), we have
Note that \(L \mapsto ({{\,\mathrm{{Pro}}\,}}(L^*))^*\) is just \({{\,\mathrm{{Pro}}\,}}^{-1}\), so we do not give it a different name.
The basic results of Schützenberger [28,29,30] on promotion and evacuation of an arbitrary poset P are summarized in the following proposition; again, see Stanley [33, §2] for a modern presentation.
Proposition 2.4
For any poset P, we have that:
-
\({{\,\mathrm{{Evac}}\,}}\) and \({{\,\mathrm{{Evac}}\,}}^{*}\) are both involutions;
-
\({{\,\mathrm{{Evac}}\,}}\circ {{\,\mathrm{{Pro}}\,}}= {{\,\mathrm{{Pro}}\,}}^{-1} \circ {{\,\mathrm{{Evac}}\,}}\);
-
\({{\,\mathrm{{Pro}}\,}}^{\#P} = {{\,\mathrm{{Evac}}\,}}^{*} \circ {{\,\mathrm{{Evac}}\,}}\).
Because \({{\,\mathrm{{Pro}}\,}}^{\#P}\) is the composition of the “natural” involutions \({{\,\mathrm{{Evac}}\,}}\) and \({{\,\mathrm{{Evac}}\,}}^{*}\), this power of \({{\,\mathrm{{Pro}}\,}}\) is somehow the “right” power to consider. (Sometimes older sources refer to \({{\,\mathrm{{Pro}}\,}}^{\#P}\) as total promotion, but we will eschew this terminology as it tends to confuse.) Following [33, §4], we now review the posets P for which the behavior of \({{\,\mathrm{{Pro}}\,}}^{\#P}\) is understood.
The fundamental properties of jeu de taquin which Schützenberger established in [31] imply that for \(P=[k] \times [n]\) a product of two chains, a.k.a. a rectangle, \({{\,\mathrm{{Pro}}\,}}^{\#P}\) is the identity. While studying reduced decompositions in the symmetric group, Edelman and Greene [4] showed that for P a staircase (depicted in Fig. 4b by way of example), \({{\,\mathrm{{Pro}}\,}}^{\#P}\) is transposition (i.e., the poset automorphism that is the reflection across the vertical axis of symmetry). Finally, Haiman [10] showed that for P a shifted double staircase (Fig. 4c) or a shifted trapezoid (Fig. 4d), \({{\,\mathrm{{Pro}}\,}}^{\#P}\) is the identity; and he did this using a general method (based on his notion of dual equivalence) which recaptures the rectangle and staircase results as well. In a follow-up paper, Haiman and Kim [11] proved moreover that among Young diagram shapes and shifted shapes, the posets in Fig. 4 are the only families for which \({{\,\mathrm{{Pro}}\,}}^{\#P}\) is the identity or transposition.
In [33, §4, Question 3], Stanley asked whether there are any other (non-trivial) families of posets, beyond those depicted in Fig. 4, for which \({{\,\mathrm{{Pro}}\,}}^{\#P}\) can be described. Our main result, Theorem 1.2, shows that V(n) is such an example: for \(P=V(n)\), \({{\,\mathrm{{Pro}}\,}}^{\#P}\) is “transposition” (i.e., reflection across the vertical axis of symmetry).
3 The order of promotion
In this section we prove Theorem 1.2. Throughout we fix a nonnegative integer n as in the statement of that theorem. Also, from now on we adopt the notational convention \(-\mathrm {B}: = \mathrm {C}\) and \(-\mathrm {C}{:}{=}\mathrm {B}\).
Our strategy is to associate to each Kreweras word a permutation, such that promotion of the Kreweras word corresponds to rotation of the permutation.
Definition 3.1
We use \({\mathfrak {S}}_{m}\) to denote the symmetric group on m letters. We represent permutations \(\sigma \in {\mathfrak {S}}_{m}\) either via cycle notation, or via one-line notation as \(\sigma = [\sigma (1),\ldots ,\sigma (m)]\). For \(\sigma \in {\mathfrak {S}}_{m}\), the rotation of \(\sigma \), denoted \({{\,\mathrm{{Rot}}\,}}(\sigma )\), is the (right) conjugation of \(\sigma \) by the long cycle \((1,2,\ldots ,m) \in {\mathfrak {S}}_{m}\); i.e.,
Rotation of a permutation as we have just defined it corresponds to rotation of its functional digraph representation.
We first associate a diagram to a Kreweras word, which we will then use to obtain the desired permutation. This diagram will be built out of arcs, and the crossings of the arcs in the diagram will play a significant role. So let us review notions related to arcs and crossings.
Definition 3.2
An arc is a pair (i, j) of positive integers with \(i < j\). A crossing is a set \(\{(i,j),(k,\ell )\}\) of two arcs such that \(i\le k< j < \ell \).
Note that this definition slightly deviates from the usual notion, in that the pairs (i, j) and \((i,\ell )\) form a crossing. However, this modification is only relevant when considering Kreweras bump diagrams, defined below.
Definition 3.3
Let \({\mathcal {A}}\) be a collection of arcs. For a set of positive integers S, we say that \({\mathcal {A}}\) is a noncrossing matching of S if for every \((i,j)\in {\mathcal {A}}\) we have \(i,j \in S\), every \(i\in S\) belongs to a unique arc in \({\mathcal {A}}\), and no two arcs in \({\mathcal {A}}\) form a crossing. The set of openers of \({\mathcal {A}}\) is \(\{i:(i,j)\in {\mathcal {A}}\}\) and the set the set of closers of \({\mathcal {A}}\) is \(\{j:(i,j)\in {\mathcal {A}}\}\).
The bijection between Dyck words and noncrossing matchings suggested by Fig. 1 enters into the definition of the diagram we associate to a Kreweras word, so let us now formalize this bijection. Let w be a Dyck word of length 2n. We associate to w the unique noncrossing matching of [2n] whose set of openers is \(\{i\in [2n]:w_i=\mathrm {A}\}\) and whose set of closers is \(\{i\in [2n]:w_i=B\}\). This sets up a (well-known) bijection between the Dyck words of length 2n and the noncrossing matchings of [2n].
A Kreweras word can be thought of as two overlapping Dyck words, and hence has two noncrossing matchings naturally associated to it. As we now explain, the diagram for our Kreweras word will be the union of these two noncrossing matchings.
Definition 3.4
Let w be a Kreweras word of length 3n. Let \(\varepsilon \in \{\mathrm {B},\mathrm {C}\}\). We use \({\mathcal {M}}^\varepsilon _w\) to denote the noncrossing matching of \(\{i\in [3n]:w_i\ne -\varepsilon \}\) whose set of openers is \(\{i\in [3n]:w_i= \mathrm {A}\}\) and whose set of closers is \(\{i\in [3n]:w_i=\varepsilon \}\).
The Kreweras bump diagram \({\mathcal {D}}_w\) of w is obtained by placing the numbers \(1,\ldots ,3n\) in this order on a line, and drawing a semicircle above the line connecting i and j for each arc \((i, j)\in {\mathcal {M}}^{B}_w \cup {\mathcal {M}}^{C}_w\). The arc is solid blue if \((i,j)\in {\mathcal {M}}^{B}_w\) and dashed crimson (i.e., red) if \((i,j) \in {\mathcal {M}}^{C}_w\). The arcs are drawn in such a fashion that only pairs of arcs which form a crossing intersect, and any two arcs intersect at most once.
Example 3.5
As in Example 1.1, let \(w = \mathrm {A}\mathrm {A}\mathrm {B}\mathrm {B}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\). The two noncrossing matchings \({\mathcal {M}}^B_w\) and \({\mathcal {M}}^C_w\), drawn as arc diagrams, are
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figa_HTML.png)
The Kreweras bump diagram \({\mathcal {D}}_w\) is obtained by placing these two arc diagrams on top of one another:
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figb_HTML.png)
Now we extract from \({\mathcal {D}}_w\) a permutation \(\sigma _w \in {\mathfrak {S}}_{3n}\).
Definition 3.6
Let w be a Kreweras word of length 3n and let \({\mathcal {D}}_w\) be its associated Kreweras bump diagram. We define the trip permutation \(\sigma _w \in {\mathfrak {S}}_{3n}\) of w as follows. For each \(i\in \{1,\ldots ,3n\}\), we define \(\sigma _w(i)\) by taking a trip in \({\mathcal {D}}_w\) starting at i, as we now describe. If i is a closer of \({\mathcal {M}}^B_w\cup {\mathcal {M}}^C_w\), then we start our trip by walking from i towards \(i'\) along the unique arc \((i',i)\) incident to i; if i is an opener of \({\mathcal {M}}^B_w\cup {\mathcal {M}}^C_w\), then we start our trip by walking from i towards \(i'\) along the arc \((i,i')\) incident to i with the smallest value of \(i'\). We continue walking until we encounter a crossing. Whenever we encounter a crossing of arcs (a, b) and (c, d) with \(a\le c< b < d\), we follow the rules of the road: we continue towards
-
b, if coming from a;
-
a, if coming from c – this is a left turn;
-
d, if coming from b – this is a right turn; and
-
c, if coming from d.
These rules of the road are depicted in Fig. 5. Finally, if j is the terminal vertex of the trip, we set \(\sigma _w(i) {:}{=}j\).
Example 3.7
As in Example 3.5, let \(w = \mathrm {A}\mathrm {A}\mathrm {B}\mathrm {B}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\).
First let us compute \(\sigma _w(1)\). We start by walking along the arc (1, 4) from 1 towards 4. We encounter the crossing \(\{(1,4),(2,5)\}\), but following the first rule we continue towards 4, where we terminate. Thus, \(\sigma _w(1)=4\). This trip looks pictorially as follows:
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figc_HTML.png)
Next, let us compute \(\sigma _w(4)\). We start by walking along the arc (1, 4) from 4 towards 1. As we encounter the crossing \(\{(1,4),(2,5)\}\) we turn right, and continue along the arc (2, 5) from 2 towards 5, where we terminate. Thus, \(\sigma _w(4)=5\):
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figd_HTML.png)
Next, let us compute \(\sigma _w(3)\). We start by walking along the arc (2, 3) from 3 towards 2. As we encounter the boundary crossing \(\{(2,3),(2,5)\}\) we turn right, and continue along the arc (2, 5) from 2 towards 5. Then we encounter the crossing \(\{(1,4),(2,5)\}\) turn left, and continue along the arc (1, 4) from 4 towards 1. At the boundary crossing \(\{(1,4),(1,8)\}\) we turn right, and continue along the arc (1, 8) from 1 towards 8. Next we encounter the crossing \(\{(1,8),(6,9)\}\), but continue straight along the arc (1, 8) from 1 towards 8, where we terminate. Thus, \(\sigma _w(3) = 8\).
![figure e](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Fige_HTML.png)
Finally, let us compute \(\sigma _w(7)\). We start by walking along the arc (6, 7) from 7 towards 6. There we encounter the boundary crossing \(\{(6,7),(6,9)\}\) and turn right, so that we continue along the arc (6, 9) from 6 towards 9. As we encounter the crossing \(\{(1,8),(6,9)\}\) we turn left, and continue along the arc (1, 8) from 8 towards 1. We encounter the boundary crossing \(\{(1,4),(1,8)\}\), and terminate at 1. Thus, \(\sigma _w(7)=1\).
![figure f](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figf_HTML.png)
We could further compute \([\sigma _w(1),\ldots ,\sigma _w(9)] = [4,3,8,5,2,7,1,9,6]\).
Next we establish some basic properties of \(\sigma _w\).
Proposition 3.8
Let w be a Kreweras word of length 3n.
-
(a)
Definition 3.6 yields a permutation \(\sigma _w \in {\mathfrak {S}}_{3n}\).
-
(b)
Let \(1 \le i \le 3n\) with \(w_i=\mathrm {A}\). Then \(w_{\sigma (i)} \in \{\mathrm {B},\mathrm {C}\}\).
-
(c)
Let \(1 \le i \le 3n\) with \(w_i \in \{\mathrm {B},\mathrm {C}\}\). Then either \(w_{\sigma _w(i)}=-w_i\), or \(w_{\sigma _w(i)}=\mathrm {A}\) and \(w_{\sigma _w(\sigma _w(i))}=-w_i\).
-
(d)
We have
$$\begin{aligned} \{i \in [3n]:w_i = \mathrm {A}\}&= \{i\in [3n]:\sigma _w^{-1}(i) > i\}; \\ \{i \in [3n]:w_i = \mathrm {B}\text { or }w_i=\mathrm {C}\}&= \{i\in [3n]:\sigma _w^{-1}(i) < i\}. \end{aligned}$$In particular, \(\sigma _w\) has no fixed points.
Proof
For (a): this follows from the fact that the rules of the road permute the incoming and outgoing directions locally at each crossing.
For (b): if \(w_i=\mathrm {A}\), then the trip in \({\mathcal {D}}_w\) starting at i will never turn at a crossing. Hence \(\sigma _w(i)\) will be the index of the nearer \(\mathrm {B}\) or \(\mathrm {C}\) that is matched with the \(\mathrm {A}\) at i.
For (c): observe that if \(w_i\ne \mathrm {A}\), then the trip in \({\mathcal {D}}_w\) starting at i starts heading towards an index j with \(w_j = \mathrm {A}\). Moreover, the sequence of turns such a trip makes is a right turn, followed by a left turn, followed by a right turn, et cetera. Whenever the trip turns right, it heads towards an index j with \(w_j \ne \mathrm {A}\), and whenever it turns left, it heads towards a j with \(w_j = \mathrm {A}\). If the trip turns an odd number of times in total, it terminates at a j with \(w_j\ne \mathrm {A}\), and because only oppositely colored arcs of \({\mathcal {D}}_w\) cross, this means in fact \(w_j = -w_i\). If the trip turns an even number of times it terminates at a j with \(w_j = \mathrm {A}\), and again because only oppositely colored arcs of \({\mathcal {D}}_w\) cross, we see from the proof of (b) above that \(w_{\sigma _w(j)}=-w_i\).
For (d): we will show that \(\sigma _w(j) < j\) if and only if \(\sigma _w(j)=\mathrm {A}\), for any \(1 \le j \le 3n\). If \(w_j=\mathrm {A}\) then this is clear from the proof of (b) above. So suppose \(w_j \ne \mathrm {A}\). If the trip in \({\mathcal {D}}_w\) starting at j never turns, the claim is also clear. So suppose further the trip starting at j does turn, and suppose the arcs we traverse along the trip are, in order, \((i_0,j_0=j), (i_1,j_1),\ldots , (i_{\ell },j_{\ell })\). Then, first note that \(i_0< j < j_1\). Furthermore, we claim that for all \(2\le k\le \ell \), the arc \((i_k,j_k)\) nests \((i_{k-2},j_{k-2})\): i.e., \(i_k< i_{k-2}< j_{k-2} < j_k\). Indeed, otherwise either we would not encounter a crossing with \((i_k,j_k)\) when traveling along \((i_{k-1},j_{k-1})\) from the crossing with \((i_{k-2},j_{k-2})\), or we would not turn at such a crossing. To finish the proof of the claim, note that if \(\ell \) is even then \(\sigma _w(j)=i_{\ell }\) and \(w_{i_{\ell }}=\mathrm {A}\) [see the proof of (c) above], and then the nesting property implies \(i_{\ell }< i_0 < j\). Similarly, if \(\ell \) is odd then \(\sigma _w(j)=j_{\ell }\) and \(w_{j_{\ell }}\ne \mathrm {A}\), and then the nesting property implies \(j< j_1 < j_{\ell }\). \(\square \)
The permutation \(\sigma _w\) does not quite determine the Kreweras word w. For example, if \(w'\) is obtained from w by swapping all \(\mathrm {B}\)’s for \(\mathrm {C}\)’s and vice-versa, then clearly we have \(\sigma _w = \sigma _{w'}\). So we need to keep track of a little extra data along with \(\sigma _w\). To that end, we define the map \(\varepsilon _w:\{1,\ldots ,3n\} \rightarrow \{\mathrm {B}, \mathrm {C}\}\) by setting
for all \(1 \le i \le 3n\). Proposition 3.8 (b) guarantees that \(\varepsilon _w(i)\in \{\mathrm {B}, \mathrm {C}\}\). As a shorthand we write \(\varepsilon _w=[\varepsilon _w(1),\ldots ,\varepsilon _w(3n)]\). Thanks to Proposition 3.8 (d), the pair \((\sigma _w,\varepsilon _w)\) determines w:
Corollary 3.9
For any Kreweras word w of length 3n,
for all \(1 \le i \le 3n\).
We now come to the key lemma in the proof of our main result, which says that \(\sigma _w\) and \(\varepsilon _w\) evolve in a simple way under promotion.
Lemma 3.10
Let w be a Kreweras word of length 3n. Then,
-
(a)
\(\sigma _{{{\,\mathrm{{Pro}}\,}}(w)} = {{\,\mathrm{{Rot}}\,}}(\sigma _w)\);
-
(b)
\(\varepsilon _{{{\,\mathrm{{Pro}}\,}}(w)} = [\varepsilon _w(2),\varepsilon _w(3),\ldots ,\varepsilon _w(3n), -\varepsilon _w(1)]\).
Before we prove Lemma 3.10, let’s see an example.
Example 3.11
As in Example 3.7, let \(w = \mathrm {A}\mathrm {A}\mathrm {B}\mathrm {B}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\). We saw above that \(\sigma _w = [4,3,8,5,2,7,1,9,6]\). We also have \(\varepsilon _w=[\mathrm {B}, \mathrm {B}, \mathrm {C}, \mathrm {C}, \mathrm {B}, \mathrm {C}, \mathrm {B}, \mathrm {B}, \mathrm {C}]\).
As we saw in Example 1.1, \({{\,\mathrm{{Pro}}\,}}(w) = \mathrm {A}\mathrm {B}\mathrm {A}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\mathrm {B}\). Its associated bump diagram is
![figure g](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figg_HTML.png)
>From the diagram \({\mathcal {D}}_{{{\,\mathrm{{Pro}}\,}}(w)}\) one could compute that \(\sigma _{{{\,\mathrm{{Pro}}\,}}(w)}=[2, 7, 4, 1, 6, 9, 8, 5, 3]\) and \(\varepsilon _{{{\,\mathrm{{Pro}}\,}}(w)}=[\mathrm {B}, \mathrm {C}, \mathrm {C}, \mathrm {B}, \mathrm {C}, \mathrm {B}, \mathrm {B}, \mathrm {C}, \mathrm {C}]\), in agreement with Lemma 3.10.
We proceed to prove Lemma 3.10.
Proof of Lemma 3.10
The key to the proof is the following procedure to obtain the Kreweras bump diagram \({\mathcal {D}}_{{{\,\mathrm{{Pro}}\,}}(w)}\) from \({\mathcal {D}}_w\).
Figure illustrating the proof of Lemma 3.10
Let \((1,b)\in {\mathcal {M}}^\mathrm {B}_w\) and \((1,c)\in {\mathcal {M}}^\mathrm {C}_w\), and suppose that \(b < c\) without loss of generality. Let \({\widetilde{{\mathcal {N}}}}^\mathrm {B}{:}{=}({\mathcal {M}}^\mathrm {B}_w\setminus \{(1,b)\} )\cup \{(b, 3n+1)\}\). This is a noncrossing matching, because \(i< b< j < 3n+1\) would imply \(1< i< b < j\). Furthermore, let
where \(\{(i_1,j_1),\dots ,(i_m,j_m)\}\) is the set of arcs in \({\mathcal {M}}^\mathrm {C}_w\) with
that is, the set of arcs which cross (1, b). \({\widetilde{{\mathcal {N}}}}^\mathrm {C}\) is a noncrossing matching: for example, suppose that an arc (i, j) satisfies \(i< i_\ell< j < j_{\ell -1}\); then we have in fact \(j < b\) because (i, j) cannot cross (1, b). The other cases are dealt with similarly.
Let \(\varepsilon \in \{\mathrm {B}, \mathrm {C}\}\) and let \({\mathcal {N}}^\varepsilon \) be obtained from \({\widetilde{{\mathcal {N}}}}^\varepsilon \) by replacing every arc (i, j) with \((i-1, j-1)\). Then \({\mathcal {N}}^\varepsilon \) is a noncrossing matching of \(\{i\in [3n]:{{\,\mathrm{{Pro}}\,}}(w)_i \ne \varepsilon \}\) with set of openers \(\{i\in [3n]:{{\,\mathrm{{Pro}}\,}}(w)_i= \mathrm {A}\}\) and set of closers \(\{i\in [3n]:{{\,\mathrm{{Pro}}\,}}(w)_i=\varepsilon \}\). Since the set of openers and the set of closers uniquely determine a noncrossing matching, \({\mathcal {D}}_{{{\,\mathrm{{Pro}}\,}}(w)} = {\mathcal {N}}^\mathrm {B}\cup {\mathcal {N}}^\mathrm {C}\).
We define the trip permutation of \({\widetilde{{\mathcal {N}}}}^\mathrm {B}\cup {\widetilde{{\mathcal {N}}}}^\mathrm {C}\) in the obvious way, by taking trips starting at \(2 \le i \le 3n+1\) and using the rules of the road. We now show that \(\sigma _w\) coincides with the trip permutation of \({\widetilde{{\mathcal {N}}}}^\mathrm {B}\cup {\widetilde{{\mathcal {N}}}}^\mathrm {C}\), provided we identify 1 and \(3n+1\). To do so, we subdivide every arc of \({\mathcal {D}}_w\) crossing (1, b) into an initial, a middle and a final part, such that the middle part contains the crossing with (1, b) and no other crossings. Additionally, slightly abusing language, we say that the arc (1, b) only has a middle part and (1, c) consists only of a middle part (containing only the crossing with (1, b)) and a final part.
Similarly, we subdivide every arc of \({\widetilde{{\mathcal {N}}}}^\mathrm {B}\cup {\widetilde{{\mathcal {N}}}}^\mathrm {C}\) in \(\{(i_1,c),(i_2,j_1),\dots ,(i_m,j_{m-1})\}\) into an initial, a middle and a final part, such that the middle part contains the crossing with \((b,3n+1)\) and no other crossings. Additionally, we say that \((b,j_m)\) consists only of a middle part (containing only the crossing with \((b,3n+1)\)) and a final part, and \((b,3n+1)\) only has a middle part.
We now note that the initial and the final parts of the arcs in \({\mathcal {D}}_w\) and \({\widetilde{{\mathcal {N}}}}^\mathrm {B}\cup {\widetilde{{\mathcal {N}}}}^\mathrm {C}\) are identical. It therefore suffices to check that the portions of a trip proceeding in a middle part also begin and end at the same arcs in \({\mathcal {D}}_w\) and \({\widetilde{{\mathcal {N}}}}^\mathrm {B}\cup {\widetilde{{\mathcal {N}}}}^\mathrm {C}\) (provided we identify 1 and \(3n+1\)). Labeling the beginnings of the middle parts in \({\mathcal {D}}_w\) from left to right with \(1, s_1,\dots , s_m\) and their endings with \(b, t_m,\dots , t_1, t_0\) and the beginnings of the middle parts in \({\widetilde{{\mathcal {N}}}}^\mathrm {B}\cup {\widetilde{{\mathcal {N}}}}^\mathrm {C}\) from left to right with \(s_1,\dots , s_m, b\) and their endings with \(t_m,\dots , t_1, t_0, 1=3n+1 \), we find that in both cases the trip connects these as follows:
This is depicted in Fig. 6.
This proves (a). For (b): define \(\varepsilon '_w = [\varepsilon '_w(1),\ldots ,\varepsilon '_w(3n)]\) by
Recall [see the proof of Proposition 3.8(b)] that for i with \(w_i=\mathrm {A}\), \(\sigma _w(i)\) is just the index of the nearer \(\mathrm {B}\) or \(\mathrm {C}\) that is matched with the \(\mathrm {A}\) at i. Hence
Together with (a), this observation proves (b). \(\square \)
Theorem 1.2 follows easily from Lemma 3.10:
Proof of Theorem 1.2
Lemma 3.10 says \(\varepsilon _{{{\,\mathrm{{Pro}}\,}}^{3n}(w)} = [-\varepsilon _{w}(1),-\varepsilon _{w}(2),\ldots ,-\varepsilon _{w}(3n)]\) and \(\sigma _{{{\,\mathrm{{Pro}}\,}}^{3n}(w)} = \sigma _w\). Thus Corollary 3.9 implies that \({{\,\mathrm{{Pro}}\,}}^{3n}(w)\) is obtained from w by swapping all \(\mathrm {B}\)’s for \(\mathrm {C}\)’s and vice-versa, as claimed. \(\square \)
4 Evacuation of Kreweras words
Via the bijection between Kreweras words of length 3n and linear extensions of V(n) described in Proposition 2.2, we can also view evacuation as acting on the set of Kreweras words. In this section we will describe the evacuation of a Kreweras word, using some of the machinery from Sect. 3. As we will see, just as with promotion, evacuation has a very simple effect on \(\sigma _w\) and \(\varepsilon _w\).
In order to study evacuation of Kreweras words, we will employ another formulation of promotion and evacuation of linear extensions in terms of growth diagrams. This approach is discussed in [33, §5]; it is essentially due to Fomin (see, e.g., [32, Chapter 7: Appendix 1]).
Let P be a poset with \(\ell \) elements. An order ideal of P is a subset \(I\subseteq P\) that is downwards-closed, i.e., for which \(q \in I\) and \(p \le q \in P\) implies that \(p \in I\). The set of order ideals of P is denoted \({\mathcal {J}}(P)\). A linear extension \((p_1,p_2,\ldots ,p_{\ell }) \in {\mathcal {L}}(P)\) corresponds to a chain \(I_0 \subset I_1 \subset \cdots \subset I_{\ell } \in {\mathcal {J}}(P)\) of order ideals of length \(\ell \), where we set \(I_{i} {:}{=}\{p_1,p_2,\ldots ,p_i\}\) for \(0 \le i \le \ell \). This sets up a (well-known) bijection between linear extensions of P and maximal chains of order ideals of P.
Definition 4.1
Let \(L \in {\mathcal {L}}(P)\) be a linear extension. The growth diagram of L is a labeling of the subset \(D {:}{=}\{(x,y) \in {\mathbb {Z}}^2:-y-\ell \le x \le -y\}\) of the two-dimensional grid \({\mathbb {Z}}^2\) by order ideals \(I_{(x,y)} \in {\mathcal {J}}(P)\), \((x,y)\in D\), subject to the following conditions:
-
\(I_{(-\ell +k,-k)}=\varnothing \) and \(I_{(k,-k)}=P\) for all \(k\in {\mathbb {Z}}\);
-
\(I_{(-\ell ,0)} \subset I_{(-\ell +1,0)} \subset \cdots \subset I_{(0,0)}\) is the chain corresponding to L;
-
for any four points \((x,y), (x,y+1), (x+1,y), (x+1,y+1) \in D\), the labeling obeys the following local rule: if \(I_{(x,y)} = I\), \(I_{(x,y+1)} = I\cup \{p\}\), and \(I_{(x+1,y+1)} = I\cup \{p,q\}\), then
$$\begin{aligned} I_{(x+1,y)} = {\left\{ \begin{array}{ll} I\cup \{q\} &{}\text {if }p\text { and }q\text { are incomparable in }P; \\ \ I\cup \{p\} &{}\text {if }p < q\text { in }P. \end{array}\right. }\end{aligned}$$This rule is depicted in Fig. 7.
In the following proposition we summarize the basic results about growth diagrams of linear extensions. The essential idea is that all paths of length \(\ell \) from a point of the form \((-\ell +k,-k)\) to a point of the form \((j,-j)\) correspond to linear extensions, and the local rule in Fig. 7 reflects the behavior of the involutions \(\tau _i\) from Sect. 2. See [33, §5] for the details and references.
Proposition 4.2
For any \(L \in {\mathcal {L}}(P)\),
-
The growth diagram of L is well-defined, i.e., there is a unique order ideal labeling \(I_{(x,y)}\in {\mathcal {J}}(P)\), \((x,y)\in D\) satisfying the conditions in Definition 4.1;
-
For any \(k \in {\mathbb {Z}}\), the chain \(I_{(-\ell +k,-k)} \subset I_{(-\ell +k+1,-k)} \subset \cdots \subset I_{(k,-k)}\) corresponds to \({{\,\mathrm{{Pro}}\,}}^{k}(L)\);
-
The chain \(I_{(0,-\ell )} \subset I_{(0,-\ell +1)} \subset \cdots \subset I_{(0,0)}\) corresponds to \({{\,\mathrm{{Evac}}\,}}(L)\).
Example 4.3
Let P be the following three-element poset:
![figure h](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figh_HTML.png)
Consider the linear extension \(L=(p,q,r)\in {\mathcal {L}}(P)\). Then, writing subsets as strings for shorthand, the portion of the growth diagram of L with y coordinate between 0 and \(-3\) is
![figure i](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figi_HTML.png)
>From this diagram we can read off \({{\,\mathrm{{Pro}}\,}}^3(L)=L\) and \({{\,\mathrm{{Evac}}\,}}(L) = (r,p,q)\).
Proposition 4.2 implies that simple geometric operations on growth diagrams have combinatorial meaning:
Corollary 4.4
For any \(L \in {\mathcal {L}}(P)\),
-
(a)
For any \(k \in {\mathbb {Z}}\), the growth diagram for \({{\,\mathrm{{Pro}}\,}}^{k}(L)\) is obtained from the growth diagram for L by translating by the vector \((-k,k)\);
-
(b)
The growth diagram for \({{\,\mathrm{{Evac}}\,}}(L)\) is obtained from the growth diagram for L by reflecting across the line \(y=x\).
Proof
The first bulleted item is an immediate consequence of Proposition 4.2. The second is also an immediate consequence of Proposition 4.2, as soon as one observes that the local rule in Fig. 7 is symmetric under swapping x- and y-coordinates. \(\square \)
Via the geometric operations described in Corollary 4.4, the basic properties concerning promotion and evacuation summarized in Proposition 2.4 are easily obtained via this growth diagram approach.
Now let’s think about what growth diagrams look like for our poset of interest, V(n). There is an obvious bijection
which sends I to (a, b, c) where \(a= \max \{i \in {\mathbb {N}}:\{\mathrm {A}_1,\mathrm {A}_2,\ldots ,\mathrm {A}_i\}\subseteq I\}\) and similarly for b and c. We consider growth diagrams for linear extensions of V(n) labeled by elements of J(n) via this bijection. The local rule then becomes: if \(I_{(x,y)} = (a,b,c)\), \(I_{(x,y+1)} = (a,b,c)+e_i\), and \(I_{(x+1,y+1)} = (a,b,c)+e_i+e_j\), then
Here we have \(i,j \in \{\mathrm {A},\mathrm {B},\mathrm {C}\}\), and we use the conventions that \(e_{\mathrm {A}} {:}{=}(1,0,0)\), \(e_{\mathrm {B}} {:}{=}(0,1,0)\), and \(e_{\mathrm {C}} {:}{=}(0,0,1)\). This is depicted in Fig. 8.
Let us further decorate the growth diagram of a linear extension of V(n) in the following way. We refer to \((x,y), (x,y+1), (x+1,y), (x+1,y+1)\) as the square in position (x, y). If in a growth diagram of a linear extension of V(n) these four points constitute an “otherwise” case in Fig. 8, then we fill this square with \(j \in \{\mathrm {B},\mathrm {C}\}\), where \(e_j\) is as in that figure.
Via the bijection of Proposition 2.2, linear extensions of V(n) are the same as Kreweras words of length 3n. In this way, for such a Kreweras word w we obtain a labeling of \(\{(x,y) \in {\mathbb {Z}}^2:-y-3n \le x \le -y\}\) by \(J(n) = \{(a,b,c)\in {\mathbb {N}}^3:b,c\le a \le n\}\), which furthermore has some of its squares filled with \(\mathrm {B}\)’s and \(\mathrm {C}\)’s. We call this whole object the decorated growth diagram of w.
>From now on in this section we will work with decorated growth diagrams of Kreweras words of length 3n.
Example 4.5
As in Example 3.11, let \(w = \mathrm {A}\mathrm {A}\mathrm {B}\mathrm {B}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\). Then Fig. 9 depicts the portion of the decorated growth diagram for w with y coordinate between 0 and \(-9\). In this figure we use the string abc as shorthand for \((a,b,c) \in J(n)\).
For \(i \in {\mathbb {Z}}\), let us refer to the set of squares in positions of the form \((x,-i)\) as the ith row of a diagram. Similarly, for \(j\in {\mathbb {Z}}\), let us refer to the set of squares in positions of the form \((-3n-1+j,y)\) as the jth column of a diagram. Example 4.5 may have suggested that in every row of the decorated growth diagram of a Kreweras word there is a unique filled square. This is true:
Proposition 4.6
Let w be a Kreweras word of length 3n and consider its decorated growth diagram. Recall the definition of \(\iota (w)\) from Sect. 1. Then for any \(i \in {\mathbb {Z}}\), the square in the ith row and \((\iota (w')+i-1)\)th column is filled with the letter \(w'_{\iota (w')}\), where \(w' {:}{=}{{\,\mathrm{{Pro}}\,}}^{i-1}(w)\). This is the unique filled square in the ith row.
Proof
By the translation symmetry of growth diagrams, Corollary 4.4 (a), it is enough to prove this for \(i=1\). As mentioned above, the local rule defining growth diagrams of linear extensions reflects the behavior of the involutions \(\tau _i\). In particular, a square in the 1st row and jth column corresponds to an application of \(\tau _{j-1}\) when carrying out the product \(\tau _{\ell } \circ \cdots \circ \tau _2 \circ \tau _1\) to perform promotion. We can view these \(\tau _i\) as acting directly on the Kreweras word w as in the proof of Proposition 2.2, and we will be in an “otherwise” for a square in Fig. 8 exactly when we are in an “otherwise” case for corresponding \(\tau _i\). As the proof of that proposition explains, the unique \(\tau _i\) for which an “otherwise” case occurs is \(i=\iota (w)-1\). \(\square \)
Thanks to the x/y symmetry of growth diagrams in Corollary 4.4 (b), Proposition 4.6 also implies that every column of a decorated growth diagram contains a unique filled square.
Now we will demonstrate how \(\sigma _w\) and \(\varepsilon _w\) from Sect. 3 can easily be read off from decorated growth diagrams.
Lemma 4.7
Let w be a Kreweras word of length 3n and consider its decorated growth diagram. Let \(1 \le i \le 3n\), and suppose the unique filled square in the ith row is in the jth column and is filled with \(\varepsilon \in \{\mathrm {B},\mathrm {C}\}\). Then we have \(\varepsilon _w(i) = \varepsilon \) and \(\sigma _w(i) = \langle j \rangle _{3n}\), where \(\langle k \rangle _{3n}\) denotes the unique element of \(\{1,\ldots ,3n\}\) congruent to k modulo 3n.
Proof
By Proposition 4.6, we need to show that \(\sigma _w(i) = \langle \iota ({{\,\mathrm{{Pro}}\,}}^{i-1}(w))+i-1 \rangle _{3n}\) and \(\varepsilon _w(i) = {{\,\mathrm{{Pro}}\,}}^{i-1}(w)_{\iota ({{\,\mathrm{{Pro}}\,}}^{i-1}(w))}\) for all \(1 \le i \le 3n\).
First let us explain why this holds for \(i=1\). Note that \((1,\iota (w))\) is the “near” arc emanating from 1 in the Kreweras bump diagram \({\mathcal {D}}_w\). Moreover, the rules of the road are such that in the trip starting at 1 we will never make any turns on our way from 1 towards \(\iota (w)\). So indeed \(\sigma _w(1) = \iota (w)\), and \(\varepsilon _w(1) = w_{\iota (w)}\).
Then we have thanks to Lemma 3.10 that \(\sigma _w(i) = \langle \sigma _{{{\,\mathrm{{Pro}}\,}}^{i-1}(w)}(1) +i-1\rangle _{3n}\) and \(\varepsilon _w(i) = \varepsilon _{{{\,\mathrm{{Pro}}\,}}^{i-1}(w)}(1)\) for any \(1\le i \le n\). Thus, by the result in the previous paragraph applied to \({{\,\mathrm{{Pro}}\,}}^{i-1}(w)\), we are done. \(\square \)
Example 4.8
As in Example 4.5, let \(w = \mathrm {A}\mathrm {A}\mathrm {B}\mathrm {B}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\). We saw in Example 3.11 that \(\sigma _w = [4,3,8,5,2,7,1,9,6]\) and \(\varepsilon _w=[\mathrm {B}, \mathrm {B}, \mathrm {C}, \mathrm {C}, \mathrm {B}, \mathrm {C}, \mathrm {B}, \mathrm {B}, \mathrm {C}]\). In agreement with Lemma 4.7, we can also easily read off this \(\sigma _w\) and \(\varepsilon _w\) from w’s decorated growth diagram, which is depicted in Fig. 9.
We could have defined \(\sigma _w\) by setting \(\sigma _w(i) {:}{=}\langle \iota ({{\,\mathrm{{Pro}}\,}}^{i-1}(w))+i-1 \rangle _{3n}\) in light of Lemma 4.7. However, if we did so, it would not be at all clear that \(\sigma _w\) is a permutation. This is why we defined \(\sigma _w\) in terms of trips in Kreweras bump diagrams.
Let us record just a few more basic properties of decorated growth diagrams in the following proposition.
Proposition 4.9
Let w be a Kreweras word of length 3n and consider its decorated growth diagram. Then,
-
(a)
For any \((x,y) \in {\mathbb {Z}}^2\), if the square in position (x, y) is filled with \(\varepsilon \), then the square in position \((x+3n,y-3n)\) is filled with \(-\varepsilon \);
-
(b)
For any \(i \in {\mathbb {Z}}\), if the unique filled square in the ith row is filled with \(\varepsilon \), then the unique filled square in the ith column is filled with \(-\varepsilon \).
Proof
For (a): this is an immediate consequence of the translation symmetry of growth diagrams in Corollary 4.4 (a), and our main result, Theorem 1.2.
For (b): by the translation symmetry of Corollary 4.4 (a) it is enough to prove this statement for a single row/column pair. Let us prove it for the \(\sigma _w(1)\)th row. For the \(\sigma _w(1)\)th row, this statement is a consequence of the interpretation of \(\varepsilon _w\) in Lemma 4.7 and Proposition 3.8 (c). \(\square \)
We now state our main results about evacuation of Kreweras words. For these we need the notion of reverse-complementation of permutations.
Definition 4.10
For a permutation \(\sigma \in {\mathfrak {S}}_m\), the reverse-complement of \(\sigma \), denoted \({{\,\mathrm{{RevComp}}\,}}(\sigma )\), is the conjugation of \(\sigma \) by the longest element of the symmetric group \(w_0 {:}{=}[m,m-1,\ldots ,1] \in {\mathfrak {S}}_{m}\); i.e.,
Note that reverse-complementation commutes with inversion because \(w_0\) is an involution.
Lemma 4.11
Let w be a Kreweras word of length 3n. Then,
-
(a)
\(\sigma _{{{\,\mathrm{{Evac}}\,}}(w)} = {{\,\mathrm{{RevComp}}\,}}(\sigma ^{-1}_w)\);
-
(b)
\(\varepsilon _{{{\,\mathrm{{Evac}}\,}}(w)} = [-\varepsilon _w(3n), -\varepsilon _w(3n-1), \ldots , -\varepsilon _w(1)]\).
Theorem 4.12
Let w be a Kreweras word of length 3n. Then
One nice property of the operations in Lemma 4.11 is that they are evidently involutive. It is also easy to see that they have the “right” interaction (in the sense of Proposition 2.4) with the operations in Lemma 3.10.
On the other hand, from the definition of \(\sigma _w\) in terms of trips in Kreweras bump diagrams it is far from clear why the word \((w_{\sigma _w(3n)}, w_{\sigma _w(3n-1)}, \ldots , w_{\sigma _w(1)})\) appearing in Theorem 4.12 is a Kreweras word.
Before we prove these results, let us do an example.
Example 4.13
As in Example 4.8, let \(w = \mathrm {A}\mathrm {A}\mathrm {B}\mathrm {B}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\). We saw above that \(\sigma _w = [4,3,8,5,2,7,1,9,6]\) and \(\varepsilon _w=[\mathrm {B}, \mathrm {B}, \mathrm {C}, \mathrm {C}, \mathrm {B}, \mathrm {C}, \mathrm {B}, \mathrm {B}, \mathrm {C}]\).
Thanks to Proposition 4.2, we can read off \({{\,\mathrm{{Evac}}\,}}w\) from w’s growth diagram, which is depicted in Fig. 9: we have \({{\,\mathrm{{Evac}}\,}}w = \mathrm {A}\mathrm {B}\mathrm {A}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\mathrm {B}\). This agrees with Theorem 4.12.
The Kreweras bump diagram of \({{\,\mathrm{{Evac}}\,}}(w)\) is
![figure j](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figj_HTML.png)
>From the diagram \({\mathcal {D}}_{{{\,\mathrm{{Evac}}\,}}(w)}\) one could compute that \(\sigma _{{{\,\mathrm{{Evac}}\,}}(w)}=[2, 7, 4, 1, 6, 9, 8, 5, 3]\) and \(\varepsilon _{{{\,\mathrm{{Evac}}\,}}(w)}=[\mathrm {B}, \mathrm {C}, \mathrm {C}, \mathrm {B}, \mathrm {C}, \mathrm {B}, \mathrm {B}, \mathrm {C}, \mathrm {C}]\), in agreement with Lemma 4.11.
By comparing this example with Example 3.11, we see that \({{\,\mathrm{{Pro}}\,}}(w)={{\,\mathrm{{Evac}}\,}}(w)\) in this case, but that’s a coincidence for this particular Kreweras word w which does not always happen.
We proceed to prove Lemma 4.11 and Theorem 4.12.
Proof of Lemma 4.11
Thanks to the x/y symmetry of growth diagrams in Corollary 4.4 (b), Lemma 4.7 says that for \(1 \le j \le 3n\), if the unique filled square in the \(3n+1-j\)th column of the decorated growth diagram of w is in the \(3n+1-i\)th row, then \(\sigma _{{{\,\mathrm{{Evac}}\,}}(w)}(j) {:}{=}\langle i \rangle _{3n}\); and if this square is filled with \(\varepsilon \in \{\mathrm {B}, \mathrm {C}\}\) then \(\varepsilon _{{{\,\mathrm{{Evac}}\,}}(w)}(j) {:}{=}\varepsilon \).
Then, the periodicity property of decorated growth diagrams in Proposition 4.9 (a) (along with the interpretation of \(\sigma _w\) in Lemma 4.7) gives \(\sigma _{{{\,\mathrm{{Evac}}\,}}(w)} = {{\,\mathrm{{RevComp}}\,}}(\sigma ^{-1}_w)\).
Meanwhile, Proposition 4.9 (b) (along with the interpretation of \(\varepsilon _w\) in Lemma 4.7) gives \(\varepsilon _{{{\,\mathrm{{Evac}}\,}}(w)} = [-\varepsilon _w(3n), -\varepsilon _w(3n-1), \ldots , -\varepsilon _w(1)]\). \(\square \)
Proof of Theorem 4.12
This is easy enough to see from the decorated growth diagram of w directly, but we can also deduce it from Lemma 4.11.
For any permutation \(\sigma \in {\mathfrak {S}}^m\), a straightforward unraveling of the definitions shows that
Hence Corollary 3.9 and Lemma 4.11 (a) imply that at least the positions of the \(\mathrm {A}\)’s are the same in \({{\,\mathrm{{Evac}}\,}}(w)\) and \((w_{\sigma _w(3n)}, w_{\sigma _w(3n-1)}, \ldots , w_{\sigma _w(1)})\).
Now let \(1\le i \le 3n\) be such that \({{\,\mathrm{{Evac}}\,}}(w)_i \in \{\mathrm {B},\mathrm {C}\}\). Then Corollary 3.9 and Lemma 4.11 imply that \({{\,\mathrm{{Evac}}\,}}(w)_i = -\varepsilon _w(\sigma _w(3n+1-i))\). Since \({{\,\mathrm{{Evac}}\,}}(w)_i \ne \mathrm {A}\), the previous paragraph tells us that \(w_{\sigma _w(3n+1-i)}\in \{\mathrm {B},\mathrm {C}\}\), and hence Proposition 3.8 (c) tells us that \(-\varepsilon _w(\sigma _w(3n+1-i)) = w_{\sigma _w(3n+1-i)}\). Thus \({{\,\mathrm{{Evac}}\,}}(w)_i=w_{\sigma _w(3n+1-i)}\) in this case as well. \(\square \)
Of course, it is also reasonable to ask how dual evacuation acts on Kreweras words. But Proposition 2.4 says that \({{\,\mathrm{{Evac}}\,}}^{*}(w)={{\,\mathrm{{Evac}}\,}}({{\,\mathrm{{Pro}}\,}}^{3n}(w))\) for any Kreweras word w of length 3n, and thus our main result, Theorem 1.2, says that \({{\,\mathrm{{Evac}}\,}}^{*}(w)\) is obtained from \({{\,\mathrm{{Evac}}\,}}(w)\) by swapping all \(\mathrm {B}\)’s for \(\mathrm {C}\)’s and vice-versa. Similarly, we can see that \(\sigma _{{{\,\mathrm{{Evac}}\,}}^{*}(w)} = {{\,\mathrm{{RevComp}}\,}}(\sigma ^{-1}_w)\) and \(\varepsilon _{{{\,\mathrm{{Evac}}\,}}^{*}(w)} = [\varepsilon _w(3n), \varepsilon _w(3n-1), \ldots , \varepsilon _w(1)]\) thanks to Lemmas 3.10 and 4.11.
5 Webs
In this section we reinterpret our results from the previous sections in the language of webs. We recall the notion of an \(\mathfrak {sl}_3\)-web, which is due to Kuperberg [17]:
Definition 5.1
An \(\mathfrak {sl}_3\)-web \({\mathcal {W}}\) is a planar graph, embedded in a disk, with boundary vertices labeled \(1,2,\ldots ,m\) arranged on the rim of the disk in counterclockwise order, and any number of (unlabeled) internal vertices such that
-
\({\mathcal {W}}\) is trivalent: all the boundary vertices have degree one, while all the internal vertices have degree three;
-
\({\mathcal {W}}\) is bipartite: the vertices (both boundary and internal) are colored white and black, with edges only between oppositely colored vertices.
We call the face of \({\mathcal {W}}\) containing the boundary vertices the outer face, and all other faces internal. We say that \({\mathcal {W}}\) is irreducible (or non-elliptic) if it has no internal faces with fewer than 6 sides.
Among all the \(\mathfrak {sl}_3\)-webs, the irreducible ones play a distinguished role. For instance, there are only finitely many irreducible webs with a fixed number of boundary vertices.
We will now explain how to convert a Kreweras bump diagram of a Kreweras word into a web by “breaking apart” its crossings.
Construction 1
Let w be a Kreweras word and \({\mathcal {D}}_w\) its associated Kreweras bump diagram. We obtain a planar graph \({\mathcal {W}}_w\), embedded into a disk, together with a 3-coloring \(c_w\) of its edges as follows.
We replace each crossing of two arcs in \({\mathcal {D}}_w\) with a pair of a vertices, one white and one black, joined by a wavy avocado (i.e. green) edge, as in Fig. 10. The white vertex in this pair is “to the left” of the black vertex, that is, closer to the openers of \({\mathcal {D}}_w\). We color all vertices of degree one in the resulting graph, corresponding to the openers and closers of \({\mathcal {D}}_w\), white, and keep the labels of these vertices. Finally, the color of the non-avocado edges of \({\mathcal {W}}_w\) is inherited from \({\mathcal {D}}_w\).
Example 5.2
As in Example 4.13, let \(w = \mathrm {A}\mathrm {A}\mathrm {B}\mathrm {B}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\). Recall that the Kreweras bump diagram \({\mathcal {D}}_w\) of w is:
![figure k](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figk_HTML.png)
Breaking apart the crossings of \({\mathcal {D}}_w\) gives the following 3-edge-colored web:
![figure l](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figl_HTML.png)
Forgetting the 3-edge-coloring, and drawing the graph embedded in a disk, we obtain the web \({\mathcal {W}}_w\):
![figure m](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figm_HTML.png)
Proposition 5.3
Let w be a Kreweras word and let \((W_w, c_w)\) be the 3-edge-colored graph obtained by Construction 1.
Then \(W_w\) is an irreducible \(\mathfrak {sl}_3\)-web with 3n boundary vertices, all of which are white. Moreover, \(W_w\) has no internal face having a multiple of four sides.
The 3-coloring \(c_w\) of the edges of \(W_w\) is proper, i.e., each vertex is incident to at most one edge in each color class.
Finally, the construction is injective, that is, given \(({\mathcal {W}}_w,c_w)\) we can recover w: the boundary vertices incident to an avocado edge correspond to the \(\mathrm {A}\)’s in w, those incident to a blue edge correspond to \(\mathrm {B}\)’s, and those incident to a crimson edge correspond to \(\mathrm {C}\)’s.
For the proof of Proposition 5.3: how faces of \({\mathcal {D}}_w\) correspond to faces of \({\mathcal {W}}_w\)
Proof
The only non-trivial claim is that the number of sides of any face cannot be a multiple of 4. As depicted in Fig. 11, internal faces of \({\mathcal {D}}_w\) with k sides correspond to internal faces of \({\mathcal {W}}_w\) with \(2k-2\) sides. Since \({\mathcal {D}}_w\) only has crossings between arcs of different colors, the number of sides of any internal face of \({\mathcal {D}}_w\) is even. \(\square \)
The web \({\mathcal {W}}_w\) without its 3-edge-coloring is not quite enough to recover w. However, as we now explain, it gives information equivalent to the permutation \(\sigma _w\). In fact, we can associate a permutation to any \(\mathfrak {sl}_3\)-web by taking trips in the web, similar to what we did in Sect. 3 for Kreweras bump diagrams.
Definition 5.4
Let \({\mathcal {W}}\) be an \(\mathfrak {sl}_3\)-web with m boundary vertices. The trip permutation of \({\mathcal {W}}\), denoted \(\mathrm {trip}_{{\mathcal {W}}} \in {\mathfrak {S}}_m\), is obtained as follows. For \(1\le i \le m\) we take a trip in \({\mathcal {W}}\) starting at i. To do this, we start by walking from boundary vertex i along the unique edge incident to it. When we come to any internal vertex in \({\mathcal {W}}\), we continue our trip by following the rules of the road:
-
If the vertex is black, we turn right, i.e., we walk out along the next edge counterclockwise from where we came in;
-
If the vertex is white, we turn left, i.e., we walk out along the next edge clockwise from where we came in.
These rules of the road are depicted in Fig. 12. We stop our trip when we reach a boundary vertex. If j is the boundary vertex we reach from the trip starting at i, then we set \(\mathrm {trip}_{{\mathcal {W}}}(i) {:}{=}j\).
That \(\mathrm {trip}_{{\mathcal {W}}}\) is genuinely a permutation again follows from the fact that the rules of the road around any vertex locally permute the entry and exit points.
Our reason for considering trip permutations is the follow proposition:
Proposition 5.5
Let w be a Kreweras word. Then \(\sigma _w= \mathrm {trip}_{{\mathcal {W}}}\).
Proof
This is simply a matter of checking that locally at a crossing of arcs, the rules of the road for trips in the Kreweras bump diagram \({\mathcal {D}}_w\) agree with the rules of the road for the trips in the web \({\mathcal {W}}_w\). And to do that, we just need to look at Figs. 5, 10 and 12.
\(\square \)
The notion of trip permutations is due to Postnikov [24], and comes from his theory of plabic graphs. A plabic (“planar bicolored”) graph is a planar graph, embedded in a disk, whose internal vertices are colored black or white, and whose boundary vertices have degree one. There are some differences between plabic graphs and \(\mathfrak {sl}_3\)-webs:
-
The boundary vertices of a plabic graph are not colored;
-
The internal vertices of a plabic graph need not be trivalent;
-
The coloring of internal vertices of a plabic graph does not have to be proper, i.e., vertices of the same color may be adjacent.
Except for the small technicality about boundary vertices being colored, an \(\mathfrak {sl}_3\)-web is a special case of a plabic graph. Postnikov [24, §13] defined trip permutations for plabic graphs in exactly the same way as we have done for webs in Definition 5.4 above: turn right at black vertices and left at white vertices.Footnote 1
If \({\mathcal {W}}\) and \({\mathcal {W}}'\) are two \(\mathfrak {sl}_3\)-webs with m boundary vertices, and they differ only in the way their boundary vertices are colored, then \(\mathrm {trip}_{{\mathcal {W}}}=\mathrm {trip}_{{\mathcal {W}}'}\), since the color of boundary vertices does not enter into the definition of trip permutations in any way. However, note that the color of any boundary vertex which is adjacent to an internal vertex has its color determined by the bipartiteness condition. Hence, if \({\mathcal {W}}\) and \({\mathcal {W}}'\) differ only in the way their boundary vertices are colored, then \({\mathcal {W}}'\) is obtained from \({\mathcal {W}}\) by swapping the colors of pairs of oppositely colored, adjacent boundary vertices. In particular, if \({\mathcal {W}}\) has all its boundary vertices the same color, then there is no web that differs from \({\mathcal {W}}'\) only in the way its boundary vertices are colored.
We now explain how Postnikov’s work implies that for irreducible webs, the situation discussed in the previous paragraph is the only way that trip permutations can coincide.
Lemma 5.6
Let \({\mathcal {W}}\) and \({\mathcal {W}}'\) be irreducible \(\mathfrak {sl}_3\)-webs with m boundary vertices. Suppose that \(\mathrm {trip}_{{\mathcal {W}}} = \mathrm {trip}_{{\mathcal {W}}'}\). Then \({\mathcal {W}}\) and \({\mathcal {W}}'\) differ at most in the way their boundary vertices are colored. In particular, if all the boundary vertices of \({\mathcal {W}}\) are the same color, then \({\mathcal {W}}={\mathcal {W}}'\).
Proof
Postnikov [24, §12] defined certain transformations of plabic graphs he called moves and reductions. If \({\mathcal {W}}\) is an irreducible \(\mathfrak {sl}_3\)-web (viewed as a plabic graph), then the only moves or reductions we can apply to it are “trivial” moves which add 2-valent vertices by subdividing an edge, or remove such 2-valent vertices by un-subdividing edges. (Crucially, the fact that all internal faces have at least 6 sides means we will never be able to carry out a square move, which is the fundamental, nontrivial move in the theory.) In particular, we will never be able to apply a reduction to \({\mathcal {W}}\), so \({\mathcal {W}}\) is reduced. Then [24, Theorem 13.2(4)] says that \(\mathrm {trip}_{{\mathcal {W}}}\) has no fixed points, so we don’t have to worry about the issue of decorated fixed points. Finally, a key result [24, Theorem 13.4] from Postnikov’s paper says that two reduced plabic graphs have the same trip permutation if and only if they are related via a series of moves. Since, as mentioned, the only moves we can apply either add or remove 2-valent vertices, we will not be able to reach any other web than \({\mathcal {W}}\) via these moves. Hence, Postnikov’s result tells us that any other web with the same trip permutation as \({\mathcal {W}}\) is equal to \({\mathcal {W}}\)—except in the way the boundary vertices are colored, which the plabic graph story does not see. \(\square \)
Lemma 5.6 lets us apply our knowledge about how \({{\,\mathrm{{Pro}}\,}}\) and \({{\,\mathrm{{Evac}}\,}}\) affect \(\sigma _w\) to understand how they affect \({\mathcal {W}}_w\) (Theorem 1.3 from Sect. 1). We just need to define the corresponding web operations.
Definition 5.7
Let \({\mathcal {W}}\) be an \(\mathfrak {sl}_3\)-web with m boundary vertices. The rotation of \({\mathcal {W}}\), denote \({{\,\mathrm{{Rot}}\,}}({\mathcal {W}})\), is obtained from \({\mathcal {W}}\) be relabeling its vertices according to the inverse long cycle \((m,m-1,\ldots ,2,1) \in {\mathfrak {S}}_m\). The flip of \({\mathcal {W}}\), denoted \({{\,\mathrm{{Flip}}\,}}({\mathcal {W}})\), is obtained from \({\mathcal {W}}\) by drawing a chord in the disk separating 1 and m, reflecting \({\mathcal {W}}\) across this chord, and then relabeling its vertices according to the longest element \([m,m-1,\ldots ,1] \in {\mathfrak {S}}_m\).
Theorem 5.8
Let w be a Kreweras word. Then,
-
(a)
\({\mathcal {W}}_{{{\,\mathrm{{Pro}}\,}}(w)} = {{\,\mathrm{{Rot}}\,}}({\mathcal {W}}_{w})\);
-
(b)
\({\mathcal {W}}_{{{\,\mathrm{{Evac}}\,}}(w)} = {{\,\mathrm{{Flip}}\,}}({\mathcal {W}}_{w})\).
Proof
We have \(\mathrm {trip}_{{\mathcal {W}}_w} = \sigma _w\) because of Proposition 5.5. Thus Lemmas 3.10 and 4.11 imply \(\mathrm {trip}_{{\mathcal {W}}_{{{\,\mathrm{{Pro}}\,}}(w)}}={{\,\mathrm{{Rot}}\,}}(\mathrm {trip}_{{\mathcal {W}}_w})\) and \(\mathrm {trip}_{{\mathcal {W}}_{{{\,\mathrm{{Evac}}\,}}(w)}}={{\,\mathrm{{RevComp}}\,}}(\mathrm {trip}_{{\mathcal {W}}_w}^{-1})\). For any \(\mathfrak {sl}_3\)-web \({\mathcal {W}}\), it is straightforward to verify that \(\mathrm {trip}_{{{\,\mathrm{{Rot}}\,}}({\mathcal {W}})}={{\,\mathrm{{Rot}}\,}}(\mathrm {trip}_{{\mathcal {W}}})\) and \(\mathrm {trip}_{{{\,\mathrm{{Flip}}\,}}({\mathcal {W}})}={{\,\mathrm{{RevComp}}\,}}(\mathrm {trip}_{{\mathcal {W}}}^{-1})\). But then thanks to Lemma 5.6, we know that \({{\,\mathrm{{Rot}}\,}}({\mathcal {W}}_w)\) and \({{\,\mathrm{{Flip}}\,}}({\mathcal {W}}_w)\) are the only irreducible \(\mathfrak {sl}_3\)-webs with trip permutations equal to \(\mathrm {trip}_{{\mathcal {W}}_{{{\,\mathrm{{Pro}}\,}}(w)}}\) and \(\mathrm {trip}_{{\mathcal {W}}_{{{\,\mathrm{{Evac}}\,}}(w)}}\). Therefore, we must have \({\mathcal {W}}_{{{\,\mathrm{{Pro}}\,}}(w)}={{\,\mathrm{{Rot}}\,}}({\mathcal {W}}_w)\) and \({\mathcal {W}}_{{{\,\mathrm{{Evac}}\,}}(w)}={{\,\mathrm{{Flip}}\,}}({\mathcal {W}}_w)\), as claimed. \(\square \)
Example 5.9
As in Example 5.2, let \(w = \mathrm {A}\mathrm {A}\mathrm {B}\mathrm {B}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\). We saw in Example 4.13 that \({{\,\mathrm{{Pro}}\,}}(w) = {{\,\mathrm{{Evac}}\,}}(w) = w'\) where \(w' = \mathrm {A}\mathrm {B}\mathrm {A}\mathrm {C}\mathrm {A}\mathrm {C}\mathrm {C}\mathrm {B}\mathrm {B}\). Recall that the Kreweras bump diagram \({\mathcal {D}}_{w'}\) of \(w'\) is:
![figure n](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Fign_HTML.png)
Breaking apart the crossings of \({\mathcal {D}}_{w'}\) gives the following 3-edge-colored web:
![figure o](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figo_HTML.png)
Forgetting the 3-edge-coloring, and drawing the graph embedded in a disk, we see that the web \({\mathcal {W}}_w\) is:
![figure p](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00029-021-00714-6/MediaObjects/29_2021_714_Figp_HTML.png)
Comparing with Example 5.2, we can see that \({\mathcal {W}}_{w'} = {{\,\mathrm{{Rot}}\,}}({\mathcal {W}}_w) = {{\,\mathrm{{Flip}}\,}}({\mathcal {W}}_w)\), in agreement with Theorem 5.8.
It is also possible to describe how promotion and evacuation affect the 3-edge-coloring \(c_w\) (briefly: we “swap” colors of edges along trips), but we will not go into details about that here.
However, a question we will answer in the following subsection is: which webs \({\mathcal {W}}\) are equal to \({\mathcal {W}}_w\) for some Kreweras word w? As we will see, the restriction coming from Proposition 5.3 is the only restriction.
5.1 Kreweras webs
Definition 5.10
A Kreweras web is an irreducible \(\mathfrak {sl}_3\)-web such that all boundary vertices are white and there are no internal faces with a multiple of 4 sides.
We note that a simple counting argument shows that any \(\mathfrak {sl}_3\)-web with all white boundary vertices has a multiple of 3 boundary vertices.
We have already seen from Proposition 5.3 that any web \({\mathcal {W}}_w\) corresponding to a Kreweras word w must be a Kreweras web. Our goal in this subsection is to show that all Kreweras webs arise this way.
Theorem 5.11
Let \({\mathcal {W}}\) be an \(\mathfrak {sl}_3\)-web. Then there is a Kreweras word w for which \({\mathcal {W}}={\mathcal {W}}_w\) if and only \({\mathcal {W}}\) is a Kreweras web. Moreover, if \({\mathcal {W}}\) is a Kreweras web, then the number of Kreweras words w for which \({\mathcal {W}}={\mathcal {W}}_w\) is \(2^{\kappa ({\mathcal {W}})}\), where \(\kappa ({\mathcal {W}})\) is the number of connected components of \({\mathcal {W}}\).
Let us first note an enumerative consequence (which is stated as part of Theorem 1.4 in Sect. 1):
Corollary 5.12
We have
where the sum is over all Kreweras webs \({\mathcal {W}}\) with 3n boundary vertices.
Proof
This follows from combining Theorem 5.11 with Kreweras’s product formula enumerating Kreweras words [16]. \(\square \)
For more discussion of enumeration of webs (including an explanation of the rest of Theorem 1.4), see Sect. 6.2.
We prove Theorem 5.11 by demonstrating that we can appropriately edge-color any Kreweras web \({\mathcal {W}}\). This is achieved via the following construction:
Construction 2
Let \({\mathcal {W}}\) be Kreweras web with boundary vertices labeled counterclockwise 1 to 3n, and let \(c_1,\dots ,c_{\kappa ({\mathcal {W}})}\) be a choice of color, either blue or crimson, for each connected component of \({\mathcal {W}}\). We create a proper 3-edge-coloring of \({\mathcal {W}}\) (with colors avocado, blue, and crimson), and a system of 2n colored directed paths \(1_L, 1_R, \dots , n_L, n_R\) in \({\mathcal {W}}\), with the following properties:
-
Paths \(i_L\) and \(i_R\) begin at the same boundary vertex, and \(i_L\) turns left when leaving the unique edge e incident to this vertex, while \(i_R\) turns right when leaving e;
-
The first and every other edge of a path is colored avocado, and all the other edges of the path have the same color (either blue or crimson) – which we call the color of the path;
-
Every avocado edge is traversed by precisely two paths, and every other edge is traversed by precisely one path;
-
Any two paths share at most one (necessarily avocado) edge, and if they do, they are of different color;
-
If two paths \(i_X\) and \(j_Y\) with \(i < j\) share an (avocado) edge e, then the path \(i_X\) turns to the left when visiting e, and continues the the right when leaving it.
The system of paths is created inductively. Once paths \(1_L, 1_R,\dots , i{-}1_L, i{-}1_R\) are determined, the paths \(i_L\) and \(i_R\) start at the boundary vertex with smallest label incident to an uncolored edge. If \(i_L\) is in a connected component of \({\mathcal {W}}\) different from the connected components containing \(1_L,\dots ,i{-}1_L\), the color of \(i_L\) is \(c_k\), where k is the number of connected components containing \(1_L,\dots ,i_L\). The 3-edge-coloring is then inherited from the colors of the paths.
We say that Construction 2succeeds on \({\mathcal {W}}\) if the requested properties can be satisfied when creating the paths.
Lemma 5.13
Construction 2 succeeds on \({\mathcal {W}}\) if and only if \({\mathcal {W}}={\mathcal {W}}_w\) for some Kreweras word w. And in this case, the \(2^{\kappa ({\mathcal {W}})}\) 3-edge-colorings produced by applying Construction 2 to \({\mathcal {W}}\) with different choices of \(c_1,\ldots ,c_{\kappa ({\mathcal {W}})}\) are exactly all the \(c_w\) for such Kreweras words w.
Proof
Let w be a Kreweras word. Proposition 5.3 says that \({\mathcal {W}}_w\) must be a Kreweras web. Moreover, it is easy to see that the arcs of \({\mathcal {D}}_w\) determine a system of colored paths in \({\mathcal {W}}_w\) satisfying the properties required in Construction 2.
Conversely, let \({\mathcal {W}}\) be a Kreweras web on which Construction 2 succeeds. Then, by the properties of the construction, the paths of the same color form two noncrossing perfect matchings, with the same set of openers. Thus, they yield a Kreweras bump diagram of a Kreweras word. \(\square \)
Corollary 5.14
The set of Kreweras webs \({\mathcal {W}}\) on which Construction 2 succeeds is closed under \({{\,\mathrm{{Rot}}\,}}\) and \({{\,\mathrm{{Flip}}\,}}\).
Lemma 5.15
Suppose that the boundary vertices 1 and 2 are in the same connected component of a Kreweras web \({\mathcal {W}}\), and suppose that the shortest path from 1 to 2 (i.e., the one that turns right at every vertex) consists of \(4k+2\) edges, for \(k\ge 1\). Then, if it succeeds, the coloring produced by Construction 2 colors the edges incident to 1 and 2 avocado. Moreover, the path \(1_R\) and the path \(2_L\) have the same color.
Proof
The edge incident to 2 will be colored a non-avocado color if and only if the distance between vertices 1 and 2 is two: if not, the path \(1_R\) turns left after the second edge and therefore does not visit vertex 2. Thus, after the paths \(1_L\) and \(1_R\) are created, the edge incident to vertex 2 is uncolored, and is therefore chosen as the initial edge of paths \(2_L\) and \(2_R\).
So now let us focus on the claim about the colors of \(1_R\) and \(2_L\). Let x be the first white non-boundary vertex on the colored path \(1_R\). It suffices to show that every other edge of the shortest path from 2 to x is colored avocado, and the colors of the remaining edges alternate.
The situation in Lemma 5.15
Suppose that a non-avocado edge on this path belongs to the colored path \(i_X\) and the two following edges, \(e_\ell \) to the left and \(e_r\) to the right, belong to the colored path \(j_Y\). Then, since colored paths share at most one (avocado) edge, we have \(2< i < j\). This situation is depicted in Fig. 13.
It follows that the colored path \(i_X\) continues on edge \(e_\ell \), which is therefore colored avocado. Furthermore, the left edge after \(e_\ell \) belongs to path \(j_Y\), whose color is therefore different from the color of \(i_X\). \(\square \)
Lemma 5.16
A planar cubic bipartite simple graph has at least six 4-cycles.
Proof
Let G be a planar cubic bipartite simple graph. Without loss of generality, we can assume that G is connected.
By the handshaking lemma, a cubic graph has an even number of vertices, say 2n, and 3n edges. For \(k\ge 2\), let \(f_{2k}\) be the number of faces bounded by 2k edges of G. By Euler’s formula, the total number of faces of G equals \(3n-2n+2 = n+2\).
Since G is cubic, every vertex is contained in three faces. Thus
which implies that \(f_4 \ge 6\). \(\square \)
Lemma 5.17
Let \({\mathcal {W}}\) be a Kreweras web with at least one internal face. Then there is an internal face of \({\mathcal {W}}\) which has at least three consecutive sides on its boundary with the outer face.
Proof
Let G be the graph obtained from \({\mathcal {W}}\) by removing all vertices not contained in any internal face. Let \(v_1,\ldots ,v_k\) be the list of vertices of degree 2 in G. The lemma’s claim is equivalent to the assertion that there are two vertices among \(v_1,\ldots ,v_k\) which are adjacent, which we now show.
Let \(G'\) be a copy of G, and let \(v'_1, \ldots , v'_k\) be the vertices of \(G'\) corresponding to \(v_1,\ldots ,v_k\). We construct a planar bipartite cubic graph H by adding edges \(\{v_i, v'_i\}\) to \(G\cup G'\) for \(i\in \{1,\dots ,k\}\), as depicted in Fig. 14.
For the proof of Lemma 5.17: how to obtain a bipartite cubic graph from a web
Suppose that G has no pair of adjacent vertices of degree 2. Then H contains no 4-cycles, which is impossible by Lemma 5.16. \(\square \)
Lemma 5.18
Construction 2 succeeds on any Kreweras web \({\mathcal {W}}\).
Proof
We use induction on the number of internal faces and the number of vertices of \({\mathcal {W}}\). We also freely relabel the boundary vertices via Corollary 5.14.
If \({\mathcal {W}}\) has a white vertex which is not contained in an internal face, we replace this vertex by three independent boundary vertices and obtain three graphs \({\mathcal {W}}_1\), \({\mathcal {W}}_2\), and \({\mathcal {W}}_3\), ordered counterclockwise. We label the boundary vertices of \({\mathcal {W}}_1\) and \({\mathcal {W}}_2\) such that the split vertex is the last boundary vertex and those of \({\mathcal {W}}_3\) such that the split vertex has label 1.
By induction, Construction 2 succeeds on all three graphs. Moreover, we can color \({\mathcal {W}}_1\) and \({\mathcal {W}}_2\) such that the colors of the edges incident to their last boundary vertices are distinct. Finally, we choose the coloring of \({\mathcal {W}}_3\) so that the edge to the left of the first boundary edge has the same color as the edge incident to the last boundary vertex of \({\mathcal {W}}_2\), and, accordingly, the edge to the right of the first boundary edge has the same color as the edge incident to the last boundary vertex of \({\mathcal {W}}_1\). It is now clear that we obtain a coloring which coincides with the coloring produced by Construction 2.
Therefore, we can assume that all white vertices of \({\mathcal {W}}\) are contained in internal faces. By Lemma 5.17, there is an edge separating an internal face from the outer face, such that one of its vertices is black and adjacent to a boundary vertex, and the other vertex is white and adjacent to a black internal vertex which in turn is adjacent to two boundary vertices. Via Corollary 5.14, we may assume that these latter two boundary vertices are labeled 1 and 2, and the former boundary vertex is labeled 3.
We construct \({\mathcal {W}}'\) by removing the edge incident to the white internal vertex and the attached boundary vertices, and then splitting this white vertex into two independent boundary vertices. By construction, the number of internal faces of \({\mathcal {W}}'\) is one less than the number of faces of \({\mathcal {W}}\). We label its boundary vertices so that the two split vertices have labels 1 and 2. By induction, Construction 2 succeeds on \({\mathcal {W}}'\).
Using the properties of this coloring guaranteed by Lemma 5.15, we can obtain a coloring of \({\mathcal {W}}\) which coincides with the coloring produced by Construction 2, as depicted in Fig. 15. \(\square \)
6 Future directions
In this section we discuss some potential connections and possible threads of future research.
6.1 Relation of our work to previous work on webs and promotion
Webs were introduced by Kuperberg [17] to study invariant tensors of representations of simple Lie algebras (and their relatives like quantum groups). In [14], Khovanov and Kuperberg described a bijection between the set of linear extensions of \([3]\times [n]\) (i.e., standard Young tableaux (SYTs) of \(3 \times n\) rectangular shape) and irreducible \(\mathfrak {sl}_3\)-webs with 3n white boundary vertices. In [22] Petersen, Pylyavskyy, and Rhoades showed that, under the bijection of Khovanov–Kuperberg, promotion of linear extensions of \([3]\times [n]\) corresponds to rotation of webs. This should be seen as directly analogous to the fact, mentioned in Sect. 1, that promotion of linear extensions of \([2] \times [n]\) (i.e., promotion of Dyck words) corresponds to rotation of noncrossing matchings: indeed, noncrossing matchings can be seen as “\(\mathfrak {sl}_2\)-webs.” Later, Tymoczko [37] gave a different, simpler description of the Khovanov–Kuperberg bijection and used this description to reprove the results of Petersen–Pylyavskyy–Rhoades as well. Building on Tymoczko’s work, Russell [27] (see also Patrias [21]) related rotation of irreducible \(\mathfrak {sl}_3\)-webs with arbitrarily colored boundary vertices to promotion of 3-rowed semistandard (as opposed to standard) tableaux.
At its core, the proof of our main results boils down to showing that for a Kreweras word w, the web \({\mathcal {W}}_{{{\,\mathrm{{Pro}}\,}}(w)}\) is the rotation of the web \({\mathcal {W}}_w\). Hence, our work would seem to be closely related to the aforementioned work relating webs and promotion. And indeed, our procedure of obtaining a web from a Kreweras bump diagram by breaking apart its crossings is very similar to Tymoczko’s procedure of converting a so-called “m-diagram” into a web. However, the exact relation between our work and prior work is not clear to us. Let us emphasize some points of contrast.
In the same way that linear extensions of \([2]\times [n]\) naturally correspond to Dyck words, linear extensions of \([3]\times [n]\) naturally correspond to words of length 3n in the letters \(\mathrm {A}\), \(\mathrm {B}\), and \(\mathrm {C}\), with equally many \(\mathrm {A}\)’s, \(\mathrm {B}\)’s, and \(\mathrm {C}\)’s, for which every prefix has at least as many \(\mathrm {A}\)’s as \(\mathrm {B}\)’s and at least as many \(\mathrm {B}\)’s as \(\mathrm {C}\)’s (this representation is usually called the lattice word or Yamanouchi word of the tableau). In this way, the linear extensions of \([3]\times [n]\) can be viewed as a subset of the Kreweras words of length 3n. However, promotion of a linear extension of \([3]\times [n]\) is not the same as promotion of its corresponding Kreweras word. Furthermore, the web obtained from a linear extension of \([3]\times [n]\) via the Khovanov–Kuperberg/Tymoczko bijection is not the same as the web \({\mathcal {W}}_w\) for its corresponding Kreweras word w. Indeed, as we have already seen with Theorem 5.11, only a subset of irreducible \(\mathfrak {sl}_3\)-webs with 3n white boundary vertices arise as \({\mathcal {W}}_w\) for some Kreweras word w of length 3n. And, on the other hand, unlike the situation with SYTs, we also need extra decoration (the 3-edge-coloring) to recover w from \({\mathcal {W}}_w\).
Another way that our work differs from the work mentioned above is that for us, the trip permutation \(\sigma _w\) associated to the web \({\mathcal {W}}_w\) plays a central role, in contrast to previous work on webs and promotion. In fact, it seems that viewing a web as a plabic graph in order to extract a trip permutation is a new idea, although Lam [18] and Fraser, Lam and Le [7] discuss some relationships between webs and plabic graphs. We also note that one could adapt the argument in Lemma 4.7 to show that for a linear extension of \([3]\times [n]\), the trip permutation of its Khovanov–Kuperberg/Tymoczko web can similarly be read off from its growth diagram.
At any rate, it would certainly be interesting to understand more precisely the connection between our work and the previous work on webs and promotion, if there is some precise connection.
6.2 More enumeration, and connection with planar maps
As we just saw in Sect. 6.1, the total number of irreducible \(\mathfrak {sl}_3\)-webs with 3n white boundary vertices is the same as the number of standard Young tableaux of \(3 \times n\) rectangular shape, for which there is a well-known product formula \(2 \, \frac{(3n)!}{n!(n+1)!(n+2)!}\) (sometimes these numbers are called “three-dimensional Catalan numbers”). Corollary 5.12 gives a product formula for a weighted enumeration of Kreweras webs. Let us now explain how one can enumerate Kreweras webs, without this weighting. As we will see, certain famous sequences of numbers counting planar maps naturally arise.
We will employ a small amount of generatingfunctionology for this task. When dealing with combinatorial generating functions it is often useful to reduce to “connected” objects. We say a (non-empty) Kreweras word w is connected if it contains no proper consecutive substring which is a Kreweras word. Evidently,
Let us form the generating functions
where
As we have seen in Sect. 1, \(K_n =\frac{4^n}{(n+1)(2n+1)}\left( {\begin{array}{c}3n\\ n\end{array}}\right) \) (http://oeis.org/A006335). Note that every Kreweras word is obtained, in a unique way, from a connected Kreweras word w by inserting an arbitrary (possibly empty) Kreweras word after each letter of w. This yields the generating function equation
>From the above equation, and the formula for \(K_n\), it is possible to use Lagrange inversion to deduce that \(K^c_n = 2^{n+1} \, \frac{(4n-3)!}{(3n-1)!n!}\).
Next, we do the same but with Kreweras webs instead of Kreweras words. That is, we form the generating functions
where
It follows from Theorem 5.11 that \(W^c_n = \frac{1}{2}K^c_n\). Moreover, the same reasoning as in the case of Kreweras words implies the generating function equation
>From the above equation, and the formula for \(W^c_n\), it is possible to use Lagrange inversion to obtain the coefficients \(W_n\), although the answer one obtains is not as nice as for \(K_n\).
Finally, let us explain the connection with planar maps. Recall that a planar map is a topological equivalence class of embeddings of a connected planar graph in the sphere. The number of rooted, bridgeless, cubic planar maps with 2n vertices is
Bernardi [1] defined a bijection from Kreweras words of length 3n to rooted, bridgeless, cubic planar maps with 2n vertices decorated with a depth tree, which is a certain kind of spanning tree. He also explained why every such map has exactly \(2^{n}\) depth trees, and thus combinatorially explained the above equality.
Meanwhile, the number of rooted, 3-connected, cubic planar maps with 2n vertices is
We believe that under Bernardi’s bijection, a Kreweras word is connected if and only if its corresponding cubic planar map is 3-connected. Thus Bernardi’s bijection also explains, combinatorially, the above equality. However, it would be desirable to directly explain why the enumeration of connected Kreweras webs is related to the enumeration of rooted, 3-connected, cubic planar maps, without going through Kreweras words. There is some reason to hope this is possible because webs seem at least superficially similar to cubic planar maps.
6.3 An algebraic model
Is there an algebraic model which explains the behavior of promotion on Kreweras words?
The Henriques–Kamnitzer cactus group action [12] on the tensor product of crystals of representations of a (simple, finite-dimensional) Lie algebra gives rise to a notion of promotion acting on the highest weight words of weight zero for such a tensor product: see [6, 23, 38]. For example, letting V be the vector representation of \(\mathfrak {sl}_k\), this cactus group promotion action on the weight zero highest weight words of \(\otimes ^{kn} V\) corresponds to promotion of linear extensions of \([k] \times [n]\) (i.e., promotion of SYTs of \(k \times n\) rectangular shape). Moreover, there are general results (see the references above) which imply that cactus group promotion of weight zero highest weight words always has good behavior.
As mentioned in the previous subsection, Kuperberg first defined webs in order to study invariant tensors in tensor products of representations of Lie algebras. So it is not so unreasonable to think that promotion of Kreweras words could be connected to invariant tensors and the Henriques–Kamnitzer cactus group action in some way. Perhaps the proper algebraic model for Kreweras words will come from representations of some variant of a simple, finite-dimensional Lie algebra, like a Lie superalgebra or a Kac–Moody algebra. A better understanding of the algebraic significance of the “no 4k-sided internal faces” condition for the Kreweras webs could be the key to uncovering the proper algebraic model for Kreweras words.
We note that the cactus group promotion of highest weight words can be described via local rules: see [23, §4.2]. As we saw in Sect. 4, promotion of Kreweras words can also be described via local rules. However, local rules alone are not enough to guarantee good behavior of promotion: again, as we saw in Sect. 4, promotion of the linear extensions of any poset can be described by local rules, but most posets have bad behavior of promotion.
6.4 Cyclic sieving
Diagrammatic and/or algebraic models are often useful for establishing cyclic sieving results. Let us recall this notion from Reiner–Stanton–White [25]:
Definition 6.1
Let X be a finite set. Let \(C=\langle c \rangle \) be a cyclic group of order \(\ell \) acting on X, generated by element \(c\in C\). Let \(f(q) \in {\mathbb {N}}[q]\) be a polynomial in q with nonnegative integer coefficients. Then we say the triple \((X,\Phi ,f(q))\) exhibits cyclic sieving if for all k we have
where \(\omega {:}{=}e^{2\pi i/\ell }\) is a primitive \(\ell \)th root of unity.
Cyclic sieving phenomena (CSPs) involving polynomials which have an expression as a ratio of products of q-numbers are especially valued, because they imply that every symmetry class has a product formula.
In the case of promotion of SYTs of \(k\times n\) rectangular shape, Rhoades [26] obtained such a CSP. He showed \((\{\text {SYTs of shape }k\times n\},\langle {{\,\mathrm{{Pro}}\,}}\rangle ,f(q))\) exhibits cyclic sieving, where f(q) is the major index generating function for the SYTs of shape \(k \times n\), which has the product formula
assuming by symmetry that \(k\le n\). Note that this product formula is the well-known q-hook length formula [32, Cor. 7.21.5].
We conjecture the following CSP for promotion of Kreweras words:
Conjecture 6.2
For all \(n\ge 1\), the rational expression
is a polynomial in q with nonnegative integer coefficients, and the triple
exhibits cyclic sieving.
Conjecture 6.2 strongly suggests that some good algebraic model for Kreweras word promotion should exist, although we do not know of the precise algebraic or combinatorial significance of the polynomial f(q) appearing in the conjecture.
We also conjecture similarly that there is a product formula for the number of Kreweras words fixed by \({{\,\mathrm{{Evac}}\,}}\) and \({{\,\mathrm{{Evac}}\,}}^{*}\):
Conjecture 6.3
For all \(n\ge 1\), the number of Kreweras words of length 3n with \({{\,\mathrm{{Evac}}\,}}^{*}(w)=w\) is
The number of Kreweras words of length 3n with \({{\,\mathrm{{Evac}}\,}}(w)=w\) is this same number if n is even, and is 0 if n is odd.
It is possible that Conjecture 6.3 could be phrased as a “\(q=-1\)” result for a polynomial which has a product formula as a rational expression, although we do not have a candidate for such a polynomial. Note that every poset has a “\(q=-1\)” result for counting self-evacuating linear extensions, where the polynomial is essentially the major index generating function: see [33, §3].
6.5 Order polynomial product formulas
It is reasonable to ask “where is this Kreweras word promotion really coming from?,” or in other words, “what is it about the poset V(n) that would lead one to suspect that it has good promotion behavior?” Let us attempt to answer this question.
Let P be a poset. A P-partition of height m is a weakly order-preserving map \(\pi :P \rightarrow \{0,1,\ldots ,m\}\). It is well-known that the number of P-partitions of height m is given by a polynomial \(\Omega _P(m)\) in m, called the order polynomial of P, whose degree is \(\#P\) and whose leading coefficient is \(1/\#P!\) times the number of linear extensions of P (see, e.g., [34, §3.12]).
In [15], Kreweras–Niederhausen obtained the following product formula for the entire order polynomial of the poset V(n):
They deduced the product formula counting Kreweras words (i.e., linear extensions of V(n)) as a corollary.
In [13], the first author (S.H.) presented the following heuristic: “posets with good dynamical behavior = posets with order polynomial product formulas.” Here “good dynamical behavior” includes good behavior of promotion of linear extensions. It is via this heuristic that promotion for Kreweras words was discovered: S.H. asked a question on MathOverflow about posets with order polynomial product formulas, and was lead to the paper [15] and the V(n) poset by an answer of Ira Gessel [8].
6.6 Rowmotion
Rowmotion is a certain invertible action on the order ideals of any poset P which has been studied by many authors over a number of years, with a renewed interest especially in the last 10 or so years. Rowmotion and promotion are “similar” in many respects. For an overview and history of rowmotion see, e.g., [35] or [36]. Einstein and Propp [5] introduced a piecewise-linear extension of rowmotion, which in particular yields a (piecewise-linear) action of rowmotion on the set of P-partitions of height m.
In the “posets with good dynamical behavior = posets with order polynomial product formulas” heuristic just mentioned, “good dynamical behavior” also includes good behavior of rowmotion of order ideals, and more generally good behavior of (piecewise-linear) rowmotion of P-partitions.
In agreement with this heuristic, it (experimentally) appears that the poset V(n) has good behavior of rowmotion of order ideals and P-partitions. Conjectures concerning rowmotion for V(n) appeared in the aforementioned paper [13].
Notes
Technically Postnikov considered decorated permutations, which have their fixed points colored either black or white. None of the trip permutations we obtain from irreducible webs will have fixed points (see the proof of Lemma 5.6), so this issue of fixed point decoration will not concern us.
References
Bernardi, O.: Bijective counting of Kreweras walks and loopless triangulations. J. Combin. Theory Ser. A 114(5), 931–956 (2007)
Bousquet-Mélou, M.: Walks in the quarter plane: Kreweras’ algebraic model. Ann. Appl. Probab. 15(2), 1451–1491 (2005)
Bousquet-Mélou, M., and Mishna, M.: Walks with small steps in the quarter plane. In: Algorithmic Probability and Combinatorics, volume 520 of Contemp. Math., pp 1–39. Am. Math. Soc., Providence, RI (2010)
Edelman, P., Greene, C.: Balanced tableaux. Adv. Math. 63(1), 42–99 (1987)
Einstein, D., Propp, J.: Combinatorial, piecewise-linear, and birational homomesy for products of two chains. Algebr. Comb. 4(2), 201–224 (2021)
Fontaine, B., Kamnitzer, J.: Cyclic sieving, rotation, and geometric representation theory. Selecta Math. (N.S.) 20(2), 609–625 (2014)
Fraser, C., Lam, T., Le, I.: From dimers to webs. Trans. Am. Math. Soc. 371(9), 6087–6124 (2019)
Gessel, I.: Unified Framework for Posets with Order Polynomial Product Formulas. MathOverflow. https://mathoverflow.net/q/343235 (version: 2019-10-06)
Gessel, I.M.: A probabilistic method for lattice path enumeration. J. Stat. Plann. Inference 14(1), 49–58 (1986)
Haiman, M.D.: Dual equivalence with applications, including a conjecture of Proctor. Discrete Math. 99(1–3), 79–113 (1992)
Haiman, M.D., Kim, D.: A characterization of generalized staircases. Discrete Math. 99(1–3), 115–122 (1992)
Henriques, A., Kamnitzer, J.: Crystals and coboundary categories. Duke Math. J. 132(2), 191–216 (2006)
Hopkins, S.: Order polynomial product formulas and poset dynamics. 2020. For the “Open Problems in Algebraic Combinatorics" AMS volume to accompany the OPAC 2022 conference at U. Minnesota. Preprint, arXiv:2006.01568
Khovanov, M., Kuperberg, G.: Web bases for \({\rm sl}(3)\) are not dual canonical. Pac. J. Math. 188(1), 129–153 (1999)
Kreweras, G., Niederhausen, H.: Solution of an enumerative problem connected with lattice paths. Eur. J. Combin. 2(1), 55–60 (1981)
Kreweras, G.: Sur une classe de problemes de dénombrement liés au treillis des partitions des entiers. Cahiers du B.U.R.O. 6, 5–105 (1965)
Kuperberg, G.: Spiders for rank \(2\) Lie algebras. Commun. Math. Phys. 180(1), 109–151 (1996)
Lam, T.: Dimers, webs, and positroids. J. Lond. Math. Soc. (2) 92(3), 633–656 (2015)
Niederhausen, H.: Sheffer polynomials in path enumeration. In Proceedings of the West Coast Conference on Combinatorics, Graph Theory and Computing (Humboldt State Univ., Arcata, Calif., 1979), Congress. Numer., XXVI, pp 281–294. Utilitas Math., Winnipeg, Man. (1980)
Niederhausen, H.: The ballot problem with three candidates. Eur. J. Combin. 4(2), 161–167 (1983)
Patrias, R.: Promotion on generalized oscillating tableaux and web rotation. J. Combin. Theory Ser. A 161, 1–28 (2019)
Petersen, T.K., Pylyavskyy, P., Rhoades, B.: Promotion and cyclic sieving via webs. J. Algebr. Combin. 30(1), 19–41 (2009)
Pfannerer, S., Rubey, M., Westbury, B.W.: Promotion on oscillating and alternating tableaux and rotation of matchings and permutations. Algebr. Comb. 3(1), 107–141 (2020)
Postnikov, A.: Total Positivity, Grassmannians, and Networks. Preprint, arXiv:math/0609764 (2006)
Reiner, V., Stanton, D., White, D.: The cyclic sieving phenomenon. J. Comb. Theory Ser. A 108(1), 17–50 (2004)
Rhoades, B.: Cyclic sieving, promotion, and representation theory. J. Comb. Theory Ser. A 117(1), 38–76 (2010)
Russell, H.M.: An explicit bijection between semistandard tableaux and non-elliptic \(sl_3\) webs. J. Algebr. Comb. 38(4), 851–862 (2013)
Schützenberger, M.P.: Quelques remarques sur une construction de Schensted. Math. Scand. 12, 117–128 (1963)
Schützenberger, M.P.: Promotion des morphismes d’ensembles ordonnés. Discrete Math. 2, 73–94 (1972)
Schützenberger, M.P.: Evacuations. In Colloquio Internazionale sulle Teorie Combinatorie (Rome, 1973), Tomo I, pages 257–264. Atti dei Convegni Lincei, No. 17. (1976)
Schützenberger, M.-P.: La correspondance de Robinson. In Combinatoire et représentation du groupe symétrique (Actes Table Ronde CNRS, Univ. Louis-Pasteur Strasbourg, Strasbourg, 1976), pp 59–113. Lecture Notes in Math., Vol. 579 (1977)
Stanley, R.P.: Enumerative combinatorics. Vol. 2, volume 62 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin
Stanley, R.P.: Promotion and evacuation. Electron. J. Combin., 16(2, Special volume in honor of Anders Björner):Research Paper 9, 24 (2009)
Stanley, R.P.: Enumerative Combinatorics. Volume 1, volume 49 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition (2012)
Striker, J., Williams, N.: Promotion and rowmotion. Eur. J. Comb. 33(8), 1919–1942 (2012)
Thomas, H., Williams, N.: Rowmotion in slow motion. Proc. Lond. Math. Soc. (3) 119(5), 1149–1178 (2019)
Tymoczko, Julianna: A simple bijection between standard \(3\times n\) tableaux and irreducible webs for \(\mathfrak{sl}_3\). J. Algebr. Comb. 35(4), 611–632 (2012)
Westbury, B.W.: Invariant tensors and the cyclic sieving phenomenon. Electron. J. Comb. 23(4): Paper 4.25, 40 (2016)
Funding
Open access funding provided by TU Wien (TUW).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Sam Hopkins was supported by NSF Grant #1802920. Martin Rubey was supported by the the Austrian Science Fund (FWF): P 29275.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hopkins, S., Rubey, M. Promotion of Kreweras words. Sel. Math. New Ser. 28, 10 (2022). https://doi.org/10.1007/s00029-021-00714-6
Accepted:
Published:
DOI: https://doi.org/10.1007/s00029-021-00714-6