Showing 1–22 of 22 results for author: Libedinsky, N

On reduced expressions for core double cosets

Authors: Ben Elias, Hankyung Ko, Nicolas Libedinsky, Leonardo Patimo

Abstract: The notion of a reduced expression for a double coset in a Coxeter group was introduced by Williamson, and recent work of Elias and Ko has made this theory more accessible and combinatorial. One result of Elias-Ko is that any coset admits a reduced expression which factors through a reduced expression for a related coset called its core. In this paper we define a class of cosets called atomic cose… ▽ More The notion of a reduced expression for a double coset in a Coxeter group was introduced by Williamson, and recent work of Elias and Ko has made this theory more accessible and combinatorial. One result of Elias-Ko is that any coset admits a reduced expression which factors through a reduced expression for a related coset called its core. In this paper we define a class of cosets called atomic cosets, and prove that every core coset admits a reduced expression as a composition of atomic cosets. This leads to an algorithmic construction of a reduced expression for any coset. In types $A$ and $B$ we prove that the combinatorics of compositions of atomic cosets matches the combinatorics of ordinary expressions in a smaller group. In other types the combinatorics is new, as explored in a sequel by Ko. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Comments: 21 pages, color helps

Singular Light Leaves

Authors: Ben Elias, Hankyung Ko, Nicolas Libedinsky, Leonardo Patimo

Abstract: For any Coxeter system we introduce the concept of singular light leaves, answering a question of Williamson raised in 2008. They provide a combinatorial basis for Hom spaces between singular Soergel bimodules. For any Coxeter system we introduce the concept of singular light leaves, answering a question of Williamson raised in 2008. They provide a combinatorial basis for Hom spaces between singular Soergel bimodules. △ Less

Submitted 5 January, 2024; originally announced January 2024.

On the size of Bruhat intervals

Authors: Federico Castillo, Damian de la Fuente, Nicolas Libedinsky, David Plaza

Abstract: For affine Weyl groups and elements associated to dominant coweights, we present a convex geometry formula for the size of the corresponding lower Bruhat intervals. Extensive computer calculations for these groups have led us to believe that a similar formula exists for all lower Bruhat intervals. For affine Weyl groups and elements associated to dominant coweights, we present a convex geometry formula for the size of the corresponding lower Bruhat intervals. Extensive computer calculations for these groups have led us to believe that a similar formula exists for all lower Bruhat intervals. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: 28 pages

Subexpressions and the Bruhat order for double cosets

Authors: Ben Elias, Hankyung Ko, Nicolas Libedinsky, Leonardo Patimo

Abstract: The Bruhat order on a Coxeter group is often described by examining subexpressions of a reduced expression. We prove that an analogous description applies to the Bruhat order on double cosets. This establishes the compatibility of the Bruhat order on double cosets with concatenation, leading to compatibility between the monoidal structure and the ideal of lower terms in the singular Hecke 2-catego… ▽ More The Bruhat order on a Coxeter group is often described by examining subexpressions of a reduced expression. We prove that an analogous description applies to the Bruhat order on double cosets. This establishes the compatibility of the Bruhat order on double cosets with concatenation, leading to compatibility between the monoidal structure and the ideal of lower terms in the singular Hecke 2-category. We also prove other fundamental properties of this ideal of lower terms. △ Less

Submitted 5 January, 2024; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: V2: Added a few new minor helpful results about the Bruhat order. Added a major portion of the paper which proves that the ideal of lower terms can be studied in several ways. Changed the introduction accordingly

Demazure operators for double cosets

Authors: Ben Elias, Hankyung Ko, Nicolas Libedinsky, Leonardo Patimo

