Showing 1–50 of 82 results for author: Finkelberg, M

Modular reduction of complex representations of finite reductive groups

Authors: Roman Bezrukavnikov, Michael Finkelberg, David Kazhdan, Calder Morton-Ferguson

Abstract: Given a complex representation of a finite group, Brauer and Nesbitt defined in 1941 its reduction mod p, obtaining a representation over the algebraic closure of $\mathbb{F}_p$. In 2021, Lusztig studied the characters obtained by reducing mod p an irreducible unipotent representation of a finite reductive group over $\mathbb{F}_p$. He gave a conjectural formula for this character as a linear comb… ▽ More Given a complex representation of a finite group, Brauer and Nesbitt defined in 1941 its reduction mod p, obtaining a representation over the algebraic closure of $\mathbb{F}_p$. In 2021, Lusztig studied the characters obtained by reducing mod p an irreducible unipotent representation of a finite reductive group over $\mathbb{F}_p$. He gave a conjectural formula for this character as a linear combination of terms which had no explicit definition and were only known in some small-rank examples. In this paper we provide an explicit formula for these terms and prove Lusztig's conjecture, giving a formula for the reduction mod p of any unipotent representation of $G(\mathbb{F}_q)$ for q a power of p. We also propose a conjecture linking this construction to the full exceptional collection in the derived category of coherent sheaves on a partial flag variety constructed recently by Samokhin and van der Kallen. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 27 pages, 6 figures

Relative Langlands duality for $\mathfrak{osp}(2n + 1|2n)$

Authors: Alexander Braverman, Michael Finkelberg, David Kazhdan, Roman Travkin

Abstract: We establish an $S$-duality converse to the one studied by the 1st, 2nd and 4th authors; this is also a case of a twisted version of the relative Langlands duality of Ben Zvi, Sakellaridis and Venkatesh.. Namely, we prove that the $S$-dual of $\text{SO}(2n+1)\times \text{Sp}(2n)$ acting on the tensor product of their tautological representations is the symplectic mirabolic space… ▽ More We establish an $S$-duality converse to the one studied by the 1st, 2nd and 4th authors; this is also a case of a twisted version of the relative Langlands duality of Ben Zvi, Sakellaridis and Venkatesh.. Namely, we prove that the $S$-dual of $\text{SO}(2n+1)\times \text{Sp}(2n)$ acting on the tensor product of their tautological representations is the symplectic mirabolic space $\text{Sp}(2n)\times\text{Sp}(2n)$ acting on the product $T^* \text{Sp}(2n)$ and the tautological representations of $\text{Sp}(2n)$. (Note that due to the anomaly, the dual of the second factor $\text{Sp}(2n)$ is the metaplectic dual, i.e. $\text{Sp}(2n)$). We also formulate the corresponding global conjecture, which describes explicitly the categorical theta-correspondence on the Langlands dual side. △ Less

Submitted 29 December, 2024; originally announced December 2024.

Gaiotto Conjecture for $\mathrm{Rep}_q(\mathrm{F}(4))$

Authors: Michael Finkelberg, Roman Travkin, Ruotao Yang

Abstract: This paper is a part of the series proving the Gaiotto conjecture for basic classical quantum supergroups. The previous part arXiv:2107.02653 [math.RT] , arXiv:2306.09556 [math.RT], proved the Gaiotto conjecture for the general linear quantum supergroups $U_q(\mathfrak{gl}(N|M))$. Here we deal with the exceptional quantum supergroup $U_q(\mathfrak{f}(4))$. This paper is a part of the series proving the Gaiotto conjecture for basic classical quantum supergroups. The previous part arXiv:2107.02653 [math.RT] , arXiv:2306.09556 [math.RT], proved the Gaiotto conjecture for the general linear quantum supergroups $U_q(\mathfrak{gl}(N|M))$. Here we deal with the exceptional quantum supergroup $U_q(\mathfrak{f}(4))$. △ Less

Submitted 21 September, 2024; v1 submitted 8 June, 2024; originally announced June 2024.

Comments: v2: 50 pages, a reference added, notation improved

Lagrangian subvarieties of hyperspherical varieties

Authors: Michael Finkelberg, Victor Ginzburg, Roman Travkin

Abstract: Given a hyperspherical $G$-variety $\mathscr X$ we consider the zero moment level $Λ_{\mathscr X}\subset{\mathscr X}$ of the action of a Borel subgroup $B\subset G$. We conjecture that $Λ_{\mathscr X}$ is Lagrangian. For the dual $G^\vee$-variety ${\mathscr X}^\vee$, we conjecture that that there is a bijection between the sets of irreducible components $\mathrm{Irr}Λ_{\mathscr X}$ and… ▽ More Given a hyperspherical $G$-variety $\mathscr X$ we consider the zero moment level $Λ_{\mathscr X}\subset{\mathscr X}$ of the action of a Borel subgroup $B\subset G$. We conjecture that $Λ_{\mathscr X}$ is Lagrangian. For the dual $G^\vee$-variety ${\mathscr X}^\vee$, we conjecture that that there is a bijection between the sets of irreducible components $\mathrm{Irr}Λ_{\mathscr X}$ and $\mathrm{Irr}Λ_{{\mathscr X}^\vee}$. We check this conjecture for all the hyperspherical equivariant slices, and for all the basic classical Lie superalgebras. △ Less

Submitted 22 January, 2025; v1 submitted 30 October, 2023; originally announced October 2023.

Comments: v2: minor corrections, Remark 1.1.4 added, Section 2 added. This is the final published version

Journal ref: Geometric and Functional Analysis, vol.35 (2025), 254--282

A fusion construction of local L-factors

Authors: Roman Bezrukavnikov, Alexander Braverman, Michael Finkelberg, David Kazhdan

