Showing 1–50 of 133 results for author: Mazorchuk, V

Infinite rank module categories over finite dimensional $\mathfrak{sl}_2$-modules in Lie-algebraic context

Authors: Volodymyr Mazorchuk, Xiaoyu Zhu

Abstract: We study locally finitary realizations of simple transitive module categories of infinite rank over the monoidal category $\mathscr{C}$ of finite dimensional modules for the complex Lie algebra $\mathfrak{sl}_2$. Combinatorics of such realizations is governed by six infinite Coxeter diagrams. We show that five of these are realizable in our setup, while one (type $B_\infty$) is not. We also descri… ▽ More We study locally finitary realizations of simple transitive module categories of infinite rank over the monoidal category $\mathscr{C}$ of finite dimensional modules for the complex Lie algebra $\mathfrak{sl}_2$. Combinatorics of such realizations is governed by six infinite Coxeter diagrams. We show that five of these are realizable in our setup, while one (type $B_\infty$) is not. We also describe the $\mathscr{C}$-module subcategories of $\mathfrak{sl}_2$-mod generated by simple modules as well as the $\mathscr{C}$-module categories coming from the natural action of $\mathscr{C}$ on the categories of finite dimensional modules over Lie subalgebras of $\mathfrak{sl}_2$. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Some homological properties of category $\mathcal{O}$, VII

Authors: Volodymyr Mazorchuk

Abstract: We describe Calabi-Yau objects in the regular block of the (parabolic) BGG category $\mathcal{O}$ associated to a semi-simple finite dimensional complex Lie algebra. Each such object comes with a natural transformation from the Serre functor to a shifted identity whose evaluation at that object is an isomorphism. We describe Calabi-Yau objects in the regular block of the (parabolic) BGG category $\mathcal{O}$ associated to a semi-simple finite dimensional complex Lie algebra. Each such object comes with a natural transformation from the Serre functor to a shifted identity whose evaluation at that object is an isomorphism. △ Less

Submitted 8 March, 2024; originally announced March 2024.

Applying projective functors to arbitrary holonomic simple modules

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz

Abstract: We prove that applying a projective functor to a holonomic simple module over a semi-simple finite dimensional complex Lie algebra produces a module that has an essential semi-simple submodule of finite length. This implies that holonomic simple supermodules over certain Lie superalgebras are quotients of modules that are induced from simple modules over the even part. We also provide some further… ▽ More We prove that applying a projective functor to a holonomic simple module over a semi-simple finite dimensional complex Lie algebra produces a module that has an essential semi-simple submodule of finite length. This implies that holonomic simple supermodules over certain Lie superalgebras are quotients of modules that are induced from simple modules over the even part. We also provide some further insight into the structure of Lie algebra modules that are obtained by applying projective functors to simple modules. △ Less

Submitted 25 January, 2024; v1 submitted 7 November, 2023; originally announced November 2023.

Comments: v2: significant changes compared to v1, the main result is restricted to the case of holonomic modules

Simple modules for untwisted affine Lie algebras induced from nilpotent loop subalgebras

Authors: Volodymyr Mazorchuk

Abstract: We construct large families of simple modules for untwisted affine Lie algebras using induction from one-dimensional modules over nilpotent loop subalgebras. We also show that the vector space of the first self-extensions for these module has uncountable dimension and that generic tensor products of these modules are simple. We construct large families of simple modules for untwisted affine Lie algebras using induction from one-dimensional modules over nilpotent loop subalgebras. We also show that the vector space of the first self-extensions for these module has uncountable dimension and that generic tensor products of these modules are simple. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Kronecker coefficients for (dual) symmetric inverse semigroups

Authors: Volodymyr Mazorchuk, Shraddha Srivastava

Abstract: We study analogues of Kronecker coefficients for symmetric inverse semigroups, for dual symmetric inverse semigroups and for the inverse semigroups of bijections between subquotients of finite sets. In all cases we reduce the problem of determination of such coefficients to some group-theoretic and combinatorial problems. For symmetric inverse semigroups, we provide an explicit formula in terms of… ▽ More We study analogues of Kronecker coefficients for symmetric inverse semigroups, for dual symmetric inverse semigroups and for the inverse semigroups of bijections between subquotients of finite sets. In all cases we reduce the problem of determination of such coefficients to some group-theoretic and combinatorial problems. For symmetric inverse semigroups, we provide an explicit formula in terms of the classical Kronecker and Littlewood--Richardson coefficients for symmetric groups. △ Less

Submitted 24 October, 2023; originally announced October 2023.

The tale of Kostant's problem

Authors: Volodymyr Mazorchuk

Abstract: This is a survey paper presenting the history and both old and new results related to Kostant's problem. This problem asks for which modules over a semi-simple finite dimensional complex Lie algebra, the universal enveloping algebra surjects onto the algebra of adjointly locally finite linear endomorphism. This is a survey paper presenting the history and both old and new results related to Kostant's problem. This problem asks for which modules over a semi-simple finite dimensional complex Lie algebra, the universal enveloping algebra surjects onto the algebra of adjointly locally finite linear endomorphism. △ Less

Submitted 5 August, 2023; originally announced August 2023.

Comments: Survey paper written for a conference proceedings

Kostant's problem for parabolic Verma modules

Authors: Volodymyr Mazorchuk, Shraddha Srivastava

Abstract: We give a complete combinatorial classification of those parabolic Verma modules in the principal block of the parabolic category $\mathcal{O}$ associated to a minimal or a maximal parabolic subalgebra of the special linear Lie algebra for which the answer to Kostant's problem is positive. We give a complete combinatorial classification of those parabolic Verma modules in the principal block of the parabolic category $\mathcal{O}$ associated to a minimal or a maximal parabolic subalgebra of the special linear Lie algebra for which the answer to Kostant's problem is positive. △ Less

Submitted 17 January, 2023; originally announced January 2023.

Graded extensions of Verma modules

Authors: Hankyung Ko, Volodymyr Mazorchuk

Abstract: In this paper, we investigate extensions between graded Verma modules in the BGG category $\mathcal{O}$. In particular, we determine exactly which information about extensions between graded Verma modules is given by the coefficients of the $R$-polynomials. We also give some upper bounds for the dimensions of graded extensions between Verma modules in terms of Kazhdan-Lusztig combinatorics. We com… ▽ More In this paper, we investigate extensions between graded Verma modules in the BGG category $\mathcal{O}$. In particular, we determine exactly which information about extensions between graded Verma modules is given by the coefficients of the $R$-polynomials. We also give some upper bounds for the dimensions of graded extensions between Verma modules in terms of Kazhdan-Lusztig combinatorics. We completely determine all extensions between Verma module in the regular block of category $\mathcal{O}$ for $\mathfrak{sl}_4$ and construct various ``unexpected'' higher extensions between Verma modules. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 3 figures; color helps

