Shadows in the wild -- folded galleries and their applications

This survey is about combinatorial objects related to reflection groups and their applications in representation theory and arithmetic geometry. Coxeter groups and folded galleries in Coxeter complexes are introduced in detail and illustrated by examples. Further it is explained how they relate to retractions in Bruhat-Tits buildings and to the geometry of affine flag varieties and affine Grassmannians. The goal is to make these topics accessible to a wide audience.


Introduction
Symmetric groups S n , for n ∈ N, permuting the elements of an n-element set may seem to be the simplest possible examples of groups. Simultaneously they are also universal in a sense as every finite group is in fact a subgroup of some large enough symmetric group.
It may not seem obvious, but symmetric groups are also prime examples of Coxeter groups, that is (abstractions of) reflection groups. Have a look at  s. One can see, that S 3 hence also acts on the hexagon by color-preserving symmetries. This hexagon is an example of a Coxeter complex which can be associated to any Coxeter group.
Coxeter groups play an important role in many contexts of mathematics.
They are the center of study in algebraic combinatorics, where one assigns many interesting discrete structures, combinatorial objects and counting statistics to such groups. Moreover, Coxeter groups appear as Weyl groups in the study of reductive groups or Lie groups and in the representation theory of the associated algebras. Many interesting phenomena are governed by the combinatorial structures attached to Coxeter groups. In geometric group theory (Bruhat-Tits) buildings serve as a prime class of nonpositively curved spaces and Coxeter groups as a prime example of CAT(0) groups, the geometry of which has many interesting properties.
Maybe the most important tool to study a Coxeter group W is their Coxeter complex Σ, a simplicial complex that has been introduced by Tits in the early 1960s [Tit60]. This complex encodes how cosets of a specific class of subgroups of W are nested and has the property that the Coxeter group acts simply transitively and cocompactly on that complex. In particular every element in W can be uniquely identified with a maximal simplex in Σ. The group S 3 has 6 elements, 1, s, t, ts, st and sts = w 0 . These six elements can be identified with the six edges of the hexagon as illustrated in Figure 1.
In this survey we would like to highlight some recent applications of combinatorial structures associated with affine Coxeter groups. These form an important class of infinite Coxeter groups. A first example is the infinite dihedral group that acts on the number line and is generated by two reflections along adjacent integers as illustrated in Figure 2. The key tools for us are so called folded galleries. A gallery in a Coxeter complex is a sequence of maximal cells where subsequent ones share at least a codimension one face. See 2.6 for a precise definition and Figure 6 for an example. In this example a folded gallery is indicated by a path walking through the maximal simplices in the gallery. Folded galleries (and paths) appeared first in the work of Littelmann [Lit94,Lit95] and Gaussent-Littelmann [GL05] in the context of highest weight representations of semisimple complex Lie algebras.
Coxeter groups are sometimes Weyl groups associated to a semisimple algebraic group G. Gaussent and Littelmann show in [GL05] that the combinatorics of folded galleries is closely linked with the structure of the affine Grassmannian of G. There are natural ways to interpret folded galleries and shadows in the Bruhat-Tits building associated with G. These buildings are simplicial complexes which are gluings of (possibly infinitely many) copies of a Coxeter complex Σ in a symmetric and controlled way such that the group G acts transitively on the copies of Σ but also on the set of maximal simplices of the building. As mentioned above, the Coxeter complex associated with the infinite dihedral group is the number line. The corresponding buildings are precisely the simplicial trees without leaves. The Coxeter group in question is the infinite dihedral group. See Figure 12 for an example.
Since their first appearance folded paths and galleries have been used in numerous places. Many of them are highlighted in Ram's survey on folded galleries, the alcove walk model (equivalent to the path model developed by Littelmann) and applications in the context of symmetric functions, Hecke algebras and structure constants, see [Ram06]. Moreover, C. Schwer [Sch06] has used folded galleries to study Hall-Littlewood polynomials. Ehrig [Ehr10] showed that MV polytopes can be characterized using folded galleries. The famous Saturation conjecture was proven for SL n by Kapovich and Millson using folded paths in [KM08]. This gives just a few examples.
The guiding principle will be the following: certain double coset intersections of subgroups in a reductive algebraic group with a Bruhat-Tits building can be interpreted in terms of various retractions onto a preferred Coxeter complex inside the building. These retractions are either centered at an alcove, a Weyl chamber or a chimney. See Sections 4.2 and 6 for details and Figures 13 and 14 for an illustration of the first two kinds of retractions.
In turn the retractions naturally give rise to positively folded galleries. We highlight some of these applications in Section 7.1. Collecting all positively folded galleries of a same type in a single set we may define shadows. These shadows simultaneously capture the image of several galleries under some retractions and have natural interpretations in terms of subgroups of G and also in terms of buildings.
We will see that retractions and folded galleries explain nonemptiness and dimensions of double cosets in both the affine Grassmannian and affine flag variety. This phenomenon will be highlighted in Section 5 where we explain a convexity theorem [Hit10] for reductive groups and buildings analogous to the classical convexity theorem by Kostant [Kos73]. In Section 6, which is based on [MST19, MST20, MNST20], we will see how the same underlying principle (although with much more involved combinatorial methods and proofs) allows us to show nonemptiness and to compute dimensions of affine Deligne-Lusztig varieties in the affine flag variety as also certain Iwahori double cosets are governed by folded galleries.
I am by no means claiming completeness, nor originality in writing this survey. My goal is to highlight the combinatorial side of the gallery model for affine flag varieties and affine Grassmanians and hint at its powerful applications. The writing is kept colloquial on purpose in order to keep everything accessible for a wide audience. This also means that if not relevant for the readability not all notions will be formally defined but references will be given. My hope is to pique your curiosity and leave you interested to learn more. Let me know if I was (even remotely) successful.
Organization of this text. Section 2 lays the foundation for the rest of the survey in introducing Coxeter groups, the associated Coxeter complexes as well as folded galleries. Orientations, positive folds and shadows are introduced in Section 3. After that, in Section 4, the close connection between folded galleries, orbits of subgroups of G and also the Bruhat-Tits buildings and affine Grassmannians is explained. Sections 5 and 6 highlight two applications. We close the survey by a quick walk through some more applications and a list of open problems in the last Section 7.