Abstract: We propose a new conjectural way to calculate the local $L$-factor $L=L_χ(π,ρ,s)$ where $π$ is a representation of a $p$-adic group $G$, $ρ$ is an algebraic representation of the dual group $G^{\vee}$ and $χ$ is an algebraic character of $G$ satisfying a positivity condition. A method going back to Godement and Jacquet yields a description of $L$ using as an input a certain space… ▽ More We propose a new conjectural way to calculate the local $L$-factor $L=L_χ(π,ρ,s)$ where $π$ is a representation of a $p$-adic group $G$, $ρ$ is an algebraic representation of the dual group $G^{\vee}$ and $χ$ is an algebraic character of $G$ satisfying a positivity condition. A method going back to Godement and Jacquet yields a description of $L$ using as an input a certain space ${\mathcal S}_ρ$ of functions on $G$ depending on $ρ$. A (partly conjectural) description of ${\mathcal S}_ρ$ involving trace of Frobenius functions associated to perverse sheaves on the loop space of a semigroup containing $G$ was developed %by Bouthier, Ngo and Sakellaridis, partly based on an earlier work of Braverman and Kazhdan. Here we propose a different, more general conjectural description of ${\mathcal S}_ρ$: it also refers to trace of Frobenius functions but instead of the loop space of a semi-group we work with the ramified global Grassmannian fibering over the configuration space of points on a global curve defined by Beilinson-Drinfeld and Gaitsgory (a relation between two approaches is discussed in the appendix). Our main result asserts validity of our conjectures where $π$ is generated by an Iwahori fixed vector: we show that in this case it is compatible with the standard formula for $L$ involving local Langlands correspondence which is known for such representations $π$. The proof is based on properties of the coherent realization of the affine Hecke category. △ Less

Submitted 19 May, 2024; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: v2: references updated, section 4.2 added. v3: exposition improved, verification of compatibility with the classical construction of Godement-Jacquet added, 29p

Hyperspherical equivariant slices and basic classical Lie superalgebras

Authors: Michael Finkelberg, Ivan Ukraintsev

Abstract: We classify all the hyperspherical equivariant slices of reductive groups. The classification is $S$-dual to the one of basic classical Lie superalgebras. We classify all the hyperspherical equivariant slices of reductive groups. The classification is $S$-dual to the one of basic classical Lie superalgebras. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Orthosymplectic Satake equivalence, II

Authors: Alexander Braverman, Michael Finkelberg, Roman Travkin

Abstract: This is a companion paper of arXiv:1909.11492 and arXiv:1912.01930. We prove an equivalence relating representations of a degenerate orthosymplectic supergroup with the category of twisted $Sp(2n,{\mathbb C}[\![t]\!])$-equivariant $D$-modules on the so called mirabolic affine Grassmannian of $Sp(2n)$. We also discuss (conjectural) extension of this equivalence to the case of quantum supergroups an… ▽ More This is a companion paper of arXiv:1909.11492 and arXiv:1912.01930. We prove an equivalence relating representations of a degenerate orthosymplectic supergroup with the category of twisted $Sp(2n,{\mathbb C}[\![t]\!])$-equivariant $D$-modules on the so called mirabolic affine Grassmannian of $Sp(2n)$. We also discuss (conjectural) extension of this equivalence to the case of quantum supergroups and to some exceptional supergroups. △ Less

Submitted 22 December, 2024; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: v2: section 3.2 added. v3: some corrections; references updated

Kostka numbers and Fourier duality

Authors: Michael Finkelberg, Alexander Postnikov, Vadim Schechtman

Abstract: We relate the Fourier transform of perverse sheaves smooth along the coordinate hyperplane configuration in a complex vector space to the Deligne-Lusztig duality of unipotent representations of a general linear group over a finite field. A similar relation is established for arbitrary finite Coxeter groups. We relate the Fourier transform of perverse sheaves smooth along the coordinate hyperplane configuration in a complex vector space to the Deligne-Lusztig duality of unipotent representations of a general linear group over a finite field. A similar relation is established for arbitrary finite Coxeter groups. △ Less

Submitted 1 June, 2022; originally announced June 2022.

Comments: 30 pages

MSC Class: 20F55; 52C35

Coulomb branches of noncotangent type (with appendices by Gurbir Dhillon and Theo Johnson-Freyd)

Authors: Alexander Braverman, Gurbir Dhillon, Michael Finkelberg, Sam Raskin, Roman Travkin