Abstract: For any Coxeter system, and any double coset for two standard parabolic subgroups, we introduce a Demazure operator. These operators form a basis for morphism spaces in a category we call the nilCoxeter category, and we also present this category by generators and relations. We prove a generalization to this context of Demazure's celebrated theorem on Frobenius extensions. This generalized theorem… ▽ More For any Coxeter system, and any double coset for two standard parabolic subgroups, we introduce a Demazure operator. These operators form a basis for morphism spaces in a category we call the nilCoxeter category, and we also present this category by generators and relations. We prove a generalization to this context of Demazure's celebrated theorem on Frobenius extensions. This generalized theorem serves as a criterion for ensuring the proper behavior of singular Soergel bimodules. △ Less

Submitted 5 January, 2024; v1 submitted 27 July, 2023; originally announced July 2023.

Comments: Reorganized results of chapter 4 for easier future reference

IntroSurvey of representation theory

Authors: Nicolas Libedinsky

Abstract: There could be thousands of Introductions/Surveys of representation theory, given that it is an enormous field. This is just one of them, quite personal and informal. It has an increasing level of difficulty; the first part is intended for final year undergrads. We explain some basics of representation theory, notably Schur-Weyl duality and representations of the symmetric group. We then do the qu… ▽ More There could be thousands of Introductions/Surveys of representation theory, given that it is an enormous field. This is just one of them, quite personal and informal. It has an increasing level of difficulty; the first part is intended for final year undergrads. We explain some basics of representation theory, notably Schur-Weyl duality and representations of the symmetric group. We then do the quantum version, introduce Kazhdan-Lusztig theory, quantum groups and their categorical versions. We then proceed to a survey of some recent advances in modular representation theory. We finish with twenty open problems and a song of despair. △ Less

Submitted 5 October, 2022; v1 submitted 11 March, 2022; originally announced March 2022.

Comments: Comments very welcome!

Combinatorial invariance conjecture for $\widetilde{A}_2$

Authors: Gaston Burrull, Nicolas Libedinsky, David Plaza

Abstract: The combinatorial invariance conjecture (due independently to G. Lusztig and M. Dyer) predicts that if $[x,y]$ and $[x',y']$ are isomorphic Bruhat posets (of possibly different Coxeter systems), then the corresponding Kazhdan-Lusztig polynomials are equal, that is, $P_{x,y}(q)=P_{x',y'}(q)$. We prove this conjecture for the affine Weyl group of type $\widetilde{A}_2$. This is the first infinite gr… ▽ More The combinatorial invariance conjecture (due independently to G. Lusztig and M. Dyer) predicts that if $[x,y]$ and $[x',y']$ are isomorphic Bruhat posets (of possibly different Coxeter systems), then the corresponding Kazhdan-Lusztig polynomials are equal, that is, $P_{x,y}(q)=P_{x',y'}(q)$. We prove this conjecture for the affine Weyl group of type $\widetilde{A}_2$. This is the first infinite group with non-trivial Kazhdan-Lusztig polynomials where the conjecture is proved. △ Less

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

Comments: 21 pages, 9 colored figures. The new Preliminaries section includes the new Proposition 2.5 which simplifies the proof of the Main Theorem. New background material for the affine Weyl group was included. The old Appendix was replaced by the proofs of Propositions 3.1 and 3.3 in greater detail. The acknowledgments section was added. Final version

MSC Class: 05E10 (Primary) 20F55; 20C08 (Secondary)

Pre-canonical bases on affine Hecke algebras

Authors: Nicolas Libedinsky, Leonardo Patimo, David Plaza

Abstract: For any affine Weyl group, we introduce the pre-canonical bases. They are a set of bases $\{\mathbf{N}^i\}_{1\leq i \leq m+1} $ (where $m$ is the height of the highest root) of the spherical Hecke algebra that interpolates between the standard basis $\mathbf{N}^1$ and the canonical basis $\mathbf{N}^{m+1}$. The expansion of $\mathbf{N}^{i+1}$ in terms of the $\mathbf{N}^i$ is in many cases very si… ▽ More For any affine Weyl group, we introduce the pre-canonical bases. They are a set of bases $\{\mathbf{N}^i\}_{1\leq i \leq m+1} $ (where $m$ is the height of the highest root) of the spherical Hecke algebra that interpolates between the standard basis $\mathbf{N}^1$ and the canonical basis $\mathbf{N}^{m+1}$. The expansion of $\mathbf{N}^{i+1}$ in terms of the $\mathbf{N}^i$ is in many cases very simple and we conjecture that in type $A$ it is positive. △ Less