Finite quotients of singular Artin monoids and categorification of the desingularization map

Authors: Helena Jonsson, Volodymyr Mazorchuk, Elin Persson Westin, Shraddha Srivastava, Mateusz Stroinski, Xiaoyu Zhu

Abstract: We study various aspects of the structure and representation theory of singular Artin monoids. This includes a number of generalizations of the desingularization map and explicit presentations for certain finite quotient monoids of diagrammatic nature. The main result is a categorification of the classical desingularization map for singular Artin monoids associated to finite Weyl groups using BGG… ▽ More We study various aspects of the structure and representation theory of singular Artin monoids. This includes a number of generalizations of the desingularization map and explicit presentations for certain finite quotient monoids of diagrammatic nature. The main result is a categorification of the classical desingularization map for singular Artin monoids associated to finite Weyl groups using BGG category $\mathcal{O}$. △ Less

Submitted 24 May, 2022; originally announced May 2022.

Kostant's problem for fully commutative permutations

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz

Abstract: We give a complete combinatorial answer to Kostant's problem for simple highest weight modules indexed by fully commutative permutations. We also propose a reformulation of Kostant's problem in the context of fiab bicategories and classify annihilators of simple objects in the principal birepresentations of such bicategories generalising the Barbasch--Vogan theorem for Lie algebras. We give a complete combinatorial answer to Kostant's problem for simple highest weight modules indexed by fully commutative permutations. We also propose a reformulation of Kostant's problem in the context of fiab bicategories and classify annihilators of simple objects in the principal birepresentations of such bicategories generalising the Barbasch--Vogan theorem for Lie algebras. △ Less

Submitted 13 April, 2023; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: Minor revision following comments by referees. To appear in Rev. Mat. Iberoam

Multiparameter colored partition category and the product of the reduced Kronecker coefficients

Authors: Volodymyr Mazorchuk, Shraddha Srivastava

Abstract: We introduce and study a multiparameter colored partition category $\mathcal{CPar}(\textbf{x})$ by extending the construction of the partition category, over an algebraically closed field $\Bbbk$ of characteristic zero and for a multiparameter $\textbf{x}\in \Bbbk^{r}$. The morphism spaces in $\mathcal{CPar}(\textbf{x})$ have bases in terms of partition diagrams whose parts are colored by elements… ▽ More We introduce and study a multiparameter colored partition category $\mathcal{CPar}(\textbf{x})$ by extending the construction of the partition category, over an algebraically closed field $\Bbbk$ of characteristic zero and for a multiparameter $\textbf{x}\in \Bbbk^{r}$. The morphism spaces in $\mathcal{CPar}(\textbf{x})$ have bases in terms of partition diagrams whose parts are colored by elements of the multiplicative cyclic group $C_r$. We show that the endomorphism spaces of $\mathcal{CPar}(\textbf{x})$ and additive Karoubi envelope of $\mathcal{CPar}(\textbf{x})$ are generically semisimple. The category $\mathcal{CPar}(\textbf{x})$ is rigid symmetric strict monoidal and we give a presentation of $\mathcal{CPar}(\textbf{x})$ as a monoidal category. The path algebra of $\mathcal{CPar}(\textbf{x})$ admits a triangular decomposition with Cartan subalgebra being equal to the direct sum of the group algebras of complex reflection groups $G(r,n)$. We compute the structure constants for the classes of simple modules in the split Grothendieck ring of the category of modules over the path algebra of the downward partition subcategory of $\mathcal{CPar}(\textbf{x})$ in two ways. Among other things, this gives a closed formula for the product of the reduced Kronecker coefficients in terms of the Littlewood--Richardson coefficients for $G(r,n)$ and certain Kronecker coefficients for the wreath product $(C_r \times C_r)\wr S_n$. For $r=1$, this formula reduces to a formula for the reduced Kronecker coefficients given by Littlewood. We also give two analogues of the Robinson--Schensted correspondence for colored partition diagrams and, as an application, we classify the equivalence classes of Green's left, right and two-sided relations for the colored partition monoid in terms of these correspondences. △ Less

Submitted 30 May, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: Revised version. Comments welcome!

MSC Class: Primary: 18M05; 05E05; Secondary: 05A18; 20M30

Whittaker categories, properly stratified categories and Fock space categorification for Lie superalgebras

Authors: Chih-Whi Chen, Shun-Jen Cheng, Volodymyr Mazorchuk

Abstract: We study various categories of Whittaker modules over a type I Lie superalgebra realized as cokernel categories that fit into the framework of properly stratified categories. These categories are the target of the Backelin functor $Γがんま_ζぜーた$. We show that these categories can be described, up to equivalence, as Serre quotients of the BGG category $\mathcal O$ and of certain singular categories of Haris… ▽ More We study various categories of Whittaker modules over a type I Lie superalgebra realized as cokernel categories that fit into the framework of properly stratified categories. These categories are the target of the Backelin functor $Γがんま_ζぜーた$. We show that these categories can be described, up to equivalence, as Serre quotients of the BGG category $\mathcal O$ and of certain singular categories of Harish-Chandra $(\mathfrak g,\mathfrak g_{\bar 0})$-bimodules. We also show that $Γがんま_ζぜーた$ is a realization of the Serre quotient functor. We further investigate a $q$-symmetrized Fock space over a quantum group of type A and prove that, for general linear Lie superalgebras our Whittaker categories, the functor $Γがんま_ζぜーた$ and various realizations of Serre quotients and Serre quotient functors categorify this $q$-symmetrized Fock space and its $q$-symmetrizer. In this picture, the canonical and dual canonical bases in this $q$-symmetrized Fock space correspond to tilting and simple objects in these Whittaker categories, respectively. △ Less

Submitted 20 June, 2022; v1 submitted 1 March, 2022; originally announced March 2022.

Comments: 51 pages, Introduction is updated, there are also minor revisions in Example 3 and Remark 39

MSC Class: 17B10; 17B55

On first extensions in $\mathcal{S}$-subcategories of $\mathcal{O}$

Authors: Hankyung Ko, Volodymyr Mazorchuk

