Showing 1–44 of 44 results for author: Tubbenhauer, D

Fractal behavior of tensor powers of the two dimensional space in prime characteristic

Authors: Kevin Coulembier, Pavel Etingof, Victor Ostrik, Daniel Tubbenhauer

Abstract: We study the number of indecomposable summands in tensor powers of the vector representation of SL2. Our main focus is on positive characteristic where this sequence of numbers and its generating function show fractal behavior akin to Mahler functions. We study the number of indecomposable summands in tensor powers of the vector representation of SL2. Our main focus is on positive characteristic where this sequence of numbers and its generating function show fractal behavior akin to Mahler functions. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Comments: 40 pages, many figures, comments welcome

MSC Class: Primary: 11N45; 18M05; Secondary: 11B85; 26A12; 30B30

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

Orthogonal webs and semisimplification

Authors: Elijah Bodish, Daniel Tubbenhauer

Abstract: We define a diagrammatic category that is equivalent to tilting representations for the orthogonal group. Our construction works in characteristic not equal to two. We also describe the semisimplification of this category. We define a diagrammatic category that is equivalent to tilting representations for the orthogonal group. Our construction works in characteristic not equal to two. We also describe the semisimplification of this category. △ Less

Submitted 1 January, 2024; originally announced January 2024.

Comments: 51 pages, many figures, comments welcome

MSC Class: Primary: 18M05; 20G05; Secondary: 18M30; 20J15

Cellularity of KLR and weighted KLRW algebras via crystals

Authors: Andrew Mathas, Daniel Tubbenhauer

Abstract: We prove that the weighted KLRW algebras of finite type, and their cyclotomic quotients, are cellular algebras. The cellular bases are explicitly described using crystal graphs. As a special case, this proves that the KLR algebras of finite type are cellular. As one application, we compute the graded decomposition numbers of the cyclotomic algebras. We prove that the weighted KLRW algebras of finite type, and their cyclotomic quotients, are cellular algebras. The cellular bases are explicitly described using crystal graphs. As a special case, this proves that the KLR algebras of finite type are cellular. As one application, we compute the graded decomposition numbers of the cyclotomic algebras. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 48 pages, many figures, comments welcome

MSC Class: Primary 18M30; 20C08; Secondary 05E10; 17B10; 18N25

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

On rank one 2-representations of web categories

Authors: Daniel Tubbenhauer

Abstract: We classify rank one 2-representations of SL2, GL2 and SO3 web categories. The classification is inspired by similar results about quantum groups, given by reducing the problem to the classification of bilinear and trilinear forms, and is formulated such that it can be adapted to other web categories. We classify rank one 2-representations of SL2, GL2 and SO3 web categories. The classification is inspired by similar results about quantum groups, given by reducing the problem to the classification of bilinear and trilinear forms, and is formulated such that it can be adapted to other web categories. △ Less

Submitted 2 October, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

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

MSC Class: Primary: 18M05; 18M30; Secondary: 22E46; 22E47

On a symplectic quantum Howe duality

Authors: Elijah Bodish, Daniel Tubbenhauer

Abstract: We prove a nonsemisimple quantum version of Howe's duality with the rank 2n symplectic and the rank 2 special linear group acting on the exterior algebra of type C. We also discuss the first steps towards the symplectic analog of harmonic analysis on quantum spheres, give character formulas for various fundamental modules, and construct canonical bases of the exterior algebra. We prove a nonsemisimple quantum version of Howe's duality with the rank 2n symplectic and the rank 2 special linear group acting on the exterior algebra of type C. We also discuss the first steps towards the symplectic analog of harmonic analysis on quantum spheres, give character formulas for various fundamental modules, and construct canonical bases of the exterior algebra. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: 50 pages, many figures, comments welcome

MSC Class: Primary: 17B37; 20G42; Secondary: 05E10; 20G05; 22E46

Growth rates of the number of indecomposable summands in tensor powers

Authors: Kevin Coulembier, Victor Ostrik, Daniel Tubbenhauer

Abstract: In this paper we study the asymptotic behavior of the number of summands in tensor products of finite dimensional representations of affine (semi)group (super)schemes and related objects. In this paper we study the asymptotic behavior of the number of summands in tensor products of finite dimensional representations of affine (semi)group (super)schemes and related objects. △ Less

Submitted 9 January, 2024; v1 submitted 2 January, 2023; originally announced January 2023.

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

MSC Class: Primary: 17B10; 18M05; Secondary: 16T05; 17B37; 20C25

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

Sandwich cellularity and a version of cell theory

Authors: Daniel Tubbenhauer

Abstract: We explain how the theory of sandwich cellular algebras can be seen as a version of cell theory for algebras. We apply this theory to many examples such as Hecke algebras, and various monoid and diagram algebras. We explain how the theory of sandwich cellular algebras can be seen as a version of cell theory for algebras. We apply this theory to many examples such as Hecke algebras, and various monoid and diagram algebras. △ Less