Submitted 12 February, 2022; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: Final version. To appear in Advances in Mathematics

On the affine Hecke category for $SL_3$

Authors: Nicolas Libedinsky, Leonardo Patimo

Abstract: We study the diagrammatic Hecke category associated with the affine Weyl group of type $\tilde{A}_2$. More precisely we find a (surprisingly simple) basis for the Hom spaces between indecomposable objects, that we call indecomposable double leaves. We study the diagrammatic Hecke category associated with the affine Weyl group of type $\tilde{A}_2$. More precisely we find a (surprisingly simple) basis for the Hom spaces between indecomposable objects, that we call indecomposable double leaves. △ Less

Submitted 23 April, 2021; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: 33 pages, many figures, best viewed in color

Kazhdan-Lusztig polynomials and subexpressions

Authors: Nicolas Libedinsky, Geordie Williamson

Abstract: We refine an idea of Deodhar, whose goal is a counting formula for Kazhdan-Lusztig polynomials. This is a consequence of a simple observation that one can use the solution of Soergel's conjecture to make ambiguities involved in defining certain morphisms between Soergel bimodules in characteristic zero (double leaves) disappear. We refine an idea of Deodhar, whose goal is a counting formula for Kazhdan-Lusztig polynomials. This is a consequence of a simple observation that one can use the solution of Soergel's conjecture to make ambiguities involved in defining certain morphisms between Soergel bimodules in characteristic zero (double leaves) disappear. △ Less

Submitted 31 March, 2020; originally announced April 2020.

Comments: 10 pages

MSC Class: 05E10

$p$-Jones-Wenzl idempotents

Authors: Gaston Burrull, Nicolas Libedinsky, Paolo Sentinelli

Abstract: For a prime number $p$ and any natural number $n$ we introduce, by giving an explicit recursive formula, the $p$-Jones-Wenzl projector ${}^p\operatorname{JW}_n$, an element of the Temperley-Lieb algebra $TL_n(2)$ with coefficients in ${\mathbb F}_p$. We prove that these projectors give the indecomposable objects in the $\tilde{A}_1$-Hecke category over ${\mathbb F}_p$, or equivalently, they give t… ▽ More For a prime number $p$ and any natural number $n$ we introduce, by giving an explicit recursive formula, the $p$-Jones-Wenzl projector ${}^p\operatorname{JW}_n$, an element of the Temperley-Lieb algebra $TL_n(2)$ with coefficients in ${\mathbb F}_p$. We prove that these projectors give the indecomposable objects in the $\tilde{A}_1$-Hecke category over ${\mathbb F}_p$, or equivalently, they give the projector in $\mathrm{End}_{\mathrm{SL}_2(\overline{{\mathbb F}_p})}(({\mathbb F}_p^2)^{\otimes n})$ to the top tilting module. The way in which we find these projectors is by categorifying the fractal appearing in the expression of the $p$-canonical basis in terms of the Kazhdan-Lusztig basis for $\tilde{A}_1$. △ Less

Submitted 29 May, 2019; v1 submitted 1 February, 2019; originally announced February 2019.

Comments: 15 pages, 21 figures. Many minor changes. Major change of notation. Final version

Blob algebra approach to modular representation theory

Authors: Nicolas Libedinsky, David Plaza