The main landscape
Coxeter groups are a formalization of reflection groups acting on some Euclidean space, sphere or hyperbolic space. In the 1930s Coxeter studied finite and affine reflection groups and established a particularly nice presentation of them that is encoded in a symmetric matrix with integer entries. In the early 1960 Tits invetigated groups admitting such a representation in a wider context and called these groups Coxeter groups.
In this section we will define Coxeter groups and collect useful facts relevant to the material in this survey. For details and proofs refer to one of the many good textbooks on the topic; for example [BB05,Dav08,Bou08] or [Hum90].
A first example of a well-known class of Coxeter groups are the dihedral groups D n for n ∈ N ∪ {∞}. For n ∈ N these are precisely the symmetry groups of regular n-gons. Each of these groups is generated by two reflections. The only infinite group in this class is the infinite dihedral group D ∞ which is the set of symmetries of the number line equipped with a simplicial structure given by the unit intervals, see Figure 2.
A second class of examples are the symmetric groups S n for n ∈ N. One may view them as symmetries of an (n − 1)-simplex acting by permuting the n vertices of the simplex. Figure 1 shows the dihedral group D 6 which is isomorphic to the symmetric group S 3 .
2.1. Mirror, mirror, on the wall. Since it is easy to state -here is the formal definition in terms of generators and relations. This presentation is given by a symmetric matrix (m i,j ) i,j∈I with entries in N ∪ {∞} such that m i,i = 1 < m i,j for all i = j ∈ I.
Definition 2.1 (Coxeter groups). A group W with finite generating set S given by the following presentation is a Coxeter group:  Example 2.2. Figure 3 shows three Coxeter groups. The one on the left is the symmetry group W 1 of the icosahedron. A fundamental domain of the action is a cell of the barycentric subdivision (shown with thin black lines) of the icosahedron. The Coxeter presentation of W 1 is The group illustrated by the picture in the middle is the one where the pairwise products of generators are all of order three. The presentation is hence given by W 2 = s 1 , s 2 , s 3 | s 2 i , (s 1 s 2 ) 3 , (s 2 s 3 ) 3 , (s 3 s 1 ) 3 . The group acting simply transitively on this regular tiling of the plane is generated by three reflections bounding any one of the triangles. Compare also Figure 5. Finally on the right we see the tiling of the hyperbolic plane induced by a second kind of infinite reflection group. Its presentation is given by . This group is also generated by three reflections in the hyperbolic plane on which it acts cocompactly. But there is no cocompact isometric action of this group on the euclidean plane.
Any reflection in such a W i corresponds to a reflection hyperplane, i.e. a great circle, affine line or bi-infinite geodesic in the respective figures. The collection of all reflection hyperplanes subdivides the sphere, the affine space or disc in disjoint cells and induces a simplicial structure on the space. The Coxeter complex of (W, S) is the underlying abstract simplicial complex of these tilings. The standard generating set S corresponds to the hyperplanes going through the faces of a fixed maximal cell of this subdivision. More about this in Section 2.2.
Any Coxeter group W is uniquely characterized both by a matrix and a graph. The Coxeter matrix M = M (S, W ) is the matrix of size |S| × |S| whose entries are the m i,j from the definition of a Coxeter group. The Coxeter diagram has vertex set the elements of S. Two of them are joined by an edge if they satisfy a relation with m i,j = 2. In case m i,j = 3 we draw a single edge, for m i,j = 4 one draws a double edge and in all other cases the graph has a labeled edge with edge-label the order m i,j .
The Coxeter diagrams for the groups W i , i = 1, 2, 3, introduced in Example 2.2 are shown from left to right in Figure 4. In fact Coxeter groups fall into three categories according to the signature of a bilinear form associated with their Coxeter graphs and/or matrices. There are the finite ones acting on some n-sphere as W 1 in the example above, the infinite ones which are cocompact reflection groups of some euclidean space just like W 2 , and the rest. Among the third class are those which admit (not necessarily cocompact) actions on some hyperbolic space, as for example W 3 does. See for example [Hum90] or [Dav08] for further details.
One of the classic problems in group theory is the word problem, namely the problem to decide algorithmically whether two words in the same generators represent the same group element. For Coxeter groups this problem has a solution due to Matsumoto [Mat64]. Suppose two reduced words represent the same element of a Coxeter group. Matsumoto's theorem then states that the first can be transformed into the second by repeated application of so called braid moves, that is by replacing substrings of the form s i s j s i . . . and length m i,j by a string of the form s j s i s i . . . of the same length. Such a braid move corresponds to the defining relation (s i s j ) m i,j = 1 in the Coxeter group and plays a crucial role in many proofs and properties of Coxeter groups as we will see in the section on orientations.
2.2. Turning Coxeter groups into geometric objects. Every Coxeter system (W, S) comes with a natural action on a simplicial complex Σ = Σ(W, S), called the Coxeter complex. This complex is always finite dimensional and its maximal simplices are in one-to one correspondence with the elements of W . Moreover, Σ characterizes a lot of the nice geometric and combinatorial properties of Coxeter groups. As we will see, many algebraic questions can be studied by means of the geometry and combinatorics of this complex.
Let W be a reflection group acting on some euclidean space, for instance W 2 in Example 2.2. An alcove of the tiling induced by this action is (the closure of) a maximal connected component in the complement of the reflection hyperplanes. These are the small triangles in Figure 3. Each of these triangles is a fundamental domain of the action of W .
The group itself acts simply transitively on the set of maximal cells of this subdivision. One may hence label them each with a unique element of the group. The cell labeled 1 is called fundamental alcove and denoted by a 0 . The hyperplanes bounding a 0 then correspond to the elements in S. This allows us to label the faces of the cell by their stabilizers in W . Here we identify the fundamental alcove a 0 with the trivial coset of the trivial group generated by the empty set. All other cells are then labeled by cosets of these stabilizers.
The set Σ carries the structure of an abstract simplicial complex and is called Coxeter complex of the system (W, S).
The maximal simplices in Σ are the alcoves and their codimension one faces are called panels. The vertices of Σ are the cosets of maximal parabolic subgroups, that is subgroups W generated by subsets S = S \ {s} for a single element s ∈ S.
Note that each panel p corresponds to a coset of a parabolic subgroup of the form xW {s} for some s ∈ S. In this case we say p has type s and write τ (p) = s. We may also define the type of a vertex to be the same as the type of the unique panel in any alcove not containing the vertex.
Similarly to types of panels we introduce a type for each vertex λ in Σ by putting τ (λ) = s if for an alcove a containing λ the codimension one face of a that does not contain λ also has type s. By construction types of panels (and vertices) are invariant under the natural left-action of W on σ.
It is worth mentioning that the colored dual graph of Σ, where one puts a vertex for each alcove and an edge of color s between any pair that shares a panel of type s, is exactly the Cayley graph of W with respect to the generating set S.
Remark 2.4. In the cases considered in this paper, the subdivision of the euclidean space into alcoves yields a geometric realization of the abstractly defined Coxeter complex. This is always true for affine Coxeter groups but does not hold in the general case.
We close this section with a small example.
Example 2.5. An example for a finite Coxeter complex can be found in Figure 1. The edges are the alcoves, the vertices are the colored panels where blue represents the generator s and red the generator t. Figure 5 shows the Coxeter complex of the infinite Coxeter group W 2 we had encountered above.
Here alcoves are the triangles and edges the panels. The pictured complex is equivariently colored. The colors of the vertices of the alcove labeled 1 are chose such that the opposite panel corresponds to the fix-set of the reflection of the same color. That is, the blue vertex of 1 is opposite the codimension one side of 1 that is contained in the blue reflection hyperplane. So not only is every element x ∈ W represented by an alcove a x in Σ it is also represented by any pathway through doors (we call such a path gallery) that takes you from the fundamental alcove to a x . That is a whole lot of galleries many of which (unnecessarily) go back and forth between adjacent alcoves or take huge detours.
More formally, what one does is the following.
Definition 2.6 (Galleries). A (combinatorial) gallery in a Coxeter complex is a sequence γ = (c 0 , p 1 , c 1 , . . . , p n , c n ) of alcoves c i and panels p i such that for all i = 1, . . . , n the panel p i is contained in c i−1 and c i . The length of the gallery is n + 1 and we will be calling c 0 the start (alcove) and c n the end (alcove) of γ.
All galleries in this paper will contain at least one alcove.
Depending on the application it is necessary to modify the definition of a combinatorial gallery and allow for smaller simplices in some places. One such variant we will be using in this survey is the extension a combinatorial gallery on one or both ends by a vertex, i.e. we will consider the following more general form of combinatorial galleries: Here λ 0 is a vertex of c 0 and λ n one of c n . In this case we say that γ starts in λ 0 and ends in λ n . This is for example needed in [GL05,Sch06] or [Hit10] which will be addressed in Section 7. See also [MST19] Section 3.2 and Remark 3.13 therein.
In the above definition nothing prevented us from choosing subsequent alcoves c i−1 and c i to be equal. In fact this is critical and makes all the powerful applications possible. Typically a (folded) gallery is illustrated by a directed, continuous path in the Coxeter complex that walks through the chambers and panels in the gallery. The direction is indicated by an arrow that points towards the end of the gallery. A bend touching a panel represents a fold at the respective panel and also emphasizes the repeated alcove. Let's look at an example stolen from [GS20, Example 4.4].
Example 2.8 (Folded galleries). Figure 6 shows two galleries in a typeÃ 2 Coxeter complex. The gray gallery starts in the alcove labeled a and ends in alcove c. It is not folded but also not minimal. The black gallery also starts in a but ends in b. The first bit of the gallery (up to panel p 4 ) agrees with the gray one and both are of the same type. Try to verify this by coloring in the panels. The black gallery has two folds at panels p 4 and p 7 each of which is illustrated by the peaksy bend touching the respective panel.
2.4. The connection with words and elements in S and W . The (folded) galleries introduced above have a natural correspondence with (decorated) words in the generators S of W , which will now be explained.
Recall that a gallery was a sequence γ = (λ 0 , c 0 , p 1 , c 1 , . . . , p n , c n , λ n ). Each panel p i in γ has a type s i ∈ S. Listing the types in order and taking the product in order yields a word in S, respectively an element in W . A word is reduced if it is shortest possible among all words representing the same element.
By a decorated word we mean a word in S where we put hats on some of its letters. Algebraically these decorations correspond to deletions of the generator in the word. However, for reasons we will discuss later, one wants to remember which letters have been deleted.
Definition 2.9 (Type of a gallery). The type, denoted by τ (γ), of a gallery γ of the form is the word in S obtained as follows: The decorated type is the decorated wordτ (γ) := s j 1 . . .ŝ j 2 . . . s jn obtained as follows: the s j i ∈ S are chosen as above and a hat is put on s j i in case c i−1 = c i in γ. By slight abuse of notation we call a letter with a hat a fold.
Types and decorated types of galleries already carry a lot of information about the galleries themselves. So for example a gallery is a minimal gallery connecting two alcoves if and only if its type is reduced. In this case one also has that type and decorated type agree. Having τ =τ yields that the gallery is unfolded but not necessarily minimal.
More properties are listed in the next proposition a proof of which may be found in [GS20, Section 4]. (3) The end-alcove of a gallery γ of decorated typeτ (γ) is the alcove w.c 0 where w is the element in W obtained byτ (γ) after deleting the letters with a hat.
There are several ways to manipulate a folded gallery. In [MST19] we have made crucial use of the Littelmann root operators in [GL05]. In Sections 6, 8.1, 8.3 and 9 of [MST19] we moreover introduced several methods to explicitly construct and manipulate galleries via extensions, conjugation or concatenation. Ram [Ram06] as well as Parkinson, Ram and C. Schwer [PRS09] also discussed concatenations of folded galleries dressed as alcove walks. Kapovich and Millson studied the closely related Hecke paths and ways to construct them in [KM08].
Here are two first examples for how to gain new galleries from old ones: • W-action: The simplicial left-action of W on Σ induces an action on the set of all galleries by simultaneously multiplying all alcoves and panels in a gallery on the left. • Explicit (un-) foldings: Every panel p i is contained in a unique reflection hyperplane H i of the complex Σ. Denote by r i the reflection along H i in W . One may fold (or unfold) a given gallery γ at the panel p i by reflecting the subgallery (c i , p i+1 , . . . , p n , c n ) along H i , that is taking its image under r i according to the just defined W action.
The black gallery in Example 2.8 is obtained from the gray gallery by folding along panel p 4 and p 7 .
Surprisingly, showing existence or counting the number of folded galleries satisfying some extra conditions (being positively folded or of maximal dimension, notions that will be introduced later) has many interesting algebraic and geometric consequences. I first came across them when proving the buildings-analog of classical Kostant convexity, see [Hit10,Hit11]. But I am jumping ahead. Let's first talk about those extra conditions in the next section.