Abstract: We propose a construction of the Coulomb branch of a $3d\ {\mathcal N}=4$ gauge theory corresponding to a choice of a connected reductive group $G$ and a symplectic finite-dimensional reprsentation $\mathbf M$ of $G$, satisfying certain anomaly cancellation condition. This extends the construction of arXiv:1601.03586 (where it was assumed that ${\mathbf M}={\mathbf N}\oplus{\mathbf N}^*$ for some… ▽ More We propose a construction of the Coulomb branch of a $3d\ {\mathcal N}=4$ gauge theory corresponding to a choice of a connected reductive group $G$ and a symplectic finite-dimensional reprsentation $\mathbf M$ of $G$, satisfying certain anomaly cancellation condition. This extends the construction of arXiv:1601.03586 (where it was assumed that ${\mathbf M}={\mathbf N}\oplus{\mathbf N}^*$ for some representation $\mathbf N$ of $G$). Our construction goes through certain "universal" ring object in the twisted derived Satake category of the symplectic group $Sp(2n)$. The construction of this object uses a categorical version of the Weil representation; we also compute the image of this object under the (twisted) derived Satake equivalence and show that it can be obtained from the theta-sheaf introduced by S.Lysenko on $\operatorname{Bun}_{Sp(2n)}({\mathbb P}^1)$ via certain Radon transform. We also discuss applications of our construction to a potential mathematical construction of $S$-duality for super-symmetric boundary conditions in 4-dimensional gauge theory and to (some extension of) the conjectures of D.Ben-Zvi, Y.Sakellaridis and A.Venkatesh. △ Less

Submitted 17 May, 2022; v1 submitted 24 January, 2022; originally announced January 2022.

Comments: v2: minor corrections

Gaiotto conjecture for $Rep_q(GL(N-1|N))$

Authors: Alexander Braverman, Michael Finkelberg, Roman Travkin

Abstract: We prove D.Gaiotto's conjecture about geometric Satake equivalence for quantum supergroup $U_q({\mathfrak{gl}}(N-1|N))$ for generic $q$. The equivalence goes through the category of factorizable sheaves. We prove D.Gaiotto's conjecture about geometric Satake equivalence for quantum supergroup $U_q({\mathfrak{gl}}(N-1|N))$ for generic $q$. The equivalence goes through the category of factorizable sheaves. △ Less

Submitted 2 January, 2025; v1 submitted 6 July, 2021; originally announced July 2021.

Comments: v2: the final published version

Journal ref: Pure and Applied Mathematics Quarterly, vol.21 (2025), no.2, 663--695

Elliptic zastava

Authors: Michael Finkelberg, Mykola Matviichuk, Alexander Polishchuk

Abstract: We study the elliptic zastava spaces, their versions (twisted, Coulomb, Mirkovic local spaces, reduced) and relations with monowalls moduli spaces and Feigin-Odesskii moduli spaces of $G$-bundles with parabolic structure on an elliptic curve. We study the elliptic zastava spaces, their versions (twisted, Coulomb, Mirkovic local spaces, reduced) and relations with monowalls moduli spaces and Feigin-Odesskii moduli spaces of $G$-bundles with parabolic structure on an elliptic curve. △ Less

Submitted 25 February, 2023; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: v2: final published version

Journal ref: Journal of Algebraic Geometry, vol. 32 (2023), 183--237

Kazhdan-Lusztig conjecture via Zastava spaces

Authors: Alexander Braverman, Michael Finkelberg, Hiraku Nakajima

Abstract: We deduce the Kazhdan-Lusztig conjecture on the multiplicities of simple modules over a simple complex Lie algebra in Verma modules in category O from the equivariant geometric Satake correspondence and the analysis of torus fixed points in zastava spaces. We make similar speculations for the affine Lie algebras and W-algebras. We deduce the Kazhdan-Lusztig conjecture on the multiplicities of simple modules over a simple complex Lie algebra in Verma modules in category O from the equivariant geometric Satake correspondence and the analysis of torus fixed points in zastava spaces. We make similar speculations for the affine Lie algebras and W-algebras. △ Less

Submitted 16 June, 2022; v1 submitted 19 July, 2020; originally announced July 2020.

Comments: v2: minor corrections, the final published version

Journal ref: Journal für die reine und angewandte Mathematik, 787 (2022), 45--78

Lusztig conjectures on S-cells in affine Weyl groups

Authors: Michael Finkelberg, David Kazhdan, Yakov Varshavsky

Abstract: We apply the dimension theory developed in [BKV] to establish some of Lusztig's conjectures [Lu]. We apply the dimension theory developed in [BKV] to establish some of Lusztig's conjectures [Lu]. △ Less

Submitted 19 May, 2021; v1 submitted 31 May, 2020; originally announced June 2020.

Comments: 16 pages, final version, to appear in the Israel Journal of Mathematics

Beilinson-Drinfeld Schubert varieties and global Demazure modules

Authors: Ilya Dumanski, Evgeny Feigin, Michael Finkelberg

Abstract: We compute the spaces of sections of powers of the determinant line bundle on the spherical Schubert subvarieties of the Beilinson- Drinfeld affine Grassmannians. The answer is given in terms of global Demazure modules over the current Lie algebra. We compute the spaces of sections of powers of the determinant line bundle on the spherical Schubert subvarieties of the Beilinson- Drinfeld affine Grassmannians. The answer is given in terms of global Demazure modules over the current Lie algebra. △ Less

Submitted 3 May, 2021; v1 submitted 28 March, 2020; originally announced March 2020.

Comments: v3: 30 pages; proofs of Lemma 3.8 and Proposition 3.9 corrected; two items added to Proposition 2.6; other minor corrections

Orthosymplectic Satake equivalence

Authors: Alexander Braverman, Michael Finkelberg, Roman Travkin

Abstract: This is a companion paper of arXiv:1909.11492. We prove an equivalence relating representations of a degenerate orthosymplectic supergroup with the category of $SO(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine Grassmannian of $SO_N$. We explain how this equivalence fits into a more general framework of conjectures due to Gaiotto and to Ben-Zvi, Sakellaridis and Venkatesh. This is a companion paper of arXiv:1909.11492. We prove an equivalence relating representations of a degenerate orthosymplectic supergroup with the category of $SO(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine Grassmannian of $SO_N$. We explain how this equivalence fits into a more general framework of conjectures due to Gaiotto and to Ben-Zvi, Sakellaridis and Venkatesh. △ Less

Submitted 28 October, 2022; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: v2: 31 pages, a few minor corrections; Conjecture 3.3.4 became Theorem 3.3.5. v3: 32 pages, proof of Lemma 2.3.3 corrected. v4: minor corrections. v5: the final published version

Journal ref: Communications in Number Theory and Physics, vol.16 (2022), no.4, 695--732

Mirabolic Satake equivalence and supergroups

Authors: Alexander Braverman, Michael Finkelberg, Victor Ginzburg, Roman Travkin

Abstract: We construct a mirabolic analogue of the geometric Satake equivalence. We also prove an equivalence that relates representations of a supergroup with the category of $GL(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine Grassmannian of $GL_N$. We explain how our equivalences fit into a more general framework of conjectures due to Gaiotto and to Ben-Zvi, Sakellaridis and Venkate… ▽ More We construct a mirabolic analogue of the geometric Satake equivalence. We also prove an equivalence that relates representations of a supergroup with the category of $GL(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine Grassmannian of $GL_N$. We explain how our equivalences fit into a more general framework of conjectures due to Gaiotto and to Ben-Zvi, Sakellaridis and Venkatesh. △ Less

Submitted 22 July, 2021; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: v2: 48 pages, a few minor corrections. v3: the final version published in Compositio Mathematica

Journal ref: Compositio Math. 157 (2021) 1724-1765

Coulomb branch of a multiloop quiver gauge theory

Authors: Michael Finkelberg, Evgeny Goncharov

Abstract: We compute the Coulomb branch of a multiloop quiver gauge theory for the quiver with a single vertex, $r$ loops, one-dimensional framing, and $\dim V=2$. We identify it with a Slodowy slice in the nilpotent cone of the symplectic Lie algebra of rank $r$. Hence it possesses a symplectic resolution with $2r$ fixed points with respect to a Hamiltonian torus action. We also idenfity its flavor deforma… ▽ More We compute the Coulomb branch of a multiloop quiver gauge theory for the quiver with a single vertex, $r$ loops, one-dimensional framing, and $\dim V=2$. We identify it with a Slodowy slice in the nilpotent cone of the symplectic Lie algebra of rank $r$. Hence it possesses a symplectic resolution with $2r$ fixed points with respect to a Hamiltonian torus action. We also idenfity its flavor deformation with a base change of the full Slodowy slice. △ Less

Submitted 24 March, 2020; v1 submitted 14 March, 2019; originally announced March 2019.

Comments: v2: references updated, numeration of sections changed compatibly with the final published version

Journal ref: Functional Analysis and its Applications 53 (2019), no. 4, 241-249

Coherent IC-sheaves on type $A_{n}$ affine Grassmannians and dual canonical basis of affine type $A_{1}$

Authors: Michael Finkelberg, Ryo Fujita

Abstract: The convolution ring $K^{GL_n(\mathcal{O})\rtimes\mathbb{C}^\times}(\mathrm{Gr}_{GL_n})$ was identified with a quantum unipotent cell of the loop group $LSL_2$ in [Cautis-Williams, J. Amer. Math. Soc. 32 (2019), pp. 709-778]. We identify the basis formed by the classes of irreducible equivariant perverse coherent sheaves with the dual canonical basis of the quantum unipotent cell. The convolution ring $K^{GL_n(\mathcal{O})\rtimes\mathbb{C}^\times}(\mathrm{Gr}_{GL_n})$ was identified with a quantum unipotent cell of the loop group $LSL_2$ in [Cautis-Williams, J. Amer. Math. Soc. 32 (2019), pp. 709-778]. We identify the basis formed by the classes of irreducible equivariant perverse coherent sheaves with the dual canonical basis of the quantum unipotent cell. △ Less

Submitted 10 June, 2024; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: 23 pages, v2: minor revision, v3: replaced the statements of Theorems 2.2, 3.2 and 4.1 with ones for the integral forms, improved some explanations slightly, v4: minor revision, v5: Erratum to the published version added in Section 5, correcting Lemma 4.14

Journal ref: Represent. Theory 25 (2021), 67-89

Shifted quantum affine algebras: integral forms in type $A$ (with appendices by Alexander Tsymbaliuk and Alex Weekes)

Authors: Michael Finkelberg, Alexander Tsymbaliuk

Abstract: We define an integral form of shifted quantum affine algebras of type $A$ and construct Poincaré-Birkhoff-Witt-Drinfeld bases for them. When the shift is trivial, our integral form coincides with the RTT integral form. We prove that these integral forms are closed with respect to the coproduct and shift homomorphisms. We prove that the homomorphism from our integral form to the corresponding quant… ▽ More We define an integral form of shifted quantum affine algebras of type $A$ and construct Poincaré-Birkhoff-Witt-Drinfeld bases for them. When the shift is trivial, our integral form coincides with the RTT integral form. We prove that these integral forms are closed with respect to the coproduct and shift homomorphisms. We prove that the homomorphism from our integral form to the corresponding quantized $K$-theoretic Coulomb branch of a quiver gauge theory is always surjective. In one particular case we identify this Coulomb branch with the extended quantum universal enveloping algebra of type $A$. Finally, we obtain the rational (homological) analogues of the above results (proved earlier in arXiv:1611.06775, arXiv:1806.07519 via different techniques). △ Less

Submitted 17 November, 2020; v1 submitted 29 November, 2018; originally announced November 2018.

Comments: v1: 65 pages. v2: 67 pages; added a dominance condition in Section 2(vii), another definition in Appendix A(viii), the injectivity of $\mathfrak{g}\to Y$ in Appendix B(ii). v3: 70 pages; table of contents added, Section 3(vi) updated and Remark 4.33 added. v4: 70 pages; this is a slight modification of the version published in the Arnold Mathematical Journal, the difference is in the introduction

Journal ref: Arnold Mathematical Journal 5 (2019), no. 2, 197-283

A quasi-coherent description of the category D-mod(Gr$_{GL(n)}$)

Authors: Alexander Braverman, Michael Finkelberg

Abstract: In arXiv:1807.09038 we formulated a conjecture describing the derived category D-mod(Gr$_{GL(n)}$) of (all) D-modules on the affine Grassmannian of the group $GL(n)$ as the category of quasi-coherent sheaves on a certain stack (it is explained in loc. cit. that this conjecture "follows" naturally from some heuristic arguments involving 3-dimensional quantum field theory). In this paper we prove a… ▽ More In arXiv:1807.09038 we formulated a conjecture describing the derived category D-mod(Gr$_{GL(n)}$) of (all) D-modules on the affine Grassmannian of the group $GL(n)$ as the category of quasi-coherent sheaves on a certain stack (it is explained in loc. cit. that this conjecture "follows" naturally from some heuristic arguments involving 3-dimensional quantum field theory). In this paper we prove a weaker version of this conjecture for the case $n=2$. △ Less

Submitted 25 June, 2022; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: The final published version

Journal ref: "Representation Theory and Algebraic Geometry'', Trends in Mathematics, Birkhäuser (2022), 133--149

Coulomb branches of 3-dimensional gauge theories and related structures

Authors: Alexander Braverman, Michael Finkelberg

Abstract: These are (somewhat informal) lectures notes for the CIME summer school "Geometric Representation Theory and Gauge Theory" in June 2018. In these notes we review the results and constructions of a series of our joint papers with H.Nakajima where a mathematical definition of Coulomb branches of 3d N=4 quantum gauge theories (of cotangent type) is given. We also discuss some further constructions (s… ▽ More These are (somewhat informal) lectures notes for the CIME summer school "Geometric Representation Theory and Gauge Theory" in June 2018. In these notes we review the results and constructions of a series of our joint papers with H.Nakajima where a mathematical definition of Coulomb branches of 3d N=4 quantum gauge theories (of cotangent type) is given. We also discuss some further constructions (such as categories of line operators in the corresponding topologically twisted theories) and briefly discuss a connection to local geometric Langlands correspondence. △ Less

Submitted 1 November, 2018; v1 submitted 24 July, 2018; originally announced July 2018.

Line bundles over Coulomb branches

Authors: Alexander Braverman, Michael Finkelberg, Hiraku Nakajima

Abstract: This is the third companion paper of arXiv:1601.03586. When a gauge theory has a flavor symmetry group, we construct a partial resolution of the Coulomb branch as a variant of the definition. We identify the partial resolution with a partial resolution of a generalized slice in the affine Grassmannian, Hilbert scheme of points, and resolved Cherkis bow variety for a quiver gauge theory of type ADE… ▽ More This is the third companion paper of arXiv:1601.03586. When a gauge theory has a flavor symmetry group, we construct a partial resolution of the Coulomb branch as a variant of the definition. We identify the partial resolution with a partial resolution of a generalized slice in the affine Grassmannian, Hilbert scheme of points, and resolved Cherkis bow variety for a quiver gauge theory of type ADE or affine type A. △ Less

Submitted 15 July, 2020; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: 26 pages; v2. an assumption on the stability parameter is relaxed, 27 pages

Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian and geometric Satake equivalence (with appendix by Dennis Gaitsgory)

Authors: Michael Finkelberg, Vasily Krylov, Ivan Mirković

Abstract: Let $G$ be a reductive complex algebraic group. We fix a pair of opposite Borel subgroups and consider the corresponding semiinfinite orbits in the affine Grassmannian $Gr_G$. We prove Simon Schieder's conjecture identifying his bialgebra formed by the top compactly supported cohomology of the intersections of opposite semiinfinite orbits with $U(\check{\mathfrak n})$ (the universal enveloping alg… ▽ More Let $G$ be a reductive complex algebraic group. We fix a pair of opposite Borel subgroups and consider the corresponding semiinfinite orbits in the affine Grassmannian $Gr_G$. We prove Simon Schieder's conjecture identifying his bialgebra formed by the top compactly supported cohomology of the intersections of opposite semiinfinite orbits with $U(\check{\mathfrak n})$ (the universal enveloping algebra of the positive nilpotent subalgebra of the Langlands dual Lie algebra $\check{\mathfrak g}$). To this end we construct an action of Schieder bialgebra on the geometric Satake fiber functor. We propose a conjectural construction of Schieder bialgebra for an arbitrary symmetric Kac-Moody Lie algebra in terms of Coulomb branch of the corresponding quiver gauge theory. △ Less

Submitted 4 August, 2024; v1 submitted 20 May, 2018; originally announced May 2018.

Comments: v2: two sections (4.v, 4.vi) added; one author added, and even the title updated. v3: 44 pages; the final published version. v4: A few references added and a few inaccuracies corrected. v5: A few typos corrected; assumptions of Lemma A.1 corrected

Journal ref: Journal of Topology 13 (2020), no. 2, 683-729

Fourier transform on hyperplane arrangements

Authors: Michael Finkelberg, Mikhail Kapranov, Vadim Schechtman

Abstract: We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can be described in terms of certain diagrams of vector spaces labelled by all the faces of the real arrangement (we call such diagrams hyperbolic sheaves). In this… ▽ More We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can be described in terms of certain diagrams of vector spaces labelled by all the faces of the real arrangement (we call such diagrams hyperbolic sheaves). In this paper we calculate, in these terms, several fundamental operations of sheaf theory such as forming the space of vanishing cycles, specialization and the Fourier-Sato transform. △ Less

Submitted 25 June, 2022; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: The final published version

Journal ref: "Representation Theory and Algebraic Geometry'', Trends in Mathematics, Birkhäuser (2022), 87--131

Double affine Grassmannians and Coulomb branches of 3d N=4 quiver gauge theories

Authors: Michael Finkelberg

Abstract: 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 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. △ Less

Submitted 17 December, 2017; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: 14 pages, submitted to proceedings of the ICM 2018. v2: a few typos corrected

Multiplicative slices, relativistic Toda and shifted quantum affine algebras

Authors: Michael Finkelberg, Alexander Tsymbaliuk

Abstract: We introduce the shifted quantum affine algebras. They map homomorphically into the quantized $K$-theoretic Coulomb branches of $3d\ {\mathcal N}=4$ SUSY quiver gauge theories. In type $A$, they are endowed with a coproduct, and they act on the equivariant $K$-theory of parabolic Laumon spaces. In type $A_1$, they are closely related to the open relativistic quantum Toda lattice of type $A$. We introduce the shifted quantum affine algebras. They map homomorphically into the quantized $K$-theoretic Coulomb branches of $3d\ {\mathcal N}=4$ SUSY quiver gauge theories. In type $A$, they are endowed with a coproduct, and they act on the equivariant $K$-theory of parabolic Laumon spaces. In type $A_1$, they are closely related to the open relativistic quantum Toda lattice of type $A$. △ Less

Submitted 21 October, 2019; v1 submitted 5 August, 2017; originally announced August 2017.

Comments: 125 pages. v2: references updated; in section 11 the third local Lax matrix is introduced. v3: references updated. v4=v5: 131 pages, minor corrections, table of contents added, Conjecture 10.25 is now replaced by Theorem 10.25 (whose proof is based on the shuffle approach and is presented in a new Appendix). v6: Final version as published, references updated, footnote 4 added

Journal ref: Representations and Nilpotent Orbits of Lie Algebraic Systems (special volume in honour of the 75th birthday of Tony Joseph), Progress in Mathematics 330 (2019), 133-304

Ring objects in the equivariant derived Satake category arising from Coulomb branches (with an appendix by Gus Lonergan)

Authors: Alexander Braverman, Michael Finkelberg, Hiraku Nakajima

Abstract: This is the second companion paper of arXiv:1601.03586. We consider the morphism from the variety of triples introduced in arXiv:1601.03586 to the affine Grassmannian. The direct image of the dualizing complex is a ring object in the equivariant derived category on the affine Grassmannian (equivariant derived Satake category). We show that various constructions in arXiv:1601.03586 work for an arbi… ▽ More This is the second companion paper of arXiv:1601.03586. We consider the morphism from the variety of triples introduced in arXiv:1601.03586 to the affine Grassmannian. The direct image of the dualizing complex is a ring object in the equivariant derived category on the affine Grassmannian (equivariant derived Satake category). We show that various constructions in arXiv:1601.03586 work for an arbitrary commutative ring object. The second purpose of this paper is to study Coulomb branches associated with star shaped quivers, which are expected to be conjectural Higgs branches of $3d$ Sicilian theories in type $A$ by arXiv:1007.0992. △ Less

Submitted 21 January, 2024; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 38 pages; v2. 66 pages, proofs in some results in Sec.5 are corrected. A new appendix by Gus Lonergan on a new proof of the commutativity of the convolution product; v3. the appendix is mentioned in the title; v4. A remark (5.22) on quantization of results in Sect.5 is added; v5. the definition of $\mathcal{S}_N^\circ$ is added; v6. Errata

Journal ref: Adv. in Theo. and Math. Physics 23 (2019) No.2, 253-344; Errata: Adv. in Theo. and Math. Physics 25 (2021), No.4, 957--992

Cyclotomic double affine Hecke algebras (with an appendix by Hiraku Nakajima and Daisuke Yamakawa)

Authors: Alexander Braverman, Pavel Etingof, Michael Finkelberg

Abstract: We show that the partially spherical cyclotomic rational Cherednik algebra (obtained from the full rational Cherednik algebra by averaging out the cyclotomic part of the underlying reflection group) has four other descriptions: (1) as a subalgebra of the degenerate DAHA of type A given by generators; (2) as an algebra given by generators and relations; (3) as an algebra of differential-reflection… ▽ More We show that the partially spherical cyclotomic rational Cherednik algebra (obtained from the full rational Cherednik algebra by averaging out the cyclotomic part of the underlying reflection group) has four other descriptions: (1) as a subalgebra of the degenerate DAHA of type A given by generators; (2) as an algebra given by generators and relations; (3) as an algebra of differential-reflection operators preserving some spaces of functions; (4) as equivariant Borel-Moore homology of a certain variety. Also, we define a new $q$-deformation of this algebra, which we call cyclotomic DAHA. Namely, we give a $q$-deformation of each of the above four descriptions of the partially spherical rational Cherednik algebra, replacing differential operators with difference operators, degenerate DAHA with DAHA, and homology with K-theory, and show that they give the same algebra. In addition, we show that spherical cyclotomic DAHA are quantizations of certain multiplicative quiver and bow varieties, which may be interpreted as K-theoretic Coulomb branches of a framed quiver gauge theory. Finally, we apply cyclotomic DAHA to prove new flatness results for various kinds of spaces of $q$-deformed quasiinvariants. In the appendix by H. Nakajima and D. Yamakawa (added in version 2), the authors explain the relations between multiplicative bow varieties and (various versions of) multiplicative quiver varieties for a cyclic quiver. △ Less

Submitted 8 December, 2020; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: 66 pages, latex; in v4 the missing assumption that k is not in Z+1/2 added in Theorem 2.10(i) and Lemma 2.13. v5 the final published version

Journal ref: Annales Scientifiques de l'Ecole Normale Superieure 53 (2020) no. 5, 1249--1314

Comultiplication for shifted Yangians and quantum open Toda lattice

Authors: Michael Finkelberg, Joel Kamnitzer, Khoa Pham, Leonid Rybnikov, Alex Weekes

Abstract: 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. 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. △ Less

Submitted 29 June, 2017; v1 submitted 10 August, 2016; originally announced August 2016.

Comments: To David Kazhdan on his 70th birthday, with admiration. Final version to appear in Advances in Mathematics

Kostka-Shoji polynomials and Lusztig's convolution diagram

Authors: Michael Finkelberg, Andrei Ionov

Abstract: 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}$. 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}$. △ Less

Submitted 8 November, 2017; v1 submitted 19 May, 2016; originally announced May 2016.

Comments: v3: references updated

Coulomb branches of $3d$ $\mathcal N=4$ quiver gauge theories and slices in the affine Grassmannian (with appendices by Alexander Braverman, Michael Finkelberg, Joel Kamnitzer, Ryosuke Kodera, Hiraku Nakajima, Ben Webster, and Alex Weekes)

Authors: Alexander Braverman, Michael Finkelberg, Hiraku Nakajima

Abstract: This is a companion paper of arXiv:1601.03586. We study Coulomb branches of unframed and framed quiver gauge theories of type $ADE$. In the unframed case they are isomorphic to the moduli space of based rational maps from ${\mathbb C}P^1$ to the flag variety. In the framed case they are slices in the affine Grassmannian and their generalization. In the appendix, written jointly with Joel Kamnitzer… ▽ More This is a companion paper of arXiv:1601.03586. We study Coulomb branches of unframed and framed quiver gauge theories of type $ADE$. In the unframed case they are isomorphic to the moduli space of based rational maps from ${\mathbb C}P^1$ to the flag variety. In the framed case they are slices in the affine Grassmannian and their generalization. In the appendix, written jointly with Joel Kamnitzer, Ryosuke Kodera, Ben Webster, and Alex Weekes, we identify the quantized Coulomb branch with the truncated shifted Yangian. △ Less

Submitted 30 May, 2018; v1 submitted 12 April, 2016; originally announced April 2016.

Comments: 56 pages; v2. A reference added; v3. 66 pages. A new subsection `Towards geometric Satake correspondence for Kac-Moody Lie algebras' added. The definition of the shifted Yangian corrected; v4. \circ, \bullet on characters are changed; v5. Remarks 3.7, 3.8, 3.19 are corrected

MSC Class: 81T13 (Primary); 14D21; 16G20; 20G45 (Secondary)

Towards a mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories, II

Authors: Alexander Braverman, Michael Finkelberg, Hiraku Nakajima

Abstract: Consider the $3$-dimensional $\mathcal N=4$ supersymmetric gauge theory associated with a compact Lie group $G_c$ and its quaternionic representation $\mathbf M$. Physicists study its Coulomb branch, which is a noncompact hyper-Kähler manifold with an $\mathrm{SU}(2)$-action, possibly with singularities. We give a mathematical definition of the Coulomb branch as an affine algebraic variety with… ▽ More Consider the $3$-dimensional $\mathcal N=4$ supersymmetric gauge theory associated with a compact Lie group $G_c$ and its quaternionic representation $\mathbf M$. Physicists study its Coulomb branch, which is a noncompact hyper-Kähler manifold with an $\mathrm{SU}(2)$-action, possibly with singularities. We give a mathematical definition of the Coulomb branch as an affine algebraic variety with $\mathbb C^\times$-action when $\mathbf M$ is of a form $\mathbf N\oplus\mathbf N^*$, as the second step of the proposal given in arXiv:1503.03676. △ Less

Submitted 21 January, 2024; v1 submitted 14 January, 2016; originally announced January 2016.

Comments: 54 pages, 1 figure; v2. 55 pages, Proof of Theorem 4.1 is corrected. Determine Coulomb branches for SL(2) completely. Poisson structure is symplectic on nonsingular locus; v3. Two different usages of the same symbol `z' are corrected. Hyperlinks to a companion paper are added; v4. 57 pages. A proof of independence from a choice of the decomposition N+N^* is given. Several minor changes; v5. typo;

Journal ref: Adv.Theor.Math.Phys 22 (2018) No.5, 1071--1147; Erratum: Adv.Theor.Math.Phys 23 (2019) No.1, 80

Intersection cohomology of the Uhlenbeck compactification of the Calogero-Moser space

Authors: Michael Finkelberg, Victor Ginzburg, Andrei Ionov, Alexander Kuznetsov

Abstract: We study the natural Gieseker and Uhlenbeck compactifications of the rational Calogero-Moser phase space. The Gieseker compactification is smooth and provides a small resolution of the Uhlenbeck compactification. This allows computing the IC stalks of the Uhlenbeck compactification. We study the natural Gieseker and Uhlenbeck compactifications of the rational Calogero-Moser phase space. The Gieseker compactification is smooth and provides a small resolution of the Uhlenbeck compactification. This allows computing the IC stalks of the Uhlenbeck compactification. △ Less

Submitted 28 May, 2020; v1 submitted 17 June, 2015; originally announced June 2015.

Comments: 38 pages. v2: Remark 1.3.3 added. v3: The final version published in Selecta Mathematica

Journal ref: Selecta Math., vol. 22 (2016), no. 4, pp 2491-2534

Towards a cluster structure on trigonometric zastava

Authors: Michael Finkelberg, Alexander Kuznetsov, Leonid Rybnikov, Galyna Dobrovolska

Abstract: 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… ▽ More 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. △ Less

Submitted 3 March, 2018; v1 submitted 21 April, 2015; originally announced April 2015.

Comments: Main text by M. Finkelberg, A. Kuznetsov and L. Rybnikov with an appendix by G. Dobrovolska; v3 32 pages, Proof of Proposition 4.3 corrected, Section 1.5 added; v4 33 pages, the final version to appear in Selecta Math.; v5 the published version

Journal ref: Selecta Mathematica (New Series) vol. 24, no. 1 (2018), 187--225

Twisted zastava and $q$-Whittaker functions

Authors: Alexander Braverman, Michael Finkelberg

Abstract: In this note, we extend the results of arxiv:1111.2266 and arxiv:1203.1583 to the non simply laced case. To this end we introduce and study the twisted zastava spaces. In this note, we extend the results of arxiv:1111.2266 and arxiv:1203.1583 to the non simply laced case. To this end we introduce and study the twisted zastava spaces. △ Less

Submitted 8 December, 2017; v1 submitted 9 October, 2014; originally announced October 2014.

Comments: 18 pages. v4: the final published version

Journal ref: J. London Math. Soc. (2) 96 (2017) 309--325

Degenerate affine Grassmannians and loop quivers

Authors: Evgeny Feigin, Michael Finkelberg, Markus Reineke

Abstract: 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 fi… ▽ More 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. △ Less

Submitted 26 April, 2016; v1 submitted 3 October, 2014; originally announced October 2014.

Comments: 27 pages

Journal ref: Kyoto J. Math. 57, no. 2 (2017), 445-474

Gaiotto-Witten superpotential and Whittaker D-modules on monopoles

Authors: Alexander Braverman, Galyna Dobrovolska, Michael Finkelberg

Abstract: 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-Kuznet… ▽ More 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. △ Less

Submitted 12 June, 2015; v1 submitted 25 June, 2014; originally announced June 2014.

Comments: 19 pages, to appear in Advances in Mathematics

Instanton moduli spaces and $\mathscr W$-algebras

Authors: Alexander Braverman, Michael Finkelberg, Hiraku Nakajima

Abstract: 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"). 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"). △ Less

Submitted 25 October, 2016; v1 submitted 9 June, 2014; originally announced June 2014.

Comments: 117 pages; v2, 120 pages, definition of the inner product corrected; v3, 122 pages, definition of hyperbolic semi-smallness is added; v4, 124 pages, edited according to the referee's suggestion; v5, 122 pages, reformatted with smfart.cls so that numberings are the same as published version

MSC Class: 17B69 (Primary); 14D21; 14J60 (Secondary)

Microlocal approach to Lusztig's symmetries

Authors: Michael Finkelberg, Vadim Schechtman

Abstract: We reformulate the De Concini -- Toledano Laredo conjecture about the monodromy of the Casimir connection in terms of a relation between Lusztig's symmetries of quantum group modules and the monodromy in the vanishing cycles of factorizable sheaves. We reformulate the De Concini -- Toledano Laredo conjecture about the monodromy of the Casimir connection in terms of a relation between Lusztig's symmetries of quantum group modules and the monodromy in the vanishing cycles of factorizable sheaves. △ Less

Submitted 25 June, 2022; v1 submitted 23 January, 2014; originally announced January 2014.

Comments: The final published version

Journal ref: "Representation Theory and Algebraic Geometry'', Trends in Mathematics, Birkhäuser (2022), 57--83

Quantization of Drinfeld Zastava in type C

Authors: Michael Finkelberg, Leonid Rybnikov

Abstract: 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$… ▽ More 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 . △ Less

Submitted 24 January, 2014; v1 submitted 23 June, 2013; originally announced June 2013.

Comments: 15 pages. To appear in Algebraic Geometry (2014). arXiv admin note: text overlap with arXiv:1009.0676

Vanishing cycles on Poisson varieties

Authors: Michael Finkelberg, Dmitry Kubrak

Abstract: 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. 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. △ Less

Submitted 12 June, 2015; v1 submitted 13 December, 2012; originally announced December 2012.

Comments: 7 pages

Journal ref: Functional Analysis and its Applications 49, no.2 (2015), 135--141

Wreath Macdonald polynomials and categorical McKay correspondence

Authors: Roman Bezrukavnikov, Michael Finkelberg

Abstract: 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… ▽ More 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. △ Less

Submitted 15 December, 2014; v1 submitted 17 August, 2012; originally announced August 2012.

Comments: Appendix by Vadim Vologodsky. This is a slight modification (correction) of the version to appear in Cambridge Math Journal. The difference is in replacing $λ$ by $^t λ$ and such

Macdonald polynomials, Laumon spaces and perverse coherent sheaves

Authors: Alexander Braverman, Michael Finkelberg, Jun'ichi Shiraishi

Abstract: 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 reso… ▽ More 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. △ Less

Submitted 3 November, 2013; v1 submitted 14 June, 2012; originally announced June 2012.

Comments: 20 pages, to appear in Contemporary Mathematics

Weyl modules and q-Whittaker functions

Authors: Alexander Braverman, Michael Finkelberg

Abstract: 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 p… ▽ More 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. △ Less

Submitted 3 December, 2017; v1 submitted 7 March, 2012; originally announced March 2012.

Comments: 18 pages; v5: Lemmas 3,5, Proposition 4.3 corrected. v6: relations between various versions of definitions of quasimaps spaces and the formal arcs schemes (reduced or non-reduced) are clarified in Sections 2.2, 2.3

Journal ref: Math. Ann. 359 (2014), no.1-2, 45--59

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

Authors: Alexander Braverman, Michael Finkelberg

Abstract: 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… ▽ More 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)). △ Less

Submitted 3 December, 2017; v1 submitted 9 November, 2011; originally announced November 2011.

Comments: 22 pages. v5: relations between various versions of definitions of quasimaps spaces (reduced or non-reduced) are clarified in Section 2.1

Journal ref: JAMS 27 (2014), no. 4, 1147--1168

Symplectic degenerate flag varieties

Authors: Evgeny Feigin, Michael Finkelberg, Peter Littelmann

Abstract: 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 com… ▽ More 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. △ Less

Submitted 7 June, 2011; originally announced June 2011.

Comments: 32 pages

Journal ref: Can. J. Math.-J. Can. Math. 66 (2014) 1250-1286

Degenerate flag varieties of type A: Frobenius splitting and BW theorem

Authors: Evgeny Feigin, Michael Finkelberg

Abstract: 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$-fib… ▽ More 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. △ Less

Submitted 26 September, 2012; v1 submitted 8 March, 2011; originally announced March 2011.

Comments: 27 pages

Pursuing the double affine Grassmannian III: Convolution with affine Zastava

Authors: Alexander Braverman, Michael Finkelberg

Abstract: 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. 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. △ Less

Submitted 26 October, 2012; v1 submitted 18 October, 2010; originally announced October 2010.

Comments: final version, to appear in Moscow Math. Journal

Dynamical Weyl groups and equivariant cohomology of transversal slices in affine Grassmannians

Authors: Alexander Braverman, Michael Finkelberg

Abstract: 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 als… ▽ More 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. △ Less

Submitted 12 July, 2011; v1 submitted 11 October, 2010; originally announced October 2010.

Journal ref: Mathematical Research Letters Volume 18, Issue 3, May 2011 pp. 505-512

Quantization of Drinfeld Zastava in type A

Authors: Michael Finkelberg, Leonid Rybnikov

Abstract: 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 Hamil… ▽ More 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. △ Less

Submitted 21 January, 2014; v1 submitted 3 September, 2010; originally announced September 2010.

Comments: 33 pages