arXiv subjects

Aaron D. Lauda

Publications and source records attributed to Aaron D. Lauda.

At least 37 records · Page 2Linked to original sources

arXiv2019

Parameters in categorified quantum groups

In this note we give explicit isomorphisms of 2-categories between various versions of the categorified quantum group associated to a simply-laced Kac-Moody algebra. These isomorphisms are convenient when working with the categorified quantum group. They make it possible to translate results from the gl(n) variant of the 2-category to the sl(n) variant and transfer results between various conventions in the literature. We also extend isomorphisms of finite type KLR algebras for different choices of parameters to the level of 2-categories.

math.QA↗

arXiv2019

Curved Rickard complexes and link homologies

Rickard complexes in the context of categorified quantum groups can be used to construct braid group actions. We define and study certain natural deformations of these complexes which we call curved Rickard complexes. One application is to obtain deformations of link homologies which generalize those of Batson-Seed arXiv:1303.6240 and Gorsky-Hogancamp arXiv:1712.03938 to arbitrary representations/partitions. Another is to relate the deformed homology defined algebro-geometrically in arXiv:1410.7156 to categorified quantum groups (this was the original motivation for this paper).

math.QA↗

arXiv2017

A DG-extension of symmetric functions arising from higher representation theory

We investigate analogs of symmetric functions arising from an extension of the nilHecke algebra defined by Naisse and Vaz. These extended symmetric functions form a subalgebra of the polynomial ring tensored with an exterior algebra. We define families of bases for this algebra and show that it admits a family of differentials making it a sub-DG-algebra of the extended nilHecke algebra. The ring of extended symmetric functions equipped with this differential is quasi-isomorphic to the cohomology of a Grassmannian. We also introduce new deformed differentials on the extended nilHecke algebra that when restricted makes extended symmetric functions quasi-isomorphic to $GL(N)$-equivariant cohomology of Grassmannians.

math.QA↗

arXiv2017

The colored HOMFLYPT function is $q$-holonomic

We prove that the HOMFLYPT polynomial of a link, colored by partitions with a fixed number of rows is a $q$-holonomic function. Specializing to the case of knots colored by a partition with a single row, it proves the existence of an $(a,q)$ super-polynomial of knots in 3-space, as was conjectured by string theorists. Our proof uses skew Howe duality that reduces the evaluation of web diagrams and their ladders to a Poincare-Birkhoff-Witt computation of an auxiliary quantum group of rank the number of strings of the ladder diagram.

math.GT↗

arXiv2016

The Elliptic Hall algebra and the deformed Khovanov Heisenberg category

We give an explicit description of the trace, or Hochschild homology, of the quantum Heisenberg category defined by Licata and Savage. We also show that as an algebra, it is isomorphic to "half" of a central extension of the elliptic Hall algebra of Burban and Schiffmann, specialized at $σ= \barσ^{-1} = q$. A key step in the proof may be of independent interest: we show that the sum (over $n$) of the Hochschild homologies of the positive affine Hecke algebras $\mathrm{AH}_n^+$ is again an algebra, and that this algebra injects into both the elliptic Hall algebra and the trace of the $q$-Heisenberg category. Finally, we show that a natural action of the trace algebra on the space of symmetric functions agrees with the specialization of an action constructed by Schiffmann and Vasserot using Hilbert schemes.

math.QA↗

arXiv2015

Cyclicity for categorified quantum groups

We equip the categorified quantum group attached to a KLR algebra and an arbitrary choice of scalars with duality functor which is cyclic, that is, such that f=f^** for all 2-morphisms f. This is accomplished via a modified diagrammatic formalism.

math.QA↗

arXiv2015

Trace decategorification of the Hecke category

We compute the trace decategorification of the Hecke category for an arbitrary Coxeter group. More generally, we introduce the notion of a strictly object-adapted cellular category and calculate the trace for such categories.

math.RT↗

arXiv2015

W-algebras from Heisenberg categories

The trace (or zeroth Hochschild homology) of Khovanov's Heisenberg category is identified with a quotient of the algebra W_{1+\infty}. This induces an action of W_{1+\infty} on symmetric functions.

math.QA↗

arXiv2014

Trace as an alternative decategorification functor

Categorification is a process of lifting structures to a higher categorical level. The original structure can then be recovered by means of the so-called "decategorification" functor. Algebras are typically categorified to additive categories with additional structure and decategorification is usually given by the (split) Grothendieck group. In this expository article we study an alternative decategorification functor given by the trace or the zeroth Hochschild--Mitchell homology. We show that this form of decategorification endows any 2-representation of the categorified quantum sl(n) with an action of the current algebra U(sl(n)[t]) on its center.

math.QA↗

arXiv2014

Implicit structure in 2-representations of quantum groups

Given a strong 2-representation of a Kac-Moody Lie algebra (in the sense of Rouquier) we show how to extend it to a 2-representation of categorified quantum groups (in the sense of Khovanov-Lauda). This involves checking certain extra 2-relations which are explicit in the definition by Khovanov-Lauda and, as it turns out, implicit in Rouquier's definition. Some applications are also discussed.