Orientations and Shadows
Polaris is used in the Northern Hemisphere to orient yourself and to determine which way to turn in order to walk in the direction of north. Orientations on Coxeter complexes serve a similar purpose. They are like north stars showing us which fold or crossing faces "north" or "south".

Finding orientation(s).
Formally an orientation is defined as follows.
Definition 3.1 (Orientations). An orientation φ of Σ is a map which assigns to a pair of a panel p and an alcove c containing p a value in {+1, −1}. We say that c is on the φ-positive side (respectively the φ-negative side) of p if φ(p, c) = +1 (respectively -1).
One way to produce an orientation is to take the map φ to be a constant map which is either ≡ +1 or ≡ −1. We will refer to these orientations as the trivial positive/negative orientation.
We now define two natural and more interesting classes of orientations. Alcove orientations are wall consistent, that is for all the panels in a same wall and chambers containing the panels on a same side of the wall, the value of the orientation agrees. So for wall consistent orientations each side of a wall is either positive or negative.
In the next subsection we are leaving the general framework and introduce an orientation available on affine Coxeter complexes only. This orientation is determined by a choice of a chamber at infinity.

Orientation far away.
In this section we restrict to the affine case. That is, the Coxeter groups in question are affine reflection groups, that is subgroups of the isometry group of a real affine space generated by affine reflections. An affine reflection of R n is a reflection at some affine hyperplane preserving the euclidian metric. Throughout this paper an affine Coxeter group is an affine reflection group W ≤ Isom(R n ) that acts cocompactly with a simplicial fundamental domain. Such a W has a Coxeter generating set S which corresponds to reflections along the hyperplanes spaned by the codimension one faces of its fundamental domain.
To each affine Coxeter group W is attached a spherical Coxeter group W 0 . Hereby W 0 may either be seen as the induced group action on the boundary sphere, as illustrated in Figure 8 at infinity of Σ, or as the stabilizer of any special vertex in Σ. In fact, a vertex is special if and only if its stabilizer is canocially isomorphic to the group acting on the boundary sphere. Some special vertices are shown in bold black in that figure.
Moreover W splits as a semi-direct product of W 0 and a translation group T isomorphic to Z n , for the same n as the dimension of the geometric realization of Σ. This translation subgroup T has a very natural definition in terms of root systems. See [Hum90] for further details.
The identification of W 0 with a subgroup of W is not unique. Conjugation by elements of T gives an infinite family of such subgroups. As we have already explained in Section 2 the choice of a vertex λ 0 as origin and a fundamental alcove a 0 having λ 0 as a vertex determines a bijection between elements of W and alcoves. Here the fundamental alcove a 0 corresponds to the identity and every element x ∈ W corresponds to the image of a 0 under x.
Remark 3.4. The visual boundary of Σ is a sphere whose simplicial structure is induced by the tessellation of the plane. A parallelism class of hyperplanes in Σ corresponds to a reflection hyperplane, i.e., a a great circle, in the sphere ∂Σ. These hyperplanes at infinity induce a simplicial tiling of the sphere. The connected components in the complement of the hyperplanes in ∂Σ are called chambers. Each chamber corresponds to a parallel class of simplicial cones in Σ called Weyl chambers. The chambers in ∂Σ as well as the alcoves (and Weyl chambers) in Σ based at a special vertex are in bijection with the elements of the spherical Weyl group W 0 . These bijections can be chosen in a compatible way so that the chamber labeled 1 in ∂Σ corresponds to the fundamental Weyl chamber C 0 based at the origin containing the fundamental alcove a 0 labeled 1 in Σ.
This arises naturally from the following interpretation of the elements w ∈ W . Such a w is an isometric automorphism of Σ that obviously maps parallel rays to parallel rays. Hence it induces an isometry of (the tessellation of) ∂Σ where translations on Σ induce the identity on ∂Σ.
This is indicated by the dotted arrow in Figure 8. One can think of this as "walking to infinity in the direction of x at λ".
One can use the chambers at infinity to define orientations on an affine Coxeter complex The following definition is equivalent to the one provided via induced orientations in [GS20]. This is the viewpoint we had taken in [MST19].
Definition 3.5 (Weyl chamber orientations). Suppose Σ is an affine Coxeter complex with boundary ∂Σ and fix a chamber σ ∈ ∂Σ. For any alcove c and any panel p ⊂ c in Σ, let H be the affine hyperplane containing p. Define φ σ (p, c) to be +1 if σ has a representative cone C σ ⊂ Σ which lies on the same side of H as c. The resulting orientation φ σ is called Weyl chamber orientation with respect to σ.
Weyl chamber orientations have many nice properties. For one they are wall consistent. On the other hand they are braid-invariant, which means that a positively folded gallery remains positively folded in case a substring is replaced by a substring equivalent to it under braid moves. We'll soon see that these orientations also naturally arise in the setting of affine (Bruhat-Tits) buildings. Now that we have well behaved orientations in place one may talk about galleries being well behaved with respect to a given such orientation. This is the focus of the next subsection.
3.3. Shadows in Coxeter complexes. Folded galleries have the property that some of the alcoves they visit along the way are repeated along some panel. Fixing an orientation one can decide whether with respect to that orientation a repeated alcove c i = c i−1 is on the positive or negative side of the shared panel p i . According to the value of the orientation on that pair such a fold is called positive, respectively negative.
Definition 3.6 (Positively folded). Let φ be an orientation. A combinato- While a combinatorial gallery of length n may have n folds the number of positive folds is uniformly bounded above. For a gallery of arbitrary length in an affine Coxeter complex the uniform bound is equal to the length of the longest element in the associated spherical Weyl group. See [GL05,GS20] or [MST19] for a proof.
In order to gain a better understanding of the behavior of positively folded galleries we consider their shadows with respect to a fixed orientation. This notion was first introduced in [GS20] and studied further in [MNST20].
Let φ be a braid-invariant orientation of (W, S), fix x ∈ W and let w be any reduced word in S such that [w] = x. One says that x φ-positively folds onto y ∈ W if there exists a gallery γ of type w starting in a 0 and ending in y that is positively folded with respect to φ. This is written as x φ − y.
Definition 3.7 (Shadows). With φ, x, w as chosen above the Shadow of x with respect to φ is given by Shadows as defined here are well-defined for any braid-invariant orientation.
In [GS20] we introduce shadows of words which may also be considered for orientations that are not braid-invariant.
We will now prove that shadows are a natural generalization of intervals in Bruhat order.
Bruhat order can be defined by the following subword property. See for example [BB05, Thm 2.2.2]. Let w = s 1 s 2 . . . s n be a reduced expression for x = [w] and let y ∈ W . Then an element y is less than or equal to some x in Bruhat order if and only if the word w representing x has a subword that is a reduced word for y. We include the proposition that makes this connection precise and also provide its proof, which is directly taken from [GS20, Prop.6.8].
Proposition 3.8 (Bruhat order and shadows). Let φ + be the trivial positive orientation and let φ 1 be the alcove orientation towards 1. For any pair of elements x, y ∈ W one has In particular Proof. The first equivalence is a direct consequence of the defining subword property: reduced expressions are in bijection with minimal galleries and a subword corresponds to a decorated word where there are hats on all of the letters missing in the subword. Such a decorated word corresponds to a folded gallery all of whose folds are automatically positive with respect to the trivial positive orientation φ + .
It is also easy to see that x − y, since any φ 1 -positive folding of some gallery is also φ + -positive.
− y let w be a reduced expression for x, γ a minimal galelry of type w, and let n = (x). For I ⊂ {1, . . . , n} write γ I w for the gallery obtained by folding γ at all panels with index i ∈ I. Among all subsets I such that γ I w ends at c y , choose I such that the sum of its elements is minimal. This ensures that γ I w is φ 1 -positively folded, because if γ I w were not positively folded at i ∈ I, we could replace i with some smaller value j. Specifically let j be the first index such that the i-th and j-th panels of γ I w lie in the same hyperplane. Then for J the symmetric difference of I and {i, j} we have γ J w ending at c y . Moreover (J) < (I) because j < i, since every gallery from 1 crosses all hyperplanes from the φ 1 -positive to the φ 1 -negative side first.
Compare this proposition also with [BB05, Lemma 2.2.1]. I'd like to emphasize that the proposition does not imply that every φ + -positively folded gallery is also φ 1 -positively folded. Counterexamples can easily be constructed.