Abstract: We compute the first extension group from a simple object to a proper standard object and, in some cases, the first extension group from a simple object to a standard object in the principal block of an $\mathcal{S}$-subcategory of the BGG category $\mathcal{O}$ associated to a triangular decomposition of a semi-simple finite dimensional complex Lie algebra. We compute the first extension group from a simple object to a proper standard object and, in some cases, the first extension group from a simple object to a standard object in the principal block of an $\mathcal{S}$-subcategory of the BGG category $\mathcal{O}$ associated to a triangular decomposition of a semi-simple finite dimensional complex Lie algebra. △ Less

Submitted 23 November, 2021; originally announced November 2021.

Comments: For LT-14 conference proceedings

Join operation for the Bruhat order and Verma modules

Authors: Hankyung Ko, Volodymyr Mazorchuk, Rafael Mrđen

Abstract: We observe that the join operation for the Bruhat order on a Weyl group agrees with the intersections of Verma modules in type $A$. The statement is not true in other types, and we propose a conjectural statement of a weaker correspondence. Namely, we introduce distinguished subsets of the Weyl group on which the join operation conjecturally agrees with the intersections of Verma modules. We also… ▽ More We observe that the join operation for the Bruhat order on a Weyl group agrees with the intersections of Verma modules in type $A$. The statement is not true in other types, and we propose a conjectural statement of a weaker correspondence. Namely, we introduce distinguished subsets of the Weyl group on which the join operation conjecturally agrees with the intersections of Verma modules. We also relate our conjecture with a statement about the socles of the cokernels of inclusions between Verma modules. The latter determines the first Ext spaces between a simple module and a Verma module. We give a conjectural complete description of such socles, which we verify in a number of cases. Along the way, we determine the poset structure of the join-irreducible elements in Weyl groups and obtain closed formulae for certain families of Kazhdan-Lusztig polynomials. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Comments: 46 pages, several figures

$\mathfrak{sl}_2$-Harish-Chandra modules for $\mathfrak{sl}_2 \ltimes L(4)$

Authors: Volodymyr Mazorchuk, Rafael Mrđen

Abstract: We use analogues of Enright's and Arkhipov's functors to determine the quiver and relations for a category of $\mathfrak{sl}_2 \ltimes L(4)$-modules which are locally finite (and with finite multiplicities) over $\mathfrak{sl}_2$. We also outline serious obstacles to extend our result to $\mathfrak{sl}_2 \ltimes L(k)$, for $k>4$. We use analogues of Enright's and Arkhipov's functors to determine the quiver and relations for a category of $\mathfrak{sl}_2 \ltimes L(4)$-modules which are locally finite (and with finite multiplicities) over $\mathfrak{sl}_2$. We also outline serious obstacles to extend our result to $\mathfrak{sl}_2 \ltimes L(k)$, for $k>4$. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Journal ref: Journal of Mathematical Physics 63, 021701 (2022)

Intersecting principal Bruhat ideals and grades of simple modules

Authors: Volodymyr Mazorchuk, Bridget Eileen Tenner

Abstract: We prove that the grades of simple modules indexed by boolean permutations, over the incidence algebra of the symmetric group with respect to the Bruhat order, are given by Lusztig's a-function. Our arguments are combinatorial, and include a description of the intersection of two principal order ideals when at least one permutation is boolean. An important object in our work is a reduced word writ… ▽ More We prove that the grades of simple modules indexed by boolean permutations, over the incidence algebra of the symmetric group with respect to the Bruhat order, are given by Lusztig's a-function. Our arguments are combinatorial, and include a description of the intersection of two principal order ideals when at least one permutation is boolean. An important object in our work is a reduced word written as minimally many runs of consecutive integers, and one step of our argument shows that this minimal quantity is equal to the length of the second row in the permutation's shape under the Robinson-Schensted correspondence. We also prove that a simple module over the above-mentioned incidence algebra is perfect if and only if its index is the longest element of a parabolic subgroup. △ Less

Submitted 15 February, 2022; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: 26 pages; to appear in Combinatorial Theory

MSC Class: Primary 20F55; Secondary 06A07; 05E15

Jucys-Murphy elements and Grothendieck groups for generalized rook monoids

Authors: Volodymyr Mazorchuk, Shraddha Srivastava

Abstract: We consider a tower of generalized rook monoid algebras over the field $\mathbb{C}$ of complex numbers and observe that the Bratteli diagram associated to this tower is a simple graph. We construct simple modules and describe Jucys-Murphy elements for generalized rook monoid algebras. Over an algebraically closed field $\Bbbk$ of positive characteristic $p$, utilizing Jucys-Murphy elements of ro… ▽ More We consider a tower of generalized rook monoid algebras over the field $\mathbb{C}$ of complex numbers and observe that the Bratteli diagram associated to this tower is a simple graph. We construct simple modules and describe Jucys-Murphy elements for generalized rook monoid algebras. Over an algebraically closed field $\Bbbk$ of positive characteristic $p$, utilizing Jucys-Murphy elements of rook monoid algebras, for $0\leq i\leq p-1$ we define the corresponding $i$-restriction and $i$-induction functors along with two extra functors. On the direct sum $\mathcal{G}_{\mathbb{C}}$ of the Grothendieck groups of module categories over rook monoid algebras over $\Bbbk$, these functors induce an action of the tensor product of the universal enveloping algebra $U(\hat{\mathfrak{sl}}_p(\mathbb{C}))$ and the monoid algebra $\mathbb{C}[\mathcal{B}]$ of the bicyclic monoid $\mathcal{B}$. Furthermore, we prove that $\mathcal{G}_{\mathbb{C}}$ is isomorphic to the tensor product of the basic representation of $U(\hat{\mathfrak{sl}}_{p}(\mathbb{C}))$ and the unique infinite-dimensional simple module over $\mathbb{C}[\mathcal{B}]$, and also exhibit that $\mathcal{G}_{\mathbb{C}}$ is a bialgebra. Under some natural restrictions on the characteristic of $\Bbbk$, we outline the corresponding result for generalized rook monoids. △ Less

Submitted 25 July, 2022; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: Minor changes and added a few more references. Comments welcome!

MSC Class: 20M30; 16G99

Journal ref: J. Comb. Algebra, 2022

Some homological properties of category $\mathcal{O}$, VI

Authors: Hankyung Ko, Volodymyr Mazorchuk, Rafael Mrđen

