BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We introduce a quantum loop group associated to a general symmetric Cartan matrix, by imposing just enough relations between the usual generators {ei,k,fi,k}i∈I,k∈Z in order for the natural Hopf pairing between the positive and negative halves of the quantum loop group to be perfect. As an application, we describe the localized K-theoretic Hall algebra of any quiver without loops, endowed with a particularly important C∗ action.
We consider the (direct sum over all n of the) K-theory of the semi-nilpotent commuting variety of gln, and describe its convolution algebra structure in two ways: the first as an explicit shuffle algebra (i.e. a particular Z[q1±1,q2±1]-submodule of the equivariant K-theory of a point) and the second as the Z[q1±1,q2±1]-algebra generated by certain elements {Hˉn,d}(n,d)∈N×Z.
We define functors on the derived category of the moduli space M of stable sheaves on a smooth projective surface (under Assumptions A and S below), and prove that these functors satisfy certain relations. These relations allow us to prove that the given functors induce an action of the elliptic Hall algebra on the K-theory of the moduli space M, thus generalizing the action studied by Nakajima, Grojnowski and Baranovsky in cohomology.
We define slope subalgebras in the shuffle algebra associated to a (doubled) quiver, thus yielding a factorization of the universal R-matrix of the double of the shuffle algebra in question. We conjecture that this factorization matches the one defined by [1, 18, 32, 33, 34] using Nakajima quiver varieties.
We compare the (horizontal) trace of the affine Hecke category with the elliptic Hall algebra, thus obtaining an "affine" version of the construction of [14]. Explicitly, we show that the aforementioned trace is generated by the objects Ed=Tr(Y1d1…YndnT1…Tn−1) as d=(d1,…,dn)∈Zn, where Yi denote the Wakimoto objects of [9] and Ti denote Rouquier complexes. We compute certain categorical commutators between the Ed's and show that they match the categorical commutators between the sheaves Ed on the flag commuting stack, that were considered in [27]. At the level of K-theory, these commutators yield a certain integral form A of the elliptic Hall algebra, which we can thus map to the K-theory of the trace of the affine Hecke category.
We consider the R-matrix of the quantum toroidal algebra of type gl_1, both abstractly and in Fock space representations. We provide a survey of a certain point of view on this object which involves the elliptic Hall and shuffle algebras, and show how to obtain certain explicit formulas.
We construct explicit elements Wijk in (a completion of) the shifted quantum toroidal algebra of type A, and show that these elements act by 0 on the K-theory of moduli spaces of parabolic sheaves. We expect that the quotient of the shifted quantum toroidal algebra by the ideal generated by the elements Wijk will be related to q-deformed W-algebras of type A for arbitrary nilpotent, which would imply a q-deformed version of the AGT correspondence between gauge theory with surface operators and conformal field theory.
We prove a conjecture of Kuznetsov stating that the equivariant K-theory of affine Laumon spaces is the universal Verma module for the quantum affine algebra U_q(gl_n^). We do so by reinterpreting the action of the quantum toroidal algebra U_q(gl_n^^) on the K-theory from [14] in terms of the shuffle algebra studied in [12], which constructs an embedding of U_q(gl_n^) into U_q(gl_n^^)
For any natural numbers n,r, we construct an algebra P_n^r via generators and quadratic relations, and show that it deforms the W-algebra of gl_{nr} with respect to a nilpotent with Jordan block decomposition r+...+r. We introduce a surjective morphism from half of the quantum toroidal algebra of gl_n to P_n^r, and show that the action of the quantum toroidal algebra on the K-theory groups of the moduli spaces of parabolic sheaves factors through P_n^r.
The Beauville-Voisin conjecture for a hyperkähler manifold X states that the subring of the Chow ring A^*(X) generated by divisor classes and Chern characters of the tangent bundle injects into the cohomology ring of X. We prove a weak version of this conjecture when X is the Hilbert scheme of points on a K3 surface, for the subring generated by divisor classes and tautological classes. This in particular implies the weak splitting conjecture of Beauville for these geometries. In the process, we extend Lehn's formula and the Li-Qin-Wang W_{1+infinity} algebra action from cohomology to Chow groups, for the Hilbert scheme of an arbitrary smooth projective surface S
In this paper, we prove that the quantum toroidal algebra of gl_n is isomorphic to the double shuffle algebra of Feigin and Odesskii for the cyclic quiver. The shuffle algebra viewpoint will allow us to prove a factorization formula for the universal R-matrix of the quantum toroidal algebra.
We prove that any element in the Chow ring of the Hilbert scheme Hilbn of n points on a smooth surface S is a universal class, i.e. the pushforward of a polynomial in the Chern classes of the universal subscheme on Hilbn×Sk for some k∈N, with coefficients pulled back from the Chow of Sk.
We compute the universal sheaf of moduli spaces M of sheaves on a surface S, as an operator {Symmetric Polynomials} → K(M), thus generalizing the viewpoint of Carlsson-Nekrasov-Okounkov to arbitrary rank and general smooth surfaces.
We prove the connection between the Nekrasov partition function of N=2 super-symmetric U(2) gauge theory with adjoint matter and conformal blocks for the Virasoro algebra, as predicted by the Alday-Gaiotto-Tachikawa relations. Mathematically, this is achieved by relating the Carlsson-Okounkov Ext vector bundle on the moduli space of rank 2 sheaves with Liouville vertex operators.Our approach is geometric in nature, and uses a new method for intersection-theoretic computations of the Ext operator.
The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_{q,t}(sl_n^^), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot. The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_{q,t}(sl_n^^), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_{q}(gl_m^), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_{q,t}(sl_n^^) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.
We consider the construction of refined Chern-Simons torus knot invariants by M. Aganagic and S. Shakirov from the DAHA viewpoint of I. Cherednik. We give a proof of Cherednik's conjecture on the stabilization of superpolynomials, and then use the results of O. Schiffmann and E. Vasserot to relate knot invariants to the Hilbert scheme of points on the plane. Then we use the methods of the second author to compute these invariants explicitly in the uncolored case. We also propose a conjecture relating these constructions to the rational Cherednik algebra, as in the work of the first author, A. Oblomkov, J. Rasmussen and V. Shende. Among the combinatorial consequences of this work is a statement of the m/n shuffle conjecture.
The Pieri rule is an important theorem which explains how the operators e_k of multiplication by elementary symmetric functions act in the basis of Schur functions s_lambda. In this paper, for any rational number m/n, we study the relationship between the rational version e_k^{m/n} of the operators (given by the elliptic Hall algebra) and the "rational" version s_lambda^{m/n} of the basis (given by the Maulik-Okounkov stable basis construction)
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.