Let us have a look at some examples of shadows.
Example 3.9. The shaded alcoves in the picture on the left of Figure 9 are the elements of the shadow of x with respect to the trivial positive orientation on a typeÃ 2 Coxeter complex. By the previous proposition this is the same as the Bruhat interval [1, x] and also the same as Sh 1 (x) = Sh φ + (x).
The picture on the right in the same figure shows the shadow of the outlined element by an orientation at infinity. Here the chamber at infinity defining the orientation φ is indicated by the arrow pointing to a chamber at infinity of the typeÃ 2 Coxeter complex. For more details (also explaining the light and dark gray coloring) see [GS20].
I have mentioned earlier that it is sometimes useful to vary the notion of a combinatorial gallery a bit. The same holds true for shadows.
Remark 3.10 (Vertex-to-vertex galleries and vertex shadows). One natural modification of the notion of a shadows is obtained as follows. Instead of combinatorial galleries from a 0 to some alcove a x consider combinatorial galleries of the following shape γ = (λ 0 , c 0 , p 1 , c 1 , . . . , p n , c n , λ n ) connecting the base vertex λ 0 with some other vertex λ n in the Coxeter complex. Then one may look at the vertex shadows of such a gallery, respectively of the vertex λ n . The shadow of a vertex-to-vertex gallery with respect to a fixed orientation φ is the set Sh ∨ φ of all vertices λ ∈ Σ such that λ is the end-vertex of a φ-positively folded gallery of the same type as γ that also starts in λ 0 . Typically λ 0 will be taken equal to the origin and λ n is (depending on the application) either a vertex in the co-root lattice or in the weight-lattice in Σ.
These vertex shadows are closely linked to the Littelmann path model and the convexity theorem we'll be talking about in Sections 4.2 and 5 below. 1 x Figure 9. The picture shows the shadow Sh φ + (x) (on the left) with respect to the trivial positive orientation φ + and the shadows Sh φ (x) of an orientation at infinity (on the right) in typeÃ 2 . For more details see Example 3.9.
Maybe the most natural question at hand is to decide which y are in Sh φ (x) for a given φ and x ∈ W . Unfortunately there are no closed formulas available for these sets, yet. The best we can do is provide recursive descriptions of shadows similar to the recursive descriptions of Bruhat order. Here is a first example for such a recursive result on shadows. Compare [GS20] or [MNST20] for more results and proofs.
Note that the condition v ϕ (s) < 0 (resp. > 0) in the next theorem simply means that the alcove corresponding to s in Σ is on the negative (resp. positive) side of the hyperplane separating s from 1. When one replaces the Weyl chamber orientation by the trivial positive orientation this result reduces to a recursive description of Bruhat order intervals which can be proven similarly. (i) If s is such that l(xs) < l(x), then For more results on the recursive behavior of shadows with respect to Weyl chamber orientations in affine Coxeter groups compare Algorithms R and L in Section 7.2 as well as Theorem 7.2 in [GS20]. More general orientations with respect to chimneys were introduced by Milićević, Naqvi, Thomas and myself in [MNST20]. See in particular Theorem 1.1 of [MNST20] where the recursive behavior of a shadow with respect to a chimney orientation is described. An example of such a chimney is provided in Figure 10. How shadows of chimneys relate to sets of positively folded galleries to certain orbits in (partial) affine flag varieties is explained in Theorems 1.2 and 1.3 of [MNST20]. These theorems are flag variety versions of results in [GL05] and [PRS09] in the affine Grassmannian which we will get to know in the next section. α x Figure 10. The colored-in alcoves are the shadow of the pink alcove x with respect to the chimney represented by the gray shaded region. See [MNST20] for further details.