Abstract: This paper explores various homological regularity phenomena (in the sense of Auslander) in category $\mathcal{O}$ and its several variations and generalizations. Additionally, we address the problem of determining projective dimension of twisted and shuffled projective and tilting modules. This paper explores various homological regularity phenomena (in the sense of Auslander) in category $\mathcal{O}$ and its several variations and generalizations. Additionally, we address the problem of determining projective dimension of twisted and shuffled projective and tilting modules. △ Less

Submitted 14 January, 2021; originally announced January 2021.

Journal ref: Documenta Mathematica 26, 1237-1269 (2021)

Essential orders on stratified algebras with duality and $\mathcal{S}$-subcategories in $\mathcal{O}$

Authors: Volodymyr Mazorchuk, Elin Persson Westin

Abstract: We prove uniqueness of the essential order for stratified algebras having simple preserving duality, generalizing a recent result of Coulembier for quasi-hereditary algebras. We apply this to classify, up to equivalence, regular integral blocks of $\mathcal{S}$-subcategories in the BGG category $\mathcal{O}$. We also describe various homological invariants of these blocks. We prove uniqueness of the essential order for stratified algebras having simple preserving duality, generalizing a recent result of Coulembier for quasi-hereditary algebras. We apply this to classify, up to equivalence, regular integral blocks of $\mathcal{S}$-subcategories in the BGG category $\mathcal{O}$. We also describe various homological invariants of these blocks. △ Less

Submitted 14 March, 2022; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: Some corrections following the referee report

MSC Class: 16D10; 16E10; 17B10

Some homological properties of category $\mathcal O$ for Lie superalgebras

Authors: Chih-Whi Chen, Volodymyr Mazorchuk

Abstract: For classical Lie superalgebras of type I, we provide necessary and sufficient conditions for a Verma supermodule $Δでるた(λらむだ)$ to be such that every non-zero homomorphism from another Verma supermodule to $Δでるた(λらむだ)$ is injective. This is applied to describe the socle of the cokernel of an inclusion of Verma supermodules over the periplectic Lie superalgebras $\mathfrak{pe}(n)$ and, furthermore, to reduce th… ▽ More For classical Lie superalgebras of type I, we provide necessary and sufficient conditions for a Verma supermodule $Δでるた(λらむだ)$ to be such that every non-zero homomorphism from another Verma supermodule to $Δでるた(λらむだ)$ is injective. This is applied to describe the socle of the cokernel of an inclusion of Verma supermodules over the periplectic Lie superalgebras $\mathfrak{pe}(n)$ and, furthermore, to reduce the problem of description of $\mathrm{Ext}^1_{\mathcal O}(L(μみゅー),Δでるた(λらむだ))$ for $\mathfrak{pe}(n)$ to the similar problem for the Lie algebra $\mathfrak{gl}(n)$. Additionally, we study the projective and injective dimensions of structural supermodules in parabolic category $\mathcal O^{\mathfrak p}$ for classical Lie superalgebras. In particular, we completely determine these dimensions for structural supermodules over the periplectic Lie superalgebra $\mathfrak{pe}(n)$ and the ortho-symplectic Lie superalgebra $\mathfrak{osp}(2|2n)$. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Comments: 25 pages

MSC Class: 17B10 17B55

Bigrassmannian permutations and Verma modules

Authors: Hankyung Ko, Volodymyr Mazorchuk, Rafael Mrđen

Abstract: We show that bigrassmannian permutations determine the socle of the cokernel of an inclusion of Verma modules in type $A$. All such socular constituents turn out to be indexed by Weyl group elements from the penultimate two-sided cell. Combinatorially, the socular constituents in the cokernel of the inclusion of a Verma module indexed by $w\in S_n$ into the dominant Verma module are shown to be de… ▽ More We show that bigrassmannian permutations determine the socle of the cokernel of an inclusion of Verma modules in type $A$. All such socular constituents turn out to be indexed by Weyl group elements from the penultimate two-sided cell. Combinatorially, the socular constituents in the cokernel of the inclusion of a Verma module indexed by $w\in S_n$ into the dominant Verma module are shown to be determined by the essential set of $w$ and their degrees in the graded picture are shown to be computable in terms of the associated rank function. As an application, we compute the first extension from a simple module to a Verma module. △ Less

Submitted 20 August, 2020; originally announced August 2020.

Comments: 18 pages

Journal ref: Selecta Mathematica volume 27:55 (2021)

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

Some homological properties of category $\mathcal{O}$, V

Authors: Hankyung Ko, Volodymyr Mazorchuk, Rafael Mrđen

Abstract: We compute projective dimension of translated simple modules in the regular block of the BGG category $\mathcal{O}$ in terms of Kazhdan-Lusztig combinatorics. This allows us to determine which projectives can appear at the last step of a minimal projective resolution for a translated simple module, confirming a conjecture by Johan Kåhrström. We also derive some inequalities, in terms of Lusztig's… ▽ More We compute projective dimension of translated simple modules in the regular block of the BGG category $\mathcal{O}$ in terms of Kazhdan-Lusztig combinatorics. This allows us to determine which projectives can appear at the last step of a minimal projective resolution for a translated simple module, confirming a conjecture by Johan Kåhrström. We also derive some inequalities, in terms of Lusztig's $\mathbf{a}$-function, for possible degrees in which the top (or socle) of a translated simple module can live. Finally, we relate Kostant's problem with decomposability and isomorphism of translated simple modules, addressing yet another conjecture by Johan Kåhrström. △ Less

Submitted 23 October, 2020; v1 submitted 1 July, 2020; originally announced July 2020.

Journal ref: International Mathematics Research Notices, Vol. 2023, No. 4, pp. 3329-3373

Adjunction in the absence of identity

Authors: Hankyung Ko, Volodymyr Mazorchuk, Xiaoting Zhang

Abstract: We develop a bicategorical setup in which one can speak about adjoint 1-morphisms even in the absence of genuine identity 1-morphisms. We also investigate which part of 2-representation theory of 2-categories extends to this new setup. We develop a bicategorical setup in which one can speak about adjoint 1-morphisms even in the absence of genuine identity 1-morphisms. We also investigate which part of 2-representation theory of 2-categories extends to this new setup. △ Less

Submitted 10 March, 2020; originally announced March 2020.

Comments: 46 pages, many diagrams with colors

Lie algebra modules which are locally finite over the semi-simple part

Authors: Volodymyr Mazorchuk, Rafael Mrđen

