arXiv++ Combinatorics

It is a classical result that the set $K\backslash G /B$ is finite, where $G$ is a reductive algebraic group over an algebraically closed field with characteristic not equal to two, $B$ is a Borel subgroup of $G$, and $K = G^θ$ is the fixed point subgroup of an involution of $G$. In this paper, we investigate the affine counterpart of the aforementioned set, where $G$ is the general linear group over formal Laurent series, $B$ is an Iwahori subgroup of $G$, and $K$ is either the orthogonal group or the symplectic group over formal Laurent series. We construct explicit bijections between the double cosets $K \backslash G/B$ and certain twisted affine involutions. This is the first combinatorial description of $K$-orbits in the affine flag variety of type A.

The goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.

We develop the GKM theory for the torus-equivariant cohomology of the affine flag variety using the combinatorics of alcove walks. Dual to the usual GKM setup, which depicts the orbits of the small torus action on a graph, alcove walks take place in tessellations of Euclidean space. Walks in affine rank two occur on triangulations of the plane, providing a more direct connection to splines used for approximating surfaces. Alcove walks in GKM theory also need not be minimal length, and can instead be randomly generated, giving rise to more flexible implementation. This work reinterprets and recovers classical results in GKM theory on the affine flag variety, generalizing them to both non-minimal and folded alcove walks, all motivated by applications to splines.

The goal of this paper is to clarify the connection between certain structures from the theory of totally nonnegative Grassmannians, quiver Grassmannians for cyclic quivers and the theory of local models of Shimura varieties. More precisely, we generalize the construction from our previous paper relating the combinatorics and geometry of quiver Grassmanians to that of the totally nonnegative Grassmannians. The varieties we are interested in serve as realizations of local models of Shimura varieties. We exploit quiver representation techniques to study the quiver Grassmannians of interest and, in particular, to describe explicitly embeddings into affine flag varieties which allow us to realize our quiver Grassmannians as a union of Schubert varieties therein.

This paper determines the relationship between the geometry of retractions and the combinatorics of folded galleries for arbitrary affine buildings, and so provides a unified framework to study orbits in affine flag varieties. We introduce the notion of labeled folded galleries for any affine building X and use these to describe the preimages of chimney retractions. When X is the building for a group with an affine Tits system, such as the Bruhat-Tits building for a group over a local field, we can then relate labeled folded galleries and shadows to double coset intersections in affine flag varieties. This result generalizes the authors' previous joint work with Naqvi on groups over function fields.

We give a combinatorial evaluation of Iwahori Whittaker functions for unramified genuine principal series representations on metaplectic covers of the general linear group over a non-archimedean local field. To describe the combinatorics, we introduce new combinatorial data that we call colored data: colored Lusztig data, colored Gelfand-Tsetlin patterns, and colored lattice models. We show that all three are equivalent. To achieve the result, we give an explicit Iwahori decomposition for the maximal unipotent subgroup of a split reductive group which gives the parametrization of the generalized Mirković-Vilonen cycles in the affine flag varieties and is of interest in itself. Our result is based and naturally extends Peter McNamara's evaluation of the metaplectic spherical Whittaker function in terms of Lusztig data.

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.

We characterize the nonemptiness and dimension problems for an affine Deligne-Lusztig variety $X_x(b)$ in the affine flag variety in terms of galleries that are positively folded with respect to a chimney. If the parabolic subgroup associated to the Newton point of b has rank 1, we then prove nonemptiness for a certain class of Iwahori-Weyl group elements x by explicitly constructing such galleries.

This paper provides a unified combinatorial framework to study orbits in certain affine flag varieties via the associated Bruhat-Tits buildings. We first formulate, for arbitrary affine buildings, the notion of a chimney retraction. This simultaneously generalizes the two well-known notions of retractions in affine buildings: retractions from chambers at infinity and retractions from alcoves. We then present a recursive formula for computing the images of certain minimal galleries in the building under chimney retractions, using purely combinatorial tools associated to the underlying affine Weyl group. Finally, for Bruhat-Tits buildings in the function field case, we relate these retractions and their effect on minimal galleries to double coset intersections in the corresponding affine flag variety.

This is a survey on the combinatorics and geometry of integrable representations of quantum affine Lie algebras with a particular focus on level 0. Pictures and examples are included to illustrate the affine Weyl group orbits, crystal graphs and Macdonald polynomials that provide detailed understanding of the structure of the extremal weight modules and their characters. The final section surveys the alcove walk method of working with the positive level, negative level and level zero affine flag varieties and describes the corresponding actions of the affine Hecke algebra.

The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author.