Submitted 14 June, 2022; originally announced June 2022.

Comments: 31 pages, many figures, comments welcome

MSC Class: Primary: 16G10; 16G99; Secondary: 18M30; 20C08; 20M30

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

Cellularity for weighted KLRW algebras of types $B$, $A^{(2)}$, $D^{(2)}$

Authors: Andrew Mathas, Daniel Tubbenhauer

Abstract: This paper constructs homogeneous affine sandwich cellular bases of weighted KLRW algebras in types $B$, $A^{(2)}$, $D^{(2)}$. Our construction immediately gives homogeneous sandwich cellular bases for the finite dimensional quotients of these algebras. Since weighted KLRW algebras generalize KLR algebras, we also obtain bases and cellularity results for the (infinite and finite dimensional) KLR a… ▽ More This paper constructs homogeneous affine sandwich cellular bases of weighted KLRW algebras in types $B$, $A^{(2)}$, $D^{(2)}$. Our construction immediately gives homogeneous sandwich cellular bases for the finite dimensional quotients of these algebras. Since weighted KLRW algebras generalize KLR algebras, we also obtain bases and cellularity results for the (infinite and finite dimensional) KLR algebras. △ Less

Submitted 31 December, 2022; v1 submitted 6 January, 2022; originally announced January 2022.

Comments: 30 pages, lots of figures, revision following referees comments, to appear in J. Lond. Math. Soc., comments welcome

MSC Class: Primary: 16G99; 20C08; Secondary: 20C30; 20G43

Journal ref: J. Lond. Math. Soc. (2) 107 (2023), no. 3, 1002-1044

Monoidal categories, representation gap and cryptography

Authors: Mikhail Khovanov, Maithreya Sitaraman, Daniel Tubbenhauer

Abstract: The linear decomposition attack provides a serious obstacle to direct applications of noncommutative groups and monoids (or semigroups) in cryptography. To overcome this issue we propose to look at monoids with only big representations, in the sense made precise in the paper, and undertake a systematic study of such monoids. One of our main tools is Green's theory of cells (Green's relations). A… ▽ More The linear decomposition attack provides a serious obstacle to direct applications of noncommutative groups and monoids (or semigroups) in cryptography. To overcome this issue we propose to look at monoids with only big representations, in the sense made precise in the paper, and undertake a systematic study of such monoids. One of our main tools is Green's theory of cells (Green's relations). A large supply of monoids is delivered by monoidal categories. We consider simple examples of monoidal categories of diagrammatic origin, including the Temperley-Lieb, the Brauer and partition categories, and discuss lower bounds for their representations. △ Less

Submitted 11 February, 2024; v1 submitted 5 January, 2022; originally announced January 2022.

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

MSC Class: Primary: 18M05; 20M30; Secondary: 94A60

Journal ref: Trans. Amer. Math. Soc. Ser. B 11 (2024), 329-395

Minimal presentations of gln-web categories

Authors: Genta Latifi, Daniel Tubbenhauer

Abstract: In this paper we study categories of gln-webs which describe associated representation categories of the quantum group Uq(gln). We give a minimal presentation of the category of gln-webs over a field with generic quantum parameters. We additionally describe an integral presentation which differs from others in the literature because it is "as coefficient-free as possible". In this paper we study categories of gln-webs which describe associated representation categories of the quantum group Uq(gln). We give a minimal presentation of the category of gln-webs over a field with generic quantum parameters. We additionally describe an integral presentation which differs from others in the literature because it is "as coefficient-free as possible". △ Less

Submitted 23 December, 2021; originally announced December 2021.

Comments: This paper is part of the first authors Ph.D. thesis at the University of Zurich in 2021, 36 pages, many figures, comments welcome

Cellularity and subdivision of KLR and weighted KLRW algebras

Authors: Andrew Mathas, Daniel Tubbenhauer

Abstract: Weighted KLRW algebras are diagram algebras generalizing KLR algebras. This paper undertakes a systematic study of these algebras culminating in the construction of homogeneous affine cellular bases in affine types A and C, which immediately gives cellular bases for the cyclotomic quotients of these algebras. In addition, we construct subdivision homomorphisms that relate weighted KLRW algebras fo… ▽ More Weighted KLRW algebras are diagram algebras generalizing KLR algebras. This paper undertakes a systematic study of these algebras culminating in the construction of homogeneous affine cellular bases in affine types A and C, which immediately gives cellular bases for the cyclotomic quotients of these algebras. In addition, we construct subdivision homomorphisms that relate weighted KLRW algebras for different quivers. As an application we obtain new results about the (cyclotomic) KLR algebras of affine type, including (re)proving that the cyclotomic KLR algebras of type A^{(1)}_{e} and C^{(1)}_{e} are graded cellular algebras. △ Less

