Searcharxiv⌕ Search

arXiv subjects

Joel Kamnitzer

Publications and source records attributed to Joel Kamnitzer.

At least 37 records · Page 2Linked to original sources
arXiv2017

Categorical geometric symmetric Howe duality

We provide a natural geometric setting for symmetric Howe duality. This is realized as a (loop) sl(n) action on derived categories of coherent sheaves on certain varieties arising in the geometry of the Beilinson-Drinfeld Grassmannian. The main construction parallels our earlier work on categorical sl(n) actions and skew Howe duality. In that case the varieties involved arose in the geometry of the affine Grassmannian. We discuss some relationships between the two actions.

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↗
arXiv2017

Quantum K-theoretic geometric Satake

The geometric Satake correspondence gives an equivalence of categories between the representations of a semisimple group $ G $ and the spherical perverse sheaves on the affine Grassmannian $Gr$ of its Langlands dual group. Bezrukavnikov-Finkelberg developed a derived version of this equivalence which relates the derived category of $ G^\vee$-equivariant constructible sheaves on $ Gr $ with the category of $G$-equivariant ${\mathcal O}(\mathfrak g)$-modules. In this paper, we develop a K-theoretic version of the derived geometric Satake which involves the quantum group $ U_q \mathfrak g $. We define a convolution category $ KConv(Gr) $ whose morphism spaces are given by the $ G^\vee \times \mathbb C^\times $-equivariant algebraic K-theory of certain fibre products. We conjecture that $KConv(Gr)$ is equivalent to a full subcategory of the category of $ U_q \mathfrak g $-equivariant $ \mathcal O_q(G) $-modules. We prove this conjecture when $G = SL_n$. A key tool in our proof is the $SL_n$ spider, which is a combinatorial description of the category of $U_q \mathfrak{sl}_n$ representations. By applying horizontal trace, we show that the annular $SL_n$ spider describes the category of $ U_q \mathfrak{sl}_n $-equivariant $ \mathcal O_q(SL_n) $-modules. Then we use quantum loop algebras to relate the annular $SL_n $ spider to $ KConv(Gr) $. This gives a combinatorial/diagrammatic description of both categories and proves our conjecture.

math.RT↗
arXiv2016

Reducedness of affine Grassmannian slices in type A

We prove in type A a conjecture which describes the ideal of transversal slices to spherical Schubert varieties in the affine Grassmannian. As a corollary, we prove a modular description (due to Finkelberg-Mirković) of the spherical Schubert varieties.

math.RT↗
arXiv2016

On a reducedness conjecture for spherical Schubert varieties and slices in the affine Grassmannian

We study spherical Schubert varieties in the affine Grassmannian. These Schubert varieties have a natural conjectural modular description due to Finkelberg-Mirković. This modular description is easily seen to be set-theoretically correct, but it is not obviously scheme-theoretically correct. We prove that this modular description is correct in many cases. We also link this modular description to the reducedness conjecture from Kamnitzer-Webster-Weekes-Yacobi for tranverse slices in the affine Grassmannian.

math.RT↗
arXiv2014

Knot homology via derived categories of coherent sheaves IV, coloured links

We define a deformation of our earlier link homologies for fundamental representations of sl_m. The deformed homology of a link is isomorphic to the deformed homology of the disjoint union of its components. Moreover, there exists a spectral sequence starting with the old homology and converging to this deformed homology.

math.AG↗
arXiv2014

Webs and quantum skew Howe duality

We give a diagrammatic presentation in terms of generators mod relations of the representation category of $U_q(\mathfrak{sl}_n)$. More precisely, we produce all the relations among $\rm{SL}_n$-webs, thus describing the full subcategory tensor-generated by fundamental representations $\bigwedge^k \mathbb{C}^n$ (this subcategory can be idempotent completed to recover the entire representation category). Our result answers a question posed by Kuperberg [arXiv:q-alg/9712003] and affirms conjectures of Kim [arXiv:math.QA/0310143] and Morrison [arXiv:0704.1503]. Our main tool is an application of quantum skew Howe duality.

math.RT↗
arXiv2014

A combinatorial geometric Satake equivalence

The geometric Satake correspondence provides an equivalence of categories between the Satake category of spherical perverse sheaves on the affine Grassmannian and the category of representations of the dual group. In this note, we define a combinatorial version of the Satake category using irreducible components of fibres of the convolution morphism. We then prove an equivalence of coboundary categories between this combinatorial Satake category and the category of crystals of the dual group.

math.RT↗
arXiv2013