Back to the roots
To the best of my knowledge the first major application of positively folded galleries was by Gaussent and Littelmann in [GL05] where they are used to describe a dense subset of an MV-cycle. The folded galleries are the combinatorial analogs of folded paths, the main tool in Littelmann's path model [Lit94,Lit95]. Folded or stammering, respectively stuttering, galleries (without the condition of positivity with respect to an orientation) appear in many places in the literature. The positively folded galleries appeared under the name of distinguished subexpressions in the work of Deodhar [Deo85]. The term folded galleries was first used in the PhD thesis of Gaussent.
In this section I would like to highlight and explain parts of the results of the gallery model introduced in [GL05] which interprets the path model in terms of the geometry of the associated affine Grassmannian. We will also see how this is related to the theory of buildings and to the notion of shadows introduced above.
The material in this section is also relevant for the applications reported on in Sections 5 and 6.
Littelmann answered some of the most basic questions in the representation theory of symmetrizable Kac-Moody algebras in a uniform and elegant way. Using folded paths and root operators on the collection of all paths he was able to • compute the weight multiplicities of irreducible highest weight representations, and • determine the irreducible components of the tensor product of two highest weight representations.
The path model provides a uniform answer to these (and more) questions by explicit combinatorial formulas counting certain piece-wise linear positively folded paths. These questions were also answered by the notion of crystal structures due to Kashiwara [Kas90] and Lusztig [Lus90]. Littelmann's approach generalizes the standard monomial theory of Lakshmibai and Seshadri [LS91] and is as well an instance of a crystal structure.

Positively folded galleries of maximal dimension.
In this section the notion of a dimension of a positively folded gallery is introduced. The dimension counts, loosely said, how many positive folds and crossings there are in a given gallery.
We are only considering vertex-to-vertex galleries in affine Coxeter complexes Σ in this section and will not explicitly mention this standing assumption in all places. Such a vertex-to-vertex gallery is called minimal if it has shortest possible length among all vertex-to-vertex galleries connecting the same pair of endpoints.
Remark 4.1. Our notion of combinatorial galleries is not exactly the same as the definition of that term provided in [GL05]. In [MST19] we discuss the difference between these notions and also discuss the relationship between minimal vertex to vertex galleries and minimal alcove to alcove galleries which are (unfortunately) not exactly equivalent.
Let φ be a Weyl chamber orientation on Σ. To every gallery we may associate a dimension by counting a specific class of hyperplanes, namely the loadbearing ones. Following [GL05] we define those for a fixed vertex-to-vertex gallery γ = (λ 0 , c 0 , p 1 , c 1 , p 2 , . . . p n , c n , λ n ) as follows.

Definition 4.2 (load-bearing hyperplanes). A hyperplane H in a Coxeter
complex is load-bearing for a gallery γ at p i (or λ 0 ) if H contains p i (or λ 0 ) and c i (respectively c 0 ) is on the positive side of H.
A hyperplane H is load-bearing if H separates c i from the chamber at infinity defining φ. For the panels p i a hyperplane is load-bearing if the gallery γ either has a positive fold at p i or if the gallery crosses H from the negative side (where c i−1 lies) to the positive side (where c i lies). At every panel there is hence at most one load-bearing hyperplane but the same hyperplane may appear to be load-bearing at more than one panel. At the vertex λ 0 there can be more than one load-bearing hyperplane.
Note that [GL05] and many other references refer to hyperplanes as walls and hence call the objects defined in 4.2 load-bearing walls instead.

Definition 4.3. (Gallery dimension) The dimension of a gallery is the number of its pairs (p i , H) with H a load-bearing hyperplane at p i .
Let's look at an example. Suppose the gallery γ starts at the origin λ 0 and has as its first alcove the fundamental alcove a 0 corresponding to the identity. Suppose in addition that the Weyl chamber orientation φ is induced by the opposite of the fundamental Weyl chamber. Then every hyperplane containing the origin is load-bearing for λ 0 and hence the number of hyperplanes load-bearing for λ 0 is the same as the number of reflections in the spherical Weyl group or the number of positive roots in the underlying root system. For all other choices of Weyl chamber orientations the number of load-bearing hyperplanes is bounded above by that amount.
Dimensions behave well with respect to translations of galleries and also other natural mutations many of which are illustrated and explained in detail in Section 4.1 of [MST19].
It was shown in [GL05, Prop. 3] that the dimension of galleries of a fixed type, of which there may be many, is bounded above by a certain number that solely depends on the type and the end-vertex. The ones that attain this upper bound play a very specific role and hence deserve their own name.

Definition 4.4 (Lakshmibai-Seshadri galleries). A gallery γ of a fixed type
τ and fixed end-vertex that has the maximal possible dimension is called LS-gallery of type τ .
One can obtain all LS-galleries of a fixed type (ranging over all possible endpoints) by repeated applications of certain root operators e α and f α to one given LS-gallery. These operators exists for any choice α of a parallel class of hyperplanes in Σ, called a root. These operators are tools to manipulate positively folded and in particular LS-galleries in a very controlled way that allows to keep track of how their dimension changes along the way.
The main idea is the following: Fix a Weyl chamber orientation in Σ and a vertex-to-vertex gallery γ starting at the origin λ 0 . These operators pull, respectively push positive folds from one hyperplane in a given parallel class to the next hyperplane. If γ has no fold along a hyperplane in the parallel class α, then one of the two operators may be applied to introduce a new fold. I should mention that not every operator is defined for every gallery. However, for every gallery there is always some α such that either e α or f α is defined.
Some applications of root operators are illustrated in Figure 11. For example the orange gallery is obtained from the red by an application of the root operator associated with the class of hyperplanes parallel to the diagonal labeled H 2 . The green galleries are obtained from the dark blue gallery by one, respectively two applications of a root operator corresponding to the class of Hyperplanes parallel to the diagonal labeled H 1 .
The main properties of root operators are as follows. Compare Cor. 2 and Lemmas 5,6,7 and Prop. 5 in [GL05] for a proof.  (1) An application of e α increases the dimension of γ by one.
(2) An application of f α decreases the dimension of γ by one.
(3) If e α is defined for γ, then f α is defined for e α (γ) and f α (e α (γ)) = γ and similarly with roles of e α and f α switched. These properties already hint at the close connection between LS-galleries, root operators and crystal structures in representation theory. I will now explain how to turn the collection of LS-galleries into a graph and then how this is related to crystal graphs of irreducible representations of G ∨ of some fixed highest weight.
Suppose G is a connected complex semisimple algebraic group. Let T be a fixed maximal torus in G and let X = X(T ) be its character group. Then the group of co-characters X ∨ = Mor(C * , T ) is the character group of the dual maximal torus T ∨ in G ∨ . The dominant co-characters λ ∈ X ∨ + classify the irreducible, finite-dimensional G ∨ modules V (λ) while appearing as their highest weights. These elements λ ∈ X ∨ + may also be viewed as vertices in Σ that are contained in the fundamental Weyl chamber.
Fix a minimal vertex-to-vertex gallery γ connecting the origin with a weight λ and denote by Γ LS (γ) the collection of all LS-galleries of the same type as γ. Define B(γ) to be the directed, edge colored graph whose vertices are equal to the set of all LS-galleries of type τ (γ). There exists a directed edge from vertex δ 1 to δ 2 in B(γ) whenever f α (δ 1 ) = δ 2 for some root α.
where end(δ) denotes the end-vertex of δ.
This theorem establishes a connection between purely combinatorial objects in the Coxeter complex, namely the LS-galleries, and highest weight representations and their characters.
One consequence of this result is the following.