Submitted 19 January, 2024; v1 submitted 25 November, 2021; originally announced November 2021.

Comments: 53 pages, revision with several changes, many figures, to appear in Math. Ann., comments welcome

MSC Class: Primary: 20C08; 20G43; Secondary: 18M30; 18N25

SL2 tilting modules in the mixed case

Authors: Louise Sutton, Daniel Tubbenhauer, Paul Wedrich, Jieru Zhu

Abstract: Using the non-semisimple Temperley-Lieb calculus, we study the additive and monoidal structure of the category of tilting modules for $\mathrm{SL}_{2}$ in the mixed case. This simultaneously generalizes the semisimple situation, the case of the complex quantum group at a root of unity, and the algebraic group case in positive characteristic. We describe character formulas and give a presentation o… ▽ More Using the non-semisimple Temperley-Lieb calculus, we study the additive and monoidal structure of the category of tilting modules for $\mathrm{SL}_{2}$ in the mixed case. This simultaneously generalizes the semisimple situation, the case of the complex quantum group at a root of unity, and the algebraic group case in positive characteristic. We describe character formulas and give a presentation of the category of tilting modules as an additive category via a quiver with relations. Turning to the monoidal structure, we describe fusion rules and obtain an explicit recursive description of the appropriate analog of Jones-Wenzl projectors. We also discuss certain theta values, the tensor ideals, mixed Verlinde quotients and the non-degeneracy of the braiding. △ Less

Submitted 17 May, 2021; originally announced May 2021.

Comments: 53 pages, many figures, comments welcome

Journal ref: Selecta Math. (N.S.) 29 (2023), no. 3, Paper No. 39, 40 pp

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

Finitary birepresentations of finitary bicategories

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer, Xiaoting Zhang

Abstract: In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple transitive $2$-representations of a given $2$-category was reduced to that for certain subquotients. These reduction results were all formulated as bijections betwe… ▽ More In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple transitive $2$-representations of a given $2$-category was reduced to that for certain subquotients. These reduction results were all formulated as bijections between equivalence classes of $2$-representations. In this paper, we generalize them to biequivalences between certain $2$-categories of birepresentations. Furthermore, we prove an analog of the double centralizer theorem in finitary birepresentation theory. △ Less

Submitted 24 September, 2021; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: Significant revision of the original version

The center of SL2 tilting modules

Authors: Daniel Tubbenhauer, Paul Wedrich

Abstract: In this note we compute the centers of the categories of tilting modules for G=SL2 in prime characteristic, of tilting modules for the corresponding quantum group at a complex root of unity, and of projective GgT-modules when g=1,2. In this note we compute the centers of the categories of tilting modules for G=SL2 in prime characteristic, of tilting modules for the corresponding quantum group at a complex root of unity, and of projective GgT-modules when g=1,2. △ Less

Submitted 25 January, 2021; v1 submitted 21 April, 2020; originally announced April 2020.

Comments: 18 pages, some figures, revised version, to appear in Glasg. Math. J., comments welcome

Journal ref: Glasgow Math. J. 64 (2022) 165-184

HOMFLYPT homology for links in handlebodies via type A Soergel bimodules

Authors: David E. V. Rose, Daniel Tubbenhauer

Abstract: 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. 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. △ Less

Submitted 19 August, 2019; originally announced August 2019.

Comments: 25 pages, lots of figures, comments welcome

Journal ref: Quantum Topol. 12 (2021), no. 2, 373-410

Quivers for SL(2) tilting modules

Authors: Daniel Tubbenhauer, Paul Wedrich

Abstract: Using diagrammatic methods, we define a quiver algebra depending on a prime p and show that it is the algebra underlying the category of tilting modules for SL(2) in characteristic p. Along the way we obtain a presentation for morphisms between p-Jones-Wenzl projectors. Using diagrammatic methods, we define a quiver algebra depending on a prime p and show that it is the algebra underlying the category of tilting modules for SL(2) in characteristic p. Along the way we obtain a presentation for morphisms between p-Jones-Wenzl projectors. △ Less

Submitted 31 May, 2021; v1 submitted 26 July, 2019; originally announced July 2019.

Comments: 36 pages, many figures, to appear in Represent. Theory, comments welcome

Simple transitive $2$-representations of Soergel bimodules for finite Coxeter types

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer, Xiaoting Zhang

Abstract: In this paper we show that Soergel bimodules for finite Coxeter types have only finitely many equivalence classes of simple transitive $2$-representations and we complete their classification in all types but $H_{3}$ and $H_{4}$. In this paper we show that Soergel bimodules for finite Coxeter types have only finitely many equivalence classes of simple transitive $2$-representations and we complete their classification in all types but $H_{3}$ and $H_{4}$. △ Less