We define an action of the double coinvariant algebra $DR_n$ on the equivariant Borel-Moore homology of the affine flag variety $\widetilde{Fl}_n$ in type $A$, which has an explicit form in terms of the left and right action of the (extended) affine Weyl group and multiplication by Chern classes. Up to first order in the augmentation ideal, we show that it coincides with the action of the Cherednik algebra on the equivariant homology of the homogeneous affine Springer fiber $\widetilde{S}_{n,m} \subset \widetilde{Fl}_n$ due to Yun and the second author, and therefore preserves the non-equivariant Borel-Moore homology groups $H_*(\widetilde{S}_{n,m})\hookrightarrow H_*(\widetilde{Fl}_n)$. We then define a geometric filtration $F_{a} H_*(\widetilde{S}_{n,n+1})=H_*(\widetilde{S}(a))$ by closed subspaces $\widetilde{S}(a)\subset \widetilde{S}_{n,n+1}$, which we prove recovers the Garsia-Stanton descent order on $DR_n$. We use this to deduce an explicit monomial basis of $DR_n$, as well as an independent proof of the (non-compositional) Shuffle Theorem.

We show that every smooth Schubert variety of affine type $\tilde{A}$ is an iterated fibre bundle of Grassmannians, extending an analogous result by Ryan and Wolper for Schubert varieties of finite type $A$. As a consequence, we finish a conjecture of Billey-Crites that a Schubert variety in affine type $\tilde{A}$ is smooth if and only if the corresponding affine permutation avoids the patterns $4231$ and $3412$. Using this iterated fibre bundle structure, we compute the generating function for the number of smooth Schubert varieties of affine type $\tilde{A}$.

We discuss a surprising relationship between the partially ordered set of Newton points associated to an affine Schubert cell and the quantum cohomology of the complex flag variety. The main theorem provides a combinatorial formula for the unique maximum element in this poset in terms of paths in the quantum Bruhat graph, whose vertices are indexed by elements in the finite Weyl group. Key to establishing this connection is the fact that paths in the quantum Bruhat graph encode saturated chains in the strong Bruhat order on the affine Weyl group. This correspondence is also fundamental in the work of Lam and Shimozono establishing Peterson's isomorphism between the quantum cohomology of the finite flag variety and the homology of the affine Grassmannian. One important geometric application of the present work is an inequality which provides a necessary condition for non-emptiness of certain affine Deligne-Lusztig varieties in the affine flag variety.

We study the algebraic geometry and combinatorics of the central degeneration (the degeneration that shows up in local models of Shimura varieties and Gaitsgory's central sheaves) in type A. More specifically, we elucidate the central degeneration of semi-infinite orbits and explain its relations with Levi restriction. Also, we discuss the central degeneration of Mirkovi$\acute{\text{c}}$-Vilonen cycles in the affine Grassmannian, and the corresponding transformations of Mirkovi$\acute{\text{c}}$-Vilonen polytopes. In addition, we shed some light on the geometry of Iwahori MV cycles in the affine Grassmannian and generalized MV cycles in the affine flag variety, which are closely related to Demazure modules and affine Deligne-Lusztig varieties respectively.

We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.

We prove the affine Pieri rule for the cohomology of the affine flag variety conjectured by Lam, Lapointe, Morse and Shimozono. We study the cap operator on the affine nilHecke ring that is motivated by Kostant and Kumar's work on the equivariant cohomology of the affine flag variety. We show that the cap operators for Pieri elements are the same as Pieri operators defined by Berg, Saliola and Serrano. This establishes the affine Pieri rule.

Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of $G$. Furthermore, we compare the torus-equivariant cohomology and $K$-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of type $A$.

Affine Deligne-Lusztig varieties can be thought of as affine analogs of classical Deligne-Lusztig varieties, or Frobenius-twisted analogs of Schubert varieties. We provide a method for proving a non-emptiness statement for affine Deligne-Lusztig varieties inside the affine flag variety associated to affine Weyl group elements satisfying a certain length additivity hypothesis. In particular, we prove that non-emptiness holds whenever it is conjectured to do so for alcoves in the shrunken dominant Weyl chamber, providing a partial converse to the emptiness results of Goertz, Haines, Kottwitz, and Reuman. Our technique involves the work of Geck and Pfeiffer on cuspidal conjugacy classes, in addition to an analysis of the combinatorics of certain fully commutative elements in the finite Weyl group.

The Littelmann path moel gives a realization of the crystals of integrable representations of symmetrizable Kac-Moody Lie algebras. Recent work of Gaussent-Littelmann and others has demonstrated a connection between this model and the geometry of the loop Grassmannian. The alcove walk model is a version of the path model which is intimately connected to the combinatorics of the affine Hecke algebra. In this paper we define a refined alcove walk model which encodes the points of the affine flag variety. We show that this combinatorial indexing naturally indexes the "cells" in generalized Mirkovic-Vilonen intersections.