Abstract: Two decades ago P. Martin and D. Woodcock made a surprising and prophetic link between statistical mechanics and representation theory. They observed that the decomposition numbers of the blob algebra (that appeared in the context of transfer matrix algebras) are Kazhdan-Lusztig polynomials in type $\tilde{A}_1$. In this paper we take that observation far beyond its original scope. We conjecture t… ▽ More Two decades ago P. Martin and D. Woodcock made a surprising and prophetic link between statistical mechanics and representation theory. They observed that the decomposition numbers of the blob algebra (that appeared in the context of transfer matrix algebras) are Kazhdan-Lusztig polynomials in type $\tilde{A}_1$. In this paper we take that observation far beyond its original scope. We conjecture that for $\tilde{A}_n$ there is an equivalence of categories between the characteristic $p$ diagrammatic Hecke category and a "blob category" that we introduce (using certain quotients of KLR algebras called \emph{generalized blob algebras}). Using alcove geometry we prove the "graded degree" part of this equivalence for all $n$ and all prime numbers $p$. If our conjecture was verified, it would imply that the graded decomposition numbers of the generalized blob algebras in characteristic $p$ give the $p$-Kazhdan Lusztig polynomials in type $\tilde{A}_n$. We prove this for $\tilde{A}_1$, the only case where the $p$-Kazhdan Lusztig polynomials are known. △ Less

Submitted 17 February, 2020; v1 submitted 22 January, 2018; originally announced January 2018.

Comments: 43 pages, many figures, best viewed in color. Accepted for publication in the Proceedings of the LMS

A non-perverse Soergel bimodule in type A

Authors: Nicolas Libedinsky, Geordie Williamson

Abstract: A basic question concerning indecomposable Soergel bimodules is to understand their endomorphism rings. In characteristic zero all degree-zero endomorphisms are isomorphisms (a fact proved by Elias and the second author) which implies the Kazhdan-Lusztig conjectures. More recently, many examples in positive characteristic have been discovered with larger degree zero endomorphisms. These give count… ▽ More A basic question concerning indecomposable Soergel bimodules is to understand their endomorphism rings. In characteristic zero all degree-zero endomorphisms are isomorphisms (a fact proved by Elias and the second author) which implies the Kazhdan-Lusztig conjectures. More recently, many examples in positive characteristic have been discovered with larger degree zero endomorphisms. These give counter-examples to expected bounds in Lusztig's conjecture. Here we prove the existence of indecomposable Soergel bimodules in type A having non-zero endomorphisms of negative degree. This gives the existence of a non-perverse parity sheaf in type A. △ Less

Submitted 25 July, 2017; originally announced July 2017.

Comments: 5 pages, 1 figure

MSC Class: 20C20; 20C08

The anti-spherical category

Authors: Nicolas Libedinsky, Geordie Williamson

Abstract: We study a diagrammatic categorification (the "anti-spherical category") of the anti-spherical module for any Coxeter group. We deduce that Deodhar's (sign) parabolic Kazhdan-Lusztig polynomials have non-negative coefficients, and that a monotonicity conjecture of Brenti's holds. The main technical observation is a localisation procedure for the anti-spherical category, from which we construct a "… ▽ More We study a diagrammatic categorification (the "anti-spherical category") of the anti-spherical module for any Coxeter group. We deduce that Deodhar's (sign) parabolic Kazhdan-Lusztig polynomials have non-negative coefficients, and that a monotonicity conjecture of Brenti's holds. The main technical observation is a localisation procedure for the anti-spherical category, from which we construct a "light leaves" basis of morphisms. Our techniques may be used to calculate many new elements of the $p$-canonical basis in the anti-spherical module. △ Less

Submitted 12 July, 2022; v1 submitted 1 February, 2017; originally announced February 2017.

Comments: Best viewed in color

MSC Class: 20C08; 20C33

Gentle introduction to Soergel bimodules I: The basics

Authors: Nicolas Libedinsky