Submitted 12 February, 2023; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: Final version, to appear in the Proceedings of the LMS

Journal ref: Proc. Lond. Math. Soc. (3) 126 (2023), no. 5, 1585-1655

Algebraic properties of zigzag algebras

Authors: Michael Ehrig, Daniel Tubbenhauer

Abstract: We give necessary and sufficient conditions for zigzag algebras and certain generalizations of them to be (relative) cellular, quasi-hereditary or Koszul. We give necessary and sufficient conditions for zigzag algebras and certain generalizations of them to be (relative) cellular, quasi-hereditary or Koszul. △ Less

Submitted 2 July, 2019; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: 24 pages, many figures, revised version, to appear in Comm. Algebra, comments welcome

Journal ref: Comm. Algebra 48 (2020), no. 1, 11-36

Trihedral Soergel bimodules

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer

Abstract: The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive $2$-representations of both monoidal categories, which are indexed by bicolored $\mathsf{ADE}$ Dynkin diagrams. Using the quantum Satake correspondence between affine… ▽ More The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive $2$-representations of both monoidal categories, which are indexed by bicolored $\mathsf{ADE}$ Dynkin diagrams. Using the quantum Satake correspondence between affine $\mathsf{A}_{2}$ Soergel bimodules and the semisimple quotient of the quantum $\mathfrak{sl}_3$ representation category, we introduce trihedral Hecke algebras and Soergel bimodules, generalizing dihedral Hecke algebras and Soergel bimodules. These have their own Kazhdan-Lusztig combinatorics, simple transitive $2$-representations corresponding to tricolored generalized $\mathsf{ADE}$ Dynkin diagrams. △ Less

Submitted 19 June, 2019; v1 submitted 24 April, 2018; originally announced April 2018.

Comments: 61 pages, many colored figures, revised version, comments welcome, to appear in Fund. Math

Journal ref: Fund. Math. 248 (2020), no. 3, 219-300

Relative cellular algebras

Authors: Michael Ehrig, Daniel Tubbenhauer

Abstract: In this paper we generalize cellular algebras by allowing different partial orderings relative to fixed idempotents. For these relative cellular algebras we classify and construct simple modules, and we obtain other characterizations in analogy to cellular algebras. We also give several examples of algebras that are relative cellular, but not cellular. Most prominently, the restricted envelo**… ▽ More In this paper we generalize cellular algebras by allowing different partial orderings relative to fixed idempotents. For these relative cellular algebras we classify and construct simple modules, and we obtain other characterizations in analogy to cellular algebras. We also give several examples of algebras that are relative cellular, but not cellular. Most prominently, the restricted envelo** algebra and the small quantum group for $\mathfrak{sl}_{2}$, and an annular version of arc algebras. △ Less

Submitted 12 September, 2019; v1 submitted 8 October, 2017; originally announced October 2017.

Comments: 39 pages, many figures, revised version, to appear in Transform. Groups, comments welcome

Journal ref: Transform. Groups 26 (2021), no. 1, 229-277

Functoriality of colored link homologies

Authors: Michael Ehrig, Daniel Tubbenhauer, Paul Wedrich

Abstract: We prove that the bigraded colored Khovanov-Rozansky type A link and tangle invariants are functorial with respect to link and tangle cobordisms. We prove that the bigraded colored Khovanov-Rozansky type A link and tangle invariants are functorial with respect to link and tangle cobordisms. △ Less

Submitted 15 June, 2018; v1 submitted 20 March, 2017; originally announced March 2017.

Comments: 41 pages, many colored figures, some changes following suggestions of a referee, to appear in Proc. Lond. Math. Soc., comments welcome

Journal ref: Proceedings of the London Mathematical Society 117-5 (2018), 996-1040

Webs and $q$-Howe dualities in types $\mathbf{B}\mathbf{C}\mathbf{D}$

Authors: Antonio Sartori, Daniel Tubbenhauer

Abstract: We define web categories describing intertwiners for the orthogonal and symplectic Lie algebras, and, in the quantized setup, for certain orthogonal and symplectic coideal subalgebras. They generalize the Brauer category, and allow us to prove quantum versions of some classical type $\mathbf{B}\mathbf{C}\mathbf{D}$ Howe dualities. We define web categories describing intertwiners for the orthogonal and symplectic Lie algebras, and, in the quantized setup, for certain orthogonal and symplectic coideal subalgebras. They generalize the Brauer category, and allow us to prove quantum versions of some classical type $\mathbf{B}\mathbf{C}\mathbf{D}$ Howe dualities. △ Less

Submitted 3 April, 2018; v1 submitted 11 January, 2017; originally announced January 2017.