Proposition 4.7. Let λ be a dominant vertex in Σ. Write φ for the Weyl chamber orientation induced by the anti-dominant Weyl chamber. Then
This relation between LS-galleries and shadows is one of the key ingredients in the proof of the Convexity Theorem 5.1. Before we talk about this result we need to learn more about buildings.

Galleries, buildings and flag varieties.
Folded galleries and even root operators have very natural interpretations in the context of (Bruhat-Tits) buildings. We will now explain what a building is and how they give rise to folded galleries. All of this is also closely related to semisimple algebraic or, more generally, reductive groups and their affine Grassmannians.

Definition 4.8 (Buildings).
A building is a simplicial complex X which is the union of a collection A of subcomplexes called apartments such that the following holds: (1) Each A ∈ A is isomorphic to a Coxeter complex Σ = Σ(W, S).
(2) Any two simplices in X lie in common apartment.
(3) If for two simplices c, c in X there are two apartments A, A containing both c and c then there exists an isomorphism from A to A which pointwise fixes A ∩ A .
The set A is called atlas of X.
From the definition of a building one can directly deduce the following lemma.
Lemma 4.9. All apartments in an atlas A of a building X are isomorphic to the same Coxeter complex Σ.
Proof. Suppose there are apartments A and A isomorphic to Σ and Σ respectively. Then for any choice of simplex c ∈ A and c ∈ A there exists an apartment A containing both c and c . The apartment A is, by item (1), also isomorphic to some Coxeter complex Σ . Now apply item (3) to pairs of simplices lying in A ∩ A , and also in A ∩ A to see that Σ and Σ are indeed both isomorphic to Σ . Hence the claim.
We may thus refer to the type of the Coxeter system related to the apartments in a building X as the type of the building X. In the following we will restrict to affine buildings, that is those whose apartments are affine Coxeter complexes.
By definition an affine building is the union of a collection of apartments all of which are isomorphic to some tiled R n . Again by slight abuse of notation and convention we will not distinguish between an affine building and its geometric realization.
For more details on (affine) buildings see one of the many excellent books on this topic. For example Brown's classic introduction [Bro89], the monograph by Abramenko and Brown [AB08] or Garret's and Ronan's books [Gar97,Ron09b]. How buildings fit into the theme of geometric group theory and CAT(0) spaces is explained in [BH99] and [Dav08]. From dimension three on all buildings are of algebraic origin. This is a consequence of their classification outlined by Tits in [Tit86]. A detailed proof of the classification of affine buildings can be found in [Wei09]. Dimension two also allows for free constructions of buildings not of algebraic origin. Such constructions appeared for the first time in [Ron86] and [RT87] followed by more examples and constructions since then. We won't go into the details here but refer the reader to the literature instead. See for example [BK12,FS95,Ron09a,Dav09] and the references therein.
Recall that at infinity of an affine Coxeter complex there is a spherical simplicial complex on which the associated spherical Weyl group acts. One can prove that at infinity of an affine building exists a spherical building. This building at infinity is the union (or gluing) of all the spheres at infinity of its apartments. So in particular to any Weyl chamber in an apartment of an affine building X corresponds a chamber, i.e. maximal simplex, in the simplicial building at infinity.
Suppose we have a reductive group with a BN-pair. For example SL n over F = C((t)) or some other field with a discrete valuation ν. To such a group one may associate an affine Bruhat Tits building X = X(G, F, ν) and a spherical building ∂X = ∂X(G, F ) at infinity of X. The apartments of X and ∂X are in one-to-one correspondence and chambers in ∂X correspond to parallel classes of Weyl chambers in X. The group G acts transitively on the apartments and alcoves of its Bruhat-Tits building and also on the pairs of alcoves and apartments containing them. A maximal torus T acts as the translation group of the affine Weyl group on a fixed base apartment A 0 in X.
In the tree case the situation is as follows.
Example 4.11. By Serre's construction [Ser03] there is a tree T without leaves associated with SL 2 over a non-archimedian local field F with discrete valuation. The number of edges at any vertex is determined by the order of the residue field of the valuation. In case F = Q p every vertex is contained in p + 1 edges. In case F = C((t)) vertices are contained in infinitely many edges. In particular trees associated with SL 2 are regular, that is the branching is the same at every vertex. The interested reader may have a look at for example Zhu's lecture notes [Zhu17] for an introduction to affine Grassmannians.
Since G(O) may be identified with the origin in A 0 , the points in the affine Grassmannian may be interpreted as vertices in the Bruhat-Tits building associated with G. As explained above the group T acts as translations on a fixed base apartment A 0 in X.
Associated to every affine building X are two kinds of retractions. The first is defined by a choice of a maximal simplex in an apartment. Retractions based at alcoves are defined in buildings of any kind. The second kind of retraction is defined by a choice of direction at infinity in an affine building.
Definition 4.13 (Retraction based at infinity). Fix an apartment A in an affine building X and an chamber C ∈ ∂A, the boundary of the apartment A in ∂X. The retraction ρ A,C : X → A from X to A based at C is the map defined as follows: For any alcove d in X choose an apartment A containing the alcove d and a Weyl chamber in A representing C. Then define ρ A,C (d) to be the image of d under the isomorphism from A to A (provided by the third buildings axiom).
See [Bro89] for a proof that the choice of A in the definition of the retraction at infinity is indeed always possible and for a proof that both retractions are well-defined.
The following example illustrates these retractions in an affine building of dimension one.   Figure 14. For all t ∈ T one has ρ −1 These retractions are closely related to orbits of subgroups of G as well as to (folded) galleries. Call U the unipotent radical of the Borel subgroup of G. Then one has the following. This group is the stabilizer of the opposite fundamental Weyl chamber and its orbit has a natural geometric interpretation provided by the next proposition.  Prop. 1 and 6]). Let ρ ∞ be the retraction with respect to the class ∂C of the antidominant Weyl chamber. Then fibers of ρ ∞ : X → A 0 are the U (F ) orbits on X. Moreover, ρ ∞ induces a mapρ γ λ from the set of all galleries of a fixed type τ (γ λ ) in X to the galleries of the same type in A. Its fibers C(δ) =ρ −1 γ λ (δ), for a fixed gallery δ of type τ (γ λ ) starting at the origin, are locally closed subvarieties isomorphic to an affine space. Their dimension can be computed in terms of dimensions of positively folded galleries.
Fix a type τ and denote byĜ τ the minimal galleries in X of type τ starting at the origin in λ 0 and write G τ for the set of end-vertices of elements inĜ τ . Then one has the following.
Proposition 4.16. Let λ be a vertex in the base apartment A 0 in X and suppose that the minimal vertex-to-vertex gallery from the origin to λ is of type τ . Then In case X is of algebraic origin the group K = G(O) is the G-stabilizer of the origin in X and This connection between orbits, galleries and retractions was crucial for the main results in [GL05] but also for the proof of the main theorem in [Hit10] explained in Section 5.
Similar connections for alcove-to-alcove galleries with Iwahori-subgroup orbits exist (see [PRS09] and [MNST20]) and we will highlight them in Section 6.
The connection with shadows is the following. See also Figure 15 for an example.

In terms of groups one gets
Proof. Since λ is anti-dominant its K-orbit contains the W 0 -orbit of λ inside the base apartment A 0 . Thus K.λ = r −1 A,c 0 (W 0 .λ) in this situation. This collection of vertices is, by Proposition 4.16, the set of end-vertices of all minimal galleries inside the building X starting at the origin λ 0 that are of the same type τ as a minimal gallery from λ 0 to λ. Applying ρ each such gallery gets mapped to a positively folded gallery. Its end-vertex is hence in Sh ∨ ∞ (λ). To see the converse one needs to observe that every positively folded gallery of type τ unfolds to a minimal gallery in the building by taking the pre-image under ρ ∞ . This follows from Proposition 3.3 in [Hit10].
Proposition 4.17 illustrates that vertex shadows with respect to Weyl chamber orientations arise very naturally as images of balls around the origin under retractions based at infinity. It would be interesting to see whether similar characterizations could be shown for shadows with respect to alcove orientations and the retractions based at alcoves.