Abstract: This paper is the first of a series of introductory papers on the fascinating world of Soergel bimodules. It is combinatorial in nature and should be accessible to a broad audience. The objective of this paper is to help the reader feel comfortable calculating with Soergel bimodules and to explain some of the important open problems in the field. The motivations, history and relations to other fie… ▽ More This paper is the first of a series of introductory papers on the fascinating world of Soergel bimodules. It is combinatorial in nature and should be accessible to a broad audience. The objective of this paper is to help the reader feel comfortable calculating with Soergel bimodules and to explain some of the important open problems in the field. The motivations, history and relations to other fields will be developed in subsequent papers of this series. △ Less

Submitted 31 January, 2017; originally announced February 2017.

Comments: Best viewed in color

MSC Class: 20-02

Soergel bimodules for universal Coxeter groups

Authors: Ben Elias, Nicolas Libedinsky

Abstract: We produce an explicit recursive formula which computes the idempotent projecting to any indecomposable Soergel bimodule for a universal Coxeter system. This gives the exact set of primes for which the positive characteristic analogue of Soergel's conjecture holds. Along the way, we introduce the multicolored Temperley-Lieb algebra. An appendix by Ben Webster gives a precise condition on the bas… ▽ More We produce an explicit recursive formula which computes the idempotent projecting to any indecomposable Soergel bimodule for a universal Coxeter system. This gives the exact set of primes for which the positive characteristic analogue of Soergel's conjecture holds. Along the way, we introduce the multicolored Temperley-Lieb algebra. An appendix by Ben Webster gives a precise condition on the base ring for a Jones-Wenzl projector to exist. △ Less

Submitted 9 January, 2017; v1 submitted 10 January, 2014; originally announced January 2014.

Comments: Many figures, best viewed in color. Added appendix. This version is better than the published version, and has an improved appendix

Light leaves and Lusztig's conjecture

Authors: Nicolas Libedinsky