Abstract: For a finite-dimensional Lie algebra $\mathfrak{L}$ over $\mathbb{C}$ with a fixed Levi decomposition $\mathfrak{L} = \mathfrak{g} \oplus \mathfrak{r}$ where $\mathfrak{g}$ is semi-simple, we investigate $\mathfrak{L}$-modules which decompose, as $\mathfrak{g}$-modules, into a direct sum of simple finite-dimensional $\mathfrak{g}$-modules with finite multiplicities. We call such modules… ▽ More For a finite-dimensional Lie algebra $\mathfrak{L}$ over $\mathbb{C}$ with a fixed Levi decomposition $\mathfrak{L} = \mathfrak{g} \oplus \mathfrak{r}$ where $\mathfrak{g}$ is semi-simple, we investigate $\mathfrak{L}$-modules which decompose, as $\mathfrak{g}$-modules, into a direct sum of simple finite-dimensional $\mathfrak{g}$-modules with finite multiplicities. We call such modules $\mathfrak{g}$-Harish-Chandra modules. We give a complete classification of simple $\mathfrak{g}$-Harish-Chandra modules for the Takiff Lie algebra associated to $\mathfrak{g} = \mathfrak{sl}_2$, and for the Schrödinger Lie algebra, and obtain some partial results in other cases. An adapted version of Enright's and Arkhipov's completion functors plays a crucial role in our arguments. Moreover, we calculate the first extension groups of infinite-dimensional simple $\mathfrak{g}$-Harish-Chandra modules and their annihilators in the universal enveloping algebra, for the Takiff $\mathfrak{sl}_2$ and the Schrödinger Lie algebra. In the general case, we give a sufficient condition for the existence of infinite-dimensional simple $\mathfrak{g}$-Harish-Chandra modules. △ Less

Submitted 18 June, 2020; v1 submitted 9 January, 2020; originally announced January 2020.

Comments: Improved results in Section 6 and 7

Journal ref: Nagoya Mathematical Journal 246 (2022), 430-470

Tonal partition algebras: fundamental and geometrical aspects of representation theory

Authors: Chwas Ahmed, Paul Martin, Volodymyr Mazorchuk