Comments: 40 pages, many figures, revised version, comments welcome, to appear in Trans. Amer. Math. Soc

Journal ref: Trans. Amer. Math. Soc. 371 (2019), no. 10, 7387-7431

Simple transitive 2-representations via (co)algebra 1-morphisms

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer

Abstract: For any fiat 2-category C, we show how its simple transitive 2-representations can be constructed using coalgebra 1-morphisms in the injective abelianization of C. Dually, we show that these can also be constructed using algebra 1-morphisms in the projective abelianization of C. We also extend Morita-Takeuchi theory to our setup and work out several examples explicitly. For any fiat 2-category C, we show how its simple transitive 2-representations can be constructed using coalgebra 1-morphisms in the injective abelianization of C. Dually, we show that these can also be constructed using algebra 1-morphisms in the projective abelianization of C. We also extend Morita-Takeuchi theory to our setup and work out several examples explicitly. △ Less

Submitted 6 February, 2019; v1 submitted 19 December, 2016; originally announced December 2016.

Comments: Revised version to appear in Indiana Univ. Math. J. the numbering of theorems etc. is changed to adjust to the published version

Journal ref: Indiana Univ. Math. J. 68 (2019), no. 1, 1-33

Singular TQFTs, foams and type D arc algebras

Authors: Michael Ehrig, Daniel Tubbenhauer, Arik Wilbert

Abstract: We combinatorially describe the $2$-category of singular cobordisms, called (rank one) foams, which governs the functorial version of Khovanov homology. As an application we topologically realize the type $\mathrm{D}$ arc algebra using this singular cobordism construction. We combinatorially describe the $2$-category of singular cobordisms, called (rank one) foams, which governs the functorial version of Khovanov homology. As an application we topologically realize the type $\mathrm{D}$ arc algebra using this singular cobordism construction. △ Less

Submitted 12 September, 2019; v1 submitted 22 November, 2016; originally announced November 2016.

Comments: 52 pages, many colored figures, revised version, to appear in Doc. Math., comments welcome

Journal ref: Doc. Math. 24, 1585-1655 (2019)

Two-color Soergel calculus and simple transitive 2-representations

Authors: Marco Mackaay, Daniel Tubbenhauer

Abstract: In this paper we complete the $\mathrm{ADE}$-like classification of simple transitive $2$-representations of Soergel bimodules in finite dihedral type, under the assumption of gradeability. In particular, we use bipartite graphs and zigzag algebras of $\mathrm{ADE}$ type to give an explicit construction of a graded (non-strict) version of all these $2$-representations. Moreover, we give simple c… ▽ More In this paper we complete the $\mathrm{ADE}$-like classification of simple transitive $2$-representations of Soergel bimodules in finite dihedral type, under the assumption of gradeability. In particular, we use bipartite graphs and zigzag algebras of $\mathrm{ADE}$ type to give an explicit construction of a graded (non-strict) version of all these $2$-representations. Moreover, we give simple combinatorial criteria for when two such $2$-representations are equivalent and for when their Grothendieck groups give rise to isomorphic representations. Finally, our construction also gives a large class of simple transitive $2$-representations in infinite dihedral type for general bipartite graphs. △ Less

Submitted 2 December, 2018; v1 submitted 4 September, 2016; originally announced September 2016.

Comments: 37 pages, many colored figures, revised version, comments welcome, to appear in Canad. J. Math

Journal ref: Canad. J. Math. 71 (2019), no. 6, 1523-1566

Generic $\mathfrak{gl}_2$-foams, web and arc algebras

Authors: Michael Ehrig, Catharina Stroppel, Daniel Tubbenhauer

Abstract: We define parameter dependent $\mathfrak{gl}_2$-foams and their associated web and arc algebras, and verify that they specialize to several known $\mathfrak{sl}_2$ or $\mathfrak{gl}_2$ constructions related to higher link and tangle invariants. Moreover, we show that all these specializations are equivalent, and we deduce several applications, e.g. we discuss the consequences for the associated li… ▽ More We define parameter dependent $\mathfrak{gl}_2$-foams and their associated web and arc algebras, and verify that they specialize to several known $\mathfrak{sl}_2$ or $\mathfrak{gl}_2$ constructions related to higher link and tangle invariants. Moreover, we show that all these specializations are equivalent, and we deduce several applications, e.g. we discuss the consequences for the associated link and tangle invariants, and their functoriality. △ Less

Submitted 22 October, 2020; v1 submitted 29 January, 2016; originally announced January 2016.

Comments: Section on functoriality added and other significant changes, 42 pages, many colored figures, comments welcome

The Blanchet-Khovanov algebras

Authors: Michael Ehrig, Catharina Stroppel, Daniel Tubbenhauer