Abstract: We introduce the Double leaves basis, a combinatorial basis for the Hom spaces between two Bott-Samelson-Soergel bimodules. As an application we give a combinatorial algorithm to find, for any given Weyl or affine Weyl group, the set of primes for which Soergel's conjecture hold. This conjecture for Weyl groups is equivalent to a part of Lusztig's conjecture and for affine Weyl groups implies (and… ▽ More We introduce the Double leaves basis, a combinatorial basis for the Hom spaces between two Bott-Samelson-Soergel bimodules. As an application we give a combinatorial algorithm to find, for any given Weyl or affine Weyl group, the set of primes for which Soergel's conjecture hold. This conjecture for Weyl groups is equivalent to a part of Lusztig's conjecture and for affine Weyl groups implies (and is probably equivalent to) the full Lusztig conjecture. Following this double leaves approach G. Williamson found counterexamples to Lusztig's conjecture. The double leaves basis has found other spectacular applications in the recent proof by B. Elias and G. Williamson of the positivity of the coefficients of Kazhdan-Lusztig polynomials for any Coxeter system and in their algebraic proof of Kazhdan-Lusztig conjecture. △ Less

Submitted 3 July, 2020; v1 submitted 4 April, 2013; originally announced April 2013.

Comments: Added an Appendix proving that Soergel bimodules for Weyl groups are well behaved in positive characteristic

MSC Class: 20G05

Standard objects in 2-braid groups

Authors: Nicolas Libedinsky, Geordie Williamson

Abstract: For any Coxeter system we establish the existence (conjectured by Rouquier) of analogues of standard and costandard objects in 2-braid groups. This generalizes a known extension vanishing formula in the BGG category O. For any Coxeter system we establish the existence (conjectured by Rouquier) of analogues of standard and costandard objects in 2-braid groups. This generalizes a known extension vanishing formula in the BGG category O. △ Less

Submitted 17 February, 2014; v1 submitted 18 May, 2012; originally announced May 2012.

Comments: 23 pages. v2: final version

MSC Class: 22E99

Journal ref: Proc. Lond. Math. Soc. (3) 109 (2014), no. 5, 1264-1280

New bases of some Hecke algebras via Soergel bimodules

Authors: Nicolas Libedinsky

Abstract: For extra-large Coxeter systems (m(s,r)>3), we construct a natural and explicit set of Soergel bimodules D={D_w}_{w\in W} such that each D_w contains as a direct summand (or is equal to) the indecomposable Soergel bimodule B_w. When decategorified, we prove that D gives rise to a set {d_w}_{w\in W} that is actually a basis of the Hecke algebra. This basis is close to the Kazhdan-Lusztig basis an… ▽ More For extra-large Coxeter systems (m(s,r)>3), we construct a natural and explicit set of Soergel bimodules D={D_w}_{w\in W} such that each D_w contains as a direct summand (or is equal to) the indecomposable Soergel bimodule B_w. When decategorified, we prove that D gives rise to a set {d_w}_{w\in W} that is actually a basis of the Hecke algebra. This basis is close to the Kazhdan-Lusztig basis and satisfies a ``positivity condition''. △ Less

Submitted 30 June, 2009; originally announced July 2009.

Comments: 25 pages

Presentation of right-angled Soergel categories by generators and relations

Authors: Nicolas Libedinsky

Abstract: Soergel bimodule category B is a categorification of the Hecke algebra of a Coxeter system (W,S). We find a presentation of B (as a tensor category) by generators and relations when W is a right-angled Coxeter group. Soergel bimodule category B is a categorification of the Hecke algebra of a Coxeter system (W,S). We find a presentation of B (as a tensor category) by generators and relations when W is a right-angled Coxeter group. △ Less

Submitted 14 October, 2008; originally announced October 2008.

Comments: 34 pages

Equivalences entre conjectures de Soergel

Authors: Nicolas Libedinsky

Abstract: Soergel's category B_k(V) over a field k is defined from a Coxeter system (W,S) and a k-linear representation V of W. It's a categorification of the Hecke algebra of (W,S). In this article we prove that for some representations V and V' of W, Soergel's conjecture over B_k(V') is equivalent to that over B_k(V). In particular, when k=IR we can choose V' to be the geometric representation. Soergel's category B_k(V) over a field k is defined from a Coxeter system (W,S) and a k-linear representation V of W. It's a categorification of the Hecke algebra of (W,S). In this article we prove that for some representations V and V' of W, Soergel's conjecture over B_k(V') is equivalent to that over B_k(V). In particular, when k=IR we can choose V' to be the geometric representation. △ Less

Submitted 21 February, 2008; originally announced February 2008.

Comments: 12 pages

Sur la catégorie des bimodules de Soergel

Authors: Nicolas Libedinsky

Abstract: The Soergel category B of a Coxeter system (W,S) is a bimodule category over a polynomial algebra on which W acts. It's a categorification of the Hecke Algebra of (W,S). In this article we give a combinatorial description of morphism spaces in B. As a corollary, we give an analogous description of the morphisms in O_0-proj, where O_0 is the principal block of the BGG category O. ----- La cat… ▽ More The Soergel category B of a Coxeter system (W,S) is a bimodule category over a polynomial algebra on which W acts. It's a categorification of the Hecke Algebra of (W,S). In this article we give a combinatorial description of morphism spaces in B. As a corollary, we give an analogous description of the morphisms in O_0-proj, where O_0 is the principal block of the BGG category O. ----- La catégorie B de Soergel d'un système de Coxeter (W,S) est une catégorie de bimodules sur une algèbre de polynômes sur laquelle W agit. C'est une catégorification de l'algèbre de Hecke de (W,S). Dans cet article nous donnons une description combinatoire des espaces de morphismes dans B. En corollaire, on obtient une description analogue des morphismes dans O_0-proj, où O_0 est le bloc principal de la catégorie O de BGG. △ Less

Submitted 12 March, 2008; v1 submitted 24 July, 2007; originally announced July 2007.

Comments: 22 pages, 1 figure, in french, application to BGG category added (section 7)