Abstract: For $l,n \in \mathbb{N}$ we define tonal partition algebra $P^l_n$ over $\mathbb{Z}[δでるた]$. We construct modules $\{ Δでるた_{\underlineμみゅー} \}_{\underlineμみゅー}$ for $P^l_n$ over $\mathbb{Z}[δでるた]$, and hence over any integral domain containing $\mathbb{Z}[δでるた]$ that is a $\mathbb{Z}[δでるた]$-algebra (such as $\mathbb{C}[δでるた]$), that pass to a complete set of irreducible modules over the field of fractions. We show that… ▽ More For $l,n \in \mathbb{N}$ we define tonal partition algebra $P^l_n$ over $\mathbb{Z}[δでるた]$. We construct modules $\{ Δでるた_{\underlineμみゅー} \}_{\underlineμみゅー}$ for $P^l_n$ over $\mathbb{Z}[δでるた]$, and hence over any integral domain containing $\mathbb{Z}[δでるた]$ that is a $\mathbb{Z}[δでるた]$-algebra (such as $\mathbb{C}[δでるた]$), that pass to a complete set of irreducible modules over the field of fractions. We show that $P^l_n$ is semisimple there. That is, we construct for the tonal partition algebras a modular system in the sense of Brauer [6]. (The aim is to investigate the non-semisimple structure of the tonal partition algebras over suitable quotient fields of the natural ground ring, from a geometric perspective.) Using a `geometrical' index set for the $Δでるた$-modules, we give an order with respect to which the decomposition matrix over $\mathbb{C}$ (with $δでるた\in \mathbb{C}^{\times}$) is upper-unitriangular. We establish several crucial properties of the $Δでるた$-modules. These include a tower property, with respect to $n$, in the sense of Green [20, §6] and Cox $\textit{ et al}$ [8]; contravariant forms with respect to a natural involutive antiautomorphism; a highest weight category property; and branching rules. △ Less

Submitted 4 December, 2019; originally announced December 2019.

Category O for Takiff sl_2

Authors: Volodymyr Mazorchuk, Christoffer Söderberg

Abstract: We investigate various ways to define an analogue of BGG category $\mathcal{O}$ for the non-semi-simple Takiff extension of the Lie algebra $\mathfrak{sl}_2$. We describe Gabriel quivers for blocks of these analogues of category $\mathcal{O}$ and prove extension fullness of one of them in the category of all modules. We investigate various ways to define an analogue of BGG category $\mathcal{O}$ for the non-semi-simple Takiff extension of the Lie algebra $\mathfrak{sl}_2$. We describe Gabriel quivers for blocks of these analogues of category $\mathcal{O}$ and prove extension fullness of one of them in the category of all modules. △ Less

Submitted 14 March, 2023; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: Fixed typos in Corollary 28

Journal ref: J. Math. Phys. 60 (2019), no. 11, 111702, 15 pp

BGG complexes in singular blocks of category O

Authors: Volodymyr Mazorchuk, Rafael Mrđen

Abstract: Using translation from the regular block, we construct and analyze properties of BGG complexes in singular blocks of BGG category ${\mathcal{O}}$. We provide criteria, in terms of the Kazhdan-Lusztig-Vogan polynomials, for such complexes to be exact. In the Koszul dual picture, exactness of BGG complexes is expressed as a certain condition on a generalized Verma flag of an indecomposable projectiv… ▽ More Using translation from the regular block, we construct and analyze properties of BGG complexes in singular blocks of BGG category ${\mathcal{O}}$. We provide criteria, in terms of the Kazhdan-Lusztig-Vogan polynomials, for such complexes to be exact. In the Koszul dual picture, exactness of BGG complexes is expressed as a certain condition on a generalized Verma flag of an indecomposable projective object in the corresponding block of parabolic category ${\mathcal{O}}$. In the second part of the paper, we construct BGG complexes in a more general setting of balanced quasi-hereditary algebras and show how our results for singular blocks can be used to construct BGG resolutions of simple modules in ${\mathcal{S}}$-subcategories in ${\mathcal{O}}$. △ Less

Submitted 9 July, 2019; originally announced July 2019.

Journal ref: Journal of Pure and Applied Algebra 224 (2020), Issue 12, 106449

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

2-categories of symmetric bimodules and their 2-representations

Authors: Volodymyr Mazorchuk, Vanessa Miemietz, Xiaoting Zhang

Abstract: In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting $2$-category is fiat (in the sense of \cite{MM1}) and classify simple transitive $2$-representations of this $2$-category (under some mild technical assumption). We also… ▽ More In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting $2$-category is fiat (in the sense of \cite{MM1}) and classify simple transitive $2$-representations of this $2$-category (under some mild technical assumption). We also study several classes of examples in detail. △ Less

Submitted 11 April, 2019; originally announced April 2019.

Harish-Chandra modules over invariant subalgebras in a skew-group ring

Authors: Volodymyr Mazorchuk, Elizaveta Vishnyakova

Abstract: We construct a new class of algebras resembling enveloping algebras and generalizing orthogonal Gelfand-Zeitlin algebras and rational Galois algebras studied by [EMV,FuZ,RZ,Har]. The algebras are defined via a geometric realization in terms of sheaves of functions invariant under an action of a finite group. A natural class of modules over these algebra can be constructed via a similar geometric r… ▽ More We construct a new class of algebras resembling enveloping algebras and generalizing orthogonal Gelfand-Zeitlin algebras and rational Galois algebras studied by [EMV,FuZ,RZ,Har]. The algebras are defined via a geometric realization in terms of sheaves of functions invariant under an action of a finite group. A natural class of modules over these algebra can be constructed via a similar geometric realization. In the special case of a local reflection group, these modules are shown to have an explicit basis, generalizing similar results for orthogonal Gelfand-Zeitlin algebras from [EMV] and for rational Galois algebras from [FuZ]. We also construct a family of canonical simple Harish-Chandra modules and give sufficient conditions for simplicity of some modules. △ Less

Submitted 9 December, 2018; v1 submitted 1 November, 2018; originally announced November 2018.

2-representations of small quotients of Soergel bimodules in infinite types

Authors: Hankyung Ko, Volodymyr Mazorchuk

Abstract: We determine for which Coxeter types the associated small quotient of the $2$-category of Soergel bimodules is finitary and, for such a small quotient, classify the simple transitive $2$-representations (sometimes under the additional assumption of gradability). We also describe the underlying categories of the simple transitive $2$-representations. For the small quotients of general Coxeter types… ▽ More We determine for which Coxeter types the associated small quotient of the $2$-category of Soergel bimodules is finitary and, for such a small quotient, classify the simple transitive $2$-representations (sometimes under the additional assumption of gradability). We also describe the underlying categories of the simple transitive $2$-representations. For the small quotients of general Coxeter types, we give a description for the cell $2$-representations. △ Less

Submitted 7 October, 2018; v1 submitted 28 September, 2018; originally announced September 2018.

Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras

Authors: Chih-Whi Chen, Kevin Coulembier, Volodymyr Mazorchuk

Abstract: We prove that the tensor product of a simple and a finite dimensional $\mathfrak{sl}_n$-module has finite type socle. This is applied to reduce classification of simple $\mathfrak{q}(n)$-supermodules to that of simple $\mathfrak{sl}_n$-modules. Rough structure of simple $\mathfrak{q}(n)$-supermodules, considered as $\mathfrak{sl}_n$-modules, is described in terms of the combinatorics of category… ▽ More We prove that the tensor product of a simple and a finite dimensional $\mathfrak{sl}_n$-module has finite type socle. This is applied to reduce classification of simple $\mathfrak{q}(n)$-supermodules to that of simple $\mathfrak{sl}_n$-modules. Rough structure of simple $\mathfrak{q}(n)$-supermodules, considered as $\mathfrak{sl}_n$-modules, is described in terms of the combinatorics of category $\mathcal{O}$. △ Less

Submitted 10 July, 2018; originally announced July 2018.

Extreme representations of semirings

Authors: Chih-Whi Chen, Brendan Frisk Dubsky, Helena Jonsson, Volodymyr Mazorchuk, Elin Persson Westin, Xiaoting Zhang, Jakob Zimmermann

Abstract: This is a write-up of the discussions during the meetings of the study group on representation theory of semirings which was organized at the Department of Mathematics, Uppsala University, during the academic year 2017-2018. The main emphasis is on classification of various classes of "irreducible" representations for various concrete semirings. This is a write-up of the discussions during the meetings of the study group on representation theory of semirings which was organized at the Department of Mathematics, Uppsala University, during the academic year 2017-2018. The main emphasis is on classification of various classes of "irreducible" representations for various concrete semirings. △ Less

Submitted 18 June, 2018; originally announced June 2018.

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

Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations

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

Abstract: The main result of this paper establishes a bijection between the set of equivalence classes of simple transitive $2$-representations with a fixed apex $\mathcal{J}$ of a fiat $2$-category $\cC$ and the set of equivalence classes of faithful simple transitive $2$-representations of the fiat $2$-subquotient of $\cC$ associated with a diagonal $\mathcal{H}$-cell in $\mathcal{J}$. As an application,… ▽ More The main result of this paper establishes a bijection between the set of equivalence classes of simple transitive $2$-representations with a fixed apex $\mathcal{J}$ of a fiat $2$-category $\cC$ and the set of equivalence classes of faithful simple transitive $2$-representations of the fiat $2$-subquotient of $\cC$ associated with a diagonal $\mathcal{H}$-cell in $\mathcal{J}$. As an application, we classify simple transitive $2$-representations of various categories of Soergel bimodules, in particular, completing the classification in types $B_3$ and $B_4$. △ Less

Submitted 6 February, 2018; originally announced February 2018.

Simple supermodules over Lie superalgebras

Authors: Chih-Whi Chen, Volodymyr Mazorchuk

Abstract: We show that, for many Lie superalgebras admitting a compatible $\mathbb{Z}$-grading, Kac induction functor gives rise to a bijection between simple supermodules over a Lie superalgebra and simple supermodules over the even part of this Lie superalgebra. This reduces the classification problem for the former to the one for the latter. Our result applies to all classical Lie superalgebra of type… ▽ More We show that, for many Lie superalgebras admitting a compatible $\mathbb{Z}$-grading, Kac induction functor gives rise to a bijection between simple supermodules over a Lie superalgebra and simple supermodules over the even part of this Lie superalgebra. This reduces the classification problem for the former to the one for the latter. Our result applies to all classical Lie superalgebra of type $I$, in particular, to the general linear Lie superalgebra $\gl(m|n)$. In the latter case we also show that the rough structure of simple $\gl(m|n)$-supermodules and also that of Kac supermodules depends only on the annihilator of the $\mf{gl}(m)\oplus \mf{gl}(n)$-input and hence can be computed using the combinatorics of BGG category $\mathcal{O}$. △ Less

Submitted 8 February, 2018; v1 submitted 2 January, 2018; originally announced January 2018.

Comments: v2: a few typos from v1 fixed

Canonical Gelfand-Zeitlin modules over orthogonal Gelfand-Zeitlin algebras

Authors: Nick Early, Volodymyr Mazorchuk, Elizaveta Vishnyakova

Abstract: We prove that every orthogonal Gelfand-Zeitlin algebra $U$ acts on its Gelfand-Zeitlin subalgebra $Γがんま$. Considering the dual module, we show that every Gelfand-Zeitlin character of $Γがんま$ is realizable in a $U$-module. We observe that the Gelfand-Zeitlin formulae can be rewritten using divided difference operators. It turns out that the action of the latter operators on $Γがんま$ gives rise to an explicit b… ▽ More We prove that every orthogonal Gelfand-Zeitlin algebra $U$ acts on its Gelfand-Zeitlin subalgebra $Γがんま$. Considering the dual module, we show that every Gelfand-Zeitlin character of $Γがんま$ is realizable in a $U$-module. We observe that the Gelfand-Zeitlin formulae can be rewritten using divided difference operators. It turns out that the action of the latter operators on $Γがんま$ gives rise to an explicit basis in a certain Gelfand-Zeitlin submodule of the dual module mentioned above. This gives, generically, both in the case of regular and singular Gelfand-Zeitlin characters, an explicit construction of simple modules which realize given Gelfand-Zeitlin characters. △ Less

Submitted 9 October, 2018; v1 submitted 5 September, 2017; originally announced September 2017.

Comments: v3: some corrections following the referee reports

Indecomposable manipulations with simple modules in category O

Authors: Kevin Coulembier, Volodymyr Mazorchuk, Xiaoting Zhang

Abstract: We study the problem of indecomposability of translations of simple modules in the principal block of BGG category $\mathcal{O}$ for $\mathfrak{sl}_n$, as conjectured in \cite{KiM}. We describe some general techniques and prove a few general results which may be applied to study various special cases of this problem. We apply our results to verify indecomposability for $n\leq 6$. We also study the… ▽ More We study the problem of indecomposability of translations of simple modules in the principal block of BGG category $\mathcal{O}$ for $\mathfrak{sl}_n$, as conjectured in \cite{KiM}. We describe some general techniques and prove a few general results which may be applied to study various special cases of this problem. We apply our results to verify indecomposability for $n\leq 6$. We also study the problem of indecomposability of shufflings and twistings of simple modules and obtain some partial results. △ Less

Submitted 2 September, 2017; originally announced September 2017.

Comments: 40 pages

Pyramids and 2-representations

Authors: Volodymyr Mazorchuk, Vanessa Miemietz, Xiaoting Zhang

Abstract: We describe a diagrammatic procedure which lifts strict monoidal actions from additive categories to categories of complexes avoiding any use of direct sums. As an application, we prove that every simple transitive $2$-representation of the $2$-category of projective bimodules over a finite dimensional algebra is equivalent to a cell $2$-representation. We describe a diagrammatic procedure which lifts strict monoidal actions from additive categories to categories of complexes avoiding any use of direct sums. As an application, we prove that every simple transitive $2$-representation of the $2$-category of projective bimodules over a finite dimensional algebra is equivalent to a cell $2$-representation. △ Less

Submitted 9 May, 2017; originally announced May 2017.

Classification problems in 2-representation theory

Authors: Volodymyr Mazorchuk

Abstract: This article surveys recent advances and future challenges in the $2$-representation theory of finitary $2$-categories with a particular emphasis on problems related to classification of various classes of $2$-representations. This article surveys recent advances and future challenges in the $2$-representation theory of finitary $2$-categories with a particular emphasis on problems related to classification of various classes of $2$-representations. △ Less

Submitted 29 March, 2017; originally announced March 2017.

Comments: a survey to appear in São Paulo Journal of Mathematical Sciences

Journal ref: São Paulo J. Math. Sci. 11 (2017), no. 1, 1-22

Bimodules over uniformly oriented A_n quivers with radical square zero

Authors: Volodymyr Mazorchuk, Xiaoting Zhang

Abstract: We start with observing that the only connected finite dimensional algebras with finitely many isomorphism classes of indecomposable bimodules are the quotients of the path algebras of uniformly oriented $A_n$-quivers modulo the radical square zero relations. For such algebras we study the (finitary) tensor category of bimodules. We describe the cell structure of this tensor category, determine ex… ▽ More We start with observing that the only connected finite dimensional algebras with finitely many isomorphism classes of indecomposable bimodules are the quotients of the path algebras of uniformly oriented $A_n$-quivers modulo the radical square zero relations. For such algebras we study the (finitary) tensor category of bimodules. We describe the cell structure of this tensor category, determine existing adjunctions between its $1$-morphisms and find a minimal generating set with respect to the tensor structure. We also prove that, for the algebras mentioned above, every simple transitive $2$-representation of the $2$-category of projective bimodules is equivalent to a cell $2$-representation. △ Less

Submitted 24 March, 2017; originally announced March 2017.

Journal ref: Kyoto J. Math. 60, no. 3 (2020), 965-995

The G-centre and gradable derived equivalences

Authors: Kevin Coulembier, Volodymyr Mazorchuk

Abstract: We propose a generalisation for the notion of the centre of an algebra in the setup of algebras graded by an arbitrary abelian group G. Our generalisation, which we call the G-centre, is designed to control the endomorphism category of the grading shift functors. We show that the G-centre is preserved by gradable derived equivalences given by tilting modules. We also discuss links with existing… ▽ More We propose a generalisation for the notion of the centre of an algebra in the setup of algebras graded by an arbitrary abelian group G. Our generalisation, which we call the G-centre, is designed to control the endomorphism category of the grading shift functors. We show that the G-centre is preserved by gradable derived equivalences given by tilting modules. We also discuss links with existing notions in superalgebra theory and apply our results to derived equivalences of superalgebras. △ Less

Submitted 8 November, 2017; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: v2: extension to infinite groups; restriction on type of derived equivalence due to gap in proof of v1

MSC Class: 16B50; 16D90; 18E30

Journal ref: J. Aust. Math. Soc. 105 (2018), no. 3, 289-315

Characterisation and applications of $\Bbbk$-split bimodules

Authors: Volodymyr Mazorchuk, Vanessa Miemietz, Xiaoting Zhang

Abstract: We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are $\Bbbk$-split in the sense that they factor (inside the tensor category of bimodules) over $\Bbbk$-vector spaces. As one application, we show that any simple $2$-c… ▽ More We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are $\Bbbk$-split in the sense that they factor (inside the tensor category of bimodules) over $\Bbbk$-vector spaces. As one application, we show that any simple $2$-category has a faithful $2$-representation inside the $2$-category of $\Bbbk$-split bimodules. As another application, we classify simple transitive $2$-representations of the $2$-category of projective bimodules over the algebra $\Bbbk[x,y]/(x^2,y^2,xy)$. △ Less

Submitted 11 January, 2017; originally announced January 2017.

Journal ref: MATH. SCAND. 124 (2019), 161--178

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

Fiat categorification of the symmetric inverse semigroup IS_n and the semigroup F^*_n

Authors: Paul Martin, Volodymyr Mazorchuk

Abstract: Starting from the symmetric group $S_n$, we construct two fiat $2$-categories. One of them can be viewed as the fiat "extension" of the natural $2$-category associated with the symmetric inverse semigroup (considered as an ordered semigroup with respect to the natural order). This $2$-category provides a fiat categorification for the integral semigroup algebra of the symmetric inverse semigroup. T… ▽ More Starting from the symmetric group $S_n$, we construct two fiat $2$-categories. One of them can be viewed as the fiat "extension" of the natural $2$-category associated with the symmetric inverse semigroup (considered as an ordered semigroup with respect to the natural order). This $2$-category provides a fiat categorification for the integral semigroup algebra of the symmetric inverse semigroup. The other $2$-category can be viewed as the fiat "extension" of the $2$-category associated with the maximal factorizable subsemigroup of the dual symmetric inverse semigroup (again, considered as an ordered semigroup with respect to the natural order). This $2$-category provides a fiat categorification for the integral semigroup algebra of the maximal factorizable subsemigroup of the dual symmetric inverse semigroup. △ Less

Submitted 27 March, 2017; v1 submitted 12 May, 2016; originally announced May 2016.

Comments: v2: minor revision

Simple transitive 2-representations of small quotients of Soergel bimodules

Authors: Tobias Kildetoft, Marco Mackaay, Volodymyr Mazorchuk, Jakob Zimmermann

Abstract: In all finite Coxeter types but $I_2(12)$, $I_2(18)$ and $I_2(30)$, we classify simple transitive $2$-rep\-re\-sen\-ta\-ti\-ons for the quotient of the $2$-category of Soergel bimodules over the coinvariant algebra which is associated to the two-sided cell that is the closest one to the two-sided cell containing the identity element. It turns out that, in most of the cases, simple transitive $2$-r… ▽ More In all finite Coxeter types but $I_2(12)$, $I_2(18)$ and $I_2(30)$, we classify simple transitive $2$-rep\-re\-sen\-ta\-ti\-ons for the quotient of the $2$-category of Soergel bimodules over the coinvariant algebra which is associated to the two-sided cell that is the closest one to the two-sided cell containing the identity element. It turns out that, in most of the cases, simple transitive $2$-representations are exhausted by cell $2$-representations. However, in Coxeter types $I_2(2k)$, where $k\geq 3$, there exist simple transitive $2$-representations which are not equivalent to cell $2$-representations. △ Less

Submitted 9 November, 2017; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: Revised version to appear in Trans. AMS

Simple transitive 2-representations for some 2-subcategories of Soergel bimodules

Authors: Marco Mackaay, Volodymyr Mazorchuk

Abstract: We classify simple transitive $2$-representations of certain $2$-sub\-ca\-te\-go\-ri\-es of the $2$-category of Soergel bimodules over the coinvariant algebra in Coxeter types $B_2$ and $I_2(5)$. In the $I_2(5)$ case it turns out that simple transitive $2$-representations are exhausted by cell $2$-representations. In the $B_2$ case we show that, apart from cell $2$-representations, there is a uniq… ▽ More We classify simple transitive $2$-representations of certain $2$-sub\-ca\-te\-go\-ri\-es of the $2$-category of Soergel bimodules over the coinvariant algebra in Coxeter types $B_2$ and $I_2(5)$. In the $I_2(5)$ case it turns out that simple transitive $2$-representations are exhausted by cell $2$-representations. In the $B_2$ case we show that, apart from cell $2$-representations, there is a unique, up to equivalence, additional simple transitive $2$-representation and we give an explicit construction of this $2$-representation. △ Less

Submitted 23 June, 2016; v1 submitted 13 February, 2016; originally announced February 2016.

Comments: revised version, 24 p., to appear in JPAA

Journal ref: Journal of Pure and Applied Algebra 221 (2017), Issue 3, Pages 565--587

Special modules over positively based algebras

Authors: Tobias Kildetoft, Volodymyr Mazorchuk

Abstract: We use the Perron-Frobenius Theorem to define, study and, in some sense, classify special simple modules over arbitrary finite dimensional positively based algebras. For group algebras of finite Weyl groups with respect to the Kazhdan-Lusztig basis, this agrees with Lusztig's notion of a special module introduced in [Lu1]. We use the Perron-Frobenius Theorem to define, study and, in some sense, classify special simple modules over arbitrary finite dimensional positively based algebras. For group algebras of finite Weyl groups with respect to the Kazhdan-Lusztig basis, this agrees with Lusztig's notion of a special module introduced in [Lu1]. △ Less

Submitted 26 January, 2016; originally announced January 2016.

Journal ref: Documenta Math. 21 (2016) 1171--1192

Simple transitive 2-representations for two non-fiat 2-categories of projective functors

Authors: Volodymyr Mazorchuk, Xiaoting Zhang

Abstract: We show that any simple transitive $2$-representation of the $2$-ca\-te\-go\-ry of projective endofunctors for the quiver algebra of $\Bbbk(\xymatrix{\bullet\ar[r]&\bullet})$ and for the quiver algebra of $\Bbbk(\xymatrix{\bullet\ar[r]\ar@/^/@{.}[rr]&\bullet\ar[r]&\bullet})$ is equivalent to a cell $2$-representation. We show that any simple transitive $2$-representation of the $2$-ca\-te\-go\-ry of projective endofunctors for the quiver algebra of $\Bbbk(\xymatrix{\bullet\ar[r]&\bullet})$ and for the quiver algebra of $\Bbbk(\xymatrix{\bullet\ar[r]\ar@/^/@{.}[rr]&\bullet\ar[r]&\bullet})$ is equivalent to a cell $2$-representation. △ Less

Submitted 1 January, 2016; originally announced January 2016.

Comments: 23 pages