Searcharxiv⌕ Search

arXiv subjects

David E. V. Rose

Publications and source records attributed to David E. V. Rose.

At least 19 recordsLinked to original sources
arXiv2026

Type $B$ Webs

We solve the type $B$ case of the main open problem from Kuperberg's 1996 paper "Spiders for rank 2 Lie algebras." That is, we define a $\mathbb{C}(q)$-linear pivotal category $\mathbf{Web}(\mathfrak{so}_{2n+1})$ and prove that it is equivalent to the full subcategory of finite-dimensional representations of $U_q(\mathfrak{so}_{2n+1})$ tensor-generated by the fundamental representations. A consequence of our main result is an explicit construction of braid group symmetries for nonclassical finite-dimensional representations of the $ι$quantum group ${U}^ι_{-q^2}(\mathfrak{so}_m)$, which may be of independent interest.

math.RT↗
arXiv2026

Decreasing subsequences and Viennot for oscillating tableaux

We establish an extension of Viennot's geometric (shadow line) construction to the setting of oscillating tableaux. We then use this to give a new proof of the Type $C$ analogue of Schensted's theorem on longest decreasing subsequences. This pairs with our results from arXiv:2103.14997v1 [math.RT] on Type $C$ webs to give a direct proof of a result of Sundaram and Stanley: that the dimension of the space of invariant vectors in a $2k$-fold tensor product of the vector representation of $\mathfrak{sp}_{2n}$ equals the number of $(n+1)$-avoiding matchings of $2k$ points.

math.CO↗
arXiv2024

Spin Link Homology

We put a new spin on Khovanov--Rozansky homology. That is, we equip $Λ^n$-colored $\mathfrak{sl}_{2n}$ Khovanov--Rozansky homology with an involution whose $\pm 1$-eigenspaces are link invariants. When $n=1,2,3$ (and assuming technical conjectures for $n \geq 4$), we prove that this refined invariant categorifies the spin-colored $\mathfrak{so}_{2n+1}$ quantum link polynomial. Along the way, we partially develop the theory of quantum $\mathfrak{so}_{2n+1}$ webs and make contact with $ι$quantum groups.

math.QA↗
arXiv2024

Bordered invariants from Khovanov homology

To every compact oriented surface that is composed entirely out of 2-dimensional 0- and 1-handles, we construct a dg category using structures arising in Khovanov homology. These dg categories form part of the 2-dimensional layer (a.k.a. modular functor) of a categorified version of the sl(2) Turaev--Viro topological field theory. As a byproduct, we obtain a unified perspective on several hitherto disparate constructions in categorified quantum topology, including the Rozansky--Willis invariants, Asaeda--Przytycki--Sikora homologies for links in thickened surfaces, categorified Jones--Wenzl projectors and associated spin networks, and dg horizontal traces.

math.GT↗
arXiv2022

A Kirby color for Khovanov homology

We construct a Kirby color in the setting of Khovanov homology: an ind-object of the annular Bar-Natan category that is equipped with a natural handle slide isomorphism. Using functoriality and cabling properties of Khovanov homology, we define a Kirby-colored Khovanov homology that is invariant under the handle slide Kirby move, up to isomorphism. Via the Manolescu--Neithalath 2-handle formula, Kirby-colored Khovanov homology agrees with the $\mathfrak{gl}_{2}$ skein lasagna module, hence is an invariant of $4$-dimensional $2$-handlebodies.

math.GT↗
arXiv2021

Link splitting deformation of colored Khovanov--Rozansky homology

We introduce a multi-parameter deformation of the triply-graded Khovanov--Rozansky homology of links colored by one-column Young diagrams, generalizing the "$y$-ified" link homology of Gorsky--Hogancamp and work of Cautis--Lauda--Sussan. For each link component, the natural set of deformation parameters corresponds to interpolation coordinates on the Hilbert scheme of the plane. We extend our deformed link homology theory to braids by introducing a monoidal dg 2-category of curved complexes of type $A$ singular Soergel bimodules. Using this framework, we promote to the curved setting the categorical colored skein relation from arXiv:2107.08117 and also the notion of splitting map for the colored full twists on two strands. As applications, we compute the invariants of colored Hopf links in terms of ideals generated by Haiman determinants and use these results to establish general link splitting properties for our deformed, colored, triply-graded link homology. Informed by this, we formulate several conjectures that have implications for the relation between (colored) Khovanov--Rozansky homology and Hilbert schemes.

math.GT↗
arXiv2021

A skein relation for singular Soergel bimodules

We study the skein relation that governs the HOMFLYPT invariant of links colored by one-column Young diagrams. Our main result is a categorification of this colored skein relation. This takes the form of a homotopy equivalence between two one-sided twisted complexes constructed from Rickard complexes of singular Soergel bimodules associated to braided webs. Along the way, we prove a conjecture of Beliakova--Habiro relating the colored 2-strand full twist complex with the categorical ribbon element for quantum $\mathfrak{sl}_2$.

math.QA↗
arXiv2021

Type $C$ Webs

We define a $\mathbb{C}(q)$-linear pivotal category $\mathbf{Web}(\mathfrak{sp}_{2n})$ and prove that it is equivalent to the full subcategory of finite-dimensional representations of $U_q(\mathfrak{sp}_{2n})$ tensor-generated by the fundamental representations. This answers the type $C$ case of the main open problem from Kuperberg's 1996 paper "Spiders for rank 2 Lie algebras" (arXiv:q-alg/9712003).

math.RT↗
arXiv2020

