Searcharxiv⌕ Search

arXiv subjects

Michael Finkelberg

Publications and source records attributed to Michael Finkelberg.

At least 55 records · Page 3Linked to original sources
arXiv2018

Towards a cluster structure on trigonometric zastava

We study a moduli problem on a nodal curve of arithmetic genus 1, whose solution is an open subscheme in the zastava space for projective line. This moduli space is equipped with a natural Poisson structure, and we compute it in a natural coordinate system. We compare this Poisson structure with the trigonometric Poisson structure on the transversal slices in an affine flag variety. We conjecture that certain generalized minors give rise to a cluster structure on the trigonometric zastava.

math.AG↗
arXiv2017

Semi-infinite Schubert varieties and quantum K-theory of flag manifolds

Let g be a semi-simple Lie algebra. In this paper we study the spaces of based quasi-maps from the projective line P^1 to the flag variety of g (it is well-known that their singularities are supposed to model the singularities of the so called semi-infinite Schubert varieties which are hard to define directly). In the first part of the paper we show that the above spaces are normal and in the case when g is simply laced they are also Gorenstein and have rational singularities. In the second part of the paper we compute the character of the ring of functions on the above spaces; in view of the above results this computation can be thought of as a computation of the (equivariant) K-theoretic J-function of the flag variety of g. We show that when g is simply laced the above characters satisfy the "fermionic recursion" version of the difference quantum Toda lattice (due to B.Feigin, E.Feigin, M.Jimbo, T.Miwa and E.Mukhin). As a byproduct we show that the equivariant K-theoretic J-function of the flag variety of a simply laced Lie algebra g is the universal eigen-function of the difference quantum Toda lattice, thus proving a conjecture of Givental and Lee. Some modification of this result is also shown to hold for non-simply laced g. We also discuss an extension of the above results to the case when g is an affine Lie algebra (this extension is conjectural except when g=sl(N)).

math.AG↗
arXiv2017

Weyl modules and q-Whittaker functions

Let G be a semi-simple simply connected group over complex numbers. In this paper we give a geometric definition of the (dual) Weyl modules over the group G[t] and show that their characters form an eigen-function of the lattice version of the q-Toda integrable integrable system (defined by means of the quantum group version of Kostant-Whittaker reduction due to Etingof and Sevostyanov). All the proofs are algebro-geometric and rely on our previous work which interprets the universal eigen-function of the q-Toda system in terms of rings of functions on the spaces of based quasi-maps from P^1 to the flag variety of G. We discuss in detail the relation between the current work and the works of Cherednik, Ion, Sanderson and Gerasimov-Lebedev-Oblezin.

math.RT↗
arXiv2017

Kostka-Shoji polynomials and Lusztig's convolution diagram

We propose an $r$-variable version of Kostka-Shoji polynomials $K^-_{λμ}$ for $r$-multipartitions $λ,μ$. Our version has positive integral coefficients and encodes the graded multiplicities in the space of global sections of a line bundle over Lusztig's iterated convolution diagram for the cyclic quiver $\tilde{A}_{r-1}$.

math.AG↗
arXiv2017

Comultiplication for shifted Yangians and quantum open Toda lattice

We study a coproduct in type A quantum open Toda lattice in terms of a coproduct in the shifted Yangian of sl_2. At the classical level this corresponds to the multiplication of scattering matrices of euclidean SU(2) monopoles. We also study coproducts for shifted Yangians for any simply-laced Lie algebra.

math.RT↗
arXiv2016

Instanton moduli spaces and $\mathscr W$-algebras

We describe the (equivariant) intersection cohomology of certain moduli spaces ("framed Uhlenbeck spaces") together with some structures on them (such as e.g.\ the Poincaré pairing) in terms of representation theory of some vertex operator algebras ("$\mathscr W$-algebras").

math.QA↗
arXiv2016

Degenerate affine Grassmannians and loop quivers

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 description in the symplectic case and discuss the generalization to the case of the affine degenerate flag varieties.

math.AG↗
arXiv2015

Vanishing cycles on Poisson varieties

We extend slightly the results of Evens-Mirković, and "compute" the characteristic cycles of Intersection Cohomology sheaves on the transversal slices in the double affine Grassmannian and on the hypertoric varieties. We propose a conjecture relating the hyperbolic stalks and the microlocalization at a torus-fixed point in a Poisson variety.

math.AG↗
arXiv2015

Gaiotto-Witten superpotential and Whittaker D-modules on monopoles

Let $G$ be an almost simple simply connected group over complex numbers. For a positive element $α$ of the coroot lattice of $G$ let $Z^α$ denote the space of based maps from the projective line to the flag variety of $G$ of degree $α$. This space is known to be isomorphic to the space of framed euclidean $G$-monopoles with maximal symmetry breaking at infinity of charge $α$. In [Finkelberg-Kuznetsov-Markarian-Mirković] a system of (étale, rational) coordinates on $Z^α$ is introduced. In this note we compute various known structures on $Z^α$ in terms of the above coordinates. As a byproduct we give a natural interpretation of the Gaiotto-Witten superpotential and relate it to the theory of Whittaker D-modules introduced by D.Gaitsgory.

math.AG↗
arXiv2015

A note on the symplectic structure on the space of G-monopoles