math.QA↗

arXiv2014

Trace decategorification of categorified quantum sl(2)

The trace or the $0$th Hochschild--Mitchell homology of a linear category $\mathcal{C}$ may be regarded as a kind of decategorification of $\mathcal{C}$. We compute traces of the two versions $\dot{\mathcal{U}}$ and $\dot{\mathcal{U}}^*$ of categorified quantum $\mathfrak{sl}_2$ introduced by the third author. One version of the trace coincides with the split Grothendieck group $K_0(\dot{\mathcal{U}})$, which is known to be isomorphic to the the integral idempotented form $\dot{\mathbf{U}}(\mathfrak{sl}_2)$ of quantum $\mathfrak{sl}(2)$. The higher Hochschild--Mitchell homology in this case is zero. The trace of the second version is isomorphic to the idempotented integral form of the current algebra $\mathbf{U}(\mathfrak{sl}_2[t])$.

math.QA↗

arXiv2014

An odd categorification of quantum sl(2)

We define a 2-category that categorifies the covering Kac-Moody algebra for sl(2) introduced by Clark and Wang. This categorification forms the structure of a super-2-category as formulated by Kang, Kashiwara, and Oh. The super-2-category structure introduces a (Z x Z_2)-grading giving its Grothendieck group the structure of a free module over the group algebra of Z x Z_2. By specializing the Z_2-action to +1 or to -1, the construction specializes to an "odd" categorification of sl(2) and to a supercategorification of osp(1|2), respectively.

math.QA↗

arXiv2013

Categorified quantum sl(2) is an inverse limit of flag 2-categories

We prove that categorified quantum sl(2) is an inverse limit of Flag 2-categories defined using cohomology rings of iterated flag varieties. This inverse limit is an instance of a 2-limit in a bicategory giving rise to a universal property that characterizes the categorification of quantum sl(2) uniquely up to equivalence. As an application we characterize all bimodule homomorphisms in the Flag 2-category and prove that the categorified quantum Casimir of sl(2) acts appropriately on these 2-representations.

math.QA↗

arXiv2012

Khovanov homology is a skew Howe 2-representation of categorified quantum sl(m)

We show that Khovanov homology (and its sl(3) variant) can be understood in the context of higher representation theory. Specifically, we show that the combinatorially defined foam constructions of these theories arise as a family of 2-representations of categorified quantum sl(m) via categorical skew Howe duality. Utilizing Cautis-Rozansky categorified clasps we also obtain a unified construction of foam-based categorifications of Jones-Wenzl projectors and their sl(3) analogs purely from the higher representation theory of categorified quantum groups. In the sl(2) case, this work reveals the importance of a modified class of foams introduced by Christian Blanchet which in turn suggest a similar modified version of the sl(3) foam category introduced here.

math.QA↗

arXiv2012

Oddification of the cohomology of type A Springer varieties

We identify the ring of odd symmetric functions introduced by Ellis and Khovanov as the space of skew polynomials fixed by a natural action of the Hecke algebra at q=-1. This allows us to define graded modules over the Hecke algebra at q=-1 that are `odd' analogs of the cohomology of type A Springer varieties. The graded module associated to the full flag variety corresponds to the quotient of the skew polynomial ring by the left ideal of nonconstant odd symmetric functions. The top degree component of the odd cohomology of Springer varieties is identified with the corresponding Specht module of the Hecke algebra at q=-1.

math.RT↗

arXiv2011

The odd nilHecke algebra and its diagrammatics

We introduce an odd version of the nilHecke algebra and develop an odd analogue of the thick diagrammatic calculus for nilHecke algebras. We graphically describe idempotents which give a Morita equivalence between odd nilHecke algebras and the rings of odd symmetric functions in finitely many variables. Cyclotomic quotients of odd nilHecke algebras are Morita equivalent to rings which are odd analogues of the cohomology rings of Grassmannians. Like their even counterparts, odd nilHecke algebras categorify the positive half of quantum sl(2).

math.QA↗

arXiv2011

An introduction to diagrammatic algebra and categorified quantum sl(2)

This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight some of the new structure that arises in categorified quantum groups. The expert will find a discussion of rescalling isomorphisms for categorified quantum sl2, a proof that cyclotomic quotients of the nilHecke algebra are isomorphic to matrix rings over the cohomology ring of Grassmannians, and an interpretation of `fake bubbles' using symmetric functions.

math.QA↗

arXiv2011

Crystals from categorified quantum groups

We study the crystal structure on categories of graded modules over algebras which categorify the negative half of the quantum Kac-Moody algebra associated to a symmetrizable Cartan data. We identify this crystal with Kashiwara's crystal for the corresponding negative half of the quantum Kac-Moody algebra. As a consequence, we show the simple graded modules for certain cyclotomic quotients carry the structure of highest weight crystals, and hence compute the rank of the corresponding Grothendieck group.

math.RT↗