Bruhat intervals that are large hypercubes

Joint with Jordan Ellenberg, David Plaza, José Simental, and Geordie Williamson. Inspired by permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we discover massive hypercubes inside the Bruhat order of the symmetric group. This phenomenon has consequences for cluster algebras, Kazhdan–Lusztig theory, and moduli spaces of embeddings of Bruhat graphs, and provides a striking example of how AI can contribute to genuine mathematical discovery. From a mathematical point of view, the result is beautiful: the Bruhat interval defining this massive hypercube is described by a purely number-theoretic condition on permutations, a behavior completely unlike anything we had previously seen.

Comments Off on Bruhat intervals that are large hypercubes

The atomic Leibniz rule

Joint with Ben Elias, Hankyung Ko and Leonardo Patimo, to appear in Revista Matemática Iberoamericana. This is the fifth paper on the development of a diagrammatic singular Hecke theory. Here we introduce a generalization of the twisted Leibniz rule for the Demazure operator associated to any atomic double coset. This is equivalent to a polynomial forcing property for singular Soergel bimodules.

Comments Off on The atomic Leibniz rule

Paper BOAT

Joint work with Federico Castillo, Damian de la Fuente, and David Plaza. We introduce the notion of a Paper Boat: a new combinatorial object that tessellates the lower intervals of elements in the lowest two-sided Kazhdan–Lusztig cell. Using Paper Boats and convex geometry, we obtain formulas for the cardinalities of these intervals and show that they are given by (quasi-)polynomials. We further conjecture that, in fact, they are always genuine polynomials. As a byproduct of this work, we also discovered a natural partition of the group that is particularly well adapted to studying polynomiality, and which appears to have interesting applications in its own right.

Comments Off on Paper BOAT

Singular light leaves

Joint with Ben Elias, Hankyung Ko and Leonardo Patimo, to appear in the Journal of the European Mathematical Society . For any Coxeter system, we introduce the concept of singular light leaves (finally!!). It is a basis for the Hom space between singular Bott-Samelson bimodules. Really fun stuff.

Comments Off on Singular light leaves

On the size of Bruhat intervals

Joint with Federico Castillo, Damian de la Fuente and David Plaza. For affine Weyl groups and elements associated to dominant coweights, we give a convex geometry formula for the size of the corresponding lower Bruhat intervals (this says in particular that it is a polynomial in several variables). Extensive computer calculations for affine Weyl groups have led us to believe that a similar formula exists for all lower Bruhat intervals. We also believe that the cardinality of all Bruhat intervals is given by some family of quasi-polynomials.

Comments Off on On the size of Bruhat intervals

Demazure operators for double cosets

Joint with Ben Elias, Hankyung Ko and Leonardo Patimo. This is the first of a series of papers intended to advance in the development of a singular (i.e. double cosets) theory of Coxeter groups, Hecke algebras, actions of groups on polynomial rings and the Hecke category. Two milestones of this long-term project would be to produce singular light leaves and singular Soergel calculus. Here, we introduce a Demazure operator for any double coset. We prove several results about them, but the crucial thing for us is that they give a criterion for ensuring the proper behavior of singular Soergel bimodules.

Comments Off on Demazure operators for double cosets

Combinatorial invariance conjecture for affine A2

Joint with Gastón Burrull and David Plaza, International Mathematics Research Notices 10 (2023) 8903–8933.  We prove the combinatorial invariance conjecture (by G. Lusztig and M. Dyer in the eighties) for the affine A2. This is the first infinite group with non-trivial Kazhdan-Lusztig polynomials where this fascinating conjecture is proved.

Comments Off on Combinatorial invariance conjecture for affine A2

Pre-canonical bases on affine Hecke algebras

Joint with Leonardo Patimo and David Plaza, Advances in Mathematics  399 (2022). For any affine Weyl group, we introduce the pre-canonical bases, a set of bases of the spherical Hecke algebra that interpolates between the standard basis and the canonical basis. Thus we divide the hard problem of calculating Kazhdan-Lusztig polynomials (or q-analogues of weight multiplicities) into a finite number of much easier problems.

Comments Off on Pre-canonical bases on affine Hecke algebras

The Anti-Spherical Category

joint with Geordie Williamson, Advances in Mathematics  405 (2022). We prove that (sign) parabolic Kazhdan-Lusztig polynomials have non-negative coefficients for ANY Coxeter system and ANY choice of a parabolic subgroup, thus generalizing to the parabolic setting the central result of The Hodge theory of Soergel bimodules by Elias and Williamson.  We also prove a monotonicity conjecture of Brenti. The new techniques were used by Williamson and Lusztig to calculate many new elements of the p-canonical basis and thus make the Billiards conjecture. Along the way, we introduce the anti-spherical light leaves.

Comments Off on The Anti-Spherical Category

Blob algebra approach to modular representation theory

Joint work with David Plaza. Proceedings of the London Mathematical Society 121 (2020) Issue3, 656-701. We conjecture (and prove the "graded degree part") an equivalence between the type A affine Hecke category in positive characteristic and a certain blob category that we introduce as a quotient of KLR algebras. This conjecture has been proved recently in an amazing paper by Chris Bowman, Anton Cox, Amit Hazi!! It opens lots of questions...

Comments Off on Blob algebra approach to modular representation theory

p-Jones Wenzl idempotent

Joint work with Gastón Burrull and Paolo Sentinelli. Advances in Mathematics  352 (2019) 246-264. In this paper we introduce the p-Jones Wenzl idempotent, a characteristic p analogue of the classical Jones-Wenzl idempotent. We hope this to be a building block for the p-canonical basis as sl_2 is a building block for the representation theory of semi-simple Lie algebras.

Comments Off on p-Jones Wenzl idempotent

Gentle introduction to Soergel bimodules I: The basics

 Sao Paulo Journal of Mathematical Sciences, 13(2) (2019), 499-538. 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. We introduce the Forking path conjecture.

Comments Off on Gentle introduction to Soergel bimodules I: The basics

Indecomposable Soergel bimodules for Universal Coxeter groups

joint with Ben Elias ; with an appendix by Ben Webster,  Transactions of the American Mathematical Society 369 (2017), 3883-3910. We introduce the multicolored Temperley-Lieb 2-category. Using it, we find the explicit numbers for which "Soergel's conjecture in positive characteristic for Universal Coxeter systems" fail.

Comments Off on Indecomposable Soergel bimodules for Universal Coxeter groups