Abstract: Blanchet introduced certain singular cobordisms to fix the functoriality of Khovanov homology. In this paper we introduce graded algebras consisting of such singular cobordisms à la Blanchet. As the main result we give algebraic versions of these algebras using the combinatorics of arc diagrams. Blanchet introduced certain singular cobordisms to fix the functoriality of Khovanov homology. In this paper we introduce graded algebras consisting of such singular cobordisms à la Blanchet. As the main result we give algebraic versions of these algebras using the combinatorics of arc diagrams. △ Less

Submitted 26 January, 2017; v1 submitted 16 October, 2015; originally announced October 2015.

Comments: 40 pages, many colored figures, revised version (e.g. added suggestions of a referee), to appear in Contemp. Math., Perspectives on Categorification, comments welcome

Journal ref: Categorification and Higher Representation Theory, 183-226, Contemp. Math., 683, Amer. Math. Soc., Providence, RI, 2017

Semisimplicity of Hecke and (walled) Brauer algebras

Authors: Henning Haahr Andersen, Catharina Stroppel, Daniel Tubbenhauer

Abstract: We show how to use Jantzen's sum formula for Weyl modules to prove semisimplicity criteria for endomorphism algebras of $\textbf{U}_q$-tilting modules (for any field $\mathbb{K}$ and any parameter $q\in\mathbb{K}-\{0,-1\}$). As an application, we recover the semisimplicity criteria for the Hecke algebras of types $\textbf{A}$ and $\textbf{B}$, the walled Brauer algebras and the Brauer algebras fro… ▽ More We show how to use Jantzen's sum formula for Weyl modules to prove semisimplicity criteria for endomorphism algebras of $\textbf{U}_q$-tilting modules (for any field $\mathbb{K}$ and any parameter $q\in\mathbb{K}-\{0,-1\}$). As an application, we recover the semisimplicity criteria for the Hecke algebras of types $\textbf{A}$ and $\textbf{B}$, the walled Brauer algebras and the Brauer algebras from our more general approach. △ Less

Submitted 10 September, 2016; v1 submitted 28 July, 2015; originally announced July 2015.

Comments: 38 pages, lots of figures, revised version (e.g. added suggestions of a referee), to appear in J. Aust. Math. Soc., comments welcome

Journal ref: J. Aust. Math. Soc. 103 (2017), no. 1, 1-44

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

Cellular structures using $\textbf{U}_q$-tilting modules

Authors: Henning Haahr Andersen, Catharina Stroppel, Daniel Tubbenhauer

Abstract: We use the theory of $\textbf{U}_q$-tilting modules to construct cellular bases for centralizer algebras. Our methods are quite general and work for any quantum group $\textbf{U}_q$ attached to a Cartan matrix and include the non-semisimple cases for $q$ being a root of unity and ground fields of positive characteristic. Our approach also generalizes to certain categories containing infinite-dimen… ▽ More We use the theory of $\textbf{U}_q$-tilting modules to construct cellular bases for centralizer algebras. Our methods are quite general and work for any quantum group $\textbf{U}_q$ attached to a Cartan matrix and include the non-semisimple cases for $q$ being a root of unity and ground fields of positive characteristic. Our approach also generalizes to certain categories containing infinite-dimensional modules. As applications, we give a new semisimplicty criterion for centralizer algebras, and recover the cellularity of several known algebras (with partially new cellular bases) which all fit into our general setup. △ Less

Submitted 2 October, 2017; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: 31 pages, lots of figures, substantially rewritten (following the suggestions of some referees), changed numbering, comments welcome

Journal ref: Pacific J. Math. 292-1 (2018), 21-59

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

Authors: David E. V. Rose, Daniel Tubbenhauer

Abstract: 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 c… ▽ More 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. △ Less

Submitted 9 September, 2018; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: 32 pages, lots of figures, comments welcome

Journal ref: Int Math Res Notices (2016) 2016 (17): 5249-5290

Diagram categories for $\textbf{U}_q$-tilting modules at roots of unity

Authors: Henning Haahr Andersen, Daniel Tubbenhauer

Abstract: We give a diagrammatic presentation of the category of $\textbf{U}_q(\mathfrak{sl}_2)$-tilting modules $\mathfrak{T}$ for $q$ being a root of unity and introduce a grading on $\mathfrak{T}$. This grading is a "root of unity phenomenon" and might lead to new insights about link and $3$-manifold invariants deduced from $\mathfrak{T}$. We also give a diagrammatic category for the (graded) projective… ▽ More We give a diagrammatic presentation of the category of $\textbf{U}_q(\mathfrak{sl}_2)$-tilting modules $\mathfrak{T}$ for $q$ being a root of unity and introduce a grading on $\mathfrak{T}$. This grading is a "root of unity phenomenon" and might lead to new insights about link and $3$-manifold invariants deduced from $\mathfrak{T}$. We also give a diagrammatic category for the (graded) projective endofunctors on $\mathfrak{T}$, indicate how our results could generalize and collect some "well-known" facts to give a reasonably self-contained exposition. △ Less

