We present a version of the Matsuki correspondence for the affine Grassmannian $Gr=G(C((t)))/G(C[[t]])$ of a connected reductive complex algebraic group $G$. The main statement is an anti-isomorphism between the orbit posets of two subgroups of $G(C((t)))$ acting on $Gr$. The first is the polynomial loop group $LG_R$ of a real form $G_R$ of $G$; the second is the loop group $K(C((t)))$ of the complexification $K$ of a maximal compact subgroup $K_c$ of $G_R$. The orbit poset itself turns out to be simple to describe.
This is the third paper of a series (started by arXiv:0711.2083, arXiv:0908.3390) which describes a conjectural analog of the affine Grassmannian for affine Kac-Moody groups (also known as the double affine Grassmannian). The current paper is dedicated to describing a conjectural analog of the convolution diagram for the double affine Grassmannian and affine Zastava.
We study the connection between the affine degenerate Grassmannians in type $A$, quiver Grassmannians for one vertex loop quivers and affine Schubert varieties. We give an explicit description of the degenerate affine Grassmannian of type $GL_n$ and identify it with semi-infinite orbit closure of type $A_{2n-1}$. We show that principal quiver Grassmannians for the one vertex loop quiver provide finite-dimensional approximations of the degenerate affine Grassmannian. Finally, we give an explicit description of the degenerate affine Grassmannian of type $A_1^{(1)}$, propose a conjectural descrip…
This is the second paper of a series (started by arXiv:0711.2083) which describes a conjectural analog of the affine Grassmannian for affine Kac-Moody groups (also known as the double affine Grassmannian). The current paper is dedicated to describing a conjectural analog of the convolution diagram for the double affine Grassmannian. In the case when G=SL(n) our conjectures can be derived from arXiv:0809.2605.
We construct Nakajima's quiver varieties of type A in terms of affine Grassmannians of type A. This gives a compactification of quiver varieties and a decomposition of affine Grassmannians into a disjoint union of quiver varieties. Consequently, singularities of quiver varieties, nilpotent orbits and affine Grassmannians are the same in type A. The construction also provides a geometric framework for skew $(GL(m), GL(n))$ duality and identifies the natural basis of weight spaces in Nakajima's construction with the natural basis of multiplicity spaces in tensor products which arises from affine…
We introduce various affine Grassmannians, study their geometric properties, and give some applications. We also discuss the geometric Satake equivalence. These are the expanded lecture notes for a mini-course in 2015 PCMI summer school. References updated and more details added.
We study affine Grassmannians for ramified triality groups. These groups are of type ${}^3D_4$, so they are forms of the orthogonal or the spin groups in 8 variables. They can be given as automorphisms of certain twisted composition algebras obtained from the octonion algebra. Using these composition algebras, we give descriptions of the affine Grassmannians for these triality groups as functors classifying suitable lattices in a fixed space.
The minimal degeneration singularities in the affine Grassmannians of simple simply-laced algebraic groups are determined to be either Kleinian singularities of type A, or closures of minimal orbits in nilpotent cones. The singularities for non-simply-laced types are studied by intersection cohomology and equivariant Chow group methods.
We study spherical Schubert varieties in the affine Grassmannian. These Schubert varieties have a natural conjectural modular description due to Finkelberg-Mirković. This modular description is easily seen to be set-theoretically correct, but it is not obviously scheme-theoretically correct. We prove that this modular description is correct in many cases. We also link this modular description to the reducedness conjecture from Kamnitzer-Webster-Weekes-Yacobi for tranverse slices in the affine Grassmannian.
We categorify all the Reshetikhin-Turaev tangle invariants of type A. Our main tool is a categorification of the generalized Jones-Wenzl projectors (a.k.a. clasps) as infinite twists. Applying this to certain convolution product varieties on the affine Grassmannian we extend our earlier work with Kamnitzer from standard to arbitrary representations.
For a reductive group $G$ we equip the category of $G_\mathcal{O}$-equivariant polarizable pure Hodge modules on the affine Grassmannian $\mathrm{Gr}_G$ with a structure of neutral Tannakian category. We show that it is equivalent to a twisted tensor product of the category of representations of the Langlands dual group and the category of pure polarizable Hodge structures.
By the geometric Satake isomorphism of Mirkovic and Vilonen, decomposition numbers for reductive groups can be interpreted as decomposition numbers for equivariant perverse sheaves on the complex affine Grassmannian of the Langlands dual group. Using a description of the minimal degenerations of the affine Grassmannian obtained by Malkin, Ostrik and Vybornov, we are able to recover geometrically some decomposition numbers for reductive groups. In the other direction, we can use some decomposition numbers for reductive groups to prove geometric results, such as a new proof of non-smoothness res…
Let $G$ be a simple algebraic group of type $A$ or $D$ defined over $\C$ and $T$ be a maximal torus of $G$. For a dominant coweight $λ$ of $G$, the $T$-fixed point subscheme $(\bar{Gr}_G^λ)^T$ of the Schubert variety $\bar{Gr}_G^λ$ in the affine Grassmannian $Gr_G$ is a finite scheme. We prove that there is a natural isomorphism between the dual of the level one affine Demazure module corresponding to $λ$ and the ring of functions (twisted by certain line bundle on $Gr_G$) of $(\bar{Gr}_G^λ)^T$. We use this fact to give a geometric proof of the Frenkel-Kac-Segal isomorphism between basic repre…
The affine Grassmannian of $SL_n$ admits an embedding into the Sato Grassmannian, which further admits a Plücker embedding into the projectivization of Fermion Fock space. Kreiman, Lakshmibai, Magyar, and Weyman describe the linear part of the ideal defining this embedding in terms of certain elements of the dual of Fock space called "shuffles", and they conjecture that these elements together with the Plücker relations suffice to cut out the affine Grassmannian. We give a proof of this conjecture in two steps: first we reinterpret the shuffles equations in terms of Frobenius twists of symmetr…
Let G be a reductive group; in this note we give an interpretation of the dynamical Weyl group of of the Langlands dual group $\check{G}$ defined by Etingof and Varchenko in terms of the geometry of the affine Grassmannian Gr of G. In this interpretation the dynamical parameters of Etingof and Varchenko correspond to equivariant parameters with respect to certain natural torus acting on Gr. We also present a conjectural generalization of our results to the case of affine Kac-Moody groups.
We construct for each choice of a quiver $Q$, a cohomology theory $A$ and a poset $P$ a "loop Grassmannian" $\mathcal{G}^P(Q,A)$. This generalizes loop Grassmannians of semisimple groups and the loop Grassmannians of based quadratic forms. The addition of a dilation torus $\mathcal{D}\subset\mathbb{G}_m^2$ gives a quantization $\mathcal{G}^P_\mathcal{D}(Q,A)$. The construction is motivated by the program of introducing an inner cohomology theory in algebraic geometry adequate for the Geometric Langlands program ['Some extensions of the notion of loop Grassmannians', Rad Hrvat. Akad. Znan. Umje…
We introduce a notion of $ξ$-stability on the affine grassmannian $\xx$ for the classical groups, this is the local version of the $ξ$-stability on the moduli space of Higgs bundles on a curve introduced by Chaudouard and Laumon. We prove that the quotient $\xx^ξ/T$ of the stable part $\xx^ξ$ by the maximal torus $T$ exists as an ind-$k$-scheme, and we introduce a reduction process analogous to the Harder-Narasimhan reduction for vector bundles. For the group $\mathrm{SL}_{d}$, we calculate the Poincaré series of the quotient $\xx^ξ/T$.
Let $σ$ be a simple involution of an algebraic semisimple group $G$ and let $H$ be the subgroup of $G$ of points fixed by $σ$. If the restricted root system is of type $A$, $C$ or $BC$ and $G$ is simply connected or if the restricted root system is of type $B$ and $G$ is adjoint, then we describe a standard monomial theory and the equations for the coordinate ring $k[G/H]$ using the standard monomial theory and the Plücker relations of an appropriate (maybe infinite dimensional) Grassmann variety.
We prove in type A a conjecture which describes the ideal of transversal slices to spherical Schubert varieties in the affine Grassmannian. As a corollary, we prove a modular description (due to Finkelberg-Mirković) of the spherical Schubert varieties.
Let $Q$ be a quiver of extended Dynkin type $D$. In this first of two papers, we show that the quiver Grassmannian $Gr_e(M)$ has a decomposition into affine spaces for every dimension vector $e$ and every indecomposable representation $M$ of defect $-1$ and defect $0$, with exception of the non-Schurian representations in homogeneous tubes. We characterize the affine spaces in terms of the combinatorics of a fixed coefficient quiver for $M$. The method of proof is to exhibit explicit equations for the Schubert cells of $Gr_e(M)$ and to solve this system of equations successively in linear term…
This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the Langlands dual group is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in and some o…
We give a complete list of smooth and rationally smooth normalized Schubert varieties in the twisted affine Grassmannian associated with a tamely ramified group and a special vertex of its Bruhat-Tits building. The particular case of the quasi-minuscule Schubert variety in the quasi-split but non-split form of ${\rm Spin}_8$ ("ramified triality") provides an input needed in the article by He-Pappas-Rapoport classifying Shimura varieties with good or semi-stable reduction.
We construct Nakajima's quiver varieties of type A in terms of conjugacy classes of matrices and (non-Slodowy's) transverse slices naturally arising from affine Grassmannians. In full generality quiver varieties are embedded into Beilinson-Drinfeld Grassmannians of type A. Our construction provides a compactification of Nakajima's quiver varieties and a decomposition of an affine Grassmannian into a disjoint union of quiver varieties. As an application we provide a geometric version of skew and symmetric $(GL(m), GL(n))$ duality.
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, …
We endow the set of lattices in Q_p^n with a reasonable algebro-geometric structure. As a result, we prove the representability of affine Grassmannians and establish the geometric Satake correspondence in mixed characteristic. We also give an application of our theory to the study of Rapoport-Zink spaces.
We propose a conjectural construction of various slices for double affine Grassmannians as Coulomb branches of 3-dimensional N=4 supersymmetric affine quiver gauge theories. It generalizes the known construction for the usual affine Grassmannian, and makes sense for arbitrary symmetric Kac-Moody algebras.
We state a conjecture on how to construct affine pavings for cohomologically pure projective algebraic varieties, which admit an action of torus such that the fixed points and $1$-dimensional orbits are finite. Experiments on the affine grassmannian for $\mathrm{GL}_{3}$ under the guideline of this conjecture, together with the work of Berenstein-Fomin-Zelevinsky and Kamnitzer, have led to the conjecture that the truncated affine grassmannians for $\mathrm{GL}_{r+1}$ admit affine pavings. For the group $\mathrm{GL}_{3}$, we construct affine pavings for the truncated affine grassmannians, and w…
In this paper we calculate the dimension of affine Deligne-Lusztig varieties in the affine Grassmannian of unramified groups. We also examine the irreducible components of ADLVs in the superbasic case and the $J_b(F)$-action on them.
In this paper, we introduce Schubert decompositions for quiver Grassmannians and investigate example classes of quiver Grassmannians with a Schubert decomposition into affine spaces. The main theorem puts the cells of a Schubert decomposition into relation to the cells of a certain simpler quiver Grassmannian. This allows us to extend known examples of Schubert decompositions into affine spaces to a larger class of quiver Grassmannians. This includes exceptional representations of the Kronecker quiver as well as representations of forests with block matrices of the form $\begin{pmatrix} 0&1\\ …
Let $G$ be a connected reductive group over $\CC$ and let $G^{\vee}$ be the Langlands dual group. Crystals for $G^{\vee}$ were introduced by Kashiwara as certain ``combinatorial skeletons'' of finite-dimensional representations of $G^{\vee}$. For every dominant integral weight of $G^{\vee}$ Kashiwara constructed a canonical crystal. Other (independent) constructions of those crystals were given by Lusztig and Littelmann. It was also shown by Kashiwara and Joseph that the above family of crystals is unique if certain reasonable conditions are imposed. The purpose of this paper is to give anothe…
We determine the set of connected components of closed affine Deligne-Lusztig varieties for hyperspecial maximal parahoric subgroups of unramified connected reductive groups. This extends the work by Viehmann for split reductive groups, and the work by Chen-Kisin-Viehmann on minuscule affine Deligne-Lusztig varieties.
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 aff…
This paper is the first in a series that describe a conjectural analog of the geometric Satake isomorphism for an affine Kac-Moody group. In this paper we construct a model for the singularities of some would-be Schubert varieties in the affine Grassmannian for an affine Kac-Moody group. We formulate a conjecture describing the (local) intersection cohomology of these varieties in terms of integrable representations of the Langlands dual affine Kac-Moody group and check this conjecture in a number of cases. Roughly speaking the above singularities are constructed by looking at the Uhlenbeck sp…
We consider the category of modules over the affine Kac-Moody algebra g^ of critical level with regular central character. In our previous paper math.RT/0508382 we conjectured that this category is equivalent to the category of Hecke eigen-D-modules on the affine Grassmannian G((t))/G[[t]]. This conjecture was motivated by our proposal for a local geometric Langlands correspondence. In this paper we prove this conjecture for the corresponding I^0 equivariant categories, where I^0 is the radical of the Iwahori subgroup of G((t)). Our result may be viewed as an affine analogue of the equivalence…
Generalized affine Grassmannian slices provide geometric realizations for weight spaces of representations of semisimple Lie algebras. They are also Coulomb branches, symplectic dual to Nakajima quiver varieties. In this paper, we prove that neighbouring generalized affine Grassmannian slices are related by Hamiltonian reduction by the action of the additive group. We also prove a weaker version of the same result for their quantizations, algebras known as truncated shifted Yangians.
Let $G$ be a reductive group and $U,U^-$ be the unipotent radicals of a pair of opposite parabolic subgroups $P,P^-$. We prove that the DG-categories of $U(\!(t)\!)$-equivariant and $U^-(\!(t)\!)$-equivariant D-modules on the affine Grassmannian $Gr_G$ are canonically dual to each other. We show that the unit object witnessing this duality is given by nearby cycles on the Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian defined in arXiv:1805.07721. We study various properties of the mentioned nearby cycles, in particular compare them with the nearby cycles studied in arXiv:1411.4206 and a…
The Schubert bases of the torus-equivariant homology and cohomology rings of the affine Grassmannian of the special linear group are realized by new families of symmetric functions called k-double Schur functions and affine double Schur functions.
Motivated by [Bor] and [Mar], we show the equality $\left([X] - [Y]\right) \cdot [\mathbb{A}^1] = 0$ in the Grothendieck ring of varieties, where $(X, Y)$ is a pair of Calabi-Yau 3-folds cut out from the pair of Grassmannians of type $G_2$.
It was proved by Ginzburg and Mirkovic-Vilonen that the $G(O)$-equivariant perverse sheaves on the affine grassmannian of a connected reductive group $G$ form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group $G^\vee$. The proof use the Tannakian formalism. The purpose of this paper is to construct explicitely the action of $G^\vee$ on the global cohomology of a perverse sheaf.
We study the topological group structure (coming from loop multiplication) on an affine Grassmannian. In particular, we study finite-dimensional subvarieties that generate the homology ring. We show that there is a canonical family of generating Schubert varieties, namely those defined by the negative of the coroot associated to the highest root. These not only generate the homology, but generate the affine Grassmannian itself in a precise sense.
Let ${\mathfrak g}$ be a simple Lie algebra. For a level $κ$ (thought of as a symmetric ${\mathfrak g}$-invariant form of ${\mathfrak g}$), let $\hat{\mathfrak g}_κ$ be the corresponding affine Kac-Moody algebra. Let $Gr_G$ be the affine Grassmannian of ${\mathfrak g}$, and let $D_κ(Gr_G)-mod$ be the category of $κ$-twisted right D-modules on $Gr_G$. By taking global sections of a D-module, we obtain a functor $Γ:D_κ(Gr_G)-mod\to {\mathfrak g}_κ-mod$. It is known that this functor is exact and faithful when $κ$ is negative or irrational. In this paper, we show that the functor $Γ$ is exact and…
We generalize the property of small-torus equivariant K-homology of the affine Grassmannian to general oriented (co)homology theory in the sense of Levine and Morel. The main tool we use is the formal affine Demazure algebra associated to the affine root system. More precisely, we prove that the small-torus equivariant oriented cohomology of the affine Grassmannian satisfies the GKM condition. We also show that its dual, the small-torus equivariant homology, is isomorphic to the centralizer of the equivariant oriented cohomology of a point in the the formal affine Demazure algebra.
I extend the ramified geometric Satake equivalence of Zhu from tamely ramified groups to include the case of general connected reductive groups. As a prerequisite I prove basic results on the geometry of affine flag varieties.
Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the affine Weyl group modulo the Weyl group for G. The closure of an affine Schubert cell is a finite dimensional projective variety that we call an affine Schubert variety. In this paper we completely dete…
For a reductive group over an algebraically closed field of characteristic $p > 0$ we construct the abelian category of perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian that are equivariant with respect to the action of the positive loop group. We show this is a symmetric monoidal category, and then we apply a Tannakian formalism to show this category is equivalent to the category of representations of a certain affine monoid scheme. We also show that our work provides a geometrization of the inverse of the mod $p$ Satake isomorphism. Along the way we prove that affine Schubert varie…
Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the k-Schur functions in homology and affine Schur functions in cohomology. Our results rely on Kostant and Kumar's nilHecke ring, work of Peterson on the homology of based loops on a compact group, and earlier work of ours on non-commutative k-Schur functions.
We introduce two families of symmetric functions with an extra parameter t that specialize to Schubert representatives for cohomology and homology of the affine Grassmannian when t = 1. The families are defined by a statistic on combinatorial objects associated to the type-A affine Weyl group and their transition matrix with Hall-Littlewood polynomials is t-positive. We conjecture that one family is the set of k-atoms.
Given a linear group G over a field k, we define a notion of index and residue of an element g of G(k((t)). This provides an alternative proof of Gabber's theorem stating that G has no subgroups isomorphic to the additive or the commutative group iff G(k[[t]])= G(k((t))). In the case of a reductive group, we offer an explicit connection with the theory of affine grassmannians.
