arXiv subjects
Publications and source records attributed to Michael Finkelberg.
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.
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.
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 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.
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$.
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 prove a localization theorem for the type A rational Cherednik algebra H_c=H_{1,c} over an algebraic closure of the finite field F_p. In the most interesting special case where the parameter c takes values in F_p, we construct an Azumaya algebra A_c on Hilb^n, the Hilbert scheme of n points in the plane, such that the algebra of global sections of A_c is isomorphic to H_c. Our localisation theorem provides an equivalence between the bounded derived categories of H_c-modules and sheaves of coherent A_c-modules on the Hilbert scheme, respectively. Furthermore, we show that the Azumaya algebra splits on the formal completion of each fiber of the Hilbert-Chow morphism. This provides a link between our results and those of Bridgeland-King-Reid and Haiman.
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.
We apply the dimension theory developed in [BKV] to establish some of Lusztig's conjectures [Lu].
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 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.
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).
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.
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 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.
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$.
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.
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.