Submitted 31 December, 2015; v1 submitted 9 September, 2014; originally announced September 2014.

Comments: 50 pages, lots of figures, revised version (e.g. added suggestions of two referees), to appear in Transform. Groups, comments welcome

Journal ref: Transform. Groups 22 (2017), no. 1, 29-89

$\mathfrak{gl}_n$-webs, categorification and Khovanov-Rozansky homologies

Authors: Daniel Tubbenhauer

Abstract: In this paper we define an explicit basis for the $\mathfrak{gl}_n$-web algebra $H_n(\vec{k})$ (the $\mathfrak{gl}_n$ generalization of Khovanov's arc algebra) using categorified $q$-skew Howe duality. Our construction is a $\mathfrak{gl}_n$-web version of Hu--Mathas' graded cellular basis and has two major applications: it gives rise to an explicit isomorphism between a certain idempotent trunc… ▽ More In this paper we define an explicit basis for the $\mathfrak{gl}_n$-web algebra $H_n(\vec{k})$ (the $\mathfrak{gl}_n$ generalization of Khovanov's arc algebra) using categorified $q$-skew Howe duality. Our construction is a $\mathfrak{gl}_n$-web version of Hu--Mathas' graded cellular basis and has two major applications: it gives rise to an explicit isomorphism between a certain idempotent truncation of a thick calculus cyclotomic KLR algebra and $H_n(\vec{k})$, and it gives an explicit graded cellular basis of the $2$-hom space between two $\mathfrak{gl}_n$-webs. We use this to give a (in principle) computable version of colored Khovanov-Rozansky $\mathfrak{gl}_n$-link homology, obtained from a complex defined purely combinatorially via the (thick cyclotomic) KLR algebra and needs only $F$. △ Less

Submitted 2 October, 2020; v1 submitted 23 April, 2014; originally announced April 2014.

Comments: New version with additional results and an improved presentation, following a referee report. 59 pages, lots of figures, comments welcome. To appear in J. Knot Theory Ramifications

$\mathfrak{sl}_3$-web bases, intermediate crystal bases and categorification

Authors: Daniel Tubbenhauer

Abstract: We give an explicit graded cellular basis of the $\mathfrak{sl}_3$-web algebra $K_S$. In order to do this, we identify Kuperberg's basis for the $\mathfrak{sl}_3$-web space $W_S$ with a version of Leclerc-Toffin's intermediate crystal basis and we identify Brundan, Kleshchev and Wang's degree of tableaux with the weight of flows on webs and the $q$-degree of foams. We use these observations to… ▽ More We give an explicit graded cellular basis of the $\mathfrak{sl}_3$-web algebra $K_S$. In order to do this, we identify Kuperberg's basis for the $\mathfrak{sl}_3$-web space $W_S$ with a version of Leclerc-Toffin's intermediate crystal basis and we identify Brundan, Kleshchev and Wang's degree of tableaux with the weight of flows on webs and the $q$-degree of foams. We use these observations to give a "foamy" version of Hu and Mathas graded cellular basis of the cyclotomic Hecke algebra which turns out to be a graded cellular basis of the $\mathfrak{sl}_3$-web algebra. We restrict ourselves to the $\mathfrak{sl}_3$ case over $\mathbb{C}$ here, but our approach should, up to the combinatorics of $\mathfrak{sl}_N$-webs, work for all $N>1$ or over $\mathbb{Z}$. △ Less

Submitted 5 March, 2014; v1 submitted 10 October, 2013; originally announced October 2013.

Comments: 66 pages, lots of figures, some more typos fixed, added referee's suggestions, comments welcome

Journal ref: J. Algebraic Combin. 40 (2014), no. 4, 1001-1076

Categorification and applications in topology and representation theory

Authors: Daniel Tubbenhauer

Abstract: This thesis splits into two major parts. The connection between the two parts is the notion of "categorification" which we shortly explain/recall in the introduction. In the first part of this thesis we extend Bar-Natan's cobordism based categorification of the Jones polynomial to virtual links. Our topological complex allows a direct extension of the classical Khovanov complex (h=t=0), the vari… ▽ More This thesis splits into two major parts. The connection between the two parts is the notion of "categorification" which we shortly explain/recall in the introduction. In the first part of this thesis we extend Bar-Natan's cobordism based categorification of the Jones polynomial to virtual links. Our topological complex allows a direct extension of the classical Khovanov complex (h=t=0), the variant of Lee (h=0,t=1) and other classical link homologies. We show that our construction allows, over rings of characteristic 2, extensions with no classical analogon, e.g. Bar-Natan's Z/2Z-link homology can be extended in two non-equivalent ways. Our construction is computable in the sense that one can write a computer program to perform calculations, e.g. we have written a MATHEMATICA based program. Moreover, we give a classification of all unoriented TQFTs which can be used to define virtual link homologies from our topological construction. Furthermore, we prove that our extension is combinatorial and has semi-local properties. We use the semi-local properties to prove an application, i.e. we give a discussion of Lee's degeneration of virtual homology. In the second part of this thesis (which is based on joint work with Mackaay and Pan) we use Kuperberg's sl3 webs and Khovanov's sl3 foams to define a new algebra K_S, which we call the sl3 web algebra. It is the sl3 analogue of Khovanov's arc algebra H_n. We prove that K_S is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of q-skew Howe duality, which allows us to prove that K_S is Morita equivalent to a certain cyclotomic KLR-algebra. This allows us to determine the split Grothendieck group K_0(K_S), to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that K_S is a graded cellular algebra. △ Less

Submitted 3 July, 2013; originally announced July 2013.

Comments: 189 pages, many figures, Ph.D. thesis

Khovanov homology for virtual tangles and applications

Authors: Daniel Tubbenhauer

Abstract: We extend the cobordism based categorification of the virtual Jones polynomial to virtual tangles. This extension is combinatorial and has semi-local properties. We use the semi-local property to prove an applications, i.e. we give a discussion of Lee's degeneration of virtual homology. We extend the cobordism based categorification of the virtual Jones polynomial to virtual tangles. This extension is combinatorial and has semi-local properties. We use the semi-local property to prove an applications, i.e. we give a discussion of Lee's degeneration of virtual homology. △ Less

Submitted 1 December, 2012; originally announced December 2012.

Comments: 37 pages, lots of figures, followup of the paper arXiv:1111.0609

Journal ref: J. Knot Theory Ramifications 23 (2014), no. 9, 1450046, 91 pp

The sl_3 web algebra

Authors: Marco Mackaay, Weiwei Pan, Daniel Tubbenhauer

Abstract: In this paper we use Kuperberg's $\mathfrak{sl}_3$-webs and Khovanov's $\mathfrak{sl}_3$-foams to define a new algebra $K^S$, which we call the $\mathfrak{sl}_3$-web algebra. It is the $\mathfrak{sl}_3$ analogue of Khovanov's arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$-skew Howe duality, which allows us to prove that… ▽ More In this paper we use Kuperberg's $\mathfrak{sl}_3$-webs and Khovanov's $\mathfrak{sl}_3$-foams to define a new algebra $K^S$, which we call the $\mathfrak{sl}_3$-web algebra. It is the $\mathfrak{sl}_3$ analogue of Khovanov's arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$-skew Howe duality, which allows us to prove that $K^S$ is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group $K^{\oplus}_0(\mathcal{W}^S)_{\mathbb{Q}(q)}$, to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that $K^S$ is a graded cellular algebra. △ Less

Submitted 10 March, 2018; v1 submitted 11 June, 2012; originally announced June 2012.

Comments: Numbering matched with the published version, no other changes

Journal ref: Math. Z. 277:1-2 (2014), 401-479

Virtual Khovanov homology using cobordisms

Authors: Daniel Tubbenhauer

Abstract: We extend Bar-Natan's cobordism based categorification of the Jones polynomial to virtual links. Our topological complex allows a direct extension of the classical Khovanov complex ($h=t=0$), the variant of Lee ($h=0,t=1$) and other classical link homologies. We show that our construction allows, over rings of characteristic two, extensions with no classical analogon, e.g. Bar-Natan's… ▽ More We extend Bar-Natan's cobordism based categorification of the Jones polynomial to virtual links. Our topological complex allows a direct extension of the classical Khovanov complex ($h=t=0$), the variant of Lee ($h=0,t=1$) and other classical link homologies. We show that our construction allows, over rings of characteristic two, extensions with no classical analogon, e.g. Bar-Natan's $\mathbb{Z}/2$-link homology can be extended in two non-equivalent ways. Our construction is computable in the sense that one can write a computer program to perform calculations, e.g. we have written a Mathematica based program. Moreover, we give a classification of all unoriented TQFTs which can be used to define virtual link homologies from our topological construction. Furthermore, we prove that our extension is combinatorial and has semi-local properties. We use the semi-local properties to prove an application, i.e. we give a discussion of Lee's degeneration of virtual homology. △ Less

Submitted 2 September, 2014; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: 78 pages, lots of figures, lots of typos, rewritten version, merged with arXiv:1212.0185, added referee's suggestions, to appear in J. Knot Theor. Ramif

Journal ref: J. Knot Theory Ramifications 23-9 (2014), 91 pages