arXiv subjects
Publications and source records attributed to Michael Finkelberg.
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.
Let $\Fl^a_\la$ be the PBW degeneration of the flag varieties of type $A_{n-1}$. These varieties are singular and are acted upon with the degenerate Lie group $SL_n^a$. We prove that $\Fl^a_\la$ have rational singularities, are normal and locally complete intersections, and construct a desingularization $R_\la$ of $\Fl^a_\la$. The varieties $R_\la$ can be viewed as towers of successive $\bP^1$-fibrations, thus providing an analogue of the classical Bott-Samelson-Demazure-Hansen desingularization. We prove that the varieties $R_\la$ are Frobenius split. This gives us Frobenius splitting for the degenerate flag varieties and allows to prove the Borel-Weyl type theorem for $\Fl^a_\la$. Using the Atiyah-Bott-Lefschetz formula for $R_\la$, we compute the $q$-characters of the highest weight $\msl_n$-modules.
Recently Alday, Gaiotto and Tachikawa proposed a conjecture relating 4-dimensional super-symmetric gauge theory for a gauge group G with certain 2-dimensional conformal field theory. This conjecture implies the existence of certain structures on the (equivariant) intersection cohomology of the Uhlenbeck partial compactification of the moduli space of framed G-bundles on P^2. More precisely, it predicts the existence of an action of the corresponding W-algebra on the above cohomology, satisfying certain properties. We propose a "finite analog" of the (above corollary of the) AGT conjecture. Namely, we replace the Uhlenbeck space with the space of based quasi-maps from P^1 to any partial flag variety G/P of G and conjecture that its equivariant intersection cohomology carries an action of the finite W-algebra U(g,e) associated with the principal nilpotent element in the Lie algebra of the Levi subgroup of P; this action is expected to satisfy some list of natural properties. This conjecture generalizes the main result of arXiv:math/0401409 when P is the Borel subgroup. We prove our conjecture for G=GL(N), using the works of Brundan and Kleshchev interpreting the algebra U(g,e) in terms of certain shifted Yangians.
We prove a version of the Gindikin-Karpelevich formula for untwisted affine Kac-Moody groups over a local field of positive characteristic. The proof is geometric and it is based on the results of [1] about intersection cohomology of certain Uhlenbeck-type moduli spaces (in fact, our proof is conditioned upon the assumption that the results of [1] are valid in positive characteristic). In particular, we give a geometric explanation of certain combinatorial differences between finite-dimensional and affine case (observed earlier by Macdonald and Cherednik), which here manifest themselves by the fact that the affine Gindikin-Karpelevich formula has an additional term compared to the finite-dimensional case. Very roughy speaking, that additional term is related to the fact that the loop group of an affine Kac-Moody group (which roughly speaking should be thought of as some kind of "double loop group") does not behave well from algebro-geometric point of view; however it has a better behaved version which has something to do with algebraic surfaces. A uniform (i.e. valid for all local fields) and unconditional (but not geometric) proof of the affine Gindikin-Karpelevich formula is going to appear in [2].
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.
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.
Let $\SF^a_λ$ be the degenerate symplectic flag variety. These are projective singular irreducible $\bG_a^M$ degenerations of the classical flag varieties for symplectic group $Sp_{2n}$. We give an explicit construction for the varieties $\SF^a_λ$ and construct their desingularizations, similar to the Bott-Samelson resolutions in the classical case. We prove that $\SF^a_\la$ are normal locally complete intersections with terminal and rational singularities. We also show that these varieties are Frobenius split. Using the above mentioned results, we prove an analogue of the Borel-Weil-Bott theorem and obtain a $q$-character formula for the characters of irreducible $Sp_{2n}$-modules via the Atiyah-Bott-Lefschetz fixed points formula.
Laumon moduli spaces are certain smooth closures of the moduli spaces of maps from the projective line to the flag variety of GL_n. We calculate the equivariant cohomology rings of the Laumon moduli spaces in terms of Gelfand-Tsetlin subalgebra of U(gl_n), and formulate a conjectural answer for the small quantum cohomology rings in terms of certain commutative shift of argument subalgebras of U(gl_n).
Laumon moduli spaces are certain smooth closures of the moduli spaces of maps from the projective line to the flag variety of $GL_n$. We construct the action of the Yangian of $sl_n$ in the cohomology of Laumon spaces by certain natural correspondences. We construct the action of the affine Yangian (two-parametric deformation of the universal enveloping algebra of the universal central extension of $sl_n[s^{\pm1},t]$) in the cohomology of the affine version of Laumon spaces. We compute the matrix coefficients of the generators of the affine Yangian in the fixed point basis of cohomology. This basis is an affine analogue of the Gelfand-Tsetlin basis. The affine analogue of the Gelfand-Tsetlin algebra surjects onto the equivariant cohomology rings of the affine Laumon spaces. The cohomology ring of the moduli space $M_{n,d}$ of torsion free sheaves on the plane, of rank $n$ and second Chern class $d$, trivialized at infinity, is naturally embedded into the cohomology ring of certain affine Laumon space. It is the image of the center $Z$ of the Yangian of $gl_n$ naturally embedded into the affine Yangian. In particular, the first Chern class of the determinant line bundle on $M_{n,d}$ is the image of a noncommutative power sum in $Z$.
Let an algebraic group G act on X, a connected algebraic manifold, with finitely many orbits. For any Harish-Chandra pair (D,G) where D is a sheaf of twisted differential operators on X, we form a left ideal D.g in D generated by the Lie algebra g, of G. Then, D/D.g is a holonomic D-module and its restriction to a unique Zariski open dense G-orbit in X is a G-equivariant local system. We prove a criterion saying that the D-module D/D.g is isomorphic, under certain (quite restrictive) conditions, to a direct image of that local system to X. We apply this criterion in the special case where the group G=SL(n) acts diagonally on X = F \times F \times P^{n-1}, a triple product where F is the flag manifold for SL(n) and P^{n-1} is the projective space. We further relate D-modules on F \times F \times P^{n-1} to D-modules on the space SL(n) \times P^{n-1} via a pair, CH, HC, of adjoint functors, analogous to those used in Lusztig's theory of character sheaves. A second important result of the paper provides an explicit description of these functors showing that the functor HC gives an exact functor on the abelian category of mirabolic D-modules.
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 space of instantons on the quotient of the affine plane by a finite cyclic subgroup of SL(2).
We generalize the classical Satake equivalence as follows. Let k be an algebraically closed field, set O=k[[t]] and F=k((t)). For an almost simple algebraic group G we classify central extensions of G(F) by the multiplicative group. Any such extension E splits canonically over G(O). Consider the category of G(O)-biinvariant perverse sheaves on E with a given Gm-monodromy . We show that this is a tensor category, which is tensor equivalent to the category of representations of a reductive group. We compute the root datum of this group.
For a simple algebraic group $G$ we study the space $Q$ of Quasimaps from the projective line $C$ to the flag variety of $G$. We prove that the global Intersection Cohomology of $Q$ carries a natural pure Tate Hodge structure, and compute its generating function. We define an action of the Langlands dual Lie algebra $g^L$ on this cohomology. We present a new geometric construction of the universal enveloping algebra $U(n^L_+)$ of the nilpotent subalgebra of $g^L$. It is realized in the Ext-groups of certain perverse sheaves on Quasimaps' spaces, and it is equipped with a canonical basis numbered by the irreducible components of certain algebraic cycles, isomorphic to the intersections of semiinfinite orbits in the affine Grassmannian of $G$. We compute the stalks of the IC-sheaves on the Schubert strata closures in $Q$. They carry a natural pure Tate Hodge structure, and their generating functions are given by the generic affine Kazhdan-Lusztig polynomials. In the Appendix we prove that Kontsevich's space of stable maps provides a natural resolution of $Q$.
For any smooth algebraic curve C, Pavel Etingof introduced a `global' Cherednik algebra as a natural deformation of the cross product of the algebra of differential operators on C^n and the symmetric group. We provide a construction of the global Cherednik algebra in terms of quantumn Hamiltonian reduction. We study a category of character D-modules on a representation scheme associated to C and define a Hamiltonian reduction functor from that category to category O for the global Cherednik algebra. In the special case where the curve C is the multiplicative group, the global Cherednik algebra reduces to the trigonometric Cherednik algebra of type A, and our character D-modules become holonomic D-modules on GL_n \times C^n. The corresponding perverse sheaves are reminiscent of (and include as special cases) Lusztig's character sheaves.
We prove a weak version of Lusztig's conjecture on explicit description of the asymptotic Hecke algebras (both finite and affine), and explain its relation to Lusztig's classification of character sheaves.
We introduce an Uhlenbeck closure of the space of based maps from projective line to the Kashiwara flag scheme of an untwisted affine Lie algebra. For the algebra $\hat{sl}_n$ this space of based maps is isomorphic to the moduli space of locally free parabolic sheaves on $P^1\times P^1$ trivialized at infinity. The Uhlenbeck closure admits a resolution of singularities: the moduli space of torsion free parabolic sheaves on $P^1\times P^1$ trivialized at infinity. We compute the Intersection Cohomology sheaf of the Uhlenbeck space using this resolution of singularities. The moduli spaces of parabolic sheaves of various degrees are connected by certain Hecke correspondences. We prove that these correspondences define an action of $\hat{sl}_n$ in the cohomology of the above moduli spaces.
We consider the canonical map from the Calogero-Moser space to symmetric powers of the affine line, sending conjugacy classes of pairs of n by n matrices to their eigenvalues. We show that the character of a natural C^*-action on the scheme-theoretic zero fiber of this map is given by Kostka polynomials.
We give an example of geometric construction (via Hecke correspondences) of certain representations of the affine Lie algebra $\hat{gl}_n$. The construction is similar to the one of [FK] for the Lie algebra $sl_n$. Given a surface with a smooth embedded curve $C$ we consider the moduli spaces $K_α$ of rank $n$ parabolic sheaves satisfying certain conditions. The top dimensional irreducible components of $K_α$ are numbered by the isomorphism classes of $α$-dimensional nilpotent representations of the cyclic quiver $\tilde{A}_{n-1}$. Summing up over all $α\in{\Bbb N}[{\Bbb Z}/n{\Bbb Z}]$ we obtain a vector space $M$ with a basis of fundamental classes of top dimensional components of $K_α$. The natural correspondences give rise to the action of Chevalley generators $e_i,f_i\in\hat{sl}_n$ on $M$. We compute explicitly the matrix coefficients of $e_i,f_i$ in the above basis. The central charge of $M$ depends on the genus of the curve $C$ and the degree of its normal bundle.