Let $G$ be a semisimple complex Lie group with a Borel subgroup $B$. Let $X=G/B$ be the flag manifold of $G$. Let $C=P^1\ni\infty$ be the projective line. Let $α\in H_2(X,{\Bbb Z})$. The moduli space of $G$-monopoles of topological charge $α$ (see e.g. [Jarvis]) is naturally identified with the space $M_b(X,α)$ of based maps from $(C,\infty)$ to $(X,B)$ of degree $α$. The moduli space of $G$-monopoles carries a natural hyperkähler structure, and hence a holomorphic symplectic structure. We propose a simple explicit formula for the symplectic structure on $M_b(X,α)$. It generalizes the well known formula for $G=SL_2$ (see e.g. [Atiyah-Hitchin]). Let $P\supset B$ be a parabolic subgroup. The construction of the Poisson structure on $M_b(X,α)$ generalizes verbatim to the space of based maps $M=M_b(G/P,β)$. In most cases the corresponding map $T^*M\to TM$ is not an isomorphism, i.e. $M$ splits into nontrivial symplectic leaves. These leaves are explicilty described.

math.AG↗
arXiv2014

Wreath Macdonald polynomials and categorical McKay correspondence

Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert scheme, as a byproduct he obtained a derived equivalence between coherent sheaves on the Hilbert scheme and coherent sheaves on the orbifold quotient of ${\mathbb A}^{2n}$ by the symmetric group $S_n$. A short proof of a similar derived equivalence for any symplectic quotient singularity has been obtained by the first author and Kaledin via quantization in positive characteristic. In the present note we show the properties of the derived equivalence which imply the generalized Macdonald positivity for wreath products.

math.RT↗
arXiv2014

Character D-modules via Drinfeld center of Harish-Chandra bimodules

The category of character D-modules is realized as Drinfeld center of the abelian monoidal category of Harish-Chandra bimodules. Tensor product of Harish-Chandra bimodules is related to convolution of D-modules via the long intertwining functor (Radon transform) by a result of Beilinson and Ginzburg. Exactness property of the long intertwining functor on a cell subquotient of the Harish-Chandra bimodules category shows that the truncated convolution category can be realized as a subquotient of the category of Harish-Chandra bimodules. Together with the description of the truncated convolution category arXiv:math/0605628v3 this allows us to derive classification of irreducible character sheaves over $\mathbb C$ obtained by Lusztig by a different method. We also give a simple description for the top cohomology of convolution of character sheaves over $\mathbb C$ in a given cell modulo smaller cells and relate the so-called Harish-Chandra functor to Verdier specialization in the De Concini-Procesi compactification.

math.RT↗
arXiv2014

Finite difference quantum Toda lattice via equivariant K-theory

We construct the action of the quantum group U_v(sl_n) by the natural correspondences in the equivariant localized $K$-theory of the Laumon based Quasiflags' moduli spaces. The resulting module is the universal Verma module. We construct geometrically the Shapovalov scalar product and the Whittaker vectors. It follows that a certain generating function of the characters of the global sections of the structure sheaves of the Laumon moduli spaces satisfies a $v$-difference analogue of the quantum Toda lattice system, reproving the main theorem of Givental-Lee. The similar constructions are performed for the affine Lie agebra \hat{sl}_n.

math.AG↗
arXiv2014

Quantization of Drinfeld Zastava in type C

Drinfeld zastava is a certain closure of the moduli space of maps from the projective line to the Kashiwara flag scheme of an affine Lie algebra $\hat g$. In case $g$ is the symplectic Lie algebra $sp_N$, we introduce an affine, reduced, irreducible, normal quiver variety $Z$ which maps to the zastava space isomorphically in characteristic 0. The natural Poisson structure on the zastava space $Z$ can be described in terms of Hamiltonian reduction of a certain Poisson subvariety of the dual space of a (nonsemisimple) Lie algebra. The quantum Hamiltonian reduction of the corresponding quotient of its universal enveloping algebra produces a quantization $Y$ of the coordinate ring of $Z$. The same quantization was obtained in the finite (as opposed to the affine) case generically in arXiv:math/0409031 . We prove that $Y$ is a quotient of the affine Borel Yangian. The analogous results for $g=sl_N$ were obtained in our previous work arXiv:1009.0676 .

math.AG↗
arXiv2014

Quantization of Drinfeld Zastava in type A

Drinfeld Zastava is a certain closure of the moduli space of maps from the projective line to the Kashiwara flag scheme of the affine Lie algebra $\hat{sl}_n$. We introduce an affine, reduced, irreducible, normal quiver variety $Z$ which maps to the Zastava space bijectively at the level of complex points. The natural Poisson structure on the Zastava space can be described on $Z$ in terms of Hamiltonian reduction of a certain Poisson subvariety of the dual space of a (nonsemisimple) Lie algebra. The quantum Hamiltonian reduction of the corresponding quotient of its universal enveloping algebra produces a quantization $Y$ of the coordinate ring of $Z$. The same quantization was obtained in the finite (as opposed to the affine) case generically in arXiv:math/0409031. We prove that, for generic values of quantization parameters, $Y$ is a quotient of the affine Borel Yangian.

math.AG↗
arXiv2013

Macdonald polynomials, Laumon spaces and perverse coherent sheaves

Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon resolution of the space of quasi-maps (using this resolution one can reformulate the statement so that only "usual" (not perverse) coherent sheaves are used). In the course of the proof we also give a $K$-theoretic version of the main result of arXiv/0811.4454.

math.AG↗