Categorification of Lie algebras [d'apres Rouquier, Khovanov-Lauda]

Given a vector space with an action of a semi-simple Lie algebra, we can try to "categorify" this representation, which means finding a category where the generators of the Lie algebra act by functors. Such categorical representations arise naturally in geometric representation theory and in modular representation theory of symmetric groups. A framework for studying categorical representations was introduced by Rouquier and Khovanov-Lauda. Their definitions are algebraic/diagrammatic, but are connected to the topology of quiver varieties by the work of Rouquier and Varagnolo-Vasserot. In this paper, we give a survey of the above circle of ideas.

math.QA↗
arXiv2013

Affine Mirković-Vilonen polytopes

Each integrable lowest weight representation of a symmetrizable Kac-Moody Lie algebra g has a crystal in the sense of Kashiwara, which describes its combinatorial properties. For a given g, there is a limit crystal, usually denoted by B(-\infty), which contains all the other crystals. When g is finite dimensional, a convex polytope, called the Mirković-Vilonen polytope, can be associated to each element in B(-\infty). This polytope sits in the dual space of a Cartan subalgebra of g, and its edges are parallel to the roots of g. In this paper, we generalize this construction to the case where g is a symmetric affine Kac-Moody algebra. The datum of the polytope must however be complemented by partitions attached to the edges parallel to the imaginary root δ. We prove that these decorated polytopes are characterized by conditions on their normal fans and on their 2-faces. In addition, we discuss how our polytopes provide an analog of the notion of Lusztig datum for affine Kac-Moody algebras. Our main tool is an algebro-geometric model for B(-\infty) constructed by Lusztig and by Kashiwara and Saito, based on representations of the completed preprojective algebra Λ of the same type as g. The underlying polytopes in our construction are described with the help of Buan, Iyama, Reiten and Scott's tilting theory for the category Λ-mod. The partitions we need come from studying the category of semistable Λ-modules of dimension-vector a multiple of δ.

math.RT↗
arXiv2013

Yangians and quantizations of slices in the affine Grassmannian

We study quantizations of transverse slices to Schubert varieties in the affine Grassmannian. The quantization is constructed using quantum groups called shifted Yangians --- these are subalgebras of the Yangian we introduce which generalize the Brundan-Kleshchev shifted Yangian to arbitrary type. Building on ideas of Gerasimov-Kharchev-Lebedev-Oblezin, we prove that a quotient of the shifted Yangian quantizes a scheme supported on the transverse slices, and we formulate a conjectural description of the defining ideal of these slices which implies that the scheme is reduced. This conjecture also implies the conjectural quantization of the Zastava spaces for PGL(n) of Finkelberg-Rybnykov.

math.RA↗
arXiv2012

Buildings, spiders, and geometric Satake

Let G be a simple algebraic group. Labelled trivalent graphs called webs can be used to product invariants in tensor products of minuscule representations. For each web, we construct a configuration space of points in the affine Grassmannian. Via the geometric Satake correspondence, we relate these configuration spaces to the invariant vectors coming from webs. In the case G = SL(3), non-elliptic webs yield a basis for the invariant spaces. The non-elliptic condition, which is equivalent to the condition that the dual diskoid of the web is CAT(0), is explained by the fact that affine buildings are CAT(0).

math.QA↗
arXiv2012

Cyclic sieving, rotation, and geometric representation theory

We study rotation of invariant vectors in tensor products of minuscule representations. We define a combinatorial notion of rotation of minuscule Littelmann paths. Using affine Grassmannians, we show that this rotation action is realized geometrically as rotation of components of the Satake fibre. As a consequence, we have a basis for invariant spaces which is permuted by rotation (up to global sign). Finally, we diagonalize the rotation operator by showing that its eigenspaces are given by intersection homology of quiver varieties. As a consequence, we generalize Rhoades' work on the cyclic sieving phenomenon.

math.RT↗
arXiv2012

Réflexions dans un cristal

Let g = n^- + h + n^+ be a symmetrizable Kac-Moody algebra. Let B(\infty) be the Kashiwara crystal of U_q(n^-), let λbe a dominant integral weight, let T_λ= {t_λ} be the crystal with one element of weight λ, and let B(λ) \subset B(\infty) \otimes T_λbe the crystal of the integrable representation of highest weight λ. We compute the descending string parameters of an element b \otimes t_λin B(λ) in terms of the Lusztig parameters of b.

math.RT↗
arXiv2012

Rank 2 affine MV polytopes

We give a realization of the infinity crystal for affine sl(2) using decorated polygons. The construction and proof are combinatorial, making use of Kashiwara and Saito's characterization of the infinity crystal in terms of the * involution. The polygons we use have combinatorial properties suggesting they are the analogues in this case of the Mirkovic-Vilonen polytopes defined by Anderson and the third author in finite type. Using Kashiwara's similarity of crystals we also give MV polytopes for $A_2^{(2)}$, the only other rank two affine Kac-Moody algebra.

math.CO↗
arXiv2011

Braiding via geometric Lie algebra actions

We introduce the idea of a geometric categorical Lie algebra action on derived categories of coherent sheaves. The main result is that such an action induces an action of the braid group associated to the Lie algebra. The same proof shows that strong categorical actions in the sense of Khovanov-Lauda and Rouquier also lead to braid group actions. As an example, we construct a braid group action on derived categories of coherent sheaves on cotangent bundles to partial flag varieties.

math.AG↗
arXiv2011

Coherent Sheaves on Quiver Varieties and Categorification

We construct geometric categorical Lie algebra actions on the derived category of coherent sheaves on Nakajima quiver varieties. These actions categorify Nakajima's construction of Kac-Moody algebra representations on the K-theory of quiver varieties. We define an induced affine braid group action on these derived categories.

math.AG↗