On webs in quantum type $C$

We study webs in quantum type $C$, focusing on the rank three case. We define a linear pivotal category $\mathbf{Web}(\mathfrak{sp}_6)$ diagrammatically by generators and relations, and conjecture that it is equivalent to the category $\mathbf{FundRep}(U_q(\mathfrak{sp}_6))$ of quantum $\mathfrak{sp}_6$ representations generated by the fundamental representations, for generic values of the parameter $q$. We prove a number of results in support of this conjecture, most notably that there is a full, essentially surjective functor $\mathbf{Web}(\mathfrak{sp}_6) \rightarrow \mathbf{FundRep}(U_q(\mathfrak{sp}_6))$, that all $\mathrm{Hom}$-spaces in $\mathbf{Web}(\mathfrak{sp}_6)$ are finite-dimensional, and that the endomorphism algebra of the monoidal unit in $\mathbf{Web}(\mathfrak{sp}_6)$ is $1$-dimensional. The latter corresponds to the statement that all closed webs can be evaluated to scalars using local relations; as such, we obtain a new approach to the quantum $\mathfrak{sp}_6$ link invariants, akin to the Kauffman bracket description of the Jones polynomial.

math.QA↗
arXiv2019

HOMFLYPT homology for links in handlebodies via type A Soergel bimodules

We define a triply-graded invariant of links in a genus g handlebody, generalizing the colored HOMFLYPT (co)homology of links in the 3-ball. Our main tools are the description of these links in terms of a subgroup of the classical braid group, and a family of categorical actions built from complexes of (singular) Soergel bimodules.

math.QA↗
arXiv2018

Symmetric webs, Jones-Wenzl recursions and $q$-Howe duality

We define and study the category of symmetric $\mathfrak{sl}_2$-webs. This category is a combinatorial description of the category of all finite dimensional quantum $\mathfrak{sl}_2$-modules. Explicitly, we show that (the additive closure of) the symmetric $\mathfrak{sl}_2$-spider is (braided monoidally) equivalent to the latter. Our main tool is a quantum version of symmetric Howe duality. As a corollary of our construction, we provide new insight into Jones-Wenzl projectors and the colored Jones polynomials.

math.QA↗
arXiv2018

Annular Evaluation and Link Homology

We use categorical annular evaluation to give a uniform construction of both $\mathfrak{sl}_n$ and HOMFLYPT Khovanov-Rozansky link homology, as well as annular versions of these theories. Variations on our construction yield $\mathfrak{gl}_{-n}$ link homology, i.e. a link homology theory associated to the Lie superalgebra $\mathfrak{gl}_{0|n}$, both for links in $S^3$ and in the thickened annulus. In the $n=2$ case, this produces a categorification of the Jones polynomial that we show is distinct from Khovanov homology, and gives a finite-dimensional categorification of the colored Jones polynomial. This behavior persists for general $n$. Our approach yields simple constructions of spectral sequences relating these theories, and emphasizes the roles of super vector spaces, categorical traces, and current algebras in link homology.

math.GT↗
arXiv2015

Sutured annular Khovanov-Rozansky homology

We introduce an sl(n) homology theory for knots and links in the thickened annulus. To do so, we first give a fresh perspective on sutured annular Khovanov homology, showing that its definition follows naturally from trace decategorifications of enhanced sl(2) foams and categorified quantum gl(m), via classical skew Howe duality. This framework then extends to give our annular sl(n) link homology theory, which we call sutured annular Khovanov-Rozansky homology. We show that the sl(n) sutured annular Khovanov-Rozansky homology of an annular link carries an action of the Lie algebra sl(n), which in the n=2 case recovers a result of Grigsby-Licata-Wehrli.

math.QA↗
arXiv2015

Deformations of colored sl(N) link homologies via foams

We generalize results of Lee, Gornik and Wu on the structure of deformed colored sl(N) link homologies to the case of non-generic deformations. To this end, we use foam technology to give a completely combinatorial construction of Wu's deformed colored sl(N) link homologies. By studying the underlying deformed higher representation theoretic structures and generalizing the Karoubi envelope approach of Bar-Natan and Morrison we explicitly compute the deformed invariants in terms of undeformed type A link homologies of lower rank and color.

math.GT↗
arXiv2014

A Categorification of Quantum sl_3 Projectors and the sl_3 Reshetikhin-Turaev Invariant of Tangles

We construct a categorification of the quantum sl_3 projectors, the sl_3 analog of the Jones-Wenzl projectors, as the stable limit of the complexes assigned to k-twist torus braids (as k goes to infinity) in a suitably shifted version of Morrison and Nieh's geometric formulation of sl_3 link homology (math.GT/0612754). We use these projectors to give a categorification of the sl_3 Reshetikhin-Turaev invariant of framed tangles.

math.GT↗
arXiv2014

The $\mathfrak{sl}_n$ foam 2-category: a combinatorial formulation of Khovanov-Rozansky homology via categorical skew Howe duality

We give a purely combinatorial construction of colored $\mathfrak{sl}_n$ link homology. The invariant takes values in a 2-category where 2-morphisms are given by foams, singular cobordisms between $\mathfrak{sl}_n$ webs; applying a (TQFT-like) representable functor recovers (colored) Khovanov-Rozansky homology. Novel features of the theory include the introduction of `enhanced' foam facets which fix sign issues associated with the original matrix factorization formulation and the use of skew Howe duality to show that (enhanced) closed foams can be evaluated in a completely combinatorial manner. The latter answers a question posed in math.GT/0708.2228.

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↗