A first adventure: Kostant convexity
We ended the last section with a statement explaining the red dots in Figure 15. There is a second kind of interpretation which is the topic of this section. Let me continue by telling the algebraic side of the story first.
Any reductive group G with associated Bruhat-Tits building X decomposes as G = U T K, where geometrically U is the stabilizer of the parallel class of the antidominant Weyl chamber in the base apartment A 0 , the group T acts as translations on A 0 and K = G(O) is the stabilizer of the origin in A 0 . The natural projection pr T : G → T send a group element g to to its T -part, that is the unique element t for which g = utk.
But obviously the subgroup K also acts on the left on G. One may hence ask how the T -part of a decomposition changes under this left-K-action. More precisely one seeks to answer the following question: For a fixed t ∈ T what is pr T (K.t)?
Fix t ∈ T and multiply it on the left by some k ∈ K. The product kt itself then can be decomposed as kt = u t k for u ∈ U, t ∈ T and k ∈ K. Which t may appear in such a decomposition?
This question is the natural analog in the context of affine buildings of the classic Kostant convexity theorem for real symmetric spaces. In case of G = SL n (R) similar questions were already studied by Horn and Thompson.
The answer for general real Lie groups was given by Kostant in [Kos73]. Historically this result goes back to Schur who showed that the eigenvalues appearing on a diagonal of a matrix are in a convex set.
Here's what one can prove in algebraic terms.
Theorem 5.1 (Convexity theorem, [Hit10]). With notation as above and t, t ∈ T one has The convex hull appearing in this theorem denotes the standard euclidean convex hull which can also described as the minimal intersection of dual half-apartments containing W 0 .tK. For details see [Hit10].
As K stabilizes the origin one can interpret T -left cosets of K as vertices in the base apartment. Then the set of vertices of the same type as tK in conv(W 0 .tK) is precisely the vertex shadow of the element t + K in the orbit W 0 .tK that is contained in the fundamental Weyl chamber. The algebraic statement in Theorem 5.1 is a direct consequence of its geometric analog in terms of retractions in an affine building.
Recall that in Section 4.2 we learned about two kinds of retractions onto a fixed apartment A 0 in a building X and how they relate to U and K orbits, folded galleries and shadows. The next theorem explains how the two retractions interact. Theorem 5.1 is a direct consequence of 5.2.
Theorem 5.2 (Geometric Convexity theorem, [Hit10]). Let X be an affine building in which every panel is contained in at least three alcoves. Fix an apartment A 0 in X with origin λ 0 , base alcove c 0 and fundamental Weyl chamber C 0 in A 0 . Let W 0 denote the spherical Weyl group associated with X and fix some special vertex λ in A 0 . Then It is worth mentioning that this geometric result is in fact more general than its algebraic counterpart, since not every affine building is of algebraic origin. This geometric version also generalizes to non-discrete euclidean buildings and more generally Λ-buildings, where Λ is an ordered abelian group. See [Hit11]. For simplicity suppose that tK is a dominant vertex in A 0 and let γ be a minimal gallery from λ 0 to tK. On the one hand one needs to show that every vertex in conv(W 0 .tK) is the end-vertex of a positively folded gallery of the same type as γ. The proof of this statement uses the character formula for highest weight representations of [GL05] we have highlighted in Section 4.2. Moreover, the endpoint of any positively folded gallery of the same type as γ is contained in conv(W 0 .tK). Finally one shows that every such positively folded gallery has a minimal preimage under ρ.
It is only natural to ask what happens if one replaces vertices by alcoves.
Algebraically this corresponds to considering the stabilizer I of a fundamental alcove rather than the stabilizer K of the origin. One replaces K-orbits by I-orbits and considers the same question in the affine flag variety G/I rather than the affine Grassmannian G/K. Geometrically this corresponds to replacing vertices by alcoves. An example of the patterns that arise from alcove-to-alcove shadows is shown in Figure 16. One has yet to find a closed formula describing the red alcoves in this picture.

