Showing 1–41 of 41 results for author: Vaz, P

On detection probabilities of link invariants

Authors: Abel Lacabanne, Daniel Tubbenhauer, Pedro Vaz, Victor L. Zhang

Abstract: We prove that the detection rate of n-crossing alternating links by link invariants insensitive to oriented mutation decays exponentially in n, implying that they detect alternating links with probability zero. This phenomenon applies broadly, in particular to quantum invariants such as the Jones or HOMFLYPT polynomials. We also use a big data approach to analyze several borderline cases (e.g. int… ▽ More We prove that the detection rate of n-crossing alternating links by link invariants insensitive to oriented mutation decays exponentially in n, implying that they detect alternating links with probability zero. This phenomenon applies broadly, in particular to quantum invariants such as the Jones or HOMFLYPT polynomials. We also use a big data approach to analyze several borderline cases (e.g. integral Khovanov or HOMFLYPT homologies), where our arguments almost, but not quite, apply, and we provide evidence that they too exhibit the same asymptotic behavior. △ Less

Submitted 5 September, 2025; originally announced September 2025.

Comments: 16 pages, many figures, comments welcome

MSC Class: Primary: 57K16; 62R07; secondary: 57K18; 68P05

A basis and Schur-Weyl duality for the loop Hecke algebra

Authors: Geoffrey Janssens, Abel Lacabanne, Léo Schelstraete, Pedro Vaz

Abstract: The loop Hecke algebra is a generalization of the Hecke algebra to the loop braid group, introduced by Damiani, Martin and Rowell. We give a new presentation of the loop Hecke algebra provided a mild condition on the parameter and give a basis. We use higher linear rewriting theory to show linear independence and the combinatorics of Dyck paths to compute the cardinality of the basis. This yields… ▽ More The loop Hecke algebra is a generalization of the Hecke algebra to the loop braid group, introduced by Damiani, Martin and Rowell. We give a new presentation of the loop Hecke algebra provided a mild condition on the parameter and give a basis. We use higher linear rewriting theory to show linear independence and the combinatorics of Dyck paths to compute the cardinality of the basis. This yields a conjecture of Damiani-Martin-Rowel. We also give a representation theoretic interpretation of the loop Hecke algebra in terms of (non-semisimple) Schur-Weyl duality involving the negative half of quantum $\mathfrak{gl}_{1|1}$. △ Less

Submitted 17 July, 2025; originally announced July 2025.

Comments: 47 pages, comments welcome!

Report number: MPIM-Bonn-2025 MSC Class: 20C08; 20F36; 17B37; 16T99; 16S15

Induction for extended affine type A Soergel bimodules from a maximal parabolic

Authors: Marco Mackaay, Vanessa Miemietz, Pedro Vaz

Abstract: In this paper we take a first step towards the categorification of the Zelevinsky tensor product of finite dimensional representations of extended affine type A Hecke algebras. In this paper we take a first step towards the categorification of the Zelevinsky tensor product of finite dimensional representations of extended affine type A Hecke algebras. △ Less

Submitted 3 July, 2025; originally announced July 2025.

Comments: 91 pages, lots of pictures, comments welcome

Big data approach to Kazhdan-Lusztig polynomials

Authors: Abel Lacabanne, Daniel Tubbenhauer, Pedro Vaz

Abstract: We investigate the structure of Kazhdan-Lusztig polynomials of the symmetric group by leveraging computational approaches from big data, including exploratory and topological data analysis, applied to the polynomials for symmetric groups of up to 11 strands. We investigate the structure of Kazhdan-Lusztig polynomials of the symmetric group by leveraging computational approaches from big data, including exploratory and topological data analysis, applied to the polynomials for symmetric groups of up to 11 strands. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Comments: 22 pages, many figures, comments welcome

MSC Class: Primary: 05E10; 62R07; secondary: 20C08; 68P05

Evaluation 2-Functors for Kac-Moody 2-Categories of Type A2

Authors: Marco Mackaay, James Macpherson, Pedro Vaz

Abstract: We construct a 2-functor from the Kac-Moody 2-category for the extended quantum affine sl(3) to the homotopy 2-category of bounded chain complexes with values in the Kac-Moody 2-category for quantum gl(3), categorifying the evaluation map between the corresponding quantum Kac-Moody algebras. We construct a 2-functor from the Kac-Moody 2-category for the extended quantum affine sl(3) to the homotopy 2-category of bounded chain complexes with values in the Kac-Moody 2-category for quantum gl(3), categorifying the evaluation map between the corresponding quantum Kac-Moody algebras. △ Less

Submitted 10 November, 2024; v1 submitted 16 September, 2024; originally announced September 2024.

Comments: 32 pages, lots of figures, comments welcome. V2: Corrected a set of sign errors and accordingly slightly altered main proof

MSC Class: 17B67; 20G42

On Hecke and asymptotic categories for complex reflection groups

Authors: Abel Lacabanne, Daniel Tubbenhauer, Pedro Vaz

Abstract: Generalizing the dihedral picture for G(M,M,2), we construct Hecke algebras (and categories) and asymptotic counterparts. We think of these as associated with the complex reflection group G(M,M,N). Generalizing the dihedral picture for G(M,M,2), we construct Hecke algebras (and categories) and asymptotic counterparts. We think of these as associated with the complex reflection group G(M,M,N). △ Less

Submitted 2 September, 2024; originally announced September 2024.

Comments: 35 pages, many figures, comments welcome

MSC Class: Primary: 17B37; 20C08; Secondary: 18M15; 20F55

Two-row Delta Springer varieties

Authors: Abel Lacabanne, Pedro Vaz, Arik Wilbert

Abstract: We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer varie… ▽ More We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer variety and compare it to the ordinary two-row Springer fiber as well as Kato's exotic Springer fiber corresponding to a one-row bipartition. In addition to that, we extend the action of the symmetric group on the homology of the two-row $Δ$-Springer variety to an action of a degenerate affine Hecke algebra and relate this action to a $\mathfrak{gl}_{2}$-tensor space. △ Less

Submitted 24 April, 2025; v1 submitted 15 July, 2024; originally announced July 2024.

Comments: v1: 32 pages, many figures, comments welcome; v2: 33 pages, many figures, reviewed version accepted in Algebraic Combinatorics, Theorem 4.1 was wrong and replaced by a counterexample

MSC Class: Primary: 14M15; Secondary: 05E10; 20C08

Journal ref: Algebr. Comb. 8(4) (2025), 925-953

Asymptotics in infinite monoidal categories

Authors: Abel Lacabanne, Daniel Tubbenhauer, Pedro Vaz

Abstract: We discuss formulas for the asymptotic growth rate of the number of summands in tensor powers in certain (finite or infinite) monoidal categories. Our focus is on monoidal categories with infinitely many indecomposable objects, with our main tools being generalized Perron-Frobenius theory alongside techniques from random walks. We discuss formulas for the asymptotic growth rate of the number of summands in tensor powers in certain (finite or infinite) monoidal categories. Our focus is on monoidal categories with infinitely many indecomposable objects, with our main tools being generalized Perron-Frobenius theory alongside techniques from random walks. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: 19 pages, many figures, comments welcome

MSC Class: Primary: 11N45; 18M05; Secondary: 05C81; 15A18; 20C20

Odd Khovanov homology and higher representation theory

Authors: Léo Schelstraete, Pedro Vaz

Abstract: We define a supercategorification of the $q$-Schur algebra of level two and an odd analogue of $\mathfrak{gl}_2$-foams. Using these constructions, we define a homological invariant of tangles, and show that it coincides with odd Khovanov homology when restricted to links. This gives a representation theoretic construction of odd Khovanov homology. In the process, we define a tensor product on the… ▽ More We define a supercategorification of the $q$-Schur algebra of level two and an odd analogue of $\mathfrak{gl}_2$-foams. Using these constructions, we define a homological invariant of tangles, and show that it coincides with odd Khovanov homology when restricted to links. This gives a representation theoretic construction of odd Khovanov homology. In the process, we define a tensor product on the category of chain complexes in super-2-categories which is compatible with homotopies. This could be of independent interest. △ Less

Submitted 4 March, 2024; v1 submitted 24 November, 2023; originally announced November 2023.

Comments: 60 pages, multiple colored figures, comments welcome!; v2: Corrected typos

Enhanced nilHecke algebras and baby Verma modules

Authors: Elia Rizzo, Pedro Vaz

Abstract: We define a derivation on the enhanced nilHecke algebra yielding a p-dg algebra when working over a field of characteristic p. We define functors on the category of p-dg modules resulting in an action of small quantum sl2 on the Grothendieck group, which is isomorphic to a baby Verma module. We upgrade the derivation into an action of the Lie algebra sl(2). We define a derivation on the enhanced nilHecke algebra yielding a p-dg algebra when working over a field of characteristic p. We define functors on the category of p-dg modules resulting in an action of small quantum sl2 on the Grothendieck group, which is isomorphic to a baby Verma module. We upgrade the derivation into an action of the Lie algebra sl(2). △ Less

Submitted 1 October, 2024; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: v2, accepted for publication in Tunis. J. Math. v1, 41 pages, Comments welcome

Journal ref: Tunisian J. Math. 7 (2025) 91-130

Asymptotics in finite monoidal categories

Authors: Abel Lacabanne, Daniel Tubbenhauer, Pedro Vaz

Abstract: We give explicit formulas for the asymptotic growth rate of the number of summands in tensor powers in certain monoidal categories with finitely many indecomposable objects, and related structures. We give explicit formulas for the asymptotic growth rate of the number of summands in tensor powers in certain monoidal categories with finitely many indecomposable objects, and related structures. △ Less

Submitted 9 November, 2023; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: 10 pages, many figures, revision, comments welcome

MSC Class: Primary: 11N45; 18M05; Secondary: 16T05; 18M20; 26A12

Journal ref: Proc. Amer. Math. Soc. Ser. B 10 (2023), 398-412

A formula to evaluate type A webs and link polynomials

Authors: Abel Lacabanne, Daniel Tubbenhauer, Pedro Vaz

Abstract: We give a closed formula to evaluate exterior webs (also called MOY webs) and the associated Reshetikhin-Turaev link polynomials. We give a closed formula to evaluate exterior webs (also called MOY webs) and the associated Reshetikhin-Turaev link polynomials. △ Less

Submitted 3 June, 2024; v1 submitted 25 September, 2022; originally announced September 2022.

Comments: 12 pages, many figures, comments welcome, revised version

MSC Class: Primary: 18M15; Secondary: 17B37; 18N25; 57K14

Journal ref: Ark. Mat. 62 (2024), no. 1, 83-101

Verma Howe duality and LKB representations

Authors: Abel Lacabanne, Daniel Tubbenhauer, Pedro Vaz

Abstract: We establish a version of Howe duality that involves a tensor product of Verma modules. Surprisingly, this duality leaves the realm of lowest and highest weight modules. We quantize this duality, and as an application, we prove that the (colored higher) LKB representations arise from this duality and use this description to show that they are simple as modules for the braid group and for various… ▽ More We establish a version of Howe duality that involves a tensor product of Verma modules. Surprisingly, this duality leaves the realm of lowest and highest weight modules. We quantize this duality, and as an application, we prove that the (colored higher) LKB representations arise from this duality and use this description to show that they are simple as modules for the braid group and for various of its subgroups, including the pure braid group. △ Less

Submitted 9 December, 2022; v1 submitted 19 July, 2022; originally announced July 2022.

Comments: 24 pages, many figures, substantial revision with improved results, comments welcome

MSC Class: Primary: 17B10; 17B37; Secondary: 20C15; 20F36

Evaluation birepresentations of affine type A Soergel bimodules

Authors: M. Mackaay, V. Miemietz, P. Vaz

Abstract: In this paper, we use Soergel calculus to define a monoidal functor, called the evaluation functor, from extended affine type A Soergel bimodules to the homotopy category of bounded complexes in finite type A Soergel bimodules. This functor categorifies the well-known evaluation homomorphism from the extended affine type A Hecke algebra to the finite type A Hecke algebra. Through it, one can pull… ▽ More In this paper, we use Soergel calculus to define a monoidal functor, called the evaluation functor, from extended affine type A Soergel bimodules to the homotopy category of bounded complexes in finite type A Soergel bimodules. This functor categorifies the well-known evaluation homomorphism from the extended affine type A Hecke algebra to the finite type A Hecke algebra. Through it, one can pull back the triangulated birepresentation induced by any finitary birepresentation of finite type A Soergel bimodules to obtain a triangulated birepresentation of extended affine type A Soergel bimodules. We show that if the initial finitary birepresentation in finite type A is a cell birepresentation, the evaluation birepresentation in extended affine type A has a finitary cover, which we illustrate by working out the case of cell birepresentations with subregular apex in detail. △ Less

Submitted 7 November, 2023; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: 61 pages, lots of colored pictures. v2, accepted version

Odd two-variable Soergel bimodules and Rouquier complexes

Authors: Mikhail Khovanov, Krzysztof Putyra, Pedro Vaz

Abstract: We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a larger Grothendieck ring compared to the even case. We establish biadjointness of suitable functors and develop graphical calculi in the 2-variable case for the… ▽ More We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a larger Grothendieck ring compared to the even case. We establish biadjointness of suitable functors and develop graphical calculi in the 2-variable case for the odd Soergel category and the related singular Soergel 2-category. We describe the odd analogue of the Rouquier complexes and establish their invertibility in the homotopy category. For three variables, the absence of a direct sum decomposition of the tensor product of generating Soergel bimodules presents an obstacle for the Reidemeister III relation to hold in the homotopy category. △ Less

Submitted 6 February, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: v3. Fixed some misprints. v2. 20 pages, figures in color, minor changes, integrated referee comments (including the name of the paper)

MSC Class: 18M30; 18N25; 16D20

Annular webs and Levi subalgebras

Authors: Abel Lacabanne, Daniel Tubbenhauer, Pedro Vaz

Abstract: For any Levi subalgebra of the form $\mathfrak{l}=\mathfrak{gl}_{l_{1}}\oplus\dots\oplus\mathfrak{gl}_{l_{d}}\subseteq\mathfrak{gl}_{n}$ we construct a quotient of the category of annular quantum $\mathfrak{gl}_{n}$ webs that is equivalent to the category of finite dimensional representations of quantum $\mathfrak{l}$ generated by exterior powers of the vector representation. This can be interpret… ▽ More For any Levi subalgebra of the form $\mathfrak{l}=\mathfrak{gl}_{l_{1}}\oplus\dots\oplus\mathfrak{gl}_{l_{d}}\subseteq\mathfrak{gl}_{n}$ we construct a quotient of the category of annular quantum $\mathfrak{gl}_{n}$ webs that is equivalent to the category of finite dimensional representations of quantum $\mathfrak{l}$ generated by exterior powers of the vector representation. This can be interpreted as an annular version of skew Howe duality, gives a description of the representation category of $\mathfrak{l}$ by additive idempotent completion, and a web version of the generalized blob algebra. △ Less

Submitted 9 November, 2023; v1 submitted 2 April, 2022; originally announced April 2022.

Comments: 27 pages, many figures, revision, comments welcome

MSC Class: Primary: 17B37 Secondary: 18M05; 18M15; 20C08

Journal ref: J. Comb. Algebra 7 (2023), no. 3/4, pp. 283-326

Handlebody diagram algebras

Authors: Daniel Tubbenhauer, Pedro Vaz

Abstract: In this paper we study handlebody versions of some classical diagram algebras, most prominently, handlebody versions of Temperley-Lieb, blob, Brauer, BMW, Hecke and Ariki-Koike algebras. Moreover, motivated by Green-Kazhdan-Lusztig's theory of cells, we reformulate the notion of (sandwich, inflated or affine) cellular algebras. We explain this reformulation and how all of the above algebras are pa… ▽ More In this paper we study handlebody versions of some classical diagram algebras, most prominently, handlebody versions of Temperley-Lieb, blob, Brauer, BMW, Hecke and Ariki-Koike algebras. Moreover, motivated by Green-Kazhdan-Lusztig's theory of cells, we reformulate the notion of (sandwich, inflated or affine) cellular algebras. We explain this reformulation and how all of the above algebras are part of this theory. △ Less

Submitted 10 July, 2022; v1 submitted 14 May, 2021; originally announced May 2021.

Comments: 45 pages, lots of figures, revision following referees comments, to appear in Rev. Mat. Iberoam, comments welcome

MSC Class: Primary: 16G99; Secondary: 18M30; 20C08; 20F36; 57K14

Journal ref: Rev. Mat. Iberoam. 39 (2023), no. 3, 845-896

Tensor product categorifications, Verma modules and the blob 2-category

Authors: Abel Lacabanne, Grégoire Naisse, Pedro Vaz

Abstract: We construct a dg-enhancement of KLRW algebras that categorifies the tensor product of a universal $\mathfrak{sl}_2$ Verma module and several integrable irreducible modules. When the integrable modules are two-dimensional, we construct a categorical action of the blob algebra on derived categories of these dg-algebras which intertwines the categorical action of $\mathfrak{sl}_2$. From the above we… ▽ More We construct a dg-enhancement of KLRW algebras that categorifies the tensor product of a universal $\mathfrak{sl}_2$ Verma module and several integrable irreducible modules. When the integrable modules are two-dimensional, we construct a categorical action of the blob algebra on derived categories of these dg-algebras which intertwines the categorical action of $\mathfrak{sl}_2$. From the above we derive a categorification of the blob algebra. △ Less

Submitted 2 November, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: v2, 88 pages, reviewed version

Report number: MPIM-Bonn-2020

Journal ref: Quantum Topol. 12 (2021), no. 4, pp. 705-812

Schur-Weyl duality, Verma modules, and row quotients of Ariki-Koike algebras

Authors: Abel Lacabanne, Pedro Vaz

Abstract: We prove a Schur-Weyl duality between the quantum enveloping algebra of $\mathfrak{gl}_m$ and certain quotient algebras of Ariki-Koike algebras, which we give explicitly. The duality involves several algebraically independent parameters and is realized through the tensor product of a parabolic universal Verma module and a tensor power of the natural representation of $\mathfrak{gl}_m$. We also giv… ▽ More We prove a Schur-Weyl duality between the quantum enveloping algebra of $\mathfrak{gl}_m$ and certain quotient algebras of Ariki-Koike algebras, which we give explicitly. The duality involves several algebraically independent parameters and is realized through the tensor product of a parabolic universal Verma module and a tensor power of the natural representation of $\mathfrak{gl}_m$. We also give a new presentation by generators and relations of the generalized blob algebras of Martin and Woodcock as well as an interpretation in terms of Schur-Weyl duality by showing they occur as a particular case of our algebras. △ Less

Submitted 1 February, 2021; v1 submitted 2 April, 2020; originally announced April 2020.

Comments: v2: some minor modifications v3: corrections of misprints and added a brief explanation about the non-semisimple case, accepted version

Journal ref: Pacific J. Math. 311 (2021) 113-133

Not even Khovanov homology

Authors: Pedro Vaz

Abstract: We construct a supercategory that can be seen as a skew version of (thickened) KLR algebras for the type $A$ quiver. We use our supercategory to construct homological invariants of tangles and show that for every link our invariant gives a link homology theory supercategorifying the Jones polynomial. Our homology is distinct from even Khovanov homology and we present evidence supporting the conjec… ▽ More We construct a supercategory that can be seen as a skew version of (thickened) KLR algebras for the type $A$ quiver. We use our supercategory to construct homological invariants of tangles and show that for every link our invariant gives a link homology theory supercategorifying the Jones polynomial. Our homology is distinct from even Khovanov homology and we present evidence supporting the conjecture that it is isomorphic to odd Khovanov homology. We also show that cyclotomic quotients of our supercategory give supercategorifications of irreducible finite-dimensional representations of $\mathfrak{gl}_n$ of level 2. △ Less

Submitted 16 November, 2020; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: 30 pages. Lots of pictures

Journal ref: Pacific J. Math. 308 (2020) 223-256

DG-Enhanced Hecke and KLR Algebras

Authors: Ruslan Maksimau, Pedro Vaz

Abstract: We construct DG-enhanced versions of the degenerate affine Hecke algebra and of the affine Hecke algebra. We extend Brundan-Kleshchev and Rouquier's isomorphism and prove that after completion DG-enhanced versions of affine Hecke algebras (degenerate or nondegenerate) are isomorphic to completed DG-enhanced versions of KLR algebras for suitably defined quivers. As a byproduct, we deduce that these… ▽ More We construct DG-enhanced versions of the degenerate affine Hecke algebra and of the affine Hecke algebra. We extend Brundan-Kleshchev and Rouquier's isomorphism and prove that after completion DG-enhanced versions of affine Hecke algebras (degenerate or nondegenerate) are isomorphic to completed DG-enhanced versions of KLR algebras for suitably defined quivers. As a byproduct, we deduce that these DG-algebras have homologies concentrated in degree zero. These homologies are isomorphic respectively to the degenerate cyclotomic Hecke algebra and the cyclotomic Hecke algebra. △ Less

Submitted 22 November, 2023; v1 submitted 7 June, 2019; originally announced June 2019.

Journal ref: SIGMA 19 (2023), 095, 24 pages

2-Verma modules

Authors: Grégoire Naisse, Pedro Vaz

Abstract: We construct a categorification of parabolic Verma modules for symmetrizable Kac-Moody algebras using KLR-like diagrammatic algebras. We show that our construction arises naturally from a dg-enhancement of the cyclotomic quotients of the KLR-algebras. As a consequence, we are able to recover the usual categorification of integrable modules. We also introduce a notion of dg-2-representation for qua… ▽ More We construct a categorification of parabolic Verma modules for symmetrizable Kac-Moody algebras using KLR-like diagrammatic algebras. We show that our construction arises naturally from a dg-enhancement of the cyclotomic quotients of the KLR-algebras. As a consequence, we are able to recover the usual categorification of integrable modules. We also introduce a notion of dg-2-representation for quantum Kac--Moody algebras, and in particular of parabolic 2-Verma module. △ Less

Submitted 22 July, 2021; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: v3, reviewed version with minor fixes, 67pp

2-Verma modules and the Khovanov-Rozansky link homologies

Authors: Grégoire Naisse, Pedro Vaz

Abstract: We explain how Queffelec-Sartori's construction of the HOMFLY-PT link polynomial can be interpreted in terms of parabolic Verma modules for $\mathfrak{gl}_{2n}$. Lifting the construction to the world of categorification, we use parabolic 2-Verma modules to give a higher representation theory construction of Khovanov-Rozansky's triply graded link homology. We explain how Queffelec-Sartori's construction of the HOMFLY-PT link polynomial can be interpreted in terms of parabolic Verma modules for $\mathfrak{gl}_{2n}$. Lifting the construction to the world of categorification, we use parabolic 2-Verma modules to give a higher representation theory construction of Khovanov-Rozansky's triply graded link homology. △ Less

Submitted 16 November, 2020; v1 submitted 27 April, 2017; originally announced April 2017.

Comments: v1, 32 pages, colored figures. v2, 42 pages, Proof of the main result expanded into a new subsection, minor corrections. v3, 24 pages. A gap in the proof of Theorem 4.9 (Dunfield-Gukov-Rasmussen conjecture) was found. As a consequence, it was removed and section 4.6 was substantially reduced. v4, 25 pages, peer reviewed version

On 2-Verma modules for quantum $\mathfrak{sl}_2$

Authors: Grégoire Naisse, Pedro Vaz

Abstract: In this paper we study the superalgebra $A_n$, introduced by the authors in previous work on categorification of Verma modules for quantum $\mathfrak{sl}_2$. The superalgebra $A_n$ is akin to the nilHecke algebra, and shares similar properties. In particular, we prove a uniqueness result about 2-Verma modules on $\Bbbk$-linear 2-categories. In this paper we study the superalgebra $A_n$, introduced by the authors in previous work on categorification of Verma modules for quantum $\mathfrak{sl}_2$. The superalgebra $A_n$ is akin to the nilHecke algebra, and shares similar properties. In particular, we prove a uniqueness result about 2-Verma modules on $\Bbbk$-linear 2-categories. △ Less

Submitted 30 January, 2018; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: 51 pages: v3. Referee comments included. Improved explanations and better looking diagrams

Odd Khovanov's arc algebra

Authors: Grégoire Naisse, Pedro Vaz

Abstract: We construct an odd version of Khovanov's arc algebra $H^n$. Extending the center to elements that anticommute, we get a subalgebra that is isomorphic to the oddification of the cohomology of the $(n,n)$-Springer varieties. We also prove that the odd arc algebra can be twisted into an associative algebra. We construct an odd version of Khovanov's arc algebra $H^n$. Extending the center to elements that anticommute, we get a subalgebra that is isomorphic to the oddification of the cohomology of the $(n,n)$-Springer varieties. We also prove that the odd arc algebra can be twisted into an associative algebra. △ Less

Submitted 6 June, 2017; v1 submitted 18 April, 2016; originally announced April 2016.

Comments: 34 pages. v3 with new subsection "proof of theorem 4.1" giving more details on the proof of this result and a bunch of miscellaneous corrections

An approach to categorification of Verma modules

Authors: Grégoire Naisse, Pedro Vaz

Abstract: We give a geometric categorification of the Verma modules $M(λ)$ for quantum $\mathfrak{sl}_2$. We give a geometric categorification of the Verma modules $M(λ)$ for quantum $\mathfrak{sl}_2$. △ Less

Submitted 15 March, 2018; v1 submitted 4 March, 2016; originally announced March 2016.

Comments: v4: 60 pages, new subsection 5.3 on fields of formal Laurent series and cone bounded modules + minor corrections. v3: 58 pages, new section on completed Grothendieck groups. v2: 44 pages, Section 6 rewritten, improved exposition

Super $q$-Howe duality and web categories

Authors: Daniel Tubbenhauer, Pedro Vaz, Paul Wedrich

Abstract: We use super $q$-Howe duality to provide diagrammatic presentations of an idempotented form of the Hecke algebra and of categories of $\mathfrak{gl}_N$-modules (and, more generally, $\mathfrak{gl}_{N|M}$-modules) whose objects are tensor generated by exterior and symmetric powers of the vector representations. As an application, we give a representation theoretic explanation and a diagrammatic ver… ▽ More We use super $q$-Howe duality to provide diagrammatic presentations of an idempotented form of the Hecke algebra and of categories of $\mathfrak{gl}_N$-modules (and, more generally, $\mathfrak{gl}_{N|M}$-modules) whose objects are tensor generated by exterior and symmetric powers of the vector representations. As an application, we give a representation theoretic explanation and a diagrammatic version of a known symmetry of colored HOMFLY--PT polynomials. △ Less

Submitted 21 November, 2017; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: 38 pages, many colored figures, extra section containing new results, added suggestions of two referees, comments welcome

Journal ref: Algebr. Geom. Topol. 17 (2017) 3703-3749

KLR algebras and the branching rule II: the categorical Gelfand-Tsetlin basis for the classical Lie algebras

Authors: Pedro Vaz

Abstract: We construct functors categorifying the branching rules for $U_q(\mathfrak{g})$ for $\mathfrak{g}$ of type $B_n$, $C_n$, and $D_n$ for the embeddings $so_{2n+1}\supset so_{2n-1}$, $sp_{2n}\supset sp_{2n-2}$, and $so_{2n}\supset so_{2n-2}$. We give the corresponding categorical Gelfand-Tsetlin basis. We construct functors categorifying the branching rules for $U_q(\mathfrak{g})$ for $\mathfrak{g}$ of type $B_n$, $C_n$, and $D_n$ for the embeddings $so_{2n+1}\supset so_{2n-1}$, $sp_{2n}\supset sp_{2n-2}$, and $so_{2n}\supset so_{2n-2}$. We give the corresponding categorical Gelfand-Tsetlin basis. △ Less

Submitted 2 July, 2014; originally announced July 2014.

Comments: 30 pages

On Jaeger's HOMFLY-PT expansions, branching rules and link homology: a progress report

Authors: Pedro Vaz

Abstract: This note is a write-up of a talk given by the author at the Meeting of the Sociedade Portuguesa de Matematica in July 2012. We describe Jaeger's HOMFLY-PT expansion of the Kauffman polynomial and how to generalize it to other quantum invariants using the so-called "branching rules" for Lie algebra representations. We present a program which aims to construct Jaeger expansions for link homology th… ▽ More This note is a write-up of a talk given by the author at the Meeting of the Sociedade Portuguesa de Matematica in July 2012. We describe Jaeger's HOMFLY-PT expansion of the Kauffman polynomial and how to generalize it to other quantum invariants using the so-called "branching rules" for Lie algebra representations. We present a program which aims to construct Jaeger expansions for link homology theories. △ Less

Submitted 6 September, 2013; originally announced September 2013.

Comments: Meeting of the Sociedade Portuguesa de Matematica, July 2012

KLR algebras and the branching rule I: the categorical Gelfand-Tsetlin basis in type An

Authors: Pedro Vaz

Abstract: We define a quotient of the category of finitely generated modules over the cyclotomic Khovanov-Lauda-Rouquier algebra for type An and show it has a module category structure over a direct sum of certain cyclotomic Khovanov-Lauda-Rouquier algebras of type An-1, this way categorifying the branching rules for the inclusion of sl(n) in sl(n+1). Using this we give a new, elementary proof of Khovanov-L… ▽ More We define a quotient of the category of finitely generated modules over the cyclotomic Khovanov-Lauda-Rouquier algebra for type An and show it has a module category structure over a direct sum of certain cyclotomic Khovanov-Lauda-Rouquier algebras of type An-1, this way categorifying the branching rules for the inclusion of sl(n) in sl(n+1). Using this we give a new, elementary proof of Khovanov-Lauda cyclotomic conjecture. We show that continuing recursively gives the Gelfand-Tsetlin basis for type An. As an application we prove a conjecture of Mackaay, Stosic and Vaz concerning categorical Weyl modules. △ Less

Submitted 5 February, 2014; v1 submitted 2 September, 2013; originally announced September 2013.

Comments: v3. 34 pages. Fixed some bugs and misprints. v2. 32 pages. Added references. New version contains an easy proof of the Khovanov-Lauda cyclotomic conjecture in type A using the categorical branching rules

A remark on BMW algebra, q-Schur algebras and categorification

Authors: Pedro Vaz, Emmanuel Wagner

Abstract: We prove that the 2-variable BMW algebra embeds into an algebra constructed from the HOMFLY-PT polynomial. We also prove that the so(2N)-BMW algebra embeds in the q-Schur algebra of type A. We use these results to construct categorifications of the so(2N)-BMW algebra. We prove that the 2-variable BMW algebra embeds into an algebra constructed from the HOMFLY-PT polynomial. We also prove that the so(2N)-BMW algebra embeds in the q-Schur algebra of type A. We use these results to construct categorifications of the so(2N)-BMW algebra. △ Less

Submitted 10 May, 2013; v1 submitted 20 March, 2012; originally announced March 2012.

Comments: 26 pages. v2: minor changes

Journal ref: Can. J. Math.-J. Can. Math. 66 (2014) 453-480

A diagrammatic categorification of the q-Schur algebra

Authors: Marco Mackaay, Marko Stosic, Pedro Vaz

Abstract: In this paper we categorify the q-Schur algebra S(n,d) as a quotient of Khovanov and Lauda's diagrammatic 2-category U(sln). We also show that our 2-category contains Soergel's monoidal category of bimodules of type A, which categorifies the Hecke algebra H(d), as a full sub-2-category if d does not exceed n. For the latter result we use Elias and Khovanov's diagrammatic presentation of Soergel's… ▽ More In this paper we categorify the q-Schur algebra S(n,d) as a quotient of Khovanov and Lauda's diagrammatic 2-category U(sln). We also show that our 2-category contains Soergel's monoidal category of bimodules of type A, which categorifies the Hecke algebra H(d), as a full sub-2-category if d does not exceed n. For the latter result we use Elias and Khovanov's diagrammatic presentation of Soergel's monoidal category of type A. △ Less

Submitted 6 February, 2012; v1 submitted 7 August, 2010; originally announced August 2010.

Comments: 60 pages, lots of figures. v3: Substantial changes. To appear in Quantum Topology

The diagrammatic Soergel category and sl(N)-foams, for N > 3

Authors: Marco Mackaay, Pedro Vaz

Abstract: For each N > 3, we define a monoidal functor from Elias and Khovanov's diagrammatic version of Soergel's category of bimodules to the category of sl(N) foams defined by Mackaay, Stosic and Vaz. We show that through these functors Soergel's category can be obtained from the sl(N) foams. For each N > 3, we define a monoidal functor from Elias and Khovanov's diagrammatic version of Soergel's category of bimodules to the category of sl(N) foams defined by Mackaay, Stosic and Vaz. We show that through these functors Soergel's category can be obtained from the sl(N) foams. △ Less

Submitted 10 April, 2010; v1 submitted 12 November, 2009; originally announced November 2009.

Comments: v2, minor corrections, 17 pages, lots of figures

The diagrammatic Soergel category and sl(2) and sl(3) foams

Authors: Pedro Vaz

Abstract: We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams. We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams. △ Less

Submitted 8 April, 2010; v1 submitted 18 September, 2009; originally announced September 2009.

Comments: v4, minor changes, referee's comments implemented. v3, 20 pages, lots of figures, remark about the general case rewritten, one redundant relation removed from definition of SC1 and minor typos

The reduced HOMFLY-PT homology for the Conway and the Kinoshita-Terasaka knots

Authors: Marco Mackaay, Pedro Vaz

Abstract: In this paper we compute the reduced HOMFLY-PT homologies of the Conway and the Kinoshita-Terasaka knots and show that they are isomorphic. In this paper we compute the reduced HOMFLY-PT homologies of the Conway and the Kinoshita-Terasaka knots and show that they are isomorphic. △ Less

Submitted 10 December, 2008; originally announced December 2008.

Comments: 9 pages

The 1,2-coloured HOMFLY-PT link homology

Authors: Marco Mackaay, Marko Stosic, Pedro Vaz

Abstract: In this paper we define the 1,2-coloured HOMFLY-PT link homology and prove that it is a link invariant. We conjecture that this homology categorifies the coloured HOMFLY-PT polynomial for links whose components are labelled 1 or 2. In this paper we define the 1,2-coloured HOMFLY-PT link homology and prove that it is a link invariant. We conjecture that this homology categorifies the coloured HOMFLY-PT polynomial for links whose components are labelled 1 or 2. △ Less

Submitted 1 September, 2008; originally announced September 2008.

Comments: 31 pages

A categorification of the quantum sl(N)-link polynomials using foams

Authors: Pedro Vaz

Abstract: In this thesis we define and study a categorification of the sl(N)-link polynomial using foams, for N\geq 3. For N=3 we define the universal sl(3)-link homology, using foams, which depends on three parameters and show that it is functorial, up to scalars, with respect to link cobordisms. Our theory is integral. We show that tensoring it with Q yields a theory which is equivalent to the rationa… ▽ More In this thesis we define and study a categorification of the sl(N)-link polynomial using foams, for N\geq 3. For N=3 we define the universal sl(3)-link homology, using foams, which depends on three parameters and show that it is functorial, up to scalars, with respect to link cobordisms. Our theory is integral. We show that tensoring it with Q yields a theory which is equivalent to the rational universal Khovanov-Rozansky sl(3)-link homology. For N\geq 4 we construct a rational theory categorifying the sl(N)-link polynomial using foams. Our theory is functorial, up to scalars, with respect to link cobordisms. To evaluate closed foams we use the Kapustin-Li formula. We show that for any link our homology is isomorphic to the Khovanov-Rozansky homology. We conjecture that the theory is integral and we compute the conjectured integral sl(N)-link homology for the (2,m)-torus links and show that it has torsion of order N. △ Less

Submitted 16 July, 2008; originally announced July 2008.

Comments: PhD thesis, 141 pages, lots of figures

The foam and the matrix factorization sl3 link homologies are equivalent

Authors: Marco Mackaay, Pedro Vaz

Abstract: We prove that the foam and matrix factorization universal rational sl3 link homologies are naturally isomorphic as projective functors from the category of link and link cobordisms to the category of bigraded vector spaces. We prove that the foam and matrix factorization universal rational sl3 link homologies are naturally isomorphic as projective functors from the category of link and link cobordisms to the category of bigraded vector spaces. △ Less

Submitted 14 November, 2007; v1 submitted 3 October, 2007; originally announced October 2007.

Comments: We have filled a gap in the proof of Lemma 5.2. 28 pages

Journal ref: Algebr. Geom. Topol. 8 (2008) 309-342

Sl(N) link homology using foams and the Kapustin-Li formula

Authors: Marco Mackaay, Marko Stosic, Pedro Vaz

Abstract: We use foams to give a topological construction of a rational link homology categorifying the slN link invariant, for N>3. To evaluate closed foams we use the Kapustin-Li formula adapted to foams by Khovanov and Rozansky. We show that for any link our homology is isomorphic to Khovanov and Rozansky's. We use foams to give a topological construction of a rational link homology categorifying the slN link invariant, for N>3. To evaluate closed foams we use the Kapustin-Li formula adapted to foams by Khovanov and Rozansky. We show that for any link our homology is isomorphic to Khovanov and Rozansky's. △ Less

Submitted 14 November, 2007; v1 submitted 16 August, 2007; originally announced August 2007.

Comments: The Kapustin-Li formula has been corrected for facets with non-zero genus and its normalization and some signs have been changed accordingly. 43 pages, lots of figures

Journal ref: Geom. Topol. 13 (2009) 1075-1128

The universal sl3-link homology

Authors: Marco Mackaay, Pedro Vaz

Abstract: We define the universal sl3-link homology, which depends on 3 parameters, following Khovanov's approach with foams. We show that this 3-parameter link homology, when taken with complex coefficients, can be divided into 3 isomorphism classes. The first class is the one to which Khovanov's original sl3-link homology belongs, the second is the one studied by Gornik in the context of matrix factoriz… ▽ More We define the universal sl3-link homology, which depends on 3 parameters, following Khovanov's approach with foams. We show that this 3-parameter link homology, when taken with complex coefficients, can be divided into 3 isomorphism classes. The first class is the one to which Khovanov's original sl3-link homology belongs, the second is the one studied by Gornik in the context of matrix factorizations and the last one is new. Following an approach similar to Gornik's we show that this new link homology can be described in terms of Khovanov's original sl2-link homology. △ Less

Submitted 26 June, 2006; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: v2, 29pp, different proof of Lemma 3.10, extra comments below Def. 3.16 and minor corrections and typos

Journal ref: Algebr. Geom. Topol. 7 (2007) 1135-1169

A remark on Rasmussen's invariant of knots

Authors: Marco Mackaay, Paul Turner, Pedro Vaz

Abstract: We show that Rasmussen's invariant of knots, which is derived from Lee's variant of Khovanov homology, is equal to an analogous invariant derived from certain other filtered link homologies. We show that Rasmussen's invariant of knots, which is derived from Lee's variant of Khovanov homology, is equal to an analogous invariant derived from certain other filtered link homologies. △ Less

Submitted 5 July, 2012; v1 submitted 29 September, 2005; originally announced September 2005.

Comments: There are two errors in the proof of Proposition 3.2. in this paper. These are indicated in an erratum added at the beginning. As a consequence the proof of Proposition 3.2 no longer holds and the proof of Theorem 4.2, which relies on it, is no longer valid

Journal ref: JKTR 16(3) (2007), 333-344