A second adventure: Affine Deligne-Lusztig Varieties
If one matches the little ship made of triangles at the top of the red pattern in the alcove shadow shown in Figure 16 with one of the dark grey ships appearing close to the black alcove in the grey pattern of Figure 17 the red alcoves are a subset of the gray alcoves.
These two pictures hint at a deep connection between folded galleries and the nonemptiness of affine Deligne-Lusztig varieties, for short ADLVs. And indeed, one can determine nonemptiness and compute dimensions of ADLVs in terms of positively folded galleries.  Figure 17. Nonempty affine Deligne-Lusztig varieties X y (t ρ ) represented by the gray-shaded alcoves y. Source: [GHKR10].
The formal setup is as follows.
Let in the following F = k((t)) where k = F q is the algebraic closure of the finite field of order q = p m for some prime p. Denote by σ the Frobenius map of F q . Then F is a non-archimedian local field with the usual valuation. The ring of integers will again be denoted by O = k [[t]]. Remember that there is a natural projection mapping O → k by setting t = 0. This projection detects the constant term a 0 in a power series.
The affine flag variety associated with G over F is the quotient G(F )/I, where G is a connected reductive group over F q . Denote again by B ⊂ G a Borel subgroup containing a maximal torus T and let I denotes the Iwahori subgroup of G(F ). Algebraically I is the inverse image of B(k) under the projection G(O) → G(k). Geometrically the Iwahori subgroup is the stabilizer of the fundamental alcove in the base apartment A 0 in the affine Bruhat-Tits building associated with G(F ). Similar to the affine Grassmannian case the points of the affine flag variety can be interpreted in the Bruhat-Tits building X. As left-cosets of I they correspond bijectively to the maximal simplices, i.e. alcoves in X. The group G admits the following decomposition: Here W is the affine Weyl group associated with G. We are now ready to define affine Deligne-Lusztig varieties inside the affine flag variety.
Definition 6.1 (ADLVs). The affine Deligne-Lusztig variety X x (b) ⊆ G(F )/I is given by Affine Deligne-Lusztig varieties can be thought of as generalizations of (classical) Deligne-Lusztig varieties to the affine setting. Rapoport introduced ADLVs in [Rap00] in the context of proving Mazur's theorem. The classical Deligne-Lusztig varieties were constructed by Deligne and Lusztig [DL76,Lus78] in order to study the representation theory of finite Chevalley groups. One of the parameters which indexes an affine Deligne-Lusztig variety is an element of the affine analog of the Weyl group of a reductive group over a finite field, hence the terminology. Note that ADLVs are in general not affine as varieties.
One can simplify the situation a bit and also only consider b ∈ W . The reason is that each b in G(F ) is σ-conjugate to an element b in W . For σ-conjugate b and b one has X x (b) ∼ = X x (b ). Hence ADLVs are indexed by a pair x, b of elements in the affine Weyl group.
For a long time the following two very fundamental questions had remained open: The questions of nonemptiness and dimensions of ADLVs may be answered in terms of positively folded galleries and containment conditions of shadows. In case x is basic, i.e. x admits a fixed point on Σ, solutions to these questions were known. Later Görtz, He and Nie [GHN15] [MNST20].
The starting point is a result by Görtz, Haines, Kottwitz and Reumann in [GHKR06] which characterizes the ADLVs in terms of double coset intersections similar to the ones we had studied in Section 5 but in the affine flag variety instead of the affine Grassmannian. For this we need to choose orientations on the base apartment A 0 in X.
For an element w ∈ W 0 write φ w for the Weyl chamber orientation on A 0 induced by the Weyl chamber based at 0 in direction w. The corresponding chamber at infinity is fixed by the unipotent radical w U − := wU − w −1 of the Borel subgroup w B − := wB − w −1 .
Theorem 6.2 ([GHKR06, Thm 6.1]). Let x ∈ W and λ be a special vertex in A 0 . Then where c is a constant depending on λ.
I have stated here the version of the result for b being a translation. This is the case covered in [MST19]. In [GHKR10, Theorem 11.3.1] a version for arbitrary X x (b) can be found which we also state as Theorem 2.8 in [MST20]. That result involves intersections of double cosets with I P orbits on the left with P being a standard (spherical) parabolic subgroup. Here I P = (I ∩ M )N for P = M N the Levi decomposition of the standard parabolic. These parabolics are closely related to chimney-retractions and shadows with respect to chimneys as studied in [MNST20]. See also Figure 10 where the gray strip is a chimney and the colored alcoves form the chimney shadow of the pink alcove labeled x.
The next theorem relates these double cosets to the existence of positively folded galleries and containment of alcoves in shadows with respect to chimney orientations: (2) There exists a P y -positively folded gallery of type x that starts in 1 and ends in z, that is x ∈ Sh P y (z).
Moreover the set Sh P y (z) can be computed recursively.
An analogous statement holds for intersections of the form (I P ) y bK ∩ KxK and for the analogous double coset intersections with K replaced by some K σ for σ any face of the fundamental alcove. Putting I P = U − in Theorem 6.3 the statement was already shown by Parkinson, Ram and C.Schwer [PRS09] as well as by Gaussent and Littelmann in [GL05].
The key observation here is, that positively folded galleries index non-empty affine Deligne-Lusztig varieties and that their combinatorially defined dimension allows to compute the dimension of the ADLVs. In [MST19] and [MST20] we construct and manipulate positively folded galleries using delicate combinatorial methods on shadows, folded galleries and generalized root operators to determine which ADLVs are nonempty.
x Figure 18. Our approach in [MST19,MST20] can be summarized as follows: (1) An ADLV X x (b) is nonempty if and only if there exists a positively folded gallery from 1 to (a σ-conjugate of) b of type w with [w] = x.
(2) The dimension dim(X x (b)) can be computed via the dimension of these galleries. (3) Construct and manipulate such galleries using root operators, combinatorics in Coxeter complexes and explicit transformations.
We close this section with an example of such an explicit construction and one example of a theorem we are able to prove using this approach. Figure 19 shows how to construct a gallery from the fundamental alcove to itself of type a = t 2ρ w 0 . Its existence proves nonemptiness of the ADLV X a (1). a 1 Figure 19. This construction proves that X a (1) = ∅ and of dimension ≥ 7.
Theorem 6.5 ([MST19]). Let b = t µ be a pure translation and let x = t λ w ∈ W . Assume that b is in the convex hull of x and the base alcove + two technical conditions on µ and λ. Then and if w = w 0 then X x (1) = ∅ and X x (b) = ∅.
Theorem 6.5 relates nonemptiness and the dimension count of X x (b) for an arbitrary translations b = t µ to nonemptiness, respectively the dimension of X x (1). See [MST19,MST20] for many other results in that direction.

It's a wild world
I hope it has become clear that folded galleries and shadows are interesting for at least two reasons. For one they give rise to rich combinatorial structures in Coxeter groups which are not fully understood. On the other hand they provide a powerful tool to study varieties associated with both the affine Grassmannian and the affine flag variety.
7.1. More applications. There are many more applications than the ones highlighted in this work. One direction that has been active is the study of structure constants and symmetric functions in the context of Hecke algebras. I would like to restrict myself to very few, non-exhaustive comments here. There are probably many references I have missed.
An equivalent formulation of the gallery model was given by Ram [Ram06] using alcove walks. Ram also shows in [Ram06] that the affine Hecke algebra can be modeled as a quotient of the algebra of alcove walks with respect to a small list of relations. The product of elements in the alcove walk algebra is simply the concatenation of alcove walks.
The connection between symmetric functions, crystal theory, Hecke algebras and the path model and its formulation in terms of alcove walks is explained in detail in [Ram06]. The results highlighted in [Ram06] show that the theory of folded galleries is a powerful tool to understand structure constant and q-analogs of crystal structures.
Using the combinatorics of folded galleries, or alcove walks, one can explain base change formulas in the affine Hecke algebra [GR04]. C. Schwer used folded galleries to compute Hall-Littlewood polynomials in [Sch06]. Ram and Yip study McDonald Polynomials using alcove walks in [RY11].
Let me highlight one other direction of study, namely a gallery interpretation of Mirković -Vilonen cycles, MV-cycles for short, and MV-polytopes. This connection was already established in [GL05], where the authors provide a representation theoretic interpretation of the combinatorial character formula stated as Theorem 4.6 above.
Denote by X µ λ the closure of U − (F ).µ ∩ K.λ. This set may be expressed as a union of endpoints of positively folded galleries in the projection of a cell Z(δ) corresponding to an LS-gallery δ of type λ with endpoint µ. See page 38 in [GL05] for a precise statement. Mirković-Vilonen cycles are a family of subvarieties of the affine Grassmannian with the following property: Denote by Gr λ the subvariety whose intersection homology is isomorphic to the irreducible representation V (λ) of G ∨ of highest weight λ. The subset of the MV cycles lying in Gr λ forms a basis for the intersection homology. This implies that there is also a basis of V (λ) indexed by MV cycles.
MV-polytopes are images of MV-cycles C ν,λ + under the moment map with respect to the T action on the affine Grassmannian. The C ν,λ + are closed T -invariant subvarieties of G/K.
Ehrig [Ehr10] studies MV-polytopes by means of Bruhat-Tits buildings and gives a type-independent characterization of MV-polytopes by assigning to every LS-gallery an explicitly constructed MV-polytope.
Suppose a vertex ν is given and let γ be an LS-gallery of type λ with endvertex ν, then the following theorem holds.
Theorem 7.2 ( [Ehr10]). The MV polytope associated with ν, λ is the convex hull of certain other LS-galleries of type λ.
One can in fact prove that the MV polytope is also the same as the convex hull of all (partial) unfoldings of γ. An example of such a polytope is given in Figure 20. (1) So far only recursive descriptions of alcove shadows are known. Provide closed formulas for alcove and Weyl chamber shadows in (affine) Coxeter groups.
(2) In Theorem 3.11 we provide a recursive description of shadows with respect to Weyl chamber orientations. It would be interesting to study the analogous behavior of shadows in other classes of Coxeter groups or with respect to other braid-invariant orientations.
(3) Introduce braid-invariant orientations in hyperbolic Coxeter groups and compute (either via closed formulas or recursively) their shadows. (4) Proposition 4.17 illustrates that vertex shadows with respect to Weyl chamber orientations arise very naturally as images of balls around the origin under retractions based at infinity. It would be interesting to see whether similar characterizations could be shown for shadows with respect to alcove orientations and the retractions based at alcoves. (5) Kamnitzer [Kam10] gives an explicit description of MV cycles and describes MV polytopes as pseudo-Weyl polytopes whose 2-faces are rank 2 MV polytopes themselves. This suggests that shadows should also be determined by the shadows in rank two. What is the connection to moment maps? (9) Has the precise connection between positively folded galleries, the results of Lusztig [Lus96] and the work of Braverman and Gaitsgory [BG01] been clarified? This question was mentioned in [GL05].
There are, as always, many more questions that remain open. And I am curious to see what other results and applications will